We prove a comparison theorem between Greenberg–Benois $\mathcal {L}$-invariants and Fontaine–Mazur $\mathcal {L}$-invariants. Such a comparison theorem supplies an affirmative answer to a speculation of Besser–de Shalit.

For a connected reductive group G over a nonarchimedean local field F of positive characteristic, Genestier-Lafforgue and Fargues-Scholze have attached a semisimple parameter ${\mathcal {L}}^{ss}(\pi )$ to each irreducible representation $\pi $. Our first result shows that the Genestier-Lafforgue parameter of a tempered $\pi $ can be uniquely refined to a tempered L-parameter ${\mathcal {L}}(\pi )$, thus giving the unique local Langlands correspondence which is compatible with the Genestier-Lafforgue construction. Our second result establishes ramification properties of ${\mathcal {L}}^{ss}(\pi )$ for unramified G and supercuspidal $\pi $ constructed by induction from an open compact (modulo center) subgroup. If ${\mathcal {L}}^{ss}(\pi )$ is pure in an appropriate sense, we show that ${\mathcal {L}}^{ss}(\pi )$ is ramified (unless G is a torus). If the inducing subgroup is sufficiently small in a precise sense, we show $\mathcal {L}^{ss}(\pi )$ is wildly ramified. The proofs are via global arguments, involving the construction of Poincaré series with strict control on ramification when the base curve is ${\mathbb {P}}^1$ and a simple application of Deligne’s Weil II.

Let $G$ be a split semisimple group over a global function field $K$. Given a cuspidal automorphic representation $\Pi$ of $G$ satisfying a technical hypothesis, we prove that for almost all primes $\ell$, there is a cyclic base change lifting of $\Pi$ along any $\mathbb {Z}/\ell \mathbb {Z}$-extension of $K$. Our proof does not rely on any trace formulas; instead it is based on using modularity lifting theorems, together with a Smith theory argument, to obtain base change for residual representations. As an application, we also prove that for any split semisimple group $G$ over a local function field $F$, and almost all primes $\ell$, any irreducible admissible representation of $G(F)$ admits a base change along any $\mathbb {Z}/\ell \mathbb {Z}$-extension of $F$. Finally, we characterize local base change more explicitly for a class of toral representations considered in work of Chan and Oi.

We define $p$-adic $\mathrm {BPS}$ or $p\mathrm {BPS}$ invariants for moduli spaces $\operatorname {M}_{\beta,\chi }$ of one-dimensional sheaves on del Pezzo and K3 surfaces by means of integration over a non-archimedean local field $F$. Our definition relies on a canonical measure $\mu _{\rm can}$ on the $F$-analytic manifold associated to $\operatorname {M}_{\beta,\chi }$ and the $p\mathrm {BPS}$ invariants are integrals of natural ${\mathbb {G}}_m$ gerbes with respect to $\mu _{\rm can}$. A similar construction can be done for meromorphic and usual Higgs bundles on a curve. Our main theorem is a $\chi$-independence result for these $p\mathrm {BPS}$ invariants. For one-dimensional sheaves on del Pezzo surfaces and meromorphic Higgs bundles, we obtain as a corollary the agreement of $p\mathrm {BPS}$ with usual $\mathrm {BPS}$ invariants through a result of Maulik and Shen [Cohomological $\chi$-independence for moduli of one-dimensional sheaves and moduli of Higgs bundles, Geom. Topol. 27 (2023), 1539–1586].

We discuss the p-adic Weierstrass zeta functions associated with elliptic curves defined over the field of algebraic numbers and linear relations for their values in the p-adic domain. These results are extensions of the p-adic analogues of results given by Wüstholz in the complex domain [see A. Baker and G. Wüstholz, Logarithmic Forms and Diophantine Geometry, New Mathematical Monographs, 9 (Cambridge University Press, Cambridge, 2007), Theorem 6.3] and also generalise a result of Bertrand to higher dimensions [‘Sous-groupes à un paramètre p-adique de variétés de groupe’, Invent. Math. 40(2) (1977), 171–193].

We prove new results concerning the additive Galois module structure of wildly ramified non-abelian extensions $K/\mathbb{Q}$ with Galois group isomorphic to $A_4$, $S_4$, $A_5$, and dihedral groups of order $2p^n$ for certain prime powers $p^n$. In particular, when $K/\mathbb{Q}$ is a Galois extension with Galois group $G$ isomorphic to $A_4$, $S_4$ or $A_5$, we give necessary and sufficient conditions for the ring of integers $\mathcal{O}_{K}$ to be free over its associated order in the rational group algebra $\mathbb{Q}[G]$.

Lafforgue and Genestier-Lafforgue have constructed the global and (semisimplified) local Langlands correspondences for arbitrary reductive groups over function fields. We establish various properties of these correspondences regarding functoriality for cyclic base change: For $\mathbf {Z}/p\mathbf {Z}$-extensions of global function fields, we prove the existence of base change for mod p automorphic forms on arbitrary reductive groups. For $\mathbf {Z}/p\mathbf {Z}$-extensions of local function fields, we construct a base change homomorphism for the mod p Bernstein center of any reductive group. We then use this to prove existence of local base change for mod p irreducible representation along $\mathbf {Z}/p\mathbf {Z}$-extensions, and that Tate cohomology realizes base change descent, verifying a function field version of a conjecture of Treumann-Venkatesh.

The proofs are based on equivariant localization arguments for the moduli spaces of shtukas. They also draw upon new tools from modular representation theory, including parity sheaves and Smith-Treumann theory. In particular, we use these to establish a categorification of the base change homomorphism for mod p spherical Hecke algebras, in a joint appendix with Gus Lonergan.

This paper is concerned with the study of the fine Selmer group of an abelian variety over a $\mathbb{Z}_{p}$-extension which is not necessarily cyclotomic. It has been conjectured that these fine Selmer groups are always torsion over $\mathbb{Z}_{p}[[ \Gamma ]]$, where $\Gamma$ is the Galois group of the $\mathbb{Z}_{p}$-extension in question. In this paper, we shall provide several strong evidences towards this conjecture. Namely, we show that the conjectural torsionness is consistent with the pseudo-nullity conjecture of Coates–Sujatha. We also show that if the conjecture is known for the cyclotomic $\mathbb{Z}_{p}$-extension, then it holds for almost all $\mathbb{Z}_{p}$-extensions. We then carry out a similar study for the fine Selmer group of an elliptic modular form. When the modular forms are ordinary and come from a Hida family, we relate the torsionness of the fine Selmer groups of the specialization. This latter result allows us to show that the conjectural torsionness in certain cases is consistent with the growth number conjecture of Mazur. Finally, we end with some speculations on the torsionness of fine Selmer groups over an arbitrary p-adic Lie extension.

We state a conjecture that relates the derived category of smooth representations of a $p$-adic split reductive group with the derived category of (quasi-)coherent sheaves on a stack of L-parameters. We investigate the conjecture in the case of the principal block of ${\rm GL}_n$ by showing that the functor should be given by the derived tensor product with the family of representations interpolating the modified Langlands correspondence over the stack of L-parameters that is suggested by the work of Helm and of Emerton and Helm.

The Hopf–Galois structures admitted by a Galois extension of fields $ L/K $ with Galois group G correspond bijectively with certain subgroups of $ \mathrm{Perm}(G) $. We use a natural partition of the set of such subgroups to obtain a method for partitioning the set of corresponding Hopf–Galois structures, which we term ρ-conjugation. We study properties of this construction, with particular emphasis on the Hopf–Galois analogue of the Galois correspondence, the connection with skew left braces, and applications to questions of integral module structure in extensions of local or global fields. In particular, we show that the number of distinct ρ-conjugates of a given Hopf–Galois structure is determined by the corresponding skew left brace, and that if $ H, H^{\prime} $ are Hopf algebras giving ρ-conjugate Hopf–Galois structures on a Galois extension of local or global fields $ L/K $ then an ambiguous ideal $ \mathfrak{B} $ of L is free over its associated order in H if and only if it is free over its associated order in Hʹ. We exhibit a variety of examples arising from interactions with existing constructions in the literature.

John Rognes developed a notion of Galois extension of commutative ring spectra, and this includes a criterion for identifying an extension as unramified. Ramification for commutative ring spectra can be detected by relative topological Hochschild homology and by topological André–Quillen homology. In the classical algebraic context, it is important to distinguish between tame and wild ramification. Noether’s theorem characterizes tame ramification in terms of a normal basis, and tame ramification can also be detected via the surjectivity of the trace map. For commutative ring spectra, we suggest to study the Tate construction as a suitable analog. It tells us at which integral primes there is tame or wild ramification, and we determine its homotopy type in examples in the context of topological K-theory and topological modular forms.

Let F be a finite extension of ${\mathbb Q}_p$. Let $\Omega$ be the Drinfeld upper half plane, and $\Sigma^1$ the first Drinfeld covering of $\Omega$. We study the affinoid open subset $\Sigma^1_v$ of $\Sigma^1$ above a vertex of the Bruhat–Tits tree for $\text{GL}_2(F)$. Our main result is that $\text{Pic}\!\left(\Sigma^1_v\right)[p] = 0$, which we establish by showing that $\text{Pic}({\mathbf Y})[p] = 0$ for ${\mathbf Y}$ the Deligne–Lusztig variety of $\text{SL}_2\!\left({\mathbb F}_q\right)$. One formal consequence is a description of the representation $H^1_{{\acute{\text{e}}\text{t}}}\!\left(\Sigma^1_v, {\mathbb Z}_p(1)\right)$ of $\text{GL}_2(\mathcal{O}_F)$ as the p-adic completion of $\mathcal{O}\!\left(\Sigma^1_v\right)^\times$.

We improve upon the traditional error term in the truncated Perron formula for the logarithm of an L-function. All our constants are explicit.

In this paper, we give an explicit computable algorithm for the Zelevinsky–Aubert duals of irreducible representations of $p$-adic symplectic and odd special orthogonal groups. To do this, we establish explicit formulas for certain derivatives and socles. We also give a combinatorial criterion for the irreducibility of certain parabolically induced representations.

For each prime p, we show that there exist geometrically simple abelian varieties A over ${\mathbb Q}$ with . Specifically, for any prime $N\equiv 1 \ \pmod p$ , let $A_f$ be an optimal quotient of $J_0(N)$ with a rational point P of order p, and let $B = A_f/\langle P \rangle $ . Then the number of positive integers $d \leq X$ with is $ \gg X/\log X$ , where $\widehat B_d$ is the dual of the dth quadratic twist of B. We prove this more generally for abelian varieties of $\operatorname {\mathrm {GL}}_2$ -type with a p-isogeny satisfying a mild technical condition. In the special case of elliptic curves, we give stronger results, including many examples where for an explicit positive proportion of integers d.

Motivated by the p-adic approach in two of Mahler’s problems, we obtain some results on p-adic analytic interpolation of sequences of integers $(u_n)_{n\geq 0}$. We show that if $(u_n)_{n\geq 0}$ is a sequence of integers with $u_n = O(n)$ which can be p-adically interpolated by an analytic function $f:\mathbb {Z}_p\rightarrow \mathbb {Q}_p$, then $f(x)$ is a polynomial function of degree at most one. The case $u_n=O(n^d)$ with $d>1$ is also considered with additional conditions. Moreover, if X and Y are subsets of $\mathbb {Z}$ dense in $\mathbb {Z}_p$, we prove that there are uncountably many p-adic analytic injective functions $f:\mathbb {Z}_p\to \mathbb {Q}_p$, with rational coefficients, such that $f(X)=Y$.

Let X be a real prehomogeneous vector space under a reductive group G, such that X is an absolutely spherical G-variety with affine open orbit. We define local zeta integrals that involve the integration of Schwartz–Bruhat functions on X against generalized matrix coefficients of admissible representations of $G(\mathbb {R})$ , twisted by complex powers of relative invariants. We establish the convergence of these integrals in some range, the meromorphic continuation, as well as a functional equation in terms of abstract $\gamma $ -factors. This subsumes the archimedean zeta integrals of Godement–Jacquet, those of Sato–Shintani (in the spherical case), and the previous works of Bopp–Rubenthaler. The proof of functional equations is based on Knop’s results on Capelli operators.

We show that the theory of Galois actions of a torsion Abelian group A is companionable if and only if, for each prime p, the p-primary part of A is either finite or it coincides with the Prüfer p-group. We also provide a model-theoretic description of the model companions we obtain.

When $p$ is an odd prime, Delbourgo observed that any Kubota–Leopoldt $p$-adic $L$-function, when multiplied by an auxiliary Euler factor, can be written as an infinite sum. We shall establish such expressions without restriction on $p$, and without the Euler factor when the character is non-trivial, by computing the periods of appropriate measures. As an application, we will reprove the Ferrero–Greenberg formula for the derivative $L_p'(0,\chi )$. We will also discuss the convergence of sum expressions in terms of elementary $p$-adic analysis, as well as their relation to Stickelberger elements; such discussions in turn give alternative proofs of the validity of sum expressions.

Kottwitz’s conjecture describes the contribution of a supercuspidal representation to the cohomology of a local Shimura variety in terms of the local Langlands correspondence. A natural extension of this conjecture concerns Scholze’s more general spaces of local shtukas. Using a new Lefschetz–Verdier trace formula for v-stacks, we prove the extended conjecture, disregarding the action of the Weil group, and modulo a virtual representation whose character vanishes on the locus of elliptic elements. As an application, we show that, for an irreducible smooth representation of an inner form of $\operatorname {\mathrm {GL}}_n$ , the L-parameter constructed by Fargues–Scholze agrees with the usual semisimplified parameter arising from local Langlands.