A local-global compatibility conjecture in the p-adic Langlands programme for GL₂/ Q
This is a very important paper in which the author proposes a local-global compatibility conjecture for the Langlands correspondence for \(\text{GL}_{2}/\mathbb Q\), in a way that incorporates the \(p\)-adic Langlands correspondence, so as to prove that the proposed local-global compatibility conjecture would imply the Fontaine-Mazur conjecture for two dimensional odd representations of \(G_{\mathbb Q}\). In fact the author proves further that his conjecture would imply an overconvergent modularity conjecture (due to Kisin) for trianguline representations. These conjectures also have have consequences towards the construction of multi-variable \(p\)-adic \(L\)-functions attached to families of modular forms. The web of conjectures outlined in this paper has been largely proved thanks to the works of Colmez, Kisin and the author himself. More precisely, Colmez and Kisin in [\textit{P. Colmez}, Astérisque 330, 281--509 (2010; Zbl 1218.11107)] established the \(p\)-adic Langlands correspondence, whereas the author in [\textit{M. Emerton}, ``Local-global compatibility in the \(p\)-adic Langlands programme for \(\text{GL}_{2}/\mathbb Q\), preprint available at \url{http://www.math.uchicago.edu/~emerton/preprints.html}] proved the local-global compatibility conjecture. Note also that Kisin has independently proved most cases of the Fontaine-Mazur conjecture for \(\text{GL}_{2}/\mathbb Q\), using a different method. The author has given an extremely thorough summary of the contents of the paper under review, which the reviewer includes below: From the text: ``In Section 2 we briefly recall the classical Langlands correspondence for \(\text{GL}_{2}/\mathbb Q\) in both the local and global contexts. Given that our ultimate subject is Conjecture 1.1.1, we put a particular emphasis on the realization of the global correspondence in the cohomology of modular curves. Sections 3, 4, 5, and 6 are devoted to discussing various aspects of the local \(p\)-adic Langlands conjecture. In Section 3, after presenting some initial motivation and recalling the notion of admissible unitary Banach space representations of \(\text{GL}_2(\mathbb Q_p)\), we present our conjecture regarding the local \(p\)-adic Langlands correspondence (Conjecture 3.3.1). In Section 4 we introduce the concept of a refinement of a two dimensional \(G_{\mathbb Q_p}\)-representation, and establish some basic properties on the existence and classification of refinements. (For this we rely heavily on the work of \textit{P. Colmez} [``Série principale unitaire pour \(\text{GL}_{2}(\mathbb{Q}_p)\) et représentations triangulines de dimension 2, preprint (2005), available at \url{http://www.math.jussieu.fr/~colmez/publications.html}].) A fundamental point is that a two-dimensional \(G_{\mathbb Q_p}\)-representation admits a refinement if and only if it is trianguline. Furthermore, as we explain, the language of refinements gives a convenient way to express the classification (due to Colmez) of two-dimensional trianguline representations. In Section 5 we recall what little is known about the classification of topologically irreducible admissible unitary \(\text{GL}_{\mathbb Q_p}\)-representations. One basic technique for studying such a representation \(B\) is to pass to the subspace \(B_{\text{an}}\) of locally analytic vectors, which is dense in \(B\), and is a strongly admissible locally analytic \(\text{GL}_{2}/\mathbb Q_p\)-representation. Unfortunately, not much is known about the classification of such representations in general. However, one is much closer to having a classification of those \(B\) for which either \(B_{\text{lalg}}\) (the space of locally algebraic vectors in \(B\)) or \(J_P(\mathbb Q_p)(B_{\text{an}})\) (the Jacquet module of \(B_{\text{an}}\) with respect to the Borel subgroup of upper triangular matrices in \(\text{GL}_{2/\mathbb Q_p}\)) is non-zero, as we explain in some detail. The discussion relies heavily on work of \textit{P. Colmez} [``Une correspondance de Langlands \(p\)-adique pour les représentations semi-stables de dimension 2, preprint (2004), available at \url{http://www.math.jussieu.fr/~colmez/publications.html} and [loc. cit.]] and of the author [``Jacquet modules of locally analytic representations of \(p\)-adic reductive groups. I: Construction and first properties, Ann. Sci. Éc. Norm. Supér. (4) 39, No. 5, 775--839 (2006; Zbl 1117.22008); ``II: The relation to parabolic induction, preprint available at \url{http://www.math.uchicago.edu/~emerton/preprints.html}]. As we remarked above, the local correspondence \(V\mapsto B(V)\) has been defined for most trianguline two dimensional \(G_{\mathbb Q_p}\)-representations \(V\). More precisely, it has been defined for irreducible trianguline \(V\) by \textit{C. Breuil} [Ann. Sci. Éc. Norm. Supér. (4) 37, No. 4, 559--610 (2004; Zbl 1166.11331)] and \textit{P. Colmez} [loc. cit.], and for Frobenius semisimple potentially crystalline reducible \(V\) by \textit{L. Berger} and \textit{C. Breuil} [``Towards a \(p\)-adic Langlands programme, preprint available at \url{http://www.math.u-psud.fr/~breuil/publications.html}] and \textit{C. Breuil} and the author [``Représentations \(p\)-adiques ordinaires de \(\text{GL}_2 (\mathbb Q_p)\) et compatibilité local-global, Astérisque 331, 255--315 (2010; Zbl 1251.11043)]. In Section 6 we recall the definition of the correspondence in these various cases, and also discuss the expected structure of \(B(V)\) in the remaining reducible cases. We discuss the extent to which this explicit correspondence is known to satisfy the conditions of Conjecture 3.3.1. We also state a conjecture on the structure of the space of locally analytic vectors \(B(V)B_{\text{an}}\) in \(B(V)\) (generalizing a conjecture of Breuil in the potentially crystalline case). With our discussion of the local \(p\)-adic Langlands conjecture completed, in Section 7 we return to the subject of Conjecture 1.1.1. We begin by describing in more detail the completions \(\widehat{H}^{-1}(K^p)_E\) and \(\widehat{H}^1_E\) introduced above. After an aside on various notions and results related to systems of Hecke eigenvalues, we discuss the structure of \((\widehat{H}^1_E)_{\text{lalg}}\), and of the Jacquet module \(J_P(\mathbb Q_p)(\widehat{H}^1(K^p)_{E,\text{an}})\). In particular, we state and sketch the proof of Theorem 7.5.8, which establishes the precise relationship between \(J_P(\mathbb Q_p)(\widehat{H}^1(K^p)_{E,\text{an}})\) and the eigensurface of tame level \(K^p\). After another aside, in which we reformulate some of the results of [\textit{M. Kisin}, ``Overconvergent modular forms and the Fontaine-Mazur conjecture, Invent. Math. 153, No. 2, 373--454 (2003; Zbl 1045.11029)] in the language of refinements, we turn to our main topic: the local-global compatibility conjecture. We state the conjecture in various forms, and deduce some of its consequences (perhaps the most interesting of which are the two stated in Proposition 1.1.2). Finally, we state and prove some results (summarized in Theorems 1.1.3 and 1.1.4 above) that provide some small amount of evidence for the conjecture.
- The p-adic Langlands correspondence, the local-global compatibility and applications
- Completed cohomology and \(p\)-adic local Langlands correspondences
- On a problem of local-global compatibility modulo \(p\) for \(\mathrm{GL}_2\) (with an Appendix of Lassina Dembélé)
- Locally analytic vectors of unitary principal series of \(\mathrm{GL}_2(\mathbb Q_p)\)
- Ordinary \(p\)-adic representations of \(\text{GL}_2 (\mathbb Q_p)\) and local-global compatibility
- Weak local-global compatibility and ordinary representations
- Compatibility of Kisin modules for different uniformizers
- Purity for families of Galois representations
- p-adic local Langlands correspondence and weight shifting
- Completed cohomology of Shimura curves and a p-adic Jacquet-Langlands correspondence
- On unitary deformations of smooth modular representations
- p-adic properties of motivic fundamental lines
- On the modularity of 2-adic potentially semi-stable deformation rings
- Density of automorphic points in deformation rings of polarized global Galois representations
- Lubin-Tate theory and overconvergent Hilbert modular forms of low weight
- Equidistribution theorems for holomorphic Siegel modular forms for \(\mathrm{GSp}_4\); Hecke fields and \(n\)-level density
- On the Breuil-Mézard conjecture
- Local Langlands correspondence in rigid families
- Congruences modulo prime powers of Hecke eigenvalues in level 1
- Lattices in the cohomology of Shimura curves
- Towards the Jacquet conjecture on the local converse problem for \(p\)-adic \(\mathrm {GL}_n\)
- Ordinary representations of \(G(\mathbb{Q}_p)\) and fundamental algebraic representations
- Strong local-global compatibility in the \(p\)-adic Langlands program for \(U(2)\)
- A generalization of Kato's local \(\varepsilon\)-conjecture for \((\varphi,\Gamma)\)-modules over the Robba ring
- Universal eigenvarieties, trianguline Galois representations, and \(p\)-adic Langlands functoriality
- On a problem of local-global compatibility modulo \(p\) for \(\mathrm{GL}_2\) (with an Appendix of Lassina Dembélé)
- \(p\)-adic local Langlands correspondence for \(\mathrm{GL}_2 ({\mathbb Q}_p)\)
- Completed cohomology and \(p\)-adic local Langlands correspondences
- A local proof of the Breuil-Mézard conjecture in the scalar semi-simplification case
- Invariant elements for \(p\)-modular representations of \(\mathrm{GL}_2(\mathbb Q_p)\)
- Even Galois representations and the Fontaine-Mazur conjecture. II
- Locally analytic vectors of unitary principal series of \(\mathrm{GL}_2(\mathbb Q_p)\)
- Completed cohomology -- a survey
- Extensions de représentations de de Rham et vecteurs localement algébriques
- Locally algebraic vectors in the Breuil-Herzig ordinary part
- Patching and the p-adic local Langlands correspondence
- Local to global compatibility on the eigencurve
- Locally analytic vectors of some crystabelian representations of \(\mathrm{GL}_{2}(\mathbb Q_p)\)
- Families of Drinfeld modular forms for the general linear group
- On locally analytic vectors of the completed cohomology of modular curves
- Reciprocity laws and Galois representations: recent breakthroughs
- General introduction
- The image of Colmez's Montreal functor
- Infinitesimal actions in the \(p\)-adic local Langlands correspondence
- Computation of potentially Barsotti-Tate deformation rings
- On mod local-global compatibility for in the ordinary case
- On non-abelian Lubin-Tate theory and analytic cohomology
- Patching and the \(p\)-adic Langlands program for \(\mathrm{GL}_{2}(\mathbb{Q}_{p})\)
- The p-adic Langlands correspondence, the local-global compatibility and applications
- Density of crystalline points on unitary Shimura varieties
- Overconvergent modular forms are highest-weight vectors in the Hodge-Tate weight zero part of completed cohomology
- Dilogarithm and higher \(\mathscr{L} \)-invariants for \(\operatorname{GL}_3(\mathbb{Q}_p)\)
- Diagrams in the mod \(p\) cohomology of Shimura curves
- Locally analytic \(\mathrm{Ext}^1\) for \(\mathrm{GL}_2(\mathbb{Q}_p)\) in de Rham non-trianguline case
- The spectral p-adic Jacquet–Langlands correspondence and a question of Serre
- The Fontaine-Mazur conjecture in the residually reducible case
- \(p\)-stabilization in higher dimension
- $p$-adic cohomology of the Drinfeld tower: the 1-dimensional case
- Deformation rings and parabolic induction
- Hecke modules and supersingular representations of U(2,1)
- Paraboline variation over -adic families of -modules
- Completed cohomology and the p-adic Langlands program
- -INVARIANTS AND LOCAL–GLOBAL COMPATIBILITY FOR THE GROUP
- On mod $p$ local-global compatibility for $\mathrm{GL}_n(\mathbb{Q}_p)$ in the ordinary case
- Functoriality, Smith theory, and the Brauer homomorphism
- Local-global compatibility of mod \(p\) Langlands program for certain Shimura varieties
- Compatibility of semisimple local Langlands parameters with parahoric Satake parameters
- On Serre's conjecture for mod Galois representations over totally real fields
- Zeta morphisms for rank two universal deformations
- Correspondance de Langlands locale $p$-adique et anneaux de Kisin
- Geometric level raising and lowering on the eigencurve
- p-adic Rankin-Selberg L-functions in universal deformation families and functional equations
- Moduli of Fontaine-Laffaille representations and a mod-p local-global compatibility result
- The \(p\)-arithmetic homology of mod \(p\) representations of \(\mathrm{GL}_2(\mathbb{Q}_p)\)
- \(p\)-adic Banach space representations of \(\mathrm{SL}_2( \mathbb{Q}_p)\)
- Kato's epsilon conjecture for anticyclotomic CM deformations at inert primes
- On locally analytic vectors of the completed cohomology of modular curves. II.
- Whittaker models and the integral Bernstein center for \(\mathrm{GL}_n\)
- Cohomology of local p-adic systems on coverings of Drinfeld's half-plane
- On automorphy of certain Galois representations of \(\mathrm{GO}_{4}\)-type
This page was built for publication: A local-global compatibility conjecture in the \(p\)-adic Langlands programme for \(\text{GL}_{2}/\mathbb Q\)
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q851470)
