In this paper, we study the universal lifting spaces of local Galois representations valued in arbitrary reductive group schemes when $\ell \neq p$. In particular, under certain technical conditions applicable to any root datum, we construct a canonical smooth component in such spaces, generalizing the minimally ramified deformation condition previously studied for classical groups. Our methods involve extending the notion of isotypic decomposition for a $\operatorname {\mathrm {GL}}_n$-valued representation to general reductive group schemes. To deal with certain scheme-theoretic issues coming from this notion, we are led to a detailed study of certain families of disconnected reductive groups, which we call weakly reductive group schemes. Our work can be used to produce geometric lifts for global Galois representations, and we illustrate this for $\mathrm {G}_2$-valued representations.

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.

We introduce and study the notion of a generalised Hecke orbit in a Shimura variety. We define a height function on such an orbit and study its properties. We obtain lower bounds for the sizes of Galois orbits of points in a generalised Hecke orbit in terms of this height function, assuming the ‘weakly adelic Mumford–Tate hypothesis’ and prove the generalised André–Pink–Zannier conjecture under this assumption, using Pila–Zannier strategy.

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 $\pi $ be a cuspidal, cohomological automorphic representation of an inner form G of $\operatorname {{PGL}}_2$ over a number field F of arbitrary signature. Further, let $\mathfrak {p}$ be a prime of F such that G is split at $\mathfrak {p}$ and the local component $\pi _{\mathfrak {p}}$ of $\pi $ at $\mathfrak {p}$ is the Steinberg representation. Assuming that the representation is noncritical at $\mathfrak {p}$, we construct automorphic $\mathcal {L}$-invariants for the representation $\pi $. If the number field F is totally real, we show that these automorphic $\mathcal {L}$-invariants agree with the Fontaine–Mazur $\mathcal {L}$-invariant of the associated p-adic Galois representation. This generalizes a recent result of Spieß respectively Rosso and the first named author from the case of parallel weight $2$ to arbitrary cohomological weights.

In his work on modularity of elliptic curves and Fermat’s last theorem, A. Wiles introduced two measures of congruences between Galois representations and between modular forms. One measure is related to the order of a Selmer group associated to a newform $f \in S_2(\Gamma _0(N))$ (and closely linked to deformations of the Galois representation $\rho _f$ associated to f), whilst the other measure is related to the congruence module associated to f (and is closely linked to Hecke rings and congruences between f and other newforms in $S_2(\Gamma _0(N))$). The equality of these two measures led to isomorphisms $R={\mathbf T}$ between deformation rings and Hecke rings (via a numerical criterion for isomorphisms that Wiles proved) and showed these rings to be complete intersections.

We continue our study begun in [BKM21] of the Wiles defect of deformation rings and Hecke rings (at a newform f) acting on the cohomology of Shimura curves over ${\mathbf Q}$: It is defined to be the difference between these two measures of congruences. The Wiles defect thus arises from the failure of the Wiles numerical criterion at an augmentation $\lambda _f:{\mathbf T} \to {\mathcal O}$. In situations we study here, the Taylor–Wiles–Kisin patching method gives an isomorphism $ R={\mathbf T}$ without the rings being complete intersections. Using novel arguments in commutative algebra and patching, we generalize significantly and give different proofs of the results in [BKM21] that compute the Wiles defect at $\lambda _f: R={\mathbf T} \to {\mathcal O}$, and explain in an a priori manner why the answer in [BKM21] is a sum of local defects. As a curious application of our work we give a new and more robust approach to the result of Ribet–Takahashi that computes change of degrees of optimal parametrizations of elliptic curves over ${\mathbf Q}$ by Shimura curves as we vary the Shimura curve. The results we prove are not attainable using only the methods of Ribet–Takahashi.

We introduce the notion of completed $F$-crystals on the absolute prismatic site of a smooth $p$-adic formal scheme. We define a functor from the category of completed prismatic $F$-crystals to that of crystalline étale $\mathbf {Z}_p$-local systems on the generic fiber of the formal scheme and show that it gives an equivalence of categories. This generalizes the work of Bhatt and Scholze, which treats the case of a mixed characteristic complete discrete valuation ring with perfect residue field.

In the article [CEGS20b], we introduced various moduli stacks of two-dimensional tamely potentially Barsotti–Tate representations of the absolute Galois group of a p-adic local field, as well as related moduli stacks of Breuil–Kisin modules with descent data. We study the irreducible components of these stacks, establishing, in particular, that the components of the former are naturally indexed by certain Serre weights.

We prove the compatibility of local and global Langlands correspondences for $\operatorname {GL}_n$ up to semisimplification for the Galois representations constructed by Harris-Lan-Taylor-Thorne [10] and Scholze [18]. More precisely, let $r_p(\pi )$ denote an n-dimensional p-adic representation of the Galois group of a CM field F attached to a regular algebraic cuspidal automorphic representation $\pi $ of $\operatorname {GL}_n(\mathbb {A}_F)$. We show that the restriction of $r_p(\pi )$ to the decomposition group of a place $v\nmid p$ of F corresponds up to semisimplification to $\operatorname {rec}(\pi _v)$, the image of $\pi _v$ under the local Langlands correspondence. Furthermore, we can show that the monodromy of the associated Weil-Deligne representation of $\left .r_p(\pi )\right |{}_{\operatorname {Gal}_{F_v}}$ is ‘more nilpotent’ than the monodromy of $\operatorname {rec}(\pi _v)$.

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.

We use the theory of trianguline $(\varphi ,\Gamma )$-modules over pseudorigid spaces to prove a modularity lifting theorem for certain Galois representations which are trianguline at p, including those with characteristic p coefficients. The use of pseudorigid spaces lets us construct integral models of the trianguline varieties of [BHS17], [Che13] after bounding the slope, and we carry out a Taylor–Wiles patching argument for families of overconvergent modular forms. This permits us to construct a patched quaternionic eigenvariety and deduce our modularity results.

We prove the existence of $\mathrm {GSpin}_{2n}$-valued Galois representations corresponding to cohomological cuspidal automorphic representations of certain quasi-split forms of ${\mathrm {GSO}}_{2n}$ under the local hypotheses that there is a Steinberg component and that the archimedean parameters are regular for the standard representation. This is based on the cohomology of Shimura varieties of abelian type, of type $D^{\mathbb {H}}$, arising from forms of ${\mathrm {GSO}}_{2n}$. As an application, under similar hypotheses, we compute automorphic multiplicities, prove meromorphic continuation of (half) spin L-functions and improve on the construction of ${\mathrm {SO}}_{2n}$-valued Galois representations by removing the outer automorphism ambiguity.

Let K be a finite extension of the p-adic field ${\mathbb {Q}}_p$ of degree d, let ${{\mathbb {F}}\,\!{}}$ be a finite field of characteristic p and let ${\overline {{D}}}$ be an n-dimensional pseudocharacter in the sense of Chenevier of the absolute Galois group of K over the field ${{\mathbb {F}}\,\!{}}$. For the universal mod p pseudodeformation ring ${\overline {R}{{\phantom {\overline {\overline m}}}}^{\operatorname {univ}}_{{{\overline {{D}}}}}}$ of ${\overline {{D}}}$, we prove the following: The ring $\overline R_{{\overline {{D}}}}^{\mathrm {ps}}$ is equidimensional of dimension $dn^2+1$. Its reduced quotient ${\overline {R}{{\phantom {\overline {\overline m}}}}^{\operatorname {univ}}_{{{\overline {{D}}},{\operatorname {red}}}}}$ contains a dense open subset of regular points x whose associated pseudocharacter ${D}_x$ is absolutely irreducible and nonspecial in a certain technical sense that we shall define. Moreover, we will characterize in most cases when K does not contain a p-th root of unity the singular locus of ${\mathrm {Spec}}\ {\overline {R}{{\phantom {\overline {\overline m}}}}^{\operatorname {univ}}_{{{\overline {{D}}}}}}$. Similar results were proved by Chenevier for the generic fiber of the universal pseudodeformation ring ${R{{\phantom {\overline {m}}}}^{\operatorname {univ}}_{{{\overline {D}}}}}$ of ${\overline {{D}}}$.

We investigate Eisenstein congruences between the so-called Euler systems of Garrett–Rankin–Selberg type. This includes the cohomology classes of Beilinson–Kato, Beilinson–Flach, and diagonal cycles. The proofs crucially rely on different known versions of the Bloch–Kato conjecture, and are based on the study of the Perrin-Riou formalism and the comparison between the different p-adic L-functions.

We show that framed deformation rings of mod p representations of the absolute Galois group of a p-adic local field are complete intersections of expected dimension. We determine their irreducible components and show that they and their special fibres are normal and complete intersection. As an application, we prove density results of loci with prescribed p-adic Hodge theoretic properties.

Given a set $S=\{x^2+c_1,\dots,x^2+c_s\}$ defined over a field and an infinite sequence $\gamma$ of elements of S, one can associate an arboreal representation to $\gamma$, generalising the case of iterating a single polynomial. We study the probability that a random sequence $\gamma$ produces a “large-image” representation, meaning that infinitely many subquotients in the natural filtration are maximal. We prove that this probability is positive for most sets S defined over $\mathbb{Z}[t]$, and we conjecture a similar positive-probability result for suitable sets over $\mathbb{Q}$. As an application of large-image representations, we prove a density-zero result for the set of prime divisors of some associated quadratic sequences. We also consider the stronger condition of the representation being finite-index, and we classify all S possessing a particular kind of obstruction that generalises the post-critically finite case in single-polynomial iteration.

The classical Mordell–Weil theorem implies that an abelian variety A over a number field K has only finitely many K-rational torsion points. This finitude of torsion still holds even over the cyclotomic extension $K^{\mathrm {cyc}}=K{\mathbb Q}^{\mathrm {ab}}$ by a result of Ribet. In this article, we consider the finiteness of torsion points of an abelian variety A over the infinite algebraic extension $K_B$ obtained by adjoining the coordinates of all torsion points of an abelian variety B. Assuming the Mumford–Tate conjecture, and up to a finite extension of the base field K, we give a necessary and sufficient condition for the finiteness of $A(K_B)_{\mathrm tors}$ in terms of Mumford–Tate groups. We give a complete answer when both abelian varieties have dimension at most 3, or when both have complex multiplication.

Let $G$ be a split reductive group over the ring of integers in a $p$-adic field with residue field $\mathbf {F}$. Fix a representation $\overline {\rho }$ of the absolute Galois group of an unramified extension of $\mathbf {Q}_p$, valued in $G(\mathbf {F})$. We study the crystalline deformation ring for $\overline {\rho }$ with a fixed $p$-adic Hodge type that satisfies an analog of the Fontaine–Laffaille condition for $G$-valued representations. In particular, we give a root theoretic condition on the $p$-adic Hodge type which ensures that the crystalline deformation ring is formally smooth. Our result improves on all known results for classical groups not of type A and provides the first such results for exceptional groups.

We investigate the maximal finite length submodule of the Breuil–Kisin prismatic cohomology of a smooth proper formal scheme over a $p$-adic ring of integers. This submodule governs pathology phenomena in integral $p$-adic cohomology theories. Geometric applications include a control, in low degrees and mild ramifications, of (1) the discrepancy between two naturally associated Albanese varieties in characteristic $p$, and (2) the kernel of the specialization map in $p$-adic étale cohomology. As an arithmetic application, we study the boundary case of the theory due to Fontaine and Laffaille, Fontaine and Messing, and Kato. Also included is an interesting example, generalized from a construction in Bhatt, Morrow and Scholze's work, which illustrates some of our theoretical results being sharp, and negates a question of Breuil.

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.