Let $A$ be the product of an abelian variety and a torus defined over a number field $K$. Fix some prime number $\ell$. If $\unicode[STIX]{x1D6FC}\in A(K)$ is a point of infinite order, we consider the set of primes $\mathfrak{p}$ of $K$ such that the reduction $(\unicode[STIX]{x1D6FC}\hspace{0.2em}{\rm mod}\hspace{0.2em}\mathfrak{p})$ is well-defined and has order coprime to $\ell$. This set admits a natural density. By refining the method of Jones and Rouse [Galois theory of iterated endomorphisms, Proc. Lond. Math. Soc. (3) 100(3) (2010), 763–794. Appendix A by Jeffrey D. Achter], we can express the density as an $\ell$-adic integral without requiring any assumption. We also prove that the density is always a rational number whose denominator (up to powers of $\ell$) is uniformly bounded in a very strong sense. For elliptic curves, we describe a strategy for computing the density which covers every possible case.

We extend field patching to the setting of Berkovich analytic geometry and use it to prove a local–global principle over function fields of analytic curves with respect to completions. In the context of quadratic forms, we combine it with sufficient conditions for local isotropy over a Berkovich curve to obtain applications on the $u$-invariant. The patching method we adapt was introduced by Harbater and Hartmann [Patching over fields, Israel J. Math. 176 (2010), 61–107] and further developed by these two authors and Krashen [Applications of patching to quadratic forms and central simple algebras, Invent. Math. 178 (2009), 231–263]. The results presented in this paper generalize those of Harbater, Hartmann, and Krashen [Applications of patching to quadratic forms and central simple algebras, Invent. Math. 178 (2009), 231–263] on the local–global principle and quadratic forms.

Let $F$ be a non-archimedean local field of residual characteristic $p$, $\ell \neq p$ be a prime number, and $\text{W}_{F}$ the Weil group of $F$. We classify equivalence classes of $\text{W}_{F}$-semisimple Deligne $\ell$-modular representations of $\text{W}_{F}$ in terms of irreducible $\ell$-modular representations of $\text{W}_{F}$, and extend constructions of Artin–Deligne local constants to this setting. Finally, we define a variant of the $\ell$-modular local Langlands correspondence which satisfies a preservation of local constants statement for pairs of generic representations.

The first purpose of our paper is to show how Hooley’s celebrated method leading to his conditional proof of the Artin conjecture on primitive roots can be combined with the Hardy–Littlewood circle method. We do so by studying the number of representations of an odd integer as a sum of three primes, all of which have prescribed primitive roots. The second purpose is to analyse the singular series. In particular, using results of Lenstra, Stevenhagen and Moree, we provide a partial factorisation as an Euler product and prove that this does not extend to a complete factorisation.

We study genuine local Hecke algebras of the Iwahori type of the double cover of $\operatorname{SL}_{2}(\mathbb{Q}_{p})$ and translate the generators and relations to classical operators on the space $S_{k+1/2}(\unicode[STIX]{x1D6E4}_{0}(4M))$, $M$ odd and square-free. In [9] Manickam, Ramakrishnan, and Vasudevan defined the new space of $S_{k+1/2}(\unicode[STIX]{x1D6E4}_{0}(4M))$ that maps Hecke isomorphically onto the space of newforms of $S_{2k}(\unicode[STIX]{x1D6E4}_{0}(2M))$. We characterize this newspace as a common $-1$-eigenspace of a certain pair of conjugate operators that come from local Hecke algebras. We use the classical Hecke operators and relations that we obtain to give a new proof of the results in [9] and to prove our characterization result.

Let $S$ be a Shimura variety with reflex field $E$. We prove that the action of $\text{Gal}(\overline{\mathbb{Q}}/E)$ on $S$ maps special points to special points and special subvarieties to special subvarieties. Furthermore, the Galois conjugates of a special point all have the same complexity (as defined in the theory of unlikely intersections). These results follow from Milne and Shih’s construction of canonical models of Shimura varieties, based on a conjecture of Langlands which was proved by Borovoi and Milne.

J.-C. Yoccoz proposed a natural extension of Selberg’s eigenvalue conjecture to moduli spaces of abelian differentials. We prove an approximation to this conjecture. This gives a qualitative generalization of Selberg’s $\frac{3}{16}$ theorem to moduli spaces of abelian differentials on surfaces of genus ${\geqslant}2$.

We provide evidence for this conclusion: given a finite Galois cover $f:X\rightarrow \mathbb{P}_{\mathbb{Q}}^{1}$ of group $G$, almost all (in a density sense) realizations of $G$ over $\mathbb{Q}$ do not occur as specializations of $f$. We show that this holds if the number of branch points of $f$ is sufficiently large, under the abc-conjecture and, possibly, the lower bound predicted by the Malle conjecture for the number of Galois extensions of $\mathbb{Q}$ of given group and bounded discriminant. This widely extends a result of Granville on the lack of $\mathbb{Q}$-rational points on quadratic twists of hyperelliptic curves over $\mathbb{Q}$ with large genus, under the abc-conjecture (a diophantine reformulation of the case $G=\mathbb{Z}/2\mathbb{Z}$ of our result). As a further evidence, we exhibit a few finite groups $G$ for which the above conclusion holds unconditionally for almost all covers of $\mathbb{P}_{\mathbb{Q}}^{1}$ of group $G$. We also introduce a local–global principle for specializations of Galois covers $f:X\rightarrow \mathbb{P}_{\mathbb{Q}}^{1}$ and show that it often fails if $f$ has abelian Galois group and sufficiently many branch points, under the abc-conjecture. On the one hand, such a local–global conclusion underscores the ‘smallness’ of the specialization set of a Galois cover of $\mathbb{P}_{\mathbb{Q}}^{1}$. On the other hand, it allows to generate conditionally ‘many’ curves over $\mathbb{Q}$ failing the Hasse principle, thus generalizing a recent result of Clark and Watson devoted to the hyperelliptic case.

We show that compatible systems of $\ell$-adic sheaves on a scheme of finite type over the ring of integers of a local field are compatible along the boundary up to stratification. This extends a theorem of Deligne on curves over a finite field. As an application, we deduce the equicharacteristic case of classical conjectures on $\ell$-independence for proper smooth varieties over complete discrete valuation fields. Moreover, we show that compatible systems have compatible ramification. We also prove an analogue for integrality along the boundary.

One of the approaches to the Riemann Hypothesis is the Nyman–Beurling criterion. Cotangent sums play a significant role in this criterion. Here we investigate the values of these cotangent sums for various shifts of the argument.

A Heron triangle is a triangle that has three rational sides $(a,b,c)$ and a rational area, whereas a perfect triangle is a Heron triangle that has three rational medians $(k,l,m)$. Finding a perfect triangle was stated as an open problem by Richard Guy [Unsolved Problems in Number Theory (Springer, New York, 1981)]. Heron triangles with two rational medians are parametrized by the eight curves $C_{1},\ldots ,C_{8}$ mentioned in Buchholz and Rathbun [‘An infinite set of heron triangles with two rational medians’, Amer. Math. Monthly 104(2) (1997), 106–115; ‘Heron triangles and elliptic curves’, Bull. Aust. Math.Soc. 58 (1998), 411–421] and Bácskái et al. [Symmetries of triangles with two rational medians, http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.65.6533, 2003]. In this paper, we reveal results on the curve $C_{4}$ which has the property of satisfying conditions such that six of seven parameters given by three sides, two medians and area are rational. Our aim is to perform an extensive search to prove the nonexistence of a perfect triangle arising from this curve.

We show that if A is a finite K-approximate subgroup of an s-step nilpotent group then there is a finite normal subgroup $H \subset {A^{{K^{{O_s}(1)}}}}$ modulo which ${A^{{O_s}(\mathop {\log }\nolimits^{{O_s}(1)} K)}}$ contains a nilprogression of rank at most ${O_s}(\mathop {\log }\nolimits^{{O_s}(1)} K)$ and size at least $\exp ( - {O_s}(\mathop {\log }\nolimits^{{O_s}(1)} K))|A|$. This partially generalises the close-to-optimal bounds obtained in the abelian case by Sanders, and improves the bounds and simplifies the exposition of an earlier result of the author. Combined with results of Breuillard–Green, Breuillard–Green–Tao, Gill–Helfgott–Pyber–Szabó, and the author, this leads to improved rank bounds in Freiman-type theorems in residually nilpotent groups and certain linear groups of bounded degree.

We give a partial answer to a question attributed to Chris Miller on algebraic values of certain transcendental functions of order less than one. We obtain $C(\log H)^{\unicode[STIX]{x1D702}}$ bounds for the number of algebraic points of height at most $H$ on certain subsets of the graphs of such functions. The constant $C$ and exponent $\unicode[STIX]{x1D702}$ depend on data associated with the functions and can be effectively computed from them.

We establish the limiting distribution of certain subsets of Farey sequences, i.e., sequences of primitive rational points, on expanding horospheres in covers $\unicode[STIX]{x1D6E5}\backslash \text{SL}(n+1,\mathbb{R})$ of $\text{SL}(n+1,\mathbb{Z})\backslash \text{SL}(n+1,\mathbb{R})$ , where $\unicode[STIX]{x1D6E5}$ is a finite-index subgroup of $\text{SL}(n+1,\mathbb{Z})$ . These subsets can be obtained by projecting to the hyperplane $\{(x_{1},\ldots ,x_{n+1})\in \mathbb{R}^{n+1}:x_{n+1}=1\}$ sets of the form $\mathbf{A}=\bigcup _{j=1}^{J}\mathbf{a}_{j}\unicode[STIX]{x1D6E5}$ , where for all $j$ , $\mathbf{a}_{j}$ is a primitive lattice point in $\mathbb{Z}^{n+1}$ . Our method involves applying the equidistribution of expanding horospheres in quotients of $\text{SL}(n+1,\mathbb{R})$ developed by Marklof and Strömbergsson, and more precisely understanding how the full Farey sequence distributes in $\unicode[STIX]{x1D6E5}\backslash \text{SL}(n+1,\mathbb{R})$ when embedded on expanding horospheres as done in previous work by Marklof. For each of the Farey sequence subsets, we extend the statistical results by Marklof regarding the full multidimensional Farey sequences, and solutions by Athreya and Ghosh to Diophantine approximation problems of Erdős–Szüsz–Turán and Kesten. We also prove that Marklof’s result on the asymptotic distribution of Frobenius numbers holds for sets of primitive lattice points of the form $\mathbf{A}$ .

Let $X$ be a finite-dimensional connected compact abelian group equipped with the normalized Haar measure $\unicode[STIX]{x1D707}$ . We obtain the following mean ergodic theorem over ‘thin’ phase sets. Fix $k\geq 1$ and, for every $n\geq 1$ , let $A_{n}$ be a subset of $\mathbb{Z}^{k}\cap [-n,n]^{k}$ . Assume that $(A_{n})_{n\geq 1}$ has $\unicode[STIX]{x1D714}(1/n)$ density in the sense that $\lim _{n\rightarrow \infty }(|A_{n}|/n^{k-1})=\infty$ . Let $T_{1},\ldots ,T_{k}$ be ergodic automorphisms of $X$ . We have

$$\begin{eqnarray}\frac{1}{|A_{n}|}\mathop{\sum }_{(n_{1},\ldots ,n_{k})\in A_{n}}f_{1}(T_{1}^{n_{1}}(x))\cdots f_{k}(T_{k}^{n_{k}}(x))\stackrel{L_{\unicode[STIX]{x1D707}}^{2}}{\longrightarrow }\int f_{1}\,d\unicode[STIX]{x1D707}\cdots \int f_{k}\,d\unicode[STIX]{x1D707},\end{eqnarray}$$

$f_{1},\ldots ,f_{k}\in L_{\unicode[STIX]{x1D707}}^{\infty }$

$T_{i}$

$A_{n}$

$[0,n]^{k}$

$n$

$A_{i}$

Let $(X,{\mathcal{B}},\unicode[STIX]{x1D707},T)$ be an ergodic measure-preserving system, let $A\in {\mathcal{B}}$ and let $\unicode[STIX]{x1D716}>0$ . We study the largeness of sets of the form

$$\begin{eqnarray}S=\{n\in \mathbb{N}:\unicode[STIX]{x1D707}(A\cap T^{-f_{1}(n)}A\cap T^{-f_{2}(n)}A\cap \cdots \cap T^{-f_{k}(n)}A)>\unicode[STIX]{x1D707}(A)^{k+1}-\unicode[STIX]{x1D716}\}\end{eqnarray}$$

$\{f_{1},\ldots ,f_{k}\}$

$f_{i}:\mathbb{N}\rightarrow \mathbb{N}$

$k\leq 3$

$f_{i}(n)=if(n)$

$S$

$f(n)=q(p_{n})$

$q\in \mathbb{Z}[x]$

$q(1)$

$q(-1)=0$

$p_{n}$

$n$

$f$

$T^{q}$

$q\in \mathbb{N}$

$r\in \mathbb{Z}$

$S$

$f(n)=qn+r$

$f_{i}(n)=a_{i}n$

$a_{i}$

$S$

$k\geq 4$

$k=3$

$S$

$f_{i}$

A classical construction of Katz gives a purely algebraic construction of Eisenstein–Kronecker series using the Gauß–Manin connection on the universal elliptic curve. This approach gives a systematic way to study algebraic and $p$-adic properties of real-analytic Eisenstein series. In the first part of this paper we provide an alternative algebraic construction of Eisenstein–Kronecker series via the Poincaré bundle. Building on this, we give in the second part a new conceptional construction of Katz’ two-variable $p$-adic Eisenstein measure through $p$-adic theta functions of the Poincaré bundle.

A positive-definite diagonal quadratic form $a_{1}x_{1}^{2}+\cdots +a_{n}x_{n}^{2}\;(a_{1},\ldots ,a_{n}\in \mathbb{N})$ is said to be prime-universal if it is not universal and for every prime $p$ there are integers $x_{1},\ldots ,x_{n}$ such that $a_{1}x_{1}^{2}+\cdots +a_{n}x_{n}^{2}=p$. We determine all possible prime-universal ternary quadratic forms $ax^{2}+by^{2}+cz^{2}$ and all possible prime-universal quaternary quadratic forms $ax^{2}+by^{2}+cz^{2}+dw^{2}$. The prime-universal ternary forms are completely determined. The prime-universal quaternary forms are determined subject to the validity of two conjectures. We make no use of a result of Bhargava concerning quadratic forms representing primes which is stated but not proved in the literature.

In this paper we prove the Rigidity Theorem for motives of rigid analytic varieties over a non-Archimedean valued field $K$. We prove this theorem both for motives with transfers and without transfers in a relative setting. Applications include the construction of étale realization functors, an upgrade of the known comparison between motives with and without transfers and an upgrade of the rigid analytic motivic tilting equivalence, extending them to $\mathbb{Z}[1/p]$-coefficients.

We study the existence of various sign and value patterns in sequences defined by multiplicative functions or related objects. For any set $A$ whose indicator function is ‘approximately multiplicative’ and uniformly distributed on short intervals in a suitable sense, we show that the density of the pattern $n+1\in A$, $n+2\in A$, $n+3\in A$ is positive as long as $A$ has density greater than $\frac{1}{3}$. Using an inverse theorem for sumsets and some tools from ergodic theory, we also provide a theorem that deals with the critical case of $A$ having density exactly $\frac{1}{3}$, below which one would need nontrivial information on the local distribution of $A$ in Bohr sets to proceed. We apply our results first to answer in a stronger form a question of Erdős and Pomerance on the relative orderings of the largest prime factors $P^{+}(n)$, $P^{+}(n+1),P^{+}(n+2)$ of three consecutive integers. Second, we show that the tuple $(\unicode[STIX]{x1D714}(n+1),\unicode[STIX]{x1D714}(n+2),\unicode[STIX]{x1D714}(n+3))~(\text{mod}~3)$ takes all the $27$ possible patterns in $(\mathbb{Z}/3\mathbb{Z})^{3}$ with positive lower density, with $\unicode[STIX]{x1D714}(n)$ being the number of distinct prime divisors. We also prove a theorem concerning longer patterns $n+i\in A_{i}$, $i=1,\ldots ,k$ in approximately multiplicative sets $A_{i}$ having large enough densities, generalizing some results of Hildebrand on his ‘stable sets conjecture’. Finally, we consider the sign patterns of the Liouville function $\unicode[STIX]{x1D706}$ and show that there are at least $24$ patterns of length $5$ that occur with positive upper density. In all the proofs, we make extensive use of recent ideas concerning correlations of multiplicative functions.