Kazhdan-Lusztig cells of a -value 2 in a(2)-finite Coxeter systems

DOI10.5802/ALCO.275MaRDI QIDQ6101142zbMATH OpenOpenAlexFDO

Authors R. M. Green, Tianyuan Xu

Publication date 20 June 2023

Published in Algebraic Combinatorics (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://arxiv.org/abs/2109.09803

zbMATH Keywords

Coxeter groupsfully commutative elementsheapsKazhdan-Lusztig cellsLusztig's \(\mathbf{a} \)-functionstar operations

Mathematics Subject Classification ID

Hecke algebras and their representations (20C08) Reflection and Coxeter groups (group-theoretic aspects) (20F55)

Abstract: A Coxeter group is said to be emph{$mathbfa(2)$-finite} if it has finitely many elements of $mathbfa$-value 2 in the sense of Lusztig. In this paper, we give explicit combinatorial descriptions of the left, right, and two-sided Kazhdan--Lusztig cells of $mathbfa$-value 2 in an irreducible $mathbfa(2)$-finite Coxeter group. In particular, we introduce elements we call emph{stubs} to parameterize the one-sided cells and we characterize the one-sided cells via both star operations and weak Bruhat orders. We also compute the cardinalities of all the one-sided and two-sided cells.

Review text

The article under review studies a central problem of Coxeter group theory, namely the description of Kazhdan-Lusztig cells inside a given Coxeter group. Knowledge of these cells is invaluable for further understanding the representation theory and general structure theory of any Coxeter group. While Kazhdan-Lusztig cells have been studied with great interest for almost 50 years now, full descriptions are only known for finite Coxeter groups as well as few families of infinite Coxeter groups. The authors employ the classical methods to study Kazhdan-Lusztig cells in a Coxeter group \((W,S)\) developed by Lusztig, most importantly Lusztig's \(\mathbf{a}\)-function \(\mathbf a : W\rightarrow \mathbb Z_{\geq 0}\) and the star operators. Since the \(\mathbf{a}\)-function is constant on Kazhdan-Lusztig cells, it is natural to study the sets \[ W_n = \{w\in W\mid \mathbf a(w) = n\},\quad n=0,1,2,\dotsc \] and the Kazhdan-Lusztig cells inside them. This was done in the past in the easiest cases of \(W_0\) and \(W_1\), and the present paper examines the set \(W_2\). If the set \(W_2\) is finite, the paper under review gives a full description of all Kazhdan-Lusztig cells inside \(W_2\). Many interesting examples of infinite Coxeter groups satisfy the condition that \(W_2\) is finite, and a full classification of their Coxeter diagrams is given. This includes the affine types \(\tilde A_1, \tilde A_2, \tilde C_n\) and \(\tilde F_4\).

Recommendations

• Classification of Coxeter groups with finitely many elements of \(\mathfrak{a}\)-value 2
• Cells in Coxeter groups. I.
• Left cells in affine Weyl groups of types other than \(\widetilde A_ n\) and \(\widetilde G_ 2\)
• Kazhdan-Lusztig cells in some weighted Coxeter groups
• Kazhdan Lusztig cells in infinite Coxeter groups

Cites work

• 2-representations of small quotients of Soergel bimodules in infinite types
• Asymptotic Hecke algebras and involutions.
• Canonical bases for Hecke algebra quotients
• Cells in affine Weyl groups. II
• Characters of Reductive Groups over a Finite Field. (AM-107)
• Classification of Coxeter groups with finitely many elements of \(\mathfrak{a}\)-value 2
• Combinatorics of Coxeter Groups
• Comparison of \(a\)-functions
• Conjectures P1--P15 for Coxeter groups with complete graph
• Decorated tangles and canonical bases
• Diagram calculus for a type affine \(C\) Temperley-Lieb algebra. II.
• Fully commutative elements in the Weyl and affine Weyl groups.
• Fully commutative Kazhdan-Lusztig cells
• How many elements of a Coxeter group have a unique reduced expression?
• scientific article; zbMATH DE number 433077 (Why is no real title available?)
• scientific article; zbMATH DE number 3908688 (Why is no real title available?)
• scientific article; zbMATH DE number 4127497 (Why is no real title available?)
• scientific article; zbMATH DE number 2152776 (Why is no real title available?)
• Kazhdan-Lusztig cells in affine Weyl groups of rank 2.
• Kazhdan-Lusztig cells with unequal parameters
• Left cells in the affine Weyl group of type C₄
• Left cells in the Weyl group of type E₈
• Lusztig's \(a\)-function for Coxeter groups with complete graphs.
• Matrix-ball construction of affine Robinson-Schensted correspondence
• On Kazhdan-Lusztig cells in type \(B\).
• On the fully commutative elements of Coxeter groups
• On the Kazhdan-Lusztig cells in type E₈.
• On the subregular \(J\)-rings of Coxeter systems
• Primitive ideals and orbital integrals in complex classical groups
• Representations of Coxeter groups and Hecke algebras
• Robinson-Schensted correspondence and left cells
• Simple transitive 2-representations of small quotients of Soergel bimodules
• Simple transitive 2‐representations of Soergel bimodules for finite Coxeter types
• Some Examples of Square Integrable Representations of Semisimple p-Adic Groups
• STAR REDUCIBLE COXETER GROUPS
• Structure of a Hecke algebra quotient
• Subrings of the Asymptotic Hecke Algebra of TypeH₄
• The Kazhdan-Lusztig cells in certain affine Weyl groups
• The left cells and their \(W\)-graphs of Weyl group of type \(F_ 4\)

Cited in

(5)

• The verification of a conjecture on left cells of certain Coxeter groups
• Classification of Coxeter groups with finitely many elements of \(\mathfrak{a}\)-value 2
• Cells in Coxeter groups. I.
• Lusztig's \(a\)-function for Coxeter groups with complete graphs.
• scientific article; zbMATH DE number 6291731 (Why is no real title available?)

This page was built for publication: Kazhdan-Lusztig cells of \(\mathbf{a} \)-value 2 in \(\mathbf{a}(2)\)-finite Coxeter systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6101142)