The Hodge theory of Soergel bimodules

Ben Elias; Geordie Williamson

doi:https://doi.org/10.4007/annals.2014.180.3.6

Abstract

We prove Soergel’s conjecture on the characters of indecomposable
Soergel bimodules. We deduce that Kazhdan-Lusztig polynomials have positive coefficients for arbitrary Coxeter systems. Using results of Soergel one may deduce an algebraic proof of the Kazhdan-Lusztig conjecture.

Show/hide bibliography for this article

[KL1] $Go to document$ D. Kazhdan and G. Lusztig, "Representations of Coxeter groups and Hecke algebras," Invent. Math., vol. 53, iss. 2, pp. 165-184, 1979.

Show bibtex

@article{KL1, author = {Kazhdan, David and Lusztig, George}, journal = {Invent. Math.}, number = {2}, pages = {165--184}, title = {Representations of {C}oxeter groups and {H}ecke algebras}, volume = {53}, year = {1979}, doi = {10.1007/BF01390031}, issn = {0020-9910}, }
[KL2] D. Kazhdan and G. Lusztig, "Schubert varieties and Poincaré duality," in Geometry of the Laplace Operator, Providence, R.I.: Amer. Math. Soc., 1980, vol. XXXVI, pp. 185-203.

Show bibtex

@incollection{KL2, address = {Providence, R.I.}, author = {Kazhdan, David and Lusztig, George}, booktitle = {Geometry of the {L}aplace Operator}, pages = {185--203}, publisher = {Amer. Math. Soc.}, series = {Proc. Sympos. Pure Math.}, title = {Schubert varieties and {P}oincaré duality}, volume = {XXXVI}, year = {1980}, }
[BB] A. Beuilinson and J. Bernstein, "Localisation de $g$-modules," C. R. Acad. Sci. Paris Sér. I Math., vol. 292, iss. 1, pp. 15-18, 1981.

Show bibtex

@article{BB, author = {Be{\u\i}linson, Alexandre and Bernstein, Joseph}, journal = {C. R. Acad. Sci. Paris Sér. I Math.}, number = {1}, pages = {15--18}, title = {Localisation de {$g$}-modules}, volume = {292}, year = {1981}, issn = {0151-0509}, }
[BK] $Go to document$ J. -L. Brylinski and M. Kashiwara, "Kazhdan-Lusztig conjecture and holonomic systems," Invent. Math., vol. 64, iss. 3, pp. 387-410, 1981.

Show bibtex

@article{BK, author = {Brylinski, J.-L. and Kashiwara, M.}, journal = {Invent. Math.}, number = {3}, pages = {387--410}, title = {Kazhdan-{L}usztig conjecture and holonomic systems}, volume = {64}, year = {1981}, doi = {10.1007/BF01389272}, issn = {0020-9910}, }
[S1] $Go to document$ W. Soergel, "Kategorie $\mathcal O$, perverse Garben und Moduln über den Koinvarianten zur Weylgruppe," J. Amer. Math. Soc., vol. 3, iss. 2, pp. 421-445, 1990.

Show bibtex

@article{S1, author = {Soergel, Wolfgang}, journal = {J. Amer. Math. Soc.}, number = {2}, pages = {421--445}, title = {Kategorie {$\mathcal O$}, perverse {G}arben und {M}oduln über den {K}oinvarianten zur {W}eylgruppe}, volume = {3}, year = {1990}, doi = {10.2307/1990960}, issn = {0894-0347}, }
[S2] $Go to document$ W. Soergel, "The combinatorics of Harish-Chandra bimodules," J. Reine Angew. Math., vol. 429, pp. 49-74, 1992.

Show bibtex

@article{S2, author = {Soergel, Wolfgang}, journal = {J. Reine Angew. Math.}, pages = {49--74}, title = {The combinatorics of {H}arish-{C}handra bimodules}, volume = {429}, year = {1992}, doi = {10.1515/crll.1992.429.49}, issn = {0075-4102}, }
[BBD] A. A. Beuilinson, J. Bernstein, and P. Deligne, "Faisceaux pervers," in Analysis and Topology on Singular Spaces, I, Paris: Soc. Math. France, 1982, vol. 100, pp. 5-171.

Show bibtex

@incollection{BBD, address = {Paris}, author = {Be{\u\i}linson, A. A. and Bernstein, J. and Deligne, P.}, booktitle = {Analysis and Topology on Singular Spaces, {I}}, pages = {5--171}, publisher = {Soc. Math. France}, series = {Astérisque}, title = {Faisceaux pervers}, volume = {100}, year = {1982}, }
[Ha] M. Härterich, Kazhdan-Lusztig-Basen, unzerlegbare Bimoduln und die Topologie der Fahnenmannigfaltigkeit einer Kac-Moody-Gruppe, 1999.

Show bibtex

@misc{Ha, author = {H{ä}rterich, M.}, note = {Ph.D. thesis, Albert-Ludwigs-Universität Freiburg}, title = {Kazhdan-{L}usztig-{B}asen, unzerlegbare {B}imoduln und die {T}opologie der {F}ahnenmannigfaltigkeit einer {K}ac-{M}oody-{G}ruppe}, year = {1999}, }
[S3] $Go to document$ W. Soergel, "Kazhdan-Lusztig-Polynome und unzerlegbare Bimoduln über Polynomringen," J. Inst. Math. Jussieu, vol. 6, iss. 3, pp. 501-525, 2007.

Show bibtex

@article{S3, author = {Soergel, Wolfgang}, journal = {J. Inst. Math. Jussieu}, number = {3}, pages = {501--525}, title = {Kazhdan-{L}usztig-{P}olynome und unzerlegbare {B}imoduln über {P}olynomringen}, volume = {6}, year = {2007}, doi = {10.1017/S1474748007000023}, issn = {1474-7480}, }
[Funiv] $Go to document$ P. Fiebig, "The combinatorics of Coxeter categories," Trans. Amer. Math. Soc., vol. 360, iss. 8, pp. 4211-4233, 2008.

Show bibtex

@article{Funiv, author = {Fiebig, Peter}, journal = {Trans. Amer. Math. Soc.}, number = {8}, pages = {4211--4233}, title = {The combinatorics of {C}oxeter categories}, volume = {360}, year = {2008}, doi = {10.1090/S0002-9947-08-04376-6}, issn = {0002-9947}, }
[dCM1] $Go to document$ M. A. A. de Cataldo and L. Migliorini, "The hard Lefschetz theorem and the topology of semismall maps," Ann. Sci. École Norm. Sup., vol. 35, iss. 5, pp. 759-772, 2002.

Show bibtex

@article{dCM1, author = {de Cataldo, Mark Andrea A. and Migliorini, Luca}, journal = {Ann. Sci. École Norm. Sup.}, number = {5}, pages = {759--772}, title = {The hard {L}efschetz theorem and the topology of semismall maps}, volume = {35}, year = {2002}, doi = {10.1016/S0012-9593(02)01108-4}, issn = {0012-9593}, }
[dCM2] $Go to document$ M. A. A. de Cataldo and L. Migliorini, "The Hodge theory of algebraic maps," Ann. Sci. École Norm. Sup., vol. 38, iss. 5, pp. 693-750, 2005.

Show bibtex

@article{dCM2, author = {de Cataldo, Mark Andrea A. and Migliorini, Luca}, journal = {Ann. Sci. École Norm. Sup.}, number = {5}, pages = {693--750}, title = {The {H}odge theory of algebraic maps}, volume = {38}, year = {2005}, doi = {10.1016/j.ansens.2005.07.001}, issn = {0012-9593}, }
[S4] $Go to document$ W. Soergel, "Andersen filtration and hard Lefschetz," Geom. Funct. Anal., vol. 17, iss. 6, pp. 2066-2089, 2008.

Show bibtex

@article{S4, author = {Soergel, Wolfgang}, journal = {Geom. Funct. Anal.}, number = {6}, pages = {2066--2089}, title = {Andersen filtration and hard {L}efschetz}, volume = {17}, year = {2008}, doi = {10.1007/s00039-007-0640-9}, issn = {1016-443X}, }
[AJS] H. H. Andersen, J. C. Jantzen, and W. Soergel, Representations of Quantum Groups at a $p$th Root of Unity and of Semisimple Groups in Characteristic $p$: Independence of $p$, Paris: Soc. Math. France, 1994, vol. 220.

Show bibtex

@book{AJS, address = {Paris}, author = {Andersen, H. H. and Jantzen, J. C. and Soergel, W.}, pages = {321}, publisher = {Soc. Math. France}, series = {Astérisque}, title = {Representations of Quantum Groups at a {$p$}th Root of Unity and of Semisimple Groups in Characteristic {$p$}: Independence of {$p$}}, volume = {220}, year = {1994}, issn = {0303-1179}, }
[F1] $Go to document$ P. Fiebig, "The combinatorics of category $\mathcal O$ over symmetrizable Kac-Moody algebras," Transform. Groups, vol. 11, iss. 1, pp. 29-49, 2006.

Show bibtex

@article{F1, author = {Fiebig, Peter}, journal = {Transform. Groups}, number = {1}, pages = {29--49}, title = {The combinatorics of category {$\mathcal O$} over symmetrizable {K}ac-{M}oody algebras}, volume = {11}, year = {2006}, doi = {10.1007/s00031-005-1103-8}, issn = {1083-4362}, }
[F2] $Go to document$ P. Fiebig, "Sheaves on affine Schubert varieties, modular representations, and Lusztig’s conjecture," J. Amer. Math. Soc., vol. 24, iss. 1, pp. 133-181, 2011.

Show bibtex

@article{F2, author = {Fiebig, Peter}, journal = {J. Amer. Math. Soc.}, number = {1}, pages = {133--181}, title = {Sheaves on affine {S}chubert varieties, modular representations, and {L}usztig's conjecture}, volume = {24}, year = {2011}, doi = {10.1090/S0894-0347-2010-00679-0}, issn = {0894-0347}, }
[BL] $Go to document$ P. Bressler and V. A. Lunts, "Intersection cohomology on nonrational polytopes," Compositio Math., vol. 135, iss. 3, pp. 245-278, 2003.

Show bibtex

@article{BL, author = {Bressler, Paul and Lunts, Valery A.}, journal = {Compositio Math.}, number = {3}, pages = {245--278}, title = {Intersection cohomology on nonrational polytopes}, volume = {135}, year = {2003}, doi = {10.1023/A:1022232232018}, issn = {0010-437X}, }
[K] $Go to document$ K. Karu, "Hard Lefschetz theorem for nonrational polytopes," Invent. Math., vol. 157, iss. 2, pp. 419-447, 2004.

Show bibtex

@article{K, author = {Karu, Kalle}, journal = {Invent. Math.}, number = {2}, pages = {419--447}, title = {Hard {L}efschetz theorem for nonrational polytopes}, volume = {157}, year = {2004}, doi = {10.1007/s00222-004-0358-3}, issn = {0020-9910}, }
[BBFK] $Go to document$ G. Barthel, L. Kaup, J. -P. Brasselet, and K. Fieseler, "Hodge-Riemann relations for polytopes: a geometric approach," in Singularity Theory, Hackensack, NJ: World Sci. Publ., 2007, pp. 379-410.

Show bibtex

@incollection{BBFK, address = {Hackensack, NJ}, author = {Barthel, Gottfried and Kaup, Ludger and Brasselet, J.-P. and Fieseler, Karl-Heinz}, booktitle = {Singularity Theory}, pages = {379--410}, publisher = {World Sci. Publ.}, title = {Hodge-{R}iemann relations for polytopes: a geometric approach}, year = {2007}, doi = {10.1142/9789812707499_0014}, }
[D1] M. J. Dyer, Kazhdan-Lusztig-Stanley polynomials and quadratic algebras I.

Show bibtex

@misc{D1, author = {Dyer, M. J.}, note = {preprint}, title = {Kazhdan-{L}usztig-{S}tanley polynomials and quadratic algebras {I}}, }
[D2] M. J. Dyer, Modules for the dual nil Hecke ring.

Show bibtex

@misc{D2, author = {Dyer, M. J.}, note = {preprint}, title = {Modules for the dual nil {H}ecke ring}, }
[MNW] $Go to document$ T. Maeno, Y. Numata, and A. Wachi, "Strong Lefschetz elements of the coinvariant rings of finite Coxeter groups," Algebr. Represent. Theory, vol. 14, iss. 4, pp. 625-638, 2011.

Show bibtex

@article{MNW, author = {Maeno, Toshiaki and Numata, Yasuhide and Wachi, Akihito}, journal = {Algebr. Represent. Theory}, number = {4}, pages = {625--638}, title = {Strong {L}efschetz elements of the coinvariant rings of finite {C}oxeter groups}, volume = {14}, year = {2011}, doi = {10.1007/s10468-010-9207-9}, issn = {1386-923X}, }
[MW] $Go to document$ Y. Numata and A. Wachi, "The strong Lefschetz property of the coinvariant ring of the Coxeter group of type $H_4$," J. Algebra, vol. 318, iss. 2, pp. 1032-1038, 2007.

Show bibtex

@article{MW, author = {Numata, Yasuhide and Wachi, Akihito}, journal = {J. Algebra}, number = {2}, pages = {1032--1038}, title = {The strong {L}efschetz property of the coinvariant ring of the {C}oxeter group of type {$H\sb 4$}}, volume = {318}, year = {2007}, doi = {10.1016/j.jalgebra.2007.06.016}, issn = {0021-8693}, }
[McD] $Go to document$ C. McDaniel, "The strong Lefschetz property for coinvariant rings of finite reflection groups," J. Algebra, vol. 331, pp. 68-95, 2011.

Show bibtex

@article{McD, author = {McDaniel, Chris}, journal = {J. Algebra}, pages = {68--95}, title = {The strong {L}efschetz property for coinvariant rings of finite reflection groups}, volume = {331}, year = {2011}, doi = {10.1016/j.jalgebra.2010.11.007}, issn = {0021-8693}, }
[EW1] B. Elias and G. Williamson, Diagrammatics for Coxeter groups and their braid groups.

Show bibtex

@misc{EW1, author = {Elias, B. and Williamson, G.}, title = {Diagrammatics for {C}oxeter groups and their braid groups}, }
[EW2] B. Elias and G. Williamson, Soergel calculus.

Show bibtex

@misc{EW2, author = {Elias, B. and Williamson, G.}, title = {Soergel calculus}, }
[Li] $Go to document$ N. Libedinsky, "Équivalences entre conjectures de Soergel," J. Algebra, vol. 320, iss. 7, pp. 2695-2705, 2008.

Show bibtex

@article{Li, author = {Libedinsky, Nicolas}, journal = {J. Algebra}, number = {7}, pages = {2695--2705}, title = {\'{E}quivalences entre conjectures de {S}oergel}, volume = {320}, year = {2008}, doi = {10.1016/j.jalgebra.2008.05.030}, issn = {0021-8693}, }
[Bo] N. Bourbaki, "Éléments de mathématique," in Groupes et Algèbres de Lie. Chapitres 4, 5 et 6. [Lie Groups and Lie Algebras. Chapters 4, 5 and 6], Paris: Masson, 1981, p. 290.

Show bibtex

@incollection{Bo, address = {Paris}, author = {Bourbaki, Nicolas}, booktitle = {Groupes et Alg{è}bres de Lie. Chapitres 4, 5 et 6. [Lie Groups and Lie Algebras. Chapters 4, 5 and 6]}, pages = {290}, publisher = {Masson}, title = {\'{E}léments de mathématique}, year = {1981}, isbn = {2-225-76076-4}, }
[Hu] $Go to document$ J. E. Humphreys, Reflection groups and Coxeter groups, Cambridge Univ. Press, Cambridge, 1990, vol. 29.

Show bibtex

@book{Hu, author = {Humphreys, James E.}, pages = {xii+204}, publisher = {Cambridge Univ. Press, Cambridge}, series = {Cambridge Stud. Adv. Math.}, title = {Reflection groups and {C}oxeter groups}, volume = {29}, year = {1990}, doi = {10.1017/CBO9780511623646}, isbn = {0-521-37510-X}, }
[SoKL] $Go to document$ W. Soergel, "Kazhdan-Lusztig polynomials and a combinatoric for tilting modules," Represent. Theory, vol. 1, pp. 83-114, 1997.

Show bibtex

@article{SoKL, author = {Soergel, Wolfgang}, journal = {Represent. Theory}, pages = {83--114}, title = {Kazhdan-{L}usztig polynomials and a combinatoric for tilting modules}, volume = {1}, year = {1997}, doi = {10.1090/S1088-4165-97-00021-6}, issn = {1088-4165}, }
[Kr] $Go to document$ H. Krause, Krull-Remak-Schmidt categories and projective covers.

Show bibtex

@misc{Kr, author = {Krause, H.}, title = {Krull-{R}emak-{S}chmidt categories and projective covers}, url = {http://www.math.uni-bielefeld.de/~hkrause/krs.pdf}, }
[Ro] $Go to document$ R. Rouquier, "Categorification of ${\mathfrak{s}\mathfrak{l}}_2$ and braid groups," in Trends in Representation Theory of Algebras and Related Topics, Amer. Math. Soc., Providence, RI, 2006, vol. 406, pp. 137-167.

Show bibtex

@incollection{Ro, author = {Rouquier, Rapha{ë}l}, booktitle = {Trends in Representation Theory of Algebras and Related Topics}, pages = {137--167}, publisher = {Amer. Math. Soc., Providence, RI}, series = {Contemp. Math.}, title = {Categorification of {${\mathfrak{s}\mathfrak{l}}_2$} and braid groups}, volume = {406}, year = {2006}, doi = {10.1090/conm/406/07657}, }
[Ca] $Go to document$ K. J. Carlin, "Extensions of Verma modules," Trans. Amer. Math. Soc., vol. 294, iss. 1, pp. 29-43, 1986.

Show bibtex

@article{Ca, author = {Carlin, Kevin J.}, journal = {Trans. Amer. Math. Soc.}, number = {1}, pages = {29--43}, title = {Extensions of {V}erma modules}, volume = {294}, year = {1986}, doi = {10.2307/2000116}, issn = {0002-9947}, }
[Ri] J. Rickard, "Translation functors and equivalences of derived categories for blocks of algebraic groups," in Finite-dimensional algebras and related topics, Dordrecht: Kluwer Acad. Publ., 1994, vol. 424, pp. 255-264.

Show bibtex

@incollection{Ri, address = {Dordrecht}, author = {Rickard, Jeremy}, booktitle = {Finite-dimensional algebras and related topics}, pages = {255--264}, publisher = {Kluwer Acad. Publ.}, series = {NATO Adv. Sci. Inst. Ser. C Math. Phys. Sci.}, title = {Translation functors and equivalences of derived categories for blocks of algebraic groups}, volume = {424}, year = {1994}, }
[Ro2] R. Rouquier, "Derived equivalences and finite dimensional algebras," in International Congress of Mathematicians. Vol. II, Eur. Math. Soc., Zürich, 2006, pp. 191-221.

Show bibtex

@incollection{Ro2, author = {Rouquier, Rapha{ë}l}, booktitle = {International {C}ongress of {M}athematicians. {V}ol. {II}}, pages = {191--221}, publisher = {Eur. Math. Soc., Zürich}, title = {Derived equivalences and finite dimensional algebras}, year = {2006}, }
[LW] N. Libedinsky and G. Williamson, Standard objects in 2-braid groups.

Show bibtex

@misc{LW, author = {Libedinsky, N. and Williamson, G.}, title = {Standard objects in 2-braid groups}, }
[W] $Go to document$ G. Williamson, "Singular Soergel bimodules," Int. Math. Res. Not., vol. 2011, iss. 20, pp. 4555-4632, 2011.

Show bibtex

@article{W, author = {Williamson, Geordie}, journal = {Int. Math. Res. Not.}, number = {20}, pages = {4555--4632}, title = {Singular {S}oergel bimodules}, volume = {2011}, year = {2011}, doi = {10.1093/imrn/rnq263}, issn = {1073-7928}, }

The Hodge theory of Soergel bimodules

Abstract

Authors