Number Theory [math.NT]

Truncated Plethystic Exponentials Preserve Power Sum Constraints

math.NT

math.CO

Given an arbitrary sequence $(\alpha_1, \ldots, \alpha_n) \in \mathbb{C}^n$, we show that the degree-$n$ truncation of the formal exponential $\exp\bigl(-\sum_{k=1}^{\infty} \frac{\alpha_k}{k} x^k\bigr)$ produces a polynomial whose roots $\rho_1, \ldots, \rho_n$ satisfy $\sum_{i=1}^n \rho_i^{-k} = \alpha_k$ exactly for $k = 1, \ldots, n$. This truncation-exactness property is an algebraic identity in the ring of formal power series, proved by coefficient matching. It defines a natural embedding of sequences into multisets of complex numbers and yields an $O(n^2)$ algorithm for computing the polynomial from the prescribed power sums. We apply the result to the polylogarithm family $\alpha_k = k^{1-s}$, where the associated exponential $\exp(-\mathrm{Li}_s(x))$ produces factorial-integer coefficient sequences for $s \leq 0$ and encodes values of the Riemann zeta function through $\lim_{n\to\infty} P_n^{(s)}(1) = \exp(-\zeta(s))$ for $\mathrm{Re}(s) > 1$.

On Eisenstein series identities and new identities connecting Ramanujan-G\"ollnitz-Gordon continued fraction and Ramanujan's continued fraction of order four

math.NT

By employing the classical tools from the theory of $q$-series and theta functions, new fascinating identities on different continued fractions can be achieved. In this article, we use the product expansion of Jacobi's theta function to establish identities that connect Ramanujan-G\"ollnitz-Gordon continued fraction with Ramanujan's continued fraction of order four. Also, we obtain Eisenstein series identities using Ramanujan's $_1 \psi_1$ summation formula.

On non-Archimedean and motivic distributions defined by kernels

math.NT

math.AG

As in real microlocal analysis, we prove a Schwartz kernel theorem for $p$-adic distributions. We extend this result for motivic distributions using Cluckers-Loeser's motivic integration. In both settings, we give also a relation between the wave front sets of the distribution and its kernel.

Congruences and ramified primes in fields of coefficients of newforms

math.NT

We investigate the splitting behavior of $\ell$ in the coefficient field of a newform $f$ of level $N$, under the assumption that $f$ is congruent modulo a prime above $\ell$ to another newform $g$ whose level divides $N/p^2$ for some prime $p\mid N$. In particular, we show that the maximal real subfield of the $\ell$-th cyclotomic field, $\mathbb{Q}(\zeta_\ell + \zeta_\ell^{-1})$, is contained in the coefficient field of $f$. We conclude by presenting explicit examples that illustrate these results.

$D(-1)$-triples of triangular numbers

math.NT

We study pairs and triples consisting of triangular numbers such that the product of any two distinct elements decreased by 1 is a perfect square. For a positive integer $n$, we establish a necessary condition for the $n$-th triangular number $T_n$ to be a member of such a pair, and we prove that any such $T_n$ is also a member of infinitely many $D(-1)$-triples.

Analytic rank-one elliptic curves over function fields and their rank over certain ring class fields

math.NT

Let $E/k$ be a non-isotrivial elliptic curve over a global function field $k$ of characteristic $p>3$, and $G\subset \mathrm{Gal}(k^{\mathrm{sep}}/k)$ be a topologically finitely generated subgroup. We prove that if $E/k$ has analytic rank $1$, then its rank over the fixed subfield $L^G$ is infinite, where $L$ is the infinite ring class extension of some finite separable extension $K/k$. If $E/k$ has analytic rank $0$, then we prove that the same holds provided there exists an imaginary quadratic extension $K/k$ such that $E/K$ has analytic rank $1$ and satisfies the Heegner hypothesis.

From Orientations to $\ell$-adic Period Vectors

math.NT

We propose a bridge between oriented supersingular elliptic curves and the arithmetic of modular curves. To an $\mathcal{O}$-oriented supersingular curve, we attach a class in the relative homology group $H(X_0(N),C,\mathbb{Z})$, i.e. modular symbols, compatible with the Hecke action. We then compute vectors of $\ell$-adic periods by pairing with weight $2$ cusp forms via Coleman integration. This yields an explicit, computable map from short combinatorial homology representatives to truncated vectors in $(\mathbb{Z}/\ell^m\mathbb{Z})^d$. Motivated by this encoding, we formulate the Modular Symbol Inversion (MSI) problem -- recovering a short homology representative from its truncated $\ell$-adic period data -- and discuss its arithmetic structure, its relation to path problems on isogeny graphs and Bruhat-Tits trees, and potential applications to cryptographic constructions.

Weber modular curves and modular isogenies

math.NT

We study the modular curves defined by Weber functions, and associated modular polynomials, action of $\mathrm{SL}_2(\mathbb{Z})$, and parametrizations of elliptic curves with a view to the study of the isogeny graphs that they determine, particularly for supersingular elliptic curves. In addition to applications to efficient isogeny computation in cryptographic applications, we present an application to explicit Galois representations.

$p$-adic Character Neural Network

math.NT

cs.LG

We propose a new frame work of $p$-adic neural network. Unlike the original $p$-adic neural network by S.\ Albeverio, A.\ Khrennikov, and B.\ Tirrozi using a family of characteristic functions indexed by hyperparameters of precision as activation functions, we use a single injective $p$-adic character on the topological Abelian group $\mathbb{Z}_p$ of $p$-adic integers as an activation function. We prove the $p$-adic universal approximation theorem for this formulation of $p$-adic neural network, and reduce it to the feasibility problem of polynomial equations over the finite ring of integers modulo a power of $p$.

ABC implies that Ramanujan's tau function misses almost all primes

math.NT

Lehmer conjectured that Ramanujan's tau-function never vanishes. In a related direction, a folklore conjecture asserts that infinitely many primes arise as absolute values of Ramanujan's tau-function. Recently, Xiong showed that these prime values form a subset of the primes with density at most $2/11$. Assuming the $abc$ Conjecture, we prove the stronger upper bound \[ S(X):=\#\{\ell\le X:\ \ell\ \text{prime and } |\tau(n)|=\ell \text{ for some } n\ge 1\} = O(X^{9/10}\log X), \] which implies that Ramanujan's tau-function misses a density 1 subset of the primes. We give a heuristic suggesting that $S(X)$ should nevertheless be infinite, with predicted order of magnitude \[ S(X)\asymp \frac{C X^{\frac{1}{11}}}{(\log X)^2}. \] The main engine in this note was formalized and produced automatically in Lean/Mathlib by AxiomProver from a natural-language statement of the problem.

Various conjectural series identities

math.NT

math.CO

In this paper we collect over 75 new series identities (involving binomial coefficients) conjectured by the author in 2026. For example, we conjecture that $$\sum_{k=0}^\infty\frac{16k+3}{(-202^2)^k}\binom{2k}kT_k(19,-20)T_{2k}(9,-5)=\frac{43\sqrt{101}}{75\pi},$$ where $T_n(b,c)$ denotes the coefficient of $x^n$ in the expansion of $(x^2+bx+c)^n$. The conjectures in this paper might interest some readers and stimulate further research.

A counterexample to a conjecture of S\'ark\"ozy on sums and products modulo a prime

math.NT

Let $p$ be a prime and, for $A\subseteq \mathbb F_p$, define $A^\ast=(A+A)\cup(AA)$. S\'ark\"ozy conjectured that there exist constants $c>0$ and $p_0$ such that, for every prime $p>p_0$, every set $A\subseteq \mathbb F_p$ with $|A|>\left(\frac12-c\right)p$ satisfies $\mathbb F_p^\times\subseteq A^\ast$. We disprove this conjecture: for every odd prime $p\ge 5$, there exists a set $A\subseteq \mathbb F_p$ with $|A|=\frac{p-1}{2}$ such that $1\notin A^\ast$. Thus no positive constant $c$ can satisfy S\'ark\"ozy's conjecture. Conversely, if $|A|>\frac{p}{2}$, then $A+A=\mathbb F_p$. Therefore the sharp threshold is exactly $\frac12$.

Some geometric series for Euler's constant

math.NT

math.CO

We provide representations of Euler's constant $\gamma=0.577...$ as series which converge geometrically fast. This is based upon our earlier work on the Euler alternating series.

Composition of random functions and word reconstruction

math.PR

cs.DS

math.CO

math.NT

math.ST

stat.TH

Given two functions $\mathbf{a}\!:\! [n] \rightarrow [n]$ and $\mathbf{b}\!:\! [n] \rightarrow [n]$ chosen uniformly at random, any word $w=w_1w_2\dots w_k\in \{a,b\}^k$ induces a random function $\mathbf{w}\!:\! [n] \rightarrow [n]$ by composition, i.e. $\mathbf{w}=\phi_{w_k}\circ \dots \circ \phi_{w_1}$ with $\phi_a=\mathbf{a}$ and $\phi_b=\mathbf{b}$. We study the following question: assuming $w$ is fixed but unknown, and $n$ goes to infinity, does one sample of $\mathbf{w}$ carry enough information to (partially) recover the word $w$ with good enough probability? We show that the length of $w$, and its exponent (largest $d$ such that $w={u}^d$ for some word ${u}$) can be recovered with high probability. We also prove that the random functions stemming from two different words are separated in total variation distance, provided that certain ``auto-correlation'' word-depending constant $c(w)$ is different for each of them. We give an explicit expression for $c(w)$ and conjecture that non-isomorphic words have different constants. We prove that this is the case assuming a major conjecture in transcendental number theory, Schanuel's conjecture.

Hypergeometric Bernoulli Polynomials Defined on Simplicial $d$-Polytopic Numbers

math.CO

math.NT

We introduce an ${\rm S}_d$-analogue of the hypergeometric Bernoulli polynomials and study their properties. To achieve this goal, we introduce a calculus defined on the simplicial $d$-polytopic numbers. Two definitions of the ${\rm S}_d$-derivatives are given. These two definitions allow us to derive an identity relating Kummer confluent hypergeometric function and Touchard polynomials. This calculus is closely related to the $d$-Hoggatt binomial coefficients. ${\rm S}_d$-analogs of the exponential function and the hypergeometric functions are given.

Uniform optimal-order Wasserstein quantisation

math.CA

math.NT

We address Steinerberger's Wasserstein transport problem on the cube $Q=[0,1]^d$. For every $d\ge2$, we consider a dyadic digital sequence $(x_n)\subset Q$ and prove that every prefix $\{x_1,\dots,x_N\}$ admits an exact equal-mass transport partition at the optimal scale. More precisely, for every $N\in\mathbb{N}$, there exist pairwise disjoint Borel sets $A_1,\dots,A_N\subset Q$ such that \[ \lambda_d(A_n)=\frac1N,\qquad A_n\subset B(x_n,6\sqrt d\,N^{-1/d})\qquad(1\le n\le N), \] and $\lambda_d\!\bigl(Q\setminus\bigcup_{n=1}^N A_n\bigr)=0$. In other terms, every prefix of the sequence supports an exact transport allocation of Lebesgue mass to its points with uniformly controlled radius $O(N^{-1/d})$. By an elementary partition criterion, this yields \[ W_\infty\!\left(\frac1N\sum_{n=1}^N\delta_{x_n},\,\lambda_d\right)\le 6\sqrt d\,N^{-1/d} \qquad(N\in\mathbb{N}). \] The bound holds for every $1\le p\le\infty$. The exponent $1/d$ is optimal, so it gives the sharp uniform prefix rate on the cube. The result settles Steinerberger's problem for all $d\ge1$ and all $1\le p\le\infty$.

A Finite-State Proof of the Well-Definedness of a Perturbed Hofstadter Sequence

math.CO

math.NT

We prove that the perturbed Hofstadter-type sequence Q(1)=1, Q(2)=1, and Q(n)=Q(n-Q(n-1))+Q(n-Q(n-2))+(-1)^n is well-defined for all n>=1, in the sense that all recursive arguments remain positive. This contrasts with the classical Hofstadter Q-sequence, for which global well-definedness remains open. The proof reduces the infinite recursion to a finite combinatorial constraint system. We introduce a symbolic encoding of local configurations, compute the finite set of admissible contexts, and construct a compatibility relation that captures all valid local transitions. We then show that valid assignments split into two global modes, which reduces all potential obstructions to a finite critical core. A complete finite verification excludes these obstructions and establishes global well-definedness. More generally, the argument shows that certain meta-Fibonacci recursions admit a finite-state description whose global consistency can be decided by exhaustive combinatorial analysis.

Reciprocity of Skew Hall-Littlewood-Schubert Series

math.CO

math.NT

Carnevale, Schein and Voll proved self-reciprocity of the generalized Igusa functions, and Maglione and Voll did the same for the Hall-Littlewood-Schubert series. We introduce a simultaneous generalization and refinement of these two rational functions, and prove that it satisfies a self-reciprocity property. This answers a problem posed by Maglione and Voll. Our method of proof is elementary, avoiding the use of $p$-adic integration.

Non-Archimedean Analogue of Chase's Lemma

math.LO

math.NT

We formulate and verify a non-Archimedean counterpart of Chase's lemma. Following the framework by K.\ Eda removing restriction of cardinality from analogy on direct product between countable cardinal and non-$\omega_1$-measurable cardinal, we extend the non-Archimedean counterpart of Chase's lemma to a non-Archimedean counterpart of the extension by K.\ Eda of the extension by M.\ Dugas and B.\ Zimmermann-Huisgen of Chase's lemma.

Short proofs in combinatorics and number theory

math.CO

math.NT

We give a triplet of short proofs, each of which answers a question raised by Erd\H{o}s. The first concerns the small prime factors of $\binom{n}{k}$, the second concerns whether an additive basis $A$ can always be split into pieces $A_1$ and $A_2$ such that each of $A_i + A_i$ has bounded gaps, and the final concerns whether $\{\alpha p\}$ is "well-distributed" in the sense introduced by Hlawka and Petersen. In each case, the proof is due entirely to an internal model at OpenAI.

Diophantine Criterion for Non-trivial Shafarevich-Tate Groups

math.NT

v4

The solvability of Diophantine quartic equations is a contemporary area of interest due to its connection with generalized Fermat's equation. In this work, we are interested in the integer solutions of a similar quartic equation $pu^{2} = v^{2}+w^{2}$. For a particular form of $u,v$, and $w$, we prove that the elliptic curves $E_p: y^2 = x(x-1)(x+p^2)$, for primes $p \equiv 1 \pmod{8}$ where $q = (p^2+1)/2$ is also prime, exhibit a sharp dichotomy based on the solution of the aforementioned Diophantine equation: either $\mathrm{rank}(E_p(\mathbb{Q})) = 2$ with trivial Shafarevich-Tate group or $\mathrm{rank} = 0$ with 2- torsion subgroup of the Shafarevich-Tate group is isomorphic to the Klein four group.

Deformations of $G$-valued pseudocharacters

math.NT

math.RT

v2

We define a deformation space of V. Lafforgue's $G$-valued pseudocharacters of a profinite group $\Gamma$ for a possibly disconnected reductive group $G$. We show, that this definition generalizes Chenevier's construction. We show that the universal pseudodeformation ring is noetherian and that the functor of continuous $G$-pseudocharacters on affinoid $\mathbb{Q}_p$-algebras is represented by a quasi-Stein rigid analytic space, whenever $\Gamma$ is topologically finitely generated. We also show that the pseudodeformation ring is noetherian, when $\Gamma$ satisfies Mazur's condition $\Phi_p$ and $G$ satisfies a certain invariant-theoretic condition. For $G = \mathrm{Sp}_{2n}$ we describe three types of obstructed loci in the special fiber of the universal pseudodeformation space of an arbitrary residual pseudocharacter and give upper bounds for their dimension.

Integral Representations of Three Novel Multiple Zeta Functions for Barnes Type: A Probabilistic Approach

math.NT

math.PR

v3

Integral representation is one of the powerful tools for studying analytic continuation of the zeta functions. It is known that Hurwitz zeta function generalizes the famous Riemann zeta function which plays an important role in analytic number theory. They both have several multiple versions in the literature. In this paper, we introduce three novel multiple zeta functions for Barnes type and study their integral representations through hyperbolic probability distributions given by Pitman and Yor(Canad. J. Math., 55 (2003), 292--330). The analytically continued properties of the three multiple zeta functions are also investigated. The first one generalizes the well-known Barnes multiple zeta function, while the second and the third, unlike the previous results, can extend analytically to entire functions in the whole complex plane. These are somewhat surprising results.

Exploring Prime Number Classification: Achieving High Recall Rate and Rapid Convergence with Sparse Encoding

math.NT

cs.LG

v3

This paper presents a novel approach at the intersection of machine learning and number theory, focusing on the classification of prime and non-prime numbers. At the core of our research is the development of a highly sparse encoding method, integrated with conventional neural network architectures. This combination has shown promising results, achieving a recall of over 99\% in identifying prime numbers and 79\% for non-prime numbers from an inherently imbalanced sequential series of integers, while exhibiting rapid model convergence before the completion of a single training epoch. We performed training using $10^6$ integers starting from a specified integer and tested on a different range of $2 \times 10^6$ integers extending from $10^6$ to $3 \times 10^6$, offset by the same starting integer. While constrained by the memory capacity of our resources, which limited our analysis to a span of $3\times10^6$, we believe that our study contribute to the application of machine learning in prime number analysis. This work aims to demonstrate the potential of such applications and hopes to inspire further exploration and possibilities in diverse fields.

Joint distribution of Hecke eigenforms

math.NT

v2

In this paper, we formulate conjectures on the joint distribution of several Hecke eigenforms. We prove an asymptotic formula of the joint mass of two Hecke eigenforms under the generalized Riemann Hypothesis (GRH) and the generalized Ramanujan conjecture (GRC). We also show that a higher decorrelation of two Hecke eigenforms asymptotically vanishes under GRH. As a consequence, we prove an asymptotic formula for the first moment of the triple product $L$-functions under GRH and GRC.

Pair Correlation Conjecture for the Zeros of the Riemann Zeta-function I: Simple and Critical Zeros

math.NT

v4

Montgomery in 1973 introduced the Pair Correlation Conjecture (PCC) for zeros of the Riemann zeta-function. He also conjectured that asymptotically 100% of the zeros are simple. His reasoning to support these two conjectures used the Riemann Hypothesis (RH). Building on Montgomery's approach, Gallagher and Mueller proved in 1978 that PCC under RH implies that 100% of the zeros are simple. Actually, the method of Gallagher and Mueller does not depend on RH, and thus Montgomery's second simplicity conjecture follows unconditionally from his PCC conjecture. We clarify this result by explicitly not assuming RH and considering PCC as a conjecture only concerning the vertical distribution of zeros. We then show that, for the first time, PCC can also be used to obtain information on the horizontal distribution of zeros. Using Gallagher and Mueller's method and a new idea concerning "horizontal multiplicity", we use PCC to prove that asymptotically 100% of the zeros are not only simple but also on the critical line.

Lower Bound for The Number of Zeros in The Character Table of The Symmetric Group

math.NT

math.CO

math.RT

v4

For any two partitions $\lambda$ and $\mu$ of a positive integer $N$, let $\chi_{\lambda}(\mu)$ be the value of the irreducible character of the symmetric group $S_{N}$ associated with $\lambda$, evaluated at the conjugacy class of elements whose cycle type is determined by $\mu$. Let $Z(N)$ be the number of zeros in the character table of $S_N$, and $Z_{t}(N)$ be defined as $$ Z_{t}(N):= \#\{(\lambda,\mu): \chi_{\lambda}(\mu) = 0 \; \text{with $\lambda$ a $t$-core}\}. $$ We prove $$ Z(N) \ge \frac{2\, p(N)^{2}}{\log N} \left(1+O\left(\frac{1}{\sqrt{\log N}}\right)\right), $$ where $p(N)$ denotes the number of partitions of $N$. We also give explicit lower bounds for $Z_t(N)$ in various ranges of $t$.

Modular Forms with Only Nonnegative Coefficients

math.NT

v3

We study modular forms for $\textrm{SL}_2(\mathbb{Z})$ with no negative Fourier coefficients. Let $A(k)$ be the positive integer where if the first $A(k)$ Fourier coefficients of a modular form of weight $k$ for $\textrm{SL}_2(\mathbb{Z})$ are nonnegative, then all of its Fourier coefficients are nonnegative, so that $A(k)$ can be interpreted as a ``nonnegativity Sturm bound''. We give upper and lower bounds for $A(k)$, as well as an upper bound on the $n$th Fourier coefficient of any form with no negative Fourier coefficients.

On Deligne's conjecture for Hecke characters

math.NT

math.RT

v2

This paper provides a proof of Deligne's conjecture for critical values of Hecke L-functions following a strategy originated by Harder and Schappacher.

Closed exact categories of modules over generalized adic rings. Part 1: The bounded case

math.NT

v4

We develop general foundations of topological algebra over a linearly topologized ring k in a format applicable to both formal schemes and analytic adic spaces. We are especially interested in determining exact closed tensor categories of complete linearly topologized k-modules, with enough projectives or injectives. For k a widely generalized adic ring, we describe here a few examples of such categories consisting of bounded modules. The application to the construction of quasi-coherent modules over formal schemes will be given elsewhere.

Mixed moments of Hecke eigenforms and $L$-functions

math.NT

v2

In this paper, we establish estimates for the expectation and variance of the mixed $(2,2)$-moment of two Hecke eigenforms of distinct weights. Our results yield applications to triple product $L$-functions. The proofs are based on moments of $L$-functions.

Maximal orders optimal embedding of central simple algebras over number fields

math.NT

math.RA

v2

Given a number field $F$ and $R$ be the ring of integers of $F$, the problem of embedding a field extension $K/F$ into a central simple algebra $B$ is classical. This paper proves that when the central simple algebra has degree $p$, the $R$-order $S\subset K$ can be optimal embedded into all maximal $R$-orders $O\subset B$, unless satisfies the optimal selectivity condition.

Isomorphism between Jacobi forms of index $D_{2n+1}$ and elliptic modular forms of level $2$

math.NT

v3

This paper has three main objectives: (i) To establish an isomorphism between Jacobi forms of index $D_{2n+1}$ (lattice index) and elliptic modular forms of level $2$. (ii) To provide an explicit formula for the Fourier coefficients of Jacobi--Eisenstein series of index $D_{2n+1}$. (iii) To construct a holomorphic modular form of weight $3/2$ and level $8$ (and $4$) from the Zagier--Eisenstein series $\mathscr{F}$ of weight $3/2$ and level $4$. Moreover, we show that the four functions $E^*_2$, $\eta^3$, $\theta^3$ and $\mathscr{F}$ have essentially the same Hecke eigenvalue $1+p$ for any odd prime $p$, where $E^*_2$ is the non-holomorphic Eisenstein series of weight $2$, $\eta$ is the Dedekind eta-function and $\theta$ is the usual theta function. This fact arises as a special case of the isomorphism of (i).

Mean values and upper bounds for the Hurwitz and Barnes multiple zeta functions

math.NT

v2

Due to their deep connection with the Riemann zeta function, the asymptotic behavior of mean values of multiple zeta functions has attracted considerable attention. In this paper, we study the mean square values of Hurwitz-type and Barnes-type multiple zeta functions. For the Hurwitz-type multiple zeta function, we establish asymptotic formulas and upper bounds for its mean square values in terms of the parameter $\sigma$. Our approach relies on the fact that Hurwitz-type multiple zeta functions can be expressed as linear combinations of the classical Hurwitz zeta function, which allows us to apply known results on the mean values of the latter almost directly. For the Barnes-type multiple zeta function, we show that the behavior of the mean square values depends essentially on the arithmetic structure of the parameter vector. In the case where the parameters are linearly dependent over $\Q$, we obtain asymptotic formulas analogous to the Hurwitz-type case. In contrast, for general parameters, we derive upper bounds for the mean square values from bounds for the function itself. In particular, we clarify how the order of the mean square values varies in terms of the dimension of the $\Q$-vector space spanned by the parameters of the Barnes zeta function.

Primes in arithmetic progressions to large moduli and refinements of Harman's sieve

math.NT

v4

We study the average distribution of primes of size $x$ in arithmetic progressions to moduli larger than $x^{\frac{1}{2}}$. Using arithmetic information from the works of many authors together with different variants of the original Harman's sieve, we construct suitable majorants and minorants for the prime indicator function $\mathbb{1}_{p}(n)$ that satisfy Bombieri--Vinogradov type mean value theorems with different types of moduli. Specifically, we obtain some mean value theorems for primes with bilinear forms of moduli up to $x^{\frac{9}{17}}$ or with trilinear forms of moduli up to $x^{\frac{17}{32}}$.

Classification of Equivariant Line Bundles on the Drinfeld Upper Half Plane

math.AG

math.NT

v2

We explicitly determine the group of isomorphism classes of equivariant line bundles on the non-archimedean Drinfeld upper half plane for $\mathrm{GL}_2(F)$, for its subgroups of matrices whose determinant has even (respectively trivial) valuation, and for $\mathrm{GL}_2(\mathcal{O}_F)$. Our results extend a recent classification of torsion equivariant line bundles with connection due to Ardakov and Wadsley, but we use a different approach. A crucial ingredient is a construction due to Van der Put which relates invertible analytic functions on the Drinfeld upper half plane to currents on the Bruhat-Tits tree. Another tool we use is condensed group cohomology.

Motivic height zeta function rationality and Kudla-Millson modularity for elliptic surfaces

math.AG

math.NT

v3

Let $k$ be a perfect field with $\mathrm{char}(k)\neq 2,3$, set $K=k(t)$, and let $\mathcal{W}_n^{\min}$ be the moduli stack of minimal elliptic curves over $K$ of Faltings height $n$ from the height-moduli framework of Bejleri-Park-Satriano applied to $\overline{\mathcal{M}}_{1,1}\simeq \mathcal{P}(4,6)$. For $[E]\in \mathcal{W}_n^{\min}$, let $S \to \mathbb{P}^1_{k}$ be the associated elliptic surface with section. Motivated by the Shioda-Tate formula, we consider the trivariate motivic height zeta function \[ \mathcal{Z}(u,v;t):= \sum_{n\ge0}\Bigl(\sum_{[E]\in \mathcal{W}_n^{\min}} u^{T(S)}v^{\mathrm{rk}(E/K)}\Bigr)t^n \] refining the height series by the trivial lattice rank $T(S)$ and Mordell-Weil rank $\mathrm{rk}(E/K)$. Setting $u=v=1$ recovers the exact Euler product of [BPS22]. We prove that the trivial lattice specialization $Z_{\mathrm{Triv}}(u;t)=\mathcal{Z}(u,1;t)$ is approximable to arbitrary dimensional precision by rational functions of $s=t^{1/12}$ in the dimensionally completed Grothendieck ring, combining exact Euler products on the isotrivial loci with a motivic discriminant stabilization adapting Vakil-Wood to $\Delta=4a_4^3+27a_6^2$. Over $k=\mathbb{C}$, the weight bound in mixed Hodge theory promotes this to bidegree-wise Hodge number stabilization. In sharp contrast, the Kudla-Millson theta correspondence applied to Kodaira strata of the height moduli of elliptic surfaces with height $n \ge 2$ shows that the distribution of new Mordell-Weil sections by canonical height is governed by modular forms of weight $6n-2$ for $\mathrm{SL}_2(\mathbb{Z})$, and is transcendental over $\mathbb{C}(q)$.