×

Indecomposable Soergel bimodules for universal Coxeter groups. With an appendix by Ben Webster. (English) Zbl 1435.20009

Summary: We produce an explicit recursive formula which computes the idempotent projecting to any indecomposable Soergel bimodule for a universal Coxeter system. This gives the exact set of primes for which the positive characteristic analogue of Soergel’s conjecture holds. Along the way, we introduce the multicolored Temperley-Lieb algebra.

MSC:

20C08 Hecke algebras and their representations
17B10 Representations of Lie algebras and Lie superalgebras, algebraic theory (weights)
18N10 2-categories, bicategories, double categories

References:

[1] Beilinson, Alexandre; Bernstein, Joseph, Localisation de \(g\)-modules, C. R. Acad. Sci. Paris S\'er. I Math., 292, 1, 15-18 (1981) · Zbl 0476.14019
[2] Bourbaki, N., \'El\'ements de math\'ematique. Fasc. XXXIV. Groupes et alg\`“ebres de Lie. Chapitre IV: Groupes de Coxeter et syst\`emes de Tits. Chapitre V: Groupes engendr\'”es par des r\'eflexions. Chapitre VI: syst\`“emes de racines, Actualit\'”es Scientifiques et Industrielles, No. 1337, 288 pp. (loose errata) pp. (1968), Hermann, Paris · Zbl 0186.33001
[3] Brylinski, J.-L.; Kashiwara, M., Kazhdan-Lusztig conjecture and holonomic systems, Invent. Math., 64, 3, 387-410 (1981) · Zbl 0473.22009 · doi:10.1007/BF01389272
[4] Du, Jie; Parshall, Brian; Scott, Leonard, Quantum Weyl reciprocity and tilting modules, Comm. Math. Phys., 195, 2, 321-352 (1998) · Zbl 0936.16008 · doi:10.1007/s002200050392
[5] Dyer, Matthew, On some generalisations of the Kazhdan-Lusztig polynomials for “universal” Coxeter systems, J. Algebra, 116, 2, 353-371 (1988) · Zbl 0646.20037 · doi:10.1016/0021-8693(88)90223-2
[6] EDihedral Ben Elias, Dihedral cathedral, Preprint, arXiv:1308.6611.
[7] EQAGS Ben Elias, Quantum algebraic geometric satake, Preprint, arXiv:1403.5570.
[8] Elias, Ben; Lauda, Aaron D., Trace decategorification of the Hecke category, J. Algebra, 449, 615-634 (2016) · Zbl 1368.18003 · doi:10.1016/j.jalgebra.2015.11.028
[9] Elias, Ben; Williamson, Geordie, The Hodge theory of Soergel bimodules, Ann. of Math. (2), 180, 3, 1089-1136 (2014) · Zbl 1326.20005 · doi:10.4007/annals.2014.180.3.6
[10] Elias, Ben; Williamson, Geordie, Soergel calculus, Represent. Theory, 20, 295-374 (2016) · Zbl 1427.20006 · doi:10.1090/ert/481
[11] Fiebig, Peter, The combinatorics of Coxeter categories, Trans. Amer. Math. Soc., 360, 8, 4211-4233 (2008) · Zbl 1160.20032 · doi:10.1090/S0002-9947-08-04376-6
[12] GooWen Frederick M Goodman and Hans Wenzl, Ideals in the Temperley Lieb category, 2002, arXiv:math/0206301.
[13] Humphreys, James E., Reflection groups and Coxeter groups, Cambridge Studies in Advanced Mathematics 29, xii+204 pp. (1990), Cambridge University Press, Cambridge · Zbl 0725.20028 · doi:10.1017/CBO9780511623646
[14] Juteau, Daniel; Mautner, Carl; Williamson, Geordie, Perverse sheaves and modular representation theory. Geometric methods in representation theory. II, S\'emin. Congr. 24, 315-352 (2012), Soc. Math. France, Paris · Zbl 1312.14053
[15] Kazhdan, David; Lusztig, George, Representations of Coxeter groups and Hecke algebras, Invent. Math., 53, 2, 165-184 (1979) · Zbl 0499.20035 · doi:10.1007/BF01390031
[16] Lauda, Aaron D., A categorification of quantum \({\rm sl}(2)\), Adv. Math., 225, 6, 3327-3424 (2010) · Zbl 1219.17012 · doi:10.1016/j.aim.2010.06.003
[17] Lauda, Aaron D., An introduction to diagrammatic algebra and categorified quantum \(\mathfrak{sl}_2\), Bull. Inst. Math. Acad. Sin. (N.S.), 7, 2, 165-270 (2012) · Zbl 1280.81073
[18] LenzingLectureNotes Helmut Lenzing, http://webusers.imj-prg.fr/\textasciitilde bernhard.keller/ictp2006/lecturenotes/lenzing1. pdf.
[19] Libedinsky, Nicolas, Light leaves and Lusztig’s conjecture, Adv. Math., 280, 772-807 (2015) · Zbl 1410.20008 · doi:10.1016/j.aim.2015.04.022
[20] Libedinsky, Nicolas, Sur la cat\'egorie des bimodules de Soergel, J. Algebra, 320, 7, 2675-2694 (2008) · Zbl 1196.20005 · doi:10.1016/j.jalgebra.2008.05.027
[21] Mor Scott Morrison, A formula for the Jones-Wenzl projections, Preprint, available at http://tqft.net/math/JonesWenzlProjections.pdf. · Zbl 1433.17019
[22] Soergel, Wolfgang, The combinatorics of Harish-Chandra bimodules, J. Reine Angew. Math., 429, 49-74 (1992) · Zbl 0745.22014 · doi:10.1515/crll.1992.429.49
[23] Soergel, Wolfgang, On the relation between intersection cohomology and representation theory in positive characteristic, Commutative algebra, homological algebra and representation theory (Catania/Genoa/Rome, 1998), J. Pure Appl. Algebra, 152, 1-3, 311-335 (2000) · Zbl 1101.14302 · doi:10.1016/S0022-4049(99)00138-3
[24] Soergel, Wolfgang, Kazhdan-Lusztig-Polynome und unzerlegbare Bimoduln \"uber Polynomringen, J. Inst. Math. Jussieu, 6, 3, 501-525 (2007) · Zbl 1192.20004 · doi:10.1017/S1474748007000023
[25] Temperley, H. N. V.; Lieb, E. H., Relations between the “percolation” and “colouring” problem and other graph-theoretical problems associated with regular planar lattices: some exact results for the “percolation” problem, Proc. Roy. Soc. London Ser. A, 322, 1549, 251-280 (1971) · Zbl 0211.56703
[26] Wenzl, Hans, On sequences of projections, C. R. Math. Rep. Acad. Sci. Canada, 9, 1, 5-9 (1987) · Zbl 0622.47019
[27] Westbury, B. W., The representation theory of the Temperley-Lieb algebras, Math. Z., 219, 4, 539-565 (1995) · Zbl 0840.16008 · doi:10.1007/BF02572380
[28] Westbury, Bruce W., Invariant tensors and cellular categories, J. Algebra, 321, 11, 3563-3567 (2009) · Zbl 1242.16016 · doi:10.1016/j.jalgebra.2008.07.004
[29] WilCounterexample Geordie Williamson, Schubert calculus and torsion, Preprint, arXiv:1309.5055. · Zbl 1380.20015
[30] Williamson, Geordie, Singular Soergel bimodules, Int. Math. Res. Not. IMRN, 20, 4555-4632 (2011) · Zbl 1236.18009 · doi:10.1093/imrn/rnq263
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.