Arithmetic Kashiwara Regularity and Orbit Classification for Filtered Strongly Equivariant $\mathcal{D}^{\dagger}$-Modules

2026-06-04T01:00:15Z

We prove an arithmetic analogue of Kashiwara regularity for filtered strongly equivariant Berthelot arithmetic $\mathscr D^\dagger$-modules on formal flag varieties. Let $\mathcal G$ be a split connected reductive group scheme over a complete discrete valuation ring of mixed characteristic, let $\mathfrak X=\widehat{\mathcal G/\mathcal B}$ be the formal flag variety, and let $\mathcal K\subseteq\mathcal G$ be a smooth closed subgroup whose special fiber acts on $X_s$ with finitely many separable orbits. We introduce a filtered strong equivariance condition requiring infinitesimal equivariance to be realized on good finite-level models. This condition allows the principal symbols of the fundamental vector fields to be controlled at the level where Berthelot characteristic varieties are defined. We prove that the characteristic variety of every filtered strongly equivariant coherent $\mathscr D^\dagger_{\mathfrak X,\mathbb Q}$-module is contained in the union of conormal bundles to the $\mathcal K_s$-orbits; hence such modules are holonomic. In the Frobenius range, Caro's stability theorem for $F$-holonomicity over smooth projective formal schemes upgrades this to geometric overholonomicity. As a consequence, simple Frobenius filtered strongly equivariant coherent arithmetic $\mathscr D^\dagger$-modules are classified by pairs $(O,E)$, where $O$ is a $\mathcal K_s$-orbit and $E$ is an irreducible $\mathcal K$-equivariant overconvergent $F$-isocrystal on $(O,\overline O)$ whose intermediate extension satisfies the filtered strong condition. The result is a regularity theorem under a finite-level equivariance hypothesis, rather than an existence theorem for that hypothesis.

Hasse-Weil Zeta Functions Modulo a Prime

2026-06-03T18:28:57Z

Let $\mathbb{F}_q$ be a finite field of characteristic $p$ and $π\colon Y\to X$ be a finite $\mathbb{F}_q$-morphism of separated $\mathbb{F}_q$-schemes of finite type. Suppose $π$ is generically Galois with group $G$ of prime order $r\neq p$. We determine the mod-$r$ reduction of the zeta function of $Y$ in terms of the zeta function of $X$ and the branch locus $Z\subset X$ of $π$. We give applications to curves and to numerators of hyperelliptic/superelliptic curves.

The Parabolic Mellin Transform: Gamma and Zeta Integral Representations

2026-06-03T18:25:29Z

We introduce the Parabolic Mellin Transform (PMT), defined by ${P}_σ[f](z)=\int_{-\infty}^{\infty}w^{2z}f(w^2)dt$, where $w=σ+it$ and $σ>0$. Under the substitution $u=w^2$, the vertical line $\operatorname{Re}(w)=σ$ is mapped to the parabolic contour $C_σ$ in the $u$-plane. For the Gaussian kernel, the PMT yields $\int_{-\infty}^{\infty}w^{2z}e^{w^2}dt=π/Γ(\tfrac{1}{2}-z)=\cos(πz)Γ(z+\tfrac{1}{2})$, a parabolic-contour form of the classical Hankel representation for the reciprocal Gamma function. The advantage of this parametrization is that the contour integral becomes a Gaussian-damped vertical-line integral. We develop scaling, differentiation, and Dirichlet-composition identities for the PMT and use them to derive integral representations of the Hurwitz zeta, Riemann zeta, and Dirichlet eta functions. The framework provides a unified transform dictionary for Gamma-type and zeta-type special functions and yields equivalent reformulations of the Riemann hypothesis and the Lindelöf hypothesis in terms of zeros and growth of parabolic-contour integrals.

Khintchine's Theorem for Symmetric matrices via Flows on the Space of Symplectic Lattices

2026-06-03T16:59:09Z

We establish Diophantine approximation results for real symmetric matrices by collections of linearly independent integer vectors. For $X \in \mathrm{Sym}_d(\mathbb{R})$, we prove a Dirichlet-type theorem guaranteeing the existence of integral Lagrangian frames $(Q, P) \in \mathrm{Mat}_{d \times 2d}(\mathbb{Z})$ that satisfy $\lVert QX + P \rVert_{\mathrm{op}} \leq c_d/N$ and $\lVert Q \rVert_{\mathrm{op}} \leq N$ for any $N \geq 1$. Furthermore, we establish a Khintchine-type zero-one law, demonstrating that the size of the set of $ψ$-approximable symmetric matrices is determined by the convergence or divergence of the series $\sum_{q \geq 1} q^{ς- 1}ψ(q)^ς$, where $ς= d(d+1)/2$. The proofs rely on the reduction theory of the Siegel upper half-space, dynamical formulation over the space of symplectic lattices, and an analysis of the Siegel transform adapted to count Lagrangian frames instead of single lattice points.

Equations of genus $4$ curves from their theta constants

2026-06-03T16:39:32Z

In this article we give explicit formulas for the equations of a generic genus $4$ curve in terms of its theta constants. The method uses the Prym construction and the beautiful classical geometry around it.

Point counts, automorphisms, and gonalities of Shimura curves

2026-06-03T15:52:26Z

We implement an algorithm to compute the number of points over finite fields for the Shimura curves $X_0^D(N)$ over $\mathbb{Q}$ and their Atkin--Lehner quotients. Our computations identify $116$ such quotients over finite fields (out of $783514$ tested) that attain a number of rational points exceeding that of any previously known curve of the same genus over the same finite field. To illustrate the utility of our point counts algorithm in addressing arithmetic questions, we prove that all automorphisms are Atkin--Lehner for $9288$ of the $10609$ curves $X_0^D(N)$ of genus $g > 2$ with $D$ the discriminant of an indefinite quaternion algebra over $\mathbb{Q}$, $N$ a squarefree positive integer coprime to $D$, and $DN\leq 10000$, and we determine all tetragonal and geometrically tetragonal curves $X_0^D(N)$ up to a small number of possible exceptions.

The leading constant in Malle's conjecture

2026-06-03T15:05:24Z

We give an overview of a recent conjecture of the authors on the leading constant in Malle's conjecture on number fields of bounded discriminant. This comes from applying the philosophy from Manin's conjecture on rational points of bounded height on Fano varieties to classifying stacks. To make these ideas more accessible we assume no background in algebraic geometry, which requires some new perspectives and alternative approaches to the theory. We also give some new conjectures on multi-heights and Bhargava's heuristics on counting with local conditions imposed.

The Case of the Second Smallest Modulus: or why we cannot be arbitrarily careless?

2026-06-03T13:54:39Z

We present a concise, elementary proof that the second smallest modulus of a covering system must be bounded, simplifying the known results through a maximality argument.

Integer points close to a transcendental curve: an algorithmic approach

2026-06-03T13:25:50Z

In this article, we propose an algorithmic approach to determine the integer points located near a transcendental curve. This approach is closely related to a celebrated work by Bombieri and Pila and to the so-called Coppersmith's method. We establish the underlying theoretical foundations, prove the algorithms, study their complexity and present practical experiments; we also compare our approach with previously existing ones. From a practical point of view, we focus on an instance of our general problem, called the Table Maker's Dilemma, whose solving makes it possible to evaluate a given function with correct rounding. Our experiments show a significant speedup. In particular, our results show that the development of a correctly rounded mathematical library for the binary128 format is now possible at a much smaller cost than with previously existing approaches.

Correspondence of discrete series representations of $\mathrm{GSp}_{2n}$ and its inner form

2026-06-03T11:43:46Z

We construct a correspondence with a character equation of discrete series representations of $\mathrm{GSp}_{2n}$ over a $p$-adic field and its inner form for $p>2$ and $n\geq 2$. This is a generalization of the works by Chan and Gan and the local Jacquet-Langlands correspondence. Moreover, our results partially reveal what the local Langlands correspondence of $\mathrm{GSp}_{2n}$ and its inner form over $p$-adic fields should be.

Representations of positive integers by three almost-prime squares

2026-06-03T11:23:29Z

Let $P_r$ denote an integer with at most $r$ prime factors, counted with multiplicity. It is known that every sufficiently large integer $N$ satisfying $N \equiv 3 \pmod{24}$ and $5 \nmid N$, can be written in the form $N= x_1^2+x_2^2+x_3^2$ where $x_1,x_2,x_3$ are integers. In this paper, we prove that the above representation in the following two different forms (i) $x_1x_2x_3$ is a $P_{67}$-number; (ii) each $x_i$ is a $P_{27}$-number. This result improves on the previous result of Waibel\cite{Wa}, in which $P_{72}$ was obtained in place of $P_{67}$. The proofs combine the higher-dimensional sieve, a Richert-type weighted sieve method introduced by Cai \cite{Cai} with a Bombieri-Vinogradov type result given by Waibel\cite{Wa}. Applying the same method in a one dimensional sieve setting, we also show that every sufficiently large $N$ not of the form $4^k(8l+7)$ can be written in the form \[ N = x^{2} + y^{2} + (2^{a} z)^{2}, \] where $x,y,a,z$ are non-negative integers and $z$ is a $P_{18}$-number. This improves upon a result of Banerjee \cite{Ban} who obtained $P_{118}$ in place of $P_{18}$.

An Explicit Surjectivity Threshold for Digit Sums of Primes

2026-06-03T10:01:39Z

Let $s(n)=s_{10}(n)$ be the decimal sum-of-digits map. Building on the circle-method framework of Drmota-Mauduit-Rivat for digital restrictions on primes, we make the constants explicit at the points needed to obtain an effective surjectivity statement for digit sums of primes. We exhibit an explicit integer $M < 1.78 \times 10^{32}$ such that every integer $m \ge M$ with gcd$(m,9)=1$ occurs as $s(p)$ for at least one prime $p$. We also prove an explicit lower bound $A_m(10^{2m/9}) \ge C_q(m) 10^{2m/9}/m^{3/2}$, where $C_q(m)$ is explicit, positive above the sufficient threshold, and bounded away from $0$ along each admissible residue class. Existence of a non-numerical threshold follows from the DMR asymptotic theory and was noted by Harman; to the best of our knowledge, this is the first published explicit numerical threshold for this surjectivity statement. The proof combines explicit major-arc estimates, a fully explicit replacement for DMR's implicit prime exponential-sum input, and constant-tracked Type-II minor-arc estimates. As an application, we prove the infinitude of OEIS A070027, the primes whose iterated digit-sum chain remains prime until reaching a one-digit prime. We also record related effective consequences for additive primes and digit-sum additive decompositions.

Superspecial plane quintics with large automorphism groups

2026-06-03T09:57:03Z

In this paper, we study plane quintic curves whose automorphism groups have order greater than 10, as well as those with cyclic automorphism groups of order 8 and 10. The latter two cases are represented as one-parameter families, where their superspeciality can be explicitly described in terms of a truncation of certain Gaussian hypergeometric series. Applying this characterization, we determine the exact number of isomorphism classes of superspecial plane quintic curves with automorphism groups $\cong \mathbb{Z}/10\mathbb{Z}$. We also provide an efficient algorithm to enumerate such curves with automorphism groups $\cong \mathbb{Z}/8\mathbb{Z}$, and provide the computational results for the range $13 < p < 10000$.

Exact Approximation In The Field Of Formal Series

2026-06-03T09:46:53Z

In this article, we determine the Hausdorff dimension of the set of exactly $ψ$-approximable vectors over local fields of positive characteristic. This result is the function field analogue of a recent theorem of Bandi and de Saxcé in the real setting~\cite{bandi2023hausdorff}, and extends the main theorem of Zhang~\cite{MR2834892} to higher dimensions. Our approach adapts the method of Bandi and de Saxcé to the ultrametric setting, enabling us to overcome difficulties arising from the failure of the well-separatedness property for rational functions in higher dimensions.

Local-global conjugacy questions for affine extensions

2026-06-03T09:21:42Z

Boston and Jones constructed a probabilistic model, called the Markov model, in order to predict the cycle structures of elements in Galois groups $G_n(f)$ associated to the $n$-th iterate of a quadratic postcritically finite polynomial $f$ over a number field. Goksel refined this model, introducing the 'even' Markov groups $M_n(f)$. These groups conjecturally contain a copy of $G_n(f)$, leading to questions about local-global conjugacies within the larger automorphism group $\operatorname{Aut}(T_n)$ of the first $n$ levels of the binary rooted tree coming from arboreal representations of the Galois groups. While the conjugacy results found by Goksel were restricted to the study of these automorphism groups, we generalise the findings to affine extensions of groups by permutation representations, using a cohomological argument. Furthermore, we provide a counterexample to the main conjecture proposed by Goksel, demonstrating that more work is required to resolve the underlying questions regarding Markov models.