Number Theory [math.NT]

Closed geodesics in homology classes modulo sublattices

math.NT

math.GT

Let $M$ be a Weil-Petersson random hyperbolic surface of genus $g$, and let $\Gamma \subset \mathbb{Z}^{2g}$ be a lattice of prime index $q$. We study the distribution of primitive closed geodesics in homology classes mod $\Gamma$ in the large genus limit. Averaging over all lattices of index $q$, with $q \to \infty$, we compute all the centered moments of the corresponding weighted counting functions, and exhibit a transition between Poisson and Gaussian regimes (depending on whether $\frac{X}{q\log X}$, the expected number of primitive geodesics in a given homology class mod $\Gamma$, tends to $\lambda>0$ or $\infty$). We also study the unnormalized variance $G_M(X,\Gamma)$ of the counts among homology classes, and show that as $X \to \infty$, averaged over all lattices of prime index $q$, it is asymptotic to $X\log X$ in the large genus limit. These results are analogous to phenomena arising in the distribution of primes in arithmetic progressions.

Discrete dynamics of Eratosthenes sieve

math.NT

We study Eratosthenes sieve as a discrete dynamic system. At each stage of the sieve there is a cycle of gaps ${\mathcal G}(p^\#)$ of length $\phi(p^\#)$ and span $p^\#$. There is a recursion ${\mathcal G}(p_k^\#)\longrightarrow {\mathcal G}(p_{k+1}^\#)$ that creates the next cycle from the current one. If we take initial conditions from the cycle ${\mathcal G}(p_0^\#)$, then for all constellations of span $|s| < 2p_1$, including gaps $g < 2p_1$, the driving terms of various lengths form Markov chains. These yield {\it exact} models for the populations $n_s(p_k^\#)$ for all further stages of the sieve. If $s$ is an admissible constellation of length $J$, then its population $n_{s,J}(p^\#)$ grows as $\Theta \left( \prod (q-J-1)\right)$. So we factor out the superexponential growth to obtain the exact model for the relative population $w_s(p_k^\#)$ of the constellation $s$ across all further stages of the sieve. $$ w_{s,J}(p_k^\#) \; = \; n_{s,J}(p_k^\#) \, / \, \prod_{J+1 < p \le p_k} (p-J-1) $$ The asymptotic value of the relative population is a constant ${w_{s,J}(\infty) \ge 1}$ that depends only on the odd prime factors that divide a span in $s$. Assuming that the instances of a constellation $s$ are approximately uniformly distributed in ${\mathcal G}(p_k^\#)$, we develop first-order estimates of the number of instances $s$ that would occur in the interval of survival $\Delta H(p_k) = (p_k^2, p_{k+1}^2]$. We define a statistic $\eta_s(p_k)$, the quadratic density of the constellation $s$ over the interval $\Delta H(p_k)$. We show that the first-order estimates $\widehat{\eta_g}(p)$ for prime gaps agree with samples up to $5.677\,E14$.

$k$-Lucas Annulus for Polynomial Zeros

math.NT

We prove a binomial identity relating the $k$-Lucas and $k$-Fibonacci sequences: for real $k>0$ and integers $m\ge1$, $n\ge1$, a binomial-weighted sum of $k$-Lucas numbers reduces to a multiple of $L_{k,mn}$ when $n$ is even, but to a multiple of $F_{k,mn}$ when $n$ is odd. This parity dependence traces back to the $k$-Lucas Binet formula lacking the normalising factor $1/(\alpha-\beta)$ present for $k$-Fibonacci numbers. The identity supplies, for each parity of $n$ and each $m$, an explicit family of positive weights summing to one; combined with the general annulus principle of Dalal and Govil, this yields a $k$-Lucas annulus containing all the zeros of a complex polynomial of degree $n$, complementing the $k$-Fibonacci-based bounds of D\'iaz-Barrero, Bidkham-Shashahani, and Kaur.

A Neighbouring-Denominator Case of the Erd\H{o}s--Mahler Conjecture

math.NT

In 1939, Erd\H{o}s and Mahler conjectured that an irrational real number $\xi$ must be a Liouville number whenever $P(p_nq_n)$ is bounded for infinitely many convergents $p_n/q_n$, where $P(N)$ denotes the largest prime factor of a nonzero integer $N$. In this note, we prove a neighbouring-denominator case of their conjecture: if $P(p_nq_nq_{n+1})$ is bounded for infinitely many $n$, then $\xi$ is a Liouville number. The proof combines the determinant identity for consecutive convergents with a fixed-base estimate for linear forms in $p$-adic logarithms.

Period Relations for Theta Products and Elliptic Integral Moments

math.NT

We develop a period-polynomial approach to relations among critical L-values of modular forms arising from theta products and elliptic integral moments. In particular, period relations provide a conceptual explanation for several known rational relations among moments of complete elliptic integrals that had previously been discovered through analytic or experimental methods.

The k-Rank Taylor Family: Canonical Harmonic Lifts, Principal Parts, and Rademacher Series

math.NT

For fixed $k\ge2$, Garvan's modified $k$-rank moments are encoded by odd elliptic Taylor coefficients of an odd-level Appell function. The completed coefficient of order $2n+1$ has weight $2n+3/2$, so the family cannot be realized as a fixed-weight vector-valued modular form. Nevertheless, all non-holomorphic parts arise from scalar contractions of canonical higher Serre derivatives of a single weight-$3/2$ vector-valued harmonic Maass form. Among lifts with the prescribed unary-theta shadow, the first $d=k-1$ Appell corrections are coordinates on the weakly holomorphic ambiguity and select a unique lift; the next correction is nonzero. The initial Taylor data recover the principal part without using positive Fourier coefficients of the modified moment series, and the principal part determines the shadow. The positive coefficients of the corresponding Maass--Poincar\'e lift have convergent Rademacher expansions; the canonical lift differs from it by a unique cusp form. This yields exact recursions for all even modified moments. For $k=2$, the cusp-form adjustment vanishes, giving an exact formula for the numbers of $2$-marked Durfee symbols involving a convergent Kloosterman--Bessel series.

$\mathbb{F}_q$-linear relations among Thakur's multiple zeta values in positive characteristic

math.NT

math.AG

math.CO

Let $\mathcal{Z}_w^{(\mathbb{F}_q)}$ be the $\mathbb{F}_q$-linear subspace of $\mathbb{F}_q(\!(\theta^{-1})\!)$ spanned by Thakur's multiple zeta values $\zeta_A(\mathfrak{s})$ of weight $w$. We prove that $\sum_{w=1}^{\infty} \left(\dim_{\mathbb{F}_q} \mathcal{Z}_w^{(\mathbb{F}_q)}\right) x^w = \frac{x(1-x^q)(1-2x+x^q)}{(1-2x+x^{q+1})^2}$. Moreover, we construct an explicit $\mathbb{F}_q$-basis of $\mathcal{Z}_w^{(\mathbb{F}_q)}$, and prove that any $\mathbb{F}_q$-linear relation among Carlitz multiple polylogarithm values $\operatorname{Li}_A(\mathfrak{s})$ is an $\mathbb{F}_q$-linear combination of quadruple-carry relations. This result can be regarded as an $\mathbb{F}_q$-analogue of the corresponding $\mathbb{F}_q(\theta)$-theorem proved by Chang--Chen--Mishiba and independently by Im--Kim--Le--Ngo Dac--Pham. Our discovery of the quadruple-carry relations is inspired by the recent work of Im--Kim--Ngo Dac. These relations may be viewed as $\mathbb{F}_q$-analogues of the double-shuffle relations among classical multiple zeta values $\zeta(\mathfrak{s})$.

Torsion-vanishing for Siegel modular varieties via supercuspidal congruences

math.NT

We prove that the generic part of the cohomology of Siegel modular varieties with torsion coefficients is concentrated above the middle degree, under a suitable notion of genericity that is optimal in the unramified case. Our method relies on the semi-perversity of the relative cohomology of the Igusa stack and on a trace formula computation that is made possible by a congruence technique introduced by Scholze and Fintzen--Shin. Compared with the work of Yang--Zhu, which handles Shimura varieties of abelian type via categorical local Langlands, our method is adapted to Siegel modular varieties but handles coefficients of arbitrarily small characteristic.

Specialisations of the Burungale-Castella-Skinner main conjecture to $\mathbb Z_p$-lines

math.NT

Let $p>3$ be a prime, $E/\mathbb Q$ be an elliptic curve and $K$ an imaginary quadratic field satisfying the hypotheses of Burungale-Castella-Skinner, and let $L/K$ be the unique $\mathbb{Z}_p^2$-extension. In this note, by combining their integral two-variable main conjecture with the specialisation formula of the first-named author, we obtain a characteristic-ideal identity over every $\mathbb{Z}_p$-line in $L/K$, involving an explicit local factor. With the characteristic ideal of a non-torsion module defined to be zero, this identity also applies when the two-variable Perrin-Riou element specialises to zero. We call such lines exceptional and prove that only finitely many occur. We also prove that the cyclotomic line is non-exceptional with trivial local factor, and that the anticyclotomic line is exceptional. Finally, we bound the number of exceptional lines by the cyclotomic augmentation order and prove that if the $p$-primary Tate-Shafarevich group over $K$ is finite and the cyclotomic $p$-adic height pairing is non-degenerate, then this number is at most ${\rm rank}(E(K))$. In particular, when $E(K)$ has rank one, the anticyclotomic line is the unique exceptional line.

Two-point correlations of multiplicative functions with dense orbits

math.NT

Let $f,g:\mathbb{N}\to\mathbb{T}$ be completely multiplicative functions with dense images in the complex unit circle $\mathbb{T}$. We prove that, for every non-empty open set $U \subset \mathbb{T}^2$, the set of integers $n$ such that $(f(n),g(n+1)) \in U$ has positive lower logarithmic density, unless the pair $(f,g)$ is of a special form. This result strengthens earlier theorems of Klurman and Mangerel, as well as of Charamaras, Mountakis, and Tsinas, and yields substantially simpler proofs.

The Cartesian product of exact approximation sets

math.NT

We determine the Hausdorff and packing dimensions of Cartesian products of one-dimensional exact approximation sets. Our main result establishes the exact-approximation counterpart of the recent product theorem of Wang and Wu (2024) for limsup approximation sets, showing that passing to the substantially smaller exact approximation sets (liminf sets) does not reduce the Hausdorff dimension of the Cartesian product. One of the key ingredients is a refinement of the well-distributed-system framework of Bandi--Ghosh--Nandi (2023) by exploiting the fine arithmetic distribution of rational points which then gives the Hausdorff dimension of the product set under a weaker convergence condition.

Ap\'ery-type approximations and irrationality measures for certain $q$-series

math.NT

We construct a three-parameter family of rational approximations to values of $q$-hypergeometric series. Using these approximations, we prove that, for every integer $x$ with $|x|\geq2$, the values at $r=x^{-1}$ of Ramanujan's theta function $\psi(r)=\sum_{n\geq0}r^{n(n+1)/2}$, the generating function $\Delta(r)=\sum_{m\geq0}d(2m+1)r^m$ of the divisor function restricted to odd integers, and the generating function $B_4(r)=\sum_{n\geq0}b_4(n)r^n$ for $4$-regular partitions are irrational. We further obtain the upper bounds $18/7$, $18\pi^2/(7\pi^2-24)$, and $3$, respectively, for their irrationality measures. We also show that one of the constructed approximations coincides with the Pad\'e approximation to a Lambert series due to Coussement--Smet.

Resultants of dynatomic polynomials of $x^d$

math.NT

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$, and we obtain an explicit formula for $\operatorname{Res}(\Phi_{\phi,1},\Phi_{\phi,m})$.

Arithmetic purity of strong approximation for cubic hypersurfaces of large dimension

math.NT

In this paper, we establish the arithmetic purity of strong approximation for smooth geometrically integral cubic hypersurfaces $X\subset \mathbb{P}^n$ over number fields $k$, provided that $n\ge 323$. For $k=\mathbb{Q}$, the bound can be lowered to $n \ge 30$.

Modular periodicity of the Euler up/down numbers at odd prime powers

math.NT

math.CO

Let $E_n$ denote the number of alternating permutations of $\{1,\dots,n\}$, equivalently characterized by $\sum_{n\ge0}E_nz^n/n!=\sec z+\tan z$. For every $q\ge1$, the sequence $(E_n\bmod q)_{n\ge0}$ is eventually periodic; let $d(q)$ and $s(q)$ denote its minimal eventual period and preperiod. For every odd prime $p$, Knuth and Buckholtz proved $d(p)=\operatorname{lcm}(p-1,4)$ together with \[ d(p^r)\mid p^{r-1}d(p), \qquad s(p^r)\le r, \] and Ramassamy conjectured that both bounds are attained for every $r\ge1$. In this paper, we introduce an algebraic frequency expansion for the Euler numbers over $S_r=(\mathbb Z/p^r\mathbb Z)[x]/(x^2+1)$. Using Hurwitz series, the Euler sequence is represented algebraically as a finite combination of formal exponential modes, in a manner reminiscent of Fourier analysis. Using this expansion, we prove \[ d(p^r)=p^{r-1}d(p) \qquad \text{for every odd prime $p$ and every $r\ge1$}, \] thereby establishing Ramassamy's period conjecture. We also disprove the preperiod conjecture by proving \[ s(5^5)\le4<5. \] Finally, we prove that $5^5$ is the smallest odd prime power for which $s(p^r)\ne r$, and based on our findings we conjecture \[ s(p^r)\ge r-2 \] for every odd prime $p$ and every $r\ge2$.

On variants of P\'olya's conjecture

math.NT

In this paper, we study a Riesz-type weighted sum of the Liouville function, $f(x):=-\sum_{n\le x}\frac{\lambda(n)\log n}{\sqrt n}\log\frac{x}{n}$ for sufficiently large $x$. Motivated by a recent research on the sign criteria for the Riemann Hypothesis arising from weighted prime-counting functions, we investigate the sign behavior of $f(x)$ and its relation to the zeros of the Riemann zeta function. We first prove that if $f(x)$ is non-negative for all sufficiently large $x$, then the Riemann Hypothesis holds. The proof is based on the Mellin transform of $f$ and the analytic properties of $\frac{\zeta(2s)}{\zeta(s)}$. Conversely, assuming the Riemann Hypothesis, the Simple Zero Conjecture, and an absolute convergence condition involving the nontrivial zeta zeros, we derive an explicit formula for $f(x)$ in terms of these zeros. In particular, we show that $f(x)\sim \frac{(\log x)^3}{12|\zeta(\frac{1}{2})|}$ as $x\to \infty$. Consequently, we show that under these hypotheses, $f(x)$ is eventually positive.

Exceptional covers of the projective line with genus-one Galois closure: arithmetic forms over finite fields

math.NT

math.AG

Let $k=\mathbb F_q$. We classify, up to two-sided $k$-M\"obius equivalence, all separable indecomposable tame exceptional maps $\mathbf P^1_k\to\mathbf P^1_k$ whose geometric Galois closure has genus one. The resulting arithmetic fixed-field forms are encoded by Frobenius-stable affine elliptic quotient data recovered from the cover; we prove a converse and an exact equivalence criterion. The same data determine branch arithmetic, geometric and arithmetic monodromy, the constant field, and behavior over every finite extension. In particular, over each $\mathbb F_{q^r}$, permutation is equivalent to exceptionality. We obtain explicit rank-two support formulas, necessary and sufficient occurrence criteria, and exact two-sided class counts in every tame signature, including the surviving cases in characteristics $2$ and $3$. In characteristic greater than $3$, tameness is automatic. A sharp $3$-adic obstruction arises only for a stronger cubic self-endomorphism realization problem, not for the fixed-field classification itself.

The Matrix Pythagorean Equation over $\mathrm{GL}_2(\mathbb{Z})$

math.NT

In this paper, we study the ordered solutions of the matrix Pythagorean equation $X^2+Y^2=Z^2$ over $\mathrm{GL}_2(\mathbb{Z})$ . Exploiting the independent sign symmetry of the equation, we first reduce the full solution set to the trace-nonnegative subset $\mathcal M$, consisting of those solutions for which all three traces are nonnegative. We then determine a canonical decomposition of $\mathcal M$ into orbits under simultaneous integral conjugacy.

Birch's theorem over function fields with quadratically many variables

math.NT

math.AG

For smooth hypersurfaces over rational function fields of characteristic greater than the degree and with sufficiently large constant field, we improve the number of variables required in Birch's theorem from an exponential function of the degree to a quadratic one. This agrees, up to constants, with the sharp quadratic threshold for the unconditional existence of rational points on smooth hypersurfaces. Drawing on an idea of Pugin developed by Sawin for Waring's problem, we treat the minor arcs using complete exponential sums over finite fields; a result of Katz reduces the required cancellation to obtaining lower bounds for the codimensions of certain singular loci. Our main innovation is a new method for proving these bounds: we introduce the notion of multiplication rank for the linear functionals indexing these exponential sums and combine the resulting rank stratification with a weighted degeneration of the Jacobian equations to obtain a codimension estimate that grows linearly with multiplication rank.

On Consecutive Non-primitive Elements over Finite Fields

math.NT

In this article, we establish a bound on $\theta_q$ that guarantees the existence of a pair of consecutive non-primitive elements in $\mathbb{F}_q$, with the exceptions $q=4$ and $q=8$. We first derive a sufficient condition for the existence of such a pair using character sums and then obtain the stated bound by considering several cases according to the least prime divisor of $q-1$.

On Piatetski-Shapiro primes from almost primes

math.NT

Denote by $\mathcal{P}_r$ an almost-prime with at most $r$ prime factors, counted according to multiplicity. In this manuscript, it is established that, for any fixed $0.98353<\gamma<1$, there exist infinitely many primes of the form $p=[n^{1/\gamma}]$, where $n$ is an almost-prime $\mathcal{P}_7$. This result constitutes an improvement upon the previous result of Baker, Banks, Guo and Yeager [1], who showed that there exist infinitely many primes $p$ such that $p=[n^{1/\gamma}]$ with $n\in\mathcal{P}_8$ for $\gamma$ near to one.

Integers divisible by a shifted prime in a given interval

math.NT

In this paper we study the behaviour of $H^*(x,y,z)$, the number of integers less than $x$ possessing a divisor in the interval $(y,z]$ of the form $p-1$, where $p$ is a prime, for all values of $y = y(x)$ and $z= z(y)$. We observe multiple phase transitions at critical values of $z$ in terms of $x$ and $y$ guided largely by the anatomy of $n$. Our results generalize a result of Ford from 2017, which corresponds to the case $z = x$.

Delta theory of Anderson Modules II: Hodge-Pink structure

math.NT

math.AG

In this article, using the theory of $\delta$-geometry, we construct a canonical $z$-isocrystal $(\mathbf{H}_\delta(E), \mathfrak{f}^*)$ admitting a Hodge-Pink structure for any abelian Anderson module $E$. The Hodge-Pink structure on $\mathbf{H}_\delta(E)$ induces a natural filtration $(\mathbf{H}_\delta(E) \supset \mathbf{X}_{\mathrm{prim}}(E) \supset \{0\})$. The elements of $\mathbf{X}_{\mathrm{prim}}(E)$ are represented by primitive delta characters associated to $E$. We establish a natural morphism from $\mathbf{H}_\delta(E)$ to the associated de Rham cohomology module $\mathbf{H}^*_{\mathrm{dR}}(E)$, which is strictly compatible with the aforementioned filtration and the classical Hodge filtration $(\mathbf{H}^{*}_{\mathrm{dR}}(E)\supset {\mathrm{Lie}(E)^{*}}\supset \{0\})$ on $\mathbf{H}^*_{\mathrm{dR}}(E)$. Moreover, we show that the map induces an isomorphism between $\mathbf{X}_{\mathrm{prim}}(E)$ and $\mathrm{Lie}(E)^*$. Hence our isomorphism provides an interesting interpretation of the invariant differentials of $E$ as primitive delta characters of $E$. Furthermore, when $E$ is a Drinfeld module, we show that the constructed $z$-isocrystal $\mathbf{H}_\delta(E)$ is weakly admissible. Consequently, the positive equal characteristic analogue of the Fontaine functor associates a crystalline $z$-adic Galois representation to the $\delta$-geometric object $\mathbf{H}_\delta(E)$. In the case, when $E$ is the Carlitz module, we show that the Galois representation associated to $\mathbf{H}_\delta(E)$ is indeed the usual one coming from the Tate module.

Value distribution of multiplicative functions along linear fractional sequences

math.NT

For $a,c\in\mathbb{N}$ and $b,d\in\mathbb{Z}$ such that the (non-empty) set \[ R_{a,b,c,d} :=\left\{\frac{an+b}{\,cn+d\,}: n\in\mathbb{N}\right\} \cap\bigl(\mathbb{Q}_{>0}\setminus\{1\}\bigr) \] is multiplicatively recurrent, we give a complete characterization of the set of limit points of every unimodular multiplicative function $f\in\mathcal{M}$ along $R_{a,b,c,d}.$ We show that the possible limit sets are either the finite subgroups of the unit circle or the entire circle, thereby extending the dichotomy of Klurman--Mangerel.

On polynomial expanders with many variables

math.CO

math.NT

For a fixed integer $n\ge 2,$ we consider the homogeneous polynomial $$ P(x_1, x_2, \ldots, x_{n+2})=\sum_{i=1}^{n} (x_2-x_1)^{i-1} x_1^{n-i} x_{i+2}. $$ We prove that, for any finite set $A$ of complex numbers, $$ \Bigl|\bigl\{P(x_1,x_2,\ldots,x_{n+2}): \, x_i\in A\bigr\}\Bigr|\gg |A|^{n}. $$ The implicit constant in $\gg$ may depend only on $n.$

Mixed Tate motives over number fields

math.KT

math.AT

math.NT

This paper relates algebraic K-theory of fields to polylogarithms via general linear groups. We focus on the case of number fields and prove that the motivic realisation map from the Goncharov Lie coalgebra to the motivic Lie coalgebra is an isomorphism. This implies the Goncharov universality conjecture and a structural result for special values of Dedekind zeta functions. We also construct explicit polylogarithmic cocycles representing nonzero multiples of the Borel classes.

Isocrystals on unibranch varieties and open immersions

math.AG

math.NT

We prove that for a connected, geometrically unibranch variety $X$ over a perfect field of positive characteristic and a dense open subset $U \subset X$, the canonical homomorphism between the Tannaka duals of the categories of overconvergent isocrystals is a quotient map. We also show that the analogous statement for convergent isocrystals, and for all isocrystals, fails. The counterexample is based on Crew's construction of a unit-root $F$-isocrystal that is convergent but not overconvergent.

The Sharp Spectral Transition for Almost Mathieu Operators via Alternating Resonances

math-ph

math.DS

math.MP

math.NT

math.SP

We prove that for any given frequency resonance exponent and phase resonance exponent, there exist a frequency and a phase exactly realizing these values such that the Almost Mathieu operator exhibits Anderson localization for $\ln|\lambda|>\max\{\beta(\alpha),\delta(\alpha,\theta)\}$. This resolves the conjecture in \cite{MR4686650}.

A Mixed Robinson--Schensted--Knuth Construction in the Representation Theory of $\mathrm{GL}_n$ over Local non-Archimedean Fields

math.CO

math.NT

math.RT

We present a simple combinatorial method for computing the socle of representations of $\mathrm{GL}_n(F)$, where $F$ is a local non-Archimedean field, parabolically induced from two ladder representations. We adapt recent approaches to such problems using the classical Robinson--Schensted--Knuth correspondence (RSK) and introduce a new variant of RSK that we call mixed-RSK. Some combinatorial properties of this map are investigated and then used to resolve a conjecture of Erez Lapid.

Hankel determinants of Catalan-like sequences

math.CO

math.NT

In this paper, we compute the (shifted) Hankel determinants of Catalan-like sequences, which arise naturally from the weighted enumerations of nonintersecting Motzkin meanders. Among these determinant evaluations, one and a half are newly discovered, featuring generic shifted Hankel determinants; two were formulated earlier by Cigler and Krattenthaler in an equivalent combinatorial form; and the rest were conjectured by Cigler. As an application, we further confirm a conjectural binomial determinant identity proposed by Cigler and Krattenthaler.

Congruences of $p$-adic $L$-functions of modular forms at non-ordinary primes

math.NT

v2

We present an analogue of Greenberg-Vatsal's and Emerton-Pollack-Weston's results on congruences of $p$-adic $L$-functions for $p$-non-ordinary cuspidal eigenforms $f$ and $g$ of equal weight that are $p$-congruent. In particular, we prove that the Iwasawa invariants of the analytic and algebraic signed $p$-adic $L$-functions of $f$ and $g$ are related by explicit formulae under appropriate hypotheses. We also show under the same assumptions that provided the algebraic and analytic $\mu$-invariants vanish, the signed Iwasawa main conjecture is true for $f$ if and only if it is true for $g$.

Almost all binary forms of degree $\geq 3$ fail to represent a fixed integer

math.NT

v4

We prove that for any fixed integer \( n \geq 3 \) and nonzero integer \( m \), the proportion of integral binary forms of degree \( n \) that represent \( m \) tends to zero as the height tends to infinity. In fact, almost all such forms fail to represent \( m \). Our method uses lattice point counting and geometric methods, including Davenport's lemma and estimates for volumes of hyperplane sections of cubes, together with an analysis of the distribution of rational points on such hyperplanes. The result also holds when restricted to irreducible forms.

Curves of genus two with maps of every degree to a fixed elliptic curve

math.NT

math.AG

v5

We show that up to isomorphism there are exactly twenty pairs $(C,E)$, where $C$ is a genus-$2$ curve over ${\mathbf C}$, where $E$ is an elliptic curve over ${\mathbf C}$, and where for every integer $n>1$ there is a map of degree $n$ from $C$ to $E$. We also show that for every genus-$2$ curve $C$, there is an integer $n$ with $1 < n \le 59$ such that there is no minimal degree-$n$ map from $C$ to an elliptic curve.

On the approximation gain for abc-triples

math.NT

v2

The concept of approximation gain was introduced recently by M\"uller and Taktikos for some abc-triples related to convergents of surds, where there is a relatively large gap between min{a,b,c} and max{a,b,c}. This note proposes a generalization of the concept to all abc-triples, with several variants. Extensive numerical computations are provided.

Simplest cubic fields with small class number

math.NT

v3

Let $m\in\mathbb{Z}$ be an integer and $L_m=\mathbb{Q}(\alpha)$ be the simplest cubic field with class number $h_m$ and conductor $\mathfrak{f}_m$ where $\alpha$ is a root of $f_m(X)=X^3-mX^2-(m+3)X-1$. Let $\mathcal{O}_{L_m}$ be the ring of integers of $L_m$. By using PARI/GP, we determine that if $[\mathcal{O}_{L_m}:\mathbb{Z}[\alpha]]=1$ $($resp. $3$, $27$$)$, i.e. $m^2+3m+9=\mathfrak{f}_m$ $($resp. $3\mathfrak{f}_m$, $27\mathfrak{f}_m$$)$, then there exist exactly $581$ (resp. $80$, $142$) integers $m\geq -1$ such that $h_m\leq 1000$. We also show that if $-1\leq m\leq 10^7$, then $h_m<16$ holds for $138=26+31+11+10+36+21+3$ integers $m$. More precisely, there exist $26$ $($resp. $31$, $11$, $10$, $36$, $21$, $3$$)$ integers $m$ with $-1\leq m\leq 10^7$ such that $h_m=1$ $($resp. $3$, $4$, $7$, $9$, $12$, $13$$)$ which are given explicitly. All computations of the class numbers and class groups of the listed fields are certified unconditionally. Under the GRH $($Generalized Riemann Hypothesis$)$, we confirm that these are the only such integers $m$ in the range $-1\leq m\leq 10^7$. We conjecture that the $26$ integers $m$ obtained above with $h_m=1$ are the only integers $m\geq -1$ with $h_m=1$.

Automorphisms of finite fields from isogeny cycles

math.NT

math.AG

v2

We develop an explicit geometric construction of automorphisms of finite fields arising from isogeny cycles. Let $k$ be a finite field, $E/k$ an elliptic curve, and $\ell$ an integer coprime to $\mathrm{char}(k)$. Let $\mathfrak{h}$ be an ideal of $\mathrm{End}(E)$ dividing $\ell$, and consider the corresponding torsion subgroup $E[\mathfrak{h}]\subseteq E[\ell]$. From the action of End(E) on $E[\mathfrak{h}]$, we construct the splitting field $K$ of the $x$-coordinates of points in $E[\mathfrak{h}]$ and the associated Galois group $\mathrm{Gal}(K/k)$. This yields $(\mathrm{End}(E)/\mathfrak{h})^* \to \mathrm{Gal}(K/k)$ a group homomorphism.

Modular elliptic curves and hyperbolic uniformization

math.NT

v2

In an article published a few years before the modularity of elliptic curves over $\Q$ was proved, Mazur \cite{maz} looked at modularity as a purely complex analytic phenomenon, defining a notion of an elliptic curve over $\Q$ having a hyperbolic uniformisation of arithmetic type. Such an elliptic curve (of conductor $N$, say) is necessarily geometrically modular, i.e. a quotient of the jacobian of the modular curve $X_0(N)$, by a morphism defined over $\Q$. We extend these ideas to elliptic curves over totally real fields of odd degree, using Shimura curves for quaternion algebras split at all finite places and one real place. In particular, we prove that the existence of a hyperbolic uniformisation of arithmetic type would imply geometric modularity.

On the higher algebraic $K$-groups of arithmetically equivalent number fields

math.NT

math.KT

v2

In this paper, based on the structure of higher algebraic $K$-groups of the rings of integers of number fields, we introduce new equivalence relations between number fields called $K$-equivalence and almost $K$-equivalence, and investigate their relationships with arithmetical equivalence and local integral equivalence. Building upon the classical properties of arithmetically equivalent number fields studied by R. Perlis and on the pioneering work by Komatsu, we apply the Rost-Voevodsky theorem (the Quillen-Lichtenbaum conjecture) for odd primes $p$, thereby analyzing algebraic $K$-groups within the framework of continuous \'etale cohomology from a more modern perspective. As our main results, by utilizing permutation representations of global Galois groups and the data of local decomposition groups, we refine Komatsu's previous results in the range $p \neq 2$ and describe the conditions for number fields to be (almost) $K$-equivalent. Through these developments, we clarify how the arithmetic information reflected in higher $K$-groups resonates with the special values of zeta functions and Galois representations.

An intermediate conjecture between Goldbach and Dubner: every even number is the sum of a prime and a twin prime

math.NT

v2

We study the statement that every even number $n \ge 6$ is the sum of a prime and a member of a twin prime pair. It sits between the conjectures of Goldbach and Dubner and implies both the Goldbach and the twin prime conjectures. Our main result is conditional: if the number of twin primes up to $z$ is at least $c\,z/\log^2 z$ for all large $z$, a lower bound of the order predicted by Hardy and Littlewood, with nothing assumed about their distribution, then a positive proportion of the even numbers are so representable, with density at least an absolute multiple of $c$. The proof is Romanov's method with a Selberg sieve, and loses no factor of $\log\log$. Nothing in this direction can be unconditional, since representability on a set of positive density already implies the twin prime conjecture; we show further that a polylogarithmic bound on the least twin summand would force a power-type lower bound on the number of twin primes. We verify the statement exhaustively for all even numbers up to $10^{14}$, where the least twin summand never exceeds 23,029.

Density of shapes of periodic tori in the cubic case

math.DS

math.NT

v2

Consider the compact orbits of the $\mathbb{R}^2$ action of the diagonal group on $\operatorname{SL}(3,\mathbb{R})/\operatorname{SL}(3,\mathbb{Z})$, the so-called periodic tori. For any periodic torus, the set of periods of the orbit forms a lattice in $\mathbb{R}^2$. Such a lattice, re-scaled to covolume one, gives a shape point in $\operatorname{SL}(2,\mathbb{R})/\operatorname{SL}(2,\mathbb{Z})$. We prove that the shapes of all periodic tori are dense in $\operatorname{SL}(2,\mathbb{R})/\operatorname{SL}(2,\mathbb{Z})$. This implies the density of shapes of the unit groups of totally real cubic orders.

Mock modularity at work, or black holes in a forest

hep-th

gr-qc

math-ph

math.AG

math.MP

math.NT

v3

Mock modular forms, first invented by Ramanujan, provide a beautiful generalization of the usual modular forms. In recent years, it was found that they capture generating functions of the number of microstates of BPS black holes appearing in compactifications of string theory with 8 and 16 supercharges. This review describes these results and their applications which range from the actual computation of these generating functions for both compact and non-compact compactification manifolds (encoding, respectively, Donaldson-Thomas and Vafa-Witten topological invariants) to the construction of new non-commutative structures on moduli spaces of Calabi-Yau threefolds.

Formalization of Harder-Narasimhan theory

math.AG

cs.FL

cs.LO

math.NT

v4

The Harder-Narasimhan theory provides a canonical filtration of a vector bundle on a projective curve whose successive quotients are semistable with strictly decreasing slopes. In this article, we present a formalization of Harder-Narasimhan theory in the proof assistant Lean 4 with Mathlib. The formalization is based on a recent approach to Harder-Narasimhan theory by Chen and Jeannin, which reinterprets the theory in order-theoretic terms and avoids the classical dependence on algebraic geometry. As an application, we formalize the uniqueness of the coprimary filtration of a nontrivial finitely generated module over a Noetherian ring, as well as the existence of a Jordan-H\"older filtration for a semistable Harder-Narasimhan game.

On the paucity of lattice triangles

math.DS

math.CO

math.NT

v2

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

The Borel complexity of non-Archimedean operator ranges

math.FA

math.LO

math.NT

v2

We completely classify the possible complexity classes of non-closed operator ranges on separable Banach spaces over a Polish non-Archimedean non-trivially valued field. These are precisely $\boldsymbol{\Pi }_{1+\lambda +n+2}^{0}$ for a countable ordinal $\lambda $ that is either zero or a limit ordinal, and a finite ordinal $n$. Considering Fr\'echet spaces produces the additional complexity classes $\boldsymbol{\Pi }_{\lambda }^{0}$ for a countable limit ordinal $\lambda $.