Number Theory [math.NT]

Supersingular isogeny graphs and Hecke modules with level structure

math.NT

We study supersingular isogeny graphs with level structure and their associated Galois representations.

The Lang-Trotter conjecture on average for genus-$2$ curves with $S_3$ reduced automorphism group

math.NT

For an elliptic curve $E$ over $\mathbb{Q}$ without complex multiplication, Lang and Trotter conjectured that the number of primes $p 0$ is a constant depending only on $E$. While it remains an open question, an average estimation related to the Lang-Trotter conjecture was established by Fouvry and Murty. This result is called the Lang-Trotter conjecture on average. We extend the Lang-Trotter conjecture to curves of genus $2$ and obtain a similar result to the Lang-Trotter conjecture on average for the family of curves $C_{\lambda}:y^2=x(x-1)(x-{\lambda})(x-(\lambda-1)/{\lambda})(x-1/ (1-\lambda))$. These curves are characterized as curves of genus $2$ with reduced automorphism group containing symmetric group $S_3$.

One-loop $p$-adic string theory and the N\'eron local height function

math.NT

hep-th

The $p$-adic string worldsheet action on the quotient of the Bruhat-Tits tree of $PGL(2,\mathbb{Q}_p)$ by a genus 1 Schottky group has a dual description on the asymptotic boundary, the Tate curve $\mathbb{Q}_p^\ast/q^\mathbb{Z}$. We show that the two point function of the dual action coincides with the N\'eron-Tate local height function of the Tate curve.

Solutions of Calabi-Yau Differential Operators as Truncated p-adic Series and Efficient Computation of Zeta Functions

math.NT

hep-th

math.AG

Recently, a version of the deformation method developed in arXiv:2104.07816 has been used to great effect to compute the local zeta functions of Calabi-Yau threefolds by computing their periods as series with rational coefficients and using this to find a matrix representing the Frobenius action on a $p$-adic cohomology. However, this method rapidly becomes inefficient as the prime $p$ grows, due to the rational period coefficients growing quickly. In this paper, we point out that this problem can be circumvented by a simple process that we call $p$-adically truncated recurrence. This is a recurrence relation whose solutions are $p$-adic numbers modulo $p^A$ for a given $A \in \mathbb{N}$ and thus grow only slowly as $p$ grows. We show that the $p$-adic accuracy $A$ can be chosen such that all $p$-adic digits which contribute to the final result are kept, and therefore we are able to obtain the correct result by using these solutions. The improvements to speed and memory usage allow for computing the local zeta functions for tens of thousands of primes on a desktop computer, and make computing local zeta functions possible even for primes of size $10^6$ to $10^7$. Previously such computations were practically possible for around 1000 first primes. We have implemented this method in a Sage-compatible Python package PFLFunction.

Spectral-Dimension Obstructions for Operators with Superlinear Counting Laws

math.SP

math.NT

We show that single-valuation exponential kernels, under mild regularity assumptions, converge in the continuum limit to a fourth-order operator with heat asymptotics $\Theta(t)\sim t^{-1/4}$ and hence spectral dimension $d_s=\tfrac12$. Independently, a Tauberian analysis implies that any self-adjoint operator with superlinear eigenvalue counting $N(\lambda)\sim \lambda\,L(\lambda)$ must satisfy $\Theta(t)\sim t^{-1}L(1/t)$ and therefore has spectral dimension $d_s=2$. Since spectral dimension is invariant under unitary equivalence and compact perturbations, these exponents are incompatible, yielding a structural obstruction that separates single-valuation kernel limits from operators with accelerated spectral growth.

Hausdorff Dimension of Growth Rate Level Sets in $\theta$-expansions

math.DS

math.NT

We investigate the Hausdorff dimension of level sets defined by digit growth rates in $\theta$-expansions, a generalization of regular continued fractions. For any $\alpha \geq 0$, we prove that the set \[ E_\theta(\alpha) = \left\{ x \in [0, \theta] \setminus \mathbb{Q} : \lim_{n \to {+}\infty} \frac{L_{n,\theta}(x) \log n \log \log n}{S_{n,\theta}(x) - L_{n,\theta}(x)} = \alpha \right\} \] has full Hausdorff dimension. This extends previous work of Zhang and {L\"u} (2016) on regular continued fractions to the broader framework of $\theta$-expansions. The proof involves constructing explicit subsets with controlled digit growth and establishing dimension preservation through H\"older-continuous mappings.

Dynkin diagrams, generalized Nahm sums and 2d CFTs

math-ph

hep-th

math.CO

math.MP

math.NT

A folklore conjecture states that the Nahm sum associated with a pair of Dynkin diagrams of type $ADET$ is a modular function. In this paper, we extend this conjecture to Dynkin diagrams of type $ABCDEFGT$ in the context of generalized Nahm sums. The modular Nahm sums are closely related to the characters of 2d rational conformal field theories. In this work, we identify many specific generalized Nahm sums with characters of some well-studied 2d CFTs. For example, we find that the generalized Nahm sums associated with $(T_1, C_r)$ and $(T_1,D_r)$ correspond to the supersymmetric Virasoro minimal models $\mathrm{SM}(4r+6, 4)$ and $\mathrm{SM}(8r+4, 2)$, respectively.

Cappell-Shaneson knot pairs with the same Alexander polynomial

math.GT

math.AT

math.NT

It is well known that for $m\geq 2$ there are at most two non-equivalent $m$-knots with diffeomorphic exterior. Such pair of knots will be called $\textit{ non-reflexive knot pair}$. A classical problem in topology is to determine all dimensions where such knot pairs exist. In 1976 Cappell and Shaneson gave a method of constructing non-reflexive knot pairs. In the present paper we construct an infinite family of new examples of Cappell-Shaneson knot pairs, and give examples of Cappell-Shaneson knot pairs that have the same Alexander polynomial but are inequivalent.

Quantum ergodicity in the Benjamini--Schramm limit for locally symmetric spaces

math.SP

math-ph

math.MP

math.NT

math.RT

We prove that for almost all symmetric spaces $X$ and for any sequence of compact locally symmetric spaces $Y_n$ which is uniformly discrete, has a uniform spectral gap, and converges in the sense of Benjamini--Schramm to $X$, the joint eigenfunctions of all invariant differential operators on $Y_n$ delocalize on average when their spectral parameters are taken to lie in a fixed spectral window.

On abelian points of varieties intersecting subgroups in a torus

math.NT

math.AG

v5

We show, under some natural conditions, that the set of abelian points on the non-anomalous subset of a closed irreducible subvariety $X$ intersected with the union of connected algebraic subgroups of codimension at least $\dim X$ in a torus is finite, generalising results of Ostafe, Sha, Shparlinski and Zannier (2017). We also generalise their structure theorem for such sets when the algebraic subgroups are not necessarily connected, and obtain a related result in the context of curves and arithmetic dynamics.

A simple proof of the fundamental theorem of Galois theory

math.NT

math.HO

v2

We present a simple proof of the fundamental theorem of Galois theory, which establishes a correspondence between the intermediate fields of a finite Galois extension and the subgroups of its Galois group. The proof is based on the combinatorial fact that a field cannot be expressed as the union of finitely many proper subfields.

A PEL-type Igusa Stack and the $p$-adic Geometry of Shimura Varieties

math.NT

math.AG

v2

Let $(G,X)$ be a PEL-Shimura datum of type AC in Kottwitz's classification. Assume $G_{\mathbf{Q}_p}$ is unramified. We show that the good reduction locus of the infinite $p$-level Shimura variety attached to this datum, considered as a diamond, can be described as the fiber product of a certain v-stack (which we call ``Igusa stack") with a Schubert cell of the corresponding $B_{dR}^+$-affine Grassmannian, over the stack of $G_{\mathbf{Q}_p}$-torsors on the Fargues-Fontaine curve. We also construct a minimal compactification of the Igusa stack and show that this fiber product structure extends to the minimal compactification of the Shimura variety. When the Schubert cell of the affine Grassmannian is replaced by a bounded substack of $\mathcal{G}$-shtukas, where $\mathcal{G}$ is a reductive model of $G_{\mathbf{Q}_p}$ over $\mathbf{Z}_p$, we show that this fiber product recovers the integral model of the Shimura variety. This result on integral models, if specialized to a Newton polygon stratum, recovers the fiber product formula of Mantovan. Similar fiber product structures are conjectured by Scholze to exist on general Shimura varieties.

Is there a Birch and Swinnerton-Dyer conjecture for Dedekind zeta functions?

math.NT

v3

A Birch and Swinnerton-Dyer conjecture for number fields $K / \mathbb{Q}$ would assert that $dim V_K = ord_{s = 1/2} \zeta_K (s)$ for some vector space functorially attached to $K$. Presently there is no natural candidate for the $V_K$'s. However, assuming $V_K$ is of a cohomological nature and assuming a conjecture of Serre on the vanishing order of $\zeta_K (s)$ at $s = 1/2$ we show that such functors $K \mapsto V_K$ (with natural extra structures) exist and are all isomorphic. Their common automorphism group is $2$-torsion and abelian.

A unified finiteness theorem for curves

math.NT

math.AG

v2

We study the arithmetic of Galois-invariant sets of points on algebraic curves with controlled reduction behavior. Let $C$ be a smooth projective curve with a smooth proper model $\mathcal{C}$ over $\mathcal{O}_{K,S}$. We define $\Omega_n$ as the set of $n$-element subsets of $C(\overline{K})$ that are invariant under $\text{Gal}(\overline{K}/K)$ and such that no two points in the set become identified modulo any prime $\mathfrak{p} \notin S$. Our main result establishes that $\Omega_n$ breaks into finitely many orbits under the action of $\text{Aut}_{\mathcal{O}_{K,S}}(\mathcal{C})$, generalizing finiteness theorems of Birch--Merriman, Siegel, and Faltings.

Collision of orbits for families of polynomials defined over fields of positive characteristic

math.NT

math.DS

v2

Let $L$ be a field of positive characteristic $p$ with a fixed algebraic closure $\overline{L}$, and let $\alpha_1,\alpha_2,\beta\in L$. For an integer $d\ge 2$, we consider the family of polynomials $f_{\lambda}(z) := z^d+\lambda$, parameterized by $\lambda\in\overline{L}$. Define $C(\alpha_1,\alpha_2;\beta)$ to be the set of all $\lambda\in\overline{L}$ for which there exist $m,n\in\mathbb{N}$ such that $f_{\lambda}^m(\alpha_1)=f_{\lambda}^n(\alpha_2)=\beta$. In other words, $C(\alpha_1,\alpha_2;\beta)$ consists of all $\lambda\in\overline{L}$ with the property that the orbit of $\alpha_1$ collides with the orbit of $\alpha_2$ under the same polynomial $f_{\lambda}$ precisely at the point $\beta$. Assuming $\alpha_1,\alpha_2,\beta$ are not all contained in a finite subfield of $L$, we provide explicit necessary and sufficient conditions under which $C(\alpha_1,\alpha_2;\beta)$ is infinite. We also discuss the remaining case where $\alpha_1,\alpha_2,\beta\in \overline{\mathbb F}_p$ and provide ample computational data that suggest a somewhat surprising conjecture. Our problem fits into a long series of questions in the area of unlikely intersections in arithmetic dynamics, which have been primarily studied over fields of characteristic $0$. Working in characteristic $p$ adds significant difficulties, but also reveals the subtlety of our problem, especially when some of the points lie in a finite field or when $d$ is a power of $p$.

Conditional estimates on the argument of Dirichlet $L$-functions with applications to low-lying zeros

math.NT

v2

Under the generalized Riemann hypothesis, we use Beurling-Selberg extremal functions to bound the mean and mean square of the argument of Dirichlet $L$-functions to a large prime modulus $q$. As applications, we give alternative proofs of several results on low-lying zeros of $L(s,\chi)$ and obtain a new lower bound on the proportion of $L(s,\chi)$ modulo $q$ with zeros close to the central point $s=1/2$. In particular, we show conditionally that for any $\beta>1/4$, there exist a positive proportion of Dirichlet $L$-functions whose first zero has height less than $\beta$ times the average spacing between consecutive zeros.

On Euler systems and Nekov\'a\v{r}-Selmer complexes

math.NT

v2

We develop a theory of Euler and Kolyvagin systems relative to the Nekov\'{a}\v{r}--Selmer complexes of $p$-adic representations over local complete Gorenstein rings. This theory is both finer and requires fewer hypotheses than those of Mazur and Rubin over discrete valuation rings and of Sakamoto et al. over Gorenstein rings. In particular, given appropriate Euler systems, it allows one to study Selmer groups defined relative to Greenberg local conditions. As initial applications, we prove new cases of Kato's generalised Iwasawa main conjecture for both $\mathbb{Z}_p(a)$ and the $p$-adic Tate modules of rational elliptic curves, new cases of the Quillen--Lichtenbaum Conjecture, and a strengthening of existing results on the Birch--Swinnerton-Dyer Conjecture for CM elliptic curves.

On Graphical Partitions with Restricted Parts

math.NT

math.CO

v2

An integer partition of $n$ is called graphical if its parts form a degree sequence of a simple graph. While unrestricted graphical partitions have been extensively studied, much less is known when the parts are restricted to a prescribed set. In this work, we investigate the probability that a uniformly random partition of an even integer $n$, subject to such restrictions, is graphical. We establish an upper bound on this probability expressed solely in terms of the Durfee square of the partition. Additionally, letting $p_g(n)$ denote the probability that a random restricted partition of an even integer $n$ is graphical, we prove that the limit inferior of $p_g(n)$ is 0. Furthermore, we obtain an explicit bound on the decay rate of $p_g(n)$ in terms of $n$ and the imposed restrictions on the parts. Our approach employs the Nash-Williams graphical condition, the saddle-point method and Edgeworth expansions.

On a M\"obius double sum

math.NT

v2

We study the double sum $S_\varepsilon(X)$$=$$\sum_{\substack{d,e\le X}}\frac{\mu(d)\mu(e)}{[d,e]^{1+\varepsilon}}$, which converges even in the case $\varepsilon=0$, where $\mu$ denotes the M\"obius function and $[d,e]$ is the least common multiple of $d$ and $e$. Such expressions arise naturally in analytic number theory, notably as the diagonal contribution in certain squared mean values, and they play a significant role in zero-density estimates for the Riemann zeta function and related $L$-functions. We establish uniform upper bounds for $S_\varepsilon(X)$ across various ranges of $X$, with particular emphasis on the case $\varepsilon$ close to $0^+$.

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

math.NT

v2

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$.

On an entropic analogue of additive energy

math.CO

math.NT

v4

Recent advances have linked various statements involving sumsets and cardinalities with corresponding statements involving sums of random variables and entropies. In this vein, this paper shows that the quantity $2{\bf H}\{X, Y\} - {\bf H}\{X+Y\}$ is a natural entropic analogue of the additive energy $E(A,B)$ between two sets. We develop some basic theory surrounding this quantity, and demonstrate its role in the proof of Tao's entropy variant of the Balog--Szemer\'edi--Gowers theorem. We examine the regime where entropic additive energy is small, and discuss a family of random variables related to Sidon sets. In finite fields, one can define an entropic multiplicative energy as well, and we formulate sum-product-type conjectures relating these two entropic energies.

Modular resurgence, $q$-Pochhammer symbols, and quantum operators from mirror curves

hep-th

math-ph

math.AG

math.CV

math.MP

math.NT

v2

Building on the results of [1,2], we study the resurgence of $q$-Pochhammer symbols and determine their summability and quantum modularity properties. We construct a new, infinite family of pairs of modular resurgent series from the asymptotic expansions of sums of $q$-Pochhammer symbols weighted by suitable Dirichlet characters. These weighted sums fit into the modular resurgence paradigm and provide further evidence supporting our conjectures in [1]. In the context of the topological string/spectral theory correspondence for toric Calabi-Yau threefolds, Kashaev and Mari\~no proved that the spectral traces of canonical quantum operators associated with local weighted projective planes can be expressed as sums of $q$-Pochhammer symbols. Exploiting this relation, we show that an exact strong-weak resurgent symmetry, first observed by the second author in [3] and fully formalized in [2] for local $\mathbb{P}^2$, applies to all local $\mathbb{P}^{m,n}$, albeit stripped of some of the underlying number-theoretic properties. Under some assumptions, these properties are restored when considering linear combinations of the spectral traces that reproduce the weighted sums above.

Coefficient systems on the A_2 Bruhat-Tits building

math.RT

math.GR

math.NT

v2

We address a conjecture (referred to as sur in the literature) in the representation theory of a reductive p-adic Lie group G which has important implications for the relationship between mod-p smooth representations and pro-p Iwahori-Hecke modules, and is currently only known for G of rank 1. We prove that sur follows from exactness of the associated oriented chain complex of a coefficient system, when restricted to a local region of the Bruhat-Tits building for G. Our main result gives strong evidence towards this exactness in the case where G=SL_3(K) for K a totally ramified extension of Q_p. We also develop new combinatorial techniques for analysing the geometric realisation of the A_2 Bruhat-Tits building, which are fundamental to the proof of our main result, and which we hope will inspire further investigation in Bruhat-Tits theory.

On the Diophantine problem related to power circuits

math.LO

math.GR

math.NT

math.RA

v4

Myasnikov, Ushakov, and Won introduced power circuits in 2012 to construct a polynomial-time algorithm for the word problem in the Baumslag group, which has a non-elementary Dehn function. Power circuits are computational structures that support addition and the operation $(x,y) \mapsto x \cdot 2^y$ on integers. They also posed the question of decidability of the Diophantine problem over the structure $\langle \mathbb{N}_{>0}; +, x \cdot 2^y, \leq, 1 \rangle$, which is closely related to power circuits. In this paper, we prove that the Diophantine problem over this structure is undecidable.