Number Theory [math.NT]

Period integrals of distinguished polarised strongly tempered hyperspherical varieties

math.NT

Recent work of Mao, Wan and Zhang \cite{MWZ} has provided a complete list of strongly tempered hyperspherical varieties and they proposed some new period integrals. In this paper, I will present new period integrals of distinguished polarised strongly tempered hyperspherical varieties and discuss the L-functions these integrals represent, as examples of the Relative Langlands Duality.

Notes on Cyclotomic Function Fields with Quadratic Modulus

math.NT

math.AG

A longstanding and important problem in algebraic geometry is the characterization of algebraic function fields. In this paper, we focus on the characterization problem for cyclotomic function field $L(\Lambda_M)$, which is an important class of explicit function fields with applications in number theory and coding theory. Motivated by Arakelian and Quoos' classification of $L(\Lambda_M)$ with an irreducible quadratic modulus, we provide a complete characterization of the cyclotomic function field $L(\Lambda_M)$ with modulus $M = x^2$. More precisely, we prove that a function field $\mathcal{F}$ over $\mathbb{F}_q$ is $\mathbb{F}_q$-isomorphic to $L(\Lambda_{x^2})$ if and only if it satisfies the following three conditions: (i) $\mathcal{F}$ has a subgroup $G$ isomorphic to the direct product $(\mathbb{F}_q,+) \times \mathbb{F}_q^*$; (ii) its genus is $g(\mathcal{F}) = 1 + q(q-3)/2$; and (iii) the cardinality of $\mathbb{F}_q$-rational places is exactly $q+1$.

On Selmer complexes, Stark systems and derived $p$-adic heights

math.NT

We develop the theory of Nekov\'a\v{r}'s Selmer complexes. We prove that, under mild hypotheses, Nekov\'a\v{r}'s Selmer complexes are canonically quasi-isomorphic to ``Poitou-Tate complexes", which arise from Poitou-Tate global duality exact sequences. We give two applications. Firstly, we prove that the determinant of a Selmer complex is canonically isomorphic to the module of Stark systems and, by using this result, we construct a canonical ``Heegner point Stark system" which controls Selmer groups. Secondly, we prove that the derived $p$-adic height pairing of Bertolini-Darmon concides with that of Nekov\'a\v{r}.

The average number of representations of an integer as a sum of two prime powers over multiples of a fixed integer

math.NT

We extend a result by Ikeda and Suriajaya (2025) to find the asymptotic behaviour of the average number of representations of an integer $n$, over multiples of a fixed $q\ge 2$, as a sum of two prime $k$-th powers, for $k\ge 2$.

Kobayashi length bounds on bordered surfaces and generalized integral points on abelian varieties

math.NT

Let $B$ be a compact Riemann surface and $B_0\subset B$ a bordered hyperbolic subsurface obtained by removing finitely many disjoint closed disks. Fix a nontrivial loop $\alpha$ in $B_0$. For $s\ge 0$, let $L(\alpha,s)$ denote the supremum, over all finite subsets $S\subset B_0$ with $\#S\le s$, of the minimal Kobayashi length of a loop in $B_0\smallsetminus S$ that is freely homotopic to $\alpha$ in $B_0$. Phung in [7] proved that $L(\alpha,s)$ grows at most linearly and at least as $\sqrt{s}/\log s$. We sharpen the upper bound to $O\left(\sqrt{s\log s}\right)$, which determines $\lim_{s\to\infty}\frac{\log L(\alpha,s)}{\log s}=\frac{1}{2}$, answering a question raised in [7, Question 1.4]. As an application, we improve the counting bound for generalized integral points on abelian varieties over complex function fields: for an abelian variety of dimension $n$ over $\mathbb C(B)$, Phung proved that the number of $(s, B_0)$-generalized integral points modulo the constant trace grows at most as $s^{2nk}$, where $k=\operatorname{rk}(\pi_1(B_0))$. We sharpen this to $s^{nk+\varepsilon}$ for every $\varepsilon>0$, halving the exponent.

Class number zeta function of imaginary quadratic fields

math.NT

math.DS

math.OA

We introduce a zeta function counting imaginary quadratic number fields by their class numbers. It is proved that such a function is rational depending only on the eight roots of unity of degrees $1$ and $2$. As a corollary, one gets a lower bound $2p$ for the number of imaginary quadratic fields of the prime class number $p$. Our method is based on the study of periodic points of a dynamical system arising in the representation theory of the Drinfeld modules by the bounded linear operators on a Hilbert space.

On the Quartic Invariant of Odd Degree Binary Forms

math.NT

We determine the squarefree part of the scalar factor that arises when the quartic invariant of the generic binary form $F$ of odd degree $2n+1$ is expressed as the discriminant of the unique quadratic covariant $(F,F)_{2n}$. This squarefree part is exactly $p$ when $n+2$ is a power of an odd prime $p$, and $1$ otherwise. Equivalently, for each prime $p$: $v_2(S(n))$ is always even, and for odd $p$, $v_p(S(n))$ is odd if and only if $n+2$ is a power of $p$. This generalizes the classical identity $\operatorname{disc}(H(F))=-3\cdot\operatorname{disc}(F)$ for binary cubics, which dates back to the work of Cayley and Sylvester in the 1850s. The proof, which involves substantial explicit coefficient analysis and $p$-adic deformation arguments, was developed using an AI-assisted research workflow: the author's earlier partial attempts were completed through systematic collaboration with Claude Code (Anthropic) and Codex (OpenAI), and key arithmetic lemmas were formally verified in Lean~4 using Aristotle (Harmonic). We describe this workflow in detail as a case study in AI-assisted mathematical research. We also discuss representation-theoretic, geometric, and arithmetic interpretations of the quadratic covariant.

Additive Rigidity for Images of Rational Points on Abelian Varieties

math.NT

math.AG

We study the interaction between the group law on an abelian variety and the additive structure induced on its image under a morphism to projective space. Let $A$ be a simple abelian variety, $f:A \rightarrow \mathbb{P}^n$ be a morphism which is finite onto its image, and $\Gamma \subseteq A(\overline{K})$ be a finite-rank subgroup. We show that for any affine chart $\mathbb{A}^n \subseteq \mathbb{P}^n$ and any finite subset $X \subseteq f(\Gamma) \cap \mathbb{A}^n$, the energy and the sumset of $X$ satisfy quadratic bounds in $\lvert X \rvert$. The proof uses the uniform Mordell-Lang conjecture.

Legendre compressions and an integrality conjecture for the H\"ormander--Bernhardsson extremal function

math.NT

math.CV

We prove Conjecture~2 of Bondarenko, Ortega-Cerd\`a, Radchenko, and Seip for the three-term recurrence attached to the H\"ormander--Bernhardsson extremal function $\varphi$. More precisely, define \[ \widetilde u_{-1}=0,\qquad \widetilde u_0=1, \] and \[ \widetilde u_{n+1} = \frac{4n+2}{n+1}\bigl(n(n+1)-\lambda\bigr)\widetilde u_n + \frac{4n}{n+1}x\,\widetilde u_{n-1}. \] Then \[ \widetilde u_n(x,\lambda)\in\mathbb Z[x,\lambda] \qquad(n\ge0). \] The proof is a determinant comparison in the scaled Legendre basis. After sign reversal and central-binomial normalization, the recurrence becomes exactly the continuant recurrence of a finite tridiagonal compression. In particular, if $T_n(a,\lambda)$ denotes the $n$th BOCRS tridiagonal truncation, then \[ \widetilde u_{n+1}(a^2,\lambda)=\binom{2n+2}{n+1}\det T_n(a,\lambda). \] As consequences, we derive that \[ \left(\frac{\pi}{4C}\right)^2 \quad\text{and}\quad -\frac{L_\tau(1)}{2C} \] are not simultaneously rational, where \(C\) is the sharp point-evaluation constant for $PW^1$, $\pm\tau_n$ are the nonzero zeros of $\varphi$, and $ L_\tau(1)=\sum_{n\ge1}\frac{(-1)^n}{\tau_n}.$ Finally, if we write $\varphi(z)=\sum_{n\ge0}c_n z^{2n},$ then \[ c_n\in C^n\,\mathbb Z[\pi^2,C,L_\tau(1)] \qquad(n\ge0). \]

On Maximal Values of Gronwall Numbers for Integers with Given Greatest Prime Factor and Remainder in Modified Mertens Formula

math.NT

The unconditional, i.e. without assuming validity of RH, sharp limit relationship (as p tends to infinity) is found between the remainder in the modified Mertens asymptotic formula for the sums of primes' reciprocals and maximal values of Gronwall numbers G(N) among all integers whose greatest prime factor is p and which are divided by any prime q

On the paucity of lattice triangles

math.DS

math.CO

math.NT

A rational triangle $T$ (one whose angles are rational multiples of $\pi$) unfolds to a translation surface $(X_T,\omega_T)$. The lattice triangle problem asks to classify those $T$ for which $(X_T,\omega_T)$ is a Veech (lattice) surface, which means that the $\operatorname{SL}_2(\mathbb R)$-orbit of $(X_T,\omega_T)$ is closed in its stratum (so its projection to moduli space is a Teichm\"uller curve). The most mysterious regime is the "hard obtuse window" (largest angle in $(\pi/2,2\pi/3]$), where it is conjectured that no lattice triangles exist. Using an arithmetic reformulation of the Mirzakhani-Wright rank obstruction, we prove a quantitative theorem that rules out all but a density 0 subset of the triangles in this window. The main engine in this paper was autoformalized by AxiomProver in Lean (using mathlib).

Weighted Cohomology, Hodge Theory and Intersection Cohomology of Shimura varieties

math.AG

math.NT

We prove that the intersection cohomology of the Baily-Borel compactification of a complex Shimura variety is identified with the top weight quotient of the mixed Hodge structure on the reductive Borel-Serre compactification. This yields canonical cup products and functorial pullbacks on the intersection cohomology. As an application, we introduce canonical cycle classes associated to special cycles, relating analytic geometric volumes of non-compact Shimura varieties to topological terms.

A central limit theorem for connected components of random coverings of manifolds with nilpotent fundamental groups

math.PR

hep-th

math.GR

math.GT

math.NT

There is a well understood way of generating random coverings of a fixed manifold by sampling homomorphisms from the fundamental group of this manifold into the symmetric group. We prove a central limit theorem for the number of connected components of these random coverings when the fundamental group is nilpotent. This provides a nonabelian generalization of an earlier result by the author and Shannon Starr in the case of the torus where the fundamental group is a free abelian group of rank at least two. Our result relies on the work of du Sautoy and Grunewald on the subgroup growth zeta functions of nilpotent groups, and on Delange's generalization of the Wiener-Ikehara Tauberian theorem.

Lifting all elements in $\mathrm{SL}_n(\mathbb{Z}/q\mathbb{Z})$

math.NT

v2

We show that every element of $\mathrm{SL}_{n}(\mathbb{Z}/q\mathbb{Z})$ can be lifted to an element of $\mathrm{SL}_{n}(\mathbb{Z})$ of norm at most $Cq^2\log q$, while there exists an element such that every lift of it is of norm at least $q^{2+o(1)}$. This should be compared to the recent result that almost every element has a lift of norm bounded by $q^{1+1/n+o(1)}$. The main step in the proof is showing that for every $q$, there is a small element in $(\mathbb{Z}/q\mathbb{Z})^\times$ with a large $n$-th root, which is a result of independent interest.

On the sparsity of non-diagonalisable integer matrices and matrices with a given discriminant

math.NT

v4

We consider the set $\mathcal M_n(\mathbb Z; H)$ of $n\times n$-matrices with integer elements of size at most $H$ and obtain upper bounds on the number of matrices from $\mathcal M_n(\mathbb Z; H)$, for which the characteristic polynomial has a fixed discriminant $d$. When $d=0$, this corresponds to counting matrices with a repeated eigenvalue, and thus is related to counting non-diagonalisable matrices. For $d\ne 0$, this problem seems not to have been studied previously, while for $d=0$, both our approach and the final result improve on those of A. J. Hetzel, J. S. Liew and K. Morrison (2007).

$L^q$-norm bounds for arithmetic eigenfunctions via microlocal Kakeya-Nikodym estimate

math.NT

math.AP

v2

Let $X$ be a compact arithmetic congruence hyperbolic surface, and let $\psi$ be an $L^2$-normalized Hecke-Maass form on $X$ with sufficiently large spectral parameter $\lambda$. We give a new proof to obtain an improved power saving for the global $L^6$-norm bound of $\psi$ over the local bound of Sogge. Our method uses a microlocal decomposition for $\psi$ and reduces the $L^6$-norm problem to microlocal Kakeya-Nikodym estimates for $\psi$, and we establish improved microlocal Kakeya-Nikodym estimates via arithmetic amplification developed by Iwaniec and Sarnak.

Bogomolov property for modular Galois representations with nontrivial nebentypus

math.NT

v2

A field in which the (logarithmic) Weil height is bounded from below by a strictly positive constant is said to have the Bogomolov property (property (B)). Given a normalized eigenform $f\in S_k(\Gamma_0(N))$ Amoroso and Terracini proved (B) for the field "cut out" by the adelic representation associated to $f$ under some assumptions on $f$, generalizing the earlier work of Habegger on elliptic curves. In this paper we extend this result to the case of normalized eigenforms with nontrivial nebentypus character. We also introduce the notion of ADZ field, inspired by earlier work of Amoroso, David and Zannier, exhibiting a class of fields in which property (B) is preserved under (arbitrary) composition.

Quantitative bounds on integrality for post-critically finite maps

math.NT

v2

Let $K$ be a number field with algebraic closure $\overline{K}$ and let $S$ be a finite set of places of $K$ that contain all the archimedean places. For an integer $d \ge 2$, consider the unicritical polynomial family $f_{d,c}(z) = z^d + c$. Recently, Benedetto and Ih studied the distribution of post-critically finite parameters $c$ that are $S$-integral relative to a fixed point $\alpha \in \overline{K}$ such that $f_{d, \alpha}$ is not post-critically finite. In this paper, we study the quantitative aspects of their result. In particular, under some additional assumptions we establish quantitative bounds on the number of $S$-integral post-critically finite parameters in the generalized Mandelbrot set $\mathcal{M}_{d, v}$ relative to a non post-critically finite parameter $\alpha$ as $\alpha$ varies over number fields of bounded degree.

Space spanned by characteristic exponents

math.DS

math.AG

math.NT

v3

We prove several rigidity results on multiplier spectrum and length spectrum. For example, we show that for every non-exceptional rational map $f:\mathbb{P}^1(\mathbb{C})\to\mathbb{P}^1(\mathbb{C})$ of degree $d\geq2$, the $\mathbb{Q}$-vector space generated by all the (finite) characteristic exponents of periodic points of $f$ has infinite dimension. This answers a stronger version of a question of Levy and Tucker. Our result can also be seen as a generalization of recent results of Ji-Xie and of Huguin which proved Milnor's conjecture about rational maps having integer multipliers. We also get a characterization of postcritically finite maps by using its length spectra. Finally as an application of our result, we get a new proof of the Zariski-dense orbit conjecture for endomorphisms on $(\mathbb{P}^1)^N, N\geq 1$.

How to make log structures

math.AG

math.NT

v3

We introduce the concept of a viable generically Gorenstein toroidal crossing (ggtc) space $Y$. This generalizes the concept of Gorenstein toroidal crossing scheme, which in turn generalizes that of a simple normal crossing scheme. On such a space $Y$, we define a sheaf $\mathcal{LS}_Y$, intrinsic to $Y$, by means of an explicit construction. Our main theorem establishes a bijection between the set $\operatorname{LS}(Y)$ of isomorphism classes of log structures on $Y$ over the log point $\operatorname{Spec} k^\dagger$ that are compatible with the ggtc structure and the set $\Gamma(Y,\mathcal{LS}_Y^\times)$ of nowhere vanishing global sections of $\mathcal{LS}_Y$. The definition of $\mathcal{LS}_Y$ by explicit construction permits the effective construction of log structures on $Y$; it also enables logarithmic birational geometry, in particular the construction - in some cases - of resolutions of singular log structures. Our work generalizes [GS06], Theorem 3.22, adapting the original proof with techniques from the theory of $2$-groups and local line bundle systems.

The integral motivic Satake equivalence for ramified groups

math.RT

math.AG

math.NT

v2

We construct the geometric Satake equivalence for quasi-split reductive groups over nonarchimedean local fields, using \'etale Artin-Tate motives with $\mathbb{Z}[\frac{1}{p}]$-coefficients. We consider local fields of both equal and mixed characteristic. Along the way, we extend the work of Gaussent--Littelmann on the connection between LS galleries and MV cycles to the case of residually split reductive groups. As an application, we generalize Zhu's integral Satake isomorphism for spherical Hecke algebras to ramified groups. Moreover, for residually split groups, we define generic spherical Hecke algebras, and construct generic Satake and Bernstein isomorphisms.