The Hodge theory of Soergel bimodules. (Q483231): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(5 intermediate revisions by 4 users not shown) | |||
Property / review text | |||
In the Hecke algebra of a Coxeter system, Kazhdan-Lusztig polynomials were introduced by \textit{D. Kazhdan} and \textit{G. Lusztig} [Invent. Math. 53, 165-184 (1979; Zbl 0499.20035)] to express the Kazhdan-Lusztig basis in terms of standard basis, which were conjectured to have non-negative coefficients. In [J. Inst. Math. Jussieu 6, No. 3, 501-525 (2007; Zbl 1192.20004)], \textit{W. Soergel} introduced the monoidal category of Soergel bimodules for an arbitrary Coxeter system. The split Grothendieck group of this category is canonically identified with the Hecke algebra. Soergel then conjectured the existence of indecomposable bimodules whose classes coincide with the Kazhdan-Lusztig basis of the Hecke algebra. In the paper under review, the authors prove Soergel's conjecture for an arbitrary Coxeter system and then prove the non-negativity of Kazhdan-Lusztig polynomials. The authors' proof is inspired by two papers of \textit{M. A. A. de Cataldo} and \textit{L. Migliorini} [see Ann. Sci. Éc. Norm. Supér. (4) 35, No. 5, 759-772 (2002; Zbl 1021.14004); ibid. 38, No. 5, 693-750 (2005; Zbl 1094.14005)]), which give Hodge-theoretic proofs of the decomposition theorem. It was proposed by \textit{D. Kazhdan} and \textit{G. Lusztig} [loc. cit.] the Kazhdan-Lusztig conjecture, a character formula of the simple highest weight modules for a complex semi-simple Lie algebra in terms of Kazhdan-lusztig polynomials associated to its Weyl group. In the present paper, the authors obtain an algebraic proof of this conjecture. Note that the Kazhdan-Lusztig conjecture was proved by Beilinson-Bernstein and Brylinski-Kashiwara independently in 1981 by using \(D\)-modules and the Riemann-Hilbert correspondence to establish a connection between highest weight representation theory and perverse sheaves [see \textit{A. Beilinson} and \textit{J. Bernstein}, C. R. Acad. Sci., Paris, Sér. I 292, 15-18 (1981; Zbl 0476.14019); \textit{J. L. Brylinski} and \textit{M. Kashiwara}, Invent. Math. 64, 387-410 (1981; Zbl 0473.22009)] and by \textit{W. Soergel} in an alternate way in 1990 [J. Am. Math. Soc. 3, No. 2, 421-445 (1990; Zbl 0747.17008)]. | |||
Property / review text: In the Hecke algebra of a Coxeter system, Kazhdan-Lusztig polynomials were introduced by \textit{D. Kazhdan} and \textit{G. Lusztig} [Invent. Math. 53, 165-184 (1979; Zbl 0499.20035)] to express the Kazhdan-Lusztig basis in terms of standard basis, which were conjectured to have non-negative coefficients. In [J. Inst. Math. Jussieu 6, No. 3, 501-525 (2007; Zbl 1192.20004)], \textit{W. Soergel} introduced the monoidal category of Soergel bimodules for an arbitrary Coxeter system. The split Grothendieck group of this category is canonically identified with the Hecke algebra. Soergel then conjectured the existence of indecomposable bimodules whose classes coincide with the Kazhdan-Lusztig basis of the Hecke algebra. In the paper under review, the authors prove Soergel's conjecture for an arbitrary Coxeter system and then prove the non-negativity of Kazhdan-Lusztig polynomials. The authors' proof is inspired by two papers of \textit{M. A. A. de Cataldo} and \textit{L. Migliorini} [see Ann. Sci. Éc. Norm. Supér. (4) 35, No. 5, 759-772 (2002; Zbl 1021.14004); ibid. 38, No. 5, 693-750 (2005; Zbl 1094.14005)]), which give Hodge-theoretic proofs of the decomposition theorem. It was proposed by \textit{D. Kazhdan} and \textit{G. Lusztig} [loc. cit.] the Kazhdan-Lusztig conjecture, a character formula of the simple highest weight modules for a complex semi-simple Lie algebra in terms of Kazhdan-lusztig polynomials associated to its Weyl group. In the present paper, the authors obtain an algebraic proof of this conjecture. Note that the Kazhdan-Lusztig conjecture was proved by Beilinson-Bernstein and Brylinski-Kashiwara independently in 1981 by using \(D\)-modules and the Riemann-Hilbert correspondence to establish a connection between highest weight representation theory and perverse sheaves [see \textit{A. Beilinson} and \textit{J. Bernstein}, C. R. Acad. Sci., Paris, Sér. I 292, 15-18 (1981; Zbl 0476.14019); \textit{J. L. Brylinski} and \textit{M. Kashiwara}, Invent. Math. 64, 387-410 (1981; Zbl 0473.22009)] and by \textit{W. Soergel} in an alternate way in 1990 [J. Am. Math. Soc. 3, No. 2, 421-445 (1990; Zbl 0747.17008)]. / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 20C08 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 20F55 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6380813 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Coxeter groups | |||
Property / zbMATH Keywords: Coxeter groups / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Hecke algebras | |||
Property / zbMATH Keywords: Hecke algebras / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Coxeter systems | |||
Property / zbMATH Keywords: Coxeter systems / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Hodge theory | |||
Property / zbMATH Keywords: Hodge theory / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Kazhdan-Lusztig polynomials | |||
Property / zbMATH Keywords: Kazhdan-Lusztig polynomials / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
positivity | |||
Property / zbMATH Keywords: positivity / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Soergel bimodules | |||
Property / zbMATH Keywords: Soergel bimodules / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2141554821 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 1212.0791 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Representations of Coxeter groups and Hecke algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3910633 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3933105 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Kazhdan-Lusztig conjecture and holonomic systems / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Kategorie O , Perverse Garben Und Moduln Uber Den Koinvariantez Zur Weylgruppe / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The combinatorics of Harish-Chandra bimodules. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4939680 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: KAZHDAN-LUSZTIG-POLYNOME UND UNZERLEGBARE BIMODULN ÜBER POLYNOMRINGEN / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The combinatorics of Coxeter categories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Hard Lefschetz Theorem and the topology of semismall maps / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Hodge theory of algebraic maps / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Andersen filtration and hard Lefschetz / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4296997 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The combinatorics of category \({\mathcal O}\) over symmetrizable Kac-Moody algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Sheaves on affine Schubert varieties, modular representations, and Lusztig’s conjecture / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4803674 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Hard Lefschetz theorem for nonrational polytopes / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3595837 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Bruhat intervals, polyhedral cones and Kazhdan-Lusztig-Stanley polynomials / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Strong Lefschetz elements of the coinvariant rings of finite Coxeter groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The strong Lefschetz property of the coinvariant ring of the Coxeter group of type \(H_{4}\) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The strong Lefschetz property for coinvariant rings of finite reflection groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Diagrammatics for Coxeter groups and their braid groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Soergel calculus / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Equivalences between Soergel conjectures. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3941610 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3998721 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4382847 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Krull-Schmidt categories and projective covers / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Extensions of Verma Modules / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4311993 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5489373 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Standard objects in 2-braid groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Singular Soergel Bimodules / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 10:41, 9 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The Hodge theory of Soergel bimodules. |
scientific article |
Statements
The Hodge theory of Soergel bimodules. (English)
0 references
16 December 2014
0 references
In the Hecke algebra of a Coxeter system, Kazhdan-Lusztig polynomials were introduced by \textit{D. Kazhdan} and \textit{G. Lusztig} [Invent. Math. 53, 165-184 (1979; Zbl 0499.20035)] to express the Kazhdan-Lusztig basis in terms of standard basis, which were conjectured to have non-negative coefficients. In [J. Inst. Math. Jussieu 6, No. 3, 501-525 (2007; Zbl 1192.20004)], \textit{W. Soergel} introduced the monoidal category of Soergel bimodules for an arbitrary Coxeter system. The split Grothendieck group of this category is canonically identified with the Hecke algebra. Soergel then conjectured the existence of indecomposable bimodules whose classes coincide with the Kazhdan-Lusztig basis of the Hecke algebra. In the paper under review, the authors prove Soergel's conjecture for an arbitrary Coxeter system and then prove the non-negativity of Kazhdan-Lusztig polynomials. The authors' proof is inspired by two papers of \textit{M. A. A. de Cataldo} and \textit{L. Migliorini} [see Ann. Sci. Éc. Norm. Supér. (4) 35, No. 5, 759-772 (2002; Zbl 1021.14004); ibid. 38, No. 5, 693-750 (2005; Zbl 1094.14005)]), which give Hodge-theoretic proofs of the decomposition theorem. It was proposed by \textit{D. Kazhdan} and \textit{G. Lusztig} [loc. cit.] the Kazhdan-Lusztig conjecture, a character formula of the simple highest weight modules for a complex semi-simple Lie algebra in terms of Kazhdan-lusztig polynomials associated to its Weyl group. In the present paper, the authors obtain an algebraic proof of this conjecture. Note that the Kazhdan-Lusztig conjecture was proved by Beilinson-Bernstein and Brylinski-Kashiwara independently in 1981 by using \(D\)-modules and the Riemann-Hilbert correspondence to establish a connection between highest weight representation theory and perverse sheaves [see \textit{A. Beilinson} and \textit{J. Bernstein}, C. R. Acad. Sci., Paris, Sér. I 292, 15-18 (1981; Zbl 0476.14019); \textit{J. L. Brylinski} and \textit{M. Kashiwara}, Invent. Math. 64, 387-410 (1981; Zbl 0473.22009)] and by \textit{W. Soergel} in an alternate way in 1990 [J. Am. Math. Soc. 3, No. 2, 421-445 (1990; Zbl 0747.17008)].
0 references
Coxeter groups
0 references
Hecke algebras
0 references
Coxeter systems
0 references
Hodge theory
0 references
Kazhdan-Lusztig polynomials
0 references
positivity
0 references
Soergel bimodules
0 references
0 references
0 references