Dilogarithm and higher $\mathscr {L}$-invariants for $\mathrm {GL}_3(\mathbf {Q}_p)$
Author:
Zicheng Qian
Journal:
Represent. Theory 25 (2021), 344-411
MSC (2020):
Primary 11F80, 11F33
DOI:
https://doi.org/10.1090/ert/567
Published electronically:
May 3, 2021
MathSciNet review:
4252054
Full-text PDF Free Access
Abstract | References | Similar Articles | Additional Information
Abstract: The primary purpose of this paper is to clarify the relation between previous results in [Ann. Sci. Éc. Norm. Supér. 44 (2011), pp. 43–145], [Amer. J. Math. 141 (2019), pp. 661–703], and [Camb. J. Math. 8 (2020), p. 775–951] via the construction of some interesting locally analytic representations. Let $E$ be a sufficiently large finite extension of $\mathbf {Q}_p$ and $\rho _p$ be a $p$-adic semi-stable representation $\mathrm {Gal}(\overline {\mathbf {Q}_p}/\mathbf {Q}_p)\rightarrow \mathrm {GL}_3(E)$ such that the associated Weil–Deligne representation $\mathrm {WD}(\rho _p)$ has rank two monodromy and the associated Hodge filtration is non-critical. A computation of extensions of rank one $(\varphi , \Gamma )$-modules shows that the Hodge filtration of $\rho _p$ depends on three invariants in $E$. We construct a family of locally analytic representations $\Sigma ^{\mathrm {min}}(\lambda , \mathscr {L}_1, \mathscr {L}_2, \mathscr {L}_3)$ of $\mathrm {GL}_3(\mathbf {Q}_p)$ depending on three invariants $\mathscr {L}_1, \mathscr {L}_2, \mathscr {L}_3 \in E$, such that each representation in the family contains the locally algebraic representation $\mathrm {Alg}\otimes \mathrm {Steinberg}$ determined by $\mathrm {WD}(\rho _p)$ (via classical local Langlands correspondence for $\mathrm {GL}_3(\mathbf {Q}_p)$) and the Hodge–Tate weights of $\rho _p$. When $\rho _p$ comes from an automorphic representation $\pi$ of a unitary group over $\mathbf {Q}$ which is compact at infinity, we show (under some technical assumption) that there is a unique locally analytic representation in the above family that occurs as a subrepresentation of the Hecke eigenspace (associated with $\pi$) in the completed cohomology. We note that [Amer. J. Math. 141 (2019), pp. 611–703] constructs a family of locally analytic representations depending on four invariants ( cf. (4) in that publication ) and proves that there is a unique representation in this family that embeds into the Hecke eigenspace above. We prove that if a representation $\Pi$ in Breuil’s family embeds into the Hecke eigenspace above, the embedding of $\Pi$ extends uniquely to an embedding of a $\Sigma ^{\mathrm {min}}(\lambda , \mathscr {L}_1, \mathscr {L}_2, \mathscr {L}_3)$ into the Hecke eigenspace, for certain $\mathscr {L}_1, \mathscr {L}_2, \mathscr {L}_3\in E$ uniquely determined by $\Pi$. This gives a purely representation theoretical necessary condition for $\Pi$ to embed into completed cohomology. Moreover, certain natural subquotients of $\Sigma ^{\mathrm {min}}(\lambda , \mathscr {L}_1, \mathscr {L}_2, \mathscr {L}_3)$ give an explicit complex of locally analytic representations that realizes the derived object $\Sigma (\lambda , \underline {\mathscr {L}})$ in (1.14) of [Ann. Sci. Éc. Norm. Supér. 44 (2011), pp. 43–145]. Consequently, the locally analytic representation $\Sigma ^{\mathrm {min}}(\lambda , \mathscr {L}_1, \mathscr {L}_2, \mathscr {L}_3)$ gives a relation between the higher $\mathscr {L}$-invariants studied in [Amer. J. Math. 141 (2019), pp. 611–703] as well as the work of Breuil and Ding and the $p$-adic dilogarithm function which appears in the construction of $\Sigma (\lambda , \underline {\mathscr {L}})$ in [Ann. Sci. Éc. Norm. Supér. 44 (2011), pp. 43–145].
- Christophe Breuil, Invariant $\scr L$ et série spéciale $p$-adique, Ann. Sci. École Norm. Sup. (4) 37 (2004), no. 4, 559–610 (French, with English and French summaries). MR 2097893, DOI https://doi.org/10.1016/j.ansens.2004.02.001
- Christophe Breuil, Socle localement analytique I, Ann. Inst. Fourier (Grenoble) 66 (2016), no. 2, 633–685 (French, with English and French summaries). MR 3477886
- Christophe Breuil, $\rm Ext^1$ localement analytique et compatibilité local-global, Amer. J. Math. 141 (2019), no. 3, 611–703 (French, with French summary). MR 3956517, DOI https://doi.org/10.1353/ajm.2019.0020
- Christophe Breuil and Yiwen Ding, Higher $\mathcal L$-invariants for ${\rm GL}_3(\Bbb Q_p)$ and local-global compatibility, Camb. J. Math. 8 (2020), no. 4, 775–951. MR 4220371
- Christophe Breuil and Florian Herzig, Towards the finite slope part for ${\rm GL}_n$, Int. Math. Res. Not. IMRN 24 (2020), 10495–10552. MR 4190408, DOI https://doi.org/10.1093/imrn/rnz053
- Thomas Barnet-Lamb, Toby Gee, David Geraghty, and Richard Taylor, Local-global compatibility for $l=p$, II, Ann. Sci. Éc. Norm. Supér. (4) 47 (2014), no. 1, 165–179 (English, with English and French summaries). MR 3205603, DOI https://doi.org/10.24033/asens.2212
- Ana Caraiani, Monodromy and local-global compatibility for $l=p$, Algebra Number Theory 8 (2014), no. 7, 1597–1646. MR 3272276, DOI https://doi.org/10.2140/ant.2014.8.1597
- Robert F. Coleman, Dilogarithms, regulators and $p$-adic $L$-functions, Invent. Math. 69 (1982), no. 2, 171–208. MR 674400, DOI https://doi.org/10.1007/BF01399500
- Pierre Colmez, Représentations de ${\rm GL}_2(\mathbf Q_p)$ et $(\phi ,\Gamma )$-modules, Astérisque 330 (2010), 281–509 (French, with English and French summaries). MR 2642409
- Yiwen Ding, Simple ${\mathcal L}$-invariants for ${\rm GL}_n$, Trans. Amer. Math. Soc. 372 (2019), no. 11, 7993–8042. MR 4029688, DOI https://doi.org/10.1090/tran/7859
- Matthew Emerton, Jacquet modules of locally analytic representations of $p$-adic reductive groups. I. Construction and first properties, Ann. Sci. École Norm. Sup. (4) 39 (2006), no. 5, 775–839 (English, with English and French summaries). MR 2292633, DOI https://doi.org/10.1016/j.ansens.2006.08.001
- Matthew Emerton, A local-global compatibility conjecture in the $p$-adic Langlands programme for ${\rm GL}_{2/{\Bbb Q}}$, Pure Appl. Math. Q. 2 (2006), no. 2, Special Issue: In honor of John H. Coates., 279–393. MR 2251474, DOI https://doi.org/10.4310/PAMQ.2006.v2.n2.a1
- James E. Humphreys, Representations of semisimple Lie algebras in the BGG category $\scr {O}$, Graduate Studies in Mathematics, vol. 94, American Mathematical Society, Providence, RI, 2008. MR 2428237
- Jan Kohlhaase, Invariant distributions on $p$-adic analytic groups, Duke Math. J. 137 (2007), no. 1, 19–62. MR 2309143, DOI https://doi.org/10.1215/S0012-7094-07-13712-8
- Jan Kohlhaase, The cohomology of locally analytic representations, J. Reine Angew. Math. 651 (2011), 187–240. MR 2774315, DOI https://doi.org/10.1515/CRELLE.2011.013
- Sascha Orlik, On extensions of generalized Steinberg representations, J. Algebra 293 (2005), no. 2, 611–630. MR 2173717, DOI https://doi.org/10.1016/j.jalgebra.2005.03.028
- Sascha Orlik and Matthias Strauch, On Jordan-Hölder series of some locally analytic representations, J. Amer. Math. Soc. 28 (2015), no. 1, 99–157. MR 3264764, DOI https://doi.org/10.1090/S0894-0347-2014-00803-1
- Sascha Orlik and Benjamin Schraen, The Jordan-Hölder series of the locally analytic Steinberg representation, Doc. Math. 19 (2014), 647–671. MR 3247798
- P. Schneider and J. Teitelbaum, Banach space representations and Iwasawa theory, Israel J. Math. 127 (2002), 359–380. MR 1900706, DOI https://doi.org/10.1007/BF02784538
- Peter Schneider and Jeremy Teitelbaum, Algebras of $p$-adic distributions and admissible representations, Invent. Math. 153 (2003), no. 1, 145–196. MR 1990669, DOI https://doi.org/10.1007/s00222-002-0284-1
- Peter Schneider and Jeremy Teitelbaum, Duality for admissible locally analytic representations, Represent. Theory 9 (2005), 297–326. MR 2133762, DOI https://doi.org/10.1090/S1088-4165-05-00277-3
- Benjamin Schraen, Représentations localement analytiques de ${\rm GL}_3(\Bbb Q_p)$, Ann. Sci. Éc. Norm. Supér. (4) 44 (2011), no. 1, 43–145 (French, with English and French summaries). MR 2760195, DOI https://doi.org/10.24033/asens.2140
- Charles A. Weibel, An introduction to homological algebra, Cambridge Studies in Advanced Mathematics, vol. 38, Cambridge University Press, Cambridge, 1994. MR 1269324
Retrieve articles in Representation Theory of the American Mathematical Society with MSC (2020): 11F80, 11F33
Retrieve articles in all journals with MSC (2020): 11F80, 11F33
Additional Information
Zicheng Qian
Affiliation:
Département de Mathématiques Batiment 425, Faculté des Sciences d’Orsay Université Paris-Sud, 91405 Orsay, France
Address at time of publication:
Department of Mathematics, University of Toronto, 40 St. George St., Room 6290, Toronto, ON, M5S 2E4
ORCID:
0000-0002-1603-4761
Email:
zqian@math.toronto.edu
Received by editor(s):
March 16, 2019
Received by editor(s) in revised form:
December 21, 2020
Published electronically:
May 3, 2021
Article copyright:
© Copyright 2021
American Mathematical Society