Number Theory [math.NT]

Enumeration of modular forms for $\Gamma_1(N)$

math.NT

math.CO

This paper considers holomorphic modular forms for $\Gamma_1(N)$ of integral weight of the form $$f^{(N)}_{\mathbf a}(\tau) =q^{s} (q^{N};q^{N})_{\infty}^{a_0}\prod_{j=1}^{\lfloor N/2 \rfloor}(q^j,q^{N-j};q^N)_\infty^{a_j}, \quad \mathbf a = (a_1, \ldots, a_{\lfloor N/2 \rfloor}),$$ for fixed $a_0=2k \in 2 \Bbb Z_{\ge 0}$. We show that the number of relevant exponent vectors $\mathbf a$ is finite and characterize them in terms of the $\mathbb{Q}$-rational cuspidal divisor class group of $X_{1}(N)$. Effective procedures are given for counting the admissible exponents by enumerating the corresponding polytopes. This leads to formulas for the number of exponent vectors in terms of quasipolynomials in $k$.

Voronoi-Hankel Transforms

math.NT

We prove that the $\pi$-Fourier transform introduced by Jiang--Luo and the Voronoi--Hankel transform for $\pi$ introduced by the last author are essentially the same one. We give a systematical study of the relevant kernel function in the non-archimedean case, including the asymptotic behavior at $0$ and $\infty$ and some simple integral representation based on the local Langlands correspondences for the essentially tame supercuspidals. As an application, we give an effective version of the stability theorem for the local gamma factors.

Weighted Recursions for Hurwitz Class Numbers

math.NT

We establish new recursions for Hurwitz class numbers with polynomial weights. In contrast to previous recursions, our results decouple class numbers of even and odd discriminants. Our main tool is the vector-valued holomorphic projection operator applied to mock modular forms. We invoke representation theory to connect the relevant spaces of vector-valued modular forms to spaces of classical new and old forms. We thereby leverage the vanishing of spaces of vector-valued cusp forms not available in the scalar case.

Digit frequencies and class numbers

math.NT

Let $p>3$ be a prime and $b\ge 2$ an integer such that $p$ does not divide $b$. Then $1/p$ has a periodic digit expansion with respect to the basis $b$. The length $m$ of the period is the (multiplicative) order of $b$ mod $p$. In the case $m=(p-1)/2$, the frequency of each digit $k\in\{0,1,\ldots, b-1\}$ can be expressed in terms of generalized (first order) Bernoulli numbers. In some cases only Bernoulli numbers belonging to quadratic characters occur. This means that the frequencies can be written in terms of class numbers of imaginary quadratic number fields (the so-called class number case). In the present paper we classify the numbers $p$ and $b$ falling under the class number case. We also highlight one of the simplest examples not falling under this case ($p\equiv 1$ mod $4$, $b=10$) and the most complex example of the class number case. Moreover, we show that knowing the frequency of each $k$ is equivalent to knowing the respective Bernoulli numbers.

An Explicit Surjectivity Threshold for Digit Sums of Primes

math.NT

Let $s(n)=s_{10}(n)$ be the decimal sum-of-digits map. Building on the circle-method framework of Drmota-Mauduit-Rivat for digital restrictions on primes, we make the constants explicit at the points needed to obtain an effective surjectivity statement for digit sums of primes. We exhibit an explicit integer $M < 1.78 \times 10^{32}$ such that every integer $m \ge M$ with gcd$(m,9)=1$ occurs as $s(p)$ for at least one prime $p$. We also prove an explicit lower bound $A_m(10^{2m/9}) \ge C_q(m) 10^{2m/9}/m^{3/2}$, where $C_q(m)$ is explicit, positive above the sufficient threshold, and bounded away from $0$ along each admissible residue class. Existence of a non-numerical threshold follows from the DMR asymptotic theory and was noted by Harman; to the best of our knowledge, this is the first published explicit numerical threshold for this surjectivity statement. The proof combines explicit major-arc estimates, a fully explicit replacement for DMR's implicit prime exponential-sum input, and constant-tracked Type-II minor-arc estimates. As an application, we prove the infinitude of OEIS A070027, the primes whose iterated digit-sum chain remains prime until reaching a one-digit prime. We also record related effective consequences for additive primes and digit-sum additive decompositions.

Representations of positive integers by three almost-prime squares

math.NT

Let $P_r$ denote an integer with at most $r$ prime factors, counted with multiplicity. It is known that every sufficiently large integer $N$ satisfying $N \equiv 3 \pmod{24}$ and $5 \nmid N$, can be written in the form $N= x_1^2+x_2^2+x_3^2$ where $x_1,x_2,x_3$ are integers. In this paper, we prove that the above representation in the following two different forms (i) $x_1x_2x_3$ is a $P_{67}$-number; (ii) each $x_i$ is a $P_{27}$-number. This result improves on the previous result of Waibel\cite{Wa}, in which $P_{72}$ was obtained in place of $P_{67}$. The proofs combine the higher-dimensional sieve, a Richert-type weighted sieve method introduced by Cai \cite{Cai} with a Bombieri-Vinogradov type result given by Waibel\cite{Wa}. Applying the same method in a one dimensional sieve setting, we also show that every sufficiently large $N$ not of the form $4^k(8l+7)$ can be written in the form \[ N = x^{2} + y^{2} + (2^{a} z)^{2}, \] where $x,y,a,z$ are non-negative integers and $z$ is a $P_{18}$-number. This improves upon a result of Banerjee \cite{Ban} who obtained $P_{118}$ in place of $P_{18}$.

Correspondence of discrete series representations of $\mathrm{GSp}_{2n}$ and its inner form

math.NT

math.RT

We construct a correspondence with a character equation of discrete series representations of $\mathrm{GSp}_{2n}$ over a $p$-adic field and its inner form for $p>2$ and $n\geq 2$. This is a generalization of the works by Chan and Gan and the local Jacquet-Langlands correspondence. Moreover, our results partially reveal what the local Langlands correspondence of $\mathrm{GSp}_{2n}$ and its inner form over $p$-adic fields should be.

Integer points close to a transcendental curve: an algorithmic approach

math.NT

cs.SC

In this article, we propose an algorithmic approach to determine the integer points located near a transcendental curve. This approach is closely related to a celebrated work by Bombieri and Pila and to the so-called Coppersmith's method. We establish the underlying theoretical foundations, prove the algorithms, study their complexity and present practical experiments; we also compare our approach with previously existing ones. From a practical point of view, we focus on an instance of our general problem, called the Table Maker's Dilemma, whose solving makes it possible to evaluate a given function with correct rounding. Our experiments show a significant speedup. In particular, our results show that the development of a correctly rounded mathematical library for the binary128 format is now possible at a much smaller cost than with previously existing approaches.

The leading constant in Malle's conjecture

math.NT

math.AG

We give an overview of a recent conjecture of the authors on the leading constant in Malle's conjecture on number fields of bounded discriminant. This comes from applying the philosophy from Manin's conjecture on rational points of bounded height on Fano varieties to classifying stacks. To make these ideas more accessible we assume no background in algebraic geometry, which requires some new perspectives and alternative approaches to the theory. We also give some new conjectures on multi-heights and Bhargava's heuristics on counting with local conditions imposed.

Khintchine's Theorem for Symmetric matrices via Flows on the Space of Symplectic Lattices

math.NT

math.DS

We establish Diophantine approximation results for real symmetric matrices by collections of linearly independent integer vectors. For $X \in \mathrm{Sym}_d(\mathbb{R})$, we prove a Dirichlet-type theorem guaranteeing the existence of integral Lagrangian frames $(Q, P) \in \mathrm{Mat}_{d \times 2d}(\mathbb{Z})$ that satisfy $\lVert QX + P \rVert_{\mathrm{op}} \leq c_d/N$ and $\lVert Q \rVert_{\mathrm{op}} \leq N$ for any $N \geq 1$. Furthermore, we establish a Khintchine-type zero-one law, demonstrating that the size of the set of $\psi$-approximable symmetric matrices is determined by the convergence or divergence of the series $\sum_{q \geq 1} q^{\varsigma - 1}\psi(q)^{\varsigma}$, where $\varsigma = d(d+1)/2$. The proofs rely on the reduction theory of the Siegel upper half-space, dynamical formulation over the space of symplectic lattices, and an analysis of the Siegel transform adapted to count Lagrangian frames instead of single lattice points.

A Note on Jacobians with Prescribed Factors

math.AG

math.NT

Over an infinite field, we prove a refinement of Matsusaka's theorem in which the complementary isogeny factor can be made absolutely simple of arbitrarily large dimension. We also discuss related questions around relative simplicity and the isogeny Schottky problem.

Primitive inhomogeneous approximation for fixed non-singular frequencies

math.DS

math.NT

math.SP

We prove a high-dimensional primitive inhomogeneous Diophantine approximation result for fixed non-singular simultaneous frequencies. The frequency class is explicit and has full Lebesgue measure.

Local-global conjugacy questions for affine extensions

math.DS

math.GR

math.NT

Boston and Jones constructed a probabilistic model, called the Markov model, in order to predict the cycle structures of elements in Galois groups $G_n(f)$ associated to the $n$-th iterate of a quadratic postcritically finite polynomial $f$ over a number field. Goksel refined this model, introducing the 'even' Markov groups $M_n(f)$. These groups conjecturally contain a copy of $G_n(f)$, leading to questions about local-global conjugacies within the larger automorphism group $\operatorname{Aut}(T_n)$ of the first $n$ levels of the binary rooted tree coming from arboreal representations of the Galois groups. While the conjugacy results found by Goksel were restricted to the study of these automorphism groups, we generalise the findings to affine extensions of groups by permutation representations, using a cohomological argument. Furthermore, we provide a counterexample to the main conjecture proposed by Goksel, demonstrating that more work is required to resolve the underlying questions regarding Markov models.

Stochastically evolving ellipsoids with symmetries

math.MG

math.NT

math.PR

We prove that there is a universal constant $c > 0$ such that, along an infinite sequence of dimensions $N$, there are lattice sphere packings in $\mathbb{R}^N$ of density at least $c N^2 \log\log N \, 2^{-N}$, improving the previous best bound due to Klartag by a $\log\log N$ factor. The proof follows Klartag's stochastic ellipsoid evolution process, subject to the cyclotomic symmetries introduced by Venkatesh.

Asymptotics of Schwartz functions

math.NT

math.RT

v4

Let $G$ be a split, simply connected, almost simple algebraic group, and let $P$ be a maximal parabolic subgroup of $G$. Braverman and Kazhdan in \cite{BKnormalized} defined a Schwartz space on the affine closure $X_P$ of $P^{\mathrm{der}}\backslash G$. An alternate, more analytically tractable definition was given in \cite{Getz:Hsu:Leslie}, following several earlier works. When $G$ is a classical group or $G_2$, we show the two definitions coincide and prove several previously conjectured properties of the Schwartz space that will be useful in applications. Along the way, we give an alternative construction of the ring of differential operators on $X_P$ using the Fourier theory. We also establish the Poisson summation formulae in these cases.

Generalised Whittaker models as instances of relative Langlands duality II: Plancherel density and global periods

math.NT

math.RT

v2

In an earlier paper of the authors, a general family of instances of the relative Langlands duality of Ben-Zvi-Sakellaridis-Venkatesh [BZSV] were proposed and studied in the setting of branching problems for smooth representations. In this paper, we show the numerical conjectures of [BZSV] for the local Plancherel density, as well as an application to their conjectures on global periods, for this general family of instances.

Exact Approximation In The Field Of Formal Series

math.NT

math.DS

v2

In this article, we determine the Hausdorff dimension of the set of exactly $\psi$-approximable vectors over local fields of positive characteristic. This result is the function field analogue of a recent theorem of Bandi and de Saxc\'e in the real setting~\cite{bandi2023hausdorff}, and extends the main theorem of Zhang~\cite{MR2834892} to higher dimensions. Our approach adapts the method of Bandi and de Saxc\'e to the ultrametric setting, enabling us to overcome difficulties arising from the failure of the well-separatedness property for rational functions in higher dimensions.

Point counts, automorphisms, and gonalities of Shimura curves

math.NT

v2

We implement an algorithm to compute the number of points over finite fields for the Shimura curves $X_0^D(N)$ over $\mathbb{Q}$ and their Atkin--Lehner quotients. Our computations identify $116$ such quotients over finite fields (out of $783514$ tested) that attain a number of rational points exceeding that of any previously known curve of the same genus over the same finite field. To illustrate the utility of our point counts algorithm in addressing arithmetic questions, we prove that all automorphisms are Atkin--Lehner for $9288$ of the $10609$ curves $X_0^D(N)$ of genus $g > 2$ with $D$ the discriminant of an indefinite quaternion algebra over $\mathbb{Q}$, $N$ a squarefree positive integer coprime to $D$, and $DN\leq 10000$, and we determine all tetragonal and geometrically tetragonal curves $X_0^D(N)$ up to a small number of possible exceptions.

A Hasse principle for the higher Chow groups of curves over a global field

math.NT

v3

We study the higher Chow group $CH^2(X,1)$ of a smooth projective curve $X$ over a global field $F$, focusing on the kernel $V(X)$ of the push-forward map $CH^2(X,1) \to CH^1(F,1) = F^\times$. Our main purpose is to investigate the structure of the torsion subgroup of $V(X)$ and its relation to the arithmetic of the curve. Using Bloch's exact sequence together with a Hasse principle for Galois cohomology arising from mod-$l$ Galois representations, we show that the mod-$l$ quotient $V(X)/lV(X)$ is governed by the mod-$l$ Galois representation on the $l$-torsion subgroup $J[l]$ of the Jacobian variety $J$ of $X$.

Dold-Gauss Congruences, Norm Descent, and Rational Rigidity

math.NT

math.CO

v2

We develop a Witt--Hadamard calculus for Euler products that unifies the classical Gauss congruences with their modern refinement, the Dold congruences. Within this framework we prove \emph{norm descent}: Dold congruences are functorial under finite extensions and preserved by prime--ideal norms $N_{K/\mathbb{Q}}$, yielding integer ghosts from algebraic ones. We extend the theory from $\mathbb{Z}$ to Dedekind domains, and show that integrality is stable under both Hadamard and Witt products. Two rigidity theorems lie at the core: a \emph{cyclotomic residues theorem}, asserting that if the logarithmic derivative has only cyclotomic poles then integrality forces rationality; and a stronger \emph{Dold$^{+}$ rigidity theorem}, showing that any algebraic series satisfying refined Dold congruences is necessarily rational. These results sharpen the Gauss--Dold picture: ordinary congruences enforce integrality, while the strengthened form collapses algebraic cases to rational ones. Applications include prime--ideal ladders in number fields and exact product laws for dynamical zeta functions, illustrated for subshifts of finite type and circle doubling.

Majorization and Gaussian-Mass Maximality for Construction-A Lattices from Binary Self-Dual Codes

math.NT

cs.IT

math.CO

math.IT

math.MG

v2

Regev and Stephens-Davidowitz conjectured that the integer lattice maximizes Gaussian mass among integral lattices of a given rank. We prove this, including the equality case, for all unimodular Construction-A lattices arising from binary self-dual codes. The proof reduces the theta-series inequality to a sharp majorization statement for codes: if $C$ is a binary self-dual $[2k,k]$ code, then the half-weight distribution of $C$ is dominated in convex order by $\operatorname{Bin}(k,1/2)$, which is the corresponding distribution for the repetition-code model of $\mathbb{Z}^{2k}$. Indeed, after putting $C$ in systematic form $[I\mid A]$, self-duality gives $AA^T=I$ over $\mathbb{F}_2$, so for a uniformly random message $a$ the two weights $\operatorname{wt}(a)$ and $\operatorname{wt}(aA)$ have the same binomial law. The half-weight of the resulting codeword is their average, and Jensen's inequality then gives convex-order domination. Applied to the convex test functions that build the theta series, this yields a sum-of-squares formula for the Gaussian-mass gap; applied to hinge functions, it gives coefficientwise nonnegativity of the reduced gap polynomial.

Equations of genus $4$ curves from their theta constants

math.AG

math.NT

v4

In this article we give explicit formulas for the equations of a generic genus $4$ curve in terms of its theta constants. The method uses the Prym construction and the beautiful classical geometry around it.

Generalized Howe curves of genus 4, 5, and 6 with completely decomposable Jacobians

math.AG

math.NT

v3

Superspecial curves are important objects in number theory and algebraic geometry, and the existence in genus $g \geq 4$ remains an open problem for all but finitely many characteristics $p > 0$. As a computational approach to this problem, Kudo-Harashita-Howe (2020) showed that a superspecial curve of genus 4 exists in each characteristic $p$ with $7 < p < 20000$. Their method restricted attention to a specific class of curves, known as Howe curves, for which superspeciality is reduced to those of curves of genus at most 2. In this paper, we focus on a more specific class of curves, namely Howe curves whose Jacobians decompose into a product of four elliptic curves. By restricting our attention to such curves, the superspeciality reduces to the supersingularity of elliptic curves, which enables us to construct a superspecial curve of genus 4 more efficiently than Kudo-Harashita-Howe's method. As our first main result, we confirmed by computer the existence of such superspecial curves of genus 4 in characteristics $p$ with $20000 < p < 10^6$. Using a similar approach, we also propose constructions of superspecial curves of genera 5 and 6 from only supersingular elliptic curves. Furthermore, computational experiments establish the existence of superspecial curves of genus 5 (resp. genus 6) in characteristics $p$ with $13 < p < 10^5$ (resp. $7 < p < 10^5$).

Superspecial plane quintics with large automorphism groups

math.AG

math.NT

v2

In this paper, we study plane quintic curves whose automorphism groups have order greater than 10, as well as those with cyclic automorphism groups of order 8 and 10. The latter two cases are represented as one-parameter families, where their superspeciality can be explicitly described in terms of a truncation of certain Gaussian hypergeometric series. Applying this characterization, we determine the exact number of isomorphism classes of superspecial plane quintic curves with automorphism groups $\cong \mathbb{Z}/10\mathbb{Z}$. We also provide an efficient algorithm to enumerate such curves with automorphism groups $\cong \mathbb{Z}/8\mathbb{Z}$, and provide the computational results for the range $13 < p < 10000$.