In this paper, we prove that the bound

\begin{equation*}\max \{ |8A-7A|,|5f(A)-4f(A)| \} \gg |A|^{\frac{3}{2} + \frac{1}{54}}\end{equation*}

$A \subset \mathbb R$

\begin{equation*}\max \{ |16A|, |A^{(16)}| \} \gg |A|^{\frac{3}{2} + c},\end{equation*}

$c\gt 0$

$\mathbb R$

$3/2$

\begin{equation*}|AA| \leq K|A| \implies \,\forall d \in \mathbb R \setminus \{0 \}, \,\, |\{(a,b) \in A \times A : a-b=d \}| \ll K^C |A|^{\frac{2}{3}-c^{\prime}},\end{equation*}

$c,C \gt 0$

A set $S\subset {\mathbb {N}}$ is a Sidon set if all pairwise sums $s_1+s_2$ (for $s_1, s_2\in S$, $s_1\leqslant s_2$) are distinct. A set $S\subset {\mathbb {N}}$ is an asymptotic basis of order 3 if every sufficiently large integer $n$ can be written as the sum of three elements of $S$. In 1993, Erdős, Sárközy and Sós asked whether there exists a set $S$ with both properties. We answer this question in the affirmative. Our proof relies on a deep result of Sawin on the $\mathbb {F}_q[t]$-analogue of Montgomery's conjecture for convolutions of the von Mangoldt function.

In function fields in positive characteristic, we provide a concrete example of completely normal elements for a finite Galois extension. More precisely, for a nonabelian extension, we construct completely normal elements for Drinfeld modular function fields using Siegel functions in function fields. For an abelian extension, we construct completely normal elements for cyclotomic function fields.

For any abelian group $A$, we prove an asymptotic formula for the number of $A$-extensions $K/\mathbb {Q}$ of bounded discriminant such that the associated norm one torus $R_{K/\mathbb {Q}}^1 \mathbb {G}_m$ satisfies weak approximation. We are also able to produce new results on the Hasse norm principle and to provide new explicit values for the leading constant in some instances of Malle's conjecture.

We establish upper bounds for moments of smoothed quadratic Dirichlet character sums under the generalized Riemann hypothesis, confirming a conjecture of M. Jutila [‘On sums of real characters’, Tr. Mat. Inst. Steklova 132 (1973), 247–250].

We prove the geometric Satake equivalence for étale metaplectic covers of reductive group schemes and extend the Langlands parametrization of V. Lafforgue to genuine cusp forms defined on their associated covering groups.

In his 1984 AMS Memoir, Andrews introduced the family of functions $c\phi_k(n)$, the number of k-coloured generalized Frobenius partitions of n. In 2019, Chan, Wang and Yang systematically studied the arithmetic properties of $\textrm{C}\Phi_k(q)$ for $2\leq k\leq17$ by utilizing the theory of modular forms, where $\textrm{C}\Phi_k(q)$ denotes the generating function of $c\phi_k(n)$. In this paper, we first establish another expression of $\textrm{C}\Phi_{12}(q)$ with integer coefficients, then prove some congruences modulo small powers of 3 for $c\phi_{12}(n)$ by using some parameterized identities of theta functions due to A. Alaca, S. Alaca and Williams. Finally, we conjecture three families of congruences modulo powers of 3 satisfied by $c\phi_{12}(n)$.

We prove the convergence of moments of the number of directions of affine lattice vectors that fall into a small disc, under natural Diophantine conditions on the shift. Furthermore, we show that the pair correlation function is Poissonian for any irrational shift in dimension 3 and higher, including well-approximable vectors. Convergence in distribution was already proved in the work of Strömbergsson and the second author [The distribution of free path lengths in the periodic Lorentz gas and related lattice point problems. Ann. of Math. (2) 172 (2010), 1949–2033], and the principal step in the extension to convergence of moments is an escape of mass estimate for averages over embedded $\operatorname {SL}(d,\mathbb {R})$-horospheres in the space of affine lattices.

In his work on modularity of elliptic curves and Fermat’s last theorem, A. Wiles introduced two measures of congruences between Galois representations and between modular forms. One measure is related to the order of a Selmer group associated to a newform $f \in S_2(\Gamma _0(N))$ (and closely linked to deformations of the Galois representation $\rho _f$ associated to f), whilst the other measure is related to the congruence module associated to f (and is closely linked to Hecke rings and congruences between f and other newforms in $S_2(\Gamma _0(N))$). The equality of these two measures led to isomorphisms $R={\mathbf T}$ between deformation rings and Hecke rings (via a numerical criterion for isomorphisms that Wiles proved) and showed these rings to be complete intersections.

We continue our study begun in [BKM21] of the Wiles defect of deformation rings and Hecke rings (at a newform f) acting on the cohomology of Shimura curves over ${\mathbf Q}$: It is defined to be the difference between these two measures of congruences. The Wiles defect thus arises from the failure of the Wiles numerical criterion at an augmentation $\lambda _f:{\mathbf T} \to {\mathcal O}$. In situations we study here, the Taylor–Wiles–Kisin patching method gives an isomorphism $ R={\mathbf T}$ without the rings being complete intersections. Using novel arguments in commutative algebra and patching, we generalize significantly and give different proofs of the results in [BKM21] that compute the Wiles defect at $\lambda _f: R={\mathbf T} \to {\mathcal O}$, and explain in an a priori manner why the answer in [BKM21] is a sum of local defects. As a curious application of our work we give a new and more robust approach to the result of Ribet–Takahashi that computes change of degrees of optimal parametrizations of elliptic curves over ${\mathbf Q}$ by Shimura curves as we vary the Shimura curve. The results we prove are not attainable using only the methods of Ribet–Takahashi.

Lehmer [‘On certain character matrices’, Pacific J. Math. 6 (1956), 491–499, and ‘Power character matrices’, Pacific J. Math. 10 (1960), 895–907] defines four classes of matrices constructed from roots of unity for which the characteristic polynomials and the kth powers can be determined explicitly. We study a class of matrices which arise naturally in transformation formulae of finite field hypergeometric functions and whose entries are roots of unity and zeroes. We determine the characteristic polynomial, eigenvalues, eigenvectors and kth powers of these matrices. The eigenvalues are natural families of products of Jacobi sums.

Motivated by the work initiated by Chapman [‘Determinants of Legendre symbol matrices’, Acta Arith. 115 (2004), 231–244], we investigate some arithmetical properties of generalised Legendre matrices over finite fields. For example, letting $a_1,\ldots ,a_{(q-1)/2}$ be all the nonzero squares in the finite field $\mathbb {F}_q$ containing q elements with $2\nmid q$, we give the explicit value of the determinant $D_{(q-1)/2}=\det [(a_i+a_j)^{(q-3)/2}]_{1\le i,j\le (q-1)/2}$. In particular, if $q=p$ is a prime greater than $3$, then

$$ \begin{align*}\bigg(\frac{\det D_{(p-1)/2}}{p}\bigg)= \begin{cases} 1 & \mbox{if}\ p\equiv1\pmod4,\\ (-1)^{(h(-p)+1)/2} & \mbox{if}\ p\equiv 3\pmod4\ \text{and}\ p>3, \end{cases}\end{align*} $$

where $(\frac {\cdot }{p})$ is the Legendre symbol and $h(-p)$ is the class number of $\mathbb {Q}(\sqrt {-p})$.

Schmidt games and the Cantor winning property give alternative notions of largeness, similar to the more standard notions of measure and category. Being intuitive, flexible, and applicable to recent research made them an active object of study. We survey the definitions of the most common variants and connections between them. A new game called the Cantor game is invented and helps with presenting a unifying framework. We prove surprising new results such as the coincidence of absolute winning and $1$ Cantor winning in metric spaces, and the fact that $1/2$ winning implies absolute winning for subsets of $\mathbb {R}$. We also suggest a prototypical example of a Cantor winning set to show the ubiquity of such sets in metric number theory and ergodic theory.

The attractor conjecture for Calabi–Yau moduli spaces predicts the algebraicity of the moduli values of certain isolated points picked out by Hodge-theoretic conditions. Using tools from transcendence theory, we provide a family of counterexamples to the attractor conjecture in almost all odd dimensions conditional on a specific case of the Zilber–Pink conjecture in unlikely intersection theory; these Calabi–Yau manifolds were first studied by Dolgachev. We also give constructions of new families of Calabi–Yau varieties, analogous to the mirror quintic family, with all middle Hodge numbers equal to one, which would also give counterexamples to the attractor conjecture.

Let $[a_1(x),a_2(x),a_3(x),\ldots ]$ be the continued fraction expansion of an irrational number $x\in [0,1)$. We are concerned with the asymptotic behaviour of the product of consecutive partial quotients of x. We prove that, for Lebesgue almost all $x\in [0,1)$,

$$ \begin{align*} \liminf_{n \to \infty} \frac{\log (a_n(x)a_{n+1}(x))}{\log n} = 0\quad \text{and}\quad \limsup_{n \to \infty} \frac{\log (a_n(x)a_{n+1}(x))}{\log n}=1. \end{align*} $$

We also study the Baire category and the Hausdorff dimension of the set of points for which the above liminf and limsup have other different values and similarly analyse the weighted product of consecutive partial quotients.

We introduce the notion of completed $F$-crystals on the absolute prismatic site of a smooth $p$-adic formal scheme. We define a functor from the category of completed prismatic $F$-crystals to that of crystalline étale $\mathbf {Z}_p$-local systems on the generic fiber of the formal scheme and show that it gives an equivalence of categories. This generalizes the work of Bhatt and Scholze, which treats the case of a mixed characteristic complete discrete valuation ring with perfect residue field.

Liu [‘Supercongruences for truncated Appell series’, Colloq. Math. 158(2) (2019), 255–263] and Lin and Liu [‘Congruences for the truncated Appell series $F_3$ and $F_4$’, Integral Transforms Spec. Funct. 31(1) (2020), 10–17] confirmed four supercongruences for truncated Appell series. Motivated by their work, we give a new supercongruence for the truncated Appell series $F_{1}$, together with two generalisations of this supercongruence, by establishing its q-analogues.

Let $E/F$ be a quadratic unramified extension of non-archimedean local fields and $\mathbb H$ a simply connected semisimple algebraic group defined and split over F. We establish general results (multiplicities, test vectors) on ${\mathbb H} (F)$-distinguished Iwahori-spherical representations of ${\mathbb H} (E)$. For discrete series Iwahori-spherical representations of ${\mathbb H} (E)$, we prove a numerical criterion of ${\mathbb H} (F)$-distinction. As an application, we classify the ${\mathbb H} (F)$-distinguished discrete series representations of ${\mathbb H} (E)$ corresponding to degree $1$ characters of the Iwahori-Hecke algebra.

We study the joint distribution of values of a pair consisting of a quadratic form ${\mathbf q}$ and a linear form ${\mathbf l}$ over the set of integral vectors, a problem initiated by Dani and Margulis [Orbit closures of generic unipotent flows on homogeneous spaces of $\mathrm{SL}_3(\mathbb{R})$. Math. Ann. 286 (1990), 101–128]. In the spirit of the celebrated theorem of Eskin, Margulis and Mozes on the quantitative version of the Oppenheim conjecture, we show that if $n \ge 5$, then under the assumptions that for every $(\alpha , \beta ) \in {\mathbb {R}}^2 \setminus \{ (0,0) \}$, the form $\alpha {\mathbf q} + \beta {\mathbf l}^2$ is irrational and that the signature of the restriction of ${\mathbf q}$ to the kernel of ${\mathbf l}$ is $(p, n-1-p)$, where ${3\le p\le n-2}$, the number of vectors $v \in {\mathbb {Z}}^n$ for which $\|v\| < T$, $a < {\mathbf q}(v) < b$ and $c< {\mathbf l}(v) < d$ is asymptotically $ C({\mathbf q}, {\mathbf l})(d-c)(b-a)T^{n-3}$ as $T \to \infty $, where $C({\mathbf q}, {\mathbf l})$ only depends on ${\mathbf q}$ and ${\mathbf l}$. The density of the set of joint values of $({\mathbf q}, {\mathbf l})$ under the same assumptions is shown by Gorodnik [Oppenheim conjecture for pairs consisting of a linear form and a quadratic form. Trans. Amer. Math. Soc. 356(11) (2004), 4447–4463].

Kobayashi–Ochiai proved that the set of dominant maps from a fixed variety to a fixed variety of general type is finite. We prove the natural extension of their finiteness theorem to Campana’s orbifold pairs.

We give new descriptions of the Bruhat order and Demazure products of affine Weyl groups in terms of the weight function of the quantum Bruhat graph. These results can be understood to describe certain closure relations concerning the Iwahori–Bruhat decomposition of an algebraic group. As an application towards affine Deligne–Lusztig varieties, we present a new formula for generic Newton points.