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.
-
[KL1]
D. Kazhdan and G. Lusztig, "Representations of Coxeter groups and Hecke algebras," Invent. Math., vol. 53, iss. 2, pp. 165-184, 1979.
@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.
@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.
@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]
J. -L. Brylinski and M. Kashiwara, "Kazhdan-Lusztig conjecture and holonomic systems," Invent. Math., vol. 64, iss. 3, pp. 387-410, 1981.
@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]
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.
@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]
W. Soergel, "The combinatorics of Harish-Chandra bimodules," J. Reine Angew. Math., vol. 429, pp. 49-74, 1992.
@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.
@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.
@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]
W. Soergel, "Kazhdan-Lusztig-Polynome und unzerlegbare Bimoduln über Polynomringen," J. Inst. Math. Jussieu, vol. 6, iss. 3, pp. 501-525, 2007.
@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]
P. Fiebig, "The combinatorics of Coxeter categories," Trans. Amer. Math. Soc., vol. 360, iss. 8, pp. 4211-4233, 2008.
@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]
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.
@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]
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.
@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]
W. Soergel, "Andersen filtration and hard Lefschetz," Geom. Funct. Anal., vol. 17, iss. 6, pp. 2066-2089, 2008.
@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.
@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]
P. Fiebig, "The combinatorics of category $\mathcal O$ over symmetrizable Kac-Moody algebras," Transform. Groups, vol. 11, iss. 1, pp. 29-49, 2006.
@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]
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.
@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]
P. Bressler and V. A. Lunts, "Intersection cohomology on nonrational polytopes," Compositio Math., vol. 135, iss. 3, pp. 245-278, 2003.
@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]
K. Karu, "Hard Lefschetz theorem for nonrational polytopes," Invent. Math., vol. 157, iss. 2, pp. 419-447, 2004.
@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]
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.
@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.
@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.
@misc{D2,
author = {Dyer, M. J.},
note = {preprint},
title = {Modules for the dual nil {H}ecke ring},
} -
[MNW]
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.
@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]
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.
@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]
C. McDaniel, "The strong Lefschetz property for coinvariant rings of finite reflection groups," J. Algebra, vol. 331, pp. 68-95, 2011.
@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.
@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.
@misc{EW2,
author = {Elias, B. and Williamson, G.},
title = {Soergel calculus},
} -
[Li]
N. Libedinsky, "Équivalences entre conjectures de Soergel," J. Algebra, vol. 320, iss. 7, pp. 2695-2705, 2008.
@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.
@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]
J. E. Humphreys, Reflection groups and Coxeter groups, Cambridge Univ. Press, Cambridge, 1990, vol. 29.
@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]
W. Soergel, "Kazhdan-Lusztig polynomials and a combinatoric for tilting modules," Represent. Theory, vol. 1, pp. 83-114, 1997.
@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},
} -
@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]
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.
@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]
K. J. Carlin, "Extensions of Verma modules," Trans. Amer. Math. Soc., vol. 294, iss. 1, pp. 29-43, 1986.
@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.
@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.
@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.
@misc{LW,
author = {Libedinsky, N. and Williamson, G.},
title = {Standard objects in 2-braid groups},
} -
[W]
G. Williamson, "Singular Soergel bimodules," Int. Math. Res. Not., vol. 2011, iss. 20, pp. 4555-4632, 2011.
@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},
}