Number Theory [math.NT]

Weyl Subconvexity for $\mathrm{GL}_2$ with Simple Supercuspidal Ramification

math.NT

We establish Weyl-type subconvexity bounds in the level aspect for cuspidal automorphic representations of $\mathrm{GL}_2/F$ with simple supercuspidal ramification at a prime ideal $\mathfrak{q}$. More precisely, for the family $\mathcal{F}_t^\zeta(\mathfrak{q}^3;\omega)$ consisting of representations of conductor $\mathfrak{q}^3$, central character $\omega$, and prescribed simple supercuspidal local component, we prove the fourth moment estimate \begin{align*} \sum_{\substack{\pi \in \mathcal{F}_{t}^{\zeta}(\mathfrak{q}^3;\omega) \\ C_v(\pi) \leq \mathbf{C}_v,\ v \mid \infty}} |L(1/2,\pi)|^4 \ll_{F,\varepsilon} \mathbf C_\infty^{1+\varepsilon} N_F(\mathfrak{q})^{2+\varepsilon}. \end{align*} As a consequence, we deduce the Weyl-type bound \begin{align*} L(1/2,\pi) \ll_{F,\varepsilon} C_{\infty}(\pi)^{1/4+\varepsilon} C_{\mathrm{fin}}(\pi)^{1/6+\varepsilon}. \end{align*} In particular, this bound applies to a genuinely non-self-dual family of odd conductor exponent, beyond the reach of the cubic moment method.

Dualizable Additive Categories

math.AT

math.AG

math.CT

math.KT

math.NT

We develop a comprehensive theory of dualizable additive categories. We provide several equivalent characterizations, notably identifying them as separated Grothendieck prestable categories satisfying the $\mathrm{AB4}^*$ and $\mathrm{AB6}$ axioms. We establish a connection to almost mathematics by demonstrating that they arise precisely as the categories of connective almost modules over connective $\mathbb{E}_1$-rings. Furthermore, we prove that dualizable additive categories are generated by flat objects, and that the passage to flat objects yields an equivalence between dualizable additive categories and compactly assembled additive categories. As a primary application within analytic geometry, we characterize the category $\mathrm{Nuc}(R)_{\geq 0}$ of connective nuclear modules (in the sense of Clausen--Scholze) over an adic $\mathbb{E}_\infty$-ring $R$ via a universal property, identifying it as the additive rigidification of the category of connective complete $R$-modules. Finally, we construct the universal finitary stable localizing invariant for dualizable additive categories, the presentable stable category $\mathcal{M}\mathrm{ot}_{\mathrm{pst}}$ of prestable motives, and demonstrate that its unit corepresents nonconnective algebraic $K$-theory. We prove that the motives of small additive categories and those of dualizable additive categories generate the same presentable stable subcategory.

Sparse Random Covers and Growth of Torsion in First Homology

math.GR

math.DG

math.MG

math.NT

We construct random open covers of higher-rank locally symmetric spaces using a construction we call scaffolded Poisson processes. Let $X=G/K$ be a symmetric space of noncompact type and real rank $r\ge2$. We prove that there are constants $C_X,R_X<\infty$, depending only on $X$, such that every torsion-free lattice $\Gamma

Towards strong uniformity for isogenies of prime degree

math.NT

v3

Let $E$ be an elliptic curve over a number field $k$ of degree $d$ that admits a $k$-rational isogeny of prime degree $p$. We study the question of finding a uniform bound on $p$ that depends only on $d$, and obtain, under a certain condition on the signature of the isogeny, such a uniform bound by explicitly constructing nonzero integers that $p$ must divide. As a corollary we find a uniform bound on torsion points defined over unramified extensions of the base field, generalising Merel's Uniform Boundedness result for torsion.

Density theorems for $\text{GL}_n$ via Rankin-Selberg $L$-functions

math.NT

math.RT

v2

We obtain density theorems for cuspidal automorphic representations of $\text{GL}_n$ over $\mathbb{Q}$ which fail the generalized Ramanujan conjecture at some place. We depart from previous approaches based on Kuznetsov-type trace formulae, and instead rely on $L$-function techniques. This improves recent results of Blomer near the threshold of the pointwise bounds.

Exponential sums over primes are unbounded

math.NT

v3

We prove prime exponential sums have no better than square root cancellation on average on short intervals, in the sense that $$\frac{1}{x} \sum_{-y< n\le x} \left|\sum_{\substack{n< m \le n+y\\ 1\le m \le x}} \Lambda(m) \mathrm{e}(\alpha m)\right|^2 \gg y\log y$$ whenever $y \ll x^{1/3-\varepsilon}.$ This answers a question of Aymone and Ramar\'e by proving the lower bound $$\sup_{n\le x} \left|\sum_{m\le n} \Lambda(m) \mathrm{e}(\alpha m)\right| \gg x^{1/6 - \varepsilon}.$$

Polynomials and asymptotic constants in a resurgent problem from 't Hooft

math.NT

hep-th

quant-ph

v3

In a recent study of the quantum theory of harmonic oscillators, Gerard 't Hooft proposed the following problem: given $G(z)=\sum_{n=1}^\infty\sqrt{n}\,z^n$ for $|z|<1$, find its analytic continuation for $|z|\ge1$, excluding a branch-cut $z\in[1,\,\infty)$. A solution is provided by the bilateral convergent sum $G(z)=\frac12\sqrt{\pi}\sum_{n=-\infty}^\infty(2\pi{\rm i}n-\log(z))^{-3/2}$. On the negative real axis, $G(-{\rm e}^u)$ has a sign-constant asymptotic expansion in $1/u^2$, for large positive $u$. Optimal truncation leaves exponentially suppressed terms in an asymptotic expansion ${\rm e}^{-u}\sum_{k=0}^\infty P_k(x)/u^k$, with $P_0(x)=x-\frac23$ and $P_k(x)$ of degree $2k+1$ evaluated at $x=u/2-\lfloor u/2\rfloor$. At large $k$, these polynomials become excellent approximations to sinusoids. The amplitude of $P_k(x)$ increases factorially with $k$ and its phase increases linearly, with $P_k(x)\sim\sin((2k+1)C-2\pi x)R^{2k+1}\Gamma(k+\frac12)/\sqrt{2\pi}$, where $C\approx1.0688539158679530121571$ and $R\approx0.5181839789815558726739$ are asymptotic constants satisfying $R\exp({\rm i}\,C)=\sqrt{-1/(2+\pi{\rm i})}$.

Secondary Term for the Mean Value of Maass Special $L$-values

math.NT

v2

In this paper, we discover a secondary term in the asymptotic formula for the mean value of Hecke--Maass special $L$-values $ L (1/2+it_f, f) $ with the average over $f (z)$ in an orthonormal basis of Hecke--Maass cusp forms of Laplace eigenvalue $1/4 + t_f^2$ ($t_f > 0$). To be explicit, we prove $$ \sum_{t_f \leqslant T} \omega_f L (1/2+it_f, f) = \frac {T^2} {\pi^2} + \frac {4 T^{3/2}} {3\pi^{3/2} } + O \big(T^{1+\varepsilon}\big), $$ for any $\varepsilon > 0$, where $\omega_f$ are the harmonic weights. This provides a new instance of (large) secondary terms in the moments of $L$-functions---it was known previously only for the smoothed cubic moment of quadratic Dirichlet $L$-functions. The proof relies on an explicit formula for the smoothed mean value of $L (1/2+it_f, f)$.

Explicit bounds for the graphicality of the prime gap sequence

math.NT

v3

We establish explicit unconditional results on the graphic properties of the prime gap sequence. Let $p_n$ denote the $n$-th prime number (with $p_0=1$) and $\mathrm{PD}_n = (p_\ell - p_{\ell-1})_{\ell=1}^n$ be the sequence of the first $n$ prime gaps. Building upon the recent work by Erd\H{o}s et al, which proved the graphic nature of $\mathrm{PD}_n$ for large $n$ unconditionally, and for all $n$ under RH, we provide the first explicit unconditional threshold such that: (1) For all $n \geq \exp\exp(30.32)$, $\mathrm{PD}_n$ is graphic. (2) For all $n \geq \exp\exp(34.33)$, every realization $G_n$ of $\mathrm{PD}_n$ satisfies that $(G_n, p_{n+1}-p_n)$ is DPG-graphic. Our proofs utilize a more refined criterion for when a sequence is graphic, and better estimates for the first moment of large prime gaps proven through an explicit zero-free region and explicit zero-density estimate for the Riemann zeta function.

Large sieve inequality for sums of Legendre symbols over short intervals

math.NT

v3

Using the Burgess bound and the Selberg sieve, we obtain an upper bound for the second moment of sums of Legendre symbols over intervals , with the modulus ranging over primes . The bound is nontrivial and yields a power saving in , uniformly for , provided that , where as . This may be viewed as a short-interval analogue of a result of D. R. Heath-Brown (1995) on moments of quadratic character sums over the initial interval . In particular, it implies that, for any prescribed interval of this length, the quadratic residues and non-residues are asymptotically equidistributed for almost all primes . We also establish estimates for higher moments conditionally on the Generalised Riemann Hypothesis. These bounds rely on a sharp uniform estimate for the number of tuples of integers in a shifted interval whose product is a square.

Computing the Greatest Common Divisor of Binomial Coefficients $\binom{mn}{mk}$

math.NT

v2

The greatest common divisor (GCD) of $\binom{2n}{2k}$ for $1\leq k

Amplified moments of the Riemann zeta function

math.NT

v2

We establish asymptotic formulae for two-piece amplified second and fourth moments of the Riemann zeta function. As applications, we obtain unconditional effective lower bounds for several joint moments of zeta which are in strong agreement with the conjectures of Keating--Wei and Keating--Snaith. In particular, we prove an unconditional lower bound for the sixth moment of zeta $M_3(T)\geq(34.4+o(1))c_3T(\log T)^9$. We further improve some of the lower bounds obtained by Soundararajan, removing the assumption of the Lindel\H{o}f Hypothesis, and we obtain effective lower bounds for all joint integer moments of zeta consistent with the predictions of random matrix theory.

Exact Stratification and Affine Mass Formulas for Split Richelot Data over Finite Fields

math.NT

cs.CR

cs.SC

v2

The Richelot $(2,2)$-step is the standard step of explicit genus-2 isogeny computation. We determine the exact stratification of its input space over a finite field $\mathbb{F}_q$ of odd characteristic: ordered factorizations $f=uvw$ of a square-free sextic into monic quadratics fall into three strata by the geometric type of the quotient, governed by the incidence geometry of the discriminant locus. This yields closed formulas for each stratum and, modulo affine coordinate changes, mass formulas of degree four in $q$ with a complete classification of stabilisers. The classification is decided by data the step already computes, at $5\mathrm{M}+6\mathrm{S}$ beyond the brackets, and an output post-check is provably redundant. On the decomposable stratum the square class of one resultant determines the field of definition of the elliptic factors and the shape of the Weil polynomial of the Jacobian; the two cases are counted exactly, and in the nonsplit case the curve $y^2=f$ has $q+1$ rational points. Exhaustive enumeration over small finite fields verifies every proved count.

A New Characteristic-Uniform Model for Elliptic Curves -- Theory, Arithmetic, and Applications

math.NT

v3

We develop a characteristic-uniform theory of the elliptic-curve family \[ \mathcal C_d:\qquad (u^2+u)(v^2+v)=d, \] called the Cd curves. For \(d(1-16d)\ne0\), the natural smooth \((2,2)\)-completion has a marked cyclic subgroup of order four, a faithful \(D_8\)-symmetry, and the intrinsic Kummer map \(\kappa_d=(u+1:u)\). These structures provide a common geometric and arithmetic framework in every characteristic. Working directly in the \(\mathcal C_d\)-coordinates, we derive affine, projective, mixed, and complete addition laws, together with doubling, differential addition, recovery, halving, tripling, and scalar-multiplication procedures. Complete addition-law atlases are obtained in every characteristic, with single low-degree complete formulas on suitable finite-field subfamilies. Odd-characteristic dictionaries with Edwards, Montgomery, and Weierstrass models are complemented by intrinsic Artin--Schreier and binary Weierstrass constructions in characteristic two. The reciprocal chart \[ (u+1)(v+1)=du^2v^2 \] exposes the same native Kummer line through the affine coordinate \(v+1\) and yields efficiently normalized differential arithmetic. The theory further includes isomorphism classes, finite-field moments, division polynomials, model-preserving isogenies, CM endomorphisms, V\'elu-type constructions, and native Tate and Weil pairings. For Cd25519, the native Kummer coordinate is exactly the X25519 \(U\)-coordinate, while the Cd model also supports complete full-point arithmetic. Finally, we place the Cd curves in the broader symmetric family \[(u^2+u+a)(v^2+v+b)=d.\] These results establish Cd curves as a self-contained, symmetric, and computationally effective model for elliptic-curve theory and applications.

Skolem Meets Bateman-Horn

cs.DM

math.NT

v3

The Skolem Problem asks to determine whether a given integer linear recurrence sequence has a zero term. This problem arises across a wide range of topics in computer science, including loop termination, formal languages, automata theory, and control theory. Decidability is notoriously open; the state of the art is a decision procedure for recurrences of order at most 4: an advance achieved some 40 years ago, based on Baker's theorem on linear forms in logarithms of algebraic numbers. A new approach to the Skolem Problem was recently initiated in [LOW21, LOW22] via the notion of a Universal Skolem Set -- a set $S$ of positive integers such that it is decidable whether a given non-degenerate linear recurrence sequence has a zero in $S$. Clearly, proving decidability of the Skolem Problem is equivalent to showing that $\mathbb{N}$ itself is a Universal Skolem Set. The main contribution of the present paper is to construct a Universal Skolem Set that has lower density at least $1/8$. We show moreover that this set has density $1$ subject to Martin's uniform formulation of the Bateman--Horn conjecture. The latter is a far-reaching quantitative hypothesis concerning the frequency of primes among the values of systems of polynomials.

The Brauer Group of $\mathscr{Y}_0(2)$

math.AG

math.NT

v5

We determine the Brauer group of the Deligne-Mumford stack $\mathscr{Y}_0(2)$, the moduli space of elliptic curves with a marked $2$-torsion subgroup over bases of arithmetic interest. Antieau and Meier determine the Brauer group for $\mathscr{M}_{1,1}$, the moduli stack of elliptic curves by exploiting the fact it is covered by the Legendre family and using the Hochschild-Serre spectral sequence. Over an algebraically closed field, Shin uses the coarse space map to determine the Brauer group of $\mathscr{M}_{1,1}$. We combine techniques from both papers to determine the Brauer group of $\mathscr{Y}_0(2)$.

Tannakian fundamental groups of blended extensions

math.AG

math.NT

v3

Let $A_1, A_2,A_3$ be objects in a neutral tannakian category over a field of characteristic zero. Let $L$ be an extension of $A_2$ by $A_1$, and $N$ an extension of $A_3$ by $A_2$. Let $M$ be a blended extension (extension panach\'ee) of $N$ by $L$. We study the subgroup of the tannakian fundamental group of M that acts trivially on $A_1, A_2$, and $A_3$. We also give an application to the unipotent part of the motivic version of the Hodge conjecture (i.e., the equality of the unipotent radicals of the motivic Galois and Mumford-Tate groups) for Deligne 1-motives.

Log geometry and lifting rational points

math.AG

math.NT

v2

For a morphism $f : X \to Y$ of schemes, we give a tropical criterion for which points of $Y$ (valued in a field, discrete valuation ring, number ring, or Dedekind domain) lift to $X$. Our criterion extends the firmaments of Abramovich to a wide range of morphisms, even logarithmic stable maps.

Statistics of Erd\H{o}s-R\'enyi random numerical semigroups

math.CO

math.AC

math.NT

v2

For $p>0$ a small parameter, let $\mathcal A \subseteq \mathbb{Z}_{>0}$ be a random subset where each positive integer is included independently with probability $p$. We show that, with high probability (as $p \to 0$), the numerical semigroup $\langle\mathcal A\rangle:=\{a_1+\cdots+a_k: k \geq 0, a_1, \ldots, a_k \in \mathcal A\}$ generated by $\mathcal A$ has Frobenius number and genus of size $\asymp p^{-1}(\log p^{-1})^2$ and embedding dimension of size $\asymp (\log p^{-1})^2$. This resolves an open problem of Bogart and the second author.

A short proof of Erd\H{o}s's $B+C$ conjecture

math.DS

math.CO

math.NT

v2

We give a short proof of the fact that every set of natural numbers with positive upper Banach density contains the sum of two infinite sets. The approach simplifies earlier existing proofs.

Structural properties and tilting correspondences of perfectoid towers

math.AC

math.AG

math.NT

v3

We prove that every perfectoid tower can be realized as the fiber product of a diagram involving perfectoid towers that are either $p$-torsion free or perfect of characteristic $p$. As an application, we conclude that separated perfectoid towers are reduced. We also establish the tilting invariance of Koszul homology for perfectoid towers. As further applications, we prove that tilting preserves fundamental properties of Noetherian local rings such as being Cohen--Macaulay, Gorenstein, complete intersection, or regular.