A Bombieri-Vinogradov theorem for sectors in real quadratic number fields

2026-04-30T17:18:46Z

We establish a Bombieri-Vinogradov theorem for sectors in real quadratic number fields.

The proportion of permutations fixing a $k$-set

2026-04-30T17:06:07Z

Denote by $p(k)$ the limit, as $n \rightarrow \infty$, of the probability that a random permutation on a set of size $n$ has an invariant set of size $k$. We give an asymptotic formula for $p(k)$, showing that it is asymptotically $f(\{\log_2 k\}) k^{-δ} (\log k)^{-3/2}$ where $δ= 1 - \frac{1 + \log \log 2}{\log 2} \approx 0.086$ and $f$ is a smooth, positive, function on $\mathbb{R}/\mathbb{Z}$, which we will describe explicitly. The function $f$ satisfies $\frac{\max f}{\min f} < 1 + 2 \times 10^{-7}$ and we conjecture that it is not constant. Estimating $p(k)$ is a model for the more well-known question which asks for an estimation of $M(n)$, the number of distinct elements in the $n$-by-$n$ multiplication table. By elaborating on the techniques in this paper, we will give an asymptotic for $M(n)$ in forthcoming work.

A torsion-intersection proof of perfect-cuboid nonexistence on 1,072 explicit master-tuple fibers

2026-04-30T16:18:41Z

Building on the genus-3 reduction $C_A : w^2 = λ^8 + A λ^4 + 1$ established in our companion paper (arXiv:2604.09328), we give an unconditional proof of the perfect-cuboid conjecture ("Conjecture B") on $1{,}072$ explicit master-tuple fibers, excluding all rational $(a,b)$-specialisations on each such fiber. Our three main contributions are: (i) a structural classification theorem showing that every primitive Euler-brick arises from the standard $(a,b,m,n)$-parametrisation up to scaling; (ii) a torsion-intersection argument applied to the elliptic quotients $E_A'$ and $E_A''$: whenever the rank-zero hypothesis and the appropriate torsion condition hold for one of them, $|H_{m,n}(\mathbb{Q})| = 8$ is forced, with the eight points all corresponding to degenerate bricks; (iii) two complementary techniques to verify the rank-zero hypothesis algorithmically -- PARI's ellrank (2-descent) and, where this is ambiguous, Sage's exact rational evaluation of $L(E,1)/Ω_E$ via modular symbols, which combined with the modularity theorem, Kolyvagin's theorem, and Edixhoven's bound on the Manin constant for semistable curves yields an unconditional rank-zero certificate -- together with an explicit lift count refining the naive torsion-intersection bound when the torsion is larger than the leading case. We exhibit $1{,}072$ such fibers with $\max(m,n) \le 100$ on which Conjecture B is thereby established unconditionally.

Interpolation of generalized Heegner classes along quaternionic Coleman families

2026-04-30T15:36:00Z

We construct big generalized Heegner classes by interpolating $p$-adically the generalized Heegner classes associated to quaternionic modular forms along a Coleman (finite slope) family, following the approach introduced by Jetchev--Loeffler--Zerbes.

Combinatorial sums derived from properties of Legendre polynomials

2026-04-30T15:30:40Z

From an identity connecting a combinatorial sum and Legendre polynomials, we derive closed forms for a number of combinatorial sums. Some of them are obtained via results about the integrals of functions associated with Legendre polynomials.

On the Lang--Trotter conjecture for Siegel modular forms

2026-04-30T15:20:02Z

Let $f$ be a genus two cuspidal Siegel modular eigenform. We prove an adelic open image theorem for the compatible system of Galois representations associated to $f$, generalising the results of Ribet and Momose for elliptic modular forms. Using this result, we investigate the distribution of the Hecke eigenvalues $a_p$ of $f$, and obtain upper bounds for the sizes of the sets $\{p \le x : a_p = a\}$ for fixed $a\in\mathbf{C}$, in the spirit of the Lang--Trotter conjecture for elliptic curves.

Height moduli of elliptic surfaces: Motivic height zeta rationality and Kudla-Millson modularity of Mordell-Weil rank jumps

2026-04-30T14:53:38Z

Let $k$ be a perfect field with $\mathrm{char}(k)\neq 2,3$, set $K=k(t)$, and let $\mathcal{W}_n^{\min}$ be the moduli stack of minimal elliptic curves over $K$ of Faltings height $n$, constructed via the height-moduli framework of Bejleri-Park-Satriano applied to $\overline{\mathcal{M}}_{1,1}\simeq\mathcal{P}(4,6)$. The Shioda-Tate formula $ρ(S)=T(S)+\mathrm{rk}(E/K)$ decomposes the Picard rank of the associated elliptic surface into the trivial lattice rank, which is local (determined by Kodaira fiber types), and the Mordell-Weil rank, which is global. The motivic height zeta function weighted by the trivial lattice rank is rational in $s=t^{1/12}$ in the dimensionally completed Grothendieck ring, via a combination of exact Euler products on the isotrivial loci $j\equiv 0, 1728$ and a motivic discriminant stabilization adapting Vakil-Wood to $Δ=4a_4^3+27a_6^2$; over $k=\mathbb{C}$, this yields bidegree-wise Hodge number stabilization. The Kudla-Millson theta correspondence shows that the distribution of new Mordell-Weil sections by canonical height is governed by a modular form of weight $6n-2$ for $\mathrm{SL}_2(\mathbb{Z})$. Combining Shepherd-Barron's diagonalization of the Gauss-Manin connection with Kodaira-Spencer transversality, we establish unconditionally that at every Faltings height $n\ge 3$ and for every $1 \le r \le \lfloor(10n-2)/(n-1)\rfloor$, there exist infinitely many stable elliptic surfaces with Mordell-Weil rank $\mathrm{rk}(E/K) \ge r$, and that infinitely many canonical heights $\hat{h}(P)=d$ are realized by Mordell-Weil sections.

Igusa Stacks and the Cohomology of Shimura Varieties

2026-04-30T14:44:37Z

We construct functorial Igusa stacks for all Hodge-type Shimura varieties, proving a conjecture of Scholze and extending earlier results of the fourth-named author for PEL-type Shimura varieties. Using the Igusa stack, we construct a sheaf on $\mathrm{Bun}_G$ that controls the cohomology of the corresponding Shimura variety. We use this sheaf and the spectral action of Fargues-Scholze to prove a compatibility between the cohomology of Shimura varieties of Hodge type and the semisimple local Langlands correspondence of Fargues-Scholze, generalizing the Eichler-Shimura relation of Blasius-Rogawski to arbitrary level at $p$. When the given Shimura variety is proper, we show moreover that the sheaf is perverse, which allows us to prove new torsion vanishing results for the cohomology of Shimura varieties.

Pro-$p$ Iwahori-Hecke modules in semisimple rank one and singularity categories

2026-04-30T12:59:16Z

Let $\mathfrak{F}$ be a non-archimedean local field of residue characteristic $p$ and $G$ be one of the groups $\mathrm{GL}_2(\mathfrak{F})$, $\mathrm{SL}_2(\mathfrak{F})$ or $\mathrm{PGL}_2(\mathfrak{F})$. Let $\mathcal{H}_G$ denote the pro-$p$ Iwahori-Hecke algebra of $G$ over $\overline{\mathbb{F}}_p$. We study the homotopy category $\mathrm{Ho}(\mathcal{H}_G)$ of Hovey's Gorenstein projective model structure on the category of $\mathcal{H}_G$-modules and relate it to the singularity category $\mathrm{Sing}(X_{q,\mathbf{G}})$ of an explicit scheme. When $G=\mathrm{GL}_2(\mathfrak{F})$, this scheme was first introduced by Dotto-Emerton-Gee \cite{DEG22}. We obtain in that case an equivalence $\mathrm{Ho}(\mathcal{H}_{\mathrm{GL}_2})\simeq \mathrm{Sing}(X_{q,\mathrm{GL}_2})$ and recover from this Grosse-Klönne's mod-$p$ Langlands correspondence for Hecke modules \cite{GK20}, building on work of Pépin-Schmidt \cite{PeSch25_2}. We furthermore describe $\mathrm{Ho}(\mathcal{H}_G)$ completely explicitly when $G=\mathrm{SL}_2(\mathfrak{F})$ or $\mathrm{PGL}_2(\mathfrak{F})$, and make additional computations in the $\mathrm{GL}_2$ case.

Universally defining subrings in function fields

2026-04-30T11:50:01Z

We establish that all rings of $S$-integers are universally definable in function fields in one variable over certain ground fields including global and non-archimedean local fields. That is, we show that the complement of such a ring of $S$-integers is always a diophantine set. As a technical tool, we use a reciprocity exact sequence for quadratic Witt groups in function fields over almost arbitrary base fields (of any characteristic), which is new and of potentially independent interest.

A divisor function of Wigert and higher degree forms

2026-04-30T10:41:28Z

Let $k\in\mathbb{N}$. Wigert's divisor function $d^{\left(\frac{1}{k}\right)}(j)$ counts the number of representations of $j$ of the form $m^k+mn$ with $m\geq1 , n\geq0$. Let $\mathcal{F}_k(s)$ denote the Dirichlet series of $d^{\left(\frac{1}{k}\right)}(j)$. While $\mathcal{F}_2(s)$ is essentially a well-known special case of the Euler-Zagier double zeta function, and hence well-studied, very little is known about $\mathcal{F}_k(s)$ for $k>2$. We offer three new representations for $\mathcal{F}_k(s)$ for $k\geq2$, one of which is an analogue of the Chowla-Selberg formula as well as of a formula of Atkinson. The meromorphicity of $\mathcal{F}_k(s)$ is also discussed. The special value $\mathcal{F}_3\left(\frac{3}{2}\right)$ is expressed in terms of an infinite series of Bessel functions and a generalized divisor function.

Polynomial Maps with Constants on Matrix Algebra

2026-04-30T08:42:02Z

Let $\mathcal A$ be an $\mathbb F$-algebra and $ω\in \mathcal A\langle x_1, \ldots, x_m \rangle$ which defines a map $\mathcal A^m \rightarrow \mathcal A$ by evaluation, called a polynomial map with constant. We consider $\mathcal {A} = M_n(\mathbb{F})$, the algebra of $n \times n$ matrices over an algebraically closed field $\mathbb{F}$ of characteristic $0$, and polynomial maps given by $ω(x_1, x_2) = A_1x_1^k + A_2x_2^k$, where $A_1,A_2\in M_n(\mathbb F)$. For $n=2$, the images of such a map is competely determined in an earlier work (Panja, S.; Saini, P.; Singh, A., Images of polynomial maps with constants, Mathematika 71 (2025), no. 3, Paper No. e70031). In this article, by assuming one of the coefficients, say $A_1$, is invertible, we relate the surjectivity of $ω$ to the nullity of $A_2$. When $n=3, 4$, we completely classify the surjectivity of $ω(x_1, x_2)$ by obtaining the necessary and sufficient condition in terms of $n$, $k$, and the nullity of $A_2$.

On the Laurent series expansions of the Barnes double zeta function

2026-04-30T07:11:17Z

The Laurent series expansions of zeta-functions play an important role in understanding their behavior near singularities, and their coefficients often encode significant arithmetic information. In the case of the Riemann and Hurwitz zeta-functions, these coefficients are given by the Euler-Stieltjes constants and their generalizations. In this paper, we investigate the Laurent series expansions of the Barnes double zeta-function $ζ_2(s,α;v,w)$ at the singular points $s=1$ and $s=2$. We derive explicit limit expressions for the Laurent coefficients, providing analogues of the Euler-Stieltjes constants in this setting. In particular, we obtain representations of the coefficients in terms of finite double sums together with logarithmic correction terms. Furthermore, we study the asymptotic behavior of the Laurent coefficients and show that, in contrast to the Hurwitz zeta-function, they exhibit a much simpler structure. These results provide a clearer understanding of the analytic structure of the Barnes double zeta-function and highlight notable differences from the classical theory.

An improved non-linear Roth-type theorem in finite fields

2026-04-30T06:51:06Z

Let $F$ be a finite field of odd characteristic. We prove that any set $A\subset F$ with $|A|\geq C|F|^{5/6}$ contains a nontrivial quadratic progression $(x, x+y, x+y^2), y\neq 0.$ For prime fields, this improves the previous best-known exponent of $7/8$, due to Kavrut and Wu. Unlike some of the previous papers, which rely on Katz's deep multivariate exponential-sum estimates, our argument uses only one-variable Weil-type estimates. We also construct, over certain non-prime finite fields, progression-free sets of size $c|F|^{2/3}$. A key idea in the proof was suggested to the author by ChatGPT 5.5.

On the difference between perfect powers and integral $S$-units

2026-04-30T06:44:06Z

Let $q_1, \ldots , q_t$ be distinct prime numbers. Let $a_1, \ldots , a_t$ be nonnegative integers. We establish effective lower bounds for $|z^d - q_1^{a_1} \ldots q_t^{a_t}|$ and for its greatest prime factor, which tend to infinity with $z^d$, where $z$ is a positive integer coprime with $q_1 \ldots q_t$ and $d \ge 2$ is an integer.