## Dilogarithm and higher $\mathscr {L}$-invariants for $\mathrm {GL}_3(\mathbf {Q}_p)$

HTML articles powered by AMS MathViewer

- by Zicheng Qian
- Represent. Theory
**25**(2021), 344-411 - DOI: https://doi.org/10.1090/ert/567
- Published electronically: May 3, 2021
- PDF | Request permission

## 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].## References

- 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 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**, DOI 10.5802/aif.3021 - 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 10.1353/ajm.2019.0020 - Christophe Breuil and Yiwen Ding,
*Higher $\mathcal L$-invariants for $\textrm {GL}_3(\Bbb Q_p)$ and local-global compatibility*, Camb. J. Math.**8**(2020), no. 4, 775–951. MR**4220371**, DOI 10.4310/CJM.2020.v8.n4.a2 - Christophe Breuil and Florian Herzig,
*Towards the finite slope part for $\textrm {GL}_n$*, Int. Math. Res. Not. IMRN**24**(2020), 10495–10552. MR**4190408**, DOI 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 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 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 10.1007/BF01399500 - Pierre Colmez,
*Représentations de $\textrm {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 $\textrm {GL}_n$*, Trans. Amer. Math. Soc.**372**(2019), no. 11, 7993–8042. MR**4029688**, DOI 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 10.1016/j.ansens.2006.08.001 - Matthew Emerton,
*A local-global compatibility conjecture in the $p$-adic Langlands programme for $\textrm {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 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**, DOI 10.1090/gsm/094 - Jan Kohlhaase,
*Invariant distributions on $p$-adic analytic groups*, Duke Math. J.**137**(2007), no. 1, 19–62. MR**2309143**, DOI 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 10.1515/CRELLE.2011.013 - Sascha Orlik,
*On extensions of generalized Steinberg representations*, J. Algebra**293**(2005), no. 2, 611–630. MR**2173717**, DOI 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 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 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 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 10.1090/S1088-4165-05-00277-3 - Benjamin Schraen,
*Représentations localement analytiques de $\textrm {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 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**, DOI 10.1017/CBO9781139644136

## Bibliographic 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
- © Copyright 2021 American Mathematical Society
- Journal: Represent. Theory
**25**(2021), 344-411 - MSC (2020): Primary 11F80, 11F33
- DOI: https://doi.org/10.1090/ert/567
- MathSciNet review: 4252054