Number Theory [math.NT]

Simultaneous non-vanishing of Dirichlet L-functions

math.NT

In this paper, we prove the simultaneous non-vanishing of four Dirichlet $L$-functions at any point on the critical line. More precisely, let $\chi_1,\ldots,\chi_4$ be even Dirichlet characters modulo $D_1,\ldots, D_4$ respectively, where the $D_j$ are pairwise co-prime and square-free integers. Under the Generalized Riemann Hypothesis, we prove that $\prod_{j=1}^4 L(1/2+it,\chi \chi_j) \neq 0$ for a positive proportion of Dirichlet characters $\chi \pmod q$, with $q$ prime and sufficiently large in terms of the $D_j$ and $t$ (and with an explicit relationship between $D_j, t$ and $q$). Unconditionally, we also prove a simultaneous non-vanishing result for four Dirichlet $L$-functions for infinitely many characters $\chi \pmod q$, though in this case the proportion tends to zero as $q \to \infty$.

On the $K$-extensions between Serre weights for unramified $\mathrm{GL}_3$

math.NT

Let $p\geq5$ be a prime number. Let $L$ be a finite unramified extension of $\mathbb{Q}_p$ with ring of integers $\mathcal{O}_L$ and residue field $\mathbb{F}_q$. Given two Serre weights for $\mathrm{GL}_3(\mathbb{F}_q)$, we prove that in most cases the extensions between them for $\mathrm{GL}_3(\mathcal{O}_L)$ modulo the center coincide with their $\mathrm{GL}_3(\mathbb{F}_q)$-extensions.

The $p$-adic monodromy theorem over algebraic-affinoid algebras

math.NT

math.AG

In the previous paper of the author, motivated by the categorical $p$-adic local Langlands correspondence, the author studied families of $G_K$-equivariant vector bundles over the Fargues-Fontaine curve parametrized by algebraic-affinoid $\mathbb{Q}_{p,\square}$-algebras (e.g., $\mathbb{Q}_p[T]$). In this paper, we study the $p$-adic Hodge theoretic properties of such families. More precisely, we define the notions of Hodge-Tate, de Rham, and semistable representations for such families, and then prove the $p$-adic monodromy theorem ("de Rham" implies "potentially semistable") in this setting. This is a generalization of the work of Berger-Colmez. As an application, we prove the classification of families of $G_K$-equivariant line bundles. While a similar classification was previously obtained in the previous paper under a certain freeness condition by relying on the results of Kedlaya--Pottharst--Xiao, the approach in the present paper removes this freeness condition and entirely bypasses their results.

Multivariable automatic arrays and transcendence

math.NT

math.CO

We study real numbers defined by multidimensional automatic arrays weighted by multiplicatively independent bases. Let $a_1, \dots, a_r\geq 2$ be integers such that $\log a_1, \dots, \log a_r$ are $\mathbb Q$-linearly independent. Given bounded automatic sequences $(p_n(i))_{n\geq 0}$ with $i=1, \dots , r$ and a function $f:\mathbb Z^r\rightarrow \mathbb Z$, we consider the associated series $\alpha = \sum_{n_1,\dots,n_r \geq 0} \frac{f(p_{n_1}(1),\dots,p_{n_r}(r))}{a_1^{n_1}\cdots a_r^{n_r}}$. Using combinatorial properties of automatic sequences and Schmidt's Subspace Theorem, we prove that $\alpha$ is either rational or transcendental. This extends a result of Adamczewski and Bugeaud to the multidimensional setting.

Solubility for families of norm equations coming from abelian number fields

math.NT

For $F \in \mathbb{Z}[s,t]$ a binary quadratic form which is irreducible over $\mathbb{Q}$, and $L$ an abelian number field with class number $1$, we obtain the order of magnitude for the number of values $F(s,t)$ which are a norm from $L$. Our result relies on the fundamental lemma of sieve theory and on geometry of numbers.

Applications of patching the coherent cohomology of modular curves

math.NT

In this paper, we apply the Taylor--Wiles--Kisin patching method to the coherent cohomology of modular curves at minimal level. We establish a multiplicity-one result for the patched module by the $q$-expansion principle and show that a certain partial normalization of the crystalline deformation ring is Cohen--Macaulay. As applications, we prove new cases where crystalline deformation rings are Cohen--Macaulay, establish a Zariski density result for crystalline points in characteristic $p$, and prove a multiplicity-one result for Serre's mod-$p$ quaternionic modular forms.

An inverse theorem for sumsets of sets of positive density in the integers

math.NT

math.CO

math.DS

Let $d(\cdot)$ denote the natural density on the positive integers. We characterize all sets $A,B$ with positive density satisfying $d(A+B)=d(A)+d(B)$, under the assumption that the two sets are not both contained in a proper finite union of residue classes. This gives a new inverse theorem for Kneser's sumset inequality in the integers, and provides a partial answer to a long-standing open question of Erd\H{o}s and Graham.

On the number of missing integers in partitions

math.CO

math.NT

In the preceding decade, Andrews and Newman resurrected the concept of a `minimal excludant' of a partition ($mex$, for short), namely, the least positive missing integer in a partition. Subsequently, several authors have not only studied its generalizations, analogues and the like but also connected the mex to several important partition statistics. In the present paper, we study the set of missing positive integers as a whole, in two different classes of partitions, namely, unrestricted partitions and overpartitions. To be precise, a $missing \ integer$ is a positive integer that is less than the largest part of a partition and which does not occur as a part. In particular, we examine the number of partitions with a given number of missing integers, determine congruences for two pairs of functions associated to them, and propose three bias type inequality conjectures for these functions.

Locally induced Galois representations with exceptional residual images

math.NT

v2

In this paper, we classify all continuous Galois representations $\rho:\mathrm{Gal}(\overline{\mathbf{Q}}/\mathbf{Q})\to \mathrm{GL}_2(\overline{\mathbf{Q}}_p)$ which are unramified outside $\{p,\infty\}$ and locally induced at $p$, under the assumption that $\overline{\rho}$ is exceptional, that is, has image of order prime to $p$. We prove two results. If $f$ is a level one cuspidal eigenform and one of the $p$-adic Galois representations $\rho_f$ associated to $f$ has exceptional residual image, then $\rho_f$ is not locally induced and $a_p(f)\neq 0$. If $\rho$ is locally induced at $p$ and with exceptional residual image, and furthermore certain subfields of the fixed field of the kernel of $\overline{\rho}$ are assumed to have class numbers prime to $p$, then $\rho$ has finite image up to a twist.

Arakelov geometry of Cuntz-Pimsner algebras

math.NT

math.AG

math.OA

v2

We use $K$-theory of the $C^*$-algebras to study the Arakelov geometry, i.e. a compactification of the arithmetic schemes $V\to Spec ~\mathbf{Z}$. In particular, it is proved that the Picard group of $V$ is isomorphic to the $K_0$-group of a Cuntz-Pimsner algebra associated to $V$. We apply the result to the finiteness problem for the algebraic varieties over number fields.

Generalised height pairings and the Albanese kernel

math.NT

math.AG

v3

The Chabauty--Coleman--Kim method in depth two describes the rational points on a curve in terms of a generalisation of Nekov\'a\v{r}'s $p$-adic height pairing which replaces $\mathbb{G}_m$ with a higher Chow group. It is unclear both what the domain of definition of this pairing is, and how to compute it. This paper explores the relevance of the Beilinson--Bloch conjectures to this problem. In particular, it is shown that if $X$ is a smooth projective curve and the Albanese kernel of $X\times X$ is torsion, then there is an algorithm to compute the generalised height pairing on a pair of rational points on the Jacobian. This leads to the consideration of certain `motivic refinements' of the nonabelian cohomology varieties which arise in nonabelian Chabauty.

Zeros of Hecke polynomials arising from weak eigenforms

math.NT

v2

We attach Hecke polynomials $P_n(F;x)$ to weak Hecke eigenforms $F$ of weight $2-k$ and show that, for large $n$, every zero is simple and lies in $[0,1728]$. The construction pulls back a weakly holomorphic Hecke combination of $F$ along $j$; the analysis follows Hecke orbits on the unit-circle arc $\mathcal{A}$, isolating a dominant "cosine" term and controlling the tail via Maass-Poincar\'e series and Whittaker/Bessel bounds. This extends the Rankin--Swinnerton-Dyer/Asai--Kaneko--Ninomiya picture from holomorphic forms to a broad class of harmonic Maass forms and yields a clean degree-monicity formula and simple criteria for zeros at $0$ and $1728$.

Counting integral points in homogeneous spaces over function fields

math.NT

math.AG

v2

We establish the asymptotic formula for the number of integral points in non-compact symmetric homogeneous spaces of semi-simple simply connected algebraic groups over global function fields, given by the sum of the products of local densities twisted by suitable Brauer elements.

$p$-adic Periods and Selmer Scheme Images

math.NT

math.AG

v2

The Chabauty--Kim method was developed with the aim of approaching effective Faltings', the problem of explicitly determining the finite set of rational points on a hyperbolic curve. This method has seen success with the more particular Quadratic Chabauty method, but this method still applies only to certain curves. Previous applications of Chabauty--Kim beyond the quadratic level, as pursued by the authors, by S. Wewers, and by others, use mixed Tate motives and the $p$-adic period map of Chatzistamatiou-\"Unver to approach the particular hyperbolic curve $\mathbb{P}^1\setminus\{0,1,\infty\}$. The main purpose of this article is to lay foundations for extending the above approach to more general hyperbolic curves, in particular by defining an analogous $p$-adic period map for more general categories of motives and their non-conjectural cousins such as systems of realizations and $p$-adic Galois representations. We use this to describe a general setup for non-abelian Chabauty for an arbitrary hyperbolic curve. Our period map also connects the study of $p$-adic iterated integrals with Goncharov's theory of motivic iterated integrals, and allows us to investigate Goncharov's conjectures from a $p$-adic point of view. In particular, it suggests the possibility of evaluating syntomic regulators by writing elements of $K$-theory in terms of motivic iterated integrals. Lastly, it forms the basis for a certain generalization of the $p$-adic period conjecture of Yamashita for mixed Tate motives well-suited to applications in Chabauty--Kim theory.

Tempered vs generic automorphic functions and the canonical filtration on automorphic functions

math.NT

math.AG

v2

We introduce and study the filtration on the space of automorphic functions (in the everywhere unramified situation for the function field case) obtained by transferring the filtration on the spectral side of the classical Langlands conjecture, induced by coherent singular support. We propose a number of conjectures that tie this filtration (which, by design, arises from the notion of cohomological support) to a filtration on the space of C-valued automorphic functions that arises by considering the analytic spectrum of Hecke operators.

Etale cohomology of diamonds

math.AG

math.NT

v4

Motivated by problems on the \'etale cohomology of Rapoport--Zink spaces and their generalizations, as well as Fargues's geometrization conjecture for the local Langlands correspondence, we develop a six functor formalism for the \'etale cohomology of diamonds, and more generally small v-stacks on the category of perfectoid spaces of characteristic $p$. Using a natural functor from analytic adic spaces over $\mathbb Z_p$ to diamonds which identifies \'etale sites, this induces a similar formalism in that setting, which in the noetherian setting recovers the formalism from Huber's book.

Solid locally analytic representations

math.RT

math.NT

v4

We develop the $p$-adic representation theory of $p$-adic Lie groups on solid vector spaces over a complete non-archimedean extension of $\mathbb{Q}_p$. More precisely, we define and study categories of solid, solid locally analytic and solid smooth representations. We show that the category of solid locally analytic representations of a compact $p$-adic Lie group is equivalent to that of quasi-coherent modules over its algebra of locally analytic distributions, generalizing a classical result of Schneider and Teitelbaum. For arbitrary $G$, we prove an equivalence between solid locally analytic representations and quasi-coherent sheaves over certain locally analytic classifying stack over $G$. We also extend our previous cohomological comparison results from the case of a compact group defined over $\mathbb{Q}_p$ to the case of an arbitrary group, generalizing results of Lazard and Casselman-Wigner. Finally, we study an application to the locally analytic $p$-adic Langlands correspondence for $\mathrm{GL}_1$.

Birkhoff Measures, Birkhoff Sums, and Discrepancies

math.DS

math.NT

v2

We study the distribution of a sequence of points in the circle generated by rotations by a fixed irrational number $\rho$ with initial condition $x_0$, that is: $\{x_0+i\rho\}_{i=1}^n$. The \emph{discrepancy} as defined by Pisot and Van Der Corput \cite{VdCP}, quantifies how evenly distributed such a sequence is. Consider the ergodic or Birkhoff sum of mean zero $S(\rho,n,x):=\sum_{i=1}^{n} (\{x+i\rho\}-1/2)$, where $\{\cdot\}$ denotes the fractional part. This is a piecewise-linear map in the variable $x$ with $n$ branches, each with slope $n$. For fixed $n$ and $\rho$, let $\nu(\rho,n,z)$ be the number of pre-images of $S(\rho,n,x)=z$ divided by $n$. Then $\nu(\rho,n,z)$ is a probability density. We call the associated measures Birkhoff measures. We investigate how the graph of $\nu(\rho,n,z)$ varies with $n$. We prove that the length of the support of the Birkhoff measure $\nu(\rho,n,z)dz$ can be expressed in terms of the discrepancy. We also show that if $n$ is a continued fraction denominator of $\rho$, then the graph of $\nu(\rho,n,z)$ an approximate isosceles trapezoid. We also give new, brief, proofs of two classical results, one by Ramshaw \cite{Ramshaw} and one found by Kuipers-Niederreiter \cite{KN}. These results allow efficient computation of both Birkhoff sums and discrepancies.

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

math.RT

math.NT

v2

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\"onne's mod-$p$ Langlands correspondence for Hecke modules \cite{GK20}, building on work of P\'epin-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.