Hasse norm principle for extensions of prime squared degree

2026-06-10T11:20:32Z

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.

Bounds for standard $L$-functions

2026-06-10T11:09:36Z

Let $π$ 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 $π$ in the $t$-aspect. More generally, we address the spectral aspect in the case of uniform parameter growth.

On the adelic Gaussian hypergeometric function

2026-06-10T10:59:22Z

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.

Chebyshev's Bias against Splitting and Principal Primes in Global Fields

2026-06-10T10:43:37Z

Reasons for the emergence of Chebyshev's bias were investigated. The Deep Riemann Hypothesis (DRH) enables us to reveal that the bias is a natural phenomenon for achieving a well-balanced disposition of the whole sequence of primes, in the sense that the Euler product converges at the center. By means of a weighted counting function of primes, the authors succeed in expressing magnitudes of the deflection by a certain asymptotic formula under the assumption of DRH, which provides a new formulation of Chebyshev's bias. For any Galois extension of global fields and for any element $σ$ in the Galois group, we have established a criterion of the bias of primes whose Frobenius elements are equal to $σ$ under the assumption of DRH. As an application we have obtained a bias toward non-splitting and non-principle primes in abelian extensions under DRH. In positive characteristic cases, DRH is known, and all these results hold unconditionally.

Lower bounds on expressions depending on the functions {\boldmath$\varphi(n)$}, {\boldmath$ψ(n)$} and {\boldmath$σ(n)$}, III

2026-06-10T08:16:39Z

This work is concerned with the study of lower bounds for various expressions related to the arithmetic functions $\varphi(n)$, $ψ(n)$ and $σ(n)$. Several explicit estimates are established.

The p-adic Cauchy Theorem and Overconvergent Period Sheaves

2026-06-10T06:30:25Z

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.

Multivariate Period Rings

2026-06-10T06:29:27Z

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,Δ}$ by defining an analogue of $(F,G)$-regular rings, which is central to the classification of representations in multivariate $p$-adic Hodge theory.

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

2026-06-10T06:12:38Z

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.

Galois and Pro-étale Cohomology of Overconvergent de Rham Period Rings

2026-06-10T05:59:19Z

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.

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

2026-06-09T23:36:11Z

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.

Answer to a decomposition question on tori raised by Colliot-Thélène and Sansuc

2026-06-09T21:26:38Z

The aim of this note is to present a simple strategy to answer negatively a decomposition question on tori posed by Colliot-Thélène 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)$.

Rankin--Selberg Subconvexity via Spectral Reciprocity

2026-06-09T21:03:33Z

We establish explicit subconvex bounds for central values of Rankin--Selberg $L$-functions $L(1/2,π\timesπ')$ 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.

Adjacent comparison bounds and extremal sets for Ruzsa numbers

2026-06-09T16:31:06Z

Let $m$ be a positive integer and $\mathbb{Z}_m$ the residue class ring modulo $m$. The Ruzsa number $R_m$ is defined to be the least integer $r$ such that there is a subset $\mathcal{A}$ of $\mathbb{Z}_m$ satisfying $ 1\le σ_{\mathcal{A}}(n)\le r $ for any $n\in \mathbb{Z}_m$, where $$ σ_{\mathcal{A}}(n) =\#\big\{(a,a')\in\mathcal A^2: a+a'\equiv n\pmod{m}\big\}. $$ Motivated by a 2024 conjecture of Ding and Zhao, we prove $ | R_{m+1}-R_m|\le 144. $ Let $\mathcal{A}$ be a subset of $\mathbb{Z}_m$ satisfying $1\le σ_{\mathcal{A}}(n)\le R_m$ for any $n\in \mathbb{Z}_m$. We also give nontrivial bounds for the size of $\mathcal{A}$. Additionally, we provide exact values of $R_m$ for all $m\le 100$, which substantially extends the table of values given by Sándor and Yang in 2017. Finally, we pose several related problems and prove some partial results.

On the rank of hypergeometric sheaves on higher dimensional tori

2026-06-09T16:18:32Z

We prove an explicit formula for the generic rank of hypergeometric perverse sheaves on higher dimensional tori over a finite field, as defined by Gabber and Loeser. This allows to give an explicit estimate for the corresponding hypergeometric character sums for almost all primes $p$.

Weighted partitions with interval restrictions: exact formulas and a bivariate master identity

2026-06-09T15:52:19Z

Let $a_2''(n)$ and $b_2''(n)$ be the signed partition functions introduced by Andrews and El Bachraoui for interval-restricted partitions whose parts greater than $1$ are controlled by the smallest even part and by the number of ones. We prove two conjectures for these functions. The first gives the generating function for $a_2''(n)$ as an elementary rational term plus a false theta series with periodic signs; the second asserts that the companion coefficients $b_2''(n)$ take only the values $-1,0,1,2$. The central structural result introduces an auxiliary variable $z$ recording the number of non-compulsory parts greater than $1$. We obtain closed forms for the two resulting generating functions and prove the master identity $(1+q^2)\mathcal B(z,q)-(1+q)\mathcal A(z,q)=-q^4/(1-q^3)$ using both analytic and combinatorial techniques. At $z=-1$, this identity, together with a Rogers--Fine evaluation, gives the false theta formula for $a_2''(n)$ and an explicit generating function for $b_2''(n)$. The latter formula implies the asserted coefficient range and leads to an exact coefficient description of $b_2''(n)$. We also include a direct Heine--Rogers--Fine proof of the false theta formula, ordinary and fixed-refinement consequences of the master identity, and the resulting quantum modular interpretation.