Number Theory [math.NT]

A problem on sumset sizes of sets of lattice points

math.NT

A central problem in additive number theory is to understand the set of sizes of $h$-fold sums of finite subsets of an additive abelian semigroup. It is proved that the "range of sumset sizes'' is the same for finite sets of integers and for finite sets of $n$-dimensional lattice points. The associated geometrical problem is to determine if these sumset size sets can be computed more efficiently with lattice points than with integers.

Infinite Sidon-type sets for zero-sum linear forms

math.NT

math.CO

Let $h \geq 2$, and let $\mathbf{b} = (b_1,\dots,b_h)\in \mathbb{Z}^h$ be a zero-sum vector with nonzero coordinates. For a set $A=\{a_1<\cdots\}\subseteq\mathbb{N}$, let $r_{A,\mathbf{b}}(n)$ denote the number of $h$-tuples $(x_1,\ldots,x_h)$ of pairwise distinct elements of $A$ satisfying $b_1x_1+\cdots+b_hx_h=n$. We study density restrictions on sets $A$ for which these representation counts remain small, obtaining analogues of the classical density theorem for infinite Sidon sets. In the case $\mathbf{b} = (c_1,-c_1,\dots,c_k,-c_k)$, we prove that if $A(x)/(x/\log x)^{1/2k}\to\infty$, then $\frac{1}{x}\sum_{|n|\leq x} r_{A,\mathbf{b}}(n)\to\infty$, whereas if $A(x)\gg x^{1/2k}$, then $\frac{1}{x}\sum_{|n|\leq x} r_{A,\mathbf{b}}(n)\gg\log x$. This recovers Chen's theorem on $B_{2k}$-sequences. For general zero-sum vectors $\mathbf{b}$, we prove analogous bounds under gap conditions: if $a_{n+1}-a_n=o(n^{h-1}\log n)$, then $\frac{1}{x}\sum_{|n|\leq x} r_{A,\mathbf{b}}(n)\to\infty$, whereas if $a_{n+1}-a_n\ll n^{h-1}$, then $\frac{1}{x}\sum_{|n|\leq x} r_{A,\mathbf{b}}(n)\gg\log x$.

Inverses of Fibonacci and Lucas Numbers via Rational Indices

math.NT

Fibonacci and Lucas numbers have been extensively studied in various algebraic and number-theoretic contexts, including their modular inverses and generalizations. Motivated by these developments, we study the inverses of Fibonacci and Lucas numbers with rational indices through the codenominator function $F$. Uluda\u{g} and G\"okmen (2022) showed that the rational-indexed Fibonacci number $F_X$, where $X\in\mathbb{Q}_{>0}$, can be expressed using $F$, and that infinitely many such representations exist. In this paper, we extend their work by deriving a general explicit formula for $F_X$ through the codenominator function. We establish precise conditions under which $F_X$ coincides with a Lucas number or deviates from the classical Fibonacci sequence. Moreover, by means of these generalized formulas, we compute the units of Fibonacci and Lucas numbers, thereby proving the existence of multiplicative inverses for all Fibonacci and Lucas numbers within this framework. These results reveal new structural properties of Fibonacci- and Lucas-related sequences and suggest further directions for number-theoretic exploration.

Zeros of the Dirichlet series of even zeta values

math.NT

We give a complete unconditional description of the zero set of the Dirichlet series $D(s) := \sum_{n\ge1} \zeta(2n)\, n^{-s}$, which continues meromorphically to $\mathbb{C}$ with a single simple pole at $s=1$. The series possesses neither an Euler product nor a self-dual functional equation, and descriptions with this level of completeness are exceedingly rare for such series. The key input is an exact functional equation of Hecke type, obtained from the Lipschitz summation formula, which expresses $D$ in the left half-plane as a gamma factor times a dual series over the complex logarithms of the perfect squares; Riemann's functional equation appears as a single column of the dual series. The zeros fall into four families. The half-plane $\sigma \ge \sigma_0 = 1.5001\cdots$ is zero-free, and $D$ has a real zero $\rho_0 = 0.2004\cdots$, conjecturally its only one. The zeros in the critical strip are perturbed $a$-points of $\zeta$ for values of $a$ near $-(\zeta(2)-1)$, and their counting function obeys a Riemann-von Mangoldt law. The remaining zeros form two complex-conjugate strings that recede into the left half-plane along explicit rays, are eventually simple, and satisfy an asymptotic with geometrically decaying error. The string geometry is governed by interference between the two smallest frequencies of the dual series, $2\log 2$ contributed by the entire part of $D$ and $\pm 2\pi i$ contributed by $\zeta$. No hypothesis of Riemann type is assumed at any point.

On a Diophantine Equation with Jacobsthal and Fibonacci Numbers

math.NT

In the present paper, we identify all Jacobsthal numbers that may be expressed as a product of three Fibonacci numbers. More precisely, our main result shows that the only solution to the Diophantine equation \[ F_kF_lF_m=J_n \] for $2

Murmurations of quadratic Hecke $L$-functions of the Gaussian field

math.NT

In this paper, we evaluate the murmuration density for the family of quadratic Hecke $L$-functions of the Gaussian field under the generalized Riemann hypothesis.

On $v_2(q),v_3(q),v_4(q)$, and Andrews' Conjectures 5 and 6

math.NT

In this paper, we prove an exceptional sign pair phenomenon for three $q$-series from Ramanujan's Lost Notebook, namely $v_2(q),v_3(q)$, and $v_4(q)$. This was first observed by Andrews in a 1986 paper. Building on the recent work of Kundu, Storzer, Wang, and the author, which established that the coefficients of these $q$-series are alternating in sign except in a density-zero set, we study the exceptional indices where the alternating sign pattern fails. We prove that these exceptional indices occur infinitely often in a structured manner. More precisely, we show that there exist infinitely many pairs of consecutive coefficients having the same sign, and that at least one coefficient in each pair is a local minimum of the sequence of absolute values of the coefficients. Our proof combines precise asymptotic expansions for the coefficients with a careful analysis of an oscillatory factor appearing in the expansions which governs the exceptional sign behavior.

On structured cosine sums and applications

math.NT

math.SP

For a multiset $S$ on the cyclic group $\mathbb{Z}/N\mathbb{Z}$, we study finite sums of cosine functions of rational angles associated to $S$ by translating them as evaluations of elements in the group ring $\mathbb{Z}[\mathbb{Z}/N\mathbb{Z}]$. Using vanishing sums of roots of unity, especially the Lam-Leung theory, we obtain criteria for the vanishing of the cosine sums under some conditions, and prove a small-weight Fourier rigidity. We then apply these algebraic results to cyclic Cayley graphs, deriving the zero-eigenvalue criteria, multiplicity bounds for nonzero eigenvalues in the small-support case, and a description of the square-free case where the generating set is a subgroup of the unit group.

Fibonacci, Dirichlet, and Gauss in a single sum

math.NT

We study the fractional-part sums $\sum_{k=1}^{n}\{F_n/F_k\}$, where $F_n$ is the $n$th Fibonacci number. Their asymptotic behavior depends on the parity of $n$. For odd $n$, the remainder is expressed in terms of the Gauss circle error term. For even $n$, it is expressed in terms of the Dirichlet divisor error term. Thus determining the optimal remainder exponent for the odd Fibonacci sums is equivalent to the Gauss circle problem, while the corresponding question for the even sums is equivalent to the Dirichlet divisor problem. We also prove analogous formulas for a family of second-order recurrences, including the Lucas sequence, for which the roles of the two parities are exchanged.

The $p$-rationality of $\mathbb{Q}\left(\sqrt{-(kp+m)}\right)$ and $\mathbb{Q}\left(\sqrt{p(p+1)}\right)$

math.NT

In this paper, we construct new families of imaginary and real quadratic fields that are $p$-rational. In the imaginary case, we prove that for any positive integer $k$ and any integer $m$, the imaginary quadratic field $\mathbb{Q}\left(\sqrt{-(kp+m)}\right)$ is $p$-rational for sufficiently large primes $p$. The proof relies on Louboutin's bound on the class numbers of imaginary quadratic fields. As a corollary, we recover the $p$-rationality of consecutive quadratic fields, a result due to Chattopadhyay, Laxmi and Saikia \cite{CLS}. In the real case, we give an explicit proof of the $p$-rationality of the real quadratic field $\mathbb{Q}\left(\sqrt{p(p+1)}\right)$ for any odd prime $p$, and obtain new pairs of real quadratic fields $\left(\mathbb{Q}\left(\sqrt{p(p-2)}\right),\mathbb{Q}\left(\sqrt{p(p-1)}\right)\right)$ and $\left(\mathbb{Q}\left(\sqrt{p(p+1)}\right),\mathbb{Q}\left(\sqrt{p(p+2)}\right)\right)$ for any prime $p>3$. We also construct new examples of $p$-rational triquadratic fields.

On the Fractional Parts of Polynomials Modulo $p$

math.NT

We study a half-interval distribution problem for polynomial residues modulo an odd prime $p$: how often the fractional part of $\varphi(x)/p$ lies in the upper half of the unit interval as $x$ ranges over $1\leq x< p/2$. Using finite Fourier expansions together with the Weil bound, we prove an asymptotic formula $\#\left\{1\leq x< p/2:\left\{{\varphi(x)}/{p}\right\}>\frac12\right\} =\frac{p}{4}+O_\varphi(\sqrt p\log^2 p). $ We then show that the error term can be improved to $O_\varphi(\sqrt p\log p)$ for arbitrary quadratic polynomials and for polynomials satisfying suitable reflection symmetries. For even monomials $\varphi(x)=x^m$, we further obtain the bound $O_m(\sqrt p\log\log p)$ under the Generalized Riemann Hypothesis. Finally, in the case $m=2$, we prove an unconditional matching lower bound, showing that the factor $\log\log p$ is best possible in this setting.

Zeta functions of $\mathrm{PGL}_n$ over non-Archimedean local fields

math.NT

Let $\mathscr{B}$ be the Bruhat--Tits building of $\mathrm{PGL}_n(F)$, where $F$ is a non-Archimedean local field. We introduce geometric $k$-geodesics in $\mathscr{B}$ by means of CAT(0) convexity and combinatorial $k$-geodesics by a local successor relation on pointed $k$-facets. We prove that the two notions coincide. This allows us to use the local combinatorial definition on quotients $\Gamma\backslash\mathscr{B}$, without referring to the universal covering. When $\Gamma$ is discrete, torsion-free, cocompact, and type-preserving, the primitive closed $k$-geodesics define zeta functions $Z_k$ and their $\epsilon$-twisted variants $Z_k^\epsilon$. Our main result identifies an alternating product of these zeta functions with the unramified $L$-function of $L^2(\Gamma\backslash \mathrm{PGL}_n(F))$: $(1-u^n)^{\chi(\Gamma\backslash\mathscr{B})}L(\Gamma,q^{(n-1)/2}u)=\prod_{k=1}^{n-1} Z_k^\epsilon(\Gamma\backslash\mathscr{B},u)^{(-1)^{k+1}}$. This gives a uniform Ihara-type identity for all $\mathrm{PGL}_n$. We also extend the construction and the identity to $\mathrm{PGL}_n(D)$, where $D$ is a central division algebra over $F$; in that setting the residue parameter is $Q=|\mathcal{O}_D/\mathfrak{p}_D|$.

A Weighted Sum Formula for Double Eisenstein Series

math.NT

math.CO

We prove a weighted sum formula for double Eisenstein series. Its corresponding identity for the generating series of multiple divisor sums was conjectured by the author in his master's thesis. The double Eisenstein series identity follows from the restricted double-shuffle relations proved by the author and Tasaka, while the proof of the divisor-sum identity is combinatorial and uses generating series.

Statistical properties of Hecke correspondences

math.NT

math.DS

This paper studies the statistical properties of the dynamical system generated by a Hecke correspondence on the modular curve over $\mathbb{C}$ and, for every prime number $p$, over $\mathbb{C}_p$. Over $\mathbb{C}$, it proves that the equidistribution to the hyperbolic measure established by Clozel and Otal occurs at an exponential rate. Moreover, it determines the sharp rate, assuming an affirmative solution to the Ramanujan-Petersson conjecture. Over $\mathbb{C}_p$, two distinct types of behavior arise. In the first, every orbit converges towards the Gauss point in the Berkovich affine line, and this paper establishes the sharp exponential convergence rate. In the second, a form of unique ergodicity holds on each orbit closure, and this paper establishes a spectral gap property and, as a consequence, a central limit theorem. This complements the central limit theorem proved by Cantat and Le Borgne over $\mathbb{C}$. Finally, the paper extends and strengthens the results of Goren and Kassaei on the associated random walks.

Simultaneous non-vanishing of Dirichlet $L$--functions, II: Weighted central limit theorem

math.NT

Under the Generalized Riemann Hypothesis, we prove a weighted central limit theorem for the joint distribution of four Dirichlet $L$--functions at the central point, twisted by the family of primitive characters to a large prime modulus. As an application, we show that a positive proportion of the characters in the family yield four central values that are simultaneously large, and a positive proportion yield values that are simultaneously nonzero and small.

Absolute minimum of a height associated to a semipositive adelic line bundle

math.AG

math.DS

math.NT

There exists a semipositive adelic line bundle on a projective variety over $\mathbb{Q}$ whose absolute minimum does not attain the minimum by algebraic points. The construction is based on arithmetic properties of a family of dynamical systems over $\mathbb{P}^1$.

Generic ordinarity for abelian coverings of the projective line

math.AG

math.NT

We show that abelian coverings of the projective line of order prime to $p$ are generically $\mu$-ordinary in characteristic $p$. The images of the irreducible components of Hurwitz spaces of abelian coverings of the projective line by the Torelli morphism lie in some Shimura varieties. The stratification by Newton polygons of these varieties is known, and we show that the generic Newton polygon for the Hurwitz space coincides with the generic (or $\mu$-ordinary) Newton polygon of the smallest Shimura variety that contains its image. In order to do this, we compute the generic Newton polygons for $L$-functions associated to multiplicative character sums over the projective line.

Arithmetic progressions in a random set on a budget

math.CO

math.NT

A restricted-budget version of the random graph process, introduced by Frieze, Krivelevich, and Michaeli in 2025, studies the construction of structures by an online player who can purchase only a limited number of random edges. In this paper, we transfer this framework from random graphs to random subsets of integers, focusing on the construction of $k$-term arithmetic progressions. A player, Builder, is presented with a sequence of $t$ integers drawn uniformly at random from $[n]$. As the elements are revealed one by one, Builder must immediately and irrevocably decide whether to select the current integer, subject to a maximum budget of $b$ selected elements in total. We establish the optimal thresholds for this process, proving that for $t = \omega(n^{1-2/k})$, a budget of $b = \Theta((n/t)^{\frac{k-2}{2}})$ is both necessary and sufficient for Builder to successfully construct a $k$-term arithmetic progression with high probability.

Counting Plane Cubic Curves over Finite Fields with a Prescribed Number of Rational Intersection Points

math.NT

math.AG

math.CO

v3

For each integer $k \in [0,9]$, we count the number of plane cubic curves defined over a finite field $\mathbb{F}_q$ that do not share a common component and intersect in exactly $k\ \mathbb{F}_q$-rational points. We set this up as a problem about a weight enumerator of a certain projective Reed-Muller code. The main inputs to the proof include counting pairs of cubic curves that do share a common component, counting configurations of points that fail to impose independent conditions on cubics, and a variation of the MacWilliams theorem from coding theory.

Exact counts of elliptic curves of bounded height over $\mathbb F_q(t)$ in characteristics $2$ and $3$

math.NT

math.AG

math.KT

v2

Let $p\in\{2,3\}$, let $q=p^r$ with $r\geq1$, and put $K=\mathbb F_q(t)$. We determine the exact number of $K$-isomorphism classes of elliptic curves of bounded Faltings height, equivalently of bounded minimal-discriminant degree. Two small-characteristic phenomena enter the count. First, certain generalized Weierstrass equations with nonsmooth generic fiber have a unique geometric singular point defined only after a nontrivial purely inseparable extension of $K$. Second, the extra $K$-defined automorphisms on the $j=0$ locus, including wild automorphisms, must be incorporated when passing from weighted to unweighted counts. Building on de Jong's weighted-counting framework, we correct the nonsmooth-locus subtraction, classify normalized fixed pairs with a marked automorphism, and transfer the resulting coefficient-degree counts to exact Faltings height through the intrinsic effective divisor recording minimality defect. This yields closed unweighted formulas and identifies the geometric origin of every lower-order term. At height zero, the $j=0$ contribution agrees with the finite-field twist counts of Kronberg-Soomro-Top.

Elliptic curves and finitely generated Galois groups

math.NT

v2

Let $K$ be an extension of $\mathbb{Q}$ and $A/K$ an elliptic curve. If $\mathrm{Gal}(\bar K/K)$ is finitely generated, then $A$ is of infinite rank over $K$. In particular, this implies the $g=1$ case of the Junker-Koenigsmann conjecture. This "anti-Mordellic'' result follows from a new "Mordellic'' theorem, which asserts that if $K_0$ is finitely generated over $\mathbb{Q}$, the points of an abelian variety $A_0/K_0$ over the compositum of all bounded-degree Galois extensions of $K_0$ form a virtually free abelian group. This, in turn, follows from a second Mordellic result, which asserts that the group of $A_0$ over the extension of $K_0$ defined by the torsion of $A_0(\bar K_0)$ is free modulo torsion.

On the local-global principle for twists of abelian varieties and Galois representations

math.NT

v2

This paper investigates the validity of a local-global principle for finite twists of a large class of objects endowed with a continuous action of the absolute Galois group of a given number field, such as abelian varieties, modular forms and Galois representations. Our aim is to determine when, for $m$ a positive integer, twists that are given locally by characters of order $m$ are realised by a global character of the same order. We define and study a ``Tate--Shafarevich cohomology set'' that governs the obstruction to the local-global principle for $m$-atic twists and we prove that this set is finite. Finally, we apply our results and prove several instances of the local-global principle in various examples.

Modular abelian surfaces of small conductor with nontrivial Tate--Shafarevich groups

math.NT

v2

We exhibit examples of geometrically simple abelian surfaces $A/\mathbb{Q}$ with conductor bounded by $(10\,000)^2$ whose Tate--Shafarevich groups contain a subgroup isomorphic to $(\mathbb{Z}/p\mathbb{Z})^2$ for each $p = 5, 7, 11, 13$. To find these examples we generalise work of Cremona--Freitas to give a candidate list of all congruences of a certain type between pairs of weight $2$ newforms $f \in S_2^{\mathrm{new}}(\Gamma_0(N))$ and $g \in S_2^{\mathrm{new}}(\Gamma_0(M))$ contained in the LMFDB (i.e., with $N, M \leq 10\,000$) and with coefficient fields of degree $\leq 4$. Passing from the modular forms to the corresponding abelian varieties we use visibility to (unconditionally) prove the existence of non-trivial elements of the Tate--Shafarevich group. Finally we construct an example of an abelian surface with $(\mathbb{Z}/7\mathbb{Z})^2 \subset \mathrm{Sha}(A/\mathbb{Q})$ which is (conjecturally) not visible in any abelian threefold.

Alternating geometric progressions modulo one and Sturmian words

math.NT

math.CO

v3

Let $b\ge 2$ be an integer. Using Sturmian words we describe all irrational real numbers $\xi$ such that the image in $\mathbb{R}/\mathbb{Z}$ of the sequence $(\xi (-b)^n)_{n\ge 0}$ is contained in an interval of length $b^{-1}+b^{-2}-b^{-3}$. In previous work (arXiv:2603.16794) we showed that the image cannot be contained in a shorter interval.

A proof of $p$-adic Gross--Zagier theorem via BDP formula

math.NT

v2

This paper provides a new proof of the $p$-adic Gross--Zagier formula for the $p$-adic $L$-function associated with the base change of a normalised cuspidal eigen-newform $f$ of weight $k \geq 2$ (and families of such) to an imaginary quadratic field $K$. Our results encompass both the classical $p$-ordinary cases and non-ordinary scenarios, including new cases where $k > 2$ and $\mathrm{ord}_p(a_p(f)) > 0$. Unlike the traditional approach of comparing geometric and analytic kernels, we employ a ``wall-crossing'' strategy centred on the BDP formula and the theory of Beilinson--Flach elements.

On Maximal Prime Gaps

math.NT

v5

In this paper, we show a new upper bound of prime gaps, that is the gap between a prime number and its consecutive prime number. We show that the gap between a prime number $p_n$ and its consecutive prime number is not larger than $\frac{13}{3}\log^2{p_n}$. We also show that the result implies the existence of a prime number in a certain type of interval for large enough numbers as a consequence.

Perfect powers in the product of denominators of elliptic curves

math.NT

v3

We use sieving arguments to estimate the frequency of $s$-tuples of rational points $$(P_1,\dots,P_s)\in E_1(\mathbb{Q})\times\cdots\times E_s(\mathbb{Q}),$$ where $E_1,\dots,E_s$ are (not necessarily distinct) elliptic curves over $\mathbb{Q}$, for which the product of their denominators is a perfect $\ell$th power for a fixed prime $\ell$. We consider two settings: one in which the points are of the form $n_iP_i+Q_i$ with $n_i$ ranging over an interval, and another in which we take arbitrary points of bounded canonical height. In the special case where all $Q_i$ are the points at infinity, we also obtain better estimates by using a version of the elliptic sieve with elliptic divisibility sequences. Consequently, we derive analogues of these results for various rational functions, providing elliptic analogues of R. de la Bret\`eche, P. Kurlberg and I. E. Shparlinski (2021).

On the classification of indecomposable Ekedahl-Oort strata in unitary Shimura varieties, and related Newton polygons

math.NT

v2

In this paper, we give a complete classification of indecomposable Ekedahl--Oort strata of Shimura varieties associated to the unitary group $\mathsf{GU}(a, b)$ over an odd inert prime. We show that each indecomposable stratum is one of four types: unitary unicycle, unitary bicycle, Serre unicycle, or Serre bicycle; the latter two types are named for a tensor construction of abelian varieties developed by Serre. We provide an algorithm that translates the description of a stratum in terms of words in the alphabet $\{\texttt{f},\texttt{v}\}$ to the corresponding Weyl group coset representative. Finally, using a $p$-adic lift, we construct a `tautological' point in each Ekedahl--Oort stratum, and compute its Newton polygon. As an application, we show that the indecomposable Ekedahl--Oort strata corresponding to unitary unicycles and Serre unicycles always intersect the supersingular locus.

Divisibility Biases in the Orders of Elliptic Curve Reductions

math.NT

v2

Let $E$ be an elliptic curve over the rationals. In 2004, Cojocaru proved, using the Chebotarev density theorem, that the set of primes $p \leq x$ for which $m$ divides $\#E_p(\mathbb{F}_p)$ has a natural density. In 2009, Banks and Shparlinski proved an averaged version of this result over families of elliptic curves. In this article, we give a more explicit analysis of these densities. In particular, we show that, for Serre curves, the density of primes $p$ for which $m \mid \#E_p(\mathbb{F}_p)$ is approximately $1/\varphi(m)$, and is always greater than $1/m$ for every $m \geq 2$. Thus, the orders $\#E_p(\mathbb{F}_p)$ exhibit a bias toward divisibility by $m$. Finally, based on Jones' method, we prove that the average of the individual $m$-divisibility densities coincides with the average density proposed by Banks and Shparlinski.

Strongly complete sets and a conjecture of Erd\H{o}s

math.NT

math.CO

v2

A set $A\subseteq\mathbb{N}$ is called $\textit{complete}$ if every sufficiently large integer can be written as a sum of distinct elements of $A$. It is $\textit{strongly complete}$ if it remains complete after one deletes finitely many elements from it. We show that $A\subseteq\mathbb{N}$ is strongly complete whenever \[ \big|A\cap(2^k,2^{k+1}]\big|\ge6 \] for every sufficiently large $k\in\mathbb{N}$, and \[ \sum_{a\in A}\|a\theta\|=\infty, \quad\forall\theta\in\mathbb{R}\setminus\mathbb{Z}. \] In particular, this resolves a 1961 conjecture of Erd\H{o}s. The proof builds on previous work of Bergelson and Simmons. In fact, our approach allows us to establish a more general strong-completeness criterion with suitable ordered blocks in place of dyadic intervals. We also discuss some applications of our results as well as their connections to a few other interesting problems.

Multiple Clausen values and deformed Ap\'ery-like series

math.NT

hep-th

math.CO

v2

With generalized central binomial coefficients $ \binom{2x}{x}:=\frac{\Gamma(2x+1)}{[\Gamma(x+1)]^2}$ defined through Euler's gamma function, we represent deformed Ap\'ery-like series \[ \mathscr A_{s,n}:=\sum_{k=1}^\infty\left.\!\frac{\partial^n}{\partial x^n}\frac{1}{x^s\binom{2x}{x}}\right|_{x=k} \] by multiple Clausen values (MCVs), which belong to a special class of cyclotomic multiple zeta values (CMZVs) at level $3$. For example, exploiting provable algebraic relations among MCVs, we show that \[\mathscr A_{1,5}=-\frac{9[495L(\chi_{-3},6)-30\pi^{2}L(\chi_{-3},4)-2\pi^{4}L(\chi_{-3},2)]}{4}\]and\[\mathscr A_{4,4}=\frac{352\zeta_{5,3}}{15}+\frac{752537\pi^{8}}{10206000},\]where $ L(\chi_{-3},s):=\sum_{n=0}^\infty\left[(3n+1)^{-s}-(3n+2)^{-s}\right]$ and $\zeta_{5,3}:=\sum_{m>n>0}m^{-5}n^{-3}$.

Semistable Reduction of Plane Quartics

math.AG

math.NT

v2

The Stable Reduction Theorem guarantees that any smooth, projective, geometrically irreducible curve of genus $g \geq 2$ over a discretely valued field admits a unique stable model after a finite field extension. Computing this model is a central problem in arithmetic geometry. For non-hyperelliptic genus $3$ curves, which are canonically embedded as plane quartics, methods like admissible reduction become challenging in small residue characteristics. This thesis establishes a precise connection between the abstractly defined stable model and computationally accessible GIT-stable plane models. We prove that a GIT-stable plane model of a smooth plane quartic exists if and only if its stable reduction is non-hyperelliptic. When this condition holds, we show that the stable model is the unique minimal semistable model that dominates the GIT-stable model. The corresponding domination morphism is geometrically explicit: it contracts the $1$-tails of the stable reduction to cusps on the special fiber of the GIT-stable model and is an immersion elsewhere. This result provides a geometric framework for computing the stable model by first finding a GIT-stable model and then resolving its cuspidal singularities.

Totally decomposable algebras with involution and R-triviality

math.RA

math.AG

math.NT

v2

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.

A Uniform Construction of Cohomology Theories of Varieties via Fundamental Groupoids

math.AG

math.NT

v2

We prove that the cohomology of a variety is fully recovered from the fundamental groupoids of its Zariski open subsets in various settings. This follows from a new sheaf theory that replaces the target category of Zariski sheaves with a fibered category while retaining the Zariski site as the source. Given a fundamental groupoid functor and a suitable abelian coefficient category, this theory produces the corresponding cohomology theory on varieties, providing a uniform construction of several cohomology theories. The topological fundamental groupoid with abelian groups recovers singular cohomology. The \'etale fundamental groupoid with discrete abelian groups recovers \'etale cohomology. The pro-algebraic fundamental groupoid with vector spaces recovers algebraic de Rham cohomology. The pro-algebraic fundamental groupoid with commutative formal groups unifies \'etale and algebraic de Rham cohomology. In each case, we prove a comparison theorem with the corresponding classical theory or theories. We conjecture that the Nori fundamental groupoid with commutative formal groups unifies \'etale and p-adic cohomology.

Semistable reduction of smooth quartics

math.AG

math.NT

v2

We develop a method for computing stable reduction of smooth plane quartics over discretely valued fields, including residue characteristic p=2. The method uses the GIT-semistable plane models constructed in an earlier part of this project, together with an intrinsic description of hyperelliptic stable curves, to characterize when the stable model is obtained from a GIT-stable plane model by resolving its cusps. More precisely, for a smooth non-hyperelliptic curve of genus 3 with semistable reduction, we show that it admits a GIT-stable plane model if and only if its stable reduction is non-hyperelliptic. In that case, the stable model is obtained from the GIT-stable plane model by replacing each cusp by a 1-tail. Together with the companion paper on explicit local stable resolution of cusps, this gives an effective approach to computing stable reduction of smooth plane quartics. The resulting algorithms are implemented in the SageMath package "StabilityFunction".

Black Holes and Random Variables

hep-th

math.NT

math.PR

v2

We formulate an avatar of the Fyodorov-Hiary-Keating conjecture for black hole microstate counts in quantum gravity. By holography, this implies sharp bounds on interval counts of high-dimension primary operators in conformal field theory. The extremal fluctuations of these counts are characterized by a random variable, with a prescribed tail distribution. At large $N$, these order-one erratic fluctuations set a quantitative limit on the resolution of the semiclassical AdS gravitational path integral. Gaussian random models for state counts arise naturally in this context; we express the phenomenon of erratic $N$-dependence in AdS/CFT as a decorrelation property of these models. Our broader point is to suggest that AdS black hole microstate spectra and their field theory duals should exhibit the extreme value statistics of random matrices, lying in the universality class of Gaussian log-correlated fields.

An affirmative answer to Owings's sumset question

math.CO

math.DS

math.NT

v2

We give an affirmative answer to Owings's sumset question: for any $2$-coloring of natural numbers, there is an infinite $B\subseteq \mathbb{N}$ such that $B+B$ is monochromatic. We also establish weighted variants and present counterexamples showing the limits of several possible extensions.

Generic polar divisors and flag residues for root-system zeta functions

math.RT

math.NT

v2

Let $\Phi$ be an irreducible crystallographic root system, and let $Z_\Phi(\mathbf{s})$ denote the untwisted Komori-Matsumoto-Tsumura zeta function with one exponent for each positive coroot. For a nonempty set $S$ of simple nodes, let $H_{S,\ell}$ be the hyperplane on which the exponents of the roots meeting $S$ sum to $|S|-\ell$. We prove that every proper-support hyperplane $H_{S,\ell}$ is a genuine polar divisor at a generic point, whereas exact homogeneity leaves only the unshifted full-support divisor. The residue on $H_{S,\ell}$ is expressed as a finite Taylor-jet sum of reduced projective periods and polynomially weighted complementary root-system zeta functions. On the maximal support wonderful model, boundary terms are indexed by strict decorated flags. We derive recursive flag residues, component-mass gamma factors, and an incidence-complete formula for the Laurent coefficients on any transverse affine slice. In particular, the pole order is determined by the first nonzero aggregate coefficient, not by the largest order of an individual flag. The general formulas recover the classical $A_2$ and $A_3$ singular data, Zhao's Euler-Zagier residues, and the rank-two $C_2$ and $G_2$ residue functions. For $B_3$ and $C_3$ we derive the carrier geometry and the lower-rank factorizations of the positive residues, identify the three-term cancellation at $s=1/8$, and show that negative half-integers are the only possible locations of double poles. The known $B_3$ double coefficient at $-1/2$ is recovered in the flag normalization.

Non-Archimedean Rigidity and Uniformity for Common Preperiodic Points

math.DS

math.NT

v2

Let $k$ be an algebraically closed, complete non-Archimedean field of residue characteristic $0$. Let $f$ be a polynomial of degree at least $2$ over $k$ which does not have potential good reduction. We prove that if $g$ is any other polynomial with the same Julia set, then $f$ and $g$ must be dynamically related. As a consequence, we show that for any two complex polynomials $f,g$ of degree at least $2$, either their sets of preperiodic points coincide, or the number of their common preperiodic points is uniformly bounded above by a constant depending only on the degrees, thereby answering a conjecture of DeMarco--Krieger--Ye for polynomials. We also establish relative results, allowing us to prove special cases of the DeMarco--Mavraki conjecture.