Number Theory [math.NT]

Mean field equation and Green's function on the Tate curve

math.NT

math.AP

math.RT

In this paper, we study the spectrum of the Laplacian on the Tate curve and construct the associated Green's function as a finite sum, which can be viewed as the non-Archimedean counterpart of the Green's function on the flat torus in the Archimedean case. And we establish the existence and uniqueness results of the mean field equation on this space. To address this problem, we begin by presenting the solution structure and proving its uniqueness under specific conditions on the finite quotient. We then establish convergence of the solutions to obtain existence results. Notably, the well-posedness of the solution resembles that in the Archimedean case.

On the central derivatives of l-functions and modularity of heenger cycles

math.NT

This paper establishes an arithmetic intersection formula for central L-derivatives in higher weights.We prove that for a general cusp form (extending the previous result for newforms), the derivative is represented by the global height pairing between higher Heegner cycles. This result provides a framework for the Gross-Zagier-Zhang formula and its generalizations.Furthermore, we investigate the modularity of the generating series of Heegner cycles,proving a weak version of the conjecture and reducing the full modularity to a vanishing conjecture,for which we provide supporting evidence.

Galois groups of reciprocal polynomials II: Twisted reciprocal polynomials

math.NT

We study the Galois group $G_f$ of a random polynomial $f$ of height at most $H$ in the family of polynomials of degree $2n$ satisfying the twisted reciprocal relation $f(x) = x^{2n}/b^n \cdot f(b/x)$, which arise in a wide variety of applications. Our main result is a theorem of van der Waerden-Bhargava type: the probability that $G_f$ is not the full hyperoctahedral group $S_2 \wr S_n$ is $\Theta(H^{-1}\log H)$, independent of $b$, with the leading-order group $G_1$ being of index $2$. This paper is a companion to a recent paper by the authors and Bertelli addressing reciprocal polynomials (i.e. the case $b = 1$).

Explicit and Effective Estimates for the error term in the Generalised Divisor Problem

math.NT

In this article, we obtain effective estimates for the error term $\Delta_{k}(x)$ for all integers $k \geq2$, and completely explicit estimates for integers $k \in [3,9]$. The explicit results improve the powers of $x$ appearing in the known explicit bounds for $\Delta_{k}(x)$, and the effective bounds provide a method to derive such bounds for all integers $k\geq 3$.

Analogue of the theta group $\Gamma_{\theta},$ II

math.NT

In this series of papers, we introduce higher level versions of the theta group $\Gamma_{\theta}.$ In this paper, we treat the theta group of level $5$, $\Gamma_{\theta,5},$ and construct modular forms on $\Gamma_{\theta,5}$. Moreover we compute their multiplier systems. For this purpose, we derive transformation formula of theta function with characteristics.

Simultaneous visibility in the algebraic lattice

math.NT

Let $K$ be a number field with ring of integers $\mathcal{O}$. Two lattice points ${\bf x, y}\in \mathcal{O}^m$ with $m\geq 2$ are said to be visible from one another if $\gcd((x_i-y_i),\ldots, (x_m-y_m))=\mathcal{O}$, where $(x_i-y_i)$ is the ideal generated by $x_i-y_i$. Let $S\subset \mathcal{O}^m$ be a finite set. For $K=\mathbb{Q}$, the asymptotic density of the set of lattice points, visible from all points of $S$, was studied by several authors. For general number fields $K$, however, the asymptotic density has been studied only in the special case $S=\{(0,\ldots,0)\}$. Our main result establishes the corresponding density formula for a number field $K$ whose ring of integers $\mathcal{O}$ is a principal ideal domain, for all finite sets $S$ with $|S|\geq 2$.

Infinite extensions with finitely many CM moduli

math.NT

We show that there are uncountably many algebraic extensions of $\mathbb{Q}$ containing at most finitely many moduli of CM simple principally polarized abelian varieties of any fixed dimension $g\geqslant1$, generalizing a result of Hultberg in dimension 1.

Quantum ergodicity of Eisenstein series for Bianchi groups

math.NT

We prove the quantum ergodicity of Eisenstein series on the arithmetic hyperbolic 3-manifold $\operatorname{PSL}_2(\mathcal{O}_F)\backslash \mathbb{H}^3$, where $F$ is an imaginary quadratic field with ring of integers $\mathcal{O}_F$ and class number $h_F\geq 1$. This extends the work of Koyama, who proved the result in the case $h_F=1$, and establishes the first instance of quantum ergodicity of Eisenstein series over number fields with nontrivial class groups.

Quantitative bounds on integrality for post-critically finite maps

math.NT

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 under some additional assumptions. In this paper we study the quantitative aspects of their result. In particular, 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$ with some additional assumptions.

An involutive perspective on Eisenstein's proof of quadratic reciprocity

math.NT

We revisit Eisenstein's geometric proof of quadratic reciprocity and make explicit the involutive symmetry underlying Eisenstein's lattice-point argument. Building on Gauss's lemma, we interpret the Legendre symbols as counts of lattice points in a finite rectangle and construct a simple fixed-point-free involution corresponding to the central symmetry of the rectangle, which exchanges points above and below the line $qx=py$. This reformulation highlights the involutive symmetry and places the classical proof in the spirit of Zagier-type involutive arguments. The approach shows how the reciprocity law emerges from an elementary combinatorial pairing principle.

Fractional parts of powers of negative rationals

math.NT

We prove that for any real number $\xi\neq 0$ and any coprime integers $p>q\ge1$ such that $\xi$ is irrational or $q>1$, the image in $\mathbb{R}/\mathbb{Z}$ of the sequence $(\xi (-p/q)^n)_{n\ge 0}$ is not contained in any interval of length less than $(1+q/p-q^2/p^2)/p$.

Eigenforms and graphs of Hecke operators with wild ramification

math.AG

math.NT

math.RT

Hecke operators on moduli of bundles over a global function field become substantially more complicated in the presence of ramification. We show that far enough in the Harder-Narasimhan cone of $\mathrm{Bun}_G$, this extra complexity has a simple structure, which allows to reduce the main study to the unramified case. Using the theory of graphs of Hecke operators, we transform this statement into a combinatorial condition. Utilizing the combinatorial language, we obtain tight bounds, and for generic eigenvalues exact formulas for the dimensions of Hecke eigenspaces with arbitrary ramification for $\mathrm{Bun}_{\mathrm{PGL}_2}$. Moreover, our methods allow to construct eigenforms explicitly.

Dyadic Self-Similarity in a Perturbed Hofstadter $Q$-Recursion

math.CO

math.NT

We study a perturbed variant of Hofstadter's $Q$-recursion \[ Q(n)=Q(n-Q(n-1))+Q(n-Q(n-2))+(-1)^n, \qquad Q(1)=Q(2)=1 . \] Numerical experiments indicate that the sequence remains well defined for very large values of $n$ and exhibits an unexpectedly structured large-scale behavior. The data provide strong empirical evidence that the sequence grows approximately linearly, with \[ Q(n)\approx \frac{n}{2}. \] Writing $Q(n)=n/2+E(n)$, the fluctuation term $E(n)$ appears to display a persistent dyadic self-similarity: characteristic patterns recur across scales related by powers of two. A heuristic analysis of the recursion suggests a possible explanation for this phenomenon. Since the recursive indices typically lie close to $n/2$, the dynamics repeatedly couple values at scale $n$ with values near scale $n/2$, producing an effective dyadic renormalization mechanism. We further analyze the associated index processes $t_1(n)=n-Q(n-1)$ and $t_2(n)=n-Q(n-2)$, which reveal a pronounced parity dependence in the dynamics. In addition, numerical experiments on the frequency sequence of the values of $Q(n)$ suggest a regular dyadic organization with approximately geometric multiplicities inside blocks $B_k={2^k,\dots,2^{k+1}-1}$. Taken together, these observations point to a possible parity-split dyadic renormalization structure governing the long-term dynamics of the recursion. Establishing rigorous results for these phenomena remains an open problem.

Relating Arthur packets of real unitary groups and $p$-adic symplectic and orthogonal groups

math.RT

math.NT

We establish an explicit correspondence of certain Arthur packets between real unitary groups and $p$-adic symplectic or orthogonal groups. This allows one to compute Arthur packets of real unitary groups by translating results from the $p$-adic side. A main ingredient in our proof is an explicit relation between Zuckerman's translation functor on the real side and the Jacquet functor on the $p$-adic side. To achieve this, we construct a correspondence of stacks of Langlands parameters with fixed infinitesimal characters between the relevant real and $p$-adic groups. Our approach also allows one to relate the Kazhdan-Lusztig polynomials and the microlocal geometry between real and $p$-adic sides.

Realizations of 1-motives over a scheme of characteristic 0

math.AG

math.NT

Let S be a connected and smooth scheme of finite type over the complex numbers. We construct functorially the Hodge realization of a 1-motive over S as a torsion-free, polarizable and admissible variation of mixed Hodge structures of type (0,0),(-1,0),(0,-1),(-1,-1). We prove that this construction yields an equivalence between the category of 1-motives over S and the category of such variations of mixed Hodge structures, thereby extending Deligne's equivalence over the complex numbers to the relative case and providing a positive answer to a question of Andr\'e concerning the geometric origin of admissible variations of mixed Hodge structures of the above type. We also describe the l-adic and de Rham realizations of 1-motives and show that these realizations fit naturally into Deligne's framework of smooth mixed realizations.

Growth of Mahler measure and algebraic entropy of dynamics with the Laurent property

math.NT

math.DS

nlin.SI

v5

We consider the growth rate of the Mahler measure in discrete dynamical systems with the Laurent property, and in cluster algebras, and compare this with other measures of growth. In particular, we formulate the conjecture that the growth rate of the logarithmic Mahler measure coincides with the algebraic entropy, which is defined in terms of degree growth. Evidence for this conjecture is provided by exact and numerical calculations of the Mahler measure for a family of Laurent polynomials generated by rank 2 cluster algebras, for a recurrence of third order related to the Markoff numbers, and for the Somos-4 recurrence. Also, for the sequence of Laurent polynomials associated with the Kronecker quiver (the cluster algebra of affine type $\tilde{A}_1)$ we prove a precise formula for the leading order asymptotics of the logarithmic Mahler measure, which grows linearly.

Oscillating asymptotics and conjectures of Andrews

math.NT

v5

In 1986, Andrews studied the function $\sigma(q)$ from Ramanujan's ``Lost" Notebook, and made several conjectures on its Fourier coefficients $S(n)$, which count certain partition ranks. In 1988, Andrews-Dyson-Hickerson famously resolved these conjectures, relating the coefficients $S(n)$ to the arithmetic of $\mathbb Q(\sqrt{6})$; this relationship was further expounded upon by Cohen in his work on Maass waveforms, and was more recently extended by Zwegers and by Li and Roehrig. A closer inspection of Andrews' original work on $\sigma(q)$ reveals additional related functions and conjectures, which we study in this paper. In particular, we study the function $v_1(q)$, also from Ramanujan's ``Lost" Notebook, a $q$-hypergeometric series with partition-theoretic Fourier coefficients $V_1(n)$, and prove two of Andrews' conjectures on $V_1(n)$ which are parallel to his original conjectures on $S(n)$. Our methods differ from those used by Andrews-Dyson-Hickerson, and require a blend of novel techniques inspired by Garoufalidis' and Zagier's recent work on asymptotics of Nahm sums, with classical techniques including the Circle Method in Analytic Number Theory; our methods may also be applied to determine the asymptotic behavior of similar $q$-hypergeometric series of interest which are not amenable to classical techniques. We also offer explanations of additional related conjectures of Andrews, ultimately connecting the asymptotics of $V_1(n)$ to the arithmetic of $\mathbb Q(\sqrt{-3})$.

The Bloch--Kato conjecture, decomposing fields, and generating cohomology in degree one

math.NT

math.KT

math.RA

v3

The famous Bloch--Kato conjecture implies that for a field $F$ containing a primitive $p$th root of unity, the cohomology ring of the absolute Galois group $G_F$ of $F$ with $\mathbb{F}_p$ coefficients is generated by degree one elements. We investigate other groups with this property and characterize all such groups that are finite. Restricting to the case of $p$-groups, our work answers a question of Quadrelli, Snopce and Vanacci posed in 2022. As a further step in this program, we study implications of the Bloch--Kato conjecture to cohomological invariants of finite field extensions. Conversely, these cohomological invariants have implications for refining the Bloch--Kato conjecture. In service of such a refinement, we define the notion of a decomposing field for a cohomology class of a finite field extension and study minimal decomposing fields of degree two cohomology classes arising from degree $p$ extensions. We illustrate this refinement by explicitly computing the cohomology rings of superpythagorean fields and $p$-rigid fields. Finally, we construct nontrivial examples of cohomology classes and their decomposing fields, which rely on computations by David Benson in the appendix.

Higher a-numbers in $\mathbf{Z}_p$-towers via Counting Lattice Points

math.NT

math.AG

v3

Booher, Cais, Kramer-Miller and Upton study a class of $\mathbf{Z}_p$-tower of curves in characteristic $p$ with ramification controlled by an integer $d$. In the special case that $d$ divides $p-1$, they prove a formula for the higher $a$-numbers of these curves involving the number of lattice points in a complicated region of the plane. Booher and Cais had previously conjectured that for $n$ sufficiently large the higher $a$-numbers of the $n$th curve are given by formulae of the form $\alpha(n) p^{2n} + \beta(n) p^n + \lambda_r(n) n + \nu(n) $, where $\alpha,\beta,\nu,\lambda_r$ are periodic functions of $n$. This is an example of a new kind of Iwasawa theory. We establish this conjecture by carefully studying these lattice points.

Another look at $p$-adic Fourier-theory

math.NT

v3

In this short note, we show that a natural generalization of the $p$-adic Fourier theory of Schneider and Teitelbaum follows immediately from the classification of $p$-divisible groups over $\cal{O}_{\mathbb{C}_p}$ by Scholze and Weinstein. This paper has been superseded by [arXiv:2603.15446], where the results are extended and generalized.

Congruences for sums involving $\binom{rk}{k}$

math.NT

v2

We primarily investigate congruences modulo $p$ for finite sums of the form $\sum_k\binom{rk}{k}x^k/k$ over the ranges $0

On $p$-th cyclotomic field and cyclotomic matrices involving Jacobi sums

math.NT

v4

Inspired by Weil's classical result on the zeta function of projective Fermat curve defined over a finite field, in this paper, we investigate some arithmetic properties of the cyclotomic matrix $$\det\left[J_p(\chi^{ki},\chi^{kj})\right]_{1\le i,j\le n-1},$$ where $p\ge3$ is a prime, $1\le k

On the Hasse Principle for conic bundles over even degree extensions

math.NT

v2

Let $k$ be a number field and let $\pi \colon X \rightarrow\mathbb{P}_k^1$ be a smooth conic bundle. We show that if $X/k$ has four geometric singular fibers and either $X(\mathbb{A}_k)\neq \emptyset$ or $X/k$ has non-trivial Brauer group, then $X$ satisfies the Hasse principle over any even degree extension $L/k$. Furthermore for arbitrary $X$ we show that, conditional on Schinzel's hypothesis, $X$ satisfies the Hasse principle over all but finitely many quadratic extensions of $k$. We prove these results by showing the Brauer-Manin obstruction vanishes and then apply fibration method results of Colliot-Th\'el\`ene, following Colliot-Th\'el\`ene and Sansuc.

Prime Geodesic Theorem for Arithmetic Compact Surfaces: Principal Congruence Case

math.NT

v2

We generalize Koyama's $7/10$ bound of the error term in the prime geodesic theorems to the principal congruence subgroups for quaternion algebras. Our method avoids the spectral side of the Jacquet--Langlands correspondences, and relates the counting function directly to those for the principal congruence subgroups of Eichler orders of level less than one.

Parity distributions among gaps of free numerical semigroups

math.NT

v2

In this paper, we extend recent results about the distribution of even and odd gaps of a numerical semigroup. We find that, for any numerical semigroup, the distribution can be computed in terms of the numbers of or the sums of odd and even elements in a corresponding Ap\'ery set. With free numerical semigroups specifically, we show that there are always at least as many odd gaps as even gaps, with equality precisely when the generating elements are all odd. We then specialize these results to the cases of numerical semigroups generated by compound and geometric sequences.

Syntomic formalism with coefficients

math.NT

v2

This paper provides the technical tools needed in ongoing work of the authors to compute p-adic \'etale Abel-Jacobi maps in order to obtain explicit reciprocity laws for GSp4. In particular, we define and study syntomic polynomial cohomology for filtered Frobenius log-isocrystals over proper and semistable schemes over the ring of integers of a local field, with smooth generic fiber, endowed with horizontal divisors. We introduce syntomic polynomial cohomology with support, we define Kunneth morphisms, trace maps and cup products, Gysin maps with respect to divisors and we study some of their properties. We establish the relation with Hyodo-Kato cohomology of the special fiber and de Rham cohomology of the generic fiber. We also introduce overconvergent variants with and without support by restricting to open smooth formal subschemes. Most of all, in case that the filtered log-isocrystal is associated to a p-adic local system on the generic fiber, we establish comparison morphisms between \'etale and syntomic cohomology and compatibilities with Hochschild-Serre morphisms and between Gysin morphisms.

Rational Angle Bisection Problem in Higher Dimensional Spaces and Incenters of Simplices over Fields

math.NT

math.MG

v5

In this article, we generalize the following problem, which is called the rational angle bisection problem, to the $n$-dimensional space $k^n$ over a subfield $k$ of $\mathbb R$: in the coordinate plane, for which rational numbers $a$ and $b$ are the slopes of the angle bisectors between the two lines with slopes $a$ and $b$ rational? First, we give a few characterizations of when the angle bisectors between two lines with direction vectors in $k^n$ have direction vectors in $k^n.$ To find solutions to the problem in the case when $k = \mathbb Q,$ we also give a formula for the integral solutions of $x_1{}^2+\dots +x_n{}^2 = dx_{n+1}{}^2,$ which is a generalization of the negative Pell's equation $x^2-dy^2 = -1,$ where $d$ is a square-free positive integer. Second, by applying the above characterizations, we give a necessary and sufficient condition for the incenter of a given $n$-simplex with $k$-rational vertices to be $k$-rational. In the coordinate plane, we prove that every triangle with $k$-rational vertices and incenter can be obtained by scaling a triangle with $k$-rational side lengths and area, which is a generalization of a Heronian triangle. We also state certain fundamental properties of a few centers of a given triangle with $k$-rational vertices.

CM-liftability of simple superspecial abelian surfaces over prime fields

math.NT

v2

For any prime $p>0$, we prove that simple superspecial abelian surfaces over $\mathbb{F}_{p}$ admit CM liftings after base change at most to $\mathbb{F}_{p^2}$, by using the residual reflex condition (RRC) and Lie types. The CM-liftability of ordinary simple abelian surfaces is proved by Serre-Tate, and the CM-liftability of almost ordinary simple abelian surfaces is proved by Oswal-Shankar and Bergstr\"om-Karemaker-Marseglia, respectively. As there can only be ordinary, almost ordinary, or supersingular simple abelian surfaces over $\mathbb{F}_{p}$, our work is another step to complete the CM-liftability of simple abelian surfaces over $\mathbb{F}_{p}$.

Rational Preperiodic Points of Quadratic Rational Maps over $\mathbb{Q}$ with Nonabelian Automorphism Groups

math.NT

math.DS

v2

Let $f:\mathbb{P}^1\rightarrow\mathbb{P}^1$ be a quadratic rational map defined over the rational field $\mathbb{Q}$ with nonabelian automorphism group. We prove that no such map has a $\mathbb{Q}$-rational periodic point with exact period $N\ge 4$. We also give an explicit parametrization of such maps that have $\mathbb{Q}$-rational periodic points of period $1$, $2$, and $3$. Consequently, we show that the number of $\mathbb{Q}$-rational preperiodic points of such a map is at most $6$; establishing Morton-Silverman Uniform Boundedness Conjecture for this family of quadratic rational maps. As a result, we completely classify all portraits of $\mathbb{Q}$-rational preperiodic points for such $f$ showing that there are exactly $5$ such portraits.

Local structure of the overconvergent de Rham-Witt complex

math.AG

math.NT

v2

We give a general description of the structure of the relative de Rham-Witt complex on a polynomial ring, seen as an algebra over its integral part. After giving a control of the overconvergence of Lazard's morphism, we similarly give the structure of the overconvergent complex, locally on a smooth algebraic variety over a perfect field of positive characteristic.

From Euler to AI: Unifying Formulas for Mathematical Constants

math.HO

cs.AI

cs.CL

math.NT

v4

The constant $\pi$ has fascinated scholars throughout the centuries, inspiring numerous formulas for its evaluation, such as infinite sums and continued fractions. Despite their individual significance, many of the underlying connections among formulas remain unknown, missing unifying theories that could unveil deeper understanding. The absence of a unifying theory reflects a broader challenge across math and science: knowledge is typically accumulated through isolated discoveries, while deeper connections often remain hidden. In this work, we present an automated framework for the unification of mathematical formulas. Our system combines Large Language Models (LLMs) for systematic formula harvesting, an LLM-code feedback loop for validation, and a novel symbolic algorithm for clustering and eventual unification. We demonstrate this methodology on the hallmark case of $\pi$, an ideal testing ground for symbolic unification. Applying this approach to 455,050 arXiv papers, we validate 385 distinct formulas for $\pi$ and prove relations between 360 (94%) of them, of which 166 (43%) can be derived from a single mathematical object - linking canonical formulas by Euler, Gauss, Brouncker, and newer ones from algorithmic discoveries by the Ramanujan Machine. Our method generalizes to other constants, including $e$, $\zeta(3)$, and Catalan's constant, demonstrating the potential of AI-assisted mathematics to uncover hidden structures and unify knowledge across domains.

Transfer using Fourier transform and minimal representation of $E_7$

math.RT

math.NT

v2

In this paper, we study the Sakellaridis-Venkatesh conjecture for the rank-1 spherical variety $X=\text{Spin}_9\backslash F_4$ using an exceptional theta correspondence. We establish the correct transfer map satisfying relative character identities in this case and show that our transfer map agrees with the formula in (Sakellaridis, 2021). We also formulate the local relative characters for the degenerate Whittaker period of (Mao-Wan-Zhang, 2026a) associated with $X$. Moreover, we show how our techniques lead to a characterization of $X$-relatively cuspidal representations.

Non-abelian Rees construction and pure motives

math.AG

math.CT

math.NT

v2

The classical Rees construction (of common use in commutative algebra and Hodge theory) interpolates between filtrations, viewed as ${\mathbb G}_m$-equivariant vector bundles on the affine line, and their associated gradings. Various non-abelian versions have been proposed, where the multiplicative group ${\mathbb G}_m$ is replaced by an arbitrary reductive group. Building on a construction due to P. O'Sullivan, we present a Galois correspondence between quasi-homogeneous spaces and certain monoidal categories, and apply it to monoidal categories of motives with concrete applications to algebraic cycles. In particular, we give a new proof and generalization of the Clozel-Deligne theorem about numerical equivalence on abelian varieties over finite fields.

Monochromatic sums and quotients in $\mathbb N$

math.LO

math.CO

math.NT

v2

We prove partition regularity of the configuration $x,y,x+y,y/x$ in a strong infinitary form that extends Hindman's Theorem. We study the related issue of partition regularity of configurations involving products of a degree one polynomial in $x$ with one in $y$, reducing the general problem to a handful of special cases.