Medical, Pharma, Engineering, Science, Technology and Business

**Belolipetsky MV ^{1,2*} and Gunnells PE^{3}**

^{1}Department of Mathematical Sciences, Durham University, South Rd, Durham DH1 3LE, UK

^{2}Institute of Mathematics, Koptyuga 4, 630090 Novosibirsk, Russia

^{3}Department of Mathematics and Statistics, University of Massachusetts, Amherst, MA 01003, USA

- Corresponding Author:
- Belolipetsky MV

Department of Mathematical Sciences

Durham University, South Rd, Durham DH1 3LE

UKInstitute of Mathematics, Koptyuga 4

630090 Novosibirsk, Russia

**Tel:**+44 191 334 2000

**E-mail:**mikhail.belolipetsky @durham.ac.uk

**Received date:** July 21, 2015 **Accepted date:** August 03, 2015 **Published date:** August 31, 2015

**Citation:** Belolipetsky MV, Gunnells PE (2015) Kazhdan Lusztig Cells in Infinite Coxeter Groups. J Generalized Lie Theory Appl S1:002. doi:10.4172/1736-4337.S1-002

**Copyright:** © 2015 Belolipetsky MV, et al. This is an open-access article distributed under the terms of the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original author and source are credited.

**Visit for more related articles at** Journal of Generalized Lie Theory and Applications

Groups defined by presentations of the form â¨s_{1},...,s_{n} | s_{i}^{2} = 1, (s_{i}s_{j})^{m}_{ij} = 1(i,j=1,...,n)â© are called Coxeter groups. The exponents mi,j ∈ N ∪ { ∞ } form the Coxeter matrix, which characterizes the group up to isomorphism. The Coxeter groups that are most important for applications are the Weyl groups and affine Weyl groups. For example, the symmetric group S_{n} is isomorphic to the Coxeter group with presentation â¨s_{1},...,s_{n} | s_{i}^{2} = 1 (i=1,...,n),(s_{i}s_{i+1})^{3}=1(i=1,...,n-1)â©, and is also known as the Weyl group of type A_{n-1}.

Lusztig cells; Coxeter; Hyperplane

The notion of cells was introduced by Kazhdan and Lusztig [1,2] to study representations of **Coxeter **groups and their Hecke algebras. Later it was realized that cells arise in many different branches of mathematics and have many interesting properties. Some examples and references for the related results can be found in Gunnells et al. [3]. We are interested in the combinatorial structure of the cells in infinite Coxeter groups. Examples of such groups include the affine Weyl groups, as well as Weyl groups of hyperbolic Kac–Moody algebras. In contrast with the affine case, there are very few results on cells in hyperbolic Coxeter groups available so far. We refer to Bedard and Belolipetsky [4,5] for some work in this direction. Based on numerous computational experiments we introduce two conjectures that describe the structure of the cells in infinite Coxeter groups. Our conjectures use combinatorial rigidity for elements in an infinite Coxeter group (§4). We expect that this notion may be of independent interest. We were able to check the conjectures for affine groups of small rank [6] (§5), and to prove them in some special cases [7] (§4). The latter include, in particular, the right-angled Coxeter groups previously studied in Belolipetsky [5]. The proof of the conjectures in their general form remains an open problem.

Let W be a Coxeter group with a fixed system of generators S. Consider a real vector space V of dimension |S| with a basis We define a symmetric bilinear form on V by

Now for every s ∈ S we can define a linear map by

This map sends αs to −α_{s} and fixes the hyperplane H_{s} orthogonal to α_{s} with respect to B in V. Therefore, σ_{s} is a reflection of the space V. One can show that the map extends to a faithful linear representation of the group W in GL(V), called the *standard geometric realization* of the group.

Next let us introduce the *Tits cone* of W. Every **hyperplane **Hs divides V into two halfspaces. Let denote the closed halfspace on which the element dual to αs is nonnegative. The intersection of these halfspaces for s ∈ S is a closed simplicial cone in V. The closure of the union of all W -translates of is again a cone in V. This cone C is called the Tits cone. It is known that C=V if and only if W is finite. For infinite groups W the Tits cone is significantly smaller than the whole space and hence is more convenient for the geometric realization of the group.

Under some additional assumptions we can define the action of W on a section of the Tits cone. In particular, this way we can describe the action of affine or hyperbolic Coxeter groups of rank 3 on a Euclidean or Lobachevsky plane, respectively. For example, consider the affine group W of type This group is generated by three involutions s_{1},s_{2}, s_{3} satisfying the relations for all i ≠ j . The space V is isomorphic to and via this the Tits cone C can be identified with the upper halfspace It is easy to check that the action of W preserves the affine plane , and that the images of intersect M in equilateral triangles (**Figure 1**). This construction implies that the group W of type can be realized as the discrete subgroup of the affine isometrics of a plane generated by reflections in the sides of an equilateral triangle.

A generalization of this construction leads to *triangle groups*. Let Δ be a triangle with angles π/p, π/q, π/r, where p, q, r ∈∪ {∞}. The triangle Δ lives on a sphere, or in an affine or hyperbolic plane, depending on whether 1/p + 1/q + 1/r is > 1, = 1, or < 1. The group W_{pqr} of isometries of the corresponding space generated by reflections in the sides of Δ is respectively a finite, affine, or hyperbolic Coxeter group. For example W_{333} is the affine group of type . In **Figure 2 **we show the tessellations of the hyperbolic plane corresponding to W_{237} (the Hurwitz group, **Figure 2a **and W_{23∞} (the modular group, **Figure 2b**). The coloring of the triangles indicates the partition of W into cells, which we will define in the next section.

Consider a Coxeter group W with a system of generators S. Any element w ∈W can be written as a product, or word, in the generators Such an expression is called* reduced* if we cannot use the relations in W to produce a shorter expression for w.

An element can have different reduced expressions but it is not hard to check that all of them have the same length. Therefore, we can define the *length function , *which assigns to an element w ∈W the length of a reduced expression with respect to the generators S [1]. Another important notion which can be defined using the reduced expressions is the partial order ≤ of Chevalley–Bruhat. Let be a word in the generators. We define a subexpression as to be any (possibly empty) product of the form where We say that y ≤ w if an expression for y appears as a subexpression of a reduced expression for w. It can be shown that the relation ≤ is a partial order on the group W [1].

Let H denote the Hecke algebra of W over the ring of Laurent polynomials in q^{1/2}. This algebra is a free A module with a basis T_{w}, w ∈ W and with multiplication defined by if and for s ∈ S. Together with the basis we can define in ï another basis This new basis, introduced by Kazhdan and Lusztig [2], has a number of important properties and has proven to be very convenient for describing the representations of W and H. The elements C_{w} can be expressed in terms of T_{w} by the formulae

where the are the *Kazhdan–Lusztig polynomials*. The polynomials are nonzero exactly when y, w ∈W satisfy y ≤ w, equal 1 when y = w, and otherwise have degree deg(P_{y,w} ) at most d(y,w) := (l(w) − l(y) − 1)/2. If deg(Py,w ) = d(y, w), we denote the leading coefficient by μ(y, w) = μ(w, y), and in all other cases (including when y and w are not comparable in the partial order) we put μ(y, w) = μ(w, y) = 0. We indicate that μ(y, w)≠ 0 by y−−w.

Using the polynomials P_{y,w} we can define the partial orders ≤_{L}, ≤_{R}, ≤_{LR} on W. First, for w ∈W we define the left and right descent sets:

Next, we say that if there exists a sequence in W such that and for all 0 ≤ i < n . The relation can be defined using we put if . Finally, y ≤_{LR} w means that there exists a sequence such that for all i<n, we have either or It is easy to check that ≤_{L}, ≤_{R} and ≤_{LR} are partial orders on W; we denote the corresponding equivalence relations by ∼L, ∼R and ∼_{LR}. The equivalence classes of ∼_{L} (respectively, ∼_{R}, ∼_{LR}) are called the *left cells (resp. right cells, two-sided cells)* of W. It follows from the definitions that the left and right cells have very similar properties, thus we will mostly deal with only one of these two types of cells.

The colors in **Figure 2 **indicate the left cells of W237 and the 2-sided cells of W _{23∞}. Furthermore, the left cells of W _{23∞} can be seen in **Figure 2b **also: they are the connected unions of triangles of a given color. Note that both of these groups apparently have infinitely many left cells. Now consider the multiplication of the C-basis element in H. We can write

Let a(z) be the smallest integer such that for all x, y ∈ W, where Denote by D_{i} the set where δ(z) is the degree of the polynomial P_{e,z} , l(z) is the length function on W, and a(z) is defined as above. The set D = D_{0} consists of *distinguished involutions* of W introduced by Lusztig [8].

Lusztig proved that in affine groups there is a bijection between the set D and the left (or right) cells of W [8]. This deep result has many important corollaries and applications. One of the main goals of our work is to make this correspondence between distinguished involutions and cells explicit, so that one can describe the structure of the cells using the distinguished involutions of the group. Another goal is to find an algorithm that produces distinguished involutions of a given group. In the next section we will formulate two conjectures that answer these questions and present some results to support the conjectures.

We will need some more notations and definitions. Given w ∈ W, we write w = x.y if w = xy and l(w) = l(x) + l(y). Denote by Z(w) the set of all v ∈ W such that w = x.v.y for some x, y ∈ W and v ∈ W_{I} for some I ⊂ S with WI finite. (We recall that for a subset I ⊂ S, W_{I} denotes the standard parabolic subgroup of W generated by s ∈ I.) We call maximal in w if it is not a proper sub word of any other v′∈Z(w) such that with and . Let Z = Z (W) be the union of Z (w) over all w ∈ W, be the set of distinguished involutions of the finite standard parabolic subgroups of W and Note that each of the sets Z(W), D_{f} and is finite.

We call w = x.v.y rigid at v if (i) v ∈ D_{f} , (ii) v is maximal in w, and (iii) for every reduced expression with we have and This notion of combinatorial rigidity plays an important role in our considerations. **Figure 3 **helps to understand its meaning using the Cayley graph of the group W. Maximal distinguished involutions of the finite parabolic subgroups correspond to the “long cycles” in the graph. Combinatorial rigidity means that such a cycle cannot be shifted along the presentation of w in any direction. For example, in the triangle group W_{333} of type , the element w = s_{3}s_{1}s_{2}s_{1}s_{3} is rigid at v = s_{1}s_{2}s_{1}, butis not rigid at v (**Figure 3**).

Our conjectures can be formulated as follows:

**Conjecture 1: **(“*distinguished involutions”*) Let *with a(v) = a(v _{1}), and let and with s ∈ S. Then if sxv_{1} is rigid at v_{1}, we have .*

**Conjecture 2: **(“basic equivalences”) Let w = y.v_{0} with v_{0} maximal in w.

(a) *Let satisfies and is reduced and has . Then there exists v _{01} such that , is rigid at v1 for every such that and the right descent set , and which implies *

(b) *Let with not maximal in and Then we can write that is maximal in , and So again* Conjecture 1 can be used to inductively construct distinguished involutions in an infinite Coxeter group W starting from the involutions of its finite standard parabolic subgroups. Conjecture 2, in turn, allows one to obtain equivalences in the group using its distinguished involutions. Let us note that the usual method for obtaining results of this kind is based on computing Kazhdan–Lusztig polynomials. This requires many computations and, moreover, does not give any a priori information about the elements that are distinguished involutions or satisfy the cell equivalences in the group. For infinite Coxeter groups in which an exhaustive search is not possible this latter disadvantage becomes critical. Our Conjecture 2 does not necessarily give all equivalences in the group, but still one can expect that the equivalences provided by the conjecture suffice for describing the cells. More precisely, we have the following theorem.

**Theorem 1:** *If an infinite Coxeter group satisfies Conjectures 1 and 2, and also two conjectures of Lusztig, then* [7].

(1) *The set D of distinguished involutions consists of the union of v∈D _{f} and the elements of W obtained from them using Conjecture 1.*

*(2) The relations described in Conjecture 2 determine the partition of W into right cells.*

*(3) The relations described in Conjecture 2 together with its ∼ _{L}-analogue determine the partition of W into two-sided cells.*

The conjectures of Lusztig to which we refer in the theorem are socalled “positivity conjecture” and a conjecture about a combinatorial description of the function *a(z)*. The positivity conjecture is now proved for a wide class of infinite Coxeter groups that includes affine Weyl groups. The precise statements of the conjectures and the references for the known results can be found in Belolipetsky et al. [7].

We were able to prove Conjectures 1 and 2 under certain additional assumptions. The results are given in the following two theorems.

**Theorem 2:** [BG1] *Let with ,a(v) = a(vs), and Then if v′= s.v.s is rigid at v1, we have *

**Theorem 3:** *Let with , is the longest element of a standard finite parabolic subgroup of W which is maximal in w and a(w) = a(v _{0}), with such that a(u) = a(u_{0}) = l, and with has and*

Assume that

(1) *For any and or if , we have , and is rigid at v _{0}.*

*(2) For any j =1,…,l −1 with u _{1} = u, we have , and is rigid at u_{0}.*

*Then and*

The additional assumption in Theorem 2 may seem minor, but unfortunately this is not the case. In particular, conditions (1) and (2) in Theorem 3 appear as a consequence of this assumption. The proof of the theorems 2 and 3 in Belolipetsky et al. [7] essentially uses the results from two unpublished letters of Springer and Lusztig [9]. A possible approach to the proof of our conjectures in general requires developing further the ideas of this correspondence.

Although the conditions of Theorems 2 and 3 are not always met for all W, the theorems can still be used to produce interesting results. We will give some examples in the next section, other applications of the theorems are considered in Belolipetsky et al. [7].

Affine Weyl groups of rank 3 have type , or . The cells in these groups were first described by Lusztig [10]. In this section we will show how the same results can be relatively easily obtained using conjectures from §4.

**Type :** The group W is generated by involutions s_{1}, s_{2}, s_{3} with relations We have ,

Applying Conjecture 1 with v = v_{1} = s_{1}s_{3}s_{1}, we get Note that after this the inductive procedure terminates as the elements s_{1} s_{2}v and s_{3}s_{2}v which would come out on the next step are both non-rigid at v. We can apply the same procedure to the other two involutions from . As a result we get

Therefore, the group W of type has 10 left (right) cells. Using Conjecture 2 and the geometric realization of the group it is easy to show that the partition of W into cells is the one shown on **Figure 4a**, where two-sided cells correspond to the regions of the same color and left cells correspond to the connected components of the two-sided cells. This coincides with the result of Lusztig et al., [10]. Note that in order to produce the cells we only need Theorems 2 and 3, and thus our results for this case are unconditional.

**Type **The group W is generated by involutions s_{1}, s_{2}, s_{3} with

Conjecture 1 gives

The partition of W into cells, which we get using Conjecture 2, is shown in **Figure 4b**. One can quite easily obtain this partition by following the cycles which correspond to the distinguished involutions on the tessellation of the plane. The result is again in agreement with Lusztig et al. [10]. Note that in this case one can check that the assumptions of Theorem 2 hold, but not the assumptions of Theorem 3. Thus we can compute the distinguished involutions, but we cannot prove that our relations suffice to generate the cells, and therefore cannot be sure that we actually have all the distinguished involutions without using Lusztig’s computations in Lusztig et al. [10] or referring to our conjectures.

Type The group W is generated by involutions s_{1}, s_{2}, s_{3} with

The application of Conjecture 1 in this case already requires some effort because of a large number of possible variants. In order to generate the list of distinguished involutions we used a computer. Our algorithms and their application to other affine Weyl groups are described in Belolipetsky et al. [6]. As a result of these computations, we obtain

Therefore, the group W of type has 28 left (right) cells. The interested reader can check that Conjecture 2 allows us to obtain the partition of W into cells which is shown on **Figure 4c**. Note that for this case the conditions of neither Theorem 2 nor 3 are satisfied. For instance, we have

Thus our results here rely on unproved instances of the conjectures, but nevertheless the results agree with Lusztig et al. [10].

- Humphreys J (1990) Reflection groups and Coxeter groups. Cambridge studies in advanced mathematics 29, Cambridge University Press, Cambridge.
- Kazhdan D, Lusztig G (1979) Representations ofcoxeter groups and hecke algebras. Invent Math 53: 165-184.
- Gunnells PE (2006) Cells in coxeter groups. Notices of the AMS 53: 528-535.
- Bedard R (1989) Left V-cells for hyperbolic coxeter groups. Comm Algebra: 17: 2971-2997.
- Belolipetsky M (2004) Cells and representations of right-angledcoxetergroups. Selecta Math NS 10: 325-339.
- Belolipetsky M, Gunnells PE (2014) Cells in coxeter groups II in preparation.
- Belolipetsky M, Gunnells PE (2013) Cells in Coxeter groups. J Algebra 385: 134-144.
- Lusztig G (1987) Cells in a±neWeyl groups II. J Algebra 109: 536-548.
- Lusztig G, Springer TA Correspondence.
- Lusztig G (1985) Cells in affine Weyl groups, Algebraic Groups and Related Topics. Adv Stud Pure Math 40: 255-287.

Select your language of interest to view the total content in your interested language

- Adomian Decomposition Method
- Algebra
- Algebraic Geometry
- Analytical Geometry
- Applied Mathematics
- Axioms
- Balance Law
- Behaviometrics
- Big Data Analytics
- Binary and Non-normal Continuous Data
- Binomial Regression
- Biometrics
- Biostatistics methods
- Clinical Trail
- Combinatorics
- Complex Analysis
- Computational Model
- Convection Diffusion Equations
- Cross-Covariance and Cross-Correlation
- Deformations Theory
- Differential Equations
- Differential Transform Method
- Fourier Analysis
- Fuzzy Boundary Value
- Fuzzy Environments
- Fuzzy Quasi-Metric Space
- Genetic Linkage
- Geometry
- Hamilton Mechanics
- Harmonic Analysis
- Homological Algebra
- Homotopical Algebra
- Hypothesis Testing
- Integrated Analysis
- Integration
- Large-scale Survey Data
- Latin Squares
- Lie Algebra
- Lie Superalgebra
- Lie Theory
- Lie Triple Systems
- Loop Algebra
- Matrix
- Microarray Studies
- Mixed Initial-boundary Value
- Molecular Modelling
- Multivariate-Normal Model
- Noether's theorem
- Non rigid Image Registration
- Nonlinear Differential Equations
- Number Theory
- Numerical Solutions
- Operad Theory
- Physical Mathematics
- Quantum Group
- Quantum Mechanics
- Quantum electrodynamics
- Quasi-Group
- Quasilinear Hyperbolic Systems
- Regressions
- Relativity
- Representation theory
- Riemannian Geometry
- Robust Method
- Semi Analytical-Solution
- Sensitivity Analysis
- Smooth Complexities
- Soft biometrics
- Spatial Gaussian Markov Random Fields
- Statistical Methods
- Super Algebras
- Symmetric Spaces
- Theoretical Physics
- Theory of Mathematical Modeling
- Three Dimensional Steady State
- Topologies
- Topology
- mirror symmetry
- vector bundle

- Total views:
**11863** - [From(publication date):

specialissue-2015 - Dec 14, 2017] - Breakdown by view type
- HTML page views :
**7927** - PDF downloads :
**3936**

Peer Reviewed Journals

International Conferences
2017-18