The Hodge theory of Soergel bimodules. (Q483231): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
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 / namelinks / 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
    0 references
    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
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers