Number Theory [math.NT]

Rankin--Selberg Subconvexity via Spectral Reciprocity

math.NT

We establish explicit subconvex bounds for central values of Rankin--Selberg $L$-functions $L(1/2,\pi\times\pi')$ associated with pairs of unitary cuspidal automorphic representations of $\mathrm{GL}_2$ over a number field. Building on the spectral reciprocity framework of Michel and Venkatesh, we develop a refined, fully explicit form of spectral reciprocity that allows for precise control of conductors and local test vectors. As a consequence, we obtain an explicit subconvex bound, which, even over $F=\mathbb{Q}$, improves all previously known results. We further apply these bounds to several arithmetic problems. These include effective equidistribution of CM suborbits on quaternionic Shimura varieties, quantitative equidistribution of totally geodesic submanifolds, a uniform quantitative form of dihedral quantum unique ergodicity over number fields, and an application to distinguishing cuspidal automorphic representations.

Multivariate Period Rings

math.NT

In this article, we present a new approach to studying multivariate period rings that is more consistent with classical theory and provides a clearer description of their structure. We also prove that the category of $B$-admissible representations forms a Tannakian subcategory of the category of representations of $G_{K,\Delta}$ by defining an analogue of $(F,G)$-regular rings, which is central to the classification of representations in multivariate $p$-adic Hodge theory.

The p-adic Cauchy Theorem and Overconvergent Period Sheaves

math.NT

math.AG

The classical p-adic Cauchy theorem asserts that formal solutions of ordinary p-adic differential equations are convergent. In this article we establish a geometric analogue of this result for arbitrary smooth rigid-analytic varieties. More precisely, we show that the horizontal sections functor defined using the overconvergent de Rham period structure sheaf agrees with Scholze's horizontal sections functor defined using OBdR. Equivalently, every formal solution arising from Scholze's construction is already overconvergent. As an application, we identify Scholze's horizontal sections functor with the de Rham functor for D-cap-modules on vector bundles with flat connection.

Proofs of two $q$-congruence conjectures of Guo

math.NT

We prove two conjectural $q$-congruences proposed by Guo. The first is Conjecture 7.2 in Guo's work on $q$-analogues of two ``divergent'' Ramanujan-type supercongruences; it asserts a square-cyclotomic congruence for a truncated $q$-analogue of a Ramanujan-type sum when $n\equiv1\pmod4$. The second is Conjecture 4.1 in Guo's extension of Van Hamme's $(A.2)$ supercongruence; it gives divisibility modulo $[n]$ for a family of truncated basic hypergeometric sums with a parameter $s$. The proof of the first result relies on a known Watson-transformation congruence obtained by Guo. The proof of the second result is based on period decomposition at primitive roots of unity and a reflection cancellation inside residue blocks.

Modular variants of p-adic fundamental sequence

math.NT

math.AG

In this article, we relate any Farey triangle in the extended upper half-plane to a variant of Colmez--Fontaine's fundamental lemma in $p$-adic Hodge theory. In particular, their original fundamental lemma corresponds to the fundamental Farey triangle $(\frac{1}{0},\frac{1}{1},\frac{0}{1})$.

Capparelli's partition theorem as part of an infinite hierarchy: Combinatorial and Weighted Words extensions of recent work

math.NT

math.CO

In a recent paper, the authors introduced an infinite hierarchy of $q$-hypergeometric identities, of which the first three orders, $0$, $1$, and $2$, relate to the partition theorems of Euler, Lebesgue, and Capparelli, and stated a partition theorem at order 4 which lies beyond Capparelli's theorem. Here, we first state certain partition theorems that hold at all even orders beyond Capparelli and provide bijective proofs for these theorems. In doing so, we show that there is a fourfold infinite hierarchy of partition theorems that emanates from Capparelli's theorem, which is the base case. It is also shown that the equality of two of the four generating functions holds for all orders, odd and even. Lastly, a very general framework for the remaining two functions is constructed via the method of weighted words, encompassing all possible orders and yielding several infinite hierarchies with different dilations and translations.

A note on a conjecture of Ng

math.NT

In this note we give a lower bound for the second moment of a ratio of zeta functions summed over the non-trivial zeros of the Riemann zeta function that is half the size of the conjectured value. Our result is conditional on the assumption of the Riemann Hypothesis and that all the non-trivial zeros of the zeta function are simple.

Answer to a decomposition question on tori raised by Colliot-Th\'el\`ene and Sansuc

math.AG

math.NT

The aim of this note is to present a simple strategy to answer negatively a decomposition question on tori posed by Colliot-Th\'el\`ene and Sansuc in the article \textit{Principal Homogeneous Spaces under Flasque Tori: Applications} of 1987. We then deduce a torus $T$ over $\mathbb{Q}$ and a prime number $p$ such that $T(\mathbb{Z}_p)\,T(\mathbb{Q})\not=T(\mathbb{Q}_p)$, where $T(\mathbb{Z}_p)$ denotes the maximal compact subgroup of $T(\mathbb{Q}_p)$.

Beating Product Constructions for Linear Equations Over Finite Fields

math.CO

math.NT

We show that for any $A\subseteq \mathbb{F}_q^n$ lacking non-trivial solutions to a translation-invariant linear equation of genus one, meaning that no nonempty proper subset of the coefficients sums to $0$, there is a set $B\subseteq \mathbb{F}_q^m$ in some higher dimension which also lacks non-trivial solutions, such that \[|B|^{1/m}>|A|^{1/n}.\] In particular, this implies that no fixed cap set in $\mathbb{F}_3^n$ gives an asymptotically optimal lower bound by direct products alone.

On Perfectoidizaiton of Finite Algebras over a Perfectoid Ring

math.AC

math.AG

math.NT

We study general properties of the perfectoidization of finite algebras over a perfectoid ring, which helps to understand some precise and explicit descriptions. For example, we prove that if $A=R[t]/(m(t))$ where $m(t)$ is monic, $R$ is perfectoid and the discriminant $d$ of $m(t)$ is a non-zero divisor of $R$ satisfying a bounded torsion condition, then $dA_{\mathrm{pfd}}\subset A$. We also prove a density criterion reducing the construction of the perfectoidization to adjoining suitable $p$-power roots modulo $p$. In the second part of the paper, we compute perfectoidizations in several families of examples, including Kummer-type extensions and split finite algebras.

Moduli of Supersingular Abelian Varieties in Dimensions $g\leq 5$

math.AG

math.NT

We establish structure theorems for polarised flag type quotients arising in the study of the moduli space of supersingular abelian varieties. In particular, we prove a refined normal form for the top level of these flags and derive an explicit, computable descent criterion for quasi-polarisations. These results provide a complete classification of the first and last step of these flags. As an application, we compute polarised flag type quotients in dimensions $g\leq 5$, describing the fibers of the truncation morphisms as classification objects of supersingular abelian varieties.

Bounds for standard $L$-functions

math.NT

v3

Let $\pi$ be a cuspidal automorphic representation of a general linear group over the rational numbers. We establish a subconvex bound for the standard $L$-function of $\pi$ in the $t$-aspect. More generally, we address the spectral aspect in the case of uniform parameter growth.

Central $L$-values of newforms and local polynomials

math.NT

v5

In this paper, we characterize the vanishing of twisted central $L$-values attached to newforms of square-free level in terms of certain polynomials of quadratic forms introduced by Zagier and the action of finitely many Hecke operators thereon. To be more precise, we establish that a twisted central $L$-value attached to a newform vanishes if and only if a certain explicitly computable polynomial is constant. We describe these constants explicitly in two different ways. One of the descriptions involves the generalized Hurwitz class numbers, which were introduced by Pei and Wang in $2003$. We provide some numerical examples and conclude by offering some questions for future work.

Galois and Pro-\'etale Cohomology of Overconvergent de Rham Period Rings

math.NT

math.AG

v3

Motivated by the theory of p-adic differential equations and p-adic geometric representation theory, we introduce overconvergent variants of Fontaine's classical period rings. In particular, we study the positive overconvergent de Rham period ring, which is the stalk of the structure sheaf of the analytic Fargues-Fontaine curve at infinity. Our main results include the computation of the Galois cohomology of these overconvergent period rings, as well as the cohomology of the associated period sheaves and period structure sheaves.

On the adelic Gaussian hypergeometric function

math.NT

math.AG

v2

We define the adelic hypergeometric function of special Gaussian type by means of a tower of hypergeometric curves. This function takes values in an adelic completed group ring and interpolates all the hypergeometric functions of the same type over all finite fields. It specializes at the unit argument to the adelic beta function of Ihara and Anderson. We prove some transformation formulas and a summation formula for the adelic hypergeometric function, which are known classically for complex hypergeometric functions.

The first moment of central value of primitive quartic $L$-functions with fixed genus

math.NT

v4

We investigate the mean value of the first moment of primitive quartic $L$-functions over $\mathbb{F}_q(T)$ in the non-Kummer setting. Specifically, we study the sum \begin{equation*} \sum_{\substack{\chi\ primitive\ quartic\\ \chi^2 primitive\\ genus(\chi)=g}}L_q(\frac{1}{2}, \chi), \end{equation*} where $L_q(s,\chi)$ denotes the $L$-function associated with primitive quartic character $\chi$. Using double Dirichlet series, we derive an error term of size $q^{(\frac{3}{5}+\varepsilon)g}$.

Hasse norm principle for extensions of prime squared degree

math.NT

v2

We give an equivalent condition for the validity of the Hasse norm principle for finite separable extensions of prime squared degree of global fields. Our theorem recovers the result of Drakokhrust--Platonov, which claims that the Hasse norm principle holds for adequate extensions of prime squared degree.

Curves of genus two with maps of every degree to a fixed elliptic curve

math.NT

math.AG

v4

We show that up to isomorphism there are exactly twenty pairs $(C,E)$, where $C$ is a genus-$2$ curve over ${\mathbf C}$, where $E$ is an elliptic curve over ${\mathbf C}$, and where for every integer $n>1$ there is a map of degree $n$ from $C$ to $E$. We also show that for every genus-$2$ curve $C$, there is an integer $n$ with $1 < n \le 59$ such that there is no minimal degree-$n$ map from $C$ to an elliptic curve.

A fully faithful p-adic Riemann-Hilbert functor for coadmissible D-cap-modules

math.AG

math.NT

v2

This article establishes a Riemann-Hilbert correspondence in rigid-analytic geometry. We construct an explicit solution functor and prove that it is fully faithful on Ardakov-Wadsley's coadmissible D-cap-modules. For vector bundles with flat connection, our functor is canonically identified with Scholze's horizontal sections functor.