Mixed Perverse Sheaves on Flag Varieties for Coxeter Groups

Achar, Pramod N. ; Riche, Simon ; Vay, Cristian

Canadian journal of mathematics, Tome 72 (2020) no. 1, pp. 1-55

Résumé

In this paper we construct an abelian category of mixed perverse sheaves attached to any realization of a Coxeter group, in terms of the associated Elias–Williamson diagrammatic category. This construction extends previous work of the first two authors, where we worked with parity complexes instead of diagrams, and we extend most of the properties known in this case to the general setting. As an application we prove that the split Grothendieck group of the Elias–Williamson diagrammatic category is isomorphic to the corresponding Hecke algebra, for any choice of realization.

Détail

DOI : 10.4153/CJM-2018-034-0

Mots-clés : perverse sheaf, flag variety, Coxeter group

Bibliographie

[Ab] Abe, N., The category  for a general Coxeter system. J. Algebra (2012), 1–25. . Google Scholar | DOI

[AMRW1] Achar, P., Makisumi, S., Williamson, G., and Riche, S., Free-monodromic mixed tilting sheaves on flag varieties. arxiv:1703.05843. Google Scholar

[AMRW2] Achar, P., Makisumi, S., Riche, S., and Williamson, G., Koszul duality for Kac–Moody groups and characters of tilting modules . J. Amer. Math. Soc. 32(2019), 261–310. . Google Scholar | DOI

[AR1] Achar, P. and Riche, S., Modular perverse sheaves on flag varieties II: Koszul duality and formality . Duke Math. J. 165(2016), 161–215. . Google Scholar | DOI

[AR2] Achar, P. and Riche, S., Reductive groups, the loop Grassmannian, and the Springer resolution . Invent. Math. 214(2018), 289–436. . Google Scholar | DOI

[ARd1] Achar, P. and Rider, L., Parity sheaves on the affine Grassmannian and the Mirković–Vilonen conjecture . Acta Math. 215(2015), 183–216. . Google Scholar | DOI

[ARd2] Achar, P. and Rider, L., The affine Grassmannian and the Springer resolution in positive characteristic . Compos. Math. 152(2016), 2627–2677. . Google Scholar | DOI

[BBD] Beĭlinson, A., Bernstein, J., and Deligne, P., Faisceaux pervers. In: Analyse et topologie sur les espaces singuliers, I. Astérisque (1982), 5–171. Google Scholar

[BGS] Beĭlinson, A., Ginzburg, V., and Soergel, W., Koszul duality patterns in representation theory . J. Amer. Math. Soc. 9(1996), 473–527. . Google Scholar | DOI

[BBM] Beĭlinson, A., Bezrukavnikov, R., and Mirković, I., Tilting exercises . Mosc. Math. J. 4(2004), 547–557, 782. Google Scholar

[BM] Buch, A. and Mihalcea, L., Curve neighborhoods of Schubert varieties . J. Differential Geom. 99(2015), 255–283. . Google Scholar | DOI

[EW1] Elias, B. and Williamson, G., The Hodge theory of Soergel bimodules . Ann. of Math. (2) 180(2014), 1089–1136. . Google Scholar | DOI

[EW2] Elias, B. and Williamson, G., Soergel calculus . Represent. Theory 20(2016), 295–374. . Google Scholar | DOI

[Fi] Fiebig, P., The combinatorics of Coxeter categories . Trans. Amer. Math. Soc. 360(2008), 4211–4233. . Google Scholar | DOI

[Hu] Humphreys, J. E., Representations of semisimple Lie algebras in the BGG category . Graduate Studies in Mathematics, 94. American Mathematical Society, Providence, RI, 2008. . Google Scholar | DOI

[JW] Jensen, L. T. and Williamson, G., The -canonical basis for Hecke algebras. In: Categorification and higher representation theory. Contemp. Math., 683. American Mathematical Society, Providence, RI, 2017, pp. 333–361. Google Scholar

[JMW] Juteau, D., Mautner, C., and Williamson, G., Parity sheaves . J. Amer. Math. Soc. 27(2014), 1169–1212. . Google Scholar | DOI

[KS] Kashiwara, M. and Schapira, P., Sheaves on manifolds . Grundlehren der Mathematischen Wissenschaften, 292. Springer-Verlag, Berlin, 1990. . Google Scholar | DOI

[KL1] Kazhdan, D. and Lusztig, G., Representations of Coxeter groups and Hecke algebras . Invent. Math. 53(1979), 165–184. . Google Scholar | DOI

[KL2] Kazhdan, D. and Lusztig, G., Schubert varieties and Poincaré duality. In: Geometry of the Laplace operator. Proc. Sympos. Pure Math., XXXVI. American Mathematical Society, Providence, RI, 1980, pp. 185–203. Google Scholar

[Kr] Krause, H., Localization theory for triangulated categories. In: Triangulated categories. London Math. Soc. Lecture Note Ser., 375. Cambridge University Press, 2010, pp. 161–235. . Google Scholar | DOI

[Ku] Kumar, S., Kac–Moody groups, their flag varieties and representation theory. Progress in Mathematics, 204. Birkhäuser Boston, Boston, MA, 2002. . Google Scholar | DOI

[LC] Le, J. and Chen, X.-W., Karoubianness of a triangulated category . J. Algebra 310(2007), 452–457. . Google Scholar | DOI

[Li] Libedinsky, N., Light leaves and Lusztig’s conjecture . Adv. Math. 280(2015), 772–807. . Google Scholar | DOI

[LW] Libedinsky, N. and Williamson, G., Standard objects in 2-braid groups . Proc. Lond. Math. Soc. (3) 109(2014), 1264–1280. . Google Scholar | DOI

[Ma] Matsumura, H., Commutative ring theory . Cambridge Studies in Advanced Mathematics, 8. Cambridge University Press, 1986. Google Scholar

[MaR] Mautner, C. and Riche, S., Exotic tilting sheaves, parity sheaves on affine Grassmannians, and the Mirković–Vilonen conjecture . J. Eur. Math. Soc. 20(2018), 2259–2332. . Google Scholar | DOI

[Mak] Makisumi, S., Mixed modular perverse sheaves on moment graphs. arxiv:1703.01571. Google Scholar

[MR] Mirković, I. and Riche, S., Linear Koszul duality II: coherent sheaves on perfect sheaves . J. London Math. Soc. 93(2016), 1–24. . Google Scholar | DOI

[N] Neeman, A., Triangulated categories . Annals of Mathematics Studies, 148. Princeton University Press, Princeton, NJ, 2001. . Google Scholar | DOI

[R1] Riche, S., Geometric representation theory in positive characteristic. Habilitation thesis, https://tel.archives-ouvertes.fr/tel-01431526. Google Scholar

[R2] Riche, S., La théorie de Hodge des bimodules de Soergel. Séminaire Bourbaki, Exp. 1139, arxiv:1711.02464. Google Scholar

[RW] Riche, S. and Williamson, G., Tilting modules and the p-canonical basis . Astérisque 2018, no. 397. Google Scholar

[Ros] Rose, D., A note on the Grothendieck group of an additive category . Vestn. Chelyab. Gos. Univ. Mat. Mekh. Inform. 2015, no. 3 (17), 135–139. Google Scholar

[Rou] Rouquier, R., Categorification of and braid groups. In: Trends in representation theory of algebras and related topics. Contemp. Math., 406. American Mathematical Society, Providence, RI, 2006, pp. 137–167. . Google Scholar | DOI

[So1] Soergel, W., Gradings on representation categories. In: Proceedings of the International Congress of Mathematicians, 2. Birkhäuser, Basel, 1995, pp. 800–806. Google Scholar

[So2] Soergel, W., Kazhdan–Lusztig polynomials and a combinatoric[s] for tilting modules . Represent. Theory 1(1997), 83–114. . Google Scholar | DOI

[So3] Soergel, W., Kazhdan–Lusztig-Polynome und unzerlegbare Bimoduln über Polynomringen . J. Inst. Math. Jussieu 6(2007), 501–525. . Google Scholar | DOI

[Sp] Springer, T. A., Quelques applications de la cohomologie d’intersection. In: Astérisque (1982), no. 92–93, Exp. 589, 249–273. Google Scholar

[Th] Thomason, R. W., The classification of triangulated subcategories . Compositio Math. 105(1997), 1–27. . Google Scholar | DOI

[Ti] Tits, J., Groupes associés aux algèbres de Kac–Moody. In: Astérisque (1989), no. 177–178 Exp. 700, 7–31. Google Scholar

[W] Williamson, G., Singular Soergel bimodules . Int. Math. Res. Not. IMRN 2011, no. 20, 4555–4632. . Google Scholar | DOI