Let f be a primitive Hilbert modular form over F of weight k with coefficient field $E_f$, generated by the Fourier coefficients $C(\mathfrak {p}, f)$ for $\mathfrak {p} \in \mathrm {Spec}(\mathcal {O}_F)$. Under certain assumptions on the image of the residual Galois representations attached to f, we calculate the Dirichlet density of $\{\mathfrak {p} \in \mathrm {Spec}(\mathcal {O}_F)| E_f = \mathbb {Q}(C(\mathfrak {p}, f))\}$. For $k=2$, we show that those assumptions are satisfied when $[E_f:\mathbb {Q}] = [F:\mathbb {Q}]$ is an odd prime. We also study analogous results for $F_f$, the fixed field of $E_f$ by the set of all inner twists of f. Then, we provide some examples of f to support our results. Finally, we compute the density of $\{\mathfrak {p} \in \mathrm {Spec}(\mathcal {O}_F)| C(\mathfrak {p}, f) \in K\}$ for fields K with $F_f \subseteq K \subseteq E_f$.

In this paper, we investigate pigeonhole statistics for the fractional parts of the sequence $\sqrt {n}$. Namely, we partition the unit circle $ \mathbb {T} = \mathbb {R}/\mathbb {Z}$ into N intervals and show that the proportion of intervals containing exactly j points of the sequence $(\sqrt {n} + \mathbb {Z})_{n=1}^N$ converges in the limit as $N \to \infty $. More generally, we investigate how the limiting distribution of the first $sN$ points of the sequence varies with the parameter $s \geq 0$. A natural way to examine this is via point processes—random measures on $[0,\infty )$ which represent the arrival times of the points of our sequence to a random interval from our partition. We show that the sequence of point processes we obtain converges in distribution and give an explicit description of the limiting process in terms of random affine unimodular lattices. Our work uses ergodic theory in the space of affine unimodular lattices, building upon work of Elkies and McMullen [Gaps in $\sqrt {n}$ mod 1 and ergodic theory. Duke Math. J. 123 (2004), 95–139]. We prove a generalisation of equidistribution of rational points on expanding horocycles in the modular surface, working instead on nonlinear horocycle sections.

We prove new cases of the Inverse Galois Problem by considering the residual Galois representations arising from a fixed newform. Specific choices of weight $3$ newforms will show that there are Galois extensions of ${\mathbb Q}$ with Galois group $\operatorname {PSL}_2({\mathbb F}_p)$ for all primes p and $\operatorname {PSL}_2({\mathbb F}_{p^3})$ for all odd primes $p \equiv \pm 2, \pm 3, \pm 4, \pm 6 \ \pmod {13}$.

Let $m>1$ and $\mathfrak {d} \neq 0$ be integers such that $v_{p}(\mathfrak {d}) \neq m$ for any prime p. We construct a matrix $A(\mathfrak {d})$ of size $(m-1) \times (m-1)$ depending on only of $\mathfrak {d}$ with the following property: For any tame $ \mathbb {Z}/m \mathbb {Z}$-number field K of discriminant $\mathfrak {d}$, the matrix $A(\mathfrak {d})$ represents the Gram matrix of the integral trace-zero form of K. In particular, we have that the integral trace-zero form of tame cyclic number fields is determined by the degree and discriminant of the field. Furthermore, if in addition to the above hypotheses, we consider real number fields, then the shape is also determined by the degree and the discriminant.

A class of exotic $_3F_2(1)$-series is examined by integral representations, which enables the authors to present relatively easier proofs for a few remarkable formulae. By means of the linearization method, these $_3F_2(1)$-series are further extended with two integer parameters. A general summation theorem is explicitly established for these extended series, and several sample summation identities are highlighted as consequences.

Let X be a real prehomogeneous vector space under a reductive group G, such that X is an absolutely spherical G-variety with affine open orbit. We define local zeta integrals that involve the integration of Schwartz–Bruhat functions on X against generalized matrix coefficients of admissible representations of $G(\mathbb {R})$, twisted by complex powers of relative invariants. We establish the convergence of these integrals in some range, the meromorphic continuation, as well as a functional equation in terms of abstract $\gamma $-factors. This subsumes the archimedean zeta integrals of Godement–Jacquet, those of Sato–Shintani (in the spherical case), and the previous works of Bopp–Rubenthaler. The proof of functional equations is based on Knop’s results on Capelli operators.

We introduce a holomorphic torsion invariant of log-Enriques surfaces of index two with cyclic quotient singularities of type $\frac {1}{4}(1,1)$. The moduli space of such log-Enriques surfaces with k singular points is a modular variety of orthogonal type associated with a unimodular lattice of signature $(2,10-k)$. We prove that the invariant, viewed as a function of the modular variety, is given by the Petersson norm of an explicit Borcherds product. We note that this torsion invariant is essentially the BCOV invariant in the complex dimension $2$. As a consequence, the BCOV invariant in this case is not a birational invariant, unlike the Calabi-Yau case.

A Sidon set is a subset of an Abelian group with the property that the sums of two distinct elements are distinct. We relate the Sidon sets constructed by Bose to affine subspaces of $ \mathbb {F} _ {q ^ 2} $ of dimension one. We define Sidon arrays which are combinatorial objects giving a partition of the group $\mathbb {Z}_{q ^ 2} $ as a union of Sidon sets. We also use linear recurring sequences to quickly obtain Bose-type Sidon sets without the need to use the discrete logarithm.

By analogy with the trace of an algebraic integer $\alpha $ with conjugates $\alpha _1=\alpha , \ldots , \alpha _d$, we define the G-measure $ {\mathrm {G}} (\alpha )= \sum _{i=1}^d ( |\alpha _i| + 1/ | \alpha _i | )$ and the absolute ${\mathrm G}$-measure ${\mathrm {g}}(\alpha )={\mathrm {G}}(\alpha )/d$. We establish an analogue of the Schur–Siegel–Smyth trace problem for totally positive algebraic integers. Then we consider the case where $\alpha $ has all its conjugates in a sector $| \arg z | \leq \theta $, $0 < \theta < 90^{\circ }$. We compute the greatest lower bound $c(\theta )$ of the absolute G-measure of $\alpha $, for $\alpha $ belonging to $11$ consecutive subintervals of $]0, 90 [$. This phenomenon appears here for the first time, conforming to a conjecture of Rhin and Smyth on the nature of the function $c(\theta )$. All computations are done by the method of explicit auxiliary functions.

Let E be an elliptic curve with positive rank over a number field K and let p be an odd prime number. Let $K_{\operatorname {cyc}}$ be the cyclotomic $\mathbb {Z}_p$-extension of K and $K_n$ its nth layer. The Mordell–Weil rank of E is said to be constant in the cyclotomic tower of K if for all n, the rank of $E(K_n)$ is equal to the rank of $E(K)$. We apply techniques in Iwasawa theory to obtain explicit conditions for the rank of an elliptic curve to be constant in this sense. We then indicate the potential applications to Hilbert’s tenth problem for number rings.

In 2012, Andrews and Merca proved a truncated theorem on Euler's pentagonal number theorem. Motivated by the works of Andrews and Merca, Guo and Zeng deduced truncated versions for two other classical theta series identities of Gauss. Very recently, Xia et al. proved new truncated theorems of the three classical theta series identities by taking different truncated series than the ones chosen by Andrews–Merca and Guo–Zeng. In this paper, we provide a unified treatment to establish new truncated versions for the three identities of Euler and Gauss based on a Bailey pair due to Lovejoy. These new truncated identities imply the results proved by Andrews–Merca, Wang–Yee, and Xia–Yee–Zhao.

For any $n>1$ we determine the uniform and nonuniform lattices of the smallest covolume in the Lie group $\operatorname {\mathrm {Sp}}(n,1)$. We explicitly describe them in terms of the ring of Hurwitz integers in the nonuniform case with n even, respectively, of the icosian ring in the uniform case for all $n>1$.

A number of recent papers have estimated ratios of the partition function $p(n-j)/p(n)$, which appear in many applications. Here, we prove an easy-to-use effective bound on these ratios. Using this, we then study the second shifted difference of partitions, $f(\,j,n) := p(n) -2p(n-j) +p(n-2j)$, and give another easy-to-use estimate of $f(\,j,n)$. As applications of these, we prove a shifted convexity property of $p(n)$, as well as giving new estimates of the k-rank partition function $N_k(m,n)$ and non-k-ary partitions along with their differences.

Let $r=[a_1(r), a_2(r),\ldots ]$ be the continued fraction expansion of a real number $r\in \mathbb R$. The growth properties of the products of consecutive partial quotients are tied up with the set admitting improvements to Dirichlet’s theorem. Let $(t_1, \ldots , t_m)\in \mathbb R_+^m$, and let $\Psi :\mathbb {N}\rightarrow (1,\infty )$ be a function such that $\Psi (n)\to \infty $ as $n\to \infty $. We calculate the Hausdorff dimension of the set of all $ (x, y)\in [0,1)^2$ such that

$$ \begin{align*} \max\left\{\prod_{i=1}^ma_{n+i}^{t_i}(x), \prod_{i=1}^ma_{n+i}^{t_i}(y)\right\} \geq \Psi(n) \end{align*} $$

$n\geq 1$

In this paper, we compute the Fourier expansion of the Shintani lift of nearly holomorphic modular forms. As an application, we deduce modularity properties of generating series of cycle integrals of nearly holomorphic modular forms.

Let $p_t(a,b;n)$ denote the number of partitions of n such that the number of t-hooks is congruent to $a \bmod {b}$. For $t\in \{2, 3\}$, arithmetic progressions $r_1 \bmod {m_1}$ and $r_2 \bmod {m_2}$ on which $p_t(r_1,m_1; m_2 n + r_2)$ vanishes were established in recent work by Bringmann, Craig, Males and Ono [‘Distributions on partitions arising from Hilbert schemes and hook lengths’, Forum Math. Sigma 10 (2022), Article no. e49] using the theory of modular forms. Here we offer a direct combinatorial proof of this result using abaci and the theory of t-cores and t-quotients.

We discuss the $\ell $-adic case of Mazur’s ‘Program B’ over $\mathbb {Q}$: the problem of classifying the possible images of $\ell $-adic Galois representations attached to elliptic curves E over $\mathbb {Q}$, equivalently, classifying the rational points on the corresponding modular curves. The primes $\ell =2$ and $\ell \ge 13$ are addressed by prior work, so we focus on the remaining primes $\ell = 3, 5, 7, 11$. For each of these $\ell $, we compute the directed graph of arithmetically maximal $\ell $-power level modular curves $X_H$, compute explicit equations for all but three of them and classify the rational points on all of them except $X_{\mathrm {ns}}^{+}(N)$, for $N = 27, 25, 49, 121$ and two-level $49$ curves of genus $9$ whose Jacobians have analytic rank $9$.

Aside from the $\ell $-adic images that are known to arise for infinitely many ${\overline {\mathbb {Q}}}$-isomorphism classes of elliptic curves $E/\mathbb {Q}$, we find only 22 exceptional images that arise for any prime $\ell $ and any $E/\mathbb {Q}$ without complex multiplication; these exceptional images are realised by 20 non-CM rational j-invariants. We conjecture that this list of 22 exceptional images is complete and show that any counterexamples must arise from unexpected rational points on $X_{\mathrm {ns}}^+(\ell )$ with $\ell \ge 19$, or one of the six modular curves noted above. This yields a very efficient algorithm to compute the $\ell $-adic images of Galois for any elliptic curve over $\mathbb {Q}$.

In an appendix with John Voight, we generalise Ribet’s observation that simple abelian varieties attached to newforms on $\Gamma _1(N)$ are of $\operatorname {GL}_2$-type; this extends Kolyvagin’s theorem that analytic rank zero implies algebraic rank zero to isogeny factors of the Jacobian of $X_H$.

Let $\alpha $ be a totally positive algebraic integer of degree d, with conjugates $\alpha _1=\alpha , \alpha _2, \ldots , \alpha _d$. The absolute $S_k$-measure of $\alpha $ is defined by $s_k(\alpha )= d^{-1} \sum _{i=1}^{d}\alpha _i^k$. We compute the lower bounds $\upsilon _k$ of $s_k(\alpha )$ for each integer in the range $2\leq k \leq 15$ and give a conjecture on the results for integers $k>15$. Then we derive the lower bounds of $s_k(\alpha )$ for all real numbers $k>2$. Our computation is based on an improvement in the application of the LLL algorithm and analysis of the polynomials in the explicit auxiliary functions.

We establish the optimal order of Malliavin-type remainders in the asymptotic density approximation formula for Beurling generalized integers. Given $\alpha \in (0,1]$ and $c>0$ (with $c\leq 1$ if $\alpha =1$), a generalized number system is constructed with Riemann prime counting function $ \Pi (x)= \operatorname {\mathrm {Li}}(x)+ O(x\exp (-c \log ^{\alpha } x ) +\log _{2}x), $ and whose integer counting function satisfies the extremal oscillation estimate $N(x)=\rho x + \Omega _{\pm }(x\exp (- c'(\log x\log _{2} x)^{\frac {\alpha }{\alpha +1}})$ for any $c'>(c(\alpha +1))^{\frac {1}{\alpha +1}}$, where $\rho>0$ is its asymptotic density. In particular, this improves and extends upon the earlier work [Adv. Math. 370 (2020), Article 107240].

Dirichlet’s theorem, including the uniform setting and asymptotic setting, is one of the most fundamental results in Diophantine approximation. The improvement of the asymptotic setting leads to the well-approximable set (in words of continued fractions)

$$ \begin{align*} \mathcal{K}(\Phi):=\{x:a_{n+1}(x)\ge\Phi(q_{n}(x))\ \textrm{for infinitely many }n\in \mathbb{N}\}; \end{align*} $$

$$ \begin{align*} \mathcal{G}(\Phi):=\{x:a_{n}(x)a_{n+1}(x)\ge\Phi(q_{n}(x))\ \textrm{for infinitely many }n\in \mathbb{N}\}. \end{align*} $$

$\Phi _{1},\Phi _{2}:[1,+\infty )\rightarrow \mathbb {R}^{+}$

$\mathcal {G}(\Phi _{1})\!\setminus\! \mathcal {K}(\Phi _{2})$

$\mathcal {G}(\Phi )$

$\mathcal {K}(\Phi )$

$\Phi $

$\mathcal {G}(\Phi _{1})\!\setminus\! \mathcal {K}(\Phi _{2})$

$\Phi _1$