Number Theory [math.NT]

Towards Keating-Snaith's conjecture for cubic Hecke $L$-functions over the Eisenstein field

math.NT

A famous conjecture of Keating and Snaith asserts that central values of $L$-functions in a given family admit a log-normal distribution with a prescribed mean and variance depending on the symmetry type of the family. Based on a recent work of Radziwill and Soundararajan, we obtain a conditional lower bound towards Keating-Snaith's conjecture for a "thin" family of cubic Hecke $L$-functions over the Eisenstein field. A key new input is certain twisted estimates of the 1-level density of zeros of cubic Hecke $L$-functions, extending the previous work of David and G\"{u}lo\u{g}lu, under the Generalised Riemann Hypothesis.

Ultra-Kolyvagin systems and non-ordinary Selmer groups

math.NT

We develop a machine for bounding Selmer groups of Galois representations via Euler systems in "non-ordinary" settings, using Pottharst's definition of Selmer groups via Robba-ring $(\varphi, \Gamma)$-modules. Our approach relies on Sweeting's interpretation of Kolyvagin derivative classes via non-principal ultrafilters. We apply these results to prove new cases of the cyclotomic Iwasawa main conjecture for non-ordinary Rankin--Selberg convolutions.

Sporadic points on $X_0(N)$

math.NT

We determine all integers $N$ for which the modular curve $X_0(N)$ admits a sporadic CM point (of any degree), as well as all $N$ for which $X_0(N)$ admits a sporadic point, whether CM or non-CM. In a sense, our results generalize the classification of isogenies of elliptic curves over $\Q$ due to Mazur and Kenku: their work determines the $X_0(N)$ with degree 1 sporadic points, whereas we classify all $X_0(N)$ that have a sporadic point of arbitrary degree.

Irreducibility of Newton strata in Picard modular surfaces and split local Galois representations

math.NT

We compute the monodromy group of the closure of the non-ordinary Newton stratum of the special fiber of the Picard modular surface at a split prime and prove the irreducibility of it. As an arithmetic application, we prove that for a Picard modular form, the existence of companion forms is equivalent to the splitting properties of the associated local Galois representation. This is an analogue of a theorem due to Breuil and Emerton on companion forms of modular forms.

Regularized Products over arithmetic Schemes

math.NT

In this paper, we study the closed points of arithmetic schemes. We accomplish this by showing that the product of the cardinals of residue fields of closed points in an arithmetic scheme can be regularized. This regularization yields a new arithmetic invariant attached to the scheme. We compute it explicitly in several cases and find that it is always a transcendental number. This result provides a proof that the set of closed points is infinite. Our main tool is a regularization technique, which generalizes the zeta-regularization method introduced by Mu\~noz and P\'erez.

Bounds for monochromatic solutions to $\{x+y,xy\}$

math.NT

math.CO

Let $r$ be a sufficiently large positive integer, and let $N \ge \exp\exp(r^{50})$. Then any $r$-colouring of $[N]$ contains a monochromatic copy of $\{x+y,xy\}$ with $x > y > 2$.

Bilinear forms with trace functions

math.NT

We obtain non-trivial bounds for bilinear sums of trace functions below the P\'olya-Vinogradov range assuming only that the geometric monodromy group of the underlying ell-adic sheaf satisfies certain simple structural properties, in contrast to previous works which handled only special cases of Kloosterman and hypergeometric sheaves. Our approach builds on a general "soft" stratification theorem for sums of products of trace functions, based on an idea of Junyan Xu, combined with a new robust version of the Goursat-Kolchin-Ribet criterion.

Inverse curve problems on del Pezzo surfaces

math.AG

math.NT

We classify the number of $k$-rational lines and conic fibrations on del Pezzo surfaces over a field $k$ in terms of relatively minimal surfaces and establish rational curve analogues of the inverse Galois problem for del Pezzo surfaces. We completely solve these problems in all degrees over all global, local and finite fields and provide new solutions of the inverse Galois problem in characteristic 2. Our results generalise well-known theorems on cubic surfaces.

VC-dimension of Salem sets over finite fields

math.CO

math.CA

math.NT

The VC-dimension, introduced by Vapnik and Chervonenkis in 1968 in the context of learning theory, has in recent years provided a rich source of problems in combinatorial geometry. Given $E\subseteq \mathbb{F}_q^d$ or $E\subseteq \mathbb{R}^d$, finding lower bounds on the VC-dimension of hypothesis classes defined by geometric objects such as spheres and hyperplanes is equivalent to constructing appropriate geometric configurations in $E$. The complexity of these configurations increases exponentially with the VC-dimension. These questions are related to the Erd\H{o}s distance problem and the Falconer problem when considering a hypothesis class defined by spheres. In particular, the Erd\H{o}s distance problem over finite fields is equivalent to showing that the VC-dimension of translates of a sphere of radius $t$ is at least one for all nonzero $t\in \mathbb{F}_q$. In this paper, we show that many of the existing techniques for distance problems over finite fields can be extended to a much broader context, not relying on the specific geometry of circles and spheres. We provide a unified framework which allows us to simultaneously study highly structured sets such as algebraic curves, as well as random sets.

Multiple Rogers-Ramanujan type identities for inert quadratic orders

math.AG

math.CO

math.NT

We compute the Quot and finitized Coh zeta functions of the inert quadratic orders $\mathbb{F}_q[[T]]+T^{m}\mathbb{F}_{q^{2}}[[T]]$ for every $m\geq 1$ in terms of a $2m$-fold multisum, and then show this multisum equals an $m$-fold Bressoud sum. This proves a recent conjecture of the second author, rounding up the line of exploration in the series of work by the authors and Jiang. The equality between the $2m$-fold multisum and the $m$-fold Bressoud sum is built upon generalizing the multisum by introducing a ``ghost'' parameter $a$ to its summands. We then show that such an $a$-generalization is surprisingly $a$-independent by purely $q$-theoretic techniques. Finally, we propose a refined multisum that interpolates two versions of Quot zeta functions for all three types of quadratic orders.

P-adic L-functions for GL(3)

math.NT

v3

Let $\Pi$ be a regular algebraic cuspidal automorphic representation (RACAR) of $\mathrm{GL}_3(\mathbb{A}_{\mathbb{Q}})$. When $\Pi$ is $p$-nearly-ordinary for the maximal standard parabolic with Levi $\mathrm{GL}_1 \times \mathrm{GL}_2$, we construct a $p$-adic $L$-function for $\Pi$. More precisely, we construct a (single) bounded measure $L_p(\Pi)$ on $\mathbb{Z}_p^\times$ attached to $\Pi$, and show it interpolates all the critical values $L(\Pi\times\eta,-j)$ at $p$ in the left-half of the critical strip for $\Pi$ (for varying $\eta$ and $j$). This proves conjectures of Coates-Perrin-Riou and Panchishkin in this case. We also prove a corresponding result in the right half of the critical strip, assuming near-ordinarity for the other maximal standard parabolic. Our construction uses the theory of spherical varieties to build a "Betti Euler system", a norm-compatible system of classes in the Betti cohomology of a locally symmetric space for $\mathrm{GL}_3$. We work in arbitrary cohomological weight, allow arbitrary ramification at $p$ along the Levi factor of the standard parabolic, and make no self-duality assumption. We thus give the first constructions of $p$-adic $L$-functions for RACARs of $\mathrm{GL}_n(\mathbb{A}_{\mathbb{Q}})$ of 'general type' (i.e., those that do not arise as functorial lifts) for any $n > 2$.

Densities for Elliptic Curves over Global Function Fields

math.NT

math.AG

v2

Let $K$ be a global function field. We obtain a set of formulas for the densities of the Kodaira types and Tamagawa numbers of elliptic curves over a completion of $K$ that is independent of the field's characteristic. Furthermore, for a finite field $F$ and real numbers $s$ and $\epsilon$ such that $s>1$ and $\epsilon>0$, we prove that there exists a global function field $K$ such that the full constant field of $K$ is $F$ and the value of the zeta function of $K$ at $s$ is less than $1+\epsilon$.

On the $p$-adic $L$-function and Iwasawa Main Conjecture for an Artin motive over a CM field

math.NT

v4

For an algebraic Hecke character defined on a CM field $F$ of degree $2d$, Katz constructed a $p$-adic $L$-function of $d+1+\delta_{F,p}$ variables in his innovative paper published in 1978, where $\delta_{F,p}$ denotes the Leopoldt defect for $F$ and $p$. In the present article, we generalise the result of Katz under several technical conditions (containing the absolute unramifiedness of $F$ at $p$), and construct a $p$-adic Artin $L$-function of $d+1+\delta_{F,p}$ variables, which interpolates critical values of the Artin $L$-function associated to a $p$-unramified Artin representation of the absolute Galois group $G_F$. Our construction is an analogue over a CM field of Greenberg's construction over a totally real field, but there appear new difficulties which do not matter in Greenberg's case.

Minimal Denominators Lying in Subsets of the Ring of Polynomials over a Finite Field

math.NT

cs.NA

math.NA

math.PR

v2

Given a subset $\mathcal{S}\subseteq \mathbb{F}_q[x]$ and fixed $n,m\in \mathbb{N}$, one can study the distribution of the value of the smallest denominator $Q\in \mathcal{S}$, for which there exists $\mathbf{P}\in \mathbb{F}_q[x]^m$ such that $\frac{P}{Q}\in B(\boldsymbol{\alpha},q^{-n})$, where $Q\in \mathcal{S}$. On the other hand, one can study the discrete analogue, when $N\in \mathbb{F}_q[x]$ is a polynomial with $deg(N)=n$ and $\boldsymbol{\alpha}\in \frac{1}{N}\mathbb{F}_q[x]^m$ as a discrete probability distribution function. We prove that for any infinite subset $\mathcal{S}\subseteq \mathbb{F}_q[x]$, for any $n\in \mathbb{N}$, and for any dimension $m$, the probability distribution functions of both these random variables are equal to one another. This is significantly stronger than the real setting, where Balazard and Martin proved that these functions have asymptotically close averages, when there are no restrictions on the denominators.

A Dynamical N\'eron--Ogg--Shafarevich Criterion via Orbital Arboreal Representations

math.NT

math.AG

math.DS

math.GR

v2

Let $K$ be a non-archimedean local field and $\varphi:\mathbb{P}^1\to\mathbb{P}^1$ a rational endomorphism of degree $d\ge2$ defined over $K$. In the tame case ($p \nmid d$) we give a concise local criterion for strict good reduction on the natural residual 'etale locus: there exists a nonempty open $U_k\subset\mathbb{P}^1_k\setminus \mathrm{PC}(\tilde\varphi)$ such that for every $x\in\mathbb{P}^1(\mathcal{O}_K)$ with $\bar x\in U_k$ the reduced level-$1$ fiber has degree $d$ and is 'etale; equivalently, the fiber polynomial has unit leading coefficient and unit discriminant. In particular, all backward preimage extensions $K(X_n(x))/K$ are unramified for all $n\ge1$. This work provides an orbital refinement of the pointwise criterion of Benedetto, framing it in terms of a canonical, orbit-invariant Galois object. We provide complete proofs and explicit examples over $\mathbb{Q}_p$.

Atkin-Lehner Decompositions for Quaternionic modular forms

math.NT

math.RT

v2

In this paper, we obtain Atkin--Lehner decompositions for spaces of modular forms on definite quaternion algebras. Similar to Casselman's approach our methods are representation theoretic. Using Jacquet--Langlands correspondence we also obtain isomorphisms between spaces of quaternionic modular forms and corresponding spaces of Hilbert modular forms.

Distribution of integers with digit restrictions via Markov chains

math.DS

math.NT

v2

In this paper, we introduce a new technique to study the distribution in residue classes of sets of integers with digit and sum-of-digits restrictions. From our main theorem, we derive a necessary and sufficient condition for integers with missing digits to be uniformly distributed in arithmetic progressions, extending previous results going back to the work of Erd\H{o}s, Mauduit and S\'ark\"ozy. Our approach utilizes Markov chains and does not rely on Fourier analysis as many results of this nature do. Our results apply more generally to the class of multiplicatively invariant sets of integers. This class, defined by Glasscock, Moreira and Richter using symbolic dynamics, is an integer analogue to fractal sets and includes all missing digits sets. We address uniform distribution in this setting, partially answering an open question posed by the same authors.

Three more proofs of two congruences for Merca's partition function

math.CO

math.AC

math.NT

v2

In this note, we provide three new, very short proofs of two interesting congruences for Merca's partition function $a(n)$, which enumerates integer partitions where the odd parts have multiplicity at most 2. These modulo 2 congruences were first shown elementarily by Sellers. We then frame $a(n)$ into the much broader context of eta-quotients, and suggest how to comprehensively describe its parity behavior. In particular, extensive computations suggest that $a(n)$ is odd precisely 25\% of the time.

Carl St{\o}rmer and his Numbers

math.HO

math.NT

v2

In many proofs of Fermat's Two Squares Theorem, the smallest least residue solution $x_0$ of the quadratic congruence $x^2 \equiv -1 \bmod p$ plays an essential role; here $p$ is prime and $p \equiv 1 \bmod 4$. Such an $x_0$ is called a St{\o}rmer number, named after the Norwegian mathematician and astronomer Carl St{\o}rmer (1874-1957). In this paper, we establish necessary and sufficient conditions for $x_0 \in \mathbb{N}$ to be a St{\o}rmer number of some prime $p \equiv 1 \bmod 4$. St{\o}rmer's main interest in his investigations of St{\o}rmer numbers stemmed from his study of identities expressing $\pi$ as finite linear combinations of certain values of the Gregory-MacLaurin series for $\arctan(1/x)$. Since less than 600 digits of $\pi$ were known by 1900, approximating $\pi$ was an important topic. One such identity, discovered by St{\o}rmer in 1896, was used by Yasumasa Kanada and his team in 2002 to obtain 1.24 trillion digits of $\pi$. We also discuss St{\o}rmer's work on connecting these numbers to Gregory numbers and approximations of $\pi$. \u