Unobstructedness of Galois deformation rings associated to regular algebraic conjugate self-dual cuspidal automorphic representations

DOI10.2140/ANT.2020.14.1331MaRDI QIDQ2201801zbMATH OpenOpenAlexFDO

Authors David-Alexandre Guiraud

Publication date 17 September 2020

Published in Algebra \& Number Theory (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1803.01408

zbMATH Keywords

automorphic representationsGalois deformationsGalois representations

Mathematics Subject Classification ID

Representation-theoretic methods; automorphic representations over local and global fields (11F70) Galois representations (11F80)

Abstract: Let $F$ be a CM field and let $(overline{r}_{pi,lambda}{)}_{lambda}$ be the compatible system of residual $mathcal{G}_n$-valued representations of $operatorname{Gal}_F$ attached to a RACSDC automorphic representation $pi$ of $operatorname{GL}_n(mathbbA)$, as studied by Clozel, Harris and Taylor and others. Under mild assumptions, we prove that the fixed-determinant universal deformation rings attached to $overline{r}_{pi,lambda}$ are unobstructed for all places $lambda$ in a subset of Dirichlet density $1$, continuing the investigations of Mazur, Weston and Gamzon. During the proof, we develop a general framework for proving unobstructedness (which could be useful for other applications in future) and an $R=T$-theorem, relating the universal crystalline deformation ring of $overline{r}_{pi,lambda}$ and a certain unitary fixed-type Hecke algebra.

Review text

Let \(S\) be a finite set of primes and let \(\bar{r} : G_{\mathbb{Q},S} \to GL_n(\bar{\mathbb{F}}_p)\) be a continuous representation. Then \(\bar{r}\) is unobstructed if \[H^2(G_{F,S}, \mathrm{ad}^{0} \bar{r}) = 0.\] The significance of this condition is that the (fixed determinant) universal deformation ring for \(\bar{r}\) is then formally smooth. For the generalisation, let \(F\) be an imaginary quadratic extension of \(\mathbb{Q}\) and let \(\pi\) be a regular algebraic conjugate-self-dual cuspidal automorphic representation of \(GL_n(\mathbb{A}_{\mathbb{F}})\). Let \(S\) be a finite set of primes including those dividing a place where \(\pi\) is ramified. Then for each prime \(l\) there is a continuous representation \[r_{\pi, l} : G_{\mathbb{Q},S\cup\{l\}} \to \mathcal{G}(\bar{\mathbb{Q}}_l)\] where \(\mathcal{G}_n\) is the algebraic group defined in [\textit{L. Clozel} et al., Publ. Math., Inst. Hautes Étud. Sci. 108, 1--181 (2008; Zbl 1169.11020)]. Theorem (Guiraud) Suppose that \begin{itemize} \item[1.] no two Hodge-Tate weights of \(\pi\) are consecutive; and \item[2.] for a set \(l\) of primes of Dirichlet density one, \(r_{\pi, l}|_{G_{F}}\) is absolutely irreducible. \end{itemize} Then, for \(l\) in a set of primes of Dirichlet density one, the representation \(\bar{r}_{\pi, l}\) is unobstructed. The first condition here is a genuine constraint, while the second is expected to always hold, and this is known in some situations (for example, if every alternating power of \(r_{\pi, l}\) has distinct Hodge-Tate weights). The theorem is actually proved with \(F\) replaced by any CM field. The theorem generalises results of [\textit{Y. Ihara} (ed.) et al., Galois groups over \({\mathbb{Q}}\). Proceedings of a workshop held at the Mathematical Sciences Research Institute, Berkeley, CA (USA), March 23- 27, 1987. New York etc.: Springer-Verlag (1989; Zbl 0684.00005)] and \textit{T. Weston} [Am. J. Math. 126, No. 6, 1237--1252 (2004; Zbl 1071.11027)] for compatible families of Galois representations associated to elliptic curves or modular forms. The method of proof follows the same basic strategy of Weston, although the formulation is somewhat different. A related result is also proved in [\textit{Y. Liu} et al. ``On the Beilinson-Bloch-Kato conjecture for Rankin-Selberg motives, Preprint, \url{arXiv:1912.11942}, appendix E.8].

Recommendations

• Unobstructed Hilbert modular deformation problems
• Unobstructed modular deformation problems
• scientific article; zbMATH DE number 4175077
• Obstruction criteria for modular deformation problems
• On Gouvêa's conjecture in the unobstructed case

Cites work

• A geometric approach to complete reducibility.
• A universal deformation ring with unexpected Krull dimension
• Automorphic lifts of prescribed types
• Automorphy and irreducibility of some \(l\)-adic representations
• Automorphy for some \(l\)-adic lifts of automorphic mod \(l\) Galois representations. II
• Automorphy for some \(l\)-adic lifts of automorphic mod \(l\) Galois representations. With Appendix A, summarizing unpublished work of Russ Mann, and Appendix B by Marie-France Vignéras.
• Complete reducibility and separability.
• Construction de représentations p-adiques
• Construction of automorphic Galois representations. II
• Deformations of Algebraic Schemes
• Deformations of Galois Representations
• Deformations of polarized automorphic Galois representations and adjoint Selmer groups
• Formes modulaires de poids 1
• scientific article; zbMATH DE number 433068 (Why is no real title available?)
• scientific article; zbMATH DE number 3349944 (Why is no real title available?)
• K-types for the tempered components of a p-adic general linear group (With an Appendix by P. Schneider, U. Stuhler: The definition of the tempered category)
• Modularity lifting theorems for Galois representations of unitary type
• Modularity of 2-dimensional Galois representations
• Modularity of certain potentially Barsotti-Tate Galois representations
• On isomorphisms between deformation rings and Hecke rings (with an Appendix by Gebhard Böckle)
• On Serre's reciprocity conjecture for 2-dimensional mod \(p\) representations of \(\text{Gal}(\overline{\mathbb Q}/\mathbb Q)\)
• On the automorphy of l-adic Galois representations with small residual image. With an appendix by Robert Guralnick, Florian Herzig, Richard Taylor and Jack Thorne
• On the infinite fern of Galois representations of unitary type
• On the unobstructedness of the deformation problems of residual modular representations
• Potential automorphy and change of weight
• Residual irreducibility of compatible systems
• Serre's modularity conjecture. II
• Simple Algebras, Base Change, and the Advanced Theory of the Trace Formula. (AM-120)
• The Breuil-Mézard conjecture for potentially Barsotti-Tate representations
• The Breuil-Mézard conjecture when \(l\neq p\)
• Unobstructed Hilbert modular deformation problems
• Unobstructed modular deformation problems
• Éléments de géométrie algébrique. IV: Étude locale des schémas et des morphismes de schémas. (Première partie). Rédigé avec la colloboration de J. Dieudonné

Cited in

(4)

• Density of automorphic points in deformation rings of polarized global Galois representations
• Arithmetic statistics for Galois deformation rings
• Deformation of rigid conjugate self-dual Galois representations
• Cyclic base change of cuspidal automorphic representations over function fields

This page was built for publication: Unobstructedness of Galois deformation rings associated to regular algebraic conjugate self-dual cuspidal automorphic representations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2201801)