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.

Generalized Howe curves of genus 4, 5, and 6 with completely decomposable Jacobians

2026-06-03T08:50:36Z

Superspecial curves are important objects in number theory and algebraic geometry, and the existence in genus $g \geq 4$ remains an open problem for all but finitely many characteristics $p > 0$. As a computational approach to this problem, Kudo-Harashita-Howe (2020) showed that a superspecial curve of genus 4 exists in each characteristic $p$ with $7 < p < 20000$. Their method restricted attention to a specific class of curves, known as Howe curves, for which superspeciality is reduced to those of curves of genus at most 2. In this paper, we focus on a more specific class of curves, namely Howe curves whose Jacobians decompose into a product of four elliptic curves. By restricting our attention to such curves, the superspeciality reduces to the supersingularity of elliptic curves, which enables us to construct a superspecial curve of genus 4 more efficiently than Kudo-Harashita-Howe's method. As our first main result, we confirmed by computer the existence of such superspecial curves of genus 4 in characteristics $p$ with $20000 < p < 10^6$. Using a similar approach, we also propose constructions of superspecial curves of genera 5 and 6 from only supersingular elliptic curves. Furthermore, computational experiments establish the existence of superspecial curves of genus 5 (resp. genus 6) in characteristics $p$ with $13 < p < 10^5$ (resp. $7 < p < 10^5$).

Digit frequencies and class numbers

2026-06-03T06:42:18Z

Let $p>3$ be a prime and $b\ge 2$ an integer such that $p$ does not divide $b$. Then $1/p$ has a periodic digit expansion with respect to the basis $b$. The length $m$ of the period is the (multiplicative) order of $b$ mod $p$. In the case $m=(p-1)/2$, the frequency of each digit $k\in\{0,1,\ldots, b-1\}$ can be expressed in terms of generalized (first order) Bernoulli numbers. In some cases only Bernoulli numbers belonging to quadratic characters occur. This means that the frequencies can be written in terms of class numbers of imaginary quadratic number fields (the so-called class number case). In the present paper we classify the numbers $p$ and $b$ falling under the class number case. We also highlight one of the simplest examples not falling under this case ($p\equiv 1$ mod $4$, $b=10$) and the most complex example of the class number case. Moreover, we show that knowing the frequency of each $k$ is equivalent to knowing the respective Bernoulli numbers.

Weighted Recursions for Hurwitz Class Numbers

2026-06-03T06:39:08Z

We establish new recursions for Hurwitz class numbers with polynomial weights. In contrast to previous recursions, our results decouple class numbers of even and odd discriminants. Our main tool is the vector-valued holomorphic projection operator applied to mock modular forms. We invoke representation theory to connect the relevant spaces of vector-valued modular forms to spaces of classical new and old forms. We thereby leverage the vanishing of spaces of vector-valued cusp forms not available in the scalar case.

Dold-Gauss Congruences, Norm Descent, and Rational Rigidity

2026-06-03T04:11:42Z

We develop a Witt--Hadamard calculus for Euler products that unifies the classical Gauss congruences with their modern refinement, the Dold congruences. Within this framework we prove \emph{norm descent}: Dold congruences are functorial under finite extensions and preserved by prime--ideal norms $N_{K/\mathbb{Q}}$, yielding integer ghosts from algebraic ones. We extend the theory from $\mathbb{Z}$ to Dedekind domains, and show that integrality is stable under both Hadamard and Witt products. Two rigidity theorems lie at the core: a \emph{cyclotomic residues theorem}, asserting that if the logarithmic derivative has only cyclotomic poles then integrality forces rationality; and a stronger \emph{Dold$^{+}$ rigidity theorem}, showing that any algebraic series satisfying refined Dold congruences is necessarily rational. These results sharpen the Gauss--Dold picture: ordinary congruences enforce integrality, while the strengthened form collapses algebraic cases to rational ones. Applications include prime--ideal ladders in number fields and exact product laws for dynamical zeta functions, illustrated for subshifts of finite type and circle doubling.