Large values of shifted mixed character sums

2026-05-13T16:00:49Z

We consider sums of the form $$F_χ(α,β;θ) := \sum_{αp

On Primes of Ordinary and Hodge-Witt Reduction

2026-05-13T15:54:54Z

Jean-Pierre Serre has conjectured Conj. 3.2.1, in the context of abelian varieties, that there are infinitely primes of good ordinary reduction for a smooth, projective variety over a number field. We prove this conjecture for K3 surfaces Thm 3.3.1 (this is unpublished joint result with C. S. Rajan which was also independently established by Fedor Bogomolov and Yuri Zarhin by a different method). Any prime of ordinary reduction is also a prime of Hodge-Witt reduction but not conversely. Conj. 4.1.2 (of Joshi-Rajan) asserts the existence of infinitely many primes of Hodge-Witt reduction. The two conjectures are related but not equivalent (Thm 4.1.4). We prove the latter conjecture for abelian threefolds Thm 4.3.1 (joint with C. S. Rajan), and smooth Fano threefolds (Thm 4.4.9) and in Thm 4.5.1 for abelian varieties with complex multiplication. We show that the set of primes of ordinary and Hodge-Witt reduction can have different densities (Thm 4.6.11, Example 7.3.1). Thm 5.1.1, Thm 5.1.3 establish the existence of ordinary reductions for certain wonderful compactifications and a large class of configuration spaces. Thm 5.2.2 deals with the relationship between Conj. 4.1.2, Conj. 3.2.1 and the Mustaţǎ-Srinivas conjectures and Thm 5.2.3 establishes this conjecture in some cases. Section 6 deals with existence of primes of non Hodge-Witt reductions and establishes this in a number of cases (Theorem 6.4.3), and Thm 7.2.1 asserts that for Fermat hypersurfaces of dimension $\geq$ 3 and degrees $\geq$ 211, at least 98% of the primes are of non Hodge-Witt (and hence non-ordinary) reduction and in the degree $\rightarrow\infty$ limit, almost all primes are of non Hodge-Witt (and hence non-ordinary) reduction. Section 7 provides a number of examples illustrating densities of ordinary, Hodge-Witt and non Hodge-Witt reductions.

When Does the Dice Sum Become Prime?

2026-05-13T15:24:36Z

Given a (possibly infinite) subset $A$ of the natural numbers, we ask how many times a fair six-sided die must be rolled until the rolled numbers add up to an element of $A$. Using a one-dimensional dynamic programming recursion together with truncation and rigorous error bounds, we compute the expected number of rolls efficiently and with very high accuracy. When $A$ is the set of prime numbers, the irregular distribution of primes makes it difficult to obtain explicit error estimates. Nevertheless, the density of primes implies that the associated survival probability decays exponentially fast, which enables highly accurate truncation estimates. As a result, our calculations yield significantly sharper estimates for this expectation and its higher moments than the original results of Conroy, Alon, and Malinovsky. In particular, we determine the expectation to more than $1000$ decimal places.

A note on arithmetic progressions with restricted differences

2026-05-13T14:55:15Z

In this note, we show how to adapt Tao's slice rank method to extend the Ellenberg--Gijswijt theorem on cap sets to the problem of forbidding arithmetic progressions with restricted differences. In particular, we show that if $q$ is an odd prime power, there is $\varepsilon_q>0$ such that if $S \subseteq \mathbb{F}_q$ with $0 \in S$ and $|S|>(q+1)/2$ and $A \subseteq \mathbb{F}_q^n$ contains no three-term arithmetic progression whose common difference is in $S^n$, then $|A| \leq q^{(1-\varepsilon_q)n}$.

A Heuristic approach to the Iwasawa theory of elliptic curves

2026-05-13T14:34:53Z

Let $E_{/\mathbb{Q}}$ be an elliptic curve and $p$ an odd prime such that $E$ has good ordinary reduction at $p$ and the Galois representation on $E[p]$ is irreducible. Then Greenberg's $μ=0$ conjecture predicts that the Selmer group of $E$ over the cyclotomic $\mathbb{Z}_p$-extension of $\mathbb{Q}$ is cofinitely generated as a $\mathbb{Z}_p$-module. In this article we study this conjecture from a statistical perspective. We extend the heuristics of Poonen and Rains to obtain further evidence for Greenberg's conjecture. The key idea is that the vanishing of the $μ$-invariant can be detected by the intersection $M_1\cap M_2$ of two Iwasawa modules $M_1, M_2$ with additional properties in a given inner product space. The heuristic is based on showing that there is a probability measure on the space of pairs $(M_1, M_2)$ respect to which the event that $M_1\cap M_2$ is finite happens with probability $1$.

On Galois Embedding Problems Arising from 3-Torsion of Elliptic Curves

2026-05-13T14:25:37Z

We study Galois embedding problems arising from the 3-torsion of elliptic curves defined over $\mathbb{Q}$, extending the correspondence to all possible images of mod 3 Galois representations; namely, $\operatorname{GL}_2(\mathbb{F}_3),SD_{16},D_6,D_4$ and $C_2^2$. In the cyclotomic case, we show that solvability of these embedding problems is equivalent to the existence of infinitely many elliptic curves whose 3-division fields provide the corresponding solutions.

Almost Affine Invariance Over Prime Fields: Green Problem 90

2026-05-13T12:48:56Z

Let $A\subset \mathbb{F}_p$ with density 1/2. We call a set $A$ almost affine invariant under an affine transformation $φ(x)=ax+b$ if \[|A \triangle φ(A)| =o(p).\] We determine that, the threshold value of $K$ such that $A$ is almost affine invariant simultaneously under all $φ(x)$ with $|a|, |b|\le K$ and $a\neq 0$, is $K=o(\log p)$. This solves Ben Green's Open Problem 90.

On the average number of representations of an integer as a sum of polynomials computed at prime values

2026-05-13T12:08:12Z

We study the average number of representations of an integer $n$ as $n = φ(n_{1}) + \dots + φ(n_{j})$, for polynomials $φ\in \mathbb{Z}[n]$ with $\partialφ= k\ge 1$, $\operatorname{lead}(φ) = 1$, $j \ge k$, where $n_{i}$ is a prime power for each $i \in \{1, \dots, j\}$. We extend the results of Languasco and Zaccagnini (2019), for $k=3$ and $j=4$, and of Cantarini, Gambini and Zaccagnini (2020), where they focused on monomials $φ(n) = n^k$, $k\ge 2$ and $j=k, k + 1$.

Tautological modular forms of level two and degree two

2026-05-13T10:13:21Z

We show how to use divisors on the projectivized Hodge bundle to construct special vector-valued modular forms and then apply invariant theory to construct all vector-valued Siegel modular forms of level two and degree two. Thus we construct all modular forms in terms of certain basic modular forms that are intimately connected to the moduli of curves of genus two.

Tropical intersection homology

2026-05-13T07:23:59Z

Numerical equivalence of algebraic cycles is defined abstractly by intersection numbers. Classically, for smooth complex proper toric varieties, the quotients by numerical equivalence with rational coefficients can be described geometrically as singular cohomology. They are also expressed in terms of tropical geometry, tropical cohomology, introduced by Itenberg-Katzarkov-Mikhalkin-Zharkov. This paper aims to generalize this to suitable pairs of smooth proper varieties and divisors by introducing a tropical analog of intersection homology.

On the integrality of modular functions over $\mathbb{Z}[j]$ and Kronecker-type congruences

2026-05-13T03:12:48Z

Let $N$ be a positive integer and let $f$ be a meromorphic modular function of level $N$ with rational Fourier coefficients. For a prime $p$, define a function $f_p$ on the complex upper half-plane $\mathbb{H}$ by \begin{equation*} f_p(τ)=f\left(\fracτ{p}\right)\quad(τ\in\mathbb{H}). \end{equation*} Let $j$ be the elliptic modular function. We show that if $p\equiv 1$ or $-1\Mod{N}$ and $f$ is integral over $\mathbb{Z}[j]$, then \begin{equation*} \frac{1}{p}(f_p^p-f)(f_p-f^p) \end{equation*} is also integral over $\mathbb{Z}[j]$. This result generalizes the classical Kronecker congruence relation for $j$.

Restriction estimates with sifted integers

2026-05-13T02:31:09Z

Let $\mathcal{P}$ be a subset of primes and for each prime $p\in \mathcal{P}$, consider a subset $\mathcal{L}_p$ of $\mathbb{Z}/p\mathbb{Z}$. We provide restriction estimates with integers $\leq N$ sifted by $(\mathcal{L}_p)_{\substack{p\leq z\\ p\in \mathcal{P}}}$. This generalizes a result of Green-Tao [3] on the restriction estimates.

Triality and adjoint lifting for GL(3)

2026-05-13T00:51:22Z

Using the stable twisted trace formula for the triality automorphism, we show the adjoint lifting (to GL(8)) of cuspidal representations of GL(3) with a discrete series local component. We also describe the possible isobaric decompositions of the resulting automorphic representations on GL(8) and discuss applications towards Ramanujan bounds for GL(3) and the strong Artin conjecture for certain 3-dimensional Galois representations.

A connection between low-lying zeros and central values of $L$-functions

2026-05-12T19:37:23Z

We discuss the relation between statistics on low-lying zeros of $L$-functions and distribution of the associated central values. More precisely, we deduce explicit conditional lower bounds toward the Keating-Snaith conjecture (on the distribution of central values of families of $L$-functions) from partial results toward the Rudnick-Sarnak density conjecture (on the one-level density for the low-lying zeros of these $L$-functions). We show in fact that the same crucial ingredient occurs in the classical approaches for proving both results, providing the connection. We precisely determine the relation between the type of symmetry of the family, the allowed Fourier support in its distributional statement, and the quality of the lower bounds obtained.

Companions to the Andrews-Gordon and Andrews-Bressoud Identities and Recent Conjectures of Capparelli, Meurman, Primc, and Primc

2026-05-12T18:54:02Z

We find bivariate generating functions for the $k=1$ cases of recently conjectured colored partition identities of Capparelli, Meurman, A. Primc, and M. Primc that are slight variants of the generating functions for the sum sides of the Andrews-Gordon and Andrews-Bressoud identities, relating them to recent work of Warnaar. This $k=1$ cases turn out to be equivalent to identities of Jing, Misra, and Savage. Finally, we provide bijections for these identities involving two-rowed cylindric partitions, in the spirit of Corteel.