Number Theory [math.NT]

Pellarin's Identity, Carlitz Period, and Anderson Generating Functions over Arbitrary Curves

math.NT

math.AG

Let \(A\) be the coefficient ring of a smooth projective curve over \(\mathbb{F}_q\) with a closed point at infinity of arbitrary degree \(\mathrm{N}=\deg(\infty)\ge 1\), and let \(\varphi\) be a rank-one Drinfeld \(A\)-module. In this paper, we prove three main results concerning the module of special functions and its relation to Pellarin's \(\mathcal L(1)\)-series. First, the module \(\mathrm{sf}(\varphi)\) of special functions contains a Tate-algebra unit exactly when it is free of rank one, equivalently when its period lattice is isomorphic to the module of regular differentials. This settles the Gazda--Maurischat conjecture. The proof evaluates Cauchy kernels; on the period lattice all such evaluations agree, and their common characteristic residue recovers the period. Second, for suitable isogeny data to a principal-period target \(\psi\), a strictly normalized shtuka product, together with one characteristic residue, gives an explicit formula for the fundamental period \(\tilde{\pi}\) (the generator of the free lattice \(\Lambda_\psi\)). The same defect equation also yields the residue formula for the Drinfeld logarithm. Third, the first Frobenius twist of the normalized shtuka differential is identified with a pairing built from finite torsion traces, whose coefficients are finite \'{e}tale traces over the field of definition. As an application, Pellarin's \(\mathcal L(1)\)-series is expressed exactly as the first Frobenius twist of the generating differential at a fundamental period. A notable feature of these results is that they hold for arbitrary $\mathrm{N} \geq 1$, and the source period lattice need not be free.

The quality plane of $abc$-triples and the decomposition into gains

math.NT

To a coprime triple $a+b=c$ we attach two coordinates, the quality $X$ and the logarithmic mass $Y$, whose ratio $\lambda$ measures the balance of the triple and lies asymptotically between $2$ and $3$. In these coordinates the $abc$ conjecture and Szpiro's conjecture for Frey curves become asymptotic bounds with thresholds $X=1$ and $Y=3$, and the direct implications between them follow from the range of $\lambda$. We then place the approximation and power gains of M\"uller, Taktikos and de Weger in the same plane. Relative to a chosen presentation of the triple, one exponent factor $f$ relates the gains to the coordinates, and Szpiro's conjecture for this family is equivalent to the asymptotic bound $f\le 3$ uniformly over all presentations. Under the two separate asymptotic gain bounds for a fixed choice of presentations, we obtain $\limsup X\le 9/2$ and $\limsup Y\le 27/2$ as the radical tends to infinity. Stronger conclusions depend on the presentation or on a joint bound for the gains. We close with numerical data and two research objectives.

Gosper's and Ramanujan's infinite products and generalizations

math.NT

Gosper introduced many remarkable formulas involving infinite products. One such formula provides an evaluation of the product $$\prod_{n \geq 1} \frac{1}{e}\left(\frac{1}{3n} + 1\right)^{3n + \frac{1}{2}}. $$ It appears that a complete proof of this evaluation has not appeared in the literature. In this paper, we introduce some techniques to extend Gosper's evaluation. We prove a generalization of Gosper's formula involving three free parameters, which can also be applied to evaluate arbitrary multisections of Gosper's product. Then we investigate higher-order extensions involving higher-degree polynomials in $n$, relative to the polynomials $3n$ and $3n+\frac{1}{2}$ involved in Gosper's product, yielding a generalization of an infinite product evaluation due to Ramanujan and recently studied by Bradley--Thrush [\textit{\it Ramanujan J.} (2025)]. We also consider connections with infinite products due to Kurokawa and Rovinski\u{\i}, building on the recent work of the first and fourth authors [\textit{\it Ramanujan J.} (2025)].

A cubic Chabauty criterion for hyperelliptic curves

math.NT

We establish a criterion for finiteness of the depth 3 Chabauty--Kim set $X(\mathbb{Q}_2)_3$ for hyperelliptic curves $X$ over $\mathbb{Q}$ with a rational Weierstrass point. To illustrate its applicability, we include an example of a genus $2$ curve satisfying the criterion whose Jacobian has N\'{e}ron--Severi rank $1$ and Mordell--Weil rank $4$.

Eisenstein congruences in tame families and the class group of a metabelian extension

math.NT

Ribet's 1976 proof of the converse to Herbrand's theorem created a new paradigm in algebraic number theory by illustrating that unramified abelian Galois extensions of number fields can be constructed using Galois representations associated to Eisenstein congruences, i.e., cuspidal eigenforms that are congruent to Eisenstein series. In recent years, further progress has been made in investigating the quantity of such Eisenstein congruences, showing that when there are many such congruences, additional and finer information can be gleaned about the arithmetic structure of the related extensions. In this vein, we use new results on the existence of Eisenstein congruences in tame families to explain a computational observation about splitting behavior of primes in a certain metabelian number field.

Sum-product patterns in the shifted primes

math.NT

We show that the set $\mathbb{P}-1$ of shifted primes contains infinitely many sum-product patterns of the form $\{x,x+y,xy\}$ with $x,y$ arbitrarily large distinct integers. More strongly, we can also show that, for any $k\geq 1$, the set $\mathbb{P}-1$ contains longer patterns of the form $\{x,x+y,\ldots, x+ky,xy\}$ with $x,y$ arbitrarily large distinct integers, a statement that contains the Green--Tao theorem as a special case.

Hausdorff dimension for exactly approximable matrices

math.NT

We establish the Hausdorff dimension for exactly approximable matrices for all dimensions, including the inhomogeneous case. More precisely, let $\psi:\N\to(0,\infty)$ be a non-increasing approximation function and let $\tau_\psi$ denote its lower order. For $m,n\ge1$ and $\boldsymbol\theta\in\mathbb R^m$, denote $\Exact_{m,n}(\psi,\boldsymbol\theta)$ the set of $m\times n$ matrices that are $\psi$-approximable with shift $\boldsymbol\theta$, but are not $c\psi$-approximable for any $0<1$. It is shown that \[ \hdim \Exact_{m,n}(\psi,\boldsymbol\theta)=m(n-1)+\frac{m+n}{1+\tau_\psi},\ \ \ {\text{for}}\ \tau_\psi>\frac{n}{m}. \] We adopt a probabilistic viewpoint, i.e. by an averaged counting argument to quantify the distribution of rational vectors and subspaces $$\left\{\frac{\mathbf p+\boldsymbol\theta}{q}: (\mathbf p, q)\in \mathbb{Z}^{m+1}\right\},\ \ \ \bigg\{\big\{A\in \Mat_{m, n}(\R): A\mathbf q-\mathbf p-\boldsymbol\theta=0\big\}: (\mathbf p, \mathbf q)\in \mathbb{Z}^{m+n}\bigg\}.$$

Explicit second moments of symplectic Siegel transforms

math.NT

math.MG

We give two alternate formulations for the second moment formula of the Siegel transform over $\mathrm{Sp}(2n, \mathbb{Z}) \backslash \mathrm{Sp}(2n,\mathbb{R})$, originally established by Kelmer and Yu. We also provide several applications that demonstrate their usefulness.

Quantitative Gowers uniformity of the primes in intervals of length $X^{5/8+\varepsilon}$

math.NT

We prove the first quantitative bounds for the Gowers norms of the von Mangoldt function minus a Siegel corrected model function in short intervals. The result applies to intervals $(X,X+H]$ with $H\geq X^{5/8+\varepsilon}$ and gives quasipolynomial savings for the $U^k(X,X+H]$ norm. The main new ingredient is an efficient non-abelian Type II inverse theorem with explicit dependence on the nilsequence dimension. We prove this inverse theorem by applying Leng's efficient equidistribution theorem in four parameters directly to an unweighted corner correlation in four variables, hence replacing the factorisation and subgroup argument in the non-abelian Type II proof of Matom\"aki, Shao, Tao and the author. In joint work with Florian Richter, we use this quantitative result as one ingredient in proving the existence of infinitely many sum-product patterns of the form $\{x,x+y,xy\}$ in the shifted primes $\mathbb{P}-1$.

Exact diameter compression for four-point sumset cardinalities

math.CO

math.NT

The least interval diameter needed to realize every attainable cardinality of an $h$-fold sumset of a four-element integer set is $\binom{h+2}{2}+(h\bmod2)$ for $2\le h\le10$ and $d_h=(h-3)(h-1)$ for $h\ge11$. We prove the formula uniformly for $h\ge17$ and use complete finite searches, with a relation-rank coverage argument, for the remaining orders. For the lower bound, we show that every integer four-set with $\binom{h+3}{3}-17$ distinct $h$-fold sums has normalized diameter in $\{d_h,d_h+1,d_h+2\}$ when $h\ge9$, and we construct sets attaining $d_h$. For the upper bound, a relation-lattice index argument restricts larger minimum-diameter representatives to two or three active directions. Two general constructions and four special defects then provide short sets realizing every remaining cardinality.

Pappas's conjecture on ramified unitary local models

math.AG

math.NT

We prove that the wedge local model for a ramified unitary group of signature $(r,s)$ ($r>s$) at self-dual level is flat when $p\geq 2s-1$, confirming Pappas's conjecture in this case. The proof first reduces the problem to determining the defining equations of a nilpotent orbit closure of self-adjoint matrices, and then to computing the global sections of the corresponding Kempf resolution. The computation is carried out by reducing to the type $A$ case using the Koszul complex.

Resolving Erd\H{o}s-Ulam Monochromatic Union-Closed Family Conjectures

math.CO

math.NT

We prove both Erd\H{o}s-Ulam conjectures on monochromatic union-closed families. Every two-colouring of the subsets of a finite set contains a monochromatic union-closed family whose size grows faster than any fixed power of the size of the set, while suitable colourings admit no monochromatic union-closed family of exponential size. Both results hold for any number of colours and are verified in Lean.

Sharp rational points counting near nondegenerate curves in $\mathbb{R}^n$

math.CA

math.NT

We establish sharp bounds for rational points near compact smooth nondegenerate curves in $\mathbb R^n$, for every $n\geq4$. For a nondegenerate curve $\mathcal C$ in $\mathbb R^n$, let \[ \mathcal R_{\mathcal C}(\delta,Q) :=\#\left\{(\mathbf p,q)\in\mathbb Z^n\times\mathbb N: 1\leq q\leq Q,\ \operatorname{dist}(\mathbf p/q,\mathcal C)\leq\delta/q\right\}.\] We prove that \[\mathcal R_{\mathcal C}(\delta,Q) \lesssim_{\varepsilon,\mathcal C} \delta^{n-1}Q^2+Q^\varepsilon \left(Q+\sum_{k=1}^{n-1} \delta^{k^2/(k+1)}Q^{(2k+1)/(k+1)}\right).\] A key new ingredient is a wave packet method developed by Gan--Maldague--Oh.

Sturmian beta-shifts do not have typical periodic optimization

math.DS

math.NT

A shift space is said to have typical periodic optimization (TPO) if the set of Lipschitz functions whose unique maximizing measure is supported on a periodic orbit contains an open dense subset of the space of Lipschitz functions. We show that beta-shifts whose lexicographically largest point is a Sturmian sequence do not have TPO: on each such beta-shift there is a non-empty open set of Lipschitz functions, all of which have the Sturmian measure as their unique maximizing measure. These are the first known examples of beta-shifts without TPO, and, since they have the specification property, the first known examples of shift spaces with specification but without TPO. The corresponding beta-transformations do not have TPO in any space of H\"older functions on the interval. The main ingredient in the proof of these results is a rigidity property of Sturmian subshifts: modulo constants and Lipschitz coboundaries, the space of Lipschitz functions on such a subshift is one-dimensional.

Visiting early at prime times

math.NT

math.DS

v2

Given an integer $m \geqslant 2$ and a sufficiently large $q$, we prove that there always exists an arithmetic progression with common difference $q$ for which the $m$-th least prime in such progression is $\ll q \exp(3.8075 m)$. This is obtained using a minorant for the indicator of primes in the Maynard--Tao sieve, in parallel with Baker--Irving and Stadlmann's work on bounded gaps between primes. The dependence on $q$ is best possible. Furthermore, we generalize our result to dynamical systems. The quality of the result depends crucially on the first return time, which we illustrate in the case of Diophantine approximation.

On residual automorphic representations and period integrals for symplectic groups

math.NT

math.RT

v2

We construct new irreducible components in the discrete automorphic spectrum of symplectic groups. The construction lifts a cuspidal automorphic representation of $\mathrm{GL}_{2n}$ with a linear period to an irreducible component of the residual spectrum of the rank $k$ symplectic group $\mathrm{Sp}_k$ for any $k\ge 2n$. We show that this residual representation admits a non-zero $\mathrm{Sp}_n\times \mathrm{Sp}_{k-n}$-invariant linear form. This generalizes a construction of Ginzburg, Rallis and Soudry, the case $k=2n$, that arises in the descent method.

A Hasse principle for higher Chow groups of curves over a global field

math.NT

v5

Let $X$ be a smooth projective curve over a global field $F$, and let $V(X)$ denote the kernel of the push-forward map $CH^2(X,1)\to CH^1(F,1) = F^\times$ of the higher Chow groups. For an odd prime $l$ different from the characteristic of $F$, we describe the structure of $V(X)/lV(X)$ by combining Bloch's exact sequence with a Hasse principle in Galois cohomology for the mod-$l$ Galois representation of the Jacobian variety $J$ of $X$. We also give explicit computations for elliptic curves.

A zero-one law for improvements to Dirichlet's theorem in arbitrary dimension

math.NT

math.DS

v2

Let $\psi$ be a continuous decreasing function defined for all sufficiently large positive real numbers. We say that a real $m\times n$ matrix $A$ is $\psi$-Dirichlet if for every sufficiently large real number $t$, one can find $\mathbf{p} \in \mathbb{Z}^m$, $\mathbf{q} \in \mathbb{Z}^n\setminus\{\mathbf{0}\}$ satisfying $\|A\mathbf{q}-\mathbf{p}\|^m< \psi({t})$ and $\|\mathbf{q}\|^n<1/t$ and $t\psi(t)$ is increasing. In fact, we prove the zero-one law in a more general situation with the monotonicity assumption on $t\psi(t)$ replaced by a weaker condition. Our proof follows the dynamical approach of Kleinbock-Str\"ombergsson-Yu by reducing the question to a shrinking target problem in the space of lattices. The key new ingredient is a family of carefully chosen subsets of the shrinking targets studied by Kleinbock-Str\"ombergsson-Yu, together with a geometric disjointness argument controlling the short-range correlations for the associated hitting events. Our method also works for the analogous weighted problem where the relevant supremum norms are replaced by certain weighted quasi-norms.

A decomposition of Weyl group multiple Dirichlet series for symmetrizable Kac-Moody root systems

math.NT

v2

We study twisted Weyl group multiple Dirichlet series attached to symmetrizable Kac-Moody root systems, using the Chinta-Gunnells method to construct their $p$-parts. Our main result is a decomposition theorem for functions invariant under the twisted Chinta-Gunnells action: under natural analytic hypotheses, such a function has a unique expansion in terms of shifted Chinta-Gunnells averages, indexed by the dominant weights in the highest weight module determined by the twisting parameter. In particular, we show that this decomposition holds for twisted multiple Dirichlet series over rational function fields. For finite root systems, these results were proved by Friedlander. We also show that the relevant Chinta-Gunnells averages admit analytic continuation to the interior of the complexified Tits cone. In the affine $\widetilde{A}_1$ case, we prove extra functional equations, not arising from the Weyl group, for the untwisted average and for averages twisted by fundamental weights. As a consequence, we obtain an explicit formula for the multiple Dirichlet series with square-free twisting parameters, and show that it also satisfies an extra functional equation.

Formal finite multiple zeta values

math.NT

v2

We study the algebra of formal finite multiple zeta values by imposing the stuffle and linear shuffle relations of Kaneko and Zagier. Our first results are a surjective homomorphism to the algebra of formal symmetric multiple zeta values and a parity reduction in depth at most four. In even weight we construct a quotient of the formal double zeta space which is isomorphic to the space of formal finite multiple zeta values of depth at most four. The proof combines an explicit depth-three reduction with a motivic lower bound. We also attach to every even period polynomial an explicit relation among the values $\zeta_{A}(2a,1,2b,1)$, and these give all relations among the corresponding formal values.

Resultants of dynatomic polynomials of $x^d$

math.NT

v2

Let $K$ be a field of characteristic zero, and let $\phi(x)\in K[x]$ be a polynomial of degree at least 2. Denote the $n$-th iterate of $\phi$ by $\phi^n$. The $n$-th dynatomic polynomial of $\phi$ is defined by $$\Phi_{\phi,n}(x) := \prod_{k\mid n}(\phi^k(x)-x)^{\mu(n/k)}.$$ In this paper, we specialize to the case $\phi(x) = x^d$. We first establish several properties of $\Phi_{\phi,n}$ that are analogous to those of cyclotomic polynomials. We then combine these properties with known results on resultants of cyclotomic polynomials to determine the resultants of dynatomic polynomials. In particular, for $1\leq n< m$, we show that $\operatorname{Res}(\Phi_{\phi,n},\Phi_{\phi,m}) = 1$ if and only if $n\nmid m$. When $n\mid m$, we obtain the explicit formula $$\operatorname{Res}(\Phi_{\phi,n},\Phi_{\phi,m}) = \Phi_{m/n}(d^n)^{\nu_d(n)},$$ where $\Phi_j$ is the $j$-th cyclotomic polynomial, $\nu_d(1) = d-1$, and $\nu_d(n) = \operatorname{deg}\Phi_{\phi,n}$ for $n>1$.

A Proof of Fraenkel's Conjecture

math.NT

v2

Fraenkel's conjecture asserts that a partition of the integers into at least three Beatty sequences with distinct moduli has the binary densities $1,2,4,\ldots,2^{m-1}$, normalized by $2^m-1$. We prove the conjecture through a dimension-free intermediate statement: every such partition contains a component of density at least 1/3. After reducing the partition to primitive common-period data, Fourier cancellation produces a finite inverse-sine system. We prove that no such system can exist when every density is below 1/3. The proof combines a divisor-concentration identity with uniform analytic estimates and three exact finite verifications, all carried out with integer or rational arithmetic. The component supplied by the density bound has mean spacing at most three. Deleting it preserves balance, and every surviving periodic balanced set is again a rational Beatty set. Induction determines the surviving binary scales, while a two-sequence disjointness criterion forces the deleted density to be the next binary scale. This yields the asserted density pattern.An eventual Beatty representation of balanced binary indicators extends the classification to one-sided balanced sequences on at least three letters with distinct positive densities, proving the balanced-sequence conjecture of Altman, Gaujal, and Hordijk.

Classification of torsion of elliptic curves over quintic fields

math.NT

math.AG

v3

We determine all the groups that appear as the torsion group of an elliptic curve over a quintic number field. Apart from the groups that already occur infinitely often, which were determined by Derickx and Sutherland, exactly three groups occur: $\mathbb{Z}/28\mathbb{Z}$, $\mathbb{Z}/30\mathbb{Z}$ and $\mathbb{Z}/2\mathbb{Z}\times\mathbb{Z}/18\mathbb{Z}$. Up to isomorphism of the pair $(K,E)$, the first and the third are each realised by a single elliptic curve and the second by two curves, which are $2$-isogenous over a common quintic field. The curves realising $\mathbb{Z}/28\mathbb{Z}$ and $\mathbb{Z}/30\mathbb{Z}$ were found by van Hoeij, while the group $\mathbb{Z}/2\mathbb{Z}\times\mathbb{Z}/18\mathbb{Z}$ is new, and $5$ is the smallest degree in which a non-cyclic sporadic torsion group occurs. The methods improve on those developed by Derickx and Najman, and are based on Hecke sieves and the arithmetic of cuspidal divisor classes.

An explicit power-saving bound for S\'{a}rk\"{o}zy's Theorem on shifted primes, assuming GRH

math.NT

math.CO

v2

Assume the Generalised Riemann Hypothesis. If $A\subseteq \{1,...,N\}$ contains no two elements differing by $p+1$, $p$ prime, then $|A|\ll N^{\frac{89}{90} + o(1)}$.

Abelian $p$-extensions with restricted $p$-ramification and the cyclotomic $\mathbb{Z}_2$-extension of $\mathbb{Q} (\sqrt{q})$

math.NT

v2

We develop Hachimori's study on the unramified Iwasawa modules using extensions with restricted $p$-ramification. Let $K$ be an algebraic number field, and $p$ a prime number which splits into two distinct primes $\mathfrak{p}$, $\mathfrak{p}'$ in $K$. Assume that $K$ and $p$ satisfies several (somewhat strict) conditions. Let $K_\infty /K$ be the cyclotomic $\mathbb{Z}_p$-extension. In the present paper, we give a method to study the structure of the unramified Iwasawa module $X (K_\infty)$ by using abelian $p$-extensions unramified outside $\mathfrak{p}$. We give a sufficient condition for $|X (K_\infty)|$ to be finite in terms of such extensions. We also give a similar criterion for $X (K_\infty)$ to be finitely generated over $\mathbb{Z}_p$. In the latter part of the present paper, we consider the case where $k = \mathbb{Q} (\sqrt{q})$ with an odd prime number $q$ and apply our results to the cyclotomic $\mathbb{Z}_2$-extension $k_\infty /k$. We give a necessary and sufficient condition for $X (k_\infty)$ to be cyclic over $\mathbb{Z}_2$, which is different from the former results given by either Mouhib-Movahhedi or Mizusawa-Mouhib. We also give several sufficient conditions for the validity of Greenberg's conjecture.

The Beilinson--Bloch heights of generalized Ceresa cycles

math.NT

v2

We compute the Beilinson--Bloch height of the generalized Ceresa cycle $\mathrm{Ce}(V)=\frac 1 2(V-[-1]_*V)$ for any cycle $V$ of pure dimension $d$ on an abelian variety $A$, in terms of an arithmetic intersection number of a certain adelic line bundle. As an application, we prove that this height is given by an adelic line bundle over algebraic families.

Kink-equivalence of matrices, spanning surfaces, 4-manifolds, and quadratic forms

math.GT

math.NT

v2

All checkerboard surfaces for a given knot in $S^3$ are related by isotopy and (geometric) ``kinking" and ``unkinking" moves, which change matrices representing the surfaces' Gordon-Litherland pairings like this: $G\leftrightarrow G\oplus [\pm1]=\left[\begin{smallmatrix} G&\mathbf{0}\\ \mathbf{0}^T&\pm1 \end{smallmatrix}\right]$. We call two symmetric integer matrices ``kink-equivalent" if they are related by (matrix) ``kinking'' and ``unkinking'' moves $G\leftrightarrow G\oplus [\pm1]$ and unimodular congruence. We prove constructively that every nonsingular symmetric integer matrix is kink-equivalent to a positive-definite matrix and to a negative-definite matrix, and we give bounds on the number of moves required. This implies that every knot in $S^3$ is ``alternating up to fake unkinking moves." It also has implications for 4-manifolds and quadratic forms.

The Schur multiplier of $\rm{SL}_2$ and Dedekind zeta-functions over $S$-integers

math.KT

math.NT

v2

In this paper, we obtain an exact sequence connecting $H_2(\rm{SL}_2(\mathcal{O}_{K,S}), \mathbb{Z})$ to $H_2(\rm{SL}_2(\mathcal{O}_{K,T}), \mathbb{Z})$, where $\mathcal{O}_{K,S}$ is a ring of $S$-integers and $T$ is a set of primes containing $S$. We apply this sequence to establish a relation between $H_2(\rm{SL}_2(\mathcal{O}_{K,S}), \mathbb{Z})$ with the second $K$-group $K_2(\mathcal{O}_{K,S})$, for $S$ large enough. This leads to a description of the rank and size of the torsion of $H_2(\rm{SL}_2(\mathcal{O}_{K,S}), \mathbb{Z})$. As an application, we propose a homological version of the Birch-Tate formula (conjecture) under these assumptions.