We consider weak solutions to

with p > 1, q ≥ max{p − 1, 1}. We exploit the Moser iteration technique to prove a Harnack comparison inequality for C1 weak solutions. As a consequence we deduce a strong comparison principle.

We prove an equidistribution theorem for a family of holomorphic Siegel cusp forms for $\mathit{GSp}_{4}/\mathbb{Q}$ in various aspects. A main tool is Arthur’s invariant trace formula. While Shin [Automorphic Plancherel density theorem, Israel J. Math.192(1) (2012), 83–120] and Shin–Templier [Sato–Tate theorem for families and low-lying zeros of automorphic $L$-functions, Invent. Math.203(1) (2016) 1–177] used Euler–Poincaré functions at infinity in the formula, we use a pseudo-coefficient of a holomorphic discrete series to extract holomorphic Siegel cusp forms. Then the non-semisimple contributions arise from the geometric side, and this provides new second main terms $A,B_{1}$ in Theorem 1.1 which have not been studied and a mysterious second term $B_{2}$ also appears in the second main term coming from the semisimple elements. Furthermore our explicit study enables us to treat more general aspects in the weight. We also give several applications including the vertical Sato–Tate theorem, the unboundedness of Hecke fields and low-lying zeros for degree 4 spinor $L$-functions and degree 5 standard $L$-functions of holomorphic Siegel cusp forms.

We describe the structure of the Ricci tensor on a locally homogeneous Lorentzian gradient Ricci soliton. In the non-steady case, we show that the soliton is rigid in dimensions 3 and 4. In the steady case we give a complete classification in dimension 3.

Neural mass models are ubiquitous in large-scale brain modelling. At the node level, they are written in terms of a set of ordinary differential equations with a non-linearity that is typically a sigmoidal shape. Using structural data from brain atlases, they may be connected into a network to investigate the emergence of functional dynamic states, such as synchrony. With the simple restriction of the classic sigmoidal non-linearity to a piecewise linear caricature, we show that the famous Wilson–Cowan neural mass model can be explicitly analysed at both the node and network level. The construction of periodic orbits at the node level is achieved by patching together matrix exponential solutions, and stability is determined using Floquet theory. For networks with interactions described by circulant matrices, we show that the stability of the synchronous state can be determined in terms of a low-dimensional Floquet problem parameterised by the eigenvalues of the interaction matrix. Moreover, this network Floquet problem is readily solved using linear algebra to predict the onset of spatio-temporal network patterns arising from a synchronous instability. We further consider the case of a discontinuous choice for the node non-linearity, namely the replacement of the sigmoid by a Heaviside non-linearity. This gives rise to a continuous-time switching network. At the node level, this allows for the existence of unstable sliding periodic orbits, which we explicitly construct. The stability of a periodic orbit is now treated with a modification of Floquet theory to treat the evolution of small perturbations through switching manifolds via the use of saltation matrices. At the network level, the stability analysis of the synchronous state is considerably more challenging. Here, we report on the use of ideas originally developed for the study of Glass networks to treat the stability of periodic network states in neural mass models with discontinuous interactions.

We present a model for the force acting to fragment a biofilm-seeded microbial aggregate in shear flow, which we derive by coupling an existing model for the shape and orientation of a deforming ellipsoid with one for the surface force density on a solid ellipsoid. The model can be used to simulate the motion, shape, surface force density, and breakage of colloidal aggregates in shear flow. We apply the model to the case of exhaustive fragmentation of microbial aggregates in order to compute a post-fragmentation density function, indicating the likelihood of a fragmenting aggregate yielding daughter aggregates of a certain size.

A 1993 result of Alon and Füredi gives a sharp upper bound on the number of zeros of a multivariate polynomial over an integral domain in a finite grid, in terms of the degree of the polynomial. This result was recently generalized to polynomials over an arbitrary commutative ring, assuming a certain ‘Condition (D)’ on the grid which holds vacuously when the ring is a domain. In the first half of this paper we give a further generalized Alon–Füredi theorem which provides a sharp upper bound when the degrees of the polynomial in each variable are also taken into account. This yields in particular a new proof of Alon–Füredi. We then discuss the relationship between Alon–Füredi and results of DeMillo–Lipton, Schwartz and Zippel. A direct coding theoretic interpretation of Alon–Füredi theorem and its generalization in terms of Reed–Muller-type affine variety codes is shown, which gives us the minimum Hamming distance of these codes. Then we apply the Alon–Füredi theorem to quickly recover – and sometimes strengthen – old and new results in finite geometry, including the Jamison–Brouwer–Schrijver bound on affine blocking sets. We end with a discussion of multiplicity enhancements.

We explore the problem of finding the Hausdorff dimension of the set of points that recur to shrinking targets on a self-affine fractal. To be exact, we study the dimension of a certain related symbolic recurrence set. In many cases, this set is equivalent to the recurring set on the fractal.

Let G be a finite group, and write cd (G) for the set of degrees of irreducible characters of G. The common-divisor graph Γ(G) associated with G is the graph whose vertex set is cd (G)∖{1} and there is an edge between distinct vertices a and b, if (a, b) > 1. In this paper we prove that if Γ(G) is a k-regular graph for some k ⩾ 0, then for the solvable groups, either Γ(G) is a complete graph of order k + 1 or Γ(G) has two connected components which are complete of the same order and for the non-solvable groups, either k = 0 and cd(G) = cd(PSL2(2f)), where f ⩾ 2 or Γ(G) is a 4-regular graph with six vertices and cd(G) = cd(Alt7) or cd(Sym7).

We study the germs at the origin of $G$-representation varieties and the degree 1 cohomology jump loci of fundamental groups of quasi-projective manifolds. Using the Morgan–Dupont model associated to a convenient compactification of such a manifold, we relate these germs to those of their infinitesimal counterparts, defined in terms of flat connections on those models. When the linear algebraic group $G$ is either $\text{SL}_{2}(\mathbb{C})$ or its standard Borel subgroup and the depth of the jump locus is 1, this dictionary works perfectly, allowing us to describe in this way explicit irreducible decompositions for the germs of these embedded jump loci. On the other hand, if either $G=\text{SL}_{n}(\mathbb{C})$ for some $n\geqslant 3$, or the depth is greater than 1, then certain natural inclusions of germs are strict.

In 1973, Williams [D. Williams, On Rényi's ‘record’ problem and Engel's series, Bull. London Math. Soc. 5 (1973), 235–237] introduced two interesting discrete Markov processes, namely C-processes and A-processes, which are related to record times in statistics and Engel's series in number theory respectively. Moreover, he showed that these two processes share the same classical limit theorems, such as the law of large numbers, central limit theorem and law of the iterated logarithm. In this paper, we consider the large deviations for these two Markov processes, which indicate that there is a difference between C-processes and A-processes in the context of large deviations.

We rewrite in modern language a classical construction by W. E. Edge showing a pencil of sextic nodal curves admitting A5 as its group of automorphism. Next, we discuss some other aspects of this pencil, such as the associated fibration and its connection to the singularities of the moduli of six-dimensional abelian varieties.

The relation between the structure of a ring and the structure of its additive group is studied in the context of some recent results in additive groups of mixed rings. Namely, the notion of the square subgroup of an abelian group, which is a generalization of the concept of nil-group, is considered mainly for mixed non-splitting abelian groups which are the additive groups only of rings whose all subrings are ideals. A non-trivial construction of such a group of finite torsion-free rank no less than two, for which the quotient group modulo the square subgroup is not a nil-group, is given. In particular, a new class of abelian group for which an old problem posed by Stratton and Webb has a negative solution, is indicated. A new, far from obvious, application of rings in which the relation of being an ideal is transitive, is obtained.

In this paper, some weighted vector-valued inequalities with multiple weights $A_{\vec P}$ (ℝmn)are established for a class of multilinear singular integral operators. The weighted estimates for the multi(sub)linear maximal operators which control the multilinear singular integral operators are also considered.

We consider equivariant continuous families of discrete one-dimensional operators over arbitrary dynamical systems. We introduce the concept of a pseudo-ergodic element of a dynamical system. We then show that all operators associated to pseudo-ergodic elements have the same spectrum and that this spectrum agrees with their essential spectrum. As a consequence we obtain that the spectrum is constant and agrees with the essential spectrum for all elements in the dynamical system if minimality holds.

Using that integrable derivations of symmetric algebras can be interpreted in terms of Bockstein homomorphisms in Hochschild cohomology, we show that integrable derivations are invariant under the transfer maps in Hochschild cohomology of symmetric algebras induced by stable equivalences of Morita type. With applications in block theory in mind, we allow complete discrete valuation rings of unequal characteristic.

In [31] we defined a regularized analytic torsion for quotients of the symmetric space $\operatorname{SL}(n,\mathbb{R})/\operatorname{SO}(n)$ by arithmetic lattices. In this paper we study the limiting behavior of the analytic torsion as the lattices run through sequences of congruence subgroups of a fixed arithmetic subgroup. Our main result states that for principal congruence subgroups and strongly acyclic flat bundles, the logarithm of the analytic torsion, divided by the index of the subgroup, converges to the $L^{2}$-analytic torsion.

The scope of the paper is twofold. We show that for a large class of measurable vector fields in the sense of Weaver (i.e. derivations over the algebra of Lipschitz functions), called in the paper laminated, the notion of integral curves may be naturally defined and characterized (when appropriate) by an ordinary differential equation. We further show that for such vector fields the notion of a flow of the given positive Borel measure similar to the classical one generated by a smooth vector field (in a space with smooth structure) may be defined in a reasonable way, so that the measure ‘flows along’ the appropriately understood integral curves of the given vector field and the classical continuity equation is satisfied in the weak sense.

We present a construction that enables one to find Banach spaces $X$ whose sets $\operatorname{NA}(X)$ of norm attaining functionals do not contain two-dimensional subspaces and such that, consequently, $X$ does not contain proximinal subspaces of finite codimension greater than one, extending the results recently provided by Read [Banach spaces with no proximinal subspaces of codimension 2, Israel J. Math. (to appear)] and Rmoutil [Norm-attaining functionals need not contain 2-dimensional subspaces, J. Funct. Anal. 272 (2017), 918–928]. Roughly speaking, we construct an equivalent renorming with the requested properties for every Banach space $X$ where the set $\operatorname{NA}(X)$ for the original norm is not “too large”. The construction can be applied to every Banach space containing $c_{0}$ and having a countable system of norming functionals, in particular, to separable Banach spaces containing $c_{0}$. We also provide some geometric properties of the norms we have constructed.

In this paper, we relate Lie algebroids to Costello’s version of derived geometry. For instance, we show that each Lie algebroid – and the natural generalization to dg Lie algebroids – provides an (essentially unique) $L_{\infty }$ space. More precisely, we construct a faithful functor from the category of Lie algebroids to the category of $L_{\infty }$ spaces. Then we show that for each Lie algebroid $L$, there is a fully faithful functor from the category of representations up to homotopy of $L$ to the category of vector bundles over the associated $L_{\infty }$ space. Indeed, this functor sends the adjoint complex of $L$ to the tangent bundle of the $L_{\infty }$ space. Finally, we show that a shifted symplectic structure on a dg Lie algebroid produces a shifted symplectic structure on the associated $L_{\infty }$ space.

The problem of computing the integral cohomology ring of the symmetric square of a topological space has long been of interest, but limited progress has been made on the general case until recently. We offer a solution for the complex and quaternionic projective spaces $\mathbb{K}$Pn, by utilising their rich geometrical structure. Our description involves generators and relations, and our methods entail ideas from the literature of quantum chemistry, theoretical physics, and combinatorics. We begin with the case $\mathbb{K}$P∞, and then identify the truncation required for passage to finite n. The calculations rely upon a ladder of long exact cohomology sequences, which compares cofibrations associated to the diagonals of the symmetric square and the corresponding Borel construction. These incorporate the one-point compactifications of classic configuration spaces of unordered pairs of points in $\mathbb{K}$Pn, which are identified as Thom spaces by combining Löwdin's symmetric orthogonalisation (and its quaternionic analogue) with a dash of Pin geometry. The relations in the ensuing cohomology rings are conveniently expressed using generalised Fibonacci polynomials. Our conclusions are compatible with those of Gugnin mod torsion and Nakaoka mod 2, and with homological results of Milgram.