Number Theory [math.NT]

Corrigendum to "Isomorphism classes of Drinfeld modules over finite fields"

math.NT

In this note we provide corrections to Theorem 5.4 of the paper ``Isomorphism classes of Drinfeld modules over finite fields'', arXiv:2209.15033. The main theorems of this paper, Theorem A and B in its introduction, are valid as stated; in the proof of Theorem B the argument needs to be modified by replacing the erroneous Theorem 5.4 by the theorem of this note.

Theorem $(1+1.9)$ on the Goldbach Conjecture

math.NT

For $1 \leq a \leq 2$, we say Proposition $(1+a)$ holds if every sufficiently large even integer $N$ can be written as $$N = p + rq, \quad r \leq q^{a-1},$$ where $r$ is either $1$ or prime, and $p,q$ are primes. Thus Proposition $(1+1)$ is essentially the binary Goldbach Conjecture, and Proposition $(1+2)$ is Chen's theorem. We prove unconditionally that Proposition $(1+1.9)$ is true. Assuming the Elliott--Halberstam Conjecture, the exponent $1.9$ can be improved to $1.4$. Analogously, Proposition $(1-a)$ is formulated for the Twin Prime Conjecture. Unconditionally, we prove Proposition $(1-1.75)$, and under the Elliott--Halberstam Conjecture, Proposition $(1-1.4)$. For six decades, a substantial theoretical divide has persisted between Propositions $(1+2)$ and $(1+1)$, and likewise between Propositions $(1-2)$ and $(1-1)$. By constructing new weighted sieves and adopting new analytic tools, this paper establishes a connecting pathway between them and achieves breakthroughs in this line of research.

The Case of the Second Smallest Modulus: or why we cannot be arbitrarily careless?

math.NT

We present a concise, elementary proof that the second smallest modulus of a covering system must be bounded, simplifying the known results through a maximality argument.

Hasse-Weil Zeta Functions Modulo a Prime

math.NT

Let $\mathbb{F}_q$ be a finite field of characteristic $p$ and $\pi\colon Y\to X$ be a finite $\mathbb{F}_q$-morphism of separated $\mathbb{F}_q$-schemes of finite type. Suppose $\pi$ is generically Galois with group $G$ of prime order $r\neq p$. We determine the mod-$r$ reduction of the zeta function of $Y$ in terms of the zeta function of $X$ and the branch locus $Z\subset X$ of $\pi$. We give applications to curves and to numerators of hyperelliptic/superelliptic curves.

On explicit Fourier expansions of theta lifts to ${\rm SO}(3,n+1)$ arising from elliptic newforms of level one

math.NT

Using degenerate Whittaker functions and explicit computations of Eisenstein series, we obtain explicit formulas for the Fourier expansions of theta lifts to the special orthogonal group $G={\rm SO}(3,n+1)$ over $\mathbb{Q}$, where $n\ge 3$ and $G$ splits at all finite places. The theta lifts in question are Hecke eigen, non-cuspidal, square-integrable automorphic forms of weight $l$ ($l\ge n+2$, even), arising from elliptic newforms for $\SL_2(\Z)$ of weight $l-\frac{n-2}{2}$ when $n$ is even and $2l-n+1$ when $n$ is odd.

Exotic and inverted Kloosterman sums over semisimple algebras

math.NT

We introduce exotic Kloosterman sums and exotic inverted Kloosterman sums attached to non-commutative finite-dimensional semisimple algebras over a finite field $\mathbf{F}_q$, and prove their reduction formulae to exotic Kloosterman and exotic inverted Kloosterman sums over commutative \'etale $\mathbf{F}_q$ algebras. We then obtain square-root estimates for these sums; for inverted sums an explicit correction term may appear.

Drinfeld modules in rank 2 with CM and S-unit j-invariants

math.NT

We prove the finiteness of the set of $j$-invariants of Drinfeld modules of rank 2 over $\mathbb{F}_q[T]$ which are CM and $S$-units, for $S$ the infinite set of primes with even degrees. The proof is based on the study of ordinary reduction and supersingular reduction of Drinfeld modules, and on the splitting behaviour of primes dividing the difference of two Drinfeld singular moduli. We also provide an algorithm to compute a polynomial with coefficients in $\mathbb{F}_q[T]$ and roots the $j$-invariants having CM by a given order, and use it to compute some explicit examples, providing for instance counterexamples to a conjecture of Dorman. For a maximal order $\mathcal{O}$, we prove by a universality argument that our algorithm computes the Hilbert modular polynomial $H_\mathcal{O}$.

Arithmetic Wu Formulas and the Generalized Hecke Theorem

math.NT

math.AG

math.AT

We construct canonical Steenrod square operations on the Geisser--Schmidt/Milne modified compactly supported \'etale cohomology of separated finite-type schemes over rings of $S$-integers in which $2$ is invertible. This lets us extend Feng's notion of the absolute \'etale Wu class from the finite-field setting to arithmetic bases away from $2$. A key technical input is a modified compactly supported relative Wu formula, extending Benoist's relative Wu formula to the arithmetic compact-support setting. Using this, we prove an absolute Wu formula for regular projective flat schemes over either finite fields of odd characteristic or rings of $S$-integers away from $2$: if $f\colon X\to B$ is such a scheme, then the absolute Wu class of $X$ is the product of the relative Wu class $\operatorname{Sq}^{-1}(w_{\mathrm{et}}(\tau_f))$ and the pullback of the absolute Wu class of the base. In the $S$-integer case, the base contribution is $1+\beta_B$, where $\beta_B$ is the Bockstein, equivalently the Kummer class of $-1$. As an application, we obtain an infinite family of universal mod-$2$ congruences among the Chern classes of regular projective flat schemes over such bases, governed by an arithmetic deformation of Hirzebruch's $2$-Todd series; this is the generalized Hecke theorem. In low dimensions these congruences recover Hecke's theorem on the different away from $2$, Serre's Riemann--Hurwitz theorem for spin bundles, Atiyah's theorem on theta characteristics over finite fields, and the smooth $3$-manifold branched-cover analogue of the Shusterman--Sawin theorem, while yielding new higher-dimensional congruences over both finite and arithmetic bases.

Recent Progress around Cohen-Lenstra Heuristics

math.NT

In 1983, Henri Cohen and Hendrik Lenstra proposed a conjecture about the distribution of the N-torsion of the class group of a random quadratic field, supported by what was at the time a large amount of computational evidence. The Cohen-Lenstra heuristics, which are still almost entirely unproven, have become one of the central foundational problems in arithmetic statistics. Recent years have seen a rapidly accelerated pace of development in Cohen-Lenstra problems. I will give a tour of these developments, including the work of Wood and her collaborators developing a fully fleshed out roster of generalized Cohen-Lenstra conjectures, with support from topology; Smith's theorems proving the Cohen--Lenstra conjectures for the 2-primary part of the class group, as part of more general theorems about Selmer groups in quadratic twists, leading to a resolution of the minimalist conjecture for elliptic curves; and recent work by Koymans and Pagano in the ell-primary case, expanding on Smith's work and proving Stevenhagen's conjecture on the negative Pell equation.

An Elementary Analysis of the Prime Partition Function

math.NT

Let $pp (n)$ denote the number of ways to write $n$ as a sum of primes. In this paper, we show that $$ \log pp (n) \sim 2\pi\sqrt{\frac{n}{3\log n}}\;. $$ While sharper estimates are already known, they rely on highly involved and lengthy proofs. In sharp contrast, our approach uses a short, elementary recipe that easily adapts to yield similar asymptotic estimates for several related, extensively studied problems.

A Generalization of the Amdeberhan-Andrews-Ballantine Conjecture

math.NT

math.CO

In this paper, we prove a generalization of a conjecture of Amdeberhan, Andrews, and Ballantine on double Lambert series. Motivated by a question raised by Cui, Kumar, and Singh concerning the existence of a generalization of this conjecture, we establish an identity in which the coefficients are given by the generalized divisor function $\sigma_k(n)$. As a special case, our result includes the original conjecture.

On a conjecture on Romanoff type sumsets

math.NT

In this note, we generalize a 1950 result of P. Erd\H os on upper bounds of $k$-th moment of Romanoff type representation functions. As an application, we give a conditional proof of a recent conjecture of Y.-G. Chen on Romanoff type sumsets under the assumption of the Hardy-Littlewood conjecture.

No three algebraic conjugates of degree sixteen sum to zero

math.NT

math.CO

Let $d$ be the smallest positive integer, not divisible by $3$, for which there exists an algebraic number over $\mathbb{Q}$ of degree $d$ whose some three algebraic conjugates sum to zero. Employing the classification of vertex-transitive graphs on 16 vertices of degree 6, we prove that $d\neq 16$. This, combined with results obtained by Dubickas, Smyth and Stong \cite{DubickasSmyth2006}, Dubickas and Jankauskas \cite{DubickasJankauskas2015} and Virbalas \cite{Virbalas2025a}, implies that $d=20$.

Arithmetic statistics of isogeny Selmer groups associated to hyperelliptic curves

math.NT

We determine asymptotic results for the average size of Selmer groups arising from certain isogenies related to Jacobians of hyperelliptic curves of genus $g\geq 2$. We do so by combining Bhargava's geometry-of-numbers methods with new parametrisations coming from Vinberg theory, arising from representations related to the Dynkin diagrams of type $B$ and $C$. We additionally prove some lower bounds on the average size of these isogeny Selmer groups by using a formula of Greenberg--Wiles.

Arithmetic Kashiwara Regularity and Orbit Classification for Filtered Strongly Equivariant $\mathcal{D}^{\dagger}$-Modules

math.AG

math.NT

We prove an arithmetic analogue of Kashiwara regularity for filtered strongly equivariant Berthelot arithmetic $\mathscr D^\dagger$-modules on formal flag varieties. Let $\mathcal G$ be a split connected reductive group scheme over a complete discrete valuation ring of mixed characteristic, let $\mathfrak X=\widehat{\mathcal G/\mathcal B}$ be the formal flag variety, and let $\mathcal K\subseteq\mathcal G$ be a smooth closed subgroup whose special fiber acts on $X_s$ with finitely many separable orbits. We introduce a filtered strong equivariance condition requiring infinitesimal equivariance to be realized on good finite-level models. This condition allows the principal symbols of the fundamental vector fields to be controlled at the level where Berthelot characteristic varieties are defined. We prove that the characteristic variety of every filtered strongly equivariant coherent $\mathscr D^\dagger_{\mathfrak X,\mathbb Q}$-module is contained in the union of conormal bundles to the $\mathcal K_s$-orbits; hence such modules are holonomic. In the Frobenius range, Caro's stability theorem for $F$-holonomicity over smooth projective formal schemes upgrades this to geometric overholonomicity. As a consequence, simple Frobenius filtered strongly equivariant coherent arithmetic $\mathscr D^\dagger$-modules are classified by pairs $(O,E)$, where $O$ is a $\mathcal K_s$-orbit and $E$ is an irreducible $\mathcal K$-equivariant overconvergent $F$-isocrystal on $(O,\overline O)$ whose intermediate extension satisfies the filtered strong condition. The result is a regularity theorem under a finite-level equivariance hypothesis, rather than an existence theorem for that hypothesis.

Higgs bundles on the Fargues-Fontaine curve

math.AG

math.NT

In this paper, we introduce a notion of Higgs bundles on the Fargues-Fontaine curve. We establish a version of the BNR correspondence, which relates Higgs bundles to line bundles on suitable curves. We then describe an action of a Picard stack on the moduli stack of Higgs bundles and show that, modulo this action, there is a natural injective map of \'etale-stacks from the product of $B_{dR}^+$-affine Springer fibers to the Hitchin fiber that induces an equivalence of categories on every geometric point. Finally, we discuss connections with number-theoretic objects.

Two notes on valued fields

math.GN

math.NT

This paper studies two questions on valued fields: the metric dimension induced by an absolute value, and the uniform openness of multiplication. For nontrivial non-archimedean absolute values, we prove that the metric dimension equals the density character. In the archimedean case, it is 2 for subfields of $\mathbb{R}$, while for non-real subfields of $\mathbb{C}$ it is either 2 or 3, depending on invariance under complex conjugation. We also show that multiplication is uniformly open on every valued field. Finally, we prove that this property is genuinely metric, not purely topological, even on $\mathbb{R}$ with a suitable compatible choice of metric.

Decomposition Theorem for Perfectoid Rings along General Ideals

math.AC

math.AG

math.NT

Using Andr\'e's lemma and the excision square for perfectoidization coming from $p$-complete arc descent, we prove new structural results about perfectoid rings and perfectoidization. The main result is a tameness theorem for torsion in perfectoid rings: if $R$ is a perfectoid ring and $I\subset R$ is an ideal, then the $I$-torsion in $R$ is $I_{\mathrm{perfd}}$-almost zero. This yields an excision-type decomposition of $R$ along its $I$-torsion part. We also study (semi)perfectoid rings and perfectoid ideals and take the opportunity to make some structural remarks about them.

Stability of the smooth Casselman-Jacquet functor

math.RT

math.NT

We establish and prove several results for the smooth Casselman-Jacquet submodule and quotient functors for real reductive groups. Other than exactness, surjectivity and globalization results, we establish a stability on the intersection of Jacquet subspaces. As an application, we establish a full version of the real Bernstein-Zelevinsky filtrations for smooth Fr\'echet representations of moderate growth rate.

Adjoint $L$-functions, congruence ideals, and Selmer groups over $\mathrm{GL}_n$

math.NT

v4

In this paper, we relate $L(1,\pi,\mathrm{Ad}^\circ)$ to the congruence ideals for cohomological cuspidal automorphic representations $\pi$ of $\mathrm{GL}_n$ over any number field. We then use this result to deduce relationships between the congruences of automorphic forms and adjoint $L$-functions. For CM and totally real fields, we apply the result to obtain a lower bound on the cardinality of certain Selmer groups in terms of $L(1,\pi,\mathrm{Ad}^\circ)$.

On $\rm GL_3$ Fourier coefficients over values of mixed powers

math.NT

v2

Let $A_{\pi}(n,1)$ be the $(n,1)$-th Fourier coefficient of the Hecke-Maass cusp form $\pi$ for $\rm SL_3(\mathbb{Z})$ and $ \omega(x)$ be a smooth compactly supported function. In this paper, we prove a nontrivial upper bound for the sum $$ \sum_{n_1,\cdots,n_\ell,n_{\ell+1}\in \mathbb{Z}_+ \atop n=n_1^r+\cdots+n_{\ell}^r+n_{\ell+1}^s} A_{\pi}(n,1)\omega\left(n/X\right), $$ where $r\geq2$, $s\geq 2$ and $\ell\geq 2^{r-1}$ are integers.

A metric approach to zero-free regions for $L$-functions

math.NT

v3

For integers $m, m' \ge 1$, let $\pi$ and $\pi'$ be cuspidal automorphic representations of $\mathrm{GL}(m)$ and $\mathrm{GL}(m')$, respectively. We present a new proof of zero-free regions for $L(s, \pi)$ and for $L(s, \pi \times \pi')$ under the assumption that $\pi, \pi'$ or $L(s,\pi \times \pi')$ is self-dual. Our approach builds on ideas of "pretentious" multiplicative functions due to Granville and Soundararajan (as presented by Koukoulopoulos) and the notion of a positive semi-definite family of automorphic representations due to Lichtman and Pascadi.

On the Identification of Elliptic Curves That Admit Infinitely Many Twists Satisfying the Birch-Swinnerton-Dyer Conjecture

math.NT

v3

Recent work of Burungale-Skinner-Tian-Wan established the first infinite families of quadratic twists of non-CM elliptic curves over $\mathbb{Q}$ for which the strong Birch-Swinnerton-Dyer (BSD) conjecture holds. Building on their results, we encode the required hypotheses into an explicit algorithm and apply it to the database of elliptic curves in the $L$-functions and Modular Forms Database (LMFDB), identifying all elliptic curves $E$ of conductor at most $500{,}000$ that admit infinitely many quadratic twists satisfying the strong BSD conjecture. Our computations provide certain numerical evidence for a conjecture of Radziwi{\l}{\l} and Soundararajan predicting Gaussian behavior in the analytic order of the Shafarevich-Tate group, while also observing a systematic positive bias within the BSD-satisfying subfamily.

The Parabolic Mellin Transform: Gamma and Zeta Integral Representations

math.NT

math.CA

math.PR

v2

We introduce the Parabolic Mellin Transform (PMT), defined by ${P}_{\sigma}[f](z)=\int_{-\infty}^{\infty}w^{2z}f(w^2)dt$, where $w=\sigma+it$ and $\sigma>0$. Under the substitution $u=w^2$, the vertical line $\operatorname{Re}(w)=\sigma$ is mapped to the parabolic contour $C_\sigma$ in the $u$-plane. For the Gaussian kernel, the PMT yields $\int_{-\infty}^{\infty}w^{2z}e^{w^2}dt=\pi/\Gamma(\tfrac{1}{2}-z)=\cos(\pi z)\Gamma(z+\tfrac{1}{2})$, a parabolic-contour form of the classical Hankel representation for the reciprocal Gamma function. The advantage of this parametrization is that the contour integral becomes a Gaussian-damped vertical-line integral. We develop scaling, differentiation, and Dirichlet-composition identities for the PMT and use them to derive integral representations of the Hurwitz zeta, Riemann zeta, and Dirichlet eta functions. The framework provides a unified transform dictionary for Gamma-type and zeta-type special functions and yields equivalent reformulations of the Riemann hypothesis and the Lindel\"of hypothesis in terms of zeros and growth of parabolic-contour integrals.

Solution to the Erdos problem on distinct residues of factorials

math.NT

math.CO

v4

Paul Erdos posed the following question: Is there a prime number $p>5$ such that the residues of $2!$, $3!$,\ldots, $(p-1)!$ modulo $p$ all are distinct. In this short note, we give the negative answer on this question in an elementary way.

The weighted large sieve through Parseval

math.NT

v2

We modify the approach to the arithmetical form of the large sieve by relying on the Parseval identity rather than on an approximate Bessel inequality and as a consequence, improve on the weighted large sieve inequality beyond what was heuristically accessible by the earlier approach. We also discuss the optimality of this approach.

The categorical local Langlands conjecture

math.NT

math.AG

math.RT

v2

We formulate a program to prove the categorical local Langlands conjecture (CLLC) of Fargues-Scholze, for all quasisplit $p$-adic groups where the Fargues-Scholze $L$-parameters agree with the semisimplification of a known "automorphic" local Langlands parametrization. A key working hypothesis - which we expect to prove elsewhere jointly with Hamann - is the compatibility of the enhanced Whittaker coefficient functor $c_\psi$ with Eisenstein series. For $\mathrm{GL}_n$, we show that this hypothesis alone implies the full CLLC. For more general groups $G$, we prove an induction principle which reduces CLLC for $G$ to CLLC for all proper Levi subgroups together with a very small amount of information about $G$. This principle applies unconditionally to many classical groups with current technology. Along the way, we establish many foundational results. In particular: - We prove a very strong finiteness theorem for spectral constant term functors. - We prove a spectral analogue of Bernstein's finite global dimension theorem for $p$-adic Hecke algebras. - We introduce and develop the theory of admissible ind-coherent sheaves and admissible duality on derived stacks. - We prove a duality theorem for the spectral action. Using all of these results, we unconditionally define a new and explicit functor $t_{\psi}$ from the spectral side to the automorphic side, which is defined on enough ind-coherent sheaves to control the entire conjecture.

On the sum-of-digits measures and Cusick's conjecture via stopped random walks

math.PR

math.NT

v3

Let $s(n)$ denote the number of ones in the binary expansion of a natural number $n\in\mathbb{N}$. For any $t\in\mathbb{N}$ and $d\in\mathbb{Z}$, let $\mu_t(d)$ denote the asymptotic density of the set of those natural numbers $n$ for which $s(n+t)-s(n)=d$. The $\mu_t$ are properly defined probability measures on $\Z$, and the Cusick conjecture states that $\mu_t(\mathbb{N})>\frac{1}{2}$ for any $t\in\mathbb{N}$. We investigate the properties of the family $\{\mu_t\}_{t\in\N}$ by reindexing the odd integers via a suitable partial order. This construction leads to a nonautonomous dynamics on pairs of probability measures on $\Z$, which represents the process of growing a tree. The associated stopped random walk allows a transparent structural description of those measures, including their support, symmetries, variance, and an asymptotic dichotomy between the central limit theorem and the almost sure convergence. Next, we focus on the median-preserving property of this process, and show that the Cusick conjecture is a special case of a more general claim about the asymmetric evolution of the associated binary trees, which we support numerically.

Stochastically evolving ellipsoids with symmetries

math.MG

math.NT

math.PR

v2

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.