Number Theory [math.NT]

Prime-Exponent Transition Geometry and Divisor Barriers Between Consecutive Highly Composite Numbers

math.NT

Let $d(n)$ be the divisor function and let $H

Algebraic Lattices Arising from Congruence Submodules in Subfields of $p$-th Cyclotomic Fields

math.NT

The classical sphere packing problem, which remains unsolved, consists of determining how densely a large number of identical spheres can be packed together. In some sphere packings, the centers of the spheres in a sphere packing form a Euclidean lattice, which is a discrete additive subgroup of $\mathbb{R}^n$. Free $\mathbb{Z}$-modules in the ring of integers of an algebraic number field yield algebraic lattices via the canonical embedding. In this work, we present new constructions of algebraic lattices from certain families of $\mathbb{Z}$-modules in the ring of algebraic integers of subfields of the $p$-th cyclotomic field, where $p$ is a prime number. Within this framework, we compute lower bounds for the center density of these algebraic lattices and construct algebraic lattices having the best known packing density in dimensions 2, 3, and 5.

Mild p-Class Tower Groups of Imaginary Quadratic Fields

math.NT

Let $K$ be an imaginary quadratic number field, let $p$ be an odd prime, and let $G_{\emptyset}(K)(p)$ be the Galois group of the maximal everywhere unramified pro-$p$ extension of $K$. To each mod-$p$ character $x$ of this group we associate a secondary norm operator $D_x \colon \mathrm{Cl}(K)[p] \to \mathrm{Cl}(K)/p$. These operators determine all triple Massey products on $H^1(G_{\emptyset}(K)(p), \mathbb{F}_p)$, and hence the cubic initial relations of the group. In $p$-class rank three, the $2 \times 2$ minors of the family $x \mapsto D_x$ define a subscheme of $\mathbb{P}^2_{\mathbb{F}_p}$, an invariant of $K$ which we call the norm-degeneracy scheme. We prove: if this scheme has a reduced isolated closed point on the vanishing locus of the diagonal Massey product, then $G_{\emptyset}(K)(p)$ is mild, and hence has cohomological dimension $2$. We treat every imaginary quadratic field with $|D_K| < 2^{30}$ of odd $p$-class rank three. The only primes that occur are $p = 3$, $5$, and $7$. We prove, unconditionally, mildness of the $p$-class tower group for $864$ of the $12749$ fields at $p = 3$, for $203$ of the $204$ fields at $p = 5$, and for all three fields at $p = 7$. To the best of our knowledge, these are the first number fields for which the full maximal everywhere unramified pro-$p$ Galois group is proved to be mild. In particular, they provide explicit infinite $p$-class towers whose Galois groups have cohomological dimension $2$.

On Buzzard's Theoren

math.NT

math.AG

Over any infinite field we prove existence of polynomial automorphism with prescribed differentials at points. More precisely, let $\K$ be an infinite field and $a_1,\ldots, a_k;$ $b_1,\ldots , b_k$ be two sequences of different points in~$\K^n$, $n\ge 2$. For any sequence $L_1,\ldots, L_k\in SL(n,\K)$ there exists a polynomial automorphism $\Phi: \K^n\to \K^n$ with jacobian one such that $\Phi(a_i)=b_i$ and $d_{a_i} \Phi= L_i$ for $i=1,\ldots, k.$

Shifted second moment of Gaussian Hecke $L$-functions $L(s,\lambda^k)$

math.NT

We establish a uniform asymptotic formula for the smoothly weighted shifted second moment of the Gaussian angular Hecke $L$-functions $L(s,\lambda^k)$. The completed moment is expressed as the sum of four explicit main terms, corresponding to the four functional-equation swaps, with an error of size $O_{\Phi,\epsilon}(K^{1/2+\epsilon})$.After the Archimedean factors are removed, the resulting formula agrees with the numerator-only specialization of the four-swap prediction of the $L$-functions Ratios Conjecture. The proof transforms the off-diagonal contribution into Weyl sums over the roots of $r^2\equiv-1\pmod C$, realizes these sums spectrally through incomplete Poincar\'e series evaluated at $i$, and separates the Eisenstein and Maa\ss{} spectra. The two $v$-type main terms arise respectively from the zero frequency and from the combined residues of two moving Eisenstein poles, while the cuspidal spectrum is absorbed into the square-root error term.

A central limit theorem for prime geodesics on random surfaces of large genus

math.NT

math.DG

math.PR

We show that, for Weil--Petersson random closed hyperbolic surfaces of large genus, the normalized weighted count of prime geodesics with norm in the interval $(X,X+H]$ is asymptotically Gaussian, provided $H \leq X$ and $H/\log X\to\infty$ as $X\to\infty$. In particular, it applies to intervals which are not necessarily short.

Ribet bimodules and principally polarized superspecial abelian varieties with quaternion action

math.NT

In an influential paper [K. Ribet, Bimodules and abelian surfaces, in Algebraic number theory, 359-407, Adv. Stud. Pure Math., Vol. 17, 1989] on the bad reduction of Shimura curves, Ribet studies certain superspecial abelian surfaces over $\overline{\mathbb{F}}_p$ with quaternion multiplication by a maximal order $\mathcal{O}$ in an indefinite quaternion $\mathbb{Q}$-algebra ramified at $p$. In particular, he classifies the $p$-divisible groups of such $\mathcal{O}$-abelian surfaces by classifying $(\mathcal{O}_p, \mathcal{O}_p)$-bimodules $L_p$ that are free over $\mathbb{Z}_p$ (i.e.bilattices) under an additional admissible assumption. In this paper, we generalize Ribet's result by removing the admissible assumption and producing a complete classification of $(\mathcal{O}_p, \mathcal{O}_p)$-bilattices $L_p$. Equip the right order $\mathcal{O}_p$ with the canonical involution, and suppose additionally that the left order $\mathcal{O}_p$ is equipped with an orthogonal involution $*$. We derive the necessary and sufficient condition for the existence of a perfect quaternion hermitian form $\langle~,~\rangle_p:L_p\times L_p\to \mathcal{O}_p$ on the right $\mathcal{O}_p$-lattice $L_p$ inducing the given involution $*$ on the left order $\mathcal{O}_p$, and give a complete classification of such self-dual quaternion hermitian $(\mathcal{O}_p, *, \mathcal{O}_p)$-bilattices $(L_p, \langle~,~\rangle_p)$. Globally, we apply these classification results to the study of the existence of principal polarizations on superspecial abelian varieties over $\overline{\mathbb{F}}_p$ equipped with $\mathcal{O}$-action.

Alternating generalizations of Mizuno's product formula via modified gamma functions

math.NT

math-ph

math.CA

math.MP

Let $\tilde{\Gamma}(x)$ denote the modified gamma function recently introduced by the authors as an alternating analogue of the classical Euler gamma function. In this paper, we establish a complete alternating generalization of Mizuno's celebrated product formula: \begin{equation*} \prod_{m=0}^{\infty}\left(\prod_{j=1}^{n}(m+x_{j})^{(-1)^{m}}\right) =\frac{\left(\sqrt{\frac{\pi}{2}}\right)^n}{\prod_{j=1}^{n}\tilde{\Gamma}(x_{j})} =\prod_{j=1}^{n}\left(\prod_{m=0}^{\infty}(m+x_{j})^{(-1)^{m}}\right). \end{equation*} This identity, which we refer to as the alternating Mizuno formula, replaces the classical gamma function $\Gamma$ and the constant $\sqrt{2\pi}$ by their natural alternating counterparts $\tilde{\Gamma}$ and $\sqrt{\pi/2}$. As immediate consequences, we recover the alternating Lerch formula and, by specializing to $x=1$, a remarkably concise derivation of Wallis' famous product \begin{equation*} \frac{2\cdot2}{1\cdot3}\cdot\frac{4\cdot4}{3\cdot5}\cdot\frac{6\cdot6}{5\cdot7}\cdot\cdots=\frac{\pi}{2}. \end{equation*} More generally, by exploiting polynomial factorizations, we derive Kurokawa--Wakayama type formulas for alternating products over cyclotomic fields. Beyond these product identities, we investigate the multiple alternating gamma functions $\bar\Gamma_N(x)$, obtaining explicit factorizations in terms of Barnes' multiple gamma functions, closed-form evaluations involving the Glaisher--Kinkelin constant, and a Gauss--Legendre type multiplication formula. Finally, we introduce an alternating analogue of Shintani's double sine function and establish a clean arithmetic dichotomy: for algebraic $\tau$, its special values at integer points are algebraic precisely when $\tau$ is rational, and transcendental otherwise.

Infinitely many primes with a fixed Frobenius field for an elliptic curve over $\mathbb{Q}$

math.NT

In 1987, Elkies proved the striking result that every elliptic curve over $\mathbb{Q}$ has infinitely many supersingular primes. Motivated by this theorem and its connection with the Lang-Trotter conjecture, we study the analogous problem for Frobenius fields of elliptic curves. For certain families of non-CM elliptic curves $E/\mathbb{Q}$ and imaginary quadratic fields $K$, we prove that there exist infinitely many primes $p$ for which the Frobenius field of $E$ at $p$ equals $K$. More precisely, letting $\pi_E(x,K)$ denote the number of such primes with $p\leq x$, we establish the unconditional bound $\pi_E(x, K)\gg_{E, K, \epsilon} (\log\log x)^{1-\epsilon}$ for every $\epsilon>0$. We also prove unconditional power-saving upper bounds for a restricted counting function associated with $\pi_E(x,K)$. The approach combines Deuring's theory of complex multiplication, properties of singular moduli, and arithmetic intersection theory on modular curves.

On the p-adic Wirsing problem

math.NT

For a real transcendental number $\xi$, let $\omega_n^*(\xi)$ denote the supremum of all $\omega$ for which there exist infinitely many real algebraic numbers $\alpha$ of degree $\leq n$ satisfying $|\xi-\alpha|\leq H(\alpha)^{-\omega -1}$, where $H(\alpha)$ is the naive height of the minimal polynomial of $\alpha$. A celebrated result of Wirsing gives the uniform lower bound $\omega_n^*(\xi)\geq\frac{n+1}{2}$, which was improved significantly in a recent work of Po\"els to $\frac{n}{2-\log 2}$. In this paper, we establish a $p$-adic counterpart of Po\"els's result. Let $p$ be a prime and $\xi\in\Qp$ be transcendental. Let $\omega_{n,p}^*(\xi)$ be the supremum of all real numbers $\omega$ for which there exist infinitely many algebraic numbers $\alpha \in \Qp$ of degree $\leq n$ such that $|\xi-\alpha|_p\leq H(\alpha)^{-\omega -1}$. We show that $\omega^*_{n,p}(\xi)\geq\frac{n}{2-\log 2}-1$. This improves the known lower bounds in the $p$-adic setting, namely the analogue of Wirsing's theorem, due to Morrison and Teuli\'e.

On the integral $2$-adic Tate module of elliptic curves

math.NT

We show that the integral $2$-adic Tate module of an elliptic curve over a complete discretely valued field of odd residue characteristic is determined by its $2$-torsion representation, together with the square class of $c$ and local information about the pairwise differences of the roots of $f$ in a model $E\colon y^2=cf(x)$, where $f$ is monic of degree $3$. The proof uses explicit halving formulae to determine the Galois action on the full tower of $2$-power torsion.

Principal nonsingularity of the Fourier matrices of orders \(70\) and \(143\)

math.NT

We give computer-assisted proofs that every principal minor of each of the \(70\times70\) and \(143\times143\) Fourier matrices is nonzero. A lifting theorem of Caragea, Lee, Malikiosis, and Pfander reduces the two assertions to the nonvanishing of all principal minors of the Fourier matrix of order \(10\) in characteristic \(7\), and of order \(11\) in characteristic \(13\), respectively. We realize primitive roots in \(\mathbb F_{7^4}\) and \(\mathbb F_{13^{10}}\) and evaluate all \(2^{10}\) and \(2^{11}\) principal determinants by exact, division-free arithmetic. None vanishes. The lifting theorem in fact yields the stronger conclusions that every \(10\)-principal minor of the order-\(70\) matrix and every \(11\)-principal minor of the order-\(143\) matrix is nonzero. Self-contained standard-library verifiers for the finite-field calculations accompany the paper.

Intersecting families and nonvanishing multivariate polynomials over finite fields

math.NT

math.AG

math.CO

Let $\mathcal{P}_{n,d}$ be the space of polynomials in $n$ variables over $\mathbb{F}_q$ of degree at most $d$. Two polynomials $f,g\in\mathcal{P}_{n,d}$ intersect if $f(\mathbf a)=g(\mathbf a)$ for some $\mathbf a\in\mathbb{F}_q^n$. A star consists of all polynomials $f\in\mathcal{P}_{n,d}$ satisfying $f(\mathbf a)=b$ for fixed $\mathbf a\in\mathbb{F}_q^n$ and $b\in\mathbb{F}_q$. We completely classify the maximum intersecting families in $\mathcal{P}_{n,d}$. When $n=1$ and $d\geq 2$, it was previously shown that all maximum intersecting families are stars. We prove that the same conclusion holds for all $n\geq 2$ and $d\geq 2$ when $q$ is odd. When $q$ is even, however, the situation is more subtle, and a new phenomenon emerges: for $q\geq 4$, maximum non-star examples exist precisely when $d\leq n$. Along the way, we prove two further results of independent interest. First, we determine the span of nonvanishing polynomials in $\mathcal{P}_{n,d}$. Second, we characterize all linear functionals $\Psi\colon\mathcal{P}_{n,d}\to\mathbb{F}_q$ whose kernels are disjoint from the set of nonvanishing polynomials. The first result plays a crucial role in the proof of our main result; the second is a Gleason--Kahane--\.{Z}elazko theorem for polynomials of bounded degree over finite fields.

Squarefree polynomials with missing digits

math.NT

math.PR

We establish an asymptotic formula for squarefree polynomials over a finite field whose coefficients are in $\{0,1\}$. This resolves a function-field analogue of a conjecture of Erd\H{o}s, Mauduit and S\'ark\"ozy. More generally, we estimate the probability of a polynomial $\sum \varepsilon_it^i$ being squarefree, where $\varepsilon_i$ are random variables sampled according to measures on $\mathbb{F}_q$.

Products of point counts of higher genus curves over finite fields

math.NT

Let $E/\mathbb Q$ be an elliptic curve and for each prime $p$, let $N_p$ denote the number of points of $E$ modulo $p$. The original version of the conjecture of Birch and Swinnerton-Dyer asserts that $\prod \limits _{p \leq x} \frac{N_p}{p} \sim C (\log x) ^{\text{rank}(E(\mathbb Q))}$ as $x \to \infty$. In this paper, we formulate a similar conjectural asymptotic for smooth projective curves of genus at least 2, in which the contributions to the conjectured asymptotic come not only from the rank of the Jacobian but also from the Sato--Tate group of the curve. The key analytic input in formulating our conjecture is a conjecture due to Kurokawa (2012) on the convergence of Euler products of entire $L$-functions on the critical line. We also provide some numerical evidence for our conjecture in various cases.

On the Hidden Pascal Symmetry and Moment Constraints of Vector Representatives in Quebbemann's 64-Dimensional Lattice

math.CO

math.NT

In this paper, we investigate the underlying algebraic and combinatorial structures governing the coset representatives (shift vectors) for Construction A of lattices, with a particular focus on equations (14) and (15) presented in Paragraph 3, Chapter 8 of the seminal work by J.H. Conway and N.J.A. Sloane, "Sphere Packings, Lattices and Groups". These dual equations define the boundary conditions for the analytical generation of the 64-dimensional Quebbemann lattice (Q64). We prove that seeking non-zero solutions constrained by arithmetic or geometric progressions yields a structural collapse to the trivial zero vector due to the transcendental nature of {\pi}. Conversely, by relaxing these bounds to unique coordinate configurations, we uncover an exact, closed-form algebraic core governed by the alternating coefficients of the Pascal triangle. Furthermore, we implement an energy-minimization model via continuous-to-discrete projection that yields an optimal shift vector with a strictly integer Euclidean norm ||z||^2 = 20.000000. Finally, we bridge this formulation to the Repeated Differences paradigm of Craig's lattices Anm, showing how the spectral components of the {\Theta}-series are naturally filtered by these binomial structures.

Asymptotics of the Tchoukaillon array and a conjecture of Beluhov

math.CO

math.NT

The Tchoukaillon array is an infinite array of the positive integers, arising from a one-row Mancala solitaire, in which each positive integer occurs exactly once. Its zeroth column is the Flavius Josephus sieve and its zeroth row is the sequence of Tchoukaillon numbers; the asymptotics of these two edges are classical results of Andersson and of Broline and Loeb. On the basis of numerical evidence, N. Beluhov conjectured (as relayed by Knuth) that the general entry $T_{i,j}$ satisfies $T_{i,j} \approx (\pi i+2j)^2/(4\pi)$ as $i,j \to \infty$. We prove this conjecture. In fact we establish the stronger uniform estimate $T_{i,j} = (\pi i+2j+2)^2/(4\pi) + O((i+j+1)^{4/3})$, in which both constants $\pi$ and $2$ are produced by the array's own recursion through a Wallis product, independently of the two edge theorems. Equivalently, the square root of the entry is asymptotically linear, $\sqrt{T_{i,j}} = (\sqrt{\pi}/2)\, i + (1/\sqrt{\pi})(j+1) + O((i+j+1)^{1/3})$, the linear blend of the two edge growth-rates. As corollaries we obtain that the level regions $\{T_{i,j} \le V\}$ are triangles up to a boundary of width $O(V^{1/6})$, and an $O(\sqrt{M})$ algorithm that locates the row and column of a given integer $M$.

A Kernel-Checked Exclusion Certificate for Erd\H{o}s Problem 647

cs.LO

math.NT

Erd\H{o}s problem 647 asks whether any $n > 24$ satisfies $\max_{m< n \le 10^9$, proved in Lean 4 with axiom closure exactly {propext, Classical.choice, Quot.sound} -- no sorry, no native_decide, no problem-specific axiom. The proof replays a chain of 6,685,922 factorization witnesses whose excluded intervals concatenate across $(24, 10^9]$; it needs no primality facts beyond primes below 1024, and it is the finite, fully proved form of a domination-interval argument whose asymptotic step was the identified gap in a withdrawn January 2026 claim on this problem. The generation pipeline is cross-checked by two further independent implementations, the compiled development replays through the standalone lean4checker, and two from-source verification legs -- Lean toolchains compiled from source by gcc and by clang, mathlib rebuilt with no cache -- reproduce the committed certificates byte for byte, with olean digests identical across three builds on two architectures. Our range is three to ten orders of magnitude below the computational frontiers we cite; the contribution is the trust base, not the range.

Iterated Integrals and Multiple Polylogarithm at Algebraic Arguments

math.NT

math.AG

v4

By introducing a generalized notion of multiple zeta values associated with an arbitrary finite subset $S\subset \mathbb{P}^1(\mathbb{C})$ and studying their transformation properties under rational functions, we show that multiple polylogarithms evaluated at roots of unity (cyclotomic multiple zeta values, CMZVs) can be equivalently expressed in terms of iterated integrals involving certain non-roots of unity. We apply this theory to elucidate previously unknown $\mathbb{Q}$-linear relations among CMZVs: they come from nontrivial solutions of certain $S$-unit equations in the function field of $\mathbb{P}^1(\mathbb{C})$, thereby attaining the motivic dimension for low level and weight. We introduce a datamine of CMZVs that appears to be the first rigorous compilation of this kind in the literature. In addition, we formulate several nontrivial Galois descent conjectures for multiple polylogarithms and present applications to certain Ap\'ery-type infinite series.

Real convergence and periodicity of $p$-adic continued fractions

math.NT

v3

Continued fractions have been generalized over the field of $p$-adic numbers, where it is still not known an analogue of the famous Lagrange's Theorem. In general, the periodicity of $p$-adic continued fractions is well studied and addressed as a hard problem. In this paper, we show a strong connection between periodic $p$--adic continued fractions and the convergence to real quadratic irrationals. In particular, in the first part we prove that the convergence in $\mathbb{R}$ is a necessary condition for the periodicity of the continued fractions of a quadratic irrational in $\mathbb{Q}_p$. Moreover, we leave several conjectures on the converse, supported by experimental computations. In the second part of the paper, we exploit these results to develop a probabilistic argument for the non-periodicity of Browkin's $p$-adic continued fractions. The probabilistic results are conditioned under the assumption of uniform distribution of the $p$-adic digits of a quadratic irrational, that holds for almost all $p$-adic numbers.

Modular Zilber-Pink for geometrically generic varieties

math.NT

math.AG

math.LO

v2

We prove that the modular Zilber--Pink conjecture (in Pink's formulation in terms of unlikely intersections) holds for all subvarieties $V$ of $ \mathrm{Y}(1)^n$ for which no projection to any $\dim V + 2$ coordinates is defined over the algebraic numbers.

Selberg Zeta Functions Have Second Moment At $\sigma = 1$

math.NT

v2

In this paper, we demonstrate the existence of the second moment of the Selberg zeta function for a cofinite Fuchsian group at $\sigma=1$. Note that by employing the recent approach of Broucke and Hilberdink in proving the second moment theorem, we can circumvent the separation condition introduced by Landau for general Dirichlet series.

Beyond Endoscopy for $\mathrm{GL}(3, \mathbb{Q})$: Isolation of the residual spectrum via Poisson Summation

math.NT

v2

We extend to $\mathrm{GL}(3,\mathbb Q)$ the Poisson-summation method developed by Altu\u{g} for $\mathrm{GL}(2,\mathbb Q)$ in Beyond Endoscopy. For a fixed prime and a family of factorizable test functions, we isolate the contribution of the trivial representation from the regular elliptic part of the trace formula and obtain an explicit expansion of \[ \mathrm{I}_{\mathrm{ell}}(f^{p,k})-\mathrm{Tr}(\mathbf{1}(f^{p,k})). \] We rewrite the finite orbital integrals in terms of an overorder zeta function attached to the monogenic cubic orders defined by the characteristic polynomials. Its identification with Yun's zeta function supplies the functional equation needed for an approximate functional equation. A periodicity theorem then makes Poisson summation in the two polynomial coefficients possible. The zero frequency is governed by Kloosterman-type sums and a Dirichlet series that admits a uniform evaluation. The residues at the origin recover the trace of the trivial representation and one third of the trace of the normalized representation induced from the trivial character of the Borel subgroup.

Gcd-closed sets and divisibility among power GCD matrices and power LCM matrices

math.NT

v2

Let $a, b$ and $n$ be positive integers and let $S=\{x_1, \cdots, x_n\}$ be a set of $n$ distinct positive integers. We denote by $(S^a)$ (resp. $[S^a]$) the $n\times n$ matrix having the $a$th power of the greatest common divisor (resp. the least common multiple) of $x_i$ and $x_j$ as its $(i,j)$-entry. For any $x\in S$, let $G_{S}(x) :=\{d\in S: d

Gcd-closed sets and divisibility among power LCM matrices

math.NT

v2

Let $a,b$, and $n$ be positive integers and let $S=\{x_1, \cdots, x_n\}$ be a set of $n$ distinct positive integers. We denote by $[S^a]$ the $n\times n$ matrix having the $a$th power of the least common multiple of $x_i$ and $x_j$ as its $(i,j)$-entry. For $x\in S$, let $G_{S}(x)=\{d\in S: d

On the asymptotic density of the ordered pairs $(a,b)$ of positive integers such that $\gcd(ab,a+b)=\gcd(a,b)$

math.NT

v2

Consider the arithmetic function of two variables $f(a,b)= \gcd(ab,a+b)/\gcd(a,b)$, investigated in a recent preprint. We deduce asymptotic formulas for sums of the form $\sum_{a,b\le x} h(f(a,b))$, where $h$ belongs to a certain class of arithmetic functions. In particular, we obtain an asymptotic formula for the number of ordered pairs $(a,b)\in {\Bbb N}^2$ such that $a,b\le x$ and $f(a,b)=m$, where $m\in {\Bbb N}$ is fixed. This shows that in the case $m=1$ the corresponding density is the quadratic class number constant $C= \prod_p (1-1/(p^2(p+1))) \doteq 0.881513$.

Bounding The Number of Zeros Near the Central Point in Families of Cuspidal Newforms

math.NT

v2

We study low-lying zeros in families of even holomorphic cuspidal newforms of fixed weight and prime level, with particular emphasis on the number of forms having a zero in a prescribed normalized window about the central point and on the distribution of the number of such zeros among the forms. We quantify the number of forms having at least one zero in the window and study the distribution of the number of zeros in that window among the forms. Assuming the Generalized Riemann Hypothesis, we obtain new lower bounds for the number of forms having a low-lying zero. We first prove that, along an infinite sequence of prime levels $N$, the number of such forms is $\gg N^{7/8}\log N$. We then use higher centered moments and an appropriate test function to show that a positive proportion of the family has a zero in a prescribed window. Finally, we obtain polynomial upper-tail bounds for the number of zeros occurring there and show that a positive proportion of forms have a bounded, nonzero number of low-lying zeros.

Positive quasimodular forms and the sign uncertainty principle

math.NT

math.CA

v2

For every positive integer $d$ divisible by $4$, we prove the following new upper bound for the Bourgain-Clozel-Kahane sign uncertainty constant: \[ \mathrm{A}_+(d) \le \sqrt{2 \left\lfloor \frac{d}{16} \right\rfloor + 2}. \] It recovers the optimal bound $\mathrm{A}_+(12) \le \sqrt{2}$ in dimension $12$ and improves the previously best known bound $\sqrt{(d+2)/(2\pi)}$ for all $d \ge 52$ divisible by $4$. The proof uses Fourier eigenfunctions and associated quasimodular forms constructed by Feigenbaum, Grabner, and Hardin.

Singular-weight Conway-invariant Jacobi forms of index four

math.NT

v2

Let $\Lambda$ be the Leech lattice and let $\mathrm{Co}_0=\operatorname{Aut}(\Lambda)$. Sun and Wang proved that the space of $\mathrm{Co}_0$-invariant holomorphic Jacobi forms of singular weight $12$ and index $4$ satisfies \[ 4\leq \dim J^{\mathrm{Co}_0}_{12,\Lambda,4}\leq 9, \] and left its exact dimension open. We prove \[ \dim J^{\mathrm{Co}_0}_{12,\Lambda,4}=6. \] At singular weight, theta decomposition identifies this space with the simultaneous $\mathrm{Co}_0$- and Weil-invariant subspace of $\mathbb{C}[\Lambda/4\Lambda]$. Conway symmetry and $T$-invariance reduce the problem to a twelve-dimensional space of isotropic orbit sums. On this space the projected Weil $S$-operator satisfies the universal relation \[ S\left(S+\frac{1}{2}I\right)(S-I)=0, \] obtained from the level-$4$ Hecke algebra. Equivalently, the associated integral character matrix $K$ satisfies \[ K(K+2^{23}I)(K-2^{24}I)=0. \] Combining this relation with known index-$4$ forms, reduction modulo $2$, and character data obtained from the $A_3^8$ deep hole reduces the remaining possibilities to a finite exact calculation. A final torsion evaluation of the known index-$3$ form $\Phi_{12,3}$ determines the last required character value, and exact elimination leaves a unique admissible branch, of dimension $6$. We also construct two Conway-averaged theta forms from explicit markings of the Niemeier lattices with root systems $D_6^4$ and $D_4^6$. Together with the four forms previously exhibited by Sun and Wang, they give a natural basis of $J^{\mathrm{Co}_0}_{12,\Lambda,4}$.

Cohomology of varieties over the maximal Kummer extension of a number field

math.AG

math.NT

v3

Let $X$ be a smooth projective geometrically connected variety defined over a number field $K$. We prove that the geometric \'etale cohomology of $X$ with $\mathbb{Q}/\mathbb{Z}$-coefficients has finitely many classes invariant under the Galois group of the maximal Kummer extension of $K$ in odd degrees. In particular, every abelian variety has finite torsion over the maximal Kummer extension. This improves results by R\"ossler and the second author as well as Murotani and Ozeki. We also show that finiteness of torsion of a given abelian variety over non-abelian solvable extensions of $K$ is not controlled by the Galois group of the extension.

Totally decomposable algebras with involution and R-triviality

math.RA

math.AG

math.NT

v3

We show that the group of proper projective similitudes of a totally decomposable algebra with orthogonal or symplectic involution of index at most 2 over a field of characteristic different from 2 is R-trivial. We further give an example showing that the statement does not extend to index 4 in the orthogonal case.

Formality for rigid-analytic spaces satisfying the weight-monodromy conjecture

math.AG

math.NT

v2

We prove that \'etale and de Rham cohomology algebras of a smooth proper rigid-analytic space over a finite extension of $\mathbf{Q}_p$ are formal if the rigid-analytic space satisfies the weight-monodromy conjecture. This is achieved by showing that the underlying $E_\infty$-algebra of a monodromy-pure $E_\infty$-algebra in Weil--Deligne representations is formal. We give examples of smooth proper rigid-analytic surfaces whose cohomology algebras are not formal.

Kneserized Anticoncentration and Reverse Absorption for Graham's Rearrangement Conjecture

math.CO

math.NT

v2

We establish a Kneser-based anticoncentration estimate for uniform subset sums in composite cyclic groups. The estimate contains a periodic loss and is weaker than its prime-modulus counterpart. Nevertheless, together with known small- and large-set results, it proves that, for every fixed $t\geq2$ such that $\mathbb{Z}_t$ is strongly sequenceable and every sufficiently large prime $p$, every subset of $\mathbb{Z}_{tp}\setminus\{0\}$ has a valid ordering, thus establishing the analogue of Graham's rearrangement conjecture for this family of composite cyclic groups. We then identify the structural source of this loss. An inverse theorem shows that failure of the stabilizer-free growth underlying prime-type anticoncentration forces almost all of the set into a proper subgroup or one of its cosets. We exploit this structure by reverse absorption. Iterating the resulting dichotomy between non-periodic anticoncentration and structured concentration proves that every subset of \[ \mathbb{Z}_k\setminus\{0\}, \qquad k=\prod_{i=1}^{s}p_i^{e_i}, \qquad \sum_{i=1}^{s}e_i\leq L, \qquad p_1<\cdots