14 pages, v4: fixed a small gap in the proof of Theorem 3.1 in the published version of the paper, we thank Jian-yi Shi for pointing the gap and for his help with the correction
The purpose of this article is to shed new light on the combinatorial structure of Kazhdan-Lusztig cells in infinite Coxeter groups $W$. Our main focus is the set $\D$ of distinguished involutions in $W$, which was introduced by Lusztig in one of his first papers on cells in affine Weyl groups. We conjecture that the set $\D$ has a simple recursive structure and can be enumerated algorithmically starting from the distinguished involutions of finite Coxeter groups. Moreover, to each element of $\D$ we assign an explicitly defined set of equivalence relations on $W$ that altogether conjecturally determine the partition of $W$ into left (right) cells. We are able to prove these conjectures only in a special case, but even from these partial results we can deduce some interesting corollaries.
We classify a class of complex representations of an arbitrary Coxeter group via characters of the integral homology of certain graphs. Such representations can be viewed as a generalization of the geometric representation and correspond to the second-highest 2-sided cell in the sense of Kazhdan-Lusztig. We also give a description of the cell representation provided by this 2-sided cell, and find out all its simple quotients for simply laced Coxeter system with no more than one circuit in the Coxeter graph.
We study Kazhdan-Lusztig cells and the corresponding representations of right-angled Coxeter groups and Hecke algebras associated to them. In case of the infinite groups generated by reflections in the hyperbolic plane about the sides of right-angled polygons we obtain an explicit description of the left and two-sided cells. In particular, we prove that there are infinitely many left cells but they all form only three two-sided cells.
In this paper, we give precise description for the lowest lowest two-sided cell c_{0} and the left cells in it for a weighted Coxeter group of rank 3. Then we show conjectures P1-P15 and \widetilde{P} hold for c_{0} and do some calculation for the based ring of c_{0}.
We study cells with respect to the $p$-canonical basis of the Hecke algebra of a crystallographic Coxeter system (see arXiv:1510.01556, arXiv:1901.02323) and their compatibility with standard parabolic subgroups. We show that after induction to the surrounding bigger Coxeter group the cell module of a right $p$-cell in a standard parabolic subgroup decomposes as a direct sum of cell modules. Along the way, we state some new positivity properties of the $p$-canonical basis.
Let C be a one- or two-sided Kazhdan--Lusztig cell in a Coxeter group (W,S), and let Reduced(C) denote the set of reduced expressions of all w in C, regarded as a language over the alphabet S. Casselman has conjectured that Reduced(C) is regular. In this paper we give a conjectural description of the cells when W is the group corresponding to a hyperbolic polygon, and show that our conjectures imply Casselman's.
This paper examines a systematic method to construct a pair of (inter-related) root systems for arbitrary Coxeter groups from a class of non-standard geometric representations. This method can be employed to construct generalizations of root systems for a large family of groups generated only by involutions. We then give a characterization of Coxeter groups, among these groups, in terms of such paired root systems. Furthermore, we use this method to construct and study the paired root systems for reflection subgroups of Coxeter groups.
Certain results on representations of quivers have analogs in the structure theory of general Coxeter groups. A fixed Coxeter element turns the Coxeter graph into an acyclic quiver, allowing for the definition of a preprojective root. A positive root is an analog of an indecomposable representation of the quiver. The Coxeter group is finite if and only if every positive root is preprojective, which is analogous to the well-known result that a quiver is of finite representation type if and only if every indecomposable representation is preprojective. Combinatorics of orientation-admissible word…
We consider Lusztig's $\mathbf{a}$-function on Coxeter groups (in the equal parameter case) and classify all Coxeter groups with finitely many elements of $\mathbf{a}$-value 2 in terms of Coxeter diagrams.
We define and study cocycles on a Coxeter group in each degree generalizing the sign function. When the Coxeter group is a Weyl group, we explain how the degree three cocycle arises naturally from geometry representation theory.
The notion of a linear Coxeter system introduced by Vinberg generalizes the geometric representation of a Coxeter group. Our main theorem asserts that if $v$ is an element of the Tits cone of a linear Coxeter system and $\cW$ is the corresponding Coxeter group, then $\cW v \subeq v - C_v,$ where $C_v$ is the convex cone generated by the coroots $\check α$, for which $α(v) > 0$. This implies that the convex hull of $\cW v$ is completely determined by the image of $v$ under the reflections in $\cW$. We also apply an analogous result for convex hulls of $\cW$-orbits in the dual space, although th…
We obtain vanishing ranges for the mod $p$ cohomology of alternating subgroups of finite $p$-free Coxeter groups. Here a Coxeter group $W$ is $p$-free if the order of the product $st$ is prime to $p$ for every pair of Coxeter generators $s,t$ of $W$. Our result generalizes those for alternating groups formerly proved by Kleshchev-Nakano and Burichenko. As a byproduct, we obtain vanishing ranges for the twisted cohomology of finite $p$-free Coxeter groups with coefficients in the sign representations. In addition, a weak version of the main result is proved for a certain class of infinite Coxet…
We prove Lusztig's conjectures P1-P15 for hyperbolic Coxeter groups of rank 3. Our proof enables us to give a description of the a-function and Kazhdan-Lusztig cells for these Coxeter groups.
We give a monoidal presentation of Coxeter and braid 2-groups, in terms of decorated planar graphs. This presentation extends the Coxeter presentation. We deduce a simple criterion for a Coxeter group or braid group to act on a category.
We study the minimal length elements in some double cosets of Coxeter groups and use them to study Lusztig's $G$-stable pieces and the generalization of $G$-stable pieces introduced by Lu and Yakimov. We also use them to study the minimal length elements in a conjugacy class of a finite Coxeter group and prove a conjecture in \cite{GKP}.
Let W be a Coxeter group. We show that a certain power series involving a sum over all involutions in W can be expressed in terms of the Poincare series of W. (The case where W is finite is already known,)
We give a geometric proof that minimal length elements in a (twisted) conjugacy class of a finite Coxeter group $W$ have remarkable properties with respect to conjugation, taking powers in the associated Braid group and taking centralizer in $W$.
In a recent paper by K.-H. Lee and K. Lee, rigid reflections are defined for any Coxeter group via non-self-intersecting curves on a Riemann surface with labeled curves. When the Coxeter group arises from an acyclic quiver, the rigid reflections are related to the rigid representations of the quiver. For a family of rank $3$ Coxeter groups, it was conjectured in the same paper that there is a natural bijection from the set of reduced positive roots of a symmetric rank $2$ Kac--Moody algebra onto the set of rigid reflections of the corresponding rank $3$ Coxeter group. In this paper, we prove t…
Let $Γ$ be a finite Coxeter group with reflection representation $R$. We show that a $Γ$-equivariant quasicoherent sheaf on $R$ descends to the quotient space $R//Γ$ if it descends to the quotient space $R//\langle s_i\rangle$ for every simple reflection $s_i\in Γ$.
We prove Lusztig's conjectures P1-P15 for Coxeter groups with complete graph, using deceasing induction on $ \mathbf{a} $-values and a kind of decomposition formula of Kazhdan-Lusztig basis elements. As a byproduct, we give a description of the left, right, and two-sided cells. In the appendix, we prove P1-P15 for right-angled Coxeter groups by the same methods.
Let $W_a$ be an affine Weyl group and $η:W_a\longrightarrow W_0$ be the natural projection to the corresponding finite Weyl group. We say that $w\in W_a$ has finite Coxeter part if $η(w)$ is conjugate to a Coxeter element of $W_0$. The elements with finite Coxeter part is a union of conjugacy classes of $W_a$. We show that for each conjugacy class $\mathcal{O}$ of $W_a$ with finite Coxeter part there exits a unique maximal proper parabolic subgroup $W_J$ of $W_a$, such that the set of minimal length elements in $\mathcal{O}$ is exactly the set of Coxeter elements in $W_J$. Similar results hold…
We introduce a BMW type algebra for every Coxeter group. These new algebras are introduced as deformations of the Brauer type algebras introduced by the author, they have the corresponding Hecke algebras as quotients.
We characterize relatively norm compact sets in the regular $C^*$-algebra of finitely generated Coxeter groups using a geometrically defined positive semigroup acting on the algebra.
