Number Theory [math.NT]

Local statistics and average rank of genus $g$ hyperelliptic curves with a Weierstrass point

math.NT

In this paper, we determine the probability that a genus $g$ hyperelliptic curve with a Weierstrass point over a number field has good reduction at a given prime of residue characteristic $>2g+1$. We also obtain analogous probability formulas for several other reduction types, including cases with positive toric or unipotent rank. As an application, assuming the Hasse--Weil conjecture and the generalized Riemann hypothesis, we derive an explicit upper bound for the average analytic rank of genus $g$ hyperelliptic curves with a Weierstrass point.

On lower bounds for canonical heights of the map $\phi(X,Y)=(Y,X+Y^D+b)$

math.NT

We give a lower bound for the canonical height associated to H\'enon maps $\phi(X,Y)=(Y,X+Y^D+B)$ of non-periodic points when $D>2,$ extending previous work for $D=2$ in \cite{Ingram1}.

Euler systems and the symmetric square of a Hida family

math.NT

math.AG

Let $p\geq7$ be a prime number. We build a non-trivial Euler system for the symmetric square of a $p$-adic Hida family of modular forms interpolating the Euler system constructed by Loeffler-Zerbes for the symmetric square of a $p$-ordinary newform. As a second contribution, we prove an algebraic functional equation for dual Selmer groups in this setting. Finally, building on recent work by B\"uy\"ukboduk-Ganguly on functional equations of algebraic (Rankin-Selberg) $p$-adic $L$-functions, we prove a divisibility result towards the Iwasawa main conjecture for the symmetric square of a Hida family.

Cyclic Projective Orbits on Rational Normal Curves and MDS Codes

math.NT

Let \(A\) be a cyclic operator on an \(r\)-dimensional vector space over a field \(k\), and let \(z\) be a cyclic vector. Their Krylov code has parity-check matrix \((z,Az,\ldots,A^{n-1}z)\). For \(r\ge 3\) and \(n\ge r+3\), we prove that an MDS orbit segment lies on a rational normal curve precisely when the projective pair \((A,[z])\) is conjugate to one arising from the \((r-1)\)-st symmetric-power action of \(\mathrm{PGL}_2\). Over finite fields, for companion operators, this gives a complete classification of the generalized Reed--Solomon locus into split semisimple, two nonsplit semisimple, and unipotent families. Over an algebraically closed field \(k\), the Zariski closure \(\GRSsurf_{r,k}\) of the semisimple GRS coefficient locus is an irreducible rational surface, generically parameterized two-to-one by a two-dimensional torus of geometric-progression root sets; reversal is the generic ambiguity. The affine quotient of the parameter torus by reversal is the normalization of \(\GRSsurf_{r,k}\cap D(a_0)\), its nonzero-constant-term open part. The codimension in the space of monic degree-\(r\) polynomials is \(r-2\). Frobenius descent gives an exact formula for the number of GRS polynomials over \(\mathbb F_q\). A canonical remainder parity-check matrix defines the MDS locus by a principal open condition. For fixed \(r\ge3\) and \(n\ge r+3\), the proportion of all monic degree-\(r\) polynomials over \(\mathbb F_q\) whose companion codes are MDS and non-GRS tends to one as \(q\to\infty\) through prime powers.

A Note on Iterated Beatty Sequences

math.NT

For any irrational number $ \alpha>\frac{3+\sqrt{5}}{2}\approx2.618$ and given a positive $ n\in\mathbb{N} $, we use elementary number theory to introduce a necessary and sufficient condition for a natural number $ x $ to be in the $n$th iterate of the Beatty sequence of modulus $\alpha$.

Ranks of Elliptic Curves Twisted by Quadratic Forms

math.NT

Let $E$ be an elliptic curve over $\mathbb{Q}$ and let $E^d$ be its twist by the quadratic character $\chi_d$. We prove there are infinitely many twists $d$ which are sums of two squares such that $E^d$ has rank $1$. This result is achieved using moments of derivatives of modular $L$-functions, and particularly captures the lower derivatives which were left out in the work of Munshi. Such a result, in particular, also gives us information on the elliptic fibration $(1+t^2)y^2=f(x)$, where $f(x)$ is a cubic polynomial.

$p$-adic Sum-Product, Projections, and Furstenberg Sets

math.MG

math.CO

math.NT

Let $p$ be a prime number. We prove the sharp Furstenberg set bound in the $p$-adic plane $\mathbb{Q}_p^2$: every $(s,t)$-Furstenberg set $E\subset\mathbb{Q}_p^2$ satisfies $$ \dim_H E\ge \min\left\{s+t,\frac{3s+t}{2},s+1\right\}. $$ This matches the sharp lower bound in the Euclidean plane. We also derive two related consequences: a $p$-adic projection theorem for the maps $\pi_\theta(x,y)=x+\theta y$, together with the corresponding exceptional set estimate giving a $p$-adic analogue of Oberlin's projection question; and a discretized fractal sum-product estimate over $\mathbb{Q}_p$, showing that sufficiently non-concentrated subsets of $\mathbb{Z}_p^\times$ cannot have both small sum set and small product set. The proof follows the projection-theoretic and multiscale machinery developed in the Euclidean works of Orponen-Shmerkin (arXiv:2301.10199) and Ren-Wang (arXiv:2308.08819). The main task is to rebuild this machinery in the non-archimedean setting, and along the way we develop several new $p$-adic inputs needed to overcome the ultrametric features of the problem.

Genus and Gonality of Small Curves, Dynamical Uniform Boundedness, and Bifurcation

math.DS

math.AG

math.NT

We prove the Gonality Conjecture in arithmetic dynamics: for any non-isotrivial one-parameter algebraic family of rational maps on $\mathbb{P}^1$, the gonality of distinct dynatomic curves tends to infinity. More generally, outside the flexible Latt\`es family, every small sequence of horizontal curves has gonality tending to infinity, and its genus grows superlinearly with its degree over the parameter curve. We also obtain higher-dimensional analogues under natural bifurcation and multiplier-genericity hypotheses. As applications, we prove uniform boundedness results for iterated preimages over number fields and geometric uniform boundedness results for preperiodic points over function fields. The proof combines arithmetic equidistribution, woven currents, and bifurcation theory; the bifurcation mechanism is what forces the growth of genus and gonality.

A universal leading-residue formula for Witten zeta functions

math.RT

math.NT

Let $\Phi$ be an irreducible crystallographic root system of rank $r$, with Coxeter number $h$, Weyl group $W$, Cartan matrix $C_\Phi$, and invariant degrees $2=d_1\leq\cdots\leq d_r=h$. We prove that Au's normalized Witten zeta function $\xi_\Phi(s)$ has a simple pole at $s=2/h$, with residue $\mathop{\rm Res}_{s=2/h}\xi_\Phi(s)=\frac{2(2\pi)^{r/2}\sqrt{\det C_\Phi}}{h|W|}\frac{\prod_{i=1}^{r-1}\Gamma(1-d_i/h)}{\Gamma(1-1/h)^r}$. The proof identifies the leading lattice coefficient with a convergent spherical Coxeter-discriminant integral at the critical exponent and evaluates this integral using the boundary pole of the Macdonald--Mehta--Opdam identity. Proper parabolic strata are shown to be strictly subcritical. This establishes Au's gamma-product-shape conjecture and his prediction in type $A_4$. We also obtain a direct, non-Tauberian asymptotic, with an explicit constant for every simple type, for the number of irreducible representations of dimension at most $X$.

The norm residue symbol for formal Drinfeld modules

math.NT

v2

In this paper, we study the Kummer pairing associated with formal Drinfeld modules having stable reduction of height one. We give an explicit description of the pairing \`a la Kolyvagin, in terms of the logarithm of the formal Drinfeld module, a certain derivation, torsion points and the trace. The results obtained give a generalization of the results of Angl\`es proved for Carlitz modules, and of Bars and Longhi proved for sign-normalized rank one Drinfeld modules. It also presents an extension of our previous formulas to arbitrary finite extensions of loca fields containing enough torsion points.

On $p$-adic denseness of quotients of values of integral forms

math.NT

v5

Given $A\subseteq \Z$, the ratio set or the quotient set of $A$ is defined by $R(A):=\{a/b: a, b\in A, b\neq 0\}$. It is an open problem to study the denseness of $R(A)$ in the $p$-adic numbers when $A$ is the set of values attained by an integral form. For a given form, we investigate whether this happens for all but finitely many $p$. We consider the more general question when forms have coefficients in Dedekind domains, and, under certain conditions, we prove that the analogous statement holds. However, we also give examples of integral forms for which the answer is negative, and it is crucial that the degree of such forms is composite. We conjecture that we cannot find such examples with forms of prime degree having sufficiently many variables, which is indeed the case when the degree is 2, 3, or 5. Our innovation is to consider the problem in terms of varieties defined by forms, thereby using the tools from algebraic geometry, making their first appearance in this setting. We construct integral forms such that the ratio set of its values is dense in at least one $\Q_p$ but only in finitely many of them.

On polynomials of small range sum

math.NT

math.CO

v3

In order to reprove an old result of R\'edei's on the number of directions determined by a set of cardinality $p$ in $\mathbb{F}_p^2$, Somlai proved that the non-constant polynomials over the field $\mathbb{F}_p$ whose range sums are equal to $p$ are of degree at least $\frac{p-1}{2}$. Here the summand in the range sum are considered as integers from the interval $[0,p-1]$. In this paper we characterise all of these polynomials having degree exactly $\frac{p-1}{2}$, if $p$ is large enough. As a consequence, for the same set of primes we re-establish the characterisation of sets with few determined directions due to Lov\'asz and Schrijver using discrete Fourier analysis.

Lattices in rigid analytic representations

math.NT

v4

For a profinite group $G$ and a rigid analytic space $X$, we study when an $\mathcal O_X(X)$-linear representation $V$ of $G$ admits a lattice, i.e. an $\mathcal O_{\mathcal X(\mathcal X)}$-linear model for a suitable formal model $\mathcal X$ of $X$ in the sense of Berthelot. We give a positive answer, under mild assumptions, when $X$ is strictly quasi-Stein and regular. As a consequence, we are able to describe explicit open rational subdomains of $X$ over which $V$ is constant after reduction modulo a power of $p$. We give applications in two different directions. First, we prove explicit results on the reduction modulo powers of $p$ of sheaves of crystalline and semistable representations of fixed weight. Second, we deduce a result on the pseudorepresentation carried by the Coleman--Mazur eigencurve, which can be made explicit whenever equations for a rational subdomain of the eigencurve are given.

Non-vanishing for quartic Hecke $L$-functions and ranks of elliptic curves

math.NT

math.AG

v2

We show that a positive proportion of Hecke $L$-functions attached to the quartic residue symbols $\big( \frac{\cdot}{q} \big)_4$ for squarefree $q \in \mathbb{Z}[i]$ do not vanish at the central point. Our method also extends to the Hecke characters associated to quartic twists of the congruent number curve $E : y^2 = x^3 - x$. In particular, we prove that the elliptic curve $E^{(q)} : y^2 = x^3 - qx$ has Mordell-Weil rank $0$ over $\mathbb{Q}(i)$ for a positive proportion of squarefree $q \in \mathbb{Z}[i]$ ordered by norm.

On D-cap-Modules of Finite Length on Rigid Analytic Spaces

math.NT

math.AG

v2

We show that for quasi-compact smooth rigid analytic spaces, the extension functor sends holonomic D-modules to coadmissible D-cap-modules which are of finite length as weakly holonomic D-cap-modules. Using this, we show that the meromorphic connections considered by Bode--Bitoun and the local cohomology groups considered by Ardakov--Bode--Wadsley are of finite length as weakly holonomic D-cap-modules for quasi-compact smooth rigid analytic spaces. As a central tool, we introduce and study Hilbert polynomials for finitely generated modules over completed Weyl algebras.

Point counts of abelian varieties over finite fields determining their zeta function

math.NT

math.AG

v2

Let $A$ be an abelian variety of dimension $g$ over a finite field $\mathbf{F}_q$. We show that if $q$ is sufficiently large relative to $g$, the $g$ point counts $\#A(\mathbf{F}_{q^i})$ for $1 \leq i \leq g$ determine the zeta function of $A$, equivalently the characteristic polynomial of its Frobenius endomorphism, and hence the isogeny class of $A$. This count is best possible for $g=2$ and $g=4$, but not in general: for $g=3$ two point counts already determine the zeta function, whereas a single count never does. The proof combines the functional equation of the $L$-polynomial with Newton's identities and an inductive error analysis that controls the power sums of the inverse Frobenius eigenvalues with enough precision to recover them, as integers, by rounding.

Non-orthogonality of the cubic and quartic large sieves via Rankin-Selberg

math.NT

v2

We show unconditionally that the cubic and quartic large sieves are not perfectly orthogonal. The main obstruction to perfect orthogonality comes from the bias exhibited by Gauss sums. Our proof requires two main inputs: a Lindel\"{o}f-on-average upper bound for the second moment of Kubota's Dirichlet series, and a tight average lower bound for the Fourier coefficients of a certain Rankin-Selberg convolution of metaplectic theta functions. The latter input is particularly important in the quartic case, where much less is known about Fourier coefficients of metaplectic theta functions. To establish both of these inputs, we adapt a Rankin-Selberg regularization method due to Zagier (1981). In addition to the cubic and quartic cases considered in this paper, we expect that the family of Hecke characters of each fixed order $n \geq 3$ over a number field $K \supset \mathbb{Q}(\zeta_n)$ is not perfectly orthogonal. We provide a precise conjecture for the operator norm of these ensembles for each $n$.

On a Class of Hypergeometric Sums via Recurrences and Product Binomial-Harmonic Identities

math.NT

math.CA

v2

We study hypergeometric series with coefficients $a_n(\alpha)=\frac{(\alpha)_n(1-\alpha)_n}{(n!)^2},$ where $0< \alpha < 1$. The main idea is to introduce a shift parameter in the linear denominator and consider $$ \Phi_{m,\varepsilon}(\lambda;\alpha) = \sum_{n=0}^{\infty}\varepsilon^n \frac{a_n(\alpha)}{n+m+1+\lambda}, \qquad \varepsilon\in\{1,-1\}. $$ Expanding this expression in powers of $\lambda$ produces sums with denominator powers $(n+m+1)^{-K}$. We first discuss analytic interpolation in the denominator exponent and explain why positive integer exponents lead to terminating recurrences. Using Euler's hypergeometric differential equation, we derive a first-order recurrence in $m$ for $\Phi_{m,\varepsilon}$. Solving this recurrence gives finite reductions for ordinary and alternating sums, and coefficient extraction yields formulas for all positive denominator powers. The same framework also treats linear denominators $(dn+m+1)^K$ of arbitrary positive parameter by separating $m$ into residue classes modulo $d$. We then specialize the results to product-binomial cases, especially $\alpha=1/R$ with $R=2,3,4$. Finally, we apply the same framework to harmonic-number sums by differentiating with respect to a lower hypergeometric parameter.

Greenberg's $\mu=0$ conjecture for lisse sheaves over global function fields

math.NT

math.AG

v2

Let $K$ be a global function field of characteristic $p>0$ and $\ell\neq p$ be a prime number. We study Selmer groups over a $\mathbb{Z}_\ell$-extension $K_\infty/K$. For a lisse $\mathbb Z_\ell$-sheaf we prove that the Pontryagin dual of the associated Selmer group is a finitely generated torsion module over the Iwasawa algebra and has $\mu$-invariant equal to zero. This gives a positive-characteristic, prime to $p$, analogue of Greenberg's $\mu=0$ conjecture. Our result applies in particular to abelian varieties, fine Selmer groups, and adjoint representations. We also prove an analogue of the weak Leopoldt conjecture in this context over $K_\infty$, and deduce that the framed deformation ring of a residual representation is a formal power series ring. The same conclusion holds for the unframed deformation ring if the residual representation has no non-scalar endomorphisms.

Superlinear complexity of the $(3/2)^n$ steering word

math.NT

v2

Write $(3/2)^n = m_n + \eps_n$ with $m_n$ the nearest integer and $\eps_n\in[-\tfrac12,\tfrac12)$, and let $T=(t_n)$, $t_n=2m_{n+1}-3m_n$, be the resulting \emph{steering word}: the step-by-step record of the map $x\mapsto\tfrac32 x$ on the orbit of $1$, coded by nearest-integer rounding. Using results by Corvaja--Zannier and Nair--Kumar--Rout we prove that the subword complexity $\pT(k)$ of $T$ is superlinear, $\pT(k)/k\to\infty$. The argument is completely formalized in Lean-4, depending only on the Subspace Theorem.

Dieudonn\'e theory for $n$-smooth group schemes

math.AG

math.NT

v2

For all $n \geq 1$, there is a notion of an $n$-smooth group scheme over any $\mathbb{F}_p$-algebra $R$, which may be thought of as a ``Frobenius analogue" of an $n$-truncated Barsotti--Tate group over $R$. We prove that the category of $n$-smooth commutative group schemes over $R$ is equivalent to a certain full subcategory of Dieudonn\'e modules over $R$. As a consequence, we show that the moduli stack $\mathrm{Sm}_n$ of $n$-smooth commutative group schemes is smooth over $\mathbb{F}_p$ and that the natural truncation morphism $\mathrm{Sm}_{n+1} \to \mathrm{Sm}_n$ is smooth and surjective. These results affirmatively answer conjectures of Drinfeld.

Algebraization of absolute perfectoidization via section rings

math.AG

math.AC

math.NT

v3

We construct and study a graded version of absolute perfectoidization for $G$-graded adic rings. As a main geometric application, we show that the absolute perfectoidization of the structure sheaf of a projective-type formal scheme admits an algebraization.

Implementing p-adic numbers in Macaulay2 using its foreign function interface and FLINT

math.AG

math.NT

v2

Macaulay2 is a computer algebra platform widely used by researchers in algebraic geometry and commutative algebra. Using the ForeignFunctions package, it is possible to make calls from Macaulay2 to dynamic libraries such as FLINT. We demonstrate this by introducing a new Macaulay2 package implementing p-adic numbers using FLINT via this interface. We discuss implementation details such as memory allocation, interaction with Macaulay2's garbage collector, and object-oriented design decisions that mirror the existing implementations of the real and complex number fields in Macaulay2.

On the prime field spherical restriction conjecture in four dimensions: breaking the Stein-Tomas exponent and applications

math.CA

math.CO

math.NT

v2

We introduce a method based on horizontal slicing and a plane-then-line stopping-time decomposition for the prime field spherical restriction problem in four dimensions. The method is designed to overcome the Kloosterman obstruction in the spherical Bochner--Riesz kernel by decomposing each critical horizontal slice into rich-plane, rich-line-and-poor-plane, and poor-line-and-poor-plane components, which are then treated by distinct affine-geometric mechanisms. As a quantitative consequence of this structural method, we prove that \[ R_{S_j}^*(2\to r)\lesssim 1 \] for every nonzero sphere $S_j\subset\mathbb{F}^4$ and every $r>23/7$. As an application, we obtain the first improvement over the twenty-year-old $(d+1)/2$ threshold in the four-dimensional prime field Erd\H{o}s-Falconer distance problem. A series of applications is obtained, including improved Erd\H{o}s--Falconer and pinned-distance estimates in $\mathbb{F}_p^4$, almost-every-pin results for determinant differences in $M_2(\mathbb{F}_p)$ and dot products on the paraboloid $P_5$, and results on sparse and stable signal recovery from spherical frequency erasures.

Large $B_2[g]$ subsets of the first squares

math.CO

math.NT

v2

We prove that, for every fixed integer $g\geq 1$, the largest cardinality of a $B_2[g]$ subset of the first $n$ squares is at least a positive constant, depending only on $g$, times $$ n^{\frac{2g}{2g+1}}(\log n)^{\frac{2-2^g}{2g+1}}, $$ for all sufficiently large $n$. For $g=1$, this recovers the theorem of Lefmann and Thiele on Sidon subsets of the first squares. The proof follows their hypergraph method, but replaces the $4$-uniform hypergraph encoding two representations as a sum of two squares by a $2(g+1)$-uniform hypergraph encoding $g+1$ such representations. The main point is to verify that this higher-uniformity hypergraph has few edges and few $2$-cycles; the lower bound then follows from an independence theorem for uncrowded hypergraphs due to Duke, Lefmann and R\"odl.

Euler Ensemble as Decaying Turbulence Attractor: Universality, Stability and Parity Classes

nlin.CD

math.NT

physics.flu-dyn

v2

We study local Lyapunov stability of the Euler ensemble in compact rescaled momentum-loop dynamics for freely decaying Navier-Stokes turbulence. The ensemble consists of exact self-similar finite-cutoff solutions whose momentum loops are equal-step polygons on a sphere; their planar representatives define the Euler ensemble. In two dimensions, after quotienting global rotation and the time-origin shift, the odd-\(N\) planar representatives have no local shape instability. The even-\(N\) ensemble contains an alternating unstable mode with \(\lambda=\cot^2(\pi p/q)>0\), and is excluded as a local attractor. Thus the odd Euler ensemble is the locally stable planar sector. For \(d>2\), the planar ensemble lies in a continuous manifold of equal-step spherical polygons. Transverse deformations along this manifold are exact tangent zero modes. Integrating over these unconstrained spherical modes in the continuum limit gives a singular Wilson-loop functional supported only on collapsed, globally rotated planar coordinate loops. These modes are therefore projected out of the admissible homogeneous isotropic ensemble. The physical stability problem is the decay of normal perturbations, represented by local edge-length defects. In the endpoint-local sector, the planar odd representative has exact defect spectrum \(\lambda_m=-\sec^2(\pi m/N)<0\). In the smooth angular continuum limit, the leading stability operator is the universal angular Laplacian. Nearby spherical zero modes do not modify this leading operator; their first effect appears only at order \(N^{-4}\), through higher-derivative corrections computed symbolically. Hence the leading local stability mechanism is universal and independent of spherical zero modes.