Let $q$ be an anisotropic quadratic form defined over a general field $F$. In this article, we formulate a new upper bound for the isotropy index of $q$ after scalar extension to the function field of an arbitrary quadric. On the one hand, this bound offers a refinement of an important bound established in earlier work of Karpenko–Merkurjev and Totaro; on the other hand, it is a direct generalization of Karpenko’s theorem on the possible values of the first higher isotropy index. We prove its validity in two key cases: (i) the case where $\text{char}(F)\neq 2$, and (ii) the case where $\text{char}(F)=2$ and $q$ is quasilinear (i.e., diagonalizable). The two cases are treated separately using completely different approaches, the first being algebraic–geometric, and the second being purely algebraic.

We show that the set of real polynomials in two variables that are sums of three squares of rational functions is dense in the set of those that are positive semidefinite. We also prove that the set of real surfaces in $\mathbb{P}^{3}$ whose function field has level 2 is dense in the set of those that have no real points.

In this paper we establish a general form of the mass transference principle for systems of linear forms conjectured in 2009. We also present a number of applications of this result to problems in Diophantine approximation. These include a general transference of Lebesgue measure Khintchine–Groshev type theorems to Hausdorff measure statements. The statements we obtain are applicable in both the homogeneous and inhomogeneous settings as well as allowing transference under any additional constraints on approximating integer points. In particular, we establish Hausdorff measure counterparts of some Khintchine–Groshev type theorems with primitivity constraints recently proved by Dani, Laurent and Nogueira.

Subconvexity bounds on the critical line are proved for general Epstein zeta-functions of $k$-ary quadratic forms. This is related to sup-norm bounds for unitary Eisenstein series on $\text{GL}(k)$ associated with the maximal parabolic of type $(k-1,1)$, and the exact sup-norm exponent is determined to be $(k-2)/8$ for $k\geqslant 4$. In particular, if $k$ is odd, this exponent is not in $\frac{1}{4}\mathbb{Z}$, which is relevant in the context of Sarnak’s purity conjecture and shows that it can in general not directly be generalized to Eisenstein series.

Using elementary means, we improve an explicit bound on the divisor function due to Friedlander and Iwaniec [Opera de Cribro, American Mathematical Society, Providence, RI, 2010]. Consequently, we modestly improve a result regarding a sieving inequality for Gaussian sequences.

In this paper, we prove some conjectures of K. Stolarsky concerning the first and third moments of the Beatty sequences with the golden section and its square.

Let $G$ be a semisimple Lie group with associated symmetric space $D$, and let $\unicode[STIX]{x1D6E4}\subset G$ be a cocompact arithmetic group. Let $\mathscr{L}$ be a lattice inside a $\mathbb{Z}\unicode[STIX]{x1D6E4}$-module arising from a rational finite-dimensional complex representation of $G$. Bergeron and Venkatesh recently gave a precise conjecture about the growth of the order of the torsion subgroup $H_{i}(\unicode[STIX]{x1D6E4}_{k};\mathscr{L})_{\operatorname{tors}}$ as $\unicode[STIX]{x1D6E4}_{k}$ ranges over a tower of congruence subgroups of $\unicode[STIX]{x1D6E4}$. In particular, they conjectured that the ratio $\log |H_{i}(\unicode[STIX]{x1D6E4}_{k};\mathscr{L})_{\operatorname{tors}}|/[\unicode[STIX]{x1D6E4}:\unicode[STIX]{x1D6E4}_{k}]$ should tend to a nonzero limit if and only if $i=(\dim (D)-1)/2$ and $G$ is a group of deficiency $1$. Furthermore, they gave a precise expression for the limit. In this paper, we investigate computationally the cohomology of several (non-cocompact) arithmetic groups, including $\operatorname{GL}_{n}(\mathbb{Z})$ for $n=3,4,5$ and $\operatorname{GL}_{2}(\mathscr{O})$ for various rings of integers, and observe its growth as a function of level. In all cases where our dataset is sufficiently large, we observe excellent agreement with the same limit as in the predictions of Bergeron–Venkatesh. Our data also prompts us to make two new conjectures on the growth of torsion not covered by the Bergeron–Venkatesh conjecture.

Let $E$ be an elliptic curve over a field $k$ . Let $R:=\operatorname{End}E$ . There is a functor $\mathscr{H}\!\mathit{om}_{R}(-,E)$ from the category of finitely presented torsion-free left $R$ -modules to the category of abelian varieties isogenous to a power of $E$ , and a functor $\operatorname{Hom}(-,E)$ in the opposite direction. We prove necessary and sufficient conditions on $E$ for these functors to be equivalences of categories. We also prove a partial generalization in which $E$ is replaced by a suitable higher-dimensional abelian variety over $\mathbb{F}_{p}$ .

Colmez [Périodes des variétés abéliennes a multiplication complexe, Ann. of Math. (2)138(3) (1993), 625–683; available at http://www.math.jussieu.fr/∼colmez] conjectured a product formula for periods of abelian varieties over number fields with complex multiplication and proved it in some cases. His conjecture is equivalent to a formula for the Faltings height of CM abelian varieties in terms of the logarithmic derivatives at $s=0$ of certain Artin $L$-functions. In a series of articles we investigate the analog of Colmez’s theory in the arithmetic of function fields. There abelian varieties are replaced by Drinfeld modules and their higher-dimensional generalizations, so-called $A$-motives. In the present article we prove the product formula for the Carlitz module and we compute the valuations of the periods of a CM $A$-motive at all finite places in terms of Artin $L$-series. The latter is achieved by investigating the local shtukas associated with the $A$-motive.

It is an open question whether the fractional parts of non-linear polynomials at integers have the same fine-scale statistics as a Poisson point process. Most results towards an affirmative answer have so far been restricted to almost sure convergence in the space of polynomials of a given degree. We will here provide explicit Diophantine conditions on the coefficients of polynomials of degree two, under which the convergence of an averaged pair correlation density can be established. The limit is consistent with the Poisson distribution. Since quadratic polynomials at integers represent the energy levels of a class of integrable quantum systems, our findings provide further evidence for the Berry–Tabor conjecture in the theory of quantum chaos.

Let $G$ be a connected linear algebraic group over a number field $k$ . Let $U{\hookrightarrow}X$ be a $G$ -equivariant open embedding of a $G$ -homogeneous space $U$ with connected stabilizers into a smooth $G$ -variety $X$ . We prove that $X$ satisfies strong approximation with Brauer–Manin condition off a set $S$ of places of $k$ under either of the following hypotheses:

1. (i) $S$ is the set of archimedean places;

2. (ii) $S$ is a non-empty finite set and $\bar{k}^{\times }=\bar{k}[X]^{\times }$.

The proof builds upon the case $X=U$ , which has been the object of several works.

In his 1982 paper, Ogus defined a class of cycles in the de Rham cohomology of smooth proper varieties over number fields. This notion is a crystalline analogue of $\ell$ -adic Tate cycles. In the case of abelian varieties, this class includes all the Hodge cycles by the work of Deligne, Ogus, and Blasius. Ogus predicted that such cycles coincide with Hodge cycles for abelian varieties. In this paper, we confirm Ogus’ prediction for some families of abelian varieties. These families include geometrically simple abelian varieties of prime dimension that have non-trivial endomorphism ring. The proof uses a crystalline analogue of Faltings’ isogeny theorem due to Bost and the known cases of the Mumford–Tate conjecture.

Given a global field $K$ and a positive integer $n$ , we present a diophantine criterion for a polynomial in one variable of degree $n$ over $K$ not to have a root in $K$ . This strengthens a result by Colliot-Thélène and Van Geel [Compositio Math. 151 (2015), 1965–1980] stating that the set of non-$n$ th powers in a number field $K$ is diophantine. We also deduce a diophantine criterion for a polynomial over $K$ of given degree in a given number of variables to be irreducible. Our approach is based on a generalisation of the quaternion method used by Poonen and Koenigsmann for first-order definitions of $\mathbb{Z}$ in $\mathbb{Q}$ .

We construct the $\unicode[STIX]{x1D6EC}$ -adic crystalline and Dieudonné analogues of Hida’s ordinary $\unicode[STIX]{x1D6EC}$ -adic étale cohomology, and employ integral $p$ -adic Hodge theory to prove $\unicode[STIX]{x1D6EC}$ -adic comparison isomorphisms between these cohomologies and the $\unicode[STIX]{x1D6EC}$ -adic de Rham cohomology studied in Cais [The geometry of Hida families I:$\unicode[STIX]{x1D6EC}$ -adic de Rham cohomology, Math. Ann. (2017), doi:10.1007/s00208-017-1608-1] as well as Hida’s $\unicode[STIX]{x1D6EC}$ -adic étale cohomology. As applications of our work, we provide a ‘cohomological’ construction of the family of $(\unicode[STIX]{x1D711},\unicode[STIX]{x1D6E4})$ -modules attached to Hida’s ordinary $\unicode[STIX]{x1D6EC}$ -adic étale cohomology by Dee [$\unicode[STIX]{x1D6F7}$ –$\unicode[STIX]{x1D6E4}$ modules for families of Galois representations, J. Algebra 235 (2001), 636–664], and we give a new and purely geometric proof of Hida’s finiteness and control theorems. We also prove suitable $\unicode[STIX]{x1D6EC}$ -adic duality theorems for each of the cohomologies we construct.

We provide two new bounds on the number of visible points on exponential curves modulo a prime for all choices of primes. We also provide one new bound on the number of visible points on exponential curves modulo a prime for almost all primes.

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.

In this paper we prove a conjecture relating the Whittaker function of a certain generating function with the Whittaker function of the theta representation $\unicode[STIX]{x1D6E9}_{n}^{(n)}$ . This enables us to establish that a certain global integral is factorizable and hence deduce the meromorphic continuation of the standard partial $L$ function $L^{S}(s,\unicode[STIX]{x1D70B}^{(n)})$ . In fact we prove that this partial $L$ function has at most a simple pole at $s=1$ . Here, $\unicode[STIX]{x1D70B}^{(n)}$ is a genuine irreducible cuspidal representation of the group $\text{GL}_{r}^{(n)}(\mathbf{A})$ .

An additive basis $A$ is finitely stable when the order of $A$ is equal to the order of $A\cup F$ for all finite subsets $F\subseteq \mathbb{N}$ . We give a sufficient condition for an additive basis to be finitely stable. In particular, we prove that $\mathbb{N}^{2}$ is finitely stable.

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.

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.