Number Theory [math.NT]

Extremal Chowla sets and their linear analogues: A human-AI mathematical investigation using Co-Scientist

math.NT

cs.AI

math.GR

We introduce an extremal invariant associated with Chowla-type order conditions in finite groups. A nonempty subset $S$ of a finite group $G$ is called a Chowla set if every element of $S$ has order greater than $|S|$, and we write $\Ccal(G)$ for the maximum cardinality of such a set. We first show that $\Ccal(G)$ is determined by the distribution of element orders in $G$. For cyclic groups, we derive an exact divisor formula and characterize the integers $n$ for which $\Ccal(\mathbb Z/n\mathbb Z)=\varphi(n)$. We prove that $\liminf_{n\to\infty}\Ccal(\mathbb Z/n\mathbb Z)/\varphi(n)=1$, whereas $\limsup_{n\to\infty}\Ccal(\mathbb Z/n\mathbb Z)/\varphi(n)=\infty$, and we determine the corresponding lower and upper limits under normalization by $n$. For finite abelian groups, we obtain an explicit formula in terms of the invariant-factor decomposition, together with a closed formula for finite abelian $p$-groups. We then develop a linear analogue for finite field extensions. A nonzero $K$-subspace $A$ of an extension $L/K$ is called a Chowla subspace if $[K(a):K]>\dim_K A$ for every nonzero $a\in A$. Since this condition depends on $\dim_K A$, it does not generally require every nonzero element of $A$ to generate $L$ over $K$. Nevertheless, when $L/K$ is finite and separable, we prove the exact formula $\Ccal(L/K)=[L:K]-d_{\max}(L/K)$, where $d_{\max}(L/K)$ is the largest degree over $K$ of a proper intermediate field. For finite fields, we give a direct proof in every degree using a normal-basis construction. This work was developed through an expert-guided human--AI collaboration. A reasoning-focused configuration of Co-Scientist was used to explore examples and potential proof strategies. The authors formulated the problem, independently verified and completed all arguments, and wrote the final proofs.

Transcendence of multivariate Mahler functions and algebraic relations between their values

math.NT

We study the functional properties of Mahler functions of several variables associated with a large class of Mahler transformations. We prove that these functions are always analytic on a neighborhood of zero, and meromorphic on the open unit ball in C^n , as well as in C_n^p for all primes p. This enables us to prove a rational-transcendental dichotomy for these functions. As a consequence, we strengthen the lifting theorem recently obtained by Adamczewski and Faverjon. This theorem allows us to systematically compute the algebraic relations between values of multivariate Mahler functions related by a Mahler system, given the algebraic relations between the functions themselves. Finally we prove a multivariate descent theorem in the case of regular points.

Twisted automorphic descent to odd GSpin groups and applications

math.NT

math.RT

We establish twisted automorphic descent from $(\mathrm{GL}_{2n}, \mathrm{GSpin}_2^{\delta})$, where $\mathrm{GSpin}_2^{\delta}$ is anisotropic, to the odd $\mathrm{GSpin}$ group $\mathrm{GSpin}^{\delta,\alpha}_{2n+1}$, which may be split or non-split, generalizing a construction of Jiang--Liu--Xu--Zhang. As an application, we give a new explicit construction of the global Jacquet--Langlands correspondence between $\mathrm{GL}_2$ and $D^\times$, where $D$ is a quaternion division algebra over a number field. As another application, we prove a new case of the global Gan--Gross--Prasad conjecture for $(\mathrm{GSpin}_{2n+1}, \mathrm{GSpin}^{\delta}_2)$.

On certain $D(9)$ and $D(64)$ Diophantine triples

math.NT

A set of $m$ distinct positive integers $\{a_{1},\dots a_{m}\}$ is called a $D(q)$-$m$-tuple for nonzero integer $q$ if the product of any two increased by $q$, $a_{i}a_{j}+q$, $i\neq j$ is a perfect square. Due to certain properties of the sequence, there are many $D(q)$-Diophantine triples related to the Fibonacci numbers. A result of Ba\'{c}i\'{c} and Filipin characterizes the solutions of Pellian equations that correspond to $D(4)$-Diophantine triples of a certain form. We generalize this result in order to characterize the solutions of Pellian equations that correspond to $D(l^2)$-Diophantine triples satisfying particular divisibility conditions. % Subsequently, we employ this result and bounds on linear forms in logarithms of algebraic numbers in order to classify all $D(9)$ and $D(64)$-Diophantine triples of the form $\{F_{2n+8},9F_{2n+4},F_{k}\}$ and $\{F_{2n+12},16F_{2n+6},F_{k}\}$, where $F_{i}$ denotes the $i$th Fibonacci number.

The Explicit Hypergeometric Modularity Method III

math.NT

We refine the Explicit Hypergeometric Modularity Method (EHMM) and develop a variant that applies to a broader class of hypergeometric data. As an application, we establish the modularity of hypergeometric Galois representations arising from length-$4$ data that are not necessarily defined over $\mathbb{Q}$. We also use this method to give explicit constructions of nine modular forms associated with hypergeometric rigid Calabi-Yau threefolds conjectured to be modular by Rodriguez-Villegas. The modularity of these threefolds was first proved by Long-Tu-Yui-Zudilin using a different approach based on the Faltings-Serre method. Moreover, the explicit nature of the method makes it well suited to the computation of special $L$-values of the associated modular forms.

Diagonal cycles on Shtukas and the adjoint $L$-function

math.NT

math.AG

math.RT

We study diagonal cycles on moduli spaces of shtukas for groups of the form $H\times H$, where $H$ is a split almost simple reductive group, allowing arbitrary modification types. We relate their self-intersection numbers, with insertions of determinant line bundles, to higher derivatives of adjoint $L$-functions. This gives a general Gross--Zagier-type identity over function fields for groups of arbitrary type, and suggests a parallel conjectural picture for arithmetic intersections on Shimura varieties.

On the Vanishing of the Brauer-Manin Obstruction for Normic Bundles

math.NT

We study the behaviour of the Brauer--Manin obstruction to the existence of rational points under finite field extensions. For $(p, mp)$-normic bundles over number fields, we prove that the Brauer--Manin obstruction vanishes after base change to finite extensions whose degrees satisfy suitable $p$-divisibility conditions depending on $m$. We further show that, for $(p,2p)$-normic bundles with $p=2$ or $3$, it is enough to assume that the extension degree is divisible by $p$. We also prove that the divisibility hypothesis is, in general optimal, by constructing a conic bundle for which the Brauer--Manin obstruction persists over a quadratic extension.

Beyond endoscopy for the symmetric square representation: The simple trace formula case

math.NT

math.RT

At the beginning of this century, Langlands introduced a strategy known as \emph{Beyond Endoscopy} to attack the principle of functoriality. Altu\u{g} studied $\mathsf{GL}_2$ over $\mathbb Q$ in the unramified setting for the standard representation. We consider the case with ramification at $S=\{\infty,q_1,\dots,q_r\}$ with $2\in S$ and derive an asymptotic formula for the symmetric square representation adding some additional conditions on the test function so that the trace formula is simple. The limit is nonzero in general and we may detect the dihedral forms by using such limit form of the trace formula which is similar to Venkatesh's thesis. The proof involves a second Poisson summation, computation of the transformed Kloosterman sum and the corresponding series, and giving an asymptotic formula for the main term by residue analysis and using technical analysis to deal with the error term.

Extreme values of quadratic Dirichlet $L$-functions with prime-related moduli

math.NT

In this paper, we show a new lower bound for extreme values of quadratic Dirichlet $L$-functions with prime-related moduli, which generalizes the work of Darbar and Maiti in 2025, and sharpens a recent work of Gao in 2026.

On an asymmetric additive energy inequality

math.NT

math.CO

Let $d \geq 1$ be an integer, $G$ be an abelian group and $\nu, w_1, \dots, w_{2d}: G \to [0, \infty)$ be functions with finite, non-empty supports. Define the generalised additive energy \[ E_{2d, \nu}(w_1, \dots, w_{2d}) = \sum_{y,y' \in G}\sum_{a_1, \dots, a_{2d} \in G } w_1(a_1) \dots w_{2d}(a_{2d}) \nu(y) \nu(y') 1_{\sum_{i=1}^d (a_i - a_{i+d}) = y-y'} .\] Moreover, for every $1 \leq i \leq 2d$, let $E_{2d, \nu}(w_i) = E_{2d, \nu}(w_i, \dots, w_i)$. A standard Fourier analytic argument delivers the estimate \[ E_{2d,\nu}(w_1, \dots, w_{2d}) \leq \prod_{1 \leq i \leq 2d} E_{2d, \nu}(w_i)^{1/2d}.\] In this note, we present a purely combinatorial proof of the above inequality. In particular, our proof does not use any Fourier or spectral analysis and relies on repeated applications of Cauchy--Schwarz inequality combined with a discrete convexity extension type argument. We also record a variation of this upper bound in the non-abelian setting via spectral inequalities following work of Hatami on graph norms, as well as a relevant sumset analogue obtained via iterative applications of the Pl\"{u}nnecke--Ruzsa inequality.

Hypernatural numbers in arithmetic Ramsey theory

math.NT

math.CO

math.LO

The hypernatural numbers $\mathbb{N}$ of nonstandard analysis have recently proven to be an effective tool in arithmetic Ramsey theory. After introducing the fundamental ``nonstandard" notions, we present several examples to illustrate the use of this technique in practice. In particular, we provide brief nonstandard proofs of some recent results concerning the partition regularity of certain families of infinite configurations. We also present a new theorem about monochromatic sums and products.

Refined Humbert Invariants in Supersingular Isogeny Degree Analysis

math.NT

We focus on refined Humbert invariants of principally polarized superspecial abelian surfaces, introduced by Kani in 1994. The main contributions are to enumerate principal polarizations on a superspecial surface, and for each polarization, to compute the refined Humbert invariant of a principally polarized superspecial abelian surface. Then, we present several applications of computing this invariant for isogeny-based cryptography. First, we provide a decision algorithm to check if two given polarizations are isomorphic. Second, we present an efficient algorithm to determine the geometric type of a principally polarized superspecial surface. Third, we prove an upper bound on the largest minimal isogeny degree among pairs of supersingular elliptic curves, independent of their endomorphism-ring structures, and our experimental evidence verifies this claim up to $p=659$, $p\equiv 11\pmod{12}$. Fourth, we present experimental evidence for a minimum isogeny frequency within the proven upper bounds. Lastly, we provide a different perspective on the fixed isogeny degree problem using refined Humbert invariants and analyze it without explicit endomorphism rings.

An Asymptotic Formula in Waring's Problem for Seventeen Fourth Powers with Almost Equal Summands

math.NT

This paper considers Waring's problem for seventeen biquadrates with almost equal summands. We study the number of representations of a sufficiently large natural number N as a sum of seventeen fourth powers of integers lying in a short interval about a common center. Using the Hardy--Littlewood circle method and a refined estimate for a short quartic exponential sum in an intermediate range of rational approximations, we prove an asymptotic formula for a shorter interval than was previously known. The result improves the previously known lower bound for H in Waring's problem for seventeen almost equal fourth powers.

Multiplicative subgroups are not restricted sumsets

math.NT

math.CO

We determine exactly which proper multiplicative subgroups of a prime field can be represented as a restricted sumset of the form $A\mathbin{\widehat{+}} A=\{a+a':a,a'\in A,\ a\ne a'\}$. We prove that a proper multiplicative subgroup $H\le\mathbb F_p^*$ cannot satisfy $H=A\mathbin{\widehat{+}} A$ whenever $|H|\ge7$, and that this threshold is sharp. In fact, such a decomposition exists precisely when $|H|\in\{1,3,6\}$, and we classify all decompositions in these exceptional cases. This gives a sharp, complete resolution of the restricted-sumset analogue of the generalized S\'ark\"ozy conjecture over prime fields. This significantly extends and refines previous results of Shkredov and Yip.

Intersection Cohomology of Igusa Stacks

math.NT

math.AG

math.RT

We study the intersection cohomology of minimally compactified Shimura varieties of PEL type AC using Igusa stacks and the work of Fargues-Scholze. More precisely, we construct a sheaf on the moduli stack of $G$-bundles on the Fargues-Fontaine curve, which recovers this intersection cohomology after applying a Hecke operator in the sense of geometric Langlands. We show that this sheaf has several desirable properties; for example, it is Verdier self-dual and perverse. This leads to several applications to intersection cohomology, including a version of the Mantovan product formula, as well as torsion-vanishing and Eichler-Shimura relations. Along the way, we investigate the interaction between Baily-Borel and Newton stratifications on minimally compactified Igusa stacks, and we study perverse t-structures on stratified v-stacks.

$d$-Translated Unit Sensitive Primes

math.NT

A nonnegative integer $n$ is $d$-translated unit sensitive when appending $d$ zeros to the right of the number and changing the unit digit to any possible unit digit (so long as the resulting number is not $n$) results in a composite number. We find an arithmetic progression of nonnegative integers that are $d$-translated unit sensitive for any nonnegative integer $d$. We construct the arithmetic progression such that there exists $k$ consecutive primes in the progression for any positive integer $k$. The first known prime that is $d$-translated unit sensitive for any nonnegative integer $d$ is found as a consequence. We also refine the arithmetic progression such that the integers in the progression are $d$-translated unit sensitive for any nonnegative integer $d$ and are Brier numbers. The refined arithmetic progression contains $k$ consecutive primes for any choice of positive integer $k$.

Collision of Orbits for Families of Polynomials Defined over Number Fields

math.NT

Let $d\ge 2$ be an integer and let $c_0(t),\dots, c_{d-2}(t)\in\bar{\mathbb{Q}}[t]$. We consider the family of normalized polynomials $f_\lambda(z):=z^d+\sum_{i=0}^{d-2} c_i(\lambda)\cdot z^i$ parameterized by $\lambda\in\bar{\mathbb{Q}}$; the generic element of our family of polynomials is $f_t(z):=z^d+\sum_{i=0}^{d-2}c_i(t)\cdot z^i\in \bar{\mathbb{Q}}[t][z]$. Also, let $\alpha_1(t),\alpha_2(t),\beta(t)\in\bar{\mathbb{Q}}[t]$, where $\alpha_i(t)$ is not preperiodic under the action of $f_t(z)$ for each $i=1,2$. Under some natural hypotheses, we obtain precise necessary and sufficient conditions for which there exist infinitely many $\lambda\in\bar{\mathbb{Q}}$ with the property that for some $m,n\in\mathbb{N}$ (depending on $\lambda$), we have that $f_\lambda^m(\alpha_1(\lambda))=f_\lambda^n(\alpha_2(\lambda))=\beta(\lambda)$.

Local Moments of M\"obius Fourier Polynomials and the Riemann Hypothesis

math.PR

math.NT

Let $$ P_N(t)=\frac1{\sqrt N}\sum_{n\leq N}\mu(n)\e^{2\pi i nt}, \qquad t\in\T=\mathbb R/\mathbb Z. $$ We give a local probabilistic reformulation of the Riemann hypothesis by evaluating the normalized M\"obius Fourier polynomial \(P_N\) at a uniform random point in an arc of radius \(c/N\). We prove that RH is equivalent to subpolynomial growth of arbitrarily high finite local moments of these random variables. The principal quantitative tool is a local moment-to-point-value inequality which recovers the value \(P_N(0)=M(N)/\sqrt N\) from local \(L^q\)-data (where $M$ denotes the Mertens function). This provides a critical-scale local criterion for RH and complements Denjoy's random-walk heuristic, Kahane's theory of random Fourier series, and global \(L^p\)-semiflatness criteria for M\"obius polynomials.

A Criterion for Equidistribution along the $\Omega$ Function over Polynomial Sequences with Applications

math.DS

math.NT

Let $P (Y_1, ..., Y_d)$ be a certain fixed homogeneous polynomial of integral coefficients. In this paper, we establish a quantitative equidistribution criterion for the ergodic averages along $\Omega (|P (n_1, ..., n_d)|)$. Consequently, by an estimate of Lachand, we prove the following variant of a theorem of Bergelson and Richter: if $P$ is an irreducible binary cubic form and $ (X, T)$ is a uniquely ergodic system with unique invariant measure $\mu$, then for any $x \in X$ and $f \in C(X)$, \begin{equation*} \lim_{N \rightarrow \infty} \frac 1 {N^2} {\mathop{\sum\sum}_{n_1, n_2 \leqslant N}} f \big( T^{ \Omega (|P (n_1, n_2)| ) } x \big) = \int_{X} f \ \mathrm{d} \mu . \end{equation*} Moreover, we prove in the appendix a related conjecture of C\'espedes and Donoso over number fields.

Graph integrals, Feynman periods, and single-valued multiple zeta values

math.QA

math-ph

math.MP

math.NT

The Borel classes generating the stable cohomology of the general linear group can be represented by invariant differential forms. It is known that pulling these forms back along a tropical Torelli map yields canonical convergent integrals associated to graphs, which are closely connected to the cohomology of $\mathrm{GL}_n$ and of graph complexes. A natural question is what numbers these graph integrals are. We answer this for primitive canonical integrals by showing that they coincide with a family of complex position-space integrals arising in deformation quantisation. As a consequence, canonical integrals of graphs evaluate to single-valued multiple zeta values. We further deduce that every single-valued multiple zeta value occurs as a rational linear combination of Feynman periods of graphs with massless propagators. Finally, in the commutative graph complex, our result implies that the two associated cocycles agree.

Kernel-Checked Exclusions for the Erd\H{o}s-Selfridge Odd Covering Problem: Any Odd Covering of $\mathbb{Z}$ Has lcm Exceeding 10000

cs.LO

math.NT

The Erd\H{o}s-Selfridge odd covering problem (Erd\H{o}s problem #7) asks whether a covering system of $\mathbb{Z}$ exists whose moduli are all odd, distinct, and greater than 1. The problem is open. We present a Lean 4 formalization, checked end to end by the proof kernel, of the exclusion: any covering of $\mathbb{Z}$ by finitely many congruence classes with distinct odd moduli > 1 has lcm of the moduli exceeding 10000. The proof composes a formalized density argument (a covering by divisors of $N$ exceeding 1 forces $2N \le \sigma_1(N)$, so the lcm is abundant or perfect), a kernel-checked abundancy floor (no odd $N < 945$ qualifies), a family of Chinese-Remainder capacity certificates -- decidable per-$N$ arithmetic inequalities each refuting every covering with distinct moduli > 1 dividing that $N$ -- for all 23 odd abundant numbers below $10^4$, and a kernel-checked enumeration establishing that those 23 are the only odd non-deficient candidates. The result is transported to the official StrictCoveringSystem $\mathbb{Z}$ formulation of Erd\H{o}s #7 in google-deepmind/formal-conjectures, with a bidirectional periodicity bridge between coverings of $\mathbb{Z}$ and finite checks over $\mathbb{Z}/N\mathbb{Z}$ suitable for consuming future SAT-style search output. All 63 published theorems depend on exactly propext, Classical.choice, and Quot.sound: no sorry, no native_decide, no solver in the trusted base. The mathematical content is known -- the density argument is folklore, and far larger uncertified classifications of covering numbers exist -- so the contribution is epistemic rather than mathematical: these exclusions are theorems of the Lean kernel, with an axiom gate enforced mechanically in continuous integration.

Solution of Erd\H{o}s problem $\# 443$

math.CO

math.NT

We prove that the size $\# \{ k(m-k) : 1\leq k\leq m/2\} \cap \{ l(n-l) : 1\leq l\leq n/2\}$ is $(mn)^{o(1)}$, but can be arbitrarily large. This resolves Erd\H{o}s problem $\# 443$.

Iterate Wronskians over $\mathbb{R}^d$ as $N$-ary brackets on $\mathbb{R}[x^1,\ldots,x^d]$: the $N$-bonacci numbers bound the highest total degrees

math.RA

math-ph

math.CO

math.MP

math.NT

math.QA

For the algebra $\mathbb{R}[x^1,\ldots,x^d]$ of polynomials in $d\geqslant 1$ variables, regard the complete generalised Wronskian $W_d^k$ of differential order $k\geqslant 1$ over $\mathbb{R}^d$ as the $N=\tbinom{d+k}{d}$-ary Lie bracket. Take an $N$-tuple of polynomials, calculate their Wronskian, and keep re-using the newly-created polynomials to produce more of them. The problem is: how fast do their maximal total degrees grow with the number $n$ of iterations of the bracket? Here enter the $N$-bonacci numbers defined by the recurrence $F^{(N)}_n=F^{(N)}_{n-1}+\cdots+F^{(N)}_{n-N}\in \mathbb{N}$. We prove that for any choice of the initial arguments, the sequence of highest total degrees $d^{(N)}_n \geqslant 0$ grows (if at all) asymptotically no faster than the $n$th $N$-bonacci number: $\lim_{n\to+\infty} (d^{(N)}_n/F^{(N)}_n )<\infty$. We show that for $d=1$ and $k$ odd, the highest polynomial degrees do attain the $N$-bonacci bound.

Equidistribution of $q$-orbits of closed geodesics

math.NT

v3

Given an element of $(\mathbb{Z}/q\mathbb{Z})^\times$ we associate a closed geodesic on the modular surface. We prove that the closed geodesics associated to cosets of sufficiently large subgroups equidistribute in the unit tangent bundle as $q$ tends to infinity. This is a $q$-orbit analogue of Duke's theorem for real quadratic fields as extended to subgroups by Popa. Finally, we show that the homology classes of the $q$-orbits of oriented closed geodesics concentrate around the Eisenstein line and present group theoretic applications.

Abelian varieties genuinely of $\mathrm{GL}_n$-type

math.NT

v3

A simple abelian variety $A$ defined over a number field $k$ is called of $\mathrm{GL}_n$-type if there exists a number field of degree $2\dim(A)/n$ which is a subalgebra of $\mathrm{End}^0(A)$. We say that $A$ is genuinely of $\mathrm{GL}_n$-type if its base change $A_{\overline{k}}$ contains no isogeny factor of $\mathrm{GL}_m$-type for $m

On rationality of certain Eisenstein cohomology

math.NT

math.RT

v2

In this paper, we study the Eisenstein cohomology coming from Eisenstein series associated to degenerate principal series representations and prove certain rationality result.

Real geometric transcendence for uniformization maps of algebraic Riemann surfaces

math.NT

v2

Let $X$ be a smooth connected complex algebraic curve that is not simply connected, and let $\tilde{X}$ be the universal cover of $X$. We study the set of irreducible real algebraic curves in $X$ (seen as a real algebraic surface) containing the image of an arc of a real algebraic curve in $\tilde{X}$. In particular, we give necessary and sufficient conditions on $X$ in order for this set to be non-empty or infinite, and we describe the set explicitly when $X$ is projective of genus one, or $X$ is hyperbolic and its fundamental group is arithmetic.

A Wiener-Ikehara type theorem and its application to Chebyshev bounds for Beurling primes

math.NT

math.CV

v2

We provide a new version of the Wiener-Ikehara theorem where one deduces bounds $$ 0< \liminf_{x\to\infty} \frac{S(x)}{e^{x}}\leq \limsup_{x\to\infty} \frac{S(x)}{e^{x}} <\infty $$ for (in particular) a non-decreasing function $S$ from a mild hypothesis on the boundary behavior of its Laplace transform on a vertical segment containing $s=1$. As an application, we establish new criteria for the validity of Chebyshev bounds for Beurling generalized prime number systems under weaker conditions than were known so far.

The size of $2$-Selmer groups for the $\frac{\pi}{3}$-congruent number problem

math.NT

v2

Our main objective in this paper is to study the average rank of the $2$-Selmer group of the elliptic curve associated with the $\frac{\pi}{3}$-congruent number problem. Following Heath-Brown's strategy, we could find an asymptotic formula for the size of the relaxed $2$-Selmer groups, which has several consequences towards the average of $2$-Selmer ranks and $\frac{\pi}{3}$-congruent number problem. Indeed, we could find an unconditional positive density of $2$-Selmer rank being $1$ or $3$, among the positive square-free integers $n\equiv 13\pmod{24}$ having all the prime divisors congruent to $1$ modulo $4$ and an unconditional positive density of $2$-Selmer rank being $0$ or $2$, among the positive square-free integers $n\equiv 5\pmod{24}$ having all the prime divisors congruent to $1$ modulo $4$.

Additive Rigidity for Images of Rational Points on Abelian Varieties I: The Simple Case

math.NT

math.AG

v4

We study the interaction between the group law on an abelian variety and the additive structure induced on its image under a morphism to projective space. Let $A/F$ be a simple abelian variety, $f:A \rightarrow \mathbb{P}^n$ be a morphism which is finite onto its image, and $\Gamma \subseteq A(F)$ be a finite-rank subgroup. We show that for any affine chart $\mathbb{A}^n \subseteq \mathbb{P}^n$ and any finite subset $X \subseteq f(\Gamma) \cap \mathbb{A}^n$, the energy satisfies $E(X) \ll \lvert X \rvert^2$ and the sumset satisfies $\lvert X+X \rvert \gg \lvert X \rvert^2$. We also prove a product version of the main theorem, where the morphism is compatible with the decomposition of the abelian variety into simple factors. The proof uses the uniform Mordell-Lang conjecture proven by Gao--Ge--K\"{u}hne.

Full classification of exceptional rational functions of degree five over finite fields

math.NT

v2

We classify exceptional rational functions of degree five over an arbitrary finite field, up to left and right M\"obius transformations, and give explicit normal forms in every characteristic. The classification is organized by geometric monodromy and ramification. Its principal new case has dihedral monodromy, reflection inertia, and no rational branch point. We express such covers via cyclic five-isogenies of elliptic curves and derive their coefficients in characteristic two and in odd characteristic. Beyond degree five, we classify degree-$n$ rational functions with cyclic geometric monodromy when the characteristic does not divide $n$, and describe, for every odd $n$, all separable degree-$n$ rational functions with dihedral monodromy and reflection inertia in terms of cyclic $n$-isogenies. For every prime $n \geqslant 5$, a Frobenius criterion on the isogeny kernel detects exceptionality. The method converts monodromy data into computable equations and extends to other odd prime degrees.

Ranks of Elliptic Curves Twisted by Quadratic Forms

math.NT

v2

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

Explicit bounds for Buchstab's function

math.NT

v2

Buchstab's function $\omega(u)$ describes the distribution of integers without small prime factors. We establish numerically explicit upper and lower bounds for $\omega(u)$ that are easy to evaluate, without the need to solve the delay differential equation numerically.

Equidistribution of partial coverings from closed geodesics

math.GT

math.DS

math.NT

v2

Given a finite volume hyperbolic surface, a fundamental polygon and an oriented closed geodesic, we associate a partial covering of the surface. We prove that given a sequence of collections of oriented closed geodesics equidistributing in the unit tangent bundle then the associated partial coverings also equidistribute. In the case of the modular group, this yields an alternative proof of an equidistribution result due to Duke, Imamo\={g}lu, and T\'{o}th.

Beilinson--Lichtenbaum phenomenon for motivic cohomology

math.AG

math.KT

math.NT

v2

The goal of this paper is to study non-$\mathbb{A}^1$-invariant motivic cohomology, recently defined by Elmanto, Morrow, and the first-named author, for smooth schemes over possibly non-discrete valuation rings. We establish that the cycle class map from $p$-adic motivic cohomology to a suitable truncation of Bhatt--Lurie's syntomic cohomology is an isomorphism, thereby verifying the Beilinson--Lichtenbaum conjecture in this generality. As a first consequence, we prove that this motivic cohomology integrally recovers the classical definition of motivic cohomology in terms of Bloch's cycle complexes, whenever the latter is defined. As a second consequence, we show a purity theorem for this cohomology theory over perfectoid rings, thus motivically refining a result of Nizio\l{} in algebraic $K$-theory. The key ingredient in our approach is a version of Gabber's presentation lemma applicable in mixed characteristic, non-noetherian settings.

Extensions of Abelian Schemes and the Additive Group

math.AG

math.NT

v2

We compute extension sheaves of abelian schemes and of the additive group by the multiplicative group in the fppf topology. Our main results include a generalized and streamlined proof of the Barsotti--Weil formula, the vanishing of $\underline{\operatorname{Ext}}^2(A,\mathbb{G}_m)$ for an abelian scheme $A$ over a general base, and a description of $\underline{\operatorname{Ext}}^1(\mathbb{G}_a,\mathbb{G}_m)$ in characteristic zero.