On non-Archimedean and motivic distributions defined by kernels

2026-06-09T14:56:25Z

As in real microlocal analysis, we prove a Schwartz kernel theorem for $p$-adic distributions. We extend this result for motivic distributions using Cluckers-Loeser's motivic integration. In both settings, we give also a relation between the wave front sets of the distribution and its kernel.

A Divisor Parametrization for the Erdős--Straus Conjecture

2026-06-09T14:29:39Z

We study representations of $1/n$ as a sum of three unit fractions whose denominators are all divisible by a prescribed integer $m$. After scaling, this is equivalent to representing $m/n$ as a sum of three unit fractions. Our main focus is the Erdős--Straus case $m=4$. We introduce a divisor-based function $\mathrm{fab}(n,a,b)$, prove that its admissible parameters recover exactly the decompositions of $1/n$ with all three denominators divisible by $4$, and compare this parametrization with well-known Type I/II descriptions.

Köhler's Conjecture on Hecke Theta Series of Weight One

2026-06-09T10:36:09Z

In this article, we prove a conjecture of Günter Köhler on the ambiguity of the quadratic field in the definition of Hecke theta series by deriving it from a similar statement on two-dimensional Galois representations induced from characters of quadratic fields.

Linear relations of four conjugates of an algebraic number of degree eight

2026-06-09T10:26:49Z

We characterize all algebraic numbers $α$ of degree $8$ for which there exist four distinct algebraic conjugates $α_1$, $α_2$, $α_3$, $α_4$ of $α$ satisfying the linear relation $α_{1}=α_{2}+α_{3}+α_{4}$. Analogous characterization is obtained for the linear relation $α_{1}+α_{2}+α_{3}+α_{4}=0$. In particular, when an algebraic number $α$ of degree $8$ has a non-even minimal polynomial and possesses exactly six distinct linear relations of the form $α_{i_1}+α_{i_2}+α_{i_3}+α_{i_4}=0$, we prove that $α$ is a sum of a quadratic and a quartic algebraic number.

Weighted enumeration of number-fields and counting points that take bounded squarefree values along certain polynomials using Pseudo and Sudo maximal orders

2026-06-09T09:49:19Z

Ekedhal Sieve can be used to count squarefree bounded values of a polynomial closely related to the discriminant polynomial and one can also get a weighted lower bounds for the number of number fields with bounded discriminant which show a limsup much larger than current known bounds.

Eisenstein-Kronecker classes on Hilbert moduli spaces and a new construction of Katz's $p$-adic measure

2026-06-09T09:28:14Z

In this work, we extend the construction of the Eisenstein-Kronecker classes of Kings-Sprang to the universal abelian schemes lying over Hilbert moduli spaces parametrizing objects with $(Γ(l), Γ_{00}(p^\infty))$-level. We then compare the associated ($p$-adic) Hilbert modular forms to the Eisenstein series constructed by Katz. Similarly to the procedure of Kings-Sprang, we produce a $p$-adic measure which interpolates the Eisenstein-Kronecker classes, and use the mentioned comparison results to show that this recovers essentially the $p$-adic Eisenstein measure constructed by Katz.

Hilbert irreducibility for algebraic points

2026-06-09T08:49:35Z

We study the following problem: given a covering of curves $φ\colon X \to X_0$ over a number field $k$, and an integer $d$, when is the set \[\{p \in X_0(\overline{k})|\ \mathrm{deg}\ p = d, \text{ and the fiber } φ^{-1}(p) \text{ is reducible over } k(p)\}\] finite? In case $X$ itself admits infinitely many degree $d$ points, we consider the modified problem where the images of degree $d$ points on $X$ are removed from the set. We prove a number of theorems ensuring a positive answer. As a consequence we show that for a fixed curve $X$ and all sufficiently high-degree indecomposable rational functions $φ:X \to \mathbb{P}^1$ with $b$ branch points, the set of reducible fibers above degree $d

The convergent stack

2026-06-09T08:39:05Z
Inspired by Simpson's de Rham stack and Drinfeld's crystalline stack, we develop a stacky approach to convergent cohomology and convergent isocrystals in positive characteristic. To any scheme $X$ over $\mathbb{F}_p$ we attach a convergent stack $X_{\mathrm{conv}}$. When $X$ is of finite type over a perfect field, its finitely generated quasi-coherent $\mathcal{O}[\tfrac1p]$-modules are equivalent to convergent isocrystals over $X$, compatibly with cohomology. When $X$ embeds into a smooth $p$-adic formal scheme, we describe $X_{\mathrm{conv}}$ explicitly as the quotient of an open tube by a $p$-adic formal groupoid. For $f$-semiperfect schemes, by contrast, the convergent stack is representable by a preperfectoid adic space over $\mathbb{Q}_p$.

On the Ekedahl sieve for the singular locus of the discriminant polynomial

2026-06-09T07:54:39Z
The Ekedahl sieve is a powerful tool for enumerating arithmetic objects, but traditional formulations relying on inductive steps often yield suboptimal bounds when applied to highly skew boxes. This limitation is particularly restrictive when introducing large modular conditions that compete with the tail-end variables of a binary form. In this paper, we develop a specialized variant of the Ekedahl sieve tailored to the singular locus of the discriminant polynomial. By exploiting the specific non-degeneracy properties of the discriminant outside its two most extreme coefficients, we bypass the standard inductive framework, reducing the sieve to a highly efficient two-step process in some cases, and a one step process in others. We establish robust generic tail-end estimates as well as squarefree, power-saving bounds that seamlessly incorporate external modular conditions. This optimization maximizes the permissible range of the sieving modulus, yielding improved error terms for the enumeration of bounded squarefree values of certain polynomials and providing the foundational geometric sieve estimates required for the weighted enumeration of number fields by discriminant.

Unique decomposition of orders

2026-06-09T07:51:08Z
We establish a Fundamental Theorem of Orders (FTO), which allows us to express any order (in a number field) uniquely as an intersection of \textit{irreducible orders}. Along this decomposition, the index (in the ring of integers) distributes multiplicatively, and the conductor factors into pairwise co-prime ideals. We use it to show a more general version of Furtwangler criterion about the structure of conductors of orders over $\Z$, as this answers a wide variations of such questions. In a future work, we will also give applications to weighted enumeration of number fields.

Algebraicity of ratios of Rankin-Selberg $L$-functions and applications to Deligne's conjecture

2026-06-09T07:04:25Z
In this paper, we prove Deligne's conjecture on the algebraicity of the critical values of symmetric power $L$-functions associated with modular forms of weight at least 5. We also establish new cases of Blasius' conjecture on the algebraicity of the critical values of tensor product $L$-functions associated with modular forms. Additionally, we prove an algebraicity result for the critical values of Rankin--Selberg $L$-functions for $\GL_n \times \GL_2$ in the unbalanced case, which extends the previous results of Furusawa and Morimoto for ${\rm SO}(V) \times \GL_2$. These results are applications of our main theorem on the algebraicity of cross ratios of Rankin--Selberg $L$-functions at critical points.

Existence of global Néron models beyond semi-abelian varieties

2026-06-09T05:04:47Z
We first prove Bosch-Lütkebohmert-Raynaud's conjectures on existence of global Néron models of not necessarily semi-abelian algebraic groups in the perfect residue fields case. We then give a counterexample to the existence in the imperfect residue fields case. Finally, as a complement to the conjectures, we classify unirational wound unipotent groups "up to relative perfection", again in the perfect residue fields case. The key ingredient for all these is the duality for relatively perfect unipotent groups.

On superspecial hyperelliptic curves of Rosenhain forms

2026-06-09T04:40:33Z
Any genus-$g$ hyperelliptic curve $C$ defined over an algebraically closed field of characteristic $p \geq 3$ can be written in a Rosenhain form as $y^2 = x(x-1)\prod_{i=1}^{2g-1}(x-λ_i)$. In this paper, we first show that, if $C$ is superspecial, then each of $λ_i,1-λ_i$, and $λ_i-λ_j$ is a square in $\mathbb{F}_{p^2}$. As an application, we propose a new algorithm for enumerating superspecial hyperelliptic curves in small characteristic. By implementing our algorithm, we successfully computed the number of isomorphism classes of such curves of genera $4$ and $5$ in all characteristics $p \leq 41$, and of genus $6$ in all characteristics $p \leq 31$.

Fourier Coefficients of Siegel-Eisenstein Series of Degree $2m$ and Weight $m+1$

2026-06-09T02:47:17Z
We study Fourier coefficients of the Siegel-Eisenstein series $E_{m+1}^{(2m)}(Z)$ for $m\equiv1\pmod4$ and $m\geq5$. Using the Fourier expansion formula due to Mizumoto, we determine the constant term and the exceptional non-zero Fourier coefficients. The result gives a higher-degree analogue of the degree-two formulas of Kohnen and Nagaoka, which were later rederived by Haruki.

Prime Quadruplets and Jump Conditions on Arithmetic Functions

2026-06-09T02:25:32Z
We provide progress on the characterization of composite integers $n$ that satisfy the jump conditions $\varphi(n+12)=\varphi(n)+12$ and $σ(n+12)=σ(n)+12$ simultaneously. While it is known that prime quadruplets $(p,p+2,p+6,p+8)$ generate solutions $n=p(p+8)$, the complete characterization remains an open conjecture. We prove that this characterization is complete when $n$ and $n+12$ are both squarefree semiprimes, and that no solutions can be composed of a single prime power. Furthermore, a complete search up to $10^{12}$ resulted in no counterexamples to the conjecture. If this conjecture is proven true, and there are infinitely many such solutions, then it can be proved that there are infinitely many prime quadruplets.