Number Theory [math.NT]

The Integer Values of $\sum_{i=1}^{n}\frac{1}{\gcd(n,i)}$

math.NT

We study the set of integers $n \le x$ for which $\sum_{i=1}^{n}\frac{1}{\gcd(n,i)}$ takes an integer value. We show that the number of such integers is $\ll x^{2/3+\epsilon}$ for all fixed $\epsilon > 0$.

The structure of irreducible cuspidal eta quotients

math.NT

We show that an ir{\-}reducible cuspidal eta quotient of level~$N$ is uniquely identified by its orders of vanishing at $O((\log_2 N)^{r-1})$ cusps, where $r$ denotes the number of distinct prime divisors of $N$. In particular, all such eta quotients which are Fricke eigenforms of a prime power level, are uniquely identified only by their orders of vanishing at~$\infty$. We also prove that for all $k\in\N$, there exists a primitive and irreducible cuspidal eta quotient of weight $k/2$. It follows from the exhaustiveness of Zagier's list of the primitive holomorphic eta quotients of weight~$1/2$ that the 1st Mersmann level, $\cl{M}_1=12$. Here we show that for all $k\in\N$, the $k$-th Mersmann level is divisible by $2^{2k}$.

Logarithmic moments of the Rogers Ramanujan continued fraction and odd zeta values

math.NT

We study how the two cusp expansions of the Rogers-Ramanujan continued fraction control its ordinary and logarithmic Mellin moments. Ramanujan's factorizations express the logarithmic transform as a combination of products of zeta and quadratic Dirichlet $L$-functions. Its adjacent integer and half-integer values give an invertible change of coordinates for the corresponding odd special values. We prove that every reciprocal-cusp coefficient is a quadratic irrational algebraic integer, with an explicit minimal polynomial, and that every logarithmic coefficient is quadratic irrational. These facts determine the exact poles of three normalized-moment generating functions. The logarithmic one has an absolutely convergent partial fraction expansion with a pole at every positive square. For the ordinary moments, a two-cusp incomplete-gamma expansion gives meromorphic continuation at every positive splitting point. A general Mellin lemma yields the corresponding nonholonomicity statements. We also establish reflection identities, vertical strip decay and an explicit truncation estimate.

Multiplicity Constants for Rough Numbers in Prime Gaps

math.NT

Let $p_n$ be the $n$th prime and $g_n=p_{n+1}-p_n$. Following Gafni and Tao, an integer $m$ with $p_n0$, where $H_r>e$ solves $e^{-\gamma}H_r/\log H_r=r$ ($\gamma$ is Euler's constant), and $c_r=e^\gamma r(\log r+\log\log r+\gamma+(\log\log r+\gamma)/\log r+O((\log\log r)^2/(\log r)^2))$. The proof combines the Montgomery-Vaughan moment bounds for reduced residues in short intervals with an exact removal of the endpoint conditioning. For each fixed $r$, the argument of Gafni and Tao extends to give $N_r(X)\ll_r X/\log^2 X$ unconditionally, and $N_r(X)\sim c_rX/\log^2 X$ under their conjecture. Exact enumeration of the local model gives $c\ge 2.7413$.

Finite-radius Jensen and relative-entropy formulations of the Balazard--Saias--Yor criterion

math.NT

math.FA

We give two explicit reformulations of a Balazard--Saias--Yor type criterion for the Riemann hypothesis. First, Jensen's formula is applied to $u(s)=(s-1)\zeta(s)$ after mapping the unit disk onto $Re s<1/2$. For the normalization whose center corresponds to $s=-1/2$, the images $z_n=(4n-1)/(4n+3)$ of the trivial zeros yield a telescoping Jensen product. This isolates, at finite radius, the complete divergent contribution of the trivial zeros; the remaining defect is a nonnegative integrated count of mapped nontrivial zeros off the critical line. A one-parameter version gives a gamma-quotient product and an explicit finite part. Second, after passing through the established boundary identity, we combine two Poisson weights to obtain an absolutely convergent logarithmic integral of the Riemann $\Xi$-function. From the random variable $Z=|\Xi(T)/\Xi(0)|^2$ we define its law $\mu$ and the size-biased law $\nu(\,\mathrm d z)=z\mu(\,\mathrm d z)/M$. The data-processing inequality is lossless for this statistic, and the Riemann hypothesis is equivalent to saturation of an explicit upper bound for $D_{\rm KL}(\mu\|\nu)$. We also record the associated Donsker--Varadhan and moment forms and express the target constant through Riemann's positive Fourier kernel. The analytic boundary criterion and Jensen--Hardy mechanism used here are known. The purpose of the paper is an explicit finite-radius treatment of the trivial zeros and an information-theoretic reformulation, not a new proof of the Riemann hypothesis or an independent boundary-integral criterion.

Simple and accurate approximations to Dirichlet $L$-functions

math.NT

We extend the quadrature method developed in [10] to Dirichlet $L$-functions associated with primitive characters. The approximations combine finite Dirichlet sums with correction terms whose quadrature coefficients can be precomputed for each character. Numerical experiments demonstrate high accuracy in the critical strip and in other vertical strips. We also describe how to combine these approximations with direct summation and Euler--Maclaurin summation to evaluate $L(s,\chi)$ throughout the complex plane.

A Generalization of the Riemann Functional Equation with Three Variables

math.NT

The discovery that the generalized Riemann functional equation from the literature can be extended to real $b \ge 0$, by exploiting symmetries of a new formula for the Hurwitz zeta function with respect to the shift parameter $(b)$, led to the search for a similar relation for the Lerch $\Phi$ function, $\Phi(e^z,k,b)$, where a new formula is used as a starting point and the symmetries with respect to $b$ are exploited again. This search resulted in a generalization of the Riemann functional equation with three variables, whose domain is then extended to $b>1$, with the aid of a new self-contained Lerch $\Phi$ formula, making the relation hold for all real $b$. As a secondary objective, we address the problem of obtaining the analytic continuation of a finite summation that appears in a formula for the Lerch $\Phi$ function. Above all, this paper demonstrates, with clear elementary mathematics, how a functional equation can be derived.

Irreducibility of Generalised Laguerre Polynomials for Large Integer Parameters

math.NT

For a positive integer $n$, we study the irreducibility of the generalised Laguerre polynomials \[ L_n^{(a)}(x) = \frac{1}{n!}\sum_{j=0}^{n} \binom{n}{j} \frac{(n+a)!}{(j+a)!}(-1)^j x^j, \] where $a \in \mathbb{Z}_{\ge 0}$. Earlier works established that these polynomials are irreducible over $\mathbb{Q}$ for $0 \le a \le 50$. In this paper, we substantially strengthen these results by establishing that $L_n^{(a)}(x)$ are irreducible for all $a \le 1000$. We derive sharper constraints on potential integer roots and make systematic use of the geometry of the associated Newton polygons. This approach allows us to extend the irreducibility range significantly while keeping explicit computations to a minimum.

Classification of the Orbits of Three Quadratic Collatz-type Maps

math.NT

We study three quadratic Collatz-type maps on the non-negative integers. Each of them halves an even number, and they send an odd $n$ to $n(n-1)/2$, to $n(n+1)/2$ and to $(n^2 - 1)/4$, respectively. Along an orbit, the odd terms grow until they reach a number of the form $2^m + 1$ or $2^m - 1$, depending on the map, and an orbit with an odd term greater than $1$ is bounded exactly when this happens. The step that reaches such a number gives a solution of an exponential Diophantine equation, which becomes the equation $2^a \pm 2^b + 1 = z^2$ after completing the square. With Szalay's classification of the solutions of this equation, we classify all orbits of the maps. Every orbit either is eventually periodic or tends to infinity, and we determine exactly the initial values with bounded orbits. For the map with odd branch $n(n-1)/2$, Sedaghat stated the classification, and we give a new and complete proof. For this map, we also give an elementary criterion for unbounded orbits, based on divisibility alone. To our knowledge, the classifications for the other two maps are new.

Simultaneous non-vanishing of twists of $\mathrm{GL}_3$ and $\mathrm{GL}_1$ $L$-functions

math.NT

We show that for a fixed $\mathrm{SL}_3(\mathbb Z)$ Hecke--Maass cusp form $F$, there are infinitely many primitive Dirichlet characters $\chi$ such that $L(1/2, F\times \chi)$ and $L(1/2, \chi)$ do not vanish \emph{simultaneously}. More precisely, we obtain an asympotic formula with a {\em power-saving} error term for the product of these central values averaged over $\{\chi\bmod q: q\in \mathcal Q\}$ where $\mathcal Q$ is a set of squarefree integers with a small divisor of suitable size.

Long intervals of consecutive composite values of polynomials

math.NT

Let $f\in\mathbb Q[t]$ be an irreducible polynomial of positive degree with positive leading coefficient, taking integer values at every integer. We prove that there is a constant $c_f>0$ such that, for every sufficiently large real $X$, the interval $(X/2,X]$ contains at least $c_f\log X\log\log X$ consecutive integers $n$ for which all values $f(n)$ are composite. The exponent of $\log\log X$ is independent of the degree of $f$. This improves the previous result of Ford and Gabdullin by replacing their small fixed power of $\log\log X$ with the full factor $\log\log X$. In particular, the result applies to $f(t)=t^2+1$.

Cardinalities of Jordan Diophantine sets of upper triangular integer matrices

math.NT

Let $U$ be the ring of upper triangular $2\times2$ integer matrices. For $N\in U$, a Jordan $D(N)$-set is a set of distinct nonzero matrices in $U$ such that $(AB+BA)/2+N$ is a square in $U$ for any two distinct elements $A$ and $B$. We determine all $N$ for which an infinite Jordan $D(N)$-set exists. If no infinite set exists, every such set has at most six elements. If $N$ is not a difference of two squares in $U$, the bound is five. Both bounds are best possible. We also give necessary and sufficient conditions for the existence of infinite sets with nonzero pairwise Jordan products and of infinite sets consisting of nonsingular matrices.

Non-degeneracy and Fibering with Applications to Diophantine Approximation

math.NT

Motivated by applications in Diophantine approximation, we develop a new fibering mechanism for non-degenerate manifolds in $\mathbb{R}^n$, showing that they admit local decompositions into families of non-degenerate curves with uniform quantitative non-degeneracy properties. The manifolds are required to be $C^N$ with the essentially optimal bound $N\geq \max\lbrace n,l+1\rbrace$, where the manifold is $l$ non-degenerate. Furthermore, we show that this uniform quantitative local control can be globalised into a qualitative statement, so that almost every point of a non-degenerate manifold lies on a non-degenerate curve contained in the manifold. Our approach is perturbative and shows that the fibering structure arising in the analytic setting is stable under sufficiently small $C^N$ perturbations. The method provides a framework for extending fibering based results in Diophantine approximation from curves to manifolds. Such applications are considered in the paper.

Equidistribution of number theoretic point sets in the torus and the sphere in Wasserstein metric and $L^2$ discrepancy

math.NT

math.CA

We find the exact rate of equidistribution of several arithmetic point configurations in Wasserstein metric and $L^2$ discrepancy with respect to balls. Kronecker sequences in the torus and the Fibonacci lattice on the Euclidean unit sphere are shown to be more evenly distributed in Wasserstein metric than random points. Modular hyperbolas and modular parabolas in the torus behave like random points, although the constants in the asymptotics of the $L^2$ discrepancy with respect to balls differ from the random case. We also prove a sharp inequality between the quadratic Wasserstein metric and the $L^2$ discrepancy with respect to balls for an arbitrary probability measure on the torus or the sphere. In particular, we show that any point set that is optimally close to the uniform measure in $L^2$ discrepancy with respect to balls is also optimal in the quadratic Wasserstein metric.

Splitting fields of complex hyperbolic groups: matrix extraction, Hermitian descent, and spectral fields

math.NT

math.DS

Let $\Gamma<\mathrm{SU}(n,1)$, $n\ge2$, be Zariski-dense and contain a regular loxodromic element $A$. The splitting-field problem asks how far traces and spectra determine a field of definition for $\Gamma$. We show first that traces together with the spectrum of $A$ always give a linear realization over $K=\mathbb{Q}(\textrm{tr}\Gamma,E(A))$. We also prove that every complex-irreducible subgroup of $\mathrm{SU}(n,1)$ with real trace field is conjugate into $\mathrm{SO}(n,1)$; in particular, no discreteness hypothesis is required for this real-trace conclusion. In higher dimension, however, linear descent does not by itself give the standard unitary form: a Hermitian similarity obstruction remains, described over imaginary quadratic fields by Landherr's local invariants. In $\mathrm{SU}(3,1)$ we give a Zariski-dense example for which the one-spectrum field is $\mathbb{Q}(i)$ but does not yield the standard unitary form. This leads naturally to the total spectral field. We prove that the obstruction disappears for arithmetic groups and under suitable local openness hypotheses, and we give an even-degree local criterion. In dimension four we analyze the discrete branch through explicit Schottky groups and rank-one local geometry. There the full Bruhat cocycle recovers anisotropic Levi holonomy and forces a non-split rotational word. The remaining quasi-split rank-two case is not reached by this method, so the general $\mathrm{SU}(3,1)$ problem remains open.

Additive Sums of Generalized Shifted Ternary Divisor Functions

math.NT

In this paper, we prove a conditional result that yields an asymptotic formula with an explicit main term and a power-saving error term for the generalized shifted ternary additive divisor sum $D_{\mathcal{I},\mathcal{J}}(X,1)=\sum_{n \leq X} \tau_{\mathcal{I}}(n) \tau_{\mathcal{J}}(n + 1)$, where $\mathcal{I}=\{\alpha_1,\alpha_2,\alpha_3\}$ and $\mathcal{J} = \{\beta_1, \beta_2, \beta_3\}$, with $|\alpha_i|, |\beta_i|\leq \delta$ for $i=1,2,3$, and $0<\delta<1/44$. The proof of our main theorem relies on assuming an averaged level of distribution for the generalized ternary additive divisor function $\tau_{\mathcal{J}}$ in arithmetic progressions up to the level $2/3$.

A note on Riemann's $R$-function and almost primes

math.NT

The real-axis jump of the prime-zeta function gives an integral form of Gram's series for Riemann's $R$-function. Applying the same operation to the classical almost-prime generating functions defines a smooth family $R_k$, with $R_1=R$. We give the construction and a convergence argument, and explain why its expansion at every fixed logarithmic order is the Selberg--Delange expansion. The distinction lies in the smaller real-axis contributions retained by the definition, rather than in new asymptotic coefficients. A finite Perron decomposition also identifies the additional contour terms required for exact recovery of the count.

A combinatorial proof of the quadratic Gauss sum

math.NT

We provide an elementary approach to computing the quadratic Gauss sum, emphasizing the method employed to compute the sum corresponding to multiples of 4. The proof method employed does not rely on the law of quadratic reciprocity, but only on exploiting symmetries among the sum's components, together with a recursive approach.

Horizontal moments of Kloosterman sums and a density version of sieves

math.NT

Denote by $\mathrm{Kl}(a,n)$ the normalized Kloosterman sum modulo $n$. In this paper, we study the moments of $|\mathrm{Kl}(1,n)|$ on average over $n\leqslant X$, and show that \begin{align*} \sum_{n\leqslant X}|\mathrm{Kl}(1,n)|\asymp X(\log X)^{\frac{8}{3\pi}-1}. \end{align*} The lower bound is proven by considering a subfamily of moduli which factorize in a nice way such that vertical Sato--Tate distributions of Kloosterman sums (as variants of Katz) apply. The upper bound is based on a new density version of upper bound sieves, combining with averages of divisor functions in arithmetic progressions and a similar vertical Sato--Tate distribution.

Automorphic symbols and automorphic \emph{L}-values of GL(2) over imaginary quadratic fields

math.NT

We study non-vanishing modulo primes of critical values of $L$-functions over imaginary quadratic fields twisted by Coates--Wiles characters. For a parallel weight two Hecke eigenform over an imaginary quadratic field, we prove that a positive proportion of Coates--Wiles characters have nonzero integral $L$-values modulo each prime in a positive-density set. The argument constructs automorphic symbols in parabolic homology with integral coefficients and expresses the critical values through their pairings with parabolic cohomology classes. A vertical family of additive averages of these pairings recovers Fourier coefficients and force the module generated by symbols to have full rank. We transfer this full-rank property to non-vanishing modulo primes. This extends the homological strategy of Kim--Sun from classical modular curves to arithmetic orbifolds, while addressing the unit obstructions specific to the imaginary quadratic setting.

Statistics of divisor functions over function fields

math.NT

Extending recent works on the restricted divisor function over integers, we consider an analogue of this function over the function field. We provide some exact and asymptotic formulas related to this function.

Ray class monoids for orders of number fields

math.NT

We define and study six ray class monoids associated to a level datum $(\mathcal{O}; \mathfrak{m}, \Sigma)$, where $\mathcal{O}$ is an order in a number field $K$, $\mathfrak{m}$ is an $\mathcal{O}$-ideal, and $\Sigma$ is a set of real places of $K$. The monoids extend the ray class group (and the ring class group) by including non-invertible classes consisting of non-invertible ideals and ideals not coprime to the modulus. We prove fundamental results on the structure of these ray class monoids.

Weak and genuine A_n-formality for number fields

math.NT

math.GR

We introduce weak $A_n$-formality for Galois cochain algebras and, for profinite groups whose mod-$p$ cohomology is concentrated in degrees at most two, characterise weak and genuine $A_n$-formality through finite embedding problems and the projective system they form. We then study $A_n$-formality for number fields. Let $K$ be a number field and let $p$ be an odd prime with $\mu_p\not\subset K$. For $p\geq 5$, and for $p=3$ under a natural local cyclotomic condition, we prove that every associated finite $A_3$-embedding problem is solvable. In contrast, for every odd $p$ with $\mu_p\not\subset K$, we show that no compatible family of finite-stage solutions exists, and hence $C^\bullet(G_K,\mathbb F_p)$ is not genuinely $A_3$-formal. The proof uses Chebotarev density, governing fields, and the Gras-Munnier criterion to obstruct the compatibility of finite-stage solutions, and it builds on previous work of Maire-Min\'a\v{c}-Ramakrishna-T\^an. This shows that genuine $A_3$-formality detects a global compatibility obstruction for number fields invisible to every individual finite embedding problem and invisible to obstructions arising from individual strong Massey vanishing problems.

Invariant Measures on Smooth Algebraic Groups over Higher Local Fields

math.NT

We construct a positive, finitely additive, left-invariant measure on the congruence cylinder ring of a smooth $d$-dimensional algebraic group over an $n$-dimensional local field. The measure takes values in $\mathbb{R}((X_2))\cdots((X_n))$. A normalized cylinder of depth $(i_1,\ldots,i_n)$ has volume $q^{-di_1}\prod_{\ell=2}^nX_\ell^{di_\ell}$, where $q$ is the final residue-field cardinality. We also obtain coordinate-change and quotient integration formulas for this measure.

Discorrelation of the M\"obius function with linear phases in short intervals

math.NT

We introduce a new approach to studying correlations between arithmetic functions and linear phases with respect to highly irrational frequency over short intervals. As an application, we prove that \[ \Big|\sum_{x0$ unless there exists an integer $1\leq q\ll (\log x)^{O_A(1)}$ such that $\|q\alpha \| \ll x (\log x)^{O_A(1)}/H^2$. This breaks the $3/5$ barrier in Theorem 1.5 of arXiv:1911.09076v2 and Theorem 2 of [T. Zhan, "On the representation of large odd integer as a sum of three almost equal primes," Acta Mathematica Sinica 7.3 (1991), 259-272]. Moreover, by our method, any improvement in large value estimates for character-twisted Dirichlet polynomials would lead to a corresponding improvement in the lower bound for $H$.

New Hoffman-type generators for alternating multiple zeta values

math.NT

We introduce multiple $s$ values and prove that every alternating multiple zeta value is a $\mathbb{Q}$-linear combination of multiple $s$ values $s(k_1, \dots, k_r)$ with $k_i \in \{1, 2\}$. We also study when certain multiple $s$ values can be expressed as $\mathbb{Q}$-linear combinations of multiple zeta values.

A Unified Framework for $p$-adic Congruences and $p$-adic Interpolations of Sequences

math.NT

In this paper, we treat the problem of determining when a sequence $\{c_n\}_{n=0}^{\infty}$ with the exponential generating function $F(t)$ satisfies the congruence $c_{n+(p^h-1)p^k}\equiv c_n \pmod{p^{k+r}}$ for large $n$ and when its canonical interpolating functions are locally analytic. This type of congruence is often observed for several number-theoretic or combinatorial sequences, such as Bernoulli numbers, Euler numbers, and Fibonacci numbers. Traditionally, such congruences are proved by using $p$-adic integrations. In this paper, we present another approach to this problem. Instead of using $p$-adic integrals, we investigate an algebraic structure of the set of generating functions and establish some conditions on $F(t)$ that are equivalent to or sufficient for the congruence and smoothness of the interpolating functions. We also provide concrete applications of our framework to Genocchi numbers, generalized Euler numbers, and so on, which are outside the scope of the typical $p$-adic integration method.

$q$-Supercongruences Modulo the Third and Fifth Powers of a Cyclotomic Polynomial

math.NT

In this paper, we establish several $q$-supercongruences for basic hypergeometric series modulo the third and fifth powers of a cyclotomic polynomial. These results extend several existing supercongruences related to the $\mathrm{(A.2)}$ and $\mathrm{(C.2)}$ supercongruences of Van Hamme. Our proofs employ the creative microscoping method developed by Guo and Zudilin \cite{guo2019q}, together with Watson's ${}_{8}\phi_7$ transformation formula.

$q$-Analogues of some supercongruences related to Van Hamme's (E.2) and (F.2) supercongruences

math.NT

In this paper, we present a one-parameter extension of some supercongruences related to Van Hamme's $\mathrm{(E.2)}$ and $\mathrm{(F.2)}$ supercongruences. To deduce these results, we first establish the corresponding $q$-supercongruences modulo the third power of a cyclotomic polynomial. Our proofs rely on the \emph{creative microscoping} method devised by Guo and Zudilin~\cite{guo2019q}, together with Jackson's ${}_{6}\phi_{5}$ summation formula.

Uniform Height Gaps in Arbitrary Characteristics

math.NT

math.AG

We prove uniform height gaps for subvarieties of abelian varieties in arbitrary characteristic, extending the new gap principle of Gao-Ge-K\"{u}hne. Our proof goes through the theory of adelic curves and globally valued fields, and proves the Bogomolov conjecture for an arbitrary globally valued field. This gives a different way to obtain uniform Bogomolov-type results, differing from the approaches of Dimitrov-Gao-Habegger-K\"{u}hne and Yuan. First, we prove the Bogomolov conjecture over globally valued fields for divisors. We then reduce the case of general subvarieties to the case of divisors by an induction argument. Specializing to the case of global function fields, we obtain a new proof of the geometric Bogomolov conjecture following the strategy of Gubler and Yamaki.

Pythagorean pairs in boxes of prime powers

math.NT

math.CO

Let $p_i$ be the $i$th prime, and let $f(N)$ be the largest cardinality of a subset of \[ \left\{\prod_{i=1}^N p_i^{a_i}:0\le a_i

Uniform non-vanishing of prime quadratic twists of standard and symmetric square $L$-functions

math.NT

Let $S_k$ be the space of cusp forms of weight $k$ for ${\rm SL}_2(\mathbb Z)$, with $\dim S_k\geq1$, and let $\chi_p=\left(\frac{\cdot}{p}\right)$ for odd primes $p$. For fixed $s$ with ${\rm Re}(s)>(k+1)/2$, we prove that the proportion of primes $p\leq X$ satisfying $L(h,\chi_p,s)=0$ tends to zero as $X\to\infty$, uniformly over nonzero $h\in S_k$. We also prove an analogous statement for nontrivial linear combinations of twisted symmetric square $L$-values of the normalized Hecke eigenforms when ${\rm Re}(s)>k$. The main ingredient of the proof is a non-concentration theorem for random Euler products under a pairwise local separation condition. As applications, we obtain spanning and density-one basis results in $S_k$ for the kernels associated with twisted standard and symmetric square $L$-functions, with explicit basis criteria in specified right half-planes when $\dim S_k=2$ or $3$. We show that almost every tuple of $\dim S_k$ primes gives a basis of $S_k^{\ast}$ from twisted periods at every noncentral critical index. We also prove a density-one result for rational bases of $S_k$ obtained from traces of Rankin-Cohen brackets of Eisenstein series at prime levels.

Unipotent Selmer dimensions for CM curves via Iwasawa loci

math.NT

math.AG

Let $X/\mathbb{Q}$ be a smooth, projective, geometrically integral curve of genus $g \geq 2$ with a point $ b \in X(\mathbb{Q})$ and geometrically CM Jacobian. Fix an odd prime $p$ of good reduction, and let $U$ be the \'etale pro-unipotent $\mathbb{Q}_p$-fundamental group of $X$. We prove, for all $n \gg 0,$ the inequality $\dim_{\mathbb{Q}_p} H^1_f(G_T, U_n) < \dim_{\mathbb{Q}_p}H^1_f(G_p, U_n)$ of Bloch--Kato Selmer schemes, with their ratio having limit superior at most $1/2$. Here $U_n$ is the lower central series quotient, and $T$ a finite set containing $p$ and the primes of bad reduction. This answers a particular case of a conjecture by Kim. Following the Iwasawa-theoretic method of Coates--Kim, we reduce the problem to bounding certain character multiplicities at degree $n$. We then define a twisted character lattice $B$ and its $p$-adic completion $B_p.$ Our main idea is to regard normalized multiplicities as $\mu_n(\lbrace x \in B_p: f(x,n)=0\rbrace)$ for a $p$-adic analytic function $f$ coming from Iwasawa theory and a sequence of measures $(\mu_n)_n$ weakly converging to the Haar probability measure $\mu$ on $B_p,$ which is the $p$-adic analogue of the uniform measure. We prove convergence by considering characters $\eta$ of $B_p$ and comparing $\int_{B_p} \eta \ d\mu_n$ to traces of operators induced by symplectic operators $h_\eta$, followed by a character formula. A compactness argument for sequences of $p$-adic loci gives our main Iwasawa estimate. Poitou-Tate duality, the global Euler characteristic formula, and Hodge filtration estimates then give the dimension inequality.

Further bounds in the polynomial Szemer\'edi theorem

math.NT

math.CO

We show that there exists $c > 0$ such that any subset of $\{1,\ldots,N\}$ having size $\gg N / \exp( (\log\log\log N)^c )$ contains a nontrivial pattern of the form $x,x+y,x+2y,x+y^3$. It is the first configuration of complexity strictly greater than $0$, other than refinements of arithmetic progressions, for which quantitative bounds over integers were obtained.

Hyperplane winning for bad in manifolds

math.NT

math.DS

We prove the hyperplane winning property of weighted badly approximable vectors inside nondegenerate analytic manifolds and affine subspaces satisfying almost optimal Diophantine conditions. This, in particular, answers a conjecture of Badziahin--Velani for higher-dimensional manifolds, including affine cases that were understood only in $\mathbb{R}^2$.

A uniform bound for the minimal degree of an isogeny between principally polarized superspecial abelian surfaces

math.NT

math.AG

Let $p>3$ be a prime number. If $A$ and $B$ are two principally polarized superspecial abelian surfaces over $\mathbb{F}_{p^{2}}$ with $p^{2}$-Frobenius $[-p]$, we prove that there exists a separable polarized isogeny between them with multiplier at most $p/\sqrt{2}$. The multiplier bound is uniform in the pair and asymptotically optimal up to a small multiplicative constant. Given quaternionic coordinates, we provide a deterministic algorithm that satisfies this upper bound in polynomial time. For unrestricted multipliers, $\mathrm{KLPT}^{2}$ provides a heuristic algorithm with a multiplier upper bound of order $p^{6+o(1)}$ for arbitrary pairs and $p^{3+o(1)}$ when one polarization matrix is the identity matrix. Our algorithm's improvement is an explicit upper bound below $p$ with an unconditional deterministic guarantee.

Geometric families of multiple elliptic Gamma functions and arithmetic applications, III

math.NT

This is the third paper in a series where we study arithmetic applications of the higher elliptic Gamma functions. In the first two articles in this series, we defined geometric families of these functions and proved that they satisfy coboundary and cocycle relations under the action of special linear groups and associated congruence subgroups. The main purpose of the present paper is to present a construction of conjectural higher elliptic units above number fields with exactly one complex place as special values of higher elliptic Gamma functions, upgrading the construction carried out by Bergeron, Charollois and Garc\'ia for complex cubic fields. These higher elliptic units are obtained by evaluating a multiplicative $(n-2)$-cocycle built from higher elliptic Gamma functions against a $(n-2)$-cycle associated to some group of totally positive units of a given number field of degree $n$ with exactly one complex place. We conjecture that these higher elliptic units are algebraic units which belong to prescribed abelian extensions of the base field where they are evaluated and that they satisfy a Kronecker limit formula which relates the logarithm of their modulus to values of derivatives of partial zeta functions at $s = 0$ in the base field. We showcase our conjecture on various examples for number fields of degree 3, 4 and 5.

On $a^4+b^4+c^4+d^4=(a+27(b+c+d))^4$ and ten other new infinite families

math.NT

In 2008, Jacobi and Madden proved that $a^4+b^4+c^4+d^4=e^4$ has infinitely many primitive solutions with the linear relation $e=a+b+c+d$. We extend their result to relations with rational cubes $e=a+k^3(b+c+d)$ and prove infinitude for $k=3$ and $10$ other $k\ne 1$. We compile $30$ starting solutions. In the spirit of Jacobi and Madden's original paper, everything here is simple algebra except one theorem of Mazur.

On Igusa's conjectures for weighted homogeneous polynomials with isolated singularities

math.NT

math.AG

In 1991, Denef introduced an explicit formula for Igusa's local zeta functions in terms of embedded resolutions of singularities over $p$-adic fields with good reduction. In this paper, by slightly generalizing the $p$-adic McKay correspondence given by the second author in 2017, we extend Denef's result to the setting of $\mathbb{Q}$-embedded resolutions of singularities. Consequently, the strong monodromy conjecture with respect to Igusa's local zeta functions holds for weighted homogeneous polynomials with isolated singularities. Moreover, we use our formula to prove Igusa's conjecture for exponential sums in the case of non-degenerate weighted homogeneous polynomials with isolated singularities.

Slightly improved zero-free half-planes for the quasi-Riemann hypothesis

math.NT

math.RT

Recently, a uniform $\frac{7}{8}$ zero-free half-plane for finite-order Hecke $L$-functions over $\mathbb Q(\sqrt{-3})$ and its transfer to Dirichlet $L$-functions was given by OpenAI in [1]. In its proof, there are two chosen parameters $b=\frac{1}{8}, \ell=\frac{1}{6}$. In this note, via varying $b$ and $\ell$, following the same strategy, we slightly improve the bound $\frac{7}{8}=0.875$ to be $$B_{\mathrm r}=\frac{34999}{40000}=0.874975, (\text{when }b_{\mathrm r}=\frac{1}{8}, \ell_{\mathrm r}=\frac{1}{6} + \frac{1}{10000});$$ and \[ \begin{gathered} B_{\mathrm{new}}=\frac{1507-2\sqrt{921}}{1653} =0.874957069799\ldots, (\text{when }b_{\mathrm{new}}=-\frac{4}{29}+\frac{230\sqrt{921}}{26709}, \ell_{\mathrm{new}}=\frac{33+8\sqrt{921}}{1653}). \end{gathered} \] This result has been formalized by Lean ([15]).

Two Primes and Five Mixed Fibonacci-Lucas Summands

math.NT

Using the circle method, we prove that every sufficiently large positive integer is a sum of two primes, $u$ Fibonacci numbers and $5-u$ Lucas numbers for each $u\in\{1,2,3,4\}$. All recurrence indices are positive, and terms may be repeated.

Geometrically Abelian Sections on Higher-Dimensional Varieties

math.NT

math.AG

We investigate how much arithmetic information about a variety can be detected by sections of the geometrically abelian fundamental groups of sufficiently small open subvarieties. Over a \(p\)-adic field, such a section determines a rational point on the Albanese torsor, and, under a conjectural assumption, this point is represented by a \(0\)-cycle of degree \(1\) on the original variety if the variety has index \(1\). For curves, the latter statement holds unconditionally. Over finitely generated fields, such sections still force the relative Brauer group to vanish away from the characteristic. The key input is an identification of the Chern class obstruction attached to a section with the obstruction arising from local Tate duality. As a byproduct, we give a new proof of an open-subvariety strengthening of a theorem of Esnault and Wittenberg.

The Erd\H{o}s-Falconer distance problem in the integer lattice

math.MG

math.CA

math.CO

math.NT

In this paper we propose and study what we call the Erd\H{o}s-Falconer distance problem in the integer lattice. One motivation is Magyar's discrete analog of the result of Furstenberg, Katznelson, and Weiss, who showed that all arbitrarily large distances had to appear for a set of positive upper Banach density in $\mathbb{R}^d$, $d\geq 2$. Another motivation is the Falconer distance problem, which can be viewed as a refinement of a result of Steinhaus, dropping assumptions from positive Lebesgue measure to merely asking about the dimension of sets. In this context we thus want to lower the assumption of positive upper Banach density and yet obtain statements that guarantee that we have lots of distinct distances. All of these questions are also related to the Erd\H{o}s distinct distance problem. Our naming is as for the finite field variant of the problem, acknowledging that parts of the problem share similarities with the Erd\H{o}s distinct distance problem while others share similarities with the Falconer distance problem. The main tool we use are $\ell^p$-improving inequalities for discrete spherical averages, which to the best of our knowledge is the first application of such bounds. One can use results on the Erd\H{o}s distinct distance problem to make progress on our conjecture but surprisingly, even if using the strongest available bounds in high dimensions using the mechanism of Solymosi and Vu, then in certain regimes our methods do better. While a resolution of the Erd\H{o}s distinct distance problem would imply our unpinned conjecture then no results on either the Erd\H{o}s or Falconer distance problem seem to imply any results for our pinned variant. We view this problem as a model problem that might ultimately contribute back to the original pinned distance problems.

K-Moduli Wall Crossing and Automorphic Forms for the Moduli Space of Rational Elliptic Surfaces

math.AG

math.DG

math.NT

Using K-moduli spaces for log quasimaps $q_t\colon\left(\mathbb P^1,\frac{1-t}{12}D\right)\to[\mathbb A^2/\mathbb G_m]$ of degree twelve with twelve points and weight $t/12$, we construct a modular interpolation $\{\mathcal M_t\}_{0\le t\le1}$ between the Baily--Borel compactification of the Heckman--Looijenga ball quotient $X_o$ and Miranda's GIT compactification of the moduli space of rational elliptic surfaces. We completely determine the wall-crossing and, for every rational $t\in[0,1]$, identify \[ \mathcal M_t\cong\operatorname{Proj}R\!\left(X_o,\mathcal L+\frac t2\Delta(6)+\frac t3\Delta(9)\right), \] where $\mathcal L$ is the automorphic $\mathbb Q$-line bundle and $\Delta(6),\Delta(9)$ are distinguished Heegner divisors. On the automorphic side, we construct a new automorphic form on $X_o$ via a Borcherds product, whose divisor gives an independent relation among the Heegner divisors. This relation provides a key input for determining the birational transformations in the K-moduli wall-crossing. As part of this analysis, we show that the first positive chamber $\mathcal M_t$ for $t\in (0,1/7)$ is Looijenga's semi-toroidal compactification.

K-moduli wall crossing for quasimaps to a projective variety

math.AG

math.DG

math.NT

We develop a modular wall crossing theory for quasimaps to a projective variety, allowing independent variation of the boundary coefficients and the quasimap weight. Building on the K-stability of quasimaps introduced by Hashizume and the first author, we construct projective moduli spaces in the stable, Calabi--Yau, and log Fano regimes, together with wall crossing morphisms. A central construction is the moduli theory of boundary polarized Calabi--Yau quasimaps, which retains an ample polarization at the numerically trivial locus and allows comparison with suitable perturbations toward the stable and log Fano regions. The stable theory applies in arbitrary genus, while the comparisons through the Calabi--Yau locus concern genus zero. For degree-one boundary divisors, the resulting framework relates weighted stable maps and quasimaps to Hassett spaces and GIT quotients of weighted points on $\mathbb P^1$. In a companion paper, we apply this framework to give a modular interpolation between Miranda's GIT compactification of rational elliptic surfaces and the Baily--Borel compactification of an eight-dimensional ball quotient.

Continuity of the Julia sets in non-archimedean and hybrid settings

math.DS

math.AG

math.NT

Let $k$ be a complete, non-archimedean. We study the dynamics of families of one-variable rational functions parametrized by Berkovich spaces over $k$ and over $\mathbb{C}$ equipped with the hybrid norm. In both settings, we show an analogue of Man\'e--Sad--Sullivan's theorem about the continuity of the Julia set (in the Hausdorff topology). The non-archimedean case relies on the maximum modulus principle, which we show for analytic functions over analytic spaces without boundary.

On the asymptotic behavior of the number variance of random points on the unit torus

math.PR

math-ph

math.MP

math.NT

The study of the distribution of real sequences in the unit torus has a long and rich history. There are many notions which describe the ``pseudo-random'' behavior of a given deterministic sequence (often of arithmetic origin), such as equidistribution (which describes the distribution on a ``global scale'') or the pair correlation (which is a ``local-scale'' statistics). Another popular and important statistics, which can be applied to all ranges from global via intermediate to local, is the number variance $V_N(s)$, which describes the mean-square fluctuation of the number of elements of an initial segment of the sequence in an interval of length $s$, when moving this interval around the torus. In the terminology of quantum chaology, where such statistics are used to describe the distribution of the energy levels of a system, pseudo-random behavior is called Poissonian behavior. Since the number variance is an important indicator to qualify pseudo-random behavior, it is quite surprising that the literature does not seem to contain a precise description of the distribution and of the almost sure asymptotic behavior of the number variance in the truly random case (i.i.d.\ random points), even in the comparatively simple setup of uniformly distributed points on the unit torus. In the present paper we calculate the distribution of the number variance with high precision throughout a wide range of the parameter $s$, and determine the precise threshold (in terms of $s$) where the ``Poissonian'' asymptotics $V_N(s) \sim N s$ breaks for a typical realization of a random sequence. Key technical input comes from the Koml\'{o}s--Major--Tusn\'{a}dy theorem and the Karhunen-Lo\`eve decomposition.

Arithmetic Progressions in Midpoint Colourings

math.CO

math.NT

We introduce an asymmetric variant of a classic problem by Roth about colourings of integers and midpoints. The new problem cannot be solved with the standard approach by Erd\"os-S\'ark\"ozy-S\'os which uses symmetry. We describe a Fourier Analytic approach which gives asymptotically tight bounds. In the $\mathbb{F}_3^n$ setting, the density increment we show is efficient and together with the Freiman-Ruzsa Theorem provides an affine subspace of near optimal codimension within the distinguished set. This approach adopted to the setting of the integers from $1$ to $N$ via Bohr sets and Bogolyubov-Ruzsa Lemma gives a progression of length being a power of $N$ which only depends on the number of colours. We then use Chang's Lemma and Balog-Szemer\'edi-Gowers Theorem to further improve the dependence on the number of colours.

Largeness of the wild locus

math.AG

math.NT

We show that the wild locus of an \'etale morphism of smooth adic spaces over an affinoid field is either empty or contains a divisorial point. As a consequence, we establish the equivalence of curve tameness and valuation tameness without using resolution of singularities. Moreover, given a finite \'etale map of regular schemes $f \colon Y \to X$ that is curve tame over a base $S$, we construct a compactification $\bar{f} \colon \overline{Y} \to \overline{X}$ over $S$ that is numerically tame.

Rational curves on toroidal compactifications of Picard modular varieties

math.AG

math.CV

math.DG

math.NT

It was known that the canonical bundle of a smooth toroidal compactification of a noncompact finite-volume ball quotient is nef in dimension $n\geq3$ and ample in dimension $n\geq6$. We prove that the canonical bundle is ample in dimension $n\geq4$ and show that this dimension bound is sharp. We construct infinitely many pairwise noncommensurable noncompact Picard modular threefolds whose smooth projective toroidal compactifications have non-ample canonical bundle. Each compactification contains a smooth rational curve meeting the interior and having canonical degree zero. More generally, in every dimension $n\geq2$, we construct infinitely many pairwise noncommensurable noncompact Picard modular varieties whose smooth toroidal compactifications contain smooth rational curves meeting the interior. In particular, such curves persist in arbitrarily high dimension, even when the canonical bundle is ample.

A Complete Proof of Mueller--Ho Conjecture

math.AP

math-ph

math.MP

math.NT

For $s>0$, and $z\in\mathbb H=\{z=x+iy:y>0\}$, define $\theta(s;z)=\sum_{m,n\in\mathbb Z}e^{-\pi s\big(m^2y+\frac{(mx-n)^2}{y}\big)}$ and $ J(z;a,b)=\sum_{m,n\in\mathbb Z}e^{-\pi \big(m^2y+\frac{(mx-n)^2}{y}\big)} \cos\bigl(2\pi(ma+nb)\bigr)$ for the classical and shifted theta functions (Gaussian lattice sums), respectively. We prove that, up to the modular group, there exist three thresholds $0<\alpha_a<\alpha_b<\alpha_c<1$ such that \begin{equation}\aligned\nonumber \Minima_{z\in\mathbb H,\,(a,b)\in\mathbb R^2}\Big(\theta(1;z)+\alpha J(z;a,b)\Big)= \begin{cases} \;\big(e^{i{\pi}/{3}};1/3,1/3\big), &\hbox{if}\;\; \alpha\in[0,\alpha_a),\\ \;\big(e^{i{\pi}/{3}};1/3,1/3\big)\;\hbox{or}\;\big(e^{i{\varphi_{\alpha_a}}};1/2,1/2\big), &\hbox{if}\;\; \alpha=\alpha_a,\\ \;\big(e^{i{\varphi_\alpha}};1/2,1/2\big),\;\varphi_\alpha\in(\varphi_{\alpha_a},\frac{\pi}{2}),\;\; &\hbox{if}\;\; \alpha\in(\alpha_a,\alpha_b),\\ \;\big(i;1/2,1/2\big),\; &\hbox{if}\;\; \alpha\in[\alpha_b,\alpha_c],\\ \;\big(iy_\alpha;1/2,1/2\big),\; y_\alpha\in(1,\sqrt3],\;\;y_1=\sqrt3,\;\;&\hbox{if}\;\; \alpha\in(\alpha_c,1], \end{cases} \endaligned\end{equation} where the complex variable $z$ and vector $(a,b)$, represent the total vortex shapes and relative positions of the two-component Bose gas, respectively. Consequently, this completely proves the conjecture of Mueller and Ho~\cite{Mue2002} (2002) arising in Bose--Einstein condensates.

Twisted Jacquet modules and induction from Speh representations

math.RT

math.NT

Fourier coefficients of Eisenstein series induced from Speh representations are the kernels of the generalized doubling method of Cai, Friedberg, Ginzburg and Kaplan. Ginzburg and Soudry integrated these coefficients against cusp forms to obtain Eisenstein series induced from shorter Speh representations and arbitrary cuspidal data. We determine the corresponding local modules over a non-archimedean local field $F$ of characteristic zero. Let $q_F$ be the cardinality of its residue field. Let $J_s$ be the twisted Jacquet module of the representation induced from $\Delta(\tau,m+i)|\det|^s$. It carries an action of $G\times H$, where $G$ and $H$ are split symplectic or special orthogonal groups. Let $\sigma$ be an admissible representation of $G$ of finite length. We prove that $(J_s\otimes\sigma)_G$ is induced from $\Delta(\tau,i)|\det|^s$ and a fixed conjugate of $\sigma$, outside a finite set of values of $q_F^{-s}$ depending on $\tau$ and $\sigma$. No genericity assumption on $\sigma$ is needed. For irreducible $\sigma$, this determines all irreducible quotients of $J_s$ of the form $\sigma^\vee\boxtimes\pi$. The proof computes every orbit contribution, including those that vanish globally by cuspidality. It also gives an explicit finite set containing the exceptional parameters. This set is empty for irreducible supercuspidal $\sigma$ unless $G$ is the split group $\mathrm{SO}_2$. We prove the analogous result for the symplectic double cover. Over finite fields of large characteristic, we give the complete decomposition of the twisted Jacquet module when $\tau$ is cuspidal on $\mathrm{GL}_n$ and $n$ is larger than the rank of $G$.

Around $\ell$-independence

math.NT

v3

In this article we study various forms of $\ell$-independence (including the case $\ell=p$) for the cohomology and fundamental groups of varieties over finite fields and equicharacteristic local fields. Our first result is a strong form of $\ell$-independence for the unipotent fundamental group of smooth and projective varieties over finite fields, by then proving a certain `spreading out' result we are able to deduce a much weaker form of $\ell$-independence for unipotent fundamental groups over equicharacteristic local fields, at least in the semistable case. In a similar vein, we can also use this to deduce $\ell$-independence results for the cohomology of semistable varieties from the well-known results on $\ell$-independence for smooth and proper varieties over finite fields. As another consequence of this `spreading out' result we are able to deduce the existence of a Clemens--Schmid exact sequence for formal semistable families. Finally, by deforming to characteristic $p$ we show a similar weak version of $\ell$-independence for the unipotent fundamental group of a semistable curve in mixed characteristic.

A note on effective descent for overconvergent isocrystals

math.NT

v3

In this short note we explain the proof that proper surjective and faithfully flat maps are morphisms of effective descent for overconvergent isocrystals. We then show how to deduce the folklore theorem that for an arbitrary variety over a perfect field of characteristic $p$, the Frobenius pull-back functor is an equivalence on the overconvergent category.

Solvable extensions of number fields ramified at only one prime are Ostrowski

math.NT

v2

In this note, we show that, under a certain condition, solvable extensions of number fields ramifed at only one prime are Ostrowski. As a corollary, we deduce a generalization of Hilbert Theorem 94 to cyclic extensions ramifed at one prime.

The integer group determinants for GA(1,p) and related semidirect products

math.NT

v3

We consider the integer group determinants for groups that are semidirect products of $\mathbb Z_p$ and $\mathbb Z_n$ with $p$ prime and $n\mid p-1$. We give a complete description of the integer group determinants for the general affine groups of degree one GA(1,$p$) when $p=5,7,11$ and $23$, and for $\mathbb Z_7\rtimes \mathbb Z_3,$ $\mathbb Z_{11}\rtimes \mathbb Z_5$ and $\mathbb Z_{13}\rtimes \mathbb Z_6,$ showing that the obvious divisibility and congruence conditions arising from the form of the group determinant when $n=p-1$ or $\frac{1}{2}(p-1)$, can be sufficient as well as necessary for these types of groups (although in the latter case we must work with norms of integers in a quadratic field). For $p=13$ this also happens for the remaining groups of this type, $\mathbb Z_{13}\rtimes_5 \mathbb Z_4$ and $\mathbb Z_{13}\rtimes \mathbb Z_3$, (working in an appropriate cubic and quartic field).

Irreducibility of lacunary polynomials with 0,1 coefficients

math.NT

v2

We show that $0,1$-polynomials of high degree and few terms are irreducible with high probability. Formally, let $k\in\mathbb{N}$ and $F(x)=1+\sum_{i=1}^kx^{n_i}$, where $ 0<\cdots

The density of elliptic curves over $\mathbb{Q}_p$ with a rational 3-torsion point or a rational 3-isogeny

math.NT

v3

We determine the probability that a random Weierstrass equation with coefficients in the $p$-adic integers defines an elliptic curve with a non-trivial $3$-torsion point, or with a degree $3$ isogeny, defined over the field of $p$-adic numbers. We determine these densities by calculating the corresponding $p$-adic volume integrals and analyzing certain modular curves. Additionally, we explore the case of $\ell$-torsion for $\ell>3$ prime.

A Shiu Theorem for Larger and Smoother Functions

math.NT

v3

In this paper, we broaden Shiu's Brun-Titchmarsh theorem to allow for functions that are larger and/or smooth-supported. In particular, let $f$ be a nonnegative multiplicative function. We prove that if there exists a $\beta<1$ such that $f(p^l)\ll (\log\log x)^{l\beta}$ for every prime $p$ and every $l>1$, and if $f(n)\ll \max\{n^\epsilon,(\log x)^\epsilon\}$ for every $\epsilon>0$, then $$\sum_{\substack{x\leq n\leq x+y \\ n\equiv a\pmod k}}f(n)\ll \frac{y}{\phi(k)(\log x)^{1-\epsilon_0}}\exp\left(\sum_{\substack{p\leq x \\ p\nmid k}}\frac{f(p)}{p}\right)$$ for every $\epsilon_0>0$, where $x$, $y$, and $k$ are as they were in Shiu's original paper and $(a,k)=1$. Moreover, we prove that if $f$ is a $Q$-smooth-supported function then there exists a constant $C$ for which $$\sum_{\substack{x\leq n\leq x+y \\ n\equiv a\pmod k}}f(n)\ll \frac{y}{\phi(k)(\log x)^{1-\epsilon_0}}\exp\left(\sum_{\substack{p\leq x \\ p\nmid k}}\frac{f(p)}{p}\right)\rho(u)^C,$$ where $u=\frac{\log x}{\log Q}$, $\rho$ is the Dickman-de Bruijn function, and $C$ depends on whether we choose the bound of $f(p^l)\leq A_1^l$ or $f(p^l)\ll (\log\log x)^{l\beta}$. We also give applications to both the divisor function to large powers and to smooth numbers in short intervals.

Elliptic curves and Fourier coefficients of meromorphic modular forms

math.NT

v3

We discuss several (conjectural) congruences satisfied by the coefficients of meromorphic modular forms, or equivalently, the $p$-adic behaviors of meromorphic modular forms under the $U_p$ operator, all of which should be viewed as explicit $p$-adic manifestations of the motivic nature of meromorphic modular forms. In the generic case, we observe the connection to symmetric powers of elliptic curves via Atkin--Swinnerton-Dyer congruences, while in the CM case, we furthermore observe the connection to the $p$-adic analogue of the Chowla--Selberg periods via supercongruences. Along with the discussions, we also provide some heuristic explanations for these congruences as well as prove some of them using hypergeometric functions and the Borcherds--Shimura lift.

Antisymmetry of real quadratic singular moduli

math.NT

v2

We confirm a conjecture of Darmon--Vonk on the antisymmetry of real quadratic singular moduli. The proof relies on a careful analysis of rigid meromorphic cocycles \`a la Darmon--Gehrmann--Lipnowski for the orthogonal group of a quaternion algebra. Moreover, we prove the modularity of a generating series of Kudla--Millson divisors in the spirit of Gross--Kohnen--Zagier.

Regularized spectral expansion of a Rankin--Selberg period and moments

math.NT

math.RT

v2

We establish a regularized spectral decomposition of the squared magnitude of a maximal degenerate Eisenstein series as a Schwartz distribution on $\mathrm{GL}_n$. Although the original problem is on $\mathrm{GL}_n$, its spectral components are described entirely by the automorphic spectrum of $\mathrm{GL}_2$. As an application, we prove a partial reciprocity formula relating the second moment of $\mathrm{GL}_n\times\mathrm{GL}_n$ Rankin--Selberg central $L$-values and a mixed moment of $L$-values of $\mathrm{GL}_2$. We also prove, assuming the generalized Ramanujan conjecture, an asymptotic formula for the second moment of the above Rankin--Selberg $L$-functions over a conductor-aspect family with an error term of square-root-cancellation strength.

The Tate conjecture for abelian fivefolds over finite fields

math.NT

v3

We prove the Tate conjecture for abelian fivefolds over finite fields. The proof constructs correspondences for a residual motive using a Moret--Bailly family, Gross--Schoen heights, and monodromy. We also prove standard conjecture~$D_\ell$ over $\overline{\mathbf F}_p$ and independence of $\ell$ of rational cycle class kernels over algebraically closed fields of characteristic $p$. Over finite fields, rational and numerical equivalence agree with rational coefficients, and higher algebraic $K$-groups vanish rationally.

Rogers--Ramanujan identities from the geometry of $X^a=Y^b$

math.NT

math.AG

math.CO

math.RT

v2

We prove the conjecture of Huang, Jiang, and Oblomkov (HJO) giving a geometric extension of the Rogers--Ramanujan and Andrews--Gordon identities for every torus-knot singularity $X^a=Y^b$ with coprime $1

Finite-slope p-adic L-functions for $\mathrm{GL}_{3}$

math.NT

v2

Let $\Pi$ be a regular algebraic cuspidal automorphic representation of $\mathrm{GL}_{3}(\mathbb{A}_{\mathbb{Q}})$ of weight $(a, 0, -a)$, and let $p$ be a prime. Generalising work of Loeffler--Williams in the nearly-ordinary case, we construct $p$-adic $L$-functions for each small slope regular $P_{1}$-refinement of $\Pi$ at $p$ consistent with the conjectures of Coates--Perrin-Riou and Panchishkin.

The Riemann-Siegel remainder as a fractional summand

math.NT

v2

Starting from the Riemann-Siegel decomposition of $\zeta(s)$ given in Siegel's 1932 paper, we introduce a change of variable, $t=I(T)$, that replaces Siegel's coupled pair "imaginary part $t$ / summation index $m$" with one real index $T$. We then split Siegel's single remainder integral $R$ into two exact pieces, $R_{1ps}$ and $R_{2ps}$, and prove that $R=R_{1ps}+R_{2ps}$, so that $\zeta=\Sigma_1+R_{1ps}+\Sigma_2+R_{2ps}$. Our central observation is that each of these remainders is nothing more than one additional, fractional partial summand appended to its Dirichlet sum: $\zeta(s)=\sum_{n=1}^{m}n^{-s}+\hat{d}_1(m+1)^{-s}+\chi(s)\sum_{n=1}^{m}n^{s-1}+\hat{d}_2\chi(s)(m+1)^{s-1}$, with $\hat{d}_1,\hat{d}_2$ real numbers (always positive on the critical line), the fractions of those two summands that are used. As a corollary, when $\sigma=\frac{1}{2}$ one has $d_1=d_2$ (equivalently $\hat{d}_1=\hat{d}_2$); this fact is formally verified in Lean. Also, with this rescaling the remainder terms are nearly periodic in $T$ with period one, converging to a fixed waveform in the fractional part of $T$. This decomposition of Siegel's $R$ was discovered through experimental mathematics using a spiral visualization of the partial sums, described later in the paper. We also discuss a number of other observations, including what we call the yin yang curves, the zero counting function, and ovals of equal length leg loci.

Note on fractional sum of the divisor function

math.NT

v2

Let $d(n)$ be the divisor function and denote by $[t]$ the integral part of the real number $t$. We prove that \begin{align*} \sum_{n\leq x^{1/c}}d\left(\left[\frac{x}{n^c}\right]\right)=d_cx^{1/c}+O_{\varepsilon,c}(x^{\theta_c+\varepsilon}), \end{align*} where $d_c$ is a suitable constant, $\theta_c<2/(3c+2)$ for $0<2/11$. This result constitutes an improvement upon that of Y. Feng (2024).

Irrationality exponents of logarithms of positive rational numbers

math.NT

v2

We study rational approximation to logarithms of positive rational numbers and give a separated-weight determinant argument for $\mu(\log r)=2$ whenever $r\in\mathbb Q_{>0}\setminus\{1\}$. The geometric input is an interpolation theorem for logarithmic jets at points with distinct multiplicative coordinates. Its successive weight thresholds are independent of the interpolation centres; the eventual degree threshold may depend on them. A local intersection-length bound and a curve inequality lead to surjectivity through a blow-up and Serre vanishing. For a fixed rational argument, this produces a nonzero rational determinant. Clearing denominators gives an arithmetic lower bound, while an exact row translation and repeated Taylor indices yield a contradictory analytic upper bound. The consequences include nonzero rational linear combinations of such logarithms, rational affine changes, and logarithms of positive numbers with a rational positive integer power. We also give a bounded-fibre interpolation extension, an explicit bound for the final analytic degree, and a counterexample to interpolation under the volume condition alone.

A N\'eron-Ogg-Shafarevich criterion for K3 surfaces

math.AG

math.NT

v5

The naive analogue of the N\'eron-Ogg-Shafarevich criterion is false for K3 surfaces, that is, there exist K3 surfaces over Henselian, discretely valued fields $K$, with unramified $\ell$-adic \'etale cohomology groups, but which do not admit good reduction over $K$. Assuming potential semi-stable reduction, we show how to correct this by proving that a K3 surface has good reduction if and only if $H^2_{\mathrm{\acute{e}t}}(X_{\overline{K}},\mathbb{Q}_\ell)$ is unramified, and the associated Galois representation over the residue field coincides with the second cohomology of a certain "canonical reduction" of $X$. We also prove the corresponding results for $p$-adic \'etale cohomology.

Arborescent links and modular tails

math.GT

math.NT

v2

We prove an explicit formula for the tail of the colored Jones polynomial for a class of arborescent links in terms of a product of theta functions and/or false theta functions. We also provide numerical evidence towards a conjectural classification of the modularity of tails of the colored Jones polynomial for alternating knots.

Decidability of some complicated structures definable in $\mathbb{C}(t)$

math.LO

math.AG

math.NT

v2

Several properly countable unions of algebraic sets in $\mathbb{C}^n$ are definable in $\mathbb{C}(t)$ including the set CM of $j$-invariants of complex elliptic curves with complex multiplication. It has been suggested that one could prove the undecidability of $\operatorname{Th}(\mathbb{C}(t))$ by showing that the theory of the structure $\mathsf{CM} := (\mathbb{C},+,\cdot,0,1,CM)$ of the field of complex numbers considered with a unary predicate picking out CM is undecidable. We show using an effective version of the Andr\'e-Oort conjecture that to the contrary $\operatorname{Th}(\mathsf{CM})$ is stable and decidable. We discuss some related structures on the complex numbers definable in $\mathbb{C}(t)$ and how their theories may be connected to the Zilber-Pink conjectures.

Action de groupe sur la compactification hybride

math.AG

math.DS

math.NT

v3

Let $X$ be an algebraic variety over $\mathbb{C}$ and $G$ be an algebraic group acting on $X$ whose action is closed. J. Poineau defined a compactification $X^\urcorner$ of $X(\mathbb{C})$ by using hybrid Berkovich spaces. We will focus on the extension of the action of $G$ on this compactification by characterising the set $\mathcal{U} \subset X^\urcorner$ where the action is well defined. We will also show that the quotient of $\mathcal{U}$ by the action of $G$ is homeomorphic to $(X/G)^\urcorner$, the compactification of $(X/G)(\mathbb{C})$. We then apply these results to $X = \mathrm{Rat}_d$, the space of rational maps and $G = \mathrm{SL}_2$. It gives the results of C. Favre-C. Gong in a more general setting. Furthermore, we get a compactification of $\mathrm{M}_d = \mathrm{Rat}_d/\mathrm{SL}_2$ where the boundary is made of orbits of non-archimedean rational maps. The results still holds if $\mathbb{C}$ is replaced by $k$ a non-trivially valued field and complex analytic spaces by Berkovich spaces over $k$ or if $X$ is the set of stable points of a $k$-variety defined in the sense of GIT.

Non-Archimedean balanced metrics and their application to totally degenerate abelian varieties

math.AG

math.DG

math.NT

v2

For a polarized complex manifold with discrete automorphism group, it is known that if the first Chern class admits a cscK metric, then the balanced metrics, which are characterized in terms of the algebro-geometric notion of Chow stability, approximate this cscK metric. In this paper, we study a non-Archimedean analogue of this phenomenon. In particular, we prove that such an analogue holds for polarized totally degenerate abelian varieties. As an application, we also show that, for a totally degenerating family of polarized abelian varieties, the validity of this non-Archimedean analogue yields a uniform estimate for the Calabi--Yau metrics on fibers sufficiently close to the degenerate fiber.

Zero-one laws for uniform approximation via Gaussian and Eisenstein integers

math.DS

math.NT

v2

We establish two distinct zero-one laws for the uniform Diophantine approximation of complex numbers by quotients of Gaussian integers and by quotients of Eisenstein integers. Using tools from homogeneous dynamics, we study this problem by reducing it to a shrinking target problem on certain homogeneous spaces of $\mathrm{SL}_2(\mathbb{C})$. The main novel ingredients include measure estimates on a certain family of neighborhoods of the corresponding critical loci, as well as new disjointness statements to control the short-range mixing contribution. Due to the different nature of the critical loci in the Gaussian and Eisenstein cases, these measure estimates are obtained by rather different arguments.

The Tate conjecture for powers of abelian fourfolds and the Hodge conjecture for powers of CM fourfolds

math.AG

math.NT

v2

We prove the Tate conjecture in every codimension on every power of an abelian variety of dimension at most four over a finite field. For geometrically simple fourfolds, we use Broe's theorem and the classification of Frobenius relations. For dihedral pairs of abelian surfaces, we construct algebraic classes using families of abelian threefolds, the Gross--Schoen height formula, and polarization contractions. We also prove the Hodge conjecture for every power of a complex CM abelian fourfold, using Markman's theorem on Weil classes and Milne's criterion. The finite field results imply standard conjecture~D and the expected pole orders of the zeta function on every power.

Points and their multiples on curves in powers of simple abelian varieties

math.LO

math.AG

math.NT

v2

Let $G$ be a simple abelian variety of dimension $g \in \mathbb{N}$ defined over $\mathbb{Q}^\mathrm{alg}$ and let $C_1, C_2 \subseteq G^N(\mathbb{C})$ be irreducible closed algebraic curves with $N \geq 3$. Further assume that at least one of $C_1$ and $C_2$ is not defined over $\mathbb{Q}^\mathrm{alg}$. Suppose that there does not exist an algebraic subgroup $H_1 \subseteq G^N(\mathbb{C})$ of dimension $g$ such that $C_1 \subseteq H_1$ and that there does not exist an algebraic subgroup $H_2 \subseteq G^N(\mathbb{C})$ of dimension $2g$ such that $C_1 \cup C_2 \subseteq H_2$. Denoting $\mathcal{N} = \{n \in \mathbb{N} \ | \ [n]C_1 \subseteq C_2\}$, we prove that $\bigcup_{n \in \mathbb{N} \setminus \mathcal{N}}\{x \in C_1 \ | \ nx \in C_2\}$ is finite.