The cohomology of semi-infinite Deligne–Lusztig varieties

Charlotte Chan

doi:10.1515/crelle-2019-0039

Published by De Gruyter January 17, 2020

The cohomology of semi-infinite Deligne–Lusztig varieties

Charlotte Chan

From the journal Journal für die reine und angewandte Mathematik (Crelles Journal)

https://doi.org/10.1515/crelle-2019-0039

Showing a limited preview of this publication:

Abstract

We prove a 1979 conjecture of Lusztig on the cohomology of semi-infinite Deligne–Lusztig varieties attached to division algebras over local fields. We also prove the two conjectures of Boyarchenko on these varieties. It is known that in this setting, the semi-infinite Deligne–Lusztig varieties are ind-schemes comprised of limits of certain finite-type schemes X h . Boyarchenko’s two conjectures are on the maximality of X h and on the behavior of the torus-eigenspaces of their cohomology. Both of these conjectures were known in full generality only for division algebras with Hasse invariant 1 / n in the case h = 2 (the “lowest level”) by the work of Boyarchenko–Weinstein on the cohomology of a special affinoid in the Lubin–Tate tower. We prove that the number of rational points of X h attains its Weil–Deligne bound, so that the cohomology of X h is pure in a very strong sense. We prove that the torus-eigenspaces of the cohomology group H c i ⁢ ( X h ) are irreducible representations and are supported in exactly one cohomological degree. Finally, we give a complete description of the homology groups of the semi-infinite Deligne–Lusztig varieties attached to any division algebra, thus giving a geometric realization of a large class of supercuspidal representations of these groups. Moreover, the correspondence θ ↦ H c i ⁢ ( X h ) ⁢ [ θ ] agrees with local Langlands and Jacquet–Langlands correspondences. The techniques developed in this paper should be useful in studying these constructions for p-adic groups in general.

Funding statement: This work was partially supported by NSF grants DMS-0943832 and DMS-1160720.

Acknowledgements

I would like to thank Bhargav Bhatt for several helpful conversations and Alex Ivanov for helpful comments on an earlier draft. I would also like to thank the anonymous referee for numerous observations and suggestions that have improved this paper.

References

[1] M. Boyarchenko, Characters of unipotent groups over finite fields, Selecta Math. (N.S.) 16 (2010), no. 4, 857–933. 10.1007/s00029-010-0036-9Search in Google Scholar

[2] M. Boyarchenko, Deligne–Lusztig constructions for unipotent and p-adic groups, preprint (2012), https://arxiv.org/abs/1207.5876. Search in Google Scholar

[3] M. Boyarchenko and J. Weinstein, Geometric realization of special cases of local Langlands and Jacquet–Langlands correspondences, preprint (2013), https://arxiv.org/abs/1303.5795. Search in Google Scholar

[4] M. Boyarchenko and J. Weinstein, Maximal varieties and the local Langlands correspondence for GL ⁡ ( n ) , J. Amer. Math. Soc. 29 (2016), no. 1, 177–236. 10.1090/jams826Search in Google Scholar

[5] C. Chan, Deligne–Lusztig constructions for division algebras and the local Langlands correspondence, Adv. Math. 294 (2016), 332–383. 10.1016/j.aim.2016.02.021Search in Google Scholar

[6] C. Chan, Deligne–Lusztig constructions for division algebras and the local Langlands correspondence, II, Selecta Math. (N.S.) 24 (2018), no. 4, 3175–3216. 10.1007/s00029-018-0410-6Search in Google Scholar

[7] C. Chan and A. Ivanov, Affine Deligne–Lusztig varieties at infinite level, preprint (2018), https://arxiv.org/abs/1811.11204. 10.1007/s00208-020-02092-4Search in Google Scholar

[8] P. Deligne, La conjecture de Weil. II, Publ. Math. Inst. Hautes Études Sci. 52 (1980), 137–252. 10.1007/BF02684780Search in Google Scholar

[9] P. Deligne and G. Lusztig, Representations of reductive groups over finite fields, Ann. of Math. (2) 103 (1976), no. 1, 103–161. 10.2307/1971021Search in Google Scholar

[10] F. Digne and J. Michel, Representations of finite groups of Lie type, London Math. Soc. Stud. Texts 21, Cambridge University Press, Cambridge 1991. 10.1017/CBO9781139172417Search in Google Scholar

[11] L. Fargues and J.-M. Fontaine, Courbes et fibrés vectoriels en théorie de Hodge p-adique. With a preface by Pierre Colmez, Astérisque (2018), no. 406. Search in Google Scholar

[12] B. L. Feĭgin and E. V. Frenkel, Affine Kac–Moody algebras and semi-infinite flag manifolds, Comm. Math. Phys. 128 (1990), no. 1, 161–189. 10.1007/BF02097051Search in Google Scholar

[13] G. Henniart, Correspondance de Langlands–Kazhdan explicite dans le cas non ramifié, Math. Nachr. 158 (1992), 7–26. 10.1002/mana.19921580102Search in Google Scholar

[14] G. Henniart, Correspondance de Jacquet–Langlands explicite. I. Le cas modéré de degré premier, Séminaire de Théorie des Nombres, Paris, 1990–91, Progr. Math. 108, Birkhäuser, Boston (1993), 85–114. 10.1007/978-1-4757-4271-8_6Search in Google Scholar

[15] R. E. Howe, Tamely ramified supercuspidal representations of Gl n , Pacific J. Math. 73 (1977), no. 2, 437–460. 10.2140/pjm.1977.73.437Search in Google Scholar

[16] A. B. Ivanov, Affine Deligne–Lusztig varieties of higher level and the local Langlands correspondence for GL 2 , Adv. Math. 299 (2016), 640–686. 10.1016/j.aim.2016.05.019Search in Google Scholar

[17] N. M. Katz, L-functions and monodromy: Four lectures on Weil II, Adv. Math. 160 (2001), no. 1, 81–132. 10.1006/aima.2000.1979Search in Google Scholar

[18] R. P. Langlands and D. Shelstad, On the definition of transfer factors, Math. Ann. 278 (1987), no. 1–4, 219–271. 10.1007/BF01458070Search in Google Scholar

[19] G. Lusztig, Some remarks on the supercuspidal representations of p-adic semisimple groups, Automorphic forms, representations and L-functions (Corvallis 1977). Part 1, Proc. Sympos. Pure Math. 33, American Mathematical Society, Providence (1979), 171–175. 10.1090/pspum/033.1/546595Search in Google Scholar

[20] G. Lusztig, Representations of reductive groups over finite rings, Represent. Theory 8 (2004), 1–14. 10.1090/S1088-4165-04-00232-8Search in Google Scholar

[21] A. Stasinski, Unramified representations of reductive groups over finite rings, Represent. Theory 13 (2009), 636–656. 10.1090/S1088-4165-09-00350-1Search in Google Scholar

Received: 2018-09-05

Revised: 2019-09-10

Published Online: 2020-01-17

Published in Print: 2020-11-01

The cohomology of semi-infinite Deligne–Lusztig varieties

Abstract

Acknowledgements

References

Journal and Issue

Articles in the same Issue