ON FULLY COMMUTATIVE ELEMENTS OF TYPE B̃ AND D̃

arXiv:1803.04945v1 [math.GR] 13 Mar 2018

SADEK AL HARBAT
Abstract. We define a tower of injections of B̃-type (resp. D̃-type) Coxeter
groups W (B̃n ) (resp. W (D̃n )) for n ≥ 3. Let W c (B̃n ) (resp. W c (D̃n )) be the set
of fully commutative elements in W (B̃n ) (resp. W (D̃n )), we classify the elements
of this set by giving a normal form for them. We define a B̃-type tower of Hecke
algebras and we use the faithfulness at the Coxeter level to show that this last
tower is a tower of injections. We use this normal form to define two injections
from W c (B̃n−1 ) into W c (B̃n ). We then define the tower of affine Temperley-Lieb
algebras of type B̃ and use the injections above to prove the faithfulness of this
tower. We follow the same track for D̃-type objects.

Affine Coxeter groups; affine Hecke algebra; affine Temperley-Lieb algebra; fully
commutative elements.
1. Introduction
A great deal of this work is a continuation of [3] and [4], that is: giving a reduced
expression that is a normal form for any fully commutative element in B̃-type and
D̃-type Coxeter groups, viewing them as objects in infinite towers and using this view
to show the injectivity of the associated towers of affine Temperley-Lieb algebras. In
the above mentioned works Ã-type and C̃-type were treated.
Let (W, S) be a Coxeter system. We say that w in W is fully commutative if any
reduced expression for w can be obtained from any other using only commutation
relations among the members of the set S. Call the set of such elements W c .
Enumerating fully commutative elements by a normal form is an interesting subject
in its own (see Stembridge [11] for the three infinite families of finite Coxeter groups),
and also has important applications and consequences. For the infinite affine families,
the author treated the Ã-type for a question coming from braid group theory, and,
Date: March 14, 2018.
2010 Mathematics Subject Classification. Primary 20F36, 20F55.
IMAFI, Universidad de Talca.
Supported by FONDECYT grant number 3170544.
1

2

SADEK AL HARBAT

encouraged by a question of Luis Paris, went on, in the same spirit, to treat the three
other affine cases.
First of all it has applications to the study of Temperley-Lieb algebras – which are
quotients of Hecke algebras – since fully commutative elements in a Coxeter group
index at least two known bases of the corresponding Temperley-Lieb algebra. In
particular, as a consequence of the normal form for affine types Ã to D̃, we can
prove the injectivity of associated towers of Temperley-Lieb algebras, by producing
injective towers of the sets of fully commutative elements. It can also be a decisive
tool in the study of traces, particularly traces of Markov type, on those towers of
Temperley-Lieb algebras, as was done in [2].
Other than that, by providing accessible computations of some Kazhdan-Lusztig
polynomials, as was done in [8], it can give a way to attack the study of the 0-1
conjecture, or of a fully commutative version of this conjecture since the general
formulation has proved wrong [10].
In yet another direction, the author in a forthcoming work is giving an explicit
Coxeter-length generating function for fully commutative elements as a direct application of this enumeration, moreover an affine-length generating function (see below).
This gives a clear idea about the growth of the infinite-dimensional affine TemperleyLieb algebras.
Towers are to be defined here on four levels: Coxeter groups and Hecke algebras,
fully commutative elements and Temperley-Lieb algebras; and in two affine types B̃
and D̃. We prove the injectivity on the Coxeter group level, a crucial step towards
injectivity on the Hecke level, which is more technical though.
We gave proofs of injectivity of the tower of affine Hecke algebras over the field
Q[q, q −1] in [1, Proposition 4.3.3] for type Ã and in [4, Proposition 3.3] for type C̃,
using specialization at q = 1, that maps Hecke algebras onto group algebras. We give
here a proof of injectivity for type B̃ which is independent of the ring of definition
and goes as well for type C̃, hence extending the result in [4]. But for D̃-type the
proof keeps similar to type Ã and needs the same condition on the ground ring.
Let us pause for this. An element in a Coxeter group is called rigid if it has
only one reduced expression. In the monomorphisms W (B̃n ) ֒→ W (B̃n+1 ) and
W (C̃n ) ֒→ W (C̃n+1) defined below, the Coxeter generators of the first group map to
rigid elements of the second; however this does not hold for W (Ãn ) ֒→ W (Ãn+1) nor
W (D̃n ) ֒→ W (D̃n+1 ). The author believes that our proof for type B̃ is generic for
any reflexion subgroup of a Coxeter group whenever the reflexions are rigid!
Precisely, recall from [6] that a subgroup Y of a Coxeter group (W, S) generated by reflexions is itself a Coxeter group (Y, SY ) with a canonical set of reflexions
SY . Paolo Sentinelli has recently asked whether, in this situation, the corresponding

TOWERS OF FULLY COMMUTATIVE ELEMENTS OF TYPE B̃ AND D̃

3

Hecke algebras embed accordingly. Actually the existence of such a morphism is not
guaranteed. For instance, there is no morphism of Hecke algebras attached to the
monomorphism β : W (B̃n ) ֒→ W (C̃n ) in §2 (see Remark 2.3). The author believes
the following: if there exists a corresponding homomorphism of Hecke algebras, then
it is injective, and in the case where the elements of SY are rigid in (W, S), that it
can be proved by elaborating on the present proof in type B̃.
The classification of fully commutative elements and the proof of injectivity of the
towers of Temperley-Lieb algebras in the four affine types are based on the notion
of "affine length", this is to be explained briefly as follows: we choose to see any
affine Coxeter group as an "affinization" of a finite Coxeter group in the obvious way
(but for the case of B̃-type which can be viewed as an extension of either B-type
or D-type, we choose the latter for technical reasons). This "affinization" is simply
adding a simple reflexion, say a, as follows:
...

...

a
...

...

a

...

a
a

...
Figure 1. A to Ã ; B to C̃ ; D to B̃ and D̃
We thus define the affine length of any fully commutative element to be the number
of occurrences of a in a (hence any) reduced expression for this fully commutative

4

SADEK AL HARBAT

element. More general: Let (W, S) be any Coxeter group; for any w in W c , let a be
any element of S, then the number of occurrences of a in any reduced expression of
w is independent of the reduced expression, by Matsumoto’s theorem.
Moreover, by distinguishing this a we see simply and directly the construction of
towers of each type, based on the morphisms in §2.2 that map, say, an to a suitable
conjugate of an+1 while fixing the other generators. In types B̃ and C̃, these morphisms Ln and Fn have a remarkable property: the image of an is rigid, as mentioned
previously. Furthermore, for those two types, the braid relation involving a has even
length so that the affine length can be defined for any element of the Coxeter group.
Eventually we prove that these two morphisms preserve reduced expressions (Corollary 2.7), a key argument for proving the injectivity of the tower of Hecke algebras.
This work is to be presented as follows: in the section 2 we give our notation
for the presentation of the Coxeter groups we will be working on, including the
"affinization" explained above. We define morphisms between them that give rise
to injective towers of affine Coxeter groups of a given type (Corollary 2.2). With
a closer examination we prove that in types B̃ and C̃ those morphisms preserve
reduced expressions (Theorem 2.6 and Corollary 2.7).
Then in section 3 we define the corresponding towers of Hecke algebras. We give
a proof of their faithfulness in types B̃ and C̃ over any ring (i.e. commutative ring
with identity) where q is invertible. The proof relies on Corollary 2.7 that is not
available in type D̃. For type D̃ the faithfulness of the tower of Hecke algebras can
be proven on Q[q, q −1 ] as was done before in [1].
In section 4 we recall the normal form given by Stembridge for D-type fully commutative elements [11, Theorem 10.1] and present our normal form for B̃-type and
D̃-type fully commutative elements. In both cases we distinguish between two types
of elements of affine length at least 2, that we call simply first type elements and
second type elements. Elements of affine length 1 cannot be attached to these two
categories without ambiguity so we keep them apart.
We show in section 5 that the normal form of a fully commutative element in
W (B̃n ) (resp.W (D̃n ) can be transformed into the normal form of a fully commutative
element in W (B̃n+1) (resp.W (D̃n+1 ) in two different ways, that actually coincide for
first type elements and elements of affine length one. We obtain two injective maps
I and J that play an essential part in section 6, where we study the morphisms
of Temperley-Lieb algebras Qn : T LB̃n (q) −→ T LB̃n+1 (q) and Pn : T LD̃n (q) −→
T LD̃n+1 (q) induced from the morphisms of Hecke algebras of section 3.
Indeed, we can describe the image of a basis element indexed by a fully commutative element w as a linear combination of basis elements in which the terms

TOWERS OF FULLY COMMUTATIVE ELEMENTS OF TYPE B̃ AND D̃

5

of highest affine length and highest Coxeter length are indexed by I(w) and J(w)
(Lemma 6.2 and Proposition 6.3; Proposition 6.6) or by I(w) and some I(w̄) when
w has affine length 1 in type D̃ (Lemma 6.7). This implies the faithfulness of the
towers of Temperley-Lieb algebras: Theorem 6.4 and Theorem 6.8.
2. Faithful towers of Coxeter groups
Let (W (Γ), S) be a Coxeter system with associated Coxeter diagram Γ. Let
w ∈ W (Γ) or simply W . We denote by l(w) the length of a (any) reduced expression of w. We define L (w) to be the set of s ∈ S such that l(sw) < l(w), in
other terms s appears at the left edge of some reduced expression of w. We define
R(w) similarly, on the right.
2.1. Presentations of Dn+1 , D̃n+1 , B̃n+1 , C̃n+1 . For n ≥ 3 consider the D-type
Coxeter group with n + 1 generators W (Dn+1 ), with the following Coxeter diagram:
σ1̄

...
σ1

σ2

σn−1

σ3

σn

Figure 2. Dn+1
Now let W (D̃n+1) be the affine Coxeter group of D̃-type with n + 2 generators
in which W (Dn+1 ) could be seen a parabolic subgroup in two ways. We make our
choice by presenting W (D̃n+1) with the following Coxeter diagram:
σ1̄

σn̄

...
σ1

σ2

σ3
Figure 3. D̃n+1

σn−1

σn

6

SADEK AL HARBAT

In other words the group W (D̃n+1 ) has a presentation given by the set of generators
{σ1 , σ1̄ . . . , σn−1 , σn̄ , σn } and the relations:
σ1̄2 = σn̄2 = 1 and σi2 = 1 for 1 ≤ i ≤ n;
σi σj = σj σi for 1 ≤ i, j ≤ n, |i − j| ≥ 2;
σi σ1̄ = σ1̄ σi
for i 6= 2;
σi σn̄ = σn̄ σi for i 6= n − 1;
σi σi+1 σi = σi+1 σi σi+1 for 1 ≤ i ≤ n − 1;
σ2 σ1̄ σ2 = σ1̄ σ2 σ1̄ ;
σn−1 σn̄ σn−1 = σn̄ σn−1 σn̄ ;
Now let W (B̃n+1 ) be the affine Coxeter group of B̃-type with n + 2 generators in
which W (Dn+1 ) is naturally a parabolic subgroup, as seen in the following Coxeter
diagram:
σ1̄

...
σ1

σ2

σ3

σn

tn+1

Figure 4. B̃n+1
In other words the group W (B̃n+1) has a presentation given by the set of generators
{σ1 , σ1̄ , . . . , σn , tn+1 } and the relations:
t2n+1 = 1, σ1̄ 2 = 1 and σi2 = 1 for 1 ≤ i ≤ n;
σi σj = σj σi for 1 ≤ i, j ≤ n, |i − j| ≥ 2;
σi tn+1 = tn+1 σi for 1 ≤ i < n;
σ1̄ tn+1 = tn+1 σ1̄ ;
σi σ1̄ = σ1̄ σi for i = 1 or 3 ≤ i;
σi σi+1 σi = σi+1 σi σi+1 for 1 ≤ i ≤ n − 1;
σ1̄ σ2 σ1̄ = σ2 σ1̄ σ2 ;
σn tn+1 σn tn+1 = tn+1 σn tn+1 σn .
Now we consider the C̃-type Coxeter group with n+2 generators W (C̃n+1 ), having
as Coxeter diagram:

TOWERS OF FULLY COMMUTATIVE ELEMENTS OF TYPE B̃ AND D̃

7

...
t = σ0

σ1

σn−1

σ2

σn

tn+1

Figure 5. C̃n+1
In other terms we generate W (C̃n+1 ) by {σ0 , σ1 , . . . , σn , tn+1 } subject to the following relations:
t2n+1 = 1 and σi2 = 1 for 0 ≤ i ≤ n;
σi σj = σj σi for 0 ≤ i, j ≤ n, |i − j| ≥ 2;
σi tn+1 = tn+1 σi for 0 ≤ i < n;
σi σi+1 σi = σi+1 σi σi+1 for 1 ≤ i ≤ n − 1;
σ0 σ1 σ0 σ1 = σ1 σ0 σ1 σ0 ;
σn tn+1 σn tn+1 = tn+1 σn tn+1 σn .
2.2. Faithfulness of towers of B̃-type and D̃-type affine Coxeter groups.
In [4, Corollary 2.2] the author has defined a faithful tower of C̃-type Coxeter groups
by defining the following homomorphism for n ≥ 2 and proving its injectivity:
Fn : W (C̃n ) −→ W (C̃n+1 )
σi 7−→ σi
for 0 ≤ i ≤ n − 1
tn 7−→ σn tn+1 σn

(1)

We define in a similar way the two following homomorphisms:
Ln : W (B̃n ) −→ W (B̃n+1 )
σi 7−→ σi
for 1 ≤ i ≤ n − 1
σ1̄ 7−→ σ1̄
tn 7−→ σn tn+1 σn

(2)

Gn : W (D̃n ) −→ W (D̃n+1 )
σi 7−→ σi
for 1 ≤ i ≤ n − 1
σ1̄ 7−→ σ1̄
σn−1
¯ 7−→ σn σn−1 σn̄ σn−1 σn

(3)

8

SADEK AL HARBAT

In [9, §1.13] we see that for n > 2, in W (C̃n+1 ) the subgroup generated by
{tσ1 t, σ1 , σ2 , . . . , σn , tn+1 } is exactly W (B̃n+1 ), and in the later the subgroup generated by {tσ1 t, σ1 , σ2 , . . . , σn , tn+1 σn tn+1 } is indeed W (D̃n+1 ). It is convenient to
denote respectively β and δn+1 those inclusion maps (that is, β(σ1̄ ) = tσ1 t and
δn+1 (σn̄ ) = tn+1 σn tn+1 , in such a way that we have the following lemma:
Lemma 2.1. The diagram commutes for any n > 2
W (C̃n )

Fn

β

W (C̃n+1)
β

W (B̃n )

Ln

W (B̃n+1 )
δn+1

δn

W (D̃n )

Gn

W (D̃n+1 )

Corollary 2.2. Ln and Gn are injections.
Remark 2.3. The horizontal morphisms in the previous lemma, namely Fn , Ln and
Gn , can be defined on the corresponding braid groups (by mapping tn to σn tn+1 σn −1
−1
−1
for Fn and Ln , or mapping σn−1
for Gn ). They thus define
¯ to σn σn−1 σn̄ σn−1 σn
morphisms of algebra on the braid group algebras and, after taking quotients, on the
Hecke algebras studied in the next section. This is not the case for δn or β.
2.3. Further properties of the towers in type B̃ and C̃. We now remark that,
in the groups W (B̃n+1) and W (C̃n+1 ), the only braid relation involving tn+1 (apart
from commutation relations) is
tn+1 σn tn+1 σn = σn tn+1 σn tn+1

(4)

where the number of occurrences of tn+1 is the same on both sides. It follows (recall [5,
§1.5 Proposition 5]) that the number of times tn+1 occurs in a reduced expression of
an element of W (B̃n+1 ) or W (C̃n+1 ) does not depend of this reduced expression.

TOWERS OF FULLY COMMUTATIVE ELEMENTS OF TYPE B̃ AND D̃

9

Definition 2.4. Let u ∈ W (B̃n+1 ) or W (C̃n+1). We define the affine length of u to
be the number of times tn+1 occurs in a (any) reduced expression of u. We denote it
by L(u).
In the group W (D̃n+1 ), the braid relation σn−1 σn̄ σn−1 = σn̄ σn−1 σn̄ prevents us
from giving the same definition, except for fully commutative elements as we will see
below (Definition 4.5).
We will now examine more closely the monomorphisms Fn : W (C̃n ) −→ W (C̃n+1)
and Ln : W (B̃n ) −→ W (B̃n+1 ) and show that they preserve the affine length and
transform the Coxeter length of some w into l(w) + 2L(w). In other words, when
substituting σn tn+1 σn to tn in a reduced expression for w, we obtain a reduced
expression for the image of w.
We let in this subsection Wn be W (C̃n ) or W (B̃n ), with set of generators Sn =
Σ ∪ {tn } while Wn+1 has Sn+1 = Σ ∪ {σn , tn+1 } as set of generators. We let I be
either Fn or Ln , i.e. I is the monomorphism from Wn to Wn+1 that is the identity
on generators in Σ and maps tn to σn tn+1 σn . We also let WΣ be the subgroup of Wn
generated by Σ.
Lemma 2.5. Let x be in I(Wn ) then:
(a) tn+1 x = xtn+1 ;
(b) If σn x = xσn then I(tn )x = xI(tn );
(c) If xtn+1 σn = σn tn+1 x then I(tn )x = xI(tn );
Proof. (a) Indeed tn+1 commutes with generators in Σ and the braid relation (4)
expresses commutation with T (tn ). (b) follows immediately.
Using (a) the assumption in (c) can be written xσn x−1 = tn+1 σn tn+1 , hence by (4):
xσn x−1 = σn tn+1 σn tn+1 σn = (σn tn+1 σn )σn (σn tn+1 σn ) = I(tn )σn I(tn ).
So I(tn )x commutes with σn , hence with I(tn ) by (b), which gives
I(tn )I(tn )x = I(tn )xI(tn ), that is I(tn )x = xI(tn ).



We now remember [5, Ch. IV, §1.4]. Given a Coxeter system (W, S), we attach to any finite sequence s = (s1 , · · · , sr ) of elements in S, the multiset Φ(s) =
{{h1 , · · · , hr }} of elements in W defined by:
hj = (s1 · · · sj−1) sj (s1 · · · sj−1)−1

for 1 ≤ j ≤ r.

10

SADEK AL HARBAT

We write MCard Φ(s) for the multi-cardinal of Φ(s), i.e.the number of elements in the
multiset Φ(s), namely r here, and Card Φ(s) for the cardinality of the set underlying
Φ(s). We know from loc.cit. Lemma 2 that:
the product s1 · · · sr is a reduced expression of the element s1 · · · sr in W if and
only if MCard Φ(s) = Card Φ(s), that is, all elements in the multiset are distinct.
We now let w ∈ Wn and fix a reduced decomposition of w as follows :
w = u0 tn u1 . . . us−1 tn us
where u0 , · · · , us are fixed reduced decompositions of elements in WΣ . In particular
the affine length of w is s. The image I(w) in Wn+1 is
(∗)

I(w) = u0 σn tn+1 σn u1 . . . us−1 σn tn+1 σn us .

We use this fixed expression of I(w) to study what we call, by abuse of language,
Φ(I(w)). We can describe this multiset as a disjoint union of multisets
Φ(I(w)) = I(Φ(w))

G

T1

G

T2

as follows. We develop the expressions of u0 , . . . , us so that (∗) reads I(w) = s1 · · · sr ,
then we have three possibilities for an element hi = (s1 · · · si−1 ) si (s1 · · · si−1 )−1 of
Φ(I(w)):
(1) si ∈ Σ or si = tn+1 ; then hi = xXx−1 where x and X are in I(Wn ). Those
elements make up exactly the multiset I(Φ(w)).
(2) si = σn and si+1 = tn+1 ; then hi = xσn x−1 with x in I(Wn ). Those elements
make up the multiset T1 .
(3) si = σn and si−1 = tn+1 ; then hi = xσn tn+1 σn tn+1 σn x−1 = xtn+1 σn tn+1 x−1
with x in I(Wn ). Those elements make up the multiset T2 .
We have MCard(T1 ) = MCard(T2 ) = L(w) and MCard(I(Φ(w))) = l(w), since
w is given in a reduced expression (we will anyway see it in (1) of the following
theorem). Hence the multi-cardinal of Φ(I(w)) is l(w) + 2L(w). If the elements of
Φ(I(w)) are all distinct, then it is the cardinal.
Theorem 2.6. Let w ∈ Wn and take the above conventions. Then
MCard(Φ(I(w))) = Card(Φ(I(w))) = l(w) + 2L(w).
In particular, substituting σn tn+1 σn to tn in a reduced expression for w produces
a reduced expression for the image I(w) of w.

TOWERS OF FULLY COMMUTATIVE ELEMENTS OF TYPE B̃ AND D̃

11

Proof. Take hi and hj in Φ(I(w)) with i 6= j and suppose that hi = hj . We have six
cases.
(1) hi and hj are in I(Φ(w)): contradicts that w is given in its reduced expression
and I is injective.
(2) hi and hj are in T1 , gives (b) in the above lemma, thus contradicts that w is
given in its reduced expression.
(3) hi and hj are in T2 , gives (b) in the above lemma, thus contradicts that w is
given in its reduced expression.
(4) hi is in I(Φ(w)) and hj is in T1 , gives σn ∈ I(Wn ), hence commutes with tn+1
by (a) in the above lemma, contradiction.
(5) hi is in I(Φ(w)) and hj is in T2 , gives tn+1 σn tn+1 ∈ I(Wn ), hence commutes
with tn+1 by (a) in the above lemma, contradiction.
(6) hi is in T1 and hj is in T2 , gives (c) in the above lemma, thus contradicts that
w is given in its reduced expression.

Corollary 2.7. The monomorphisms
Fn : W (C̃n ) −→ W (C̃n+1)
and

Ln : W (B̃n ) −→ W (B̃n+1 )

satisfy, for any v ∈ W (C̃n ) and for any w ∈ W (B̃n ) :
l(Fn (v)) = l(v) + 2L(v)

and L(Fn (v)) = L(v);

l(Ln (w)) = l(w) + 2L(w) and L(Ln (w)) = L(w).
3. The towers of Hecke algebras
Let for the moment K be an arbitrary commutative ring with identity; we mean by
algebra in what follows K-algebra. We recall [5, Ch. IV §2 Ex. 23] that for a given
Coxeter graph Γ and a corresponding Coxeter system (W (Γ), S), there is a unique
algebra structure on the free K-module with basis {gw | w ∈ W (Γ)} satisfying, for
s ∈ S and a given q ∈ K:
gs gw = gsw
if s ∈
/ L (w),
gs gw = qgsw + (q − 1)gw

if s ∈ L (w).

We denote this algebra by HΓ(q) and call it the the Γ-type Hecke algebra. This
algebra has a presentation (loc.cit.) given by generators {gs | s ∈ S} and relations
gs2 = q + (q − 1)gs
r

(gs gt ) = (gt gs )
r

for s ∈ S,

r

for s, t ∈ S such that st has order 2r,

r

for s, t ∈ S such that st has order 2r + 1.

(gs gt ) gs = (gt gs ) gt

12

SADEK AL HARBAT

We assume in what follows that q is invertible in K. In this case the first defining
relation above implies that gs , for s ∈ S, is invertible with inverse
(5)

gs−1 =

q−1
1
gs +
.
q
q

We consider the Hecke algebras H C̃n (q), of type C˜n , H B̃n (q), of type B˜n , and
H D̃n (q), of type D̃n , which correspond respectively to the Coxeter groups W (C̃n ),
W (B̃n ) and W (D̃n ). The morphisms Fn , Ln and Gn of §2 have a counterpart in the
setting of Hecke algebras, as follows from Remark 2.3 or as can be checked directly,
namely the following morphisms of algebras (where we write carefully ew for the basis
elements of the algebras in rank n, to be reminded of the possible lack of injectivity):

(6)

Rn : H C̃n (q) −→ H C̃n+1 (q)
eσi 7−→ gσi
for 0 ≤ i ≤ n − 1
.
etn 7−→ gσn gtn+1 gσ−1
n
Qn : H B̃n (q) −→ H B̃n+1(q)

(7)

eσ 7−→ gσ

for σ ∈ {σ1 , σ1̄ , . . . , σn }

.
etn 7−→ gσn gtn+1 gσ−1
n
Pn : H D̃n (q) −→ H D̃n+1 (q)
(8)

eσ 7−→ gσ

for σ ∈ {σ1 , σ1̄ , . . . , σn−1 }

g −1 .
7−→ gσn gσn−1 gσn̄ gσ−1
eσn−1
¯
n−1 σn
When K is the ring Q[q, q −1 ] of Laurent polynomials in q with rational coefficients,
we proved in [4, Proposition 3.3] that the morphism Rn is injective, hence producing
a faithful tower of Heche algebras of type C̃. Actually for types C̃ and B̃ we prove
below injectivity for any ground ring K. For type D̃ we keep to the special case
K = Q[q, q −1 ] but we will skip the details of the proof, similar to the proof in
loc.cit.. In any case, injectivity at the level of Hecke algebras is not needed to prove
injectivity for towers of Temperley-Lieb algebras in §6.
3.1. Faithfulness of towers of B̃-type and C̃-type Hecke algebras. For types
B̃ and C̃ the key is the following Proposition:

TOWERS OF FULLY COMMUTATIVE ELEMENTS OF TYPE B̃ AND D̃

13

Proposition 3.1. Let w be any element in W (C̃n ). Then:
Rn (ew ) = Aw gFn (w) +

X

λx g x ,

x∈W (C̃n+1 ),
l(x)<l(Fn (w))
L(x)≤L(w)

where Aw belongs to q Z and the λx belong to K.
The same holds for w ∈ W (B̃n ), replacing Rn by Qn and Fn by Ln .
Proof. This is a direct consequence of Corollary 2.7. To obtain it we use definitions (6) of Rn and (7) of Qn and develop the images Rn (ew ) and Qn (ew ) with the
expression (5) for the inverse of gσn .

Theorem 3.2. Let K be a ring and q be invertible in K. The towers of affine Hecke
algebras:
R

R

R

Q2

Q3

Qn

n
1
2
H C̃n+1(q) −→ · · ·
H C̃1(q) −→
H C̃2 (q) −→
· · · H C̃n (q) −→

H B̃2 (q) −→ H B̃3 (q) −→ · · · H B̃n (q) −→ H B̃n+1(q) −→ · · ·
are towers of faithful arrows.
Proof. We write the proof in case C̃, case B̃ is identical. Assuming a non trivial
dependence relation
X
(∗)
λw Rn (ew ) = 0,
w

c

we let m = max{L(w) | w ∈ W (C̃n ) and λw 6= 0}.
In the development of (∗) on the basis (gx )x∈W (C̃n+1 , the terms gx with non-zero coefficient have L(x) ≤ m and, among those, the ones with L(x) = m come exclusively
P
from L(w)=m λw Rn (ew ). So among those again, using Proposition 3.1, the ones with
maximal Coxeter length are the λw Aw gFn (w) where L(w) = m and l(w) = a, with
a = max{l(w) | L(w) = m and λw 6= 0}. But they are linearly independent, a
contradiction.


3.2. Faithfulness of towers of D̃-type Hecke algebras. For type D̃, as in type
Ã, where the proof of injectivity was given in [1, Proposition 4.3.3], the preceeding
proof cannot be used because the monomorphism Gn defined in Corollary 2.2 does
not transform the length in the linear way Fn and Ln do. The proof of [1, Proposition
4.3.3] or [4, Proposition 3.3] have to be imitated to get the following Proposition.
Since we expect injectivity to be holding more generally, we don’t include the proof.

14

SADEK AL HARBAT

Proposition 3.3. Let K = Q[q, q −1 ]. The homomorphism of algebras
Pn : H D̃n (q) −→ H D̃n+1 (q)
defined in (8) is an injection.
4. Full commutativity and normal forms
4.1. Fully commutative elements. In a given Coxeter group (W, S), we know
that, from a given reduced expression of an element w, we can arrive to any other
reduced expression of w only by applying braid relations [5, §1.5 Proposition 5].
Among these relations there are commutation relations: those that correspond to
generators t and s in S such that st has order 2.
Definition 4.1. Let Γ be a Coxeter diagram. Elements of W (Γ) for which one can
pass from any reduced expression to any other one only by applying commutation relations are called fully commutative elements. We denote by W c (Γ), or simply W c ,
the set of fully commutative elements in W = W (Γ).
We now consider W (Dn+1 ) generated by {σ1 , σ1̄ , . . . , σn }. The set W c (Dn+1 ) is
described by Stembridge in [11]. We use the notation there and the same assumption
that the subword σ1̄ σ1 does not appear (we see it as σ1 σ1̄ for the sake of unicity).
For integers j ≥ i ≥ 2 and k ≥ 1 let:
hi, j] = σi σi+1 . . . σj ; h−i, j] = σi σi−1 . . . σ2 σ1 σ1̄ σ2 . . . σj−1 σj ,
h1, k] = σ1 σ2 . . . σk ; h−1, k] = σ1̄ σ2 . . . σk ; h0, k] = σ1 σ1̄ σ2 . . . σk ;
so that h−1, 1] = σ1̄ and h0, 1] = σ1 σ1̄ . We also let, for convenience and later use:
hn + 1, n] = 1. Then every element of W (Dn+1) has a unique reduced expression of
the form hm1 , n1 ]hm2 , n2 ] . . . hmr , nr ] with n ≥ n1 > n2 > . . . nr ≥ 1 and |mi | ≤ ni
for 1 ≤ i ≤ r (loc.cit. p.1310). Now:
Theorem 4.2. [11, Theorem 10.1] W c (Dn+1 ) is the set of elements with a reduced
expression of the form
(9)

hm1 , n1 ]hm2 , n2 ] . . . hmr , nr ]

with n ≥ n1 > n2 > . . . nr ≥ 1 and |mi | ≤ ni for 1 ≤ i ≤ r, where the occurrences of
1 and −1 alternate and either
(1) m1 > · · · > ms > |ms+1 | = · · · = |mr | = 1 for some s ≤ r, or
(2) m1 > · · · > mr−1 > −mr ≥ 0, mr−1 > 1, and mr 6= −1.

TOWERS OF FULLY COMMUTATIVE ELEMENTS OF TYPE B̃ AND D̃

15

We provide as an example in Appendix A the list of elements of W c (D4 ).
We remark that if r > 1, then hm2 , n2 ] . . . hms , ns ] in (9) above belongs to W c (Dn ).
From now on we will mean by "the form (9)" the form of a fully commutative element
unless we mention otherwise. We notice that if σn appears in form (9) above, then
it appears necessarily in the first term hm1 , n1 ] and either it appears only once and
we have n = n1 6= −m1 , or it appears exactly twice and we have n = n1 = −m1 and
r = 1. Now σn−1 can only appear in the two first terms hm1 , n1 ]hm2 , n2 ] and this
happens if and only if n1 ≥ n − 1. If σn−1 appears more than once, then in form (9)
either n2 = n−1 and n1 = n, in which case the constraints of Theorem 4.2 show that
σn−1 appears at most twice (for if m2 = −(n − 1) then m1 = n); or n2 < n − 1 ≤ n1
and m1 ≤ −(n − 1) so r = 1.
Definition 4.3. An element u in W c (Dn+1 ) is called B̃-extremal if σn appears in a
(any) reduced expression for u. In this case u can be written in form (9) with n1 = n
and either u = h−n, n], or m1 > −n and σn appears only once.
Definition 4.4. An element u in W c (Dn+1 ) is called D̃-extremal if σn−1 appears
twice in a (any) reduced expression for u. In this case u can be written in exactly
one of the four following forms:
• h−(n − 1), n − 1] ;
• h−(n − 1), n] ;
• hn, n]h−(n − 1), n − 1] ;
• hm1 , n]hm2 , n − 1] . . . hmr , nr ] with r ≥ 2 and m1 ≤ n − 1 in addition to the
conditions of Theorem 4.2.
We defined previously the affine length of an element of W (B̃n+1 ) (Definition 2.4),
which we couldn’t do on the full group W (D̃n+1 ) on account of the braid relation
σn−1 σn̄ σn−1 = σn̄ σn−1 σn̄ .
Since the words here cannot be subwords of any reduced expression of an element
of W c (D̃n+1 ), it follows (recall [5, §1.5 Proposition 5]) that the number of times σn̄
occurs in a reduced expression of an element of W c (D̃n+1 ) does not depend of this
reduced expression.
Definition 4.5. Let u ∈ W c (D̃n+1 ). We define the affine length of u to be the number of times σn̄ occurs in a (any) reduced expression of u. We denote it by L(u).
4.2. Reduced expressions of elements of W c (B̃n+1 ).
Lemma 4.6. Let w be a fully commutative element in W (B̃n+1 ) with L(w) = m ≥ 2
for n ≥ 3 . Fix a reduced expression of w as follows:
w = u1 tn+1 u2 tn+1 . . . um tn+1 um+1

16

SADEK AL HARBAT

with ui , for 1 ≤ i ≤ m + 1, a reduced expression of an element in W c (Dn+1 ). Then
u2 , . . . , um are B̃-extremal elements and there is a reduced expression of w of the
form:
(10)

w = hi1 , n]tn+1 hi2 , n]tn+1 . . . him , n]tn+1 vm+1

where vm+1 ∈ W c (Dn+1 ) and one of the following holds:
(1) n + 1 ≥ i1 > · · · > is > |is+1 | = · · · = |im | = 1 for some s ≤ m, and the
occurrences of 1 and −1 alternate, or
(2) n + 1 ≥ i1 > · · · > im−1 > −im ≥ 0, im−1 > 1, and im 6= −1, or
(3) n + 1 ≥ i1 ≥ i2 = · · · = im = −n .
Furthermore, in case (2) we have vm+1 = 1.
Proof. Since tn+1 commutes with W (Dn ), the fact that the expression is reduced
forces ui to be B̃-extremal for 2 ≤ i ≤ m. We use form (9) for u1 and write it as
u1 = hi1 , n]x1 , a reduced expression with x1 in W c (Dn ) and −n ≤ i1 ≤ n + 1. Here
x1 commutes with tn+1 hence we get a reduced expression
w = hi1 , n]tn+1 x1 u2 tn+1 . . . um tn+1 um+1 .
Again x1 u2 ∈ W c (Bn+1 ) has a reduced expression hi2 , n]x2 with −n ≤ i2 ≤ n (since
x1 u2 is B̃-extremal) and x2 in W c (Dn ), and this x2 commutes with tn+1 and can be
pushed to the right, leading to
w = hi1 , n]tn+1 hi2 , n]tn+1 x2 u3 tn+1 . . . um tn+1 um+1 .
Proceeding from left to right we obtain formally form (10).
We now fix j, 1 ≤ j < m.
• If ij+1 = n we must have ij = n + 1 (and j = 1) since, with ij ≤ n,
our expression would contain the braid σn tn+1 σn tn+1 , contradicting the full
commutativity;
• while if ij+1 = −n, then if j = 1, any i1 is possible, but if j > 1 we must have
ij+1 = ij = −n to avoid the braid tn+1 σn tn+1 σn .
• If 1 < |ij+1| < n the reduced expression of u contains the subexpression
hij , n]tn+1 σ|ij+1 | = hij , n]σ|ij+1 | tn+1 = . . . where σ|ij+1 | can be pushed to the
left until we reach, if ij ≤ |ij+1 | the braid σ|ij+1 | σ|ij+1 |+1 σ|ij+1 | , again a contradiction to the full commutativity; hence we have ij > |ij+1 |.
• If |ij+1 | = 1 the same argument, pushing σ1 or σ1̄ to the left, past tn+1 and
further, shows that we must have ij > 1 or ij = −ij+1 , otherwise we would
get the braid σ1 σ2 σ1 or σ1̄ σ2 σ1̄ .
• Finally if ij+1 = 0, we must have ij > 1 to avoid the braids σ1 σ2 σ1 and
σ1̄ σ2 σ1̄ .

TOWERS OF FULLY COMMUTATIVE ELEMENTS OF TYPE B̃ AND D̃

17

Putting together the above rules gives the possibilities announced and a similar
argument provides the last assertion.

This lemma leads directly to the classification of fully commutative elements in
W (B̃n+1 ).
Theorem 4.7. Let n ≥ 3. Let w ∈ W c (B̃n+1 ) with L(w) ≥ 2. Then w can be written
in a unique way as a reduced word of one and only one of the following two forms,
for non negative integers p and k:
First type:
(11)

w = h−i, n]tn+1 (h−n, n] tn+1 )k hf, n]−1
with −n ≤ i ≤ n + 1 and −n ≤ f ≤ n + 1.
We call such elements quasi-rigid because their reduced expression is unique
up to replacing σ1 σ1̄ by σ1̄ σ1 .

Second type:
(12)
w = hi1 , n] tn+1 . . . hip , n] tn+1 hj1 , n] tn+1 hj2 , n] tn+1 . . . hjk , n] tn+1 wr
w = hj1 , n] tn+1 hj2 , n] tn+1 . . . hjk , n] tn+1 wr

if p = 0,

w = hi1 , n] tn+1 hi2 , n] tn+1 . . . hip , n] tn+1 wr

if k = 0,

if p > 0,

with wr ∈ W c (Dn+1 ) and
• if k > 0:
– for 1 ≤ s ≤ k, we have js = (−1)a+s for some integer a, that is to
say js = ±1 and 1 and −1 alternate ;
– and wr = h(−1)a+k+1 , r1 ]h(−1)a+k+2 , r2 ] . . . h(−1)a+k+u , ru ]
with 1 ≤ ru < · · · < r1 ≤ n ;
• if p > 0: n + 1 ≥ i1 > ... > ip−1 > |ip | ;
• if p > 0 and ip ≤ 0: k = 0, wr = 1 and ip 6= −n ;
• if k = 0 and ip > 0: wr is of form (9) with |m1 | < ip .
The affine length of w of the first (resp. second) type is k + 1 (resp. p + k) and
we have 0 ≤ p ≤ n + 1.
Now suppose that L(w) = 1, then w has a unique reduced expression of the form:
(13)

hi, n] tn+1 v

where −n ≤ i ≤ n + 1 and v ∈ W c (Bn+1 ) and:

18

SADEK AL HARBAT

• if 1 < i ≤ n + 1 then v is of the form (9) such that for 1 ≤ j ≤ r either
mj = n − j + 1 or |mj | < i;
• if i ≤ 0 and i 6= −1 then v = hh, n]−1 with −n ≤ h ≤ n + 1;
• if i = (−1)a , then either v = hh, n]−1 for −n ≤ h ≤ n + 1, or
v = h(−1)a+1 , r1 ]h(−1)a+2 , r2 ] . . . h(−1)a+u , ru ] with 1 ≤ ru < · · · < r1 ≤ n.
Conversely, every w of the above form is in W c (B̃n+1 ).
Proof. We start with an element w ∈ W c (B̃n+1 ) with L(w) = m ≥ 2, written as in
(10). Lemma 4.6 provides us with a good part of the Theorem. Indeed we already
know that the sequence i1 , . . . , im either stops at the first non-positive integer or
stabilizes as a sequence of alternating 1 and −1 or as a sequence of −n, whence the
classification into first and second type. So we just have to deal with the final term
wr , with the same kind of arguments as in the proof of Lemma 4.6.
For an element of first type, any reduced expression of wr must start with σn ,
actually it must be some right truncation of h−n, n], otherwise we would produce a
braid and full commutativity would fail. The easiest way to write it is (hf, n])−1 .
For an element of second type with k > 0, any reduced expression of wr must start
with σ1 if jk = −1 or σ1̄ if jk = 1. Writing wr = hm1 , n1 ]hm2 , n2 ] . . . hmu , nu ] in form
(9) we see from the conditions of Theorem 4.2 that indeed ms = (−1)a+k+s .
The fact that wr = 1 for p > 0 and ip ≤ 0 is stated in Lemma 4.6. Now if k = 0
and ip > 0 we write again wr in form (9) and check that the only additional condition
is |m1 | < ip .
For an element w = hi, n] tn+1 , v ∈ W c (B̃n+1 ) of affine length 1, the arguments are
similar, using form (9) for v. If i < −1 or i = 0, any reduced expression of v must
start with σn on the left and must be some right truncation of h−n, n], that is, some
hh, n]−1 . If i = ±1, such elements hh, n]−1 are suitable, as well as those in form (6)
that start with σ1 if i = −1 or σ1̄ if i = 1, whence the result as previously.
Assume now that i > 1 and write v = hm1 , n1 ]hm2 , n2 ] . . . hmu , nu ] in form (9). If
i = n + 1, there is no further condition on v, while if i ≤ n, any reduced expression
of v must start with σn or with σt with t < i.
The fact that any element of one of these forms is fully commutative is proven by
an easy induction.

We remark that elements of the first type and elements of affine length 1 of the
form hi, n] tn+1 hh, n]−1 have a unique reduced expression. Moreover, an element of
affine length at least 2 has a unique reduced expression if and only if it is of the first
type. Inserting the elements of affine length 1 in the first type and second type sets
would not have given us a partition of the set of those elements, as we can see in the

TOWERS OF FULLY COMMUTATIVE ELEMENTS OF TYPE B̃ AND D̃

19

example of W c (B̃4 ) listed in Appendix B. This is the reason why we handle them
separately.
Remark 4.8. We did not include W c (B̃3 ) in the theorem of classification because it
is clear from the pushing algorithm in the Theorem that W (B̃n ) is an "affinization"
of W (Dn ) for n ≥ 4, which is not the case of W (B̃3 ) which can be looked at as an
affinisation of W (B2 ) or W (A3 ). The classification of elements in W c (B̃3 ) is fairly
easy, we leave it to the reader by recommending to consider our algorithm of pushing
while sseing it as an affinisation of W (B2 ). We choose to list in the Appendix W (B̃4 ).
4.3. Reduced expressions of elements of W c (D̃n+1 ). We call ψ1 (resp. ψn ) the
automorphism of W (D̃n+1 ) that exchanges σ1̄ with σ1 (resp. σn̄ with σn ) and fixes
the other generators.
Lemma 4.9. Let w be a fully commutative element in W (D̃n+1 ) with L(w) = m ≥ 2.
Fix a reduced expression of w as follows:
w = u1 σn̄ u2 σn̄ . . . um σn̄ um+1
with ui , for 1 ≤ i ≤ m + 1, a reduced expression of a fully commutative element
in W c (Dn+1 ). Then u2 , . . . , um are D̃-extremal elements, and there is a reduced
expression of w of the form:
(14)

w = hi1 , n]hj1 , n − 1]σn̄ hi2 , n]hj2 , n − 1]σn̄ . . . him , n]hjm , n − 1]σn̄ vm+1

where vm+1 ∈ W c (Dn+1 ), i1 = n + 1 or |i1 | ≤ n, j1 = n or |j1 | ≤ n − 1, |j1 | < i1
or j1 = −i1 = ±1, and for 2 ≤ t ≤ m the elements hit , n]hjt , n − 1] belong to the
following list:
(a) hn + 1, n]h−(n − 1), n − 1] = h−(n − 1), n − 1],
(15)

(b)

hn, n]h−(n − 1), n − 1] = σn h−(n − 1), n − 1],

(c) hi, n]hj, n − 1] with 2 ≤ i ≤ n − 1 and |j| < i,
(d)

hi, n]hj, n − 1] with i = −j = ±1.

Proof. Since σn̄ commutes with all the generators but σn−1 , every two consecutive
occurrences of σn̄ must have in between an occurrence of σn−1 , for the sake of keeping
the expression reduced, and this occurrence must be properly more than once, for
the sake of full commutativity; this shows that the ui with 2 ≤ i ≤ m must be
D̃-extremal.
Now we proceed as in the proof of Lemma 4.6: we use form (9) for u1 and push
the terms hmi , ni ] with ni < n − 1 to the right of the leftmost σn̄ (as well as the
term σn if n1 = n and n2 < n − 1, so that the term hi1 , n]hj1 , n − 1], if non trivial,
has |j1 | ≤ n − 1), then we repeat this procedure with the new u2 thus obtained and

20

SADEK AL HARBAT

the σn̄ appended at its right, and so on, until we get formally form (14). For the
rest it is sufficient to see Definition 4.4 and notice that, in the D̃-extremal element
h−(n − 1), n] = h−(n − 1), n − 1]σn , the rightmost term σn can also be pushed to the
right of the σn̄ that follows it on its right, so that this element is not needed in the
list.

Lemma 4.10. Let w be a fully commutative element in W (D̃n+1 ) with L(w) = m ≥ 2.
We write w in form (14) from Lemma 4.9. For 2 ≤ t ≤ m we have either it > 0 or
it = −1. Furthermore:
(1)
(2)
(3)
(4)

If jt > 1 and t ≤ m − 1, then |it+1 | < jt < it .
If −(n − 1) < jt < −1 or jt = 0, then t = m and vm+1 = 1.
If jt = ±1 then is = −jt = −js for all s > t, s ≤ m.
If jt = −(n − 1) then js = −(n − 1) for 2 ≤ s ≤ m and is = n for 2 < s ≤ m
while i2 = n or n + 1.

Proof. We refer to the element vt = hit , n]hjt , n − 1] according to list (15) in Lemma
4.9. We remark from that list that either it > 0 or it = −1. We call an expression
σa1 . . . σau admissible if it is the reduced expression of a fully commutative element.
In case (1) the element vt has form (c) with j > 1. Now hi, n]hj, n − 1]σn̄ σs is
admissible if and only if s < j or σs = σ1̄ , since as before: σn (resp. σn−1 , resp. σu
with j ≤ u < n − 1) would produce the braid σn σn−1 σn (resp. σn−1 σn̄ σn−1 , resp.
σu σu+1 σu ).
In case (2) the element vt has form (c) with −(n − 1) < j < −1 or j = 0. There
is no generator σs that can make hi, n]hj, n − 1]σn̄ σs admissible.
In case (3) indeed the element vt has form (c) or (d). Again σn h−1, n − 1]σn̄ σs is
admissible if and only if σs = σ1 . Applying ψ1 gives the other case.
In case (4) the element vt has form (a) or (b). We note that h−(n − 1), n − 1]σn̄ σs
is admissible if and only if σs = σn , so the only choice for vt+1 is form (b). We now
look for possible forms of vt−1 using the previous cases : forms (c) and (d) cannot
be followed by form (a) or (b); forms (a) and (b) are followed by (b). Hence v2 may
have form (a) while vs for 2 < s ≤ m must have form (b).

These lemmas are the key to the normal form of fully commutative elements in
W (D̃n+1 ).
Theorem 4.11. Let w ∈ W c (D̃n+1 ) with L(w) ≥ 2. Then w can be written in a
unique way as a reduced word of one and only one of the following two forms, for
non negative integers p and k:
First type:
(16)

w = (σn̄ )ǫ σnη hi, n − 1]σn̄ (σn h−(n − 1), n − 1] σn̄ )k hf, n]−1

TOWERS OF FULLY COMMUTATIVE ELEMENTS OF TYPE B̃ AND D̃

21

with −n ≤ f ≤ n + 1, −(n − 1) ≤ i ≤ n, ǫ = 0 or 1, η = 0 or 1,
ǫη = 0 and if ǫ + η > 0 then i = −(n − 1). In other words the term
(σn h−(n − 1), n − 1] σn̄ )k may be preceded either by σn h−(n − 1), n − 1]σn̄ or
hi, n − 1]σn̄ with −(n − 1) ≤ i ≤ n, or by σn̄ h−(n − 1), n − 1]σn̄ .
Second type:
(17)
w = hi1 , n]hj1 , n − 1] σn̄ . . . hip , n]hjp , n − 1] σn̄ (h−1, n]h1, n − 1] σn̄ )k wr
w = (h−1, n]h1, n − 1] σn̄ )k wr

if p > 0,

if p = 0,

with wr ∈ W c (Dn+1 ) and
• if p > 0: n + 1 ≥ i1 > j1 > i2 > j2 ... > ip > |jp | ≥ 0, ip > 1, jp 6= −1 ;
• if p > 0 and jp ≤ 0 : k = 0, wr = 1 and jp 6= −(n − 1);
• if k = 0 and jp > 1: wr is of form (9) such that |m1 | < jp ;
• if k > 0 or if k = 0 and jp = 1: wr = h−1, r1 ]h1, r2 ] . . . h(−1)u , ru ] with
1 ≤ ru < · · · < r1 ≤ n and 1, −1 alternate;
or w is the image under ψ1 of such an element (in this case one must replace
the condition jp 6= −1 by jp 6= 1).
The affine length of w of the first (resp. second) type is k + 1 + ǫ (resp. p + k) and
we have 0 ≤ p ≤ n−1
.
2
Now suppose that L(w) = 1, then it has a unique reduced expression of the form:
(18)

hi, n]hj, n − 1]σn̄ v

where v ∈ W c (Dn+1 ) has form (9) and

• either i = n + 1, j = n and v is arbitrary,
• or |j| ≤ n − 1, i = −1 or 1 ≤ i ≤ n + 1, |j| < i or j = −i = ±1 , and:
– if |j| = 1 and i ≤ n then L (v) ⊆ {σ−j } (with the convention σ−1 = σ1̄ );
– if |j| = 1 and i = n + 1 then L (v) ⊆ {σ−j , σn };
– if j < −1 or j = 0, and i ≤ n, then v = 1;
– if j < −1 or j = 0, and i = n+1, then v = hf, n]−1 with −n ≤ f ≤ n+1;
– if j > 1 and i ≤ n then |m1 | < j;
– if j > 1 and i = n + 1 then either |m1 | < j or, for some s ≤ r,
m1 = n1 = n, . . . , ms = ns = n − s + 1, |ms+1 | < j.
Conversely, every w of the above form is in W c (D̃n+1 ).
Proof. Let w be a fully commutative element in W (D̃n+1 ) with L(w) = m ≥ 2, written in form (14) from Lemma 4.9. We consider the terms hit , n]hjt , n − 1] in w for

22

SADEK AL HARBAT

2 ≤ t ≤ m.
If one of them has form (a) or (b), we know from Lemma 4.10 (4) that all of them
have form (b) except possibly the first one that can have form (a), we thus get some
power of σn h−(n−1), n−1] σn̄ : this is the first type. Same arguments as in the proof
of this lemma show that the rightmost term vm+1 has to be some right truncation of
σn h−(n − 1), n − 1]σn , more easily written in the form hf, n]−1 with −n ≤ f ≤ n + 1.
We now check the conditions on the introductory term v1 = hi1 , n]hj1 , n − 1].
If the term with t = 2 has form (b) we have to find conditions for the expression
v1 σn̄ σn h−(n − 1), n − 1] to be admissible. If non trivial, v1 ends with σn−1 by the
assumption |j1 | < i1 and if it contains a σn (i.e. |i1 | ≤ n) we must have j1 = −(n − 1)
to forbid the braid σn σn−1 σn (remember that σn̄ and σn commute). So there is no
choice but i1 = n. We thus have a left truncation of σn h−(n − 1), n − 1].
If the term with t = 2 has form (a) we inspect v1 σn̄ h−(n − 1), n − 1]. If non trivial,
v1 must end with σn , which is against our convention in Lemma 4.9, so v1 is trivial,
hence the form for the first type.
Otherwise those terms have form (c) or (d) and we know from Lemma 4.10 (1)
that at most the [n/2] first terms may have form (c), so eventually, for t big enough,
all the terms will have form (d), i.e. we get some power of h−1, n]h1, n − 1] σn̄ or
of its image under ψ1 : this is the second type. We check first the form of vm+1 .
The proof of Lemma 4.10 (3), resp. (2), resp. (1), gives the case where k > 0,
resp. k = 0 and jp ≤ 0, resp. k = 0 and jp > 0. The form of the introductory term
hi1 , n]hj1 , n − 1] σn̄ . . . hip , n]hjp , n − 1] σn̄ is an immediate consequence of the previous
lemmas.
We have n + 1 ≥ i1 ≥ ip + 2p ≥ 2 + 2p hence p ≤

n−1
.
2

If w has affine length 1, as in the proof of Lemma 4.9, we use the fact that σn̄
commutes with all generators except σn−1 to obtain the expression hi, n]hj, n − 1]σn̄ v
where either |j| ≤ n − 1 or j = n and i = n + 1. The various cases are obtained in
the same way as previously, we do not detail this.

We note that the element of affine length 2
σn̄ h−(n − 1), n − 1] σn̄ hf, n]−1
is a first type element. Inserting the elements of affine length 1 in the first type and
second type sets would not have given us a partition of the set of those elements as
we can see in the example in W c (D̃4 ) given in Appendix C. This is the reason why
we handle them separately.

TOWERS OF FULLY COMMUTATIVE ELEMENTS OF TYPE B̃ AND D̃

23

5. The towers of fully commutative elements
When a Coxeter group is a parabolic subgroup of another, full commutativity is
preserved by the natural injection. This is not the case for the embeddings defined in
Corollary 2.2: the monomorphism Gn : W (D̃n ) −→ W (D̃n+1 ) does not preserve full
commutativity, even for the simple reflexion σn−1
¯ , while Ln : W (B̃n ) −→ W (B̃n+1 )
preserves the full commutativity of first type elements and elements of affine length
1 in W c (B̃n ), but does not preserve it for tn σn−1 tn , for example, in the set of second
type fully commutative elements. We will use the normal form for fully commutative
elements established in Theorem 4.11 (resp. Theorem 4.7) to produce embeddings
from W c (B̃n ) into W c (B̃n+1 ) and from W c (D̃n ) into W c (D̃n+1 ).
5.1. The tower of B̃-type fully commutative elements. For n > 2, we denote
by W1c (B̃n ) the set of first type fully commutative elements in addition to fully
commutative elements of affine length 1, and by W2c (B̃n ) the set of second type fully
commutative elements. We thus have the following partition (under the convention
D3 := A3 ):
G
G
W c (B̃n ) = W1c (B̃n ) W2c (B̃n ) W c (Dn ).

Definition 5.1. For any w ∈ W c (B̃n ) we define elements I(w) and J(w) of W (B̃n+1 )
by the following expressions:
• if w ∈ W2c (B̃n ), then I(w) (resp. J(w)) is obtained by substituting σn tn+1
(resp. tn+1 σn ) to tn in the normal form (12) for w;
• if w ∈ W1c (B̃n ), then I(w) = J(w) is obtained by substituting σn tn+1 σn to tn
in the normal form (11) or (13) for w;
• if w ∈ W c (Dn ), then I(w) = J(w) = w.

Theorem 5.2. For any w ∈ W c (B̃n ), the expressions for I(w) and J(w) in Definition 5.1 are reduced and they are reduced expressions for fully commutative elements
in W (B̃n+1). The maps thus defined:
I, J : W c (B̃n ) −→ W c (B̃n+1 )
are injective, preserve the affine length and satisfy
l(I(w)) = l(J(w)) = l(w) + L(w)
l(I(w)) = l(J(w)) = l(w) + 2L(w)

for w ∈ W2c (B̃n ),
for w ∈ W1c (B̃n ).

The injections I and J map first type (resp. second type) elements to first type (resp.
F
second type) elements and their images intersect exactly on I(W1c (B̃n ) W c (Dn )).

24

SADEK AL HARBAT

Proof. The proof is mutatis mutandis the proof of [4, Theorem 5.2]. We will only
emphasize the main fact, which must be kept in mind for the applications. For an
element w of the second type, the expression of J(w) is obtained by substituting
tn+1 σn to tn in the normal form for w. In order to find the normal form of J(w)
one uses the property that tn+1 commutes with σ1̄ and σi for 1 ≤ i < n, hence
each tn+1 can be pushed to its left until either it is stopped by a σn or it is in the
leftmost position. In particular, the leftmost term in the normal form of J(w) is
tn+1 whereas no reduced expression of I(w) can have tn+1 as its leftmost term (since
the expression tn+1 I(w) is also a normal form of the second type). Consequently the
images I(W2c (B̃n )) and J(W2c (B̃n )) are disjoint.

We remark that the injections I and J on W1c (C̃n ) W c (Bn ) are but the restriction
of Ln in (2). Actually I and J may be defined on all W (B̃n ), but as we don’t need
this, we won’t examine it further.
F

5.2. The tower of D̃-type fully commutative elements. For n > 3, we denote
by W1c (D̃n ) the set of first type fully commutative elements in addition to fully
commutative elements of affine length 1, and by W2c (D̃n ) the set of second type fully
commutative elements. We thus have the following partition:
W c (D̃n ) = W1c (D̃n )

G

W2c (D̃n )

G

W c (Dn ).

Definition 5.3. For any w ∈ W c (D̃n ) we define elements I(w) and J(w) of W (D̃n+1 )
by the following expressions:
• if w ∈ W2c (D̃n ), then I(w) (resp. J(w)) is obtained by substituting σn σn−1 σn̄
(resp. σn̄ σn−1 σn ) to σn−1
¯ in the normal form (17) for w;
c
• if w ∈ W1 (D̃n ), then I(w) = J(w) is obtained by substituting σn−1 σn̄ σn to
σn−1
¯ in the normal form (16) or (18) for w, with the following exceptions:
– if w is a first type element with ǫ = 1 then the leftmost term σn−1
¯ in the
normal form (16) must be substituted by σn σn̄ σn−1 ;
– if w has affine length 1 with i 6= n, then σn−1
¯ in (18) must be substituted
by σn σn−1 σn̄ .
• if w ∈ W c (Dn ), then I(w) = J(w) = w.
Theorem 5.4. For any w ∈ W c (D̃n ), the expressions for I(w) and J(w) in Definition 5.3 are reduced and they are reduced expressions for fully commutative elements
in W (D̃n+1). The maps thus defined:
I, J : W c (D̃n ) −→ W c (D̃n+1 )
are injective, preserve the affine length and satisfy
l(I(w)) = l(J(w)) = l(w) + 2L(w).

TOWERS OF FULLY COMMUTATIVE ELEMENTS OF TYPE B̃ AND D̃

25

The injections I and J map first type (resp. second type) elements to first type
F
(resp. second type) elements and their images intersect exactly on I(W1c (D̃n ) W c (Dn )).
Proof. We start with w ∈ W2c (D̃n ) given in form (17) and notice that, since σn
commutes with all generators except σn−1 , we have :
I(his , n − 1]hjs , n − 2] σn−1
¯ ) = his , n]hjs , n − 1] σn̄
so that I(w) is indeed the reduced expression of an element in W2c (D̃n+1 ) with the
same parameters i1 , . . . , ip , j1 , . . . , jp , k, wr , as w. On the other hand, again using
commutation relations, we find:
J(his−1 , n − 1]hjs−1 , n − 2] σn−1
¯ his , n − 1]hjs , n − 2] σn−1
¯ )
= his−1 , n − 1]σn̄ hjs−1 , n] his , n − 1]σn̄ hjs , n].
Hence J(w) is also the reduced expression of an element in W2c (D̃n+1 ), here with a
shift in parameters: if we denote with primes the parameters for J(w) we have
i′1 = n + 1, j1′ = i1 , i′2 = j1 , j2′ = i2 , . . . , jp′ = ip , wr′ = hx, n]wr ,
with x = jp if k = 0, or x = ±1, so x 6= n + 1. In particular this shift acts on the
sequence of 1 and −1, so J(w) will be the image under ψ1 of an element in form (17).
The injectivity of both maps is clear from the unicity of the normal form, since
the parameters of the images determine the parameters of the source element. Furthermore we remark that in the normal form for I(w), the term on the right of the
rightmost σn̄ is wr which belongs to W c (Dn ) whereas for J(w) the corresponding
term is hx, n]wr which contains σn , so the images of I and J on second type elements
do not intersect.
We now turn to first type elements and take w given in form (16). Here
I(hi, n − 2] σn−1
¯ σn−1 h−(n − 2), n − 2]σn−1
¯ ) = hi, n − 1]σn̄ σn h−(n − 1), n − 1]σn̄ σn
so, if ǫ = 0, I(w) is the reduced expression of a first type element, with the same
parameters ǫ, η, i, k, f if η = 0, while if η = 1 (hence i = −(n − 2)) the parameters of
I(w), written with a prime, are ǫ′ = ǫ, η ′ = 0, i′ = −(n − 1), k ′ = k, f ′ = f . If ǫ = 1,
our element starts with σn−1
¯ h−(n−2), n−2]σn−1
¯ and the previous substitution for the
leftmost σn−1
would
produce,
again
for
commutation
reasons, the braid σn σn−1 σn .
¯
We substitute instead σn̄ σn σn−1 , getting:
I( σn−1
¯ h−(n − 2), n − 2]σn−1
¯ σn−1 · · · ) = σn̄ σn h−(n − 1), n − 1]σn̄ σn σn−1 · · ·
hence a first type element with parameters ǫ′ = η ′ = 0, i′ = n, k ′ = k + 1 and f ′ = f .
The set of such parameters is disjoint from the set obtained with ǫ = 0, indeed for
those we had i′ ≤ n − 1, injectivity for first type follows.

26

SADEK AL HARBAT

The last case to consider is elements of affine length 1. Here substituting σn−1 σn̄ σn
to σn−1
¯ in the normal form (16) transforms hi, n−1]hj, n−2]σn−1
¯ v into hi, n−1]hj, n−
1]σn̄ σn v which is indeed, if i = n, the reduced expression of a fully commutative
element in the required form (16), with parameters i′ = n + 1, j ′ = j and v ′ = σn v.
If i < n the correct substitution is σn σn−1 σn̄ , resulting in hi, n]hj, n − 1]σn̄ v that
again has the required form, with parameters i′ = i, j ′ = j and v ′ = v. The other
assertions follow as previously, in particular injectivity follows from the fact that the
parameters i, j and v determine a fully commutative element of affine length 1. 
6. Faithfulness of towers of Temperley-Lieb algebras
Let (K, q) be as above. Let Γ be a Coxeter graph with associated Coxeter system
(W (Γ), S) and Hecke algebra HΓ(q). Following Graham [7, Definition 6.1], we define
the Γ-type Temperley-Lieb algebra T LΓ(q) to be the quotient P
of the Hecke algebra
HΓ(q) by the two-sided ideal generated by the elements Ls,t = w∈<s,t> gw , where s
and t are non commuting elements in S such that st has finite order. For w in W (Γ)
we denote by Tw the image of gw ∈ HΓ(q) under the canonical surjection from HΓ(q)
onto T LΓ(q). The set {Tw | w ∈ W c (Γ)} forms a K-basis for T LΓ(q) [7, Theorem
6.2].
For x, y in a given ring with identity, we define:
V (x, y) = xyx + xy + yx + x + y + 1,
Z(x, y) = xyxy + xyx + yxy + xy + yx + x + y + 1.
6.1. Faithfulness of the tower of B̃-type Temperley-Lieb algebras. For n ≥
2, the B̃-type Temperley-Lieb
algebra with on + 2 generators T LB̃n+1 (q) is given by
n
the set of generators Tσ1̄ , Tσ1 , . . . Tσn , Ttn+1 , with the defining relations:

(19)













































Tσi Tσj = Tσj Tσi for 1 ≤ i, j ≤ n and |i − j| ≥ 2,
Tσi Ttn+1 = Ttn+1 Tσi for 1 ≤ i ≤ n − 1,
Tσi Tσi+1 Tσi = Tσi+1 Tσi Tσi+1 for 1 ≤ i ≤ n − 1,
Tσ1̄ Tσ2 Tσ1̄ = Tσ2 Tσ1̄ Tσ2 ,
Tσ1̄ Ttn+1 = Ttn+1 Tσ1̄ and Tσ1̄ Tσi = Tσi Tσ1̄ for 1 ≤ i ≤ n, i 6= 2,
Ttn+1 Tσn Ttn+1 Tσn = Tσn Ttn+1 Tσn Ttn+1 ,
n

o

T 2 = (q − 1)T + q for T ∈ Tσ1̄ , Tσ1 , . . . Tσn , Ttn+1 ,
V (Tσ1̄ , Tσ2 ) = 0 and V (Tσi , Tσi+1 ) = 0 for 1 ≤ i ≤ n − 1,
Z(Tσn , Ttn+1 ) = 0.

TOWERS OF FULLY COMMUTATIVE ELEMENTS OF TYPE B̃ AND D̃

27

We set T LB̃2 (q) = K. We temporarily denote by hw , w ∈ W c (B̃n ), the basis
elements of T LB̃n (q) to distinguish them from those of T LB̃n+1 (q).
Lemma 6.1. The morphism of algebras Qn : H B̃n (q) −→ H B̃n+1 (q) defined in (7)
induces the following morphism of algebras, which we also denote by Qn :
Qn : T LB̃n (q) −→ T LB̃n+1 (q)
hσi 7−→ Tσi for 1 ≤ i ≤ n − 1
hσ1̄ 7−→ Tσ1̄
.
htn 7−→ Tσn Ttn+1 Tσ−1
n
The restriction of Qn to T LDn (q) is an injective morphism into T LDn+1 (q) and
satisfies Qn (hw ) = gI(w) = gJ(w) for w ∈ W c (Dn ).
Proof. See [4, Lemma 6.1].



The aim of this section is to show, using the normal form of Theorem 4.7, that
the morphism Qn is an injection. We set p = 1/q, so that we have:
(20)

Qn (htn ) = pTσn tn+1 σn + (p − 1)Tσn tn+1 .

Lemma 6.2. If w ∈ W1c (B̃n )

W c (Dn ) we have:

F

Qn (hw ) = pL(w) TI(w) +

X

αx Tx

(αx ∈ K).

L(x)≤L(w)
l(x)<l(I(w))

Proof. Same as [4, Lemma 6.2].
Proposition 6.3. Let w be in

W2c (B̃n ),


then for some αx , βy ∈ K we have

Qn (hw ) = (−1)L(w) TI(w) + (−p)L(w) TJ(w) +

X

L(y)=L(w)
l(y)<l(I(w))

βy Ty +

X

αx Tx .

L(x)<L(I(w))

Proof. Here also the proof is exactly the same as for type C̃ in [4, Proposition 6.3].
Indeed the proof in loc.cit. relies on the relations involving Tσn−1 , Tσn and Ttn+1 , that
are the same in T LB̃n+1 (q) and T LC̃n+1 (q), and on the fact that Ttn+1 commutes
with Rn (T LBn (q)), here replaced by Qn (T LDn (q)). We mention the following more
precise statement from loc.cit.:
Let w be in W2c (B̃n ), whose normal form (12) begins and ends with tn . Then for
some αx , βy ∈ K we have:
Qn (hw ) = (−1)L(w) TI(w) + (−p)L(w) TJ(w)
(21)

+ Ttn+1 Tσn Ttn+1 (

X

L(y)=L(w)−2
l(y)<l(I(w))−3

βy Ty ) +

X

L(x)<L(I(w))

αx Tx .

28

SADEK AL HARBAT


We can conclude as in [4, Theorem 6.4], with the same proof:
Theorem 6.4. The tower of affine Temperley-Lieb algebras
Q2

Qn

T LB̃2 (q) −→ T LB̃3 (q) −→ · · · T LB̃n (q) −→ T LB̃n+1 (q) −→ · · ·
is a tower of faithful arrows.
6.2. Faithfulness of the tower of D̃-type Temperley-Lieb algebras. For n ≥
3, the D̃-type Temperley-Lieb
algebra with
o n + 2 generators T LD̃n+1 (q) is given by
n
the set of generators Tσ1̄ , Tσ1 , . . . Tσn , Tσn̄ , with the defining relations:

(22)







































Tσi Tσj = Tσj Tσi for 1 ≤ i, j ≤ n and |i − j| ≥ 2,
Tσ1̄ Tσn̄ = Tσn̄ Tσ1̄ and Tσ1̄ Tσi = Tσi Tσ1̄ for 1 ≤ i ≤ n, i 6= 2,
Tσn̄ Tσi = Tσi Tσn̄ for 1 ≤ i ≤ n, i 6= n − 1,
Tσi Tσi+1 Tσi = Tσi+1 Tσi Tσi+1 for 1 ≤ i ≤ n − 1,
Tσ1̄ Tσ2 Tσ1̄ = Tσ2 Tσ1̄ Tσ2 and Tσn̄ Tσn−1 Tσn̄ = Tσn−1 Tσn̄ Tσn−1 ,
n

o

T 2 = (q − 1)T + q for T ∈ Tσ1̄ , Tσ1 , . . . , Tσn , Tσn̄ ,
V (Tσ1̄ , Tσ2 ) = V (Tσn̄ , Tσn−1 ) = 0,
V (Tσi , Tσi+1 ) = 0 for 1 ≤ i ≤ n − 1.

We set T LD̃3 (q) = K. In the following we denote by hw , w ∈ W c (D̃n ), the basis
elements of T LD̃n (q) to distinguish them momentarily from those of T LD̃n+1 (q).
Lemma 6.5. The morphism of algebras Pn : H D̃n (q) −→ H D̃n+1 (q) defined in (8)
induces the following morphism of algebras, which we also denote by Pn :
Pn : T LD̃n (q) −→ T LD̃n+1 (q)
hσi 7−→ Tσi for σi ∈ {σ1̄ , σ1 , . . . , σn−1 } ,
T −1 .
7−→ Tσn Tσn−1 Tσn̄ Tσ−1
hσn−1
¯
n−1 σn
The restriction of Pn to T LDn (q) is an injective morphism into T LDn+1 (q) and
satisfies Pn (hw ) = gI(w) = gJ(w) for w ∈ W c (Dn ).
Proof. The lemma follows after noticing that
−1 −1
−1
.
V (Pn (hσn−1
¯ ), Pn (hσn−2 )) = (Tσn Tσn̄ )V (Tσn−1 , Tσn−2 )(Tσn Tσn̄ )



TOWERS OF FULLY COMMUTATIVE ELEMENTS OF TYPE B̃ AND D̃

29

The aim of this section is to show, using the normal form of Theorem 4.11, that
the morphism Pn is an injection. We set p = 1/q. We will use repeatedly
2
Pn (hσn−1
¯ ) =Tσn σn−1 σn̄ + pTσn−1 σn̄ σn + pTσn σn̄ σn−1 + p Tσn̄ σn−1 σn

(23)

+ pTσn σn−1 + p2 Tσn−1 σn + pTσn−1 σn̄ + p2 Tσn̄ σn−1 + (p2 + p)Tσn̄ σn
+ p2 Tσn + p2 Tσn−1 + p2 Tσn̄ + (p2 − p)

as well as those two rules that follow from the defining relations (22):
(i) In T LD̃n+1 (q), a product Tw Ty , w, y ∈ W c (D̃n+1 ), is either equal to Twy , if
l(wy) = l(w) + l(y) and wy is fully commutative, or equal to a linear combination of
terms Tz , z ∈ W c (D̃n+1 ), with L(z) ≤ L(w) + L(y) and l(z) < l(w) + l(y).
(ii) When a braid Tσi Tσi+1 Tσi appears in a computation, the use of V (Tσi , Tσi+1 ) = 0
replaces it by a sum of terms Tz with l(z) = 2, 1 or 0, hence the length decreases.
Proposition 6.6. Let w ∈ W c (D̃n ) be of affine length at least 2. Then for some
αx , βy ∈ K we have, if w is a first type element:
Pn (hw ) = pL(w) TI(w) +

X

αx Tx

(αx ∈ K),

L(x)≤L(w)
l(x)<l(I(w))

and if w is a second type element:
Pn (hw ) = TI(w) + p2L(w) TJ(w) +

X

βy Ty +

L(y)=L(w)
l(y)<l(I(w))

X

αx Tx .

L(x)<L(I(w))

Proof. We go back to Lemma 4.9 and write w as in (14):
w = hi1 , n − 1]hj1 , n − 2]σn−1
¯ . . . him , n − 1]hjm , n − 2]σn−1
¯ vm+1
with the notation there, in particular, for 2 ≤ t ≤ m, the element hit , n − 1]hjt , n − 2]
belongs to list (15):
(a) hn, n − 1]h−(n − 2), n − 2] = h−(n − 2), n − 2],
(b) hn − 1, n − 1]h−(n − 2), n − 2] = σn−1 h−(n − 2), n − 2],
(c) hi, n − 1]hj, n − 2] with 2 ≤ i ≤ n − 2 and |j| < i,
(d) hi, n − 1]hj, n − 2] with i = −j = ±1.
We examine the subword x = σn−1
¯ hit , n − 1]hjt , n − 2]σn−1
¯ . When developing Pn (hw )
)T
we will develop Pn (hx ) as Pn (hx ) = Pn (hσn−1
hit ,n−1]hjt ,n−2] Pn (hσn−1
¯ )
¯ ) where Pn (hσn−1
¯
is given by (23). We are interested in terms of maximal affine length L(w) and

30

SADEK AL HARBAT

maximal Coxeter length l(w), so we keep only in (23) the four terms of Coxeter
length 3. We have to check the following products:
[1] Tσn σn−1 σn̄

[1′ ] Tσn σn−1 σn̄

[2] p Tσn−1 σn̄ σn

[2′ ] p Tσn−1 σn̄ σn
Thit ,n−1]hjt ,n−2]

[3] p Tσn σn̄ σn−1

[3′ ] p Tσn σn̄ σn−1

[4] p2 Tσn̄ σn−1 σn

[4′ ] p2 Tσn̄ σn−1 σn

Each time a resulting subword is either non reduced or non fully commutative (i.e.
containing a braid), it will contribute only to terms of strictly shorter length. We
thus eliminate by inspection all possible combinations except the following : 1c1’,
1d1’, 2b2’, 3a2’, 4c4’, 4d4’.
By definition, if w is a second type element, then our middle term has form (c)
or (d) and we will get the maximal length elements by replacing the occurrences of
2
Pn (hσn−1
¯ ) either all by Tσn σn−1 σn̄ , giving rise to a term TI(w) , or all by p Tσn̄ σn−1 σn ,
giving rise to a term p2L(w) TJ(w) .
If w is a first type element, a middle term has form (a) or (b), but form (a) can
only occur if t = 2 by Lemma 4.10. We get the maximal length elements by replacing
all occurrences of Pn (hσn−1
¯ ) by pTσn−1 σn̄ σn , except, if form (a) occurs (for t = 2), the
leftmost one, that must be replaced by pTσn σn̄ σn−1 . We indeed get pL(w) TI(w) as the
only leading term.

Lemma 6.7. Let w ∈ W c (D̃n ) be of affine length 1 and write as in (18):
w = hi, n − 1]hj, n − 2]σn−1
¯ v

(v ∈ W c (Dn )).

Let ν = 1 if i = n and ν = 0 otherwise. If i = n, or if i < n and v ∈
/ W c (Dn−1 ), we
have:
Pn (hw ) = pν TI(w) +

X

αx Tx +

L(x)=1
l(x)=l(I(w))
x∈
/ Im I

X

αx Tx

(αx ∈ K).

L(x)≤1
l(x)<l(I(w))

If i < n and v ∈ W c (Dn−1 ), we have:
Pn (hw ) = TI(w) + pTI(w̄) +

X

L(x)=1
l(x)=l(I(w))
x∈
/ Im I

where w̄ = hi, n − 2]σn−1
¯ hj, n − 1]v.

αx Tx +

X

L(x)≤1
l(x)<l(I(w))

αx Tx

(αx ∈ K)

TOWERS OF FULLY COMMUTATIVE ELEMENTS OF TYPE B̃ AND D̃

31

Proof. We recall, from the proof of Theorem 5.4, that the image of I consists of
elements
(
either k ′ = n + 1, l′ = l, u′ = σn u if k = n,
′
′
′
(24) hk , n]hl , n − 1]σn̄ u
with
or k ′ = k, l′ = l, u′ = u if k < n,
where (k, l, u) are the parameters that determine uniquely a fully commutative element of affine length 1 and form (18). In particular elements in the image of I
satisfy:
(
− (n − 1) ≤ k ′ ≤ n − 1 or k ′ = n + 1,

− (n − 2) ≤ l′ ≤ n − 1.
Let w have affine length 1 and write as in (18): w = hi, n − 1]hj, n − 2]σn−1
¯ v with
v ∈ W c (Dn ). We have
Pn (hw ) = Thi,n−1]hj,n−2] Pn (hσn−1
¯ )Tv

where Pn (hσn−1
¯ ) is given by (23), from which we keep the four terms of Coxeter
length 3. As previously we have to check the products in the figure below to identify
TI(w) or pTI(w) , and possible terms among the others of the form λTx , λ ∈ K and
l(x) = l(I(w)), and study whether x belongs to the image of I.
[1] Tσn σn−1 σn̄
[2] p Tσn−1 σn̄ σn
Thi,n−1]hj,n−2]

Tv
[3] p Tσn σn̄ σn−1
[4] p2 Tσn̄ σn−1 σn

We write the resulting products in the form hk ′ , n]hl′ , n − 1]σn̄ u′ and abbreviate
fully commutative as fc.
(1) If i = n, term [2] does provide a pTI(w) . The other three terms may provide
some Tx with l(x) = l(I(w)) (for instance, if j = n − 1 and v = 1, the four
terms have this property: this is (23)), but we will show that such x do not
belong to the image of I.
For term [1], we observe that hj, n − 2]σn σn−1 σn̄ v = hn, n]hj, n − 1]σn̄ v
cannot belong to the image of I since k ′ = n, impossible from the remark
following (24). Similarly term [3] would correspond to hj, n − 2]σn σn̄ σn−1 v =
σn̄ σn hj, n − 1]v that cannot belong to the image of I since l′ = n, and term
[4] would correspond to hj, n − 2]σn̄ σn−1 σn v = σn̄ hj, n]v that cannot belong
to the image of I for the same reason. The claim is proved in case i = n.

32

SADEK AL HARBAT

(2) If i < n, term [1] provides a TI(w) . Again we must check the other three
terms.
Term [2] with j 6= −(n − 2) gives the braid σn−1 σn−2 σn−1 , while for j =
−(n − 2) (hence i = n − 1) we get h−(n − 1), n − 1]σn̄ σn v which is not in the
image of I because l′ = −(n − 1).
Term [4] gives hi, n−1]hj, n−2]σn̄ σn−1 σn v = hi, n−1]σn̄ hj, n]v, so k ′ = n+1,
l′ = i, u′ = hj, n]v. For this element to be in the image of I and of maximal
length it is necessary that u′ = hj, n]v could be written as σn u, reduced form
of a fc element, with hi, n − 2]σn−1
¯ u satisfying the conditions in (18). This is
impossible because j < n.
Finally term [3] gives hi, n−1]hj, n−2]σn σn̄ σn−1 v = hi, n−1]σn̄ σn hj, n−1]v,
so k ′ = n+1, l′ = i, u′ = σn hj, n−1]v. This element might be the image under
c
I of hi, n − 2]σn−1
¯ hj, n − 1]v. Here v belongs to W (Dn ) and we see directly
from (18) and Definition 4.3 that if σn−1 appears in v, then hj, n − 1]v cannot
be reduced fc since j < n − 1. On the other hand, if v belongs to W c (Dn−1 ),
conditions (18) for w imply conditions (18) for w̄ = hi, n − 2]σn−1
¯ hj, n − 1]v,
therefore in this case the element pTI(w̄) , where I(w̄) = hi, n−1]σn̄ σn hj, n−1]v
satisfies l(I(w̄)) = l(I(w)), appears in Rn (hw ).
The lemma follows.



Theorem 6.8. The tower of affine Temperley-Lieb algebras
P

P

P

n
3
4
T LD̃n+1 (q) −→ · · ·
T LD̃3 (q) −→
T LD̃4 (q) −→
· · · T LD̃n (q) −→

is a tower of faithful arrows.
Proof. We need to show that Pn is an injective homomorphism of algebras. A basis
for T LD̃n (q) is given by the elements hw where w runs over W c (D̃n ). Assume there
are non trivial dependence relations between the images of these basis elements. Pick
one such relation, say
(25)

X

λw Pn (hw ) = 0,

w

and let m = max{L(w) | w ∈ W c (D̃n ) and λw 6= 0}.
If m = 0 or m ≥ 2 the proof goes as in [4, Theorem 6.4], using respectively Lemma
6.5 and Proposition 6.6.

TOWERS OF FULLY COMMUTATIVE ELEMENTS OF TYPE B̃ AND D̃

33

If m = 1 we let:
X = {w ∈ W c (D̃n )/L(w) = 1 and λw 6= 0},
l = max{l(w)/w ∈ X},
X0 = {w ∈ X/l(w) = l}.
We use Lemma 6.7 to develop the terms in (25) with λw 6= 0. We obtain terms Tz
where z has affine length 0 or 1 and we want to set apart those Tz where z has affine
length 1 and maximal Coxeter length. They are exactly the terms Tz where L(z) = 1
and l(z) = l + 2 in the development, using Lemma 6.7, of the sum
X

λw Pn (hw ).

w∈X0

Among those terms we have those Tz with z ∈ Im I and those Tz with z ∈
/ Im I, and
the spaces they generate are in direct sum. So the following sum must be equal to 0:
(26)

X

w∈X0



λw pνw TI(w) + δw pTI(w̄)



where we have set, with the notation in Lemma 6.7: δw = 1 if i < n and v ∈
W c (Dn−1 ), and δw = 0 (and w̄ = w) otherwise.
If this sum does not contain any w with δw = 1, the injectivity of I shows directly
that λw = 0 for w ∈ X0 , a contradiction. Otherwise we recall from (24) that the
image by I of terms of affine length 1 is the disjoint union of two subsets, one is the
image A of those terms with i = n, the other the image B of those terms with i < n.
We notice that if δw = 1, then I(w) ∈ B and I(w̄) ∈ A. The linear combination of
the terms Tx with x ∈ B in (26) has to be zero, and it is equal to
X

λw TI(w) ,

w∈X0 ,I(w)∈B

so the coefficients λw , for w ∈ X0 and δw = 1, must be 0, again a contradiction.



34

SADEK AL HARBAT

Appendix A. Elements in W c (D4 )
We list the elements in W c (D4 ) given in their normal form. W c (D4 ) has 48 elements, see [11, Proposition 10.4 and Appendix Table 2]:
1, σ1 , σ2 , σ3 , σ1 σ2 , σ2 σ1 , σ2 σ3 , σ3 σ2 , σ3 σ1 , σ3 σ1 σ2 , σ3 σ2 σ1 , σ2 σ3 σ1 , σ1 σ2 σ3 , σ2 σ3 σ1 σ2 ,
σ1̄ , σ1̄ σ2 , σ2 σ1̄ , σ3 σ1̄ , σ3 σ1̄ σ2 , σ3 σ2 σ1̄ , σ2 σ3 σ1̄ , σ1̄ σ2 σ3 , σ2 σ3 σ1̄ σ2 ,
σ1 σ1̄ , σ3 σ1 σ1̄ , σ1 σ1̄ σ2 , σ1 σ2 σ1̄ , σ2 σ1 σ1̄ , σ1̄ σ2 σ1 , σ2 σ1 σ1̄ σ2 , σ3 σ2 σ1 σ1̄ σ2 , σ2 σ1 σ1̄ σ2 σ3 ,
σ1 σ1̄ σ2 σ3 , σ1 σ2 σ3 σ1̄ , σ1̄ σ2 σ3 σ1 , σ3 σ1̄ σ1 σ2 , σ2 σ3 σ1 σ1̄ , σ3 σ2 σ1 σ1̄ , σ3 σ1 σ2 σ1̄ , σ3 σ1̄ σ2 σ1
σ2 σ3 σ1 σ2 σ1̄ , σ2 σ3 σ1̄ σ2 σ1 , σ1 σ2 σ3 σ1̄ σ2 , σ1̄ σ2 σ3 σ1 σ2 , σ2 σ3 σ1 σ1̄ σ2 ,
σ1 σ2 σ3 σ1̄ σ2 σ1 , σ1̄ σ2 σ3 σ1 σ2 σ1̄ , σ3 σ2 σ1 σ1̄ σ2 σ3 .

TOWERS OF FULLY COMMUTATIVE ELEMENTS OF TYPE B̃ AND D̃

35

Appendix B. Elements in W c (B̃4 ) of positive affine length.
We list the elements in W c (B̃4 ) of positive affine length.
• First type elements:
h ≥ 1,
if c = 1, ( say p = 0)then h ≥ 2.
c ∈ 1, σ3 , σ2 σ3 , σ1 σ2 σ3 , σ1̄ σ2 σ3 , σ1 σ1̄ σ2 σ3 ,
with

σ2 σ1 σ1̄ σ2 σ3 , σ3 σ2 σ1 σ1̄ σ2 σ3 ,






d ∈ 1, σ3 , σ3 σ2 , σ3 σ2 σ1 , σ3 σ2 σ1̄ , σ3 σ2 σ1 σ1̄ ,



σ3 σ2 σ1 σ1̄ σ2 , σ3 σ2 σ1 σ1̄ σ2 σ3 ,












c t4 (σ3 σ2 σ1 σ1̄ σ2 σ3 t4 )h d

• Second type elements:

a (σik σ2 σ3 t4 )k b

k ≥ 1, i1 = 1̄
if a = 1, then k ≥ 2,
if a ∈ t4 , σ3 t4 , σ2 σ3 t4 , σ1 σ2 σ3 t4 then k ≥ 1,
if k = 1 then b ∈ 1, σ1 , σ3 , σ1 σ2 , σ3 σ2 , σ3 σ1 ,
σ3 σ1 σ2 , σ3 σ2 σ1 , σ1 σ2 σ3 , σ3 σ2 σ1̄ , σ1 σ2 σ1̄ ,
σ1 σ2 σ3 σ1̄ , σ3 σ2 σ1 σ1̄ , σ3 σ1 σ2 σ1̄ ,
σ3 σ2 σ1 σ1̄ σ2 , σ1 σ2 σ3 σ1̄ σ2 ,
σ1 σ2 σ3 σ1̄ σ2 σ1 , σ3 σ2 σ1 σ1̄ σ2 σ3 ,
if a ∈ σ3̄ σ2 σ3 σ1̄ σ2 σ3̄ , σ1 σ3̄ σ2 σ3 σ1̄ σ2 σ3̄ , then k ≥ 0,
with

here if k = 0 then b ∈ 1, σ1 , σ1 σ2 , σ1 σ2 σ1̄ , σ1 σ2 σ3 σ1̄ ,






σ1 σ2 σ3 σ1̄ , σ1 σ2 σ3 σ1̄ σ2 , σ1 σ2 σ3 σ1̄ σ2 σ1 .





if a ∈ t4 σ1 σ1̄ σ2 σ3 t4 , σ3 t4 σ1 σ1̄ σ2 σ3 t4 , σ2 σ3 t4 σ1 σ1̄ σ2 σ3 t4 ,






t4 σ2 σ1 σ1̄ σ2 σ3 t4 , σ3 t4 σ2 σ1 σ1̄ σ2 σ3 t4 , then k = 0 and b = 1,





if a ∈ t4 σ2 σ3 t4 , σ3 t4 σ2 σ3 t4 ,






and k = 0 then b ∈ 1, σ1 , σ1 σ2 , σ1 σ2 σ3 , σ1̄ , σ1̄ σ2 , σ1̄ σ2 σ3 ,





σ1 σ1̄ , σ1 σ1̄ σ2 , σ1̄ σ2 σ1 , σ1 σ2 σ1̄ , σ1 σ1̄ σ2 σ3 , σ1 σ2 σ3 σ1̄ ,





σ1̄ σ2 σ3 σ1 , σ1 σ2 σ3 σ1̄ σ2 , σ1̄ σ2 σ3 σ1 σ2 ,




σ1 σ2 σ3 σ1̄ σ2 σ1 , σ1̄ σ2 σ3 σ1 σ2 σ1̄ .













































In addition to ψ1 (w) in this type.

36

SADEK AL HARBAT

• Elements of affine length 1:

either e ∈ 1, σ3 and f ∈ W (D4 ),





either e = σ2 σ3 and f ∈ W (D4 ) − σ2 , σ3 σ2 , σ1 σ2 , σ2 σ3 σ1 , σ2 σ3 σ2 σ1 ,






σ2 σ1̄ , σ2 σ3 σ1̄ , σ2 σ3 σ1̄ σ2 , σ2 σ1 σ1̄ , σ2 σ1 σ1̄ σ2 , σ2 σ1 σ1̄ σ2 σ3 ,





σ2 σ3 σ1 σ1̄ , σ2 σ3 σ1 σ2 σ1̄ , σ2 σ3 σ1̄ σ2 σ1 , σ2 σ3 σ1 σ1̄ σ2 ,





either e ∈ σ1 σ2 σ3 , [σ1̄ σ2 σ3 ] and f ∈ 1, σ3 , σ3 σ2 , σ3 σ2 σ1 ,
et4 f with

σ1̄ , σ1̄ σ2 , σ3 σ1̄ , σ3 σ1̄ σ2 , σ3 σ2 σ1̄ , σ1̄ σ2 σ3 ,






σ1̄ σ2 σ1 , σ1̄ σ2 σ3 σ1 , σ3 σ2 σ1 σ1̄ , σ3 σ1̄ σ2 σ1 , σ3 σ2 σ1 σ1̄ σ2 ,





σ1̄ σ2 σ3 σ1 σ2 , σ1̄ σ2 σ3 σ1 σ2 σ1̄ , σ3 σ2 σ1 σ1̄ σ2 σ3 , and ψ1 [f ],






or e ∈ σ1 σ1̄ σ2 σ3 , σ2 σ1 σ1̄ σ2 σ3 , σ3 σ2 σ1 σ1̄ σ2 σ3 and f ∈ 1, σ3 σ2 ,



σ3 σ2 σ1 , σ3 σ2 σ1̄ , σ3 σ2 σ1 σ1̄ , σ3 σ2 σ1 σ1̄ σ2 , σ3 σ2 σ1 σ1̄ σ2 σ3 .
Notice that if h and k were allowed to be null, i,.e one of the two types was allowed
to contain elements of affine length equals to one, then σ1 σ2 σ3 t4 σ3 could be obtained
in two different ways: a = σ1 σ2 σ3 t4 , b = σ3 with k = 0, and c = σ1 σ2 σ3 , d = σ3 with
h = 0.

TOWERS OF FULLY COMMUTATIVE ELEMENTS OF TYPE B̃ AND D̃

37

Appendix C. Elements in W c (D̃4 ) of positive affine length.
We list the elements in W c (D̃4 ) of positive affine length.

• First type elements:

(σ3̄ )ǫ (c = hi, n − 1])σ3̄ (σ3 σ2 σ1 σ1̄ σ2 σ3̄ )h d

with











c ∈ {1, σ2 , σ1 σ2 , σ1̄ σ2 , σ1 σ1̄ σ2 , σ2 σ1 σ1̄ σ2 } ,
ǫ = 1iff c = σ2 σ1 σ1̄ σ2 , here h ≥ 0
if c = 1, then h ≥ 2, (with qp = 0)




d ∈ 1, σ3 , σ3 σ2 , σ3 σ2 σ1 , σ3 σ2 σ1̄ , σ3 σ2 σ1 σ1̄ ,




σ3 σ2 σ1 σ1̄ σ2 , σ3 σ2 σ1 σ1̄ σ2 σ3 .

• Second type elements:

a (σ1 σ2 σ3 σ1̄ σ2 σ3̄ )k b

if a = 1, then k ≥ 2,
if a ∈ σ2 σ3̄ , σ3 σ2 σ3̄ ,
σ1̄ σ2 σ3̄ , σ3 σ1̄ σ2 σ3̄ , σ2 σ3 σ1̄ σ2 σ3̄ , then k ≥ 1,
with

if a ∈ σ3̄ σ2 σ3 σ1̄ σ2 σ3̄ , σ1 σ3̄ σ2 σ3 σ1̄ σ2 σ3̄ , then k ≥ 0,






if k ≥ 0 then b ∈ 1, σ1 , σ1 σ2 , σ1 σ2 σ1̄ , σ1 σ2 σ3 σ1̄ ,



σ1 σ2 σ3 σ1̄ , σ1 σ2 σ3 σ1̄ σ2 , σ1 σ2 σ3 σ1̄ σ2 σ1 .












In addition to ψ1 (w) in this type.

38

SADEK AL HARBAT

• Elements of affine length 1:


either e = 1 and f ∈ W c (D4 ),





either e = σ2 and f ∈ W c (D4 ) − σ2 , σ2 σ1 , σ2 σ3 , σ2 σ3 σ1 ,





σ2 σ3 σ1 σ2 , σ2 σ1̄ , σ2 σ3 σ1̄ , σ2 σ3 σ1̄ σ2 , σ2 σ1 σ1̄ ,






σ2 σ1 σ1̄ σ2 , σ2 σ1 σ1̄ σ2 σ3 , σ2 σ3 σ1 σ1̄ ,





σ2 σ3 σ1 σ2 σ1̄ , σ2 σ3 σ1̄ σ2 σ1 , σ2 σ3 σ1 σ1̄ σ2






either e ∈ σ1 σ2 , [σ1̄ σ2 ] and f ∈ 1, σ3 , σ3 σ2 , σ3 σ2 σ1 , σ1̄





σ1̄ σ2 , σ3 σ1̄ , σ3 σ1̄ σ2 , σ3 σ2 σ1̄ , σ1̄ σ2 σ3 , σ1̄ σ2 σ1 ,






σ3 σ2 σ1 σ1̄ σ2 , σ1̄ σ2 σ3 σ1 , σ3 σ2 σ1 σ1̄ , σ3 σ1̄ σ2 σ1





σ1̄ σ2 σ3 σ1 σ2 σ1̄ , σ3 σ2 σ1 σ1̄ σ2 σ3 , and [ψ1 (f )],






either e = σ3 σ2 and f ∈ 1, σ1 , σ1 σ2 σ3 , σ1̄





σ1̄ σ2 , σ1̄ σ2 σ3 , σ1 σ1̄ , σ1 σ1̄ σ2 , σ1 σ2 σ1̄ , σ1̄ σ2 σ1 ,


eσ3̄ f with
σ1 σ1̄ σ2 σ3 , σ1 σ2 σ3 σ1̄ , σ1̄ σ2 σ3 σ1 , σ1 σ2 σ3 σ1̄ σ2




σ1̄ σ2 σ3 σ1 σ2 , σ1 σ2 σ3 σ1̄ σ2 σ1 , σ1̄ σ2 σ3 σ1 σ2 σ1̄ ,





either e ∈ σ3 σ1 σ2 , σ2 σ3 σ1 σ2 , [σ3 σ1̄ σ2 , σ2 σ3 σ1̄ σ2 ] and f ∈ 1, σ1̄






σ1̄ σ2 , σ1̄ σ2 σ3 , σ1̄ σ2 σ1 σ1̄ σ2 σ3 σ1 ,





σ1̄ σ2 σ3 σ1 σ2 , σ1̄ σ2 σ3 σ1 σ2 σ1̄ , and [ψ1 (f )],






either e ∈ σ1̄ σ1 σ2 , σ2 σ1̄ σ1 σ2 , σ3 σ1̄ σ1 σ2 , σ3 σ2 σ1̄ σ1 σ2 and f ∈ 1,





σ3 , σ3 σ2 , σ3 σ2 σ1 , σ3 σ2 σ1̄ ,






σ3 σ2 σ1 σ1̄ σ2 , σ3 σ2 σ1 σ1̄ , σ3 σ2 σ1 σ1̄ σ2 σ3 ,





either e ∈ σ1 σ2 σ3 σ1̄ σ2 , [σ1̄ σ2 σ3 σ1 σ2 ] and f ∈ 1,






σ1 , σ1 σ2 , σ1 σ2 σ3 , σ1 σ2 σ1̄ , σ1 σ2 σ3 σ1̄ ,





σ1 σ2 σ3 σ1̄ σ2 , σ1 σ2 σ3 σ1̄ σ2 σ1 , and [ψ1 (f )],




or e = σ2 σ3 σ1 σ1̄ σ2 and f = 1.
Notice that if h and k were allowed to be null, thus if the first and second types
where allowed to be of affine length smaller than two then we would loose the unicity
of the form. For example then σ2 σ3̄ could be obtained in two different ways: a =
σ2 σ3̄ , b = 1, k = 0, and c = σ2 , d = 1, h = 0.

REFERENCES
[1] S. Al Harbat. On the affine braid group, affine Temperley-Lieb algebra and Markov trace. PH.D
Thesis, Université Paris-Diderot-Paris 7, 2013.
[2] S. Al Harbat. Markov trace on a tower of affine Temperley-Lieb algebras of type Ã. J. Knot
Theory Ramifications 24 (2015) 1–28. DOI : 10.1142/S0218216515500492

TOWERS OF FULLY COMMUTATIVE ELEMENTS OF TYPE B̃ AND D̃

39

[3] S. Al Harbat. Tower of fully commutative elements of type Ã and applications. J. Algebra 465
(2016), 111–136.
[4] S. Al Harbat. On the fully commutative elements of type C̃ and faithfulness of related towers.
J. Algebraic Combin. 45 (2017), no. 3, 803–824.
[5] N. Bourbaki. Groupes et algèbres de Lie, chapitres 4, 5, 6. Masson, 1981.
[6] V.V. Deodhar. A note on subgroups generated by reflections in Coxeter groups. Arch. Math.,
Vol. 53 (1989), 543–546.
[7] J.J. Graham. Modular representations of Hecke algebras and related algebras. Ph.D. Thesis,
University of Sydney, 1995.
[8] R.M. Green. Leading coefficients of Kazhdan-Lusztig polynomials and fully commutative elements. J. Algebraic Combin. 30 (2009), no. 2, 165–171.
[9] G. Lusztig. Hecke algebras with unequal parameters. CRM Monograph Series, 18. American
Mathematical Society, Providence, RI, 2003.
[10] T.J. McLarnan, G.S. Warrington. Counterexamples to the 0-1 conjecture. Represent. Theory
7 (2003), 181–195.
[11] J. R. Stembridge. Some combinatorial aspects of reduced words in finite Coxeter groups. Transactions A.M.S. 349 (4) 1997, 1285–1332.
Instituto de Matemática y Física, Universidad de Talca, Chile
E-mail address: sadekharbat@inst-mat.utalca.cl

