$p$-adic Manifold Learning and Benchmark Tasks from Impartial Games

2026-05-06T00:49:52Z

We introduce $p$-adic manifold learning, propose an algorithm to solve it, and propose benchmark tasks from impartial games.

On $p$-adic incomplete Mellin transforms and $p$-adic incomplete gamma-functions

2026-05-05T23:04:08Z

Let $r$ be a non-zero rational number. In a paper in the Transactions of the AMS in 2023, O'Desky and Richman gave a construction of a $p$-adic incomplete gamma-function $Γ_p(\cdot,r)$ for each prime $p$ for which $|r - 1|_p < 1$. Aside from the special case where $r = 1$, only finitely many primes satisfy that condition for a given $r$, so it is desirable to lessen this restriction. In the present paper, we give a construction that works under the much weaker condition that $|r|_p = 1$ using a $p$-adic integral transform we introduced in our paper of 2024 in Acta Arithmetica, which we interpret here as a $p$-adic analogue of an incomplete Mellin transform. For any given $r$, the condition $|r|_p = 1$ holds for all \emph{except} finitely many primes $p$. Our approach emphasizes the parallels between the complex and $p$-adic constructions, explaining how a $p$-adic integration-by-parts formula takes the place of complex integration by parts in the proof of the recurrence relations for the $p$-adic incomplete gamma-functions. We introduce a two-variable $p$-adic transform for the task, extending our earlier $p$-adic integral transform.

A note on bilinear sums with modular square roots

2026-05-05T22:39:18Z

Bag and Shparlinski \cite{BaSh} considered bilinear sums of terms of the form $e_p(axy^s)$, where $p$ is a prime, $a$ is an integer coprime to $p$, $s$ is an integer, $x$ runs over a subset of $\mathbb{F}_p^{\ast}$ and $y$ runs over an interval. Closely following their method, we establish an analogous result for the case when $s=1/2$ ($y^{1/2}$ being a modular square root of $y$ modulo $p$, if existent). A part of this note is devoted to reviewing our recent works on related bilinear sums.

A new perspective on the rank of Mazur's Eisenstein Hecke algebra

2026-05-05T18:38:12Z

Let $N, p \geq 5$ be primes such that $N \equiv 1 \bmod p$. We study the rank $r$ of the Hecke algebra that parametrizes modular forms of weight 2 and level $N$ that are Eisenstein modulo $p$. When $r$ is $2$ or $3$, we prove that $r-1$ equals the order of vanishing of the mod-$p$ reduction of a zeta element that interpolates Dirichlet $L$-values at $-1$, thereby recovering results of Merel and Lecouturier. This equality can fail in some cases when $r \geq 4$, and we provide a heuristic explanation of this failure. Our approach handles all of these cases uniformly by studying the analogous Hecke algebra in level $N^2$. When exactly one of $r-1$ or the order of vanishing equals $3$, we provide precise information about Galois orbits of cuspidal newforms in level $N^2$ that are Eisenstein modulo $p$.

Subgroups with all finite lifts isomorphic are conjugate

2026-05-05T14:06:24Z

We show that for non-conjugate subgroups $G_1$ and $G_2$ of a finite group $G$ there exists an extension of $G$ (by a finite group) in which the pre-images of $G_1$ and $G_2$ are not isomorphic. This allows us to show that $\mathbb Z$-coset equivalent subgroups of a finite group are not necessarily isomorphic, answering a question of Dipendra Prasad. We also indicate connections to profinite rigidity, anabelian geometry, mapping class groups, and non-arithmetic lattices in Lie groups.

Hopf-Galois module structure of degree p extensions of p-adic fields

2026-05-05T13:40:07Z

Let $p$ be an odd prime number. For a degree $p$ extension of $p$-adic fields $L/K$, we give a complete characterization of the condition for the ring of integers $\mathcal{O}_L$ to be free as a module over its associated order in the unique Hopf-Galois structure on $L/K$.

A multivariate Strassmann theorem

2026-05-05T12:23:17Z

By a theorem of Strassmann, a non-zero convergent power series in one variable over a complete non-Archimedean field has finitely many zeros, with an explicit bound on their number. We generalize this result to convergent power series in several variables, characterizing finiteness of the zero set and bounding its cardinality in terms of the reduction of the saturated ideal defined by the power series. We discuss how to make our result effective, under suitable assumptions, when working with approximate power series.

On the upper bound of wavefront sets of representations of p-adic groups

2026-05-05T11:58:37Z

In this paper we study the upper bound of wavefront sets of irreducible admissible representations of connected reductive groups defined over non-Archimedean local fields of characteristic zero. We formulate a new conjecture on the upper bound and show that it can be reduced to that of anti-discrete series representations, namely, those whose Aubert-Zelevinsky duals are discrete series. Then, we show that this conjecture is equivalent to the Jiang conjecture on the upper bound of wavefront sets of representations in local Arthur packets and also equivalent to an analogous conjecture on the upper bound of wavefront sets of representations in local ABV packets.

Joint extreme values of $L$-functions on and off the critical line

2026-05-05T11:49:46Z

It is shown that any number of distinct primitive $\mathrm{GL}(1)$ and $\mathrm{GL}(2)$ $L$-functions can simultaneously attain large values on the critical line. This is an unconditional improvement of a general result due to Heap and Li who have assumed the Riemann Hypothesis for more than three such $L$-functions. The joint distribution of $\mathrm{GL}(m)$ $L$-functions to the right of the critical line is also studied under certain zero-density estimates. In particular, we can partially recover results of Inoue and Li on Dirichlet $L$-functions and generally improve upon the work of Mahatab, Pańkowski and Vatwani on the class of $L$-functions introduced by Selberg. The main machinery in both cases, on and off the critical line, is the resonance method of Soundararajan and Hilberdink/Voronin, respectively. On the critical line we additionally introduce a variation of Heath-Brown's method for the fractional moments of the Riemann zeta-function which makes it possible to avoid using any information on the zero distribution of $L$-functions whose degree is less than three.

Optimal embeddings for maximal orders of central simple algebras of degree 3 over number fields

2026-05-05T11:41:57Z

Let $B$ be a central simple algebra of degree 3 over a number field $F$ and $K/F$ be a finite extension of degree 3. For an order $S$ of $K$, we determine exactly when $S$ cannot be optimally embedded into all maximal orders of $B$. Moreover, we further determine exactly when $S$ can be optimally embedded into $\frac{1}{3}$ isomorphism classes of maximal orders of $B$ and $\frac{2}{3}$ isomorphism classes of maximal orders of $B$ in the rest of cases.

Lectures on Condensed Mathematics

2026-05-05T11:41:12Z

This is an updated version of the lectures notes for a course on condensed mathematics taught in the summer term 2019 at the University of Bonn. The material presented is joint work with Dustin Clausen. This is intended as a stable citable version of the original lectures, with mostly cosmetic changes to the original document, together with some small corrections.

Lectures on Analytic Geometry

2026-05-05T11:39:04Z

This is a slightly updated version of lectures notes for a course on analytic geometry taught in the winter term 2019/20 at the University of Bonn. The material presented is part of joint work with Dustin Clausen. This is intended as a stable citable version of the material. In the first half of this course, we develop the basic theory of liquid real vector spaces, which we used in another course to give a new approach to complex-analytic geometry. In the second half, we gave a tentative definition of a category of analytic spaces that contains (for example) adic spaces and complex-analytic spaces. While the precise definition of analytic spaces represents an abandoned stepping stone on our way to define analytic stacks and hence should be seen as a historical artifact, much of the surrounding discussion stays very relevant.

Characteristic-free approaches around Yu's construction

2026-05-05T11:10:44Z

We give a direct characteristic-free construction of twisted Heisenberg-Weil representations when there are no symmetric and ramified roots. As a consequence, we show that twisted Yu's construction naturally extends to residual characteristic $2$. Moreover, we give a geometric realization of such twisted Heisenberg-Weil representations via the Deligne-Lusztig construction for Heisenberg group schemes. As an application, we give an explicit description of positive-depth parahoric Deligne-Lusztig induction in the generic case.

On some non-principal locally analytic representations induced by cuspidal Lie algebra representations

2026-05-05T10:18:59Z

Let $G$ be a split reductive $p$-adic Lie group. This paper is the first in a series on the construction of locally analytic $G$-representations which do not lie in the principal series. Here we consider the case of the general linear group $G=GL_{n+1}$ and locally analytic representations which are induced by cuspidal modules of the Lie algebra. We prove that they are ind-admissible and satisfy the homological vanishing criterion in the definition of supercuspidality in the sense of Kohlhaase.

Infinitesimal characters for the completed cohomology of $\mathrm{GL}_n$ over CM fields

2026-05-05T08:55:57Z

Let $p$ be a prime, and let $F$ be a CM field containing an imaginary quadratic field in which $p$ splits. We show that the locally analytic vectors of Hecke eigenspaces in the ($p$-adic) completed cohomology of $\mathrm{GL}_n/F$, localized at a non-Eisenstein decomposed generic maximal ideal, admit infinitesimal characters determined by the Sen operators of the corresponding Galois representations, thus confirming a conjecture of Dospinescu-Paškūnas-Schraen in this case.