arXiv:1505.02058v2 [math.GR] 28 Jun 2016

SMALL ROOTS, LOW ELEMENTS, AND THE WEAK ORDER
IN COXETER GROUPS
CHRISTOPHE HOHLWEG AND MATTHEW DYER

Abstract. In this article we provide a new finite class of elements in any
Coxeter system (W, S) called low elements. They are defined from Brink and
Howlett’s small roots, which are strongly linked to the automatic structure of
(W, S). Our first main result is to show that they form a Garside shadow in
(W, S), i.e., they contain S and are closed under join (for the right weak order)
and by taking suffixes. These low elements are the key to prove that all finitely
generated Artin-Tits groups have a finite Garside family. This result was
announced in a note with P. Dehornoy in Comptes rendus mathématiques [9]
in which the present article was referred to under the following working title:
Monotonicity of dominance-depth on root systems and applications.
The proof is based on a fundamental property enjoyed by small roots and
which is our second main result; the set of small root is bipodal.
For a natural number n, we define similarly n-low elements from n-small
roots and conjecture that the set of n-small roots is bipodal, implying the
set of n-low elements is a Garside shadow; we prove this conjecture for affine
Coxeter groups and Coxeter groups whose graph is labelled by 3 and ∞. To
prove the latter, we extend the root poset on positive roots to a weak order
on the root system and define a Bruhat order on the root system, and study
the paths in those orders in order to establish a criterion to prove bipodality
involving only finite dihedral reflection subgroups.

1. Introduction
In this article, we introduce and investigate the notion of a Garside shadow in a
Coxeter system (W, S): a Garside shadow in (W, S) is a subset of W that contains S
and closed under join (taken in the right weak order) and suffix. For instance W
itself is a Garside shadow; see §2.2. The notion of Garside shadow is analogous to
the notion of a Garside family in a monoid [7, 8].
We prove the existence of a finite Garside shadow in every Coxeter group by
introducing the notion of a low element in (W, S) and proving that the finite family
of low elements is a Garside shadow.
An element in w ∈ W is low if its (left) inversion set N (w) — the set of positive
roots that are sent to negative roots under w−1 — is the conic hull of some small
roots; see §3 for a precise definition of these notions. Small roots were introduced
by B. Brink and B. Howlett [6] in their work on the regularity of the language of
Date: June 29, 2016.
2010 Mathematics Subject Classification. Primary 20F55; secondary 17B22; 05E15; 06F99.
Key words and phrases. Root systems, Coxeter groups, Garside families, inversion sets, low
elements, weak order, Bruhat order, root poset, dominance order, small roots.
 supported by NSERC Discovery grant Coxeter groups and related structures. A significant
part of this work was done while CH was on sabbatical leave at Institut de Recherche Mathématique Avancée (IRMA), Université de Strasbourg, from January 2013 to June 2014.
1

2

C. HOHLWEG AND M. DYER

reduced words in W , in which they show that the set of small roots is finite. We
state now our first main result.
Theorem 1.1. For any Coxeter system (W, S) with S finite, the set of low elements
of W is a Garside shadow in (W, S).
Since the intersection of a family of Garside shadows is a Garside shadow (c.f.
Proposition 2.2), there is a smallest Garside shadow in (W, S) and the next result
follows by Theorem 1.1.
Corollary 1.2. For any Coxeter system (W, S) with S finite, the smallest Garside
shadow in (W, S) is finite.
The initial motivation for the paper was a question by P. Dehornoy in the context
of the associated finitely generated Artin-Tits group G: is there a finite Garside
family in G? Finite Garside families are important as they provide normal forms
with nice properties and are potentially linked to the problem of decidability of the
Word problem and the Conjugacy Problem in finitely generated Artin-Tits braid
group; see [8, Questions 26 and 27] or [7] for more details. In particular, they provide an affirmative answer to the problem of decidability of the conjugacy problem
in the Artin-Tits monoid. P. Dehornoy not only provided the initial translation
of the problem in Artin-Tits braid groups into a problem about Coxeter groups,
but he also provided many partial results, including examples in affine and right
angled cases, which were essential for the work described here. Our Theorem 1.1
(and Corollary 1.2) answers Dehornoy’s question in the positive. Indeed, σ is the
canonical lifting of a Coxeter group W into the associated Artin-Tits monoid M ,
then A is a Garside shadow in (W, S) if, and only if, σ(A) is a Garside family in M ;
see [9, §3]. Therefore, the smallest Garside family is the copy in M of the smallest
Garside shadow in (W, S). Theorem 1.1, for which only a sketch of the proof was
given in [9], appears as [9, Theorem 1.2].
The proof that the set of low elements is finite and closed under join is given
in Proposition 3.26. The difficult part of the proof lies in the stability by taking
suffixes of the set of low elements. In order to lift up this difficulty we proceed as
follows in §4. On the one hand, we provide for a prefix w0 of w ∈ W a complete
description involving the Bruhat order of the rays of the cone over the inversion set
of w0 in function of the rays of the inversion set of w; see §4.3. On the other hand,
we describe a fundamental property enjoyed by small roots and which is our second
main result; the set of small root is bipodal, see Theorem 4.18. We conclude then
the proof of Theorem 1.1 in §4.5.
Along the way, in §3.3, we discuss the question of the existence of an infinite
filtration of W by finite Garside subsets of W called the n-low elements, which
would provide, using the dictionary in [9], an infinite filtration of bounded Garside
families in Artin-Tits groups. More precisely, the set of positive roots may be
ranked by the dominance order, which was introduced by B. Brink and B. Howlett
together with small roots in [6]: for any positive root β there is a nonnegative
integer n ∈ N such that β strictly dominates exactly n positive roots; we call n the
dominance depth of β. Define the n-small roots to be those of dominance depth
at most n; see §3.2. With this definition, the small roots are precisely the 0-small
roots. X. Fu [20] and the first author (unpublished, see [19]) show that the set
of n-small roots is always finite for any n ∈ N. Extending the definition of low

SMALL ROOTS AND LOW ELEMENTS IN COXETER GROUPS

3

elements, we call n-low elements the elements in W whose left inversion sets are
the conic hull of some n-small roots. We prove in Proposition 3.26 that the set of
n-low elements is finite and closed under join (taken in the right weak order). We
conjecture that they are also stable under suffix.
Conjecture 1. If n ∈ N, the set of n-low elements is a finite Garside shadow
in (W, S).
This conjecture would be true if, for instance, the set of n-low elements is bipodal
(Conjecture 3): this is discussed in §5. We show that Conjecture 1 is true if (W, S)
is finite, is a dihedral Coxeter system, is an affine Coxeter system (Theorem 4.17),
if n = 0 (Theorem 1.1) or by the following last main result.
Theorem 1.3. Let n ∈ N and assume S finite. Suppose that every entry of the
Coxeter matrix of (W, S) is either 1, 2, 3 or ∞. Then the set of n-low elements of
W is a finite Garside shadow in (W, S).
This theorem is restated as Theorem 5.1 and §5 is dedicated to its proof. There,
we extend the root poset on positive roots (see [2, Chapter 4]) to a weak order on
the root system and define a Bruhat order on the root system, and study the paths
in those orders in order to establish a criterion to prove bipodality involving only
finite dihedral reflection subgroups of (W, S) (Proposition 5.4 and Corollary 5.6).
The proof resolves a conjecture raised in [19] that the set of n-small roots is balanced
for all n, which may be phrased as a monotonicity property of the dominance depth
for positive roots in any maximal dihedral reflection subgroup. We prove that this
monotonicity property fails in general for finite dihedral reflection subgroups but is
true in a stronger form for infinite dihedral reflection subgroups. The key part of
the argument applies to a more general family of length functions on positive roots,
with both the standard depth on positive roots and the dominance depth on roots
as special cases, to show they are monotonic non-decreasing in the Bruhat order on
roots.
2. Weak order and Garside shadows
Fix (W, S) a Coxeter system with length function ` : W → N. The rank of W
is the cardinality of S. The standard parabolic subgroup WI is the subgroup of W
generated by I ⊆ S. It is well-known that (WI , I) is itself a Coxeter system and
that the length function `I : WI → N is the restriction of ` to WI . Moreover, WI is
finite if and only if it contains a longest element, which is then unique, denoted by
w◦,I . In §2.5, we discuss more general facts about reflection subgroups for which
standard parabolic subgroups are an instance. We refer the reader to [25, 2] for
general definitions and properties of Coxeter groups.
2.1. Weak order and reduced words. We say that s1 . . . sk (si ∈ S) is a reduced
word for w ∈ W if w = s1 . . . sk and k = `(w). For u, v, w ∈ W , we adopt the
following terminology:
• w = uv is reduced if `(w) = `(u) + `(v);
• u is a prefix of w if a reduced word for u is a prefix of a reduced word for w;
• v is a suffix of w if a reduced word for v is a suffix of a reduced word for w.
Observe that if w = uv is reduced then the concatenation of any reduced word for u
with any reduced word for v is a reduced word for w; so in this case u is a prefix of
w and v is a suffix of w.

4

C. HOHLWEG AND M. DYER

The (right) weak order is the order on W defined by u ≤R v if u is a prefix of v.
Since we only consider the right weak order in this article, we only use from now
on the term weak order. The weak order gives a natural orientation of the Cayley
graph of (W, S): we orient an edge w → ws if w ∈ W and s ∈ S such that w ≤R ws.
Moreover, Björner [1, Theorem 8] shows that the poset
V (W, ≤R ) is a complete meet
semilattice: for any A ⊆ W , there exists an infimum A ∈ W , also called the meet
of A, see [2, Chapter 3] for more details. A subset X ⊆ W is bounded in W if there
is g ∈ W such that x ≤R g for
W any x ∈ X. Therefore any bounded subset X ⊆ W
admits a least upper bound X called the join of X:
_
^
X = {g ∈ W | x ≤R g, ∀x ∈ X}.
The example of the infinite dihedral group is illustrated in Figure 1. When W is
finite, any element w ∈ W is a prefix of the longest element w◦ . So in this case
W itself is bounded and (W, ≤R ) turns out to be a complete ortholattice, see for
instance [2, Corollary 3.2.2].
2.2. Garside shadows. We are now able to discuss the notion of Garside shadows
in a Coxeter system mentioned in the introduction.
Definition 2.1. A Garside shadow in (W, S) is a subset A of W containing S such
that:
W
(i) A is closed under join in the weak order: if X ⊆ A is bounded, then X ∈ A;
(ii) A is closed under suffix: if w ∈ A, then any suffix of w is also in A.
The definition of a Garside shadow extends naturally to the standard parabolic
subgroup WI generated by I ⊆ S: a Garside shadow A of (WI , I) is a subset of WI
containing I and verifying Conditions (i)–(ii) above. Moreover, since a bounded X
is necessarily finite, Condition (i) above is equivalent to the following condition:
(i’) if u, v ∈ A and u ∨ v exists then u ∨ v ∈ A.
Proposition 2.2.
(1) The intersection of a family of Garside shadows in (W, S)
is a Garside shadow in (W, S). In particular, for any X ⊆ W there is a
smallest Garside shadow GarS (X) of (W, S) that contains X.
(2) If I ⊆ S and X ⊆ WI , then GarI (X) ⊆ GarS (X).
(3) If I ⊆ S is spherical, that is WI is finite, then GarI (I) = WI is the unique
Garside shadow in (WI , I).
Proof. The two first statements follow easily from Definition 2.1. For the third
statement, observe first that, since the longest element w◦,I of WI is the unique
maximal length
element, w◦,I is the unique element of WI that has all s ∈ I as
W
prefix. So I = w◦,I and therefore w◦,I ∈ GarI (I) by Condition (i). Moreover it
is well-known that any element of WI is prefix of w◦,I . Hence WI ⊆ GarI (I) by
Condition (ii), which concludes the proof.

Example 2.3. Let W be the infinite dihedral group D∞ generated by S = {s, t}
with Coxeter graph:
s ∞ t
Then S is not bounded, see Figure 1. So the join of s and t does not exist. Since
the identity e is a suffix of s and t we have S̃ = GarS (S) = {e, s, t}.

SMALL ROOTS AND LOW ELEMENTS IN COXETER GROUPS

5

Example 2.4. Let W be the universal Coxeter group generated by S; its Coxeter
graph is the complete graph whose edges are labelled by ∞. Then any subset
{s, t} ⊆ S of cardinality 2 generates a standard dihedral parabolic subgroup as in
Example 2.3 and is therefore not bounded. So S̃ = GarS (S) = S ∪ {e}.
Remark 2.5. (a) The smallest Garside shadow in (W, S) is S̃ = GarS (S). The
existence of a finite Garside shadow in (W, S) stated in Theorem 1.1 implies
that the smallest Garside shadow S̃ is finite, which is Corollary 1.2.
(b) We do not have a nice combinatorial characterization of the smallest Garside
shadow in general. The main reason is the absence of a suitable combinatorial
characterization of existence of the join in general. We give in Example 2.11 the
construction of the smallest Garside shadow in the case of the affine Coxeter
group of type Ã2 by using a geometric characterization of the existence of the
join.
(c) Let u, v ∈ WI , where WI is the standard parabolic subgroup generated by
I ⊆ S. It is well-known that any reduced words for u or v have all their letters
in I. So any suffix of u or v is again an element of WI . Moreover, it is not
difficult to see, with the help of Proposition 2.8 below for instance, that the
join u ∨ v is therefore an element of WI . We deduce then that if B is a Garside
set in (W, S), then B ∩ WI is a Garside set in (WI , I).
We do not know however if the notion of Garside shadows closure is stable by
restriction: let I ⊆ S and X ⊆ WI , is it true that GarI (X) = GarS (X) ∩ WI ?
This question has an affirmative answer for standard parabolic subgroups of
rank 2.
2.3. Geometric representation and root system. We recall here useful facts
on root systems and reflection subgroups that will be needed to give an interpretation for the join in the weak order in §2.4.
A Coxeter system can be seen as a discrete reflection subgroup in some quadratic
space (V, B), where V is a real vector space endowed with a symmetric bilinear form
B. The group of linear maps that preserves B is denoted by OB (V ). The isotropic
cone of (V, B) is Q = {v ∈ V | B(v, v) = 0}. To any non-isotropic vector α ∈ V \ Q,
B(α,v)
we associate the B-reflection sα ∈ OB (V ) defined by sα (v) = v − 2 B(α,α)
α.
Fix a geometric representation of (W, S), i.e., a faithful representation of W as a
subgroup of OB (V ) such that S is mapped into a set of B-reflections associated to
a simple system ∆ = {αs | s ∈ S} (s = sαs ). Recall that a simple system in (V, B)
is a finite subset ∆ in V such that:
P
(i) ∆ is positively linearly independent: if
α∈∆ aα α with aα ≥ 0, then all
aα = 0;
π
, k ∈ N≥2 };
(ii) for all α, β ∈ ∆ distinct, B(α, β) ∈ ] − ∞, −1] ∪ {− cos
k
(iii) for all α ∈ ∆, B(α, α) = 1.
Note that, since ∆ is positively linearly independant, the cone cone(∆) is pointed:
cone(∆) ∩ cone(−∆) = {0} (here cone(A) is the set of non-negative linear combinations of vectors
 in A). Note also that if the order mst of st is finite, then
B(αs , αt ) = − cos mπst and that B(αs , αt ) ≤ −1 if and only if the order of st is
infinite.
Denote by Φ = W (∆) the corresponding root system with base ∆, which is
partitioned into positive roots Φ+ = cone(∆) ∩ Φ and negative roots Φ− = −Φ+ .

6

C. HOHLWEG AND M. DYER

The pair (Φ, ∆) is called a based root system. The rank of (Φ, ∆) is the rank
of (W, S), i.e., |∆| = |S|. The classical geometric representation is obtained by
assuming that ∆ is a basis of V and that B(αs , αt ) = −1 if the order of st in
W is infinite. For more details on geometric representations, the reader may, for
instance, consult [24, §1].
There is a useful statistic on the positive root system Φ+ called the depth defined
as follows:
dp(β) = min{`(w) | w ∈ W, w(β) ∈ Φ− }, β ∈ Φ+ .
The next proposition is well-known, see for instance [2, Lemma 4.6.2].
Proposition 2.6. Let s ∈ S and β ∈ Φ+ \ {αs }. We have dp(αs ) = 1 and

 dp(β) − 1 if B(αs , β) > 0
dp(β)
if B(αs , β) = 0
dp(s(β)) =

dp(β) + 1 if B(αs , β) < 0
In particular, dp(α) = 1 for any simple root α ∈ ∆.
Remark 2.7. In order to present examples of rank |S| = 2, 3, 4 easily, it is useful
to consider the projective geometric representation of W , as in [24, 12]. Since
Φ = Φ+ t Φ− is encoded by the set of positive roots Φ+ , we represent Φ by an
b there is an affine hyperplane V1 in V transverse to Φ+ , i.e., for any
‘affine cut’ Φ:
+
b So Rβ ∩ V1 = {β}
b
β ∈ Φ , the ray R+ β intersects V1 in a unique nonzero point β.
b
b
for any β ∈ Φ. The set of normalized roots Φ = {β | β ∈ Φ} is contained in the
b and therefore admits a set E of accumulation points called
compact set conv(∆)
the set of limit roots. We have E = ∅ if and only if W is finite; E is a singleton if
(W, S) is affine and irreducible. Moreover, limit roots are in the isotropic cone Q
of B:
b = {x ∈ V1 | B(x, x) = 0}.
E⊆Q
[ We refer the
b t E ∪ conv(E) componentwise: w · x = w(x).
The group W acts on Φ
reader to [24, 12] for more details.
2.4. Weak order and inversion sets. In this text, we make use of the interplay
between reduced words and their geometric counterparts: inversion sets.
The (left) inversion set N (w) of w ∈ W is defined by:
N (w) = Φ+ ∩ w(Φ− ) = {β ∈ Φ+ | `(sβ w) < `(w)}.
Its cardinality is well-known to be `(w). Inversion sets allow a useful geometric
interpretation of the weak order. For A ⊆ V we denote coneΦ (A) = cone(A) ∩ Φ
the set of roots in cone(A).
Proposition 2.8.

(1) If w = s1 . . . sk is a reduced word for w ∈ W , then
N (w) = {αs1 , s1 (αs2 ), · · · , s1 . . . sk−1 (αsk )}.

(2) For u, v ∈ W we have u ≤R v if and only if N (u) ⊆ N (v).
(3) The map N : (W, ≤R ) → (P(Φ+ ), ⊆) is a poset monomorphism.
(4) If X ⊆ W is bounded, then
!
_ 
[
N
X = coneΦ
N (x) .
x∈X

SMALL ROOTS AND LOW ELEMENTS IN COXETER GROUPS

7

An illustration of this proposition is given in Figure 1. The three first statements
are classical and can be found in [2, Chapter 3] stated within the language of
reflections instead of roots. The last statement follows from Dyer [17]; a complete
proof may also be found in [23, §2.2-§2.3].

{αs } t s(N (ts)); sts

tst; {αt } t t(N (st))

{αs , s(αt )}; st

ts; {αt , t(αs )}

{αs }; s

t; {αt }

e; ∅

Figure 1. The weak order on the infinite dihedral group D∞ : the vertices are
labelled by w ∈ D∞ together with its inversion set N (w).
Remark 2.9. Within the projective representation, see Remark 2.7, conic closure
b ⊆ Φ.
b So Proposition 2.8(d)
is replaced by convex hull and A ⊆ Φ+ is replaced by A
translates as follows (see Figure 2 for an illustration): let X be a bounded subset
W
[
b (x) instead of N
b (W X) =
of W and write N
(x). Then the join X exists and N
b (X)). Moreover, in [23, Theorem 3.2], the authors show that X ⊆ W is
convΦ (N
bounded if and only if
!
[
b
conv
N (x) ∩ conv(E) = ∅.
x∈X

This is well illustrated in the case of the infinite dihedral group D∞ as in Examb = {αs , αt } and therefore
ple 2.3: in this case E is always in the convex hull of ∆
S = {s, t} is not bounded. A more general example of application is given in Example 2.11 to justify the construction of the smallest Garside shadow in the case
Ã2 . This point of view provided the intuition behind the definition of low elements.
As a direct consequence, we obtain the following geometric interpretation of our
terminology on reduced words.
Corollary 2.10. For u, v, w ∈ W , we have:
• w = uv is reduced if and only if N (w) = N (u) t u(N (v));
• u is a prefix of w if and only if N (u) ⊆ N (w);
• v is a suffix of w if and only if N (v) = vw−1 (N (w) \ N (wv −1 )).
In particular, v is a maximal proper suffix of w (i.e., w = sv is reduced with s ∈ S)
if and only if N (v) = s(N (w) \ {αs }).
Example 2.11 (The smallest Garside shadow in the affine group of type Ã2 ).
We show now how to obtain the smallest Garside shadow in the case Ã2 . In this

8

C. HOHLWEG AND M. DYER

example, the difficulty is to show the existence or not of the join of a subset X of
W , i.e., to decide if X is bounded or not in W , before taking suffixes. However, in
the proof of Theorem 1.1 the difficulty lies in the stability by taking suffixes.
Let (W, S) be the affine Coxeter system of type Ã2 with Coxeter graph
3

1

2

Our aim is to show that
S̃ = GarS (S) = {e, 1, 2, 3, 12, 21, 13, 31, 23, 32, 121, 131, 232, 1232, 2313, 3121}.
We build S̃ recursively:
Initial step: S̃0 = S ∪ {e};
Inductive step: If m is in N, then S̃m+1 is constituted of all the joins of
bounded pairs of
S S̃m together with their suffixes;
Final step: S̃ = m∈N S̃m . Actually, Corollary 1.2 shows that this union is
finite.
Start with S̃0 = {e, 1, 2, 3}. The proper maximal standard parabolic subgroups of
W are all finite of rank 2 with Coxeter graph the edges of the above graph. So
the join of I = {1, 2} exists and 1 ∨ 2 = 121 = 212, by Proposition 2.2. By taking
all the suffixes we obtain therefore Gar{1,2} ({1, 2}) = WI = {e, 1, 2, 12, 21, 121}.
Repeating the same argument for all other maximal standard parabolic subgroups
we obtain:
S̃1 = {e, 1, 2, 3, 12, 21, 13, 31, 23, 32, 121, 131, 232}.
Now to construct S̃2 we consider join of pairs of elements in W that are not contained in a proper standard parabolic subgroup. For instance
21 ∨ 23 = 21.31 = 23.13
is the smallest word having both 21 and 23 as prefixes. We obtain similarly
12 ∨ 13 = 12.32 = 13.23 and 31 ∨ 32 = 31.21 = 32.12.
We claim that
S̃ = S̃2 = {e, 1, 2, 3, 12, 21, 13, 31, 23, 32, 121, 131, 232, 1232, 2313, 3121}.
It is easy to check that S̃2 is closed under suffixes. In order to prove that there is no
other element of W obtained by joining elements of S̃1 , we consider the geometric
interpretation of the weak order as described in Remark 2.9. Let V be a real vector
space of dimension 3 with bilinear form B and
 basis ∆ = {α1 , α2 , α3 } such that for

1 ≤ i, j ≤ 3 we have B(αi , αj ) = − cos

π
mi,j

, where mij is the order of the element

ij in W . So Φ = W (∆) is a root system with simple system ∆ for (W, S) of type
Ã2 . In Figure 2 one finds the first few normalized roots in blue and the unique limit
b From Remark 2.9, we
b = {δ}.
root δb = α1 +\
α2 + α3 is the red dot and then E = Q
b
b
know that u ∨ v exists if and only if conv(N (u) ∪ N (v)) ∩ E = ∅, and that in this
b (u ∨ v) = convΦ (N
b (u) ∪ N
b (v)). For instance consider N (31) = {α3 , α1 + α3 }
case N
and N (32) = {α3 , α2 + α3 }. Then
b (31) ∪ N
b (32)) = conv(b
conv(N
α3 , α\
1 + α3 , α\
2 + α3 )

SMALL ROOTS AND LOW ELEMENTS IN COXETER GROUPS

9

does not intersect E and we have:
b (31 ∨ 32) = convΦ (N
b (31) ∪ N
b (32))
N
b
= {b
α3 , α\
1 + α3 , α\
2 + α3 , β}
b (3121),
= N

where β = sα3 (α1 + α2 ) = α1 + α2 + 2α3 .

b (1)∪N
b (32)) = conv(b
But conv(N
α1 , α
b3 , α\
2 + α3 ) does intersect E, since the segment
[b
α1 , α\
2 + α3 ] contains E. Therefore 1 ∨ 32 does not exist. This is this argument
that shows our claim: S̃ = S̃2 . Indeed, let u, v ∈ S̃1 be such that {u, v} is not
contained in a proper standard parabolic subgroup and is different from {31, 32},
{12, 13} and {21, 23}. Without loss of generality, we consider u = 1u0 reduced and
b
b
v = 32v 0 reduced. So E ⊆ [b
α1 , α\
2 + α3 ] ⊆ conv(N (u) ∪ N (v)) and therefore u ∨ v
does not exists. So no more elements are added to S̃2 than the ones we have already
found.
α3
3

1

2

N (31)

N (3121)

N (32)

β
α1 + α3

α2 + α3

α1 + α2
α1

α2

Figure 2. The inversion sets of 31, 32 and 3121 = 31∨32 pictured in the projective
representation (see Remark 2.7 and Remark 2.9) of the affine Coxeter group of type
Ã2 . Each blue point represents a normalized root γ
b which we simply label by the
corresponding root γ. The red dot represents the unique limit root δ.

2.5. Reflection subgroups. We end this section by recalling some useful facts
about reflection subgroups that will be needed to give an interpretation of suffixes
of a word in §4.3.
A reflection subgroup W 0 of W is a subgroup W 0 = hsβ | β ∈ Ai generated by
the reflections associated to the roots in some A ⊆ Φ+ . Write
ΦW 0 := {β ∈ Φ | sβ ∈ W 0 } and ∆W 0 := {α ∈ Φ+ | N (sα ) ∩ ΦW 0 = {α}}.
Then the first author shows in [13] that ΦW 0 is a root system in (V, B) with simple
system ∆W 0 , called the canonical simple system of ΦW 0 . Therefore the pair (W 0 , S 0 )

10

C. HOHLWEG AND M. DYER

is a Coxeter system, with canonical simple reflections
S 0 = χ(W 0 ) := {sα | α ∈ ∆W 0 },
+
and with corresponding positive roots Φ+
W 0 = ΦW 0 ∩ Φ ; see also [3] (both notions
depend on (W, S) and not just W ).

Remark 2.12. Other characterizations of the canonical simple system ∆W 0 are
+
that it is the unique inclusion-minimal subset Γ of Φ+
W 0 such that ΦW 0 ⊆ cone(Γ),
and it is the set consisting of all representatives in Φ of extreme rays of cone(Φ+
W0)
(see [10]).
Various notions attached above and below to the root system (Φ, ∆) may be
applied to the based root system (ΦW 0 , ΠW 0 ), and will be denoted by attaching W 0
as decoration (usually, as subscript) on the corresponding notation used for (Φ, Π).
For example, `W 0 : W 0 → N is the length function of (W 0 , S 0 ), and NW 0 (u) :=
−
0
Φ+
W 0 ∩ u(ΦW 0 ) = N (u) ∩ ΦW 0 for u ∈ W where `W 0 (u) = |NW 0 u|.
Example 2.13. Let α, β ∈ Φ+ such that B(α, β) ≤ −1. Then α 6= β and ∆W 0 =
{α, β} verifies the condition to be a simple system as in §2.3. Let W 0 := hsα , sβ i
the dihedral reflection subgroup associated to ∆0 and note that W 0 is infinite.
A useful observation in the context of normalized roots, as in Remark 2.7, is
that for any roots α, β ∈ Φ+ , the dihedral reflection subgroup generated by sα , sβ
b ∩ Q = ∅. Otherwise the line (b
b intersects
is finite if and only if the line (b
α, β)
α, β)
Q in one or two points and contains an infinite number of normalized roots, see
Figure 3 for an illustration. We refer the reader to [24, 12] for more details.
b
Q
α
b

sα · βb

sα sβ · α
b ...
x

. . . sβ sα · βb

sβ · α
b

βb

sα ·x

Figure 3. ([12, Figure 7]) Projective representation of a infinite dihedral reflection
subgroup W 0 . In green are the two limit points of the root subsystem associated to
W 0 together with the action of W 0 .
Example 2.14 (Maximal dihedral reflection subgroups). A maximal rank 2 root
subsystem of Φ is a set Φ0 of the form Φ0 = P ∩Φ where P is a plane in V intersecting
Φ+ in at least two roots. The cone spanned by Φ0 ∩Φ+ has then a basis ∆0 = {α, β}
of cardinality 2 included in Φ0 ∩ Φ+ , and then one has
Φ0 = P ∩ Φ+ = cone(∆0 ) ∩ Φ.
One can show that (Φ0 , ∆0 ) is a based root subsystem of (Φ, ∆) of rank 2. Write
S 0 = {sα , sβ }, then the dihedral reflection subgroup W 0 = hS 0 i is a maximal dihedral
reflection subgroup.
Any dihedral reflection subgroup W 00 of W is contained in such a maximal dihedral reflection subgroup since it has a rank 2 based root subsystem that is contained
in such a maximal rank 2 root subsystem.
In the context of normalized roots, as in Remark 2.7, planes correspond to lines
so maximal dihedral reflection subgroups corresponds to lines passing through two
b0 = P ∩ Φ
b is contained in a segment
normalized roots. If P is such a line, then Φ

SMALL ROOTS AND LOW ELEMENTS IN COXETER GROUPS

11

b and ∆
b For instance, in Figure 2, we see that W 0 = hsα +α , sα i is
b 0 = {b
[b
α, β]
α, β}.
1
3
2
a (infinite) maximal dihedral reflection subgroup containing any dihedral reflection
subgroup generated by two roots in the segment [α\
b3 ].
1 + α2 , α
We state now the following sufficient condition for a reflection subgroup to be
finite; this result is used in the proof of Lemma 3.21.
Proposition 2.15. Let w ∈ W .
(1) If W 0 is a reflection subgroup of W with ∆W 0 ⊆ N (w), then W 0 is finite.
(2) If α, β ∈ N (w), then B(α, β) > −1.
Proof. To prove (1), note that Proposition 2.8(4) implies in particular that
Φ+
W 0 ⊆ coneΦ (∆W 0 ) ⊆ coneΦ (N (w)) = N (w).
0
Since N (w) is finite, so is Φ+
W 0 . Therefore ΦW 0 is finite. Since W acts faithfully as
0
permutation group on ΦW 0 , W is finite.
To prove (2), assume for a contradiction that α, β ∈ Φ with B(α, β) ≤ −1. Then
α 6= β and ∆W 0 = {α, β} verifies the condition to be a simple system as in §2.3.
Let W 0 := hsα , sβ i the dihedral reflection subgroup associated to ∆0 and note that
W 0 is infinite. But ∆W 0 ⊆ N (w) by assumption, contradicting (1).


We end this section by recalling the notion of shortest coset representatives of reflection subgroups. Let W 0 be a reflection subgroup of W with canonical generators
S 0 and based root subsystem (ΦW 0 , ∆W 0 ) and set
XW 0 := {v ∈ W | `(sβ v) > `(v), ∀β ∈ ΦW 0 } = {v ∈ W | N (v) ∩ ΦW 0 = ∅}.
Any coset W 0 w in W contains an element of minimal length, which must be in XW 0 .
It is known (see [11, 3.3(ii),3.4]) that
Proposition 2.16. Let W 0 be a reflection subgroup of W and w ∈ W . Write
w = uv with (u, v) ∈ W 0 × XW 0 . We have:
(1) N (w) ∩ ΦW 0 = NW 0 (u);
(2) `(sβ w) < `(w) if and only if `W 0 (sβ u) < `W 0 (u) for all β ∈ ΦW 0 .
This second statement of this last proposition, which will be used frequently in
§4 and §5, will be referred to as “functoriality of the Bruhat graph” (for inclusions of
reflection subgroups; see [11, 14]). It implies that the elements of XW 0 are precisely
those elements v of W which are of minimum length in their coset W 0 v, and that
any element w ∈ W can be uniquely expressed in the form w = uv where u ∈ W 0
and v ∈ XW 0 . Accordingly, XW 0 is called the set of minimal length left coset
representatives for W 0 in W . Functoriality of the Bruhat graph also implies the
following useful alternative characterization of XW 0 :
XW 0 = {v ∈ W | `(sβ v) > `(v), ∀β ∈ ∆W 0 }.
3. Small roots and Low elements
Let (W, S) be a finitely generated Coxeter system together with a root system Φ
and simple system ∆ as in §2.3. The aim of the next two sections is to prove
Theorem 1.1: the set of low elements is a finite Garside shadow in (W, S). In order
to do this we first review one important partial order on the set of positive roots
Φ+ that lead to the definitions of small roots and low elements.

12

C. HOHLWEG AND M. DYER

3.1. Dominance order on roots. Introduced by Brink and Howlett in [6], the
dominance order is the partial order  on Φ+ defined by:
α  β ⇐⇒ (∀w ∈ W, β ∈ N (w) =⇒ α ∈ N (w)).
(we say in this case that β dominates α). Related to the dominance order, there is
a notion of dominance depth, called ∞-depth, of a positive root.
Definition 3.1. Let β ∈ Φ+ and n ∈ N.
(i) The dominance set of β is Dom(β) = {α ∈ Φ+ | α ≺ β}, the set of positive
roots strictly dominated by β.
(ii) The ∞-depth on Φ+ is defined by dp∞ (β) = | Dom(β)|.
Remark 3.2. (a) In the definition of Dom(β), the inequality is strict: β ∈
/ Dom(β).
(b) The dominance order together with the ∞-depth dp∞ (β) should not be confused with the root poset [2, §4.6] defined by using the usual depth of a root
dp(β) from §2.3, see §5 for further discussions on this subject.
The following result, which is analogous to Proposition 2.6, gives a recurrence
formula for ∞-depth of roots; see Proposition 5.10 for a common generalization.
Proposition 3.3. Let s ∈ S and β ∈ Φ+ with β 6= αs . We have dp∞ (αs ) = 0 and

 dp∞ (β) − 1 if B(αs , β) ≥ 1
dp∞ (β)
if B(αs , β) ∈ ] − 1, 1[
dp∞ (s(β)) =

dp∞ (β) + 1 if B(αs , β) ≤ −1.
In particular, dp∞ (α) = 0 for any simple root α ∈ ∆.
Proof. The first statement follows from definition: if αs , which is element of N (s),
dominates a positive root β, then β ∈ N (s) = {αs }. The second statement is a
restatement of [20, Proposition 3.14].

The following lemma recollects useful properties of dominance order regarding
restriction to root subsystem.
Lemma 3.4.
(1) For any reflection subroup W 0 of W , dominance order ≺W 0
+
on ΦW 0 is the restriction to ΦW 0 of the dominance order ≺ on Φ.
+
(2) If I ⊆ S, then the ∞ depth on Φ+
I is the restriction of the ∞-depth on Φ
+
to ΦI .
Proof. Part (1) appears in [22]; see [21, Corollary 3.3](2) for a more detailed proof.
Let us now prove (2): since any reduced word for w ∈ WI has its letters in I, we
have NI (w) = N (w) for any w ∈ WI . So by definition of dominance for β ∈ Φ+
I
+
+
and α ∈ Φ+ : α  β =⇒ α ∈ N (sβ ) ⊆ Φ+
I . So Dom(β) ⊆ ΦI if β ∈ ΦI and
+
+
therefore the ∞-depth on Φ+

I is the restriction of the ∞-depth on Φ to ΦI .
Remark 3.5. The ∞-depth has a nice geometric interpretation in the context of
b is
normalized roots (see Remarks 2.7 and 2.9). Following [12] we say that βb ∈ Φ
b
b
b
b
visible from α
b ∈ Φ looking at Q, where α
b 6= β, if the segment [b
α, β] has empty
intersection with Q and if the half-line [b
α, β) starting at α
b and passing through βb
b Then α ≺ β if and only if βb is visible from α
b see [12,
intersects Q.
b looking at Q;
Proposition 5.7]. For instance, in Figure 2, β is visible from α3 looking at the point
b (in red). For a normalized root βb ∈ Φ,
b define the blind cone of βb to be the cone
Q
b
b cuts
Bl(β) pointed in β and constituted of the points a such that the line (a, β)

SMALL ROOTS AND LOW ELEMENTS IN COXETER GROUPS

13

b a) starting at βb and passing through a does not
b and such that the half-line [β,
Q
b So
intersect Q.
b
Dom(β) = {α ∈ Φ+ | α
b ∈ Bl(β) \ {β}}.
In particular dp∞ (β) is the number of normalized roots in the blind cone of β
without counting β:
b = |Bl(β)
b ∩ Φ|
b \ {β}|
b −1
dp∞ (β) = |Bl(β) ∩ Φ
An example of the blind cone of a positive root β such that dp∞ (β) = 2 is given in
Figure 5; note that in Figure 4 the blind cone starting at the root of ∞-depth 2 is
a half-line passing through γ.
Using Remark 3.5, one gives the following examples.
Example 3.6. If W is finite, then dp∞ (α) = 0 for all α ∈ Φ+ . In particular any
positive root dominates only itself.
Example 3.7. Assume, as in Example 2.3, that W is the infinite dihedral group
generated by S = {s, t}. Choose a geometric representation with B(αs , αt ) ≤ −1,
the associated projective representation is illustrated in Figure 3. Denote by [s, t]k
the reduced word st . . . with k letters; this word ends with a s if k is odd and with
a t if k is even. Denote for k ∈ N:

[s, t]k (αs ) if k is even.
αs,k =
[s, t]k (αt ) if k is odd.
b in
In particular αs,0 = αs and the α
bs,k are the roots on the left-hand side of Q
Figure 3. We have therefore
Dom(αs,k )

b
= {α ∈ Φ+ | α
b ∈ Bl(αs,k ) \ {β}}
= {αs,j | 0 ≤ j < k}

Hence dp∞ (αs,k ) = k. By symmetry we can define αt,k using the words [t, s]k . In
particular the unique roots of ∞-depth equals to 0 are the simple roots αs and αt .
Example 3.8. In Figure 4, we give the ∞-depth on the first roots for the affine
Coxeter system of type G̃2 .
Example 3.9 (Affine Weyl groups). We now give the example of an affine Coxeter
system (W, S), i.e., W is an affine Weyl groups.
When working with an affine Weyl group, one usually uses its crystallographic
root system, which we recall now. Let Ψ0 be a reduced, irreducible, crystallographic
root system of a finite Weyl group W0 , in a real vector space V0 , with W0 -invariant
positive definite scalar product h −|− i (see [4, 25]). Choose a positive system Ψ+
0
with simple roots ∆0 . Form a new vector space V with V0 as a codimension 1
subspace, say V = V0 ⊕ Rδ and extend h −|− i to a symmetric invariant bilinear
form B on V with radical Rδ. In particular the isotropic cone is Q = Rδ. Set
Ψ := {µ + kδ | µ ∈ Ψ0 , k ∈ Z}, Ψ+ = {µ + kδ ∈ Ψ | µ ∈ Ψ0 , k ≥ 1 if µ ∈ Ψ−
0}
and Π = ∆0 ∪ {δ − ω} where ω is the highest root of Ψ0 . It is well known that Ψ is
a standard crystallographic root system of the affine Weyl group W corresponding
to W0 , with Ψ+ as positive system and ∆ as corresponding simple roots (see e.g.
[26] or [18]). For instance:

14

C. HOHLWEG AND M. DYER

β
0
sβ

6
sα

sγ
0
1

0
0
0

0

1

0

ν

0
1

2

0
1

0

0

0

α

γ

b in red, the small roots (with
b = {δ}
Figure 4. The normalized isotropic cone Q
∞-depth 0) and the ∞-depth on some other roots for the normalized root system
f2 . The dotted red line forms the blind cone (c.f. Remark 3.5) of the
of affine type G
root of depth 2 it emanates from.
• in Example 2.11, W is the affine Weyl group of type Ã2 : W0 = S3 , which
is a finite Weyl group of type A2 , with ∆0 = {α1 , α2 }. Then the highest
root is α1 + α2 and α3 = δ − α1 − α2 .
• in Example 3.8, W is the affine Weyl group of type G̃2 : W0 = D6 , which is
a finite Weyl group of type G2 , with ∆0 = {α, β} and we have two choices
for a finite crystallographic root system Ψ0 , which we give us the same
based root system. Choose Ψ+
0 = {α, α + β, 2α + 3β, α + 2β, α + 3β, β}; the
highest root is 2α + 3β and γ = δ − 2α − 3β.
The crystallographic root system Ψ is easily converted to the root system of a
based root system (Φ, ∆) in (V, B) by normalizing roots to have square length 1:
1
since the elements of Ψ are non-isotropic, i.e. Ψ∩Rδ = ∅, we define α0 := B(α,α)
1/2 α
for any α ∈ Ψ; then set
Φ := {α0 | α ∈ Ψ},

∆ := {α0 | α ∈ Π} and Φ+ = coneΦ (∆) = {β 0 | β ∈ Ψ+ }.

Note that the reflection su = sku for any k ∈ R∗ and u ∈ V \ Rδ so sα0 = sα ∈ W
for α0 ∈ Φ, i.e., α ∈ Ψ. So we may extend the notion of ∞-depth and dominance
to the crystallographic root system Ψ by setting α  β if α0  β 0 and
dp∞ (α) := dp∞ (α0 ), for any α, β ∈ Ψ.
It is well known and easily seen that the positive root systems of infinite maximal
dihedral reflection subgroups of W (see Example 2.14) are precisely the sets
{µ + kδ, −µ + (k + 1)δ | µ ∈ Ψ+
0 , k ∈ N}.

SMALL ROOTS AND LOW ELEMENTS IN COXETER GROUPS

15

Those correspond to all the sets of normalized roots on segments in Figure 2 and
Figure 4 passing through the roots on the face corresponding to the roots in Ψ0
and the red dot δ. It is clear by the definition that Ψ+ is the union of all positive
root systems of infinite maximal dihedral reflection subgroups of W . The only
dominances in Ψ are thus:
µ + kδ  µ + lδ,

for k ≤ l in Z and µ ∈ Ψ0 .

+

It follows that for β = µ + kδ ∈ Ψ we have:

k
(♦)
dp∞ (β) = dp∞ (µ + kδ) =
k−1

if µ ∈ Ψ+
0 and k ∈ N
∗
if µ ∈ Ψ−
0 and k ∈ N

where N∗ = N \ {0}. In other words, on the segments in Figure 2 and Figure 4 representing infinite maximal dihedral reflection subgroups, dp∞ is strictly increasing
from 0 to ∞ starting from a root µ ∈ Ψ+
0 to δ (the red dot), then decreasing from
δ to −µ + δ.
Example 3.10. In Figure 5, we give the ∞-depth on the first roots for the affine
Coxeter system of rank 3 whose graph is in the top right corner of the figure.
β
0
sβ

7
sα

sγ
0
1

0
0

0

0
0

1

2

0

0 0

0
α

0

γ

b in red, the small roots (with ∞Figure 5. The normalized isotropic cone Q
depth 0) and the ∞-depth on some other roots for the normalized root system
associated to the Coxeter graph on the top right corner. The roots in the pointed
shaded red cone form the blind cone (c.f. Remark 3.5) of the root of depth 2 it is
pointed on.
3.2. Small roots and small inversion sets.
Definition 3.11. Let β ∈ Φ+ and n ∈ N.
(i) The positive root β is small 1 if β dominates no other positive root than itself,
i.e., dp∞ (β) = 0.
(ii) The positive root β is n-small if dp∞ (β) ≤ n.
1These roots are also called humble or elementary in the literature. We adopt here the terminology of [2]. See [2, Notes, p.130] for more details.

16

C. HOHLWEG AND M. DYER

(iii) The set of n-small roots is denoted by Σn (W ), or simply by Σn if there is no
possible confusion. We denote by Σ = Σ0 the set of small roots in Φ.
Remark 3.12. The collection (Σn )n∈N is a filtration of Φ+ : we have
[
Φ+ =
Σn and ∆ ⊆ Σ = Σ0 ⊆ Σ1 ⊆ · · · ⊆ Σn , ∀n ∈ N.
n∈N

Proposition 3.13. If I ⊆ S and n ∈ N, then Σn (WI ) ⊆ Σn (W ).
Proof. The result follows from Lemma 3.4.



The next proposition gives a useful characterization of small roots, see [6, 2].
Proposition 3.14. Let β in Φ+ \∆ and α ∈ ∆ such that B(α, β) > 0, then β ∈ Σ if
and only if sα (β) lies in Σ and B(α, β) < 1 holds; if and only if dp(sα (β)) < dp(β).
The case n = 0 in the following theorem is due to Brink-Howlett [6, Theorem 2.8]
whereas the general case is due to Fu [20, Corollary 3.9] and [21, Theorem 3.22]
and Dyer (unpublished; see [19]).
Theorem 3.15. For all n ∈ N, the set Σn is finite and does not depend of the
choice of the root system. In particular Σ0 = Φ+ if and only if W is finite
Example 3.16. If W is the infinite dihedral group, as in Examples 2.3 and 3.7,
then Σ = ∆ = {αs , αt }. For similar reason, Σ = ∆ if W is a universal Coxeter
group as in Example 2.4.
Example 3.17. Small roots are all represented in the cases illustrated in Figures 4 and 5. In the case of the affine Coxeter group of type Ã2 as in Example 2.11
and Figure 2, the small roots are the roots corresponding to proper standard parabolic subgroups: Σ = {α1 , α2 , α3 , α1 + α2 , α1 + α3 , α2 + α3 }.
The case of small roots (n = 0) is at the heart of the work of Brink and Howlett [6]
on the automatic structure of Coxeter systems: they provide, by the mean of small
inversion sets, a finite state automaton that recognizes the language of reduced
words. The notion of small inversion sets will be used in §3.3 and beyond.
Definition 3.18. Let n ∈ N, the (left) n-small inversion set of w ∈ W is
Σn (w) = N (w) ∩ Σn .
We denote by Λn (W ) (or simply Λn if there is not possible confusion) the set of all
(left) n-small inversion sets.
Remark 3.19. In [2, §4.8], the authors use right inversion sets: N (w−1 ) ∩ Σ.
Theorem 3.15 has the following interesting direct consequence:
Corollary 3.20. The set Λn (W ) is finite for all n ∈ N∗ .
We end this discussion on small descent sets with the following lemma and proposition. Note that we do not need these results in the rest of this article; but we state
them anyway since they play an important role in relation to finite state automata
associated to Coxeter groups (see [19] for a multi-parameter generalization). For
n = 0, this goes back to [6], see also [2, §4.8].
Lemma 3.21. Let w ∈ W , s ∈ S and n ∈ N.
(1) If `(sw) > `(w), then Σn (sw) = {αs } t (Σn ∩ s(Σn (w))).

SMALL ROOTS AND LOW ELEMENTS IN COXETER GROUPS

17

(2) If n ≥ 1 and `(sw) < `(w), then Σn−1 (sw) = Σn−1 ∩ s(Σn (w) \ {αs }).
Proof. Under the assumptions of (1), the word sw is reduced and αs ∈ ∆ ⊆ Σn .
So N (w) = {α} t s(N (w)) by Corollary 2.10, which implies the right hand side
of (1) is contained in the left hand side. To prove the reverse inclusion, it suffices
to show that if β ∈ Σn (sw) = N (sw) ∩ Σn and β 6= αs , then s(β) ∈ Σn , since
s(β) ∈ N (w) from above. Assume for a contradiction that dp∞ (s(β)) ≥ n+1. Then
Proposition 3.3 forces B(αs , β) ≤ −1 since dp∞ (β) ≤ n. Since αs , β ∈ N (sw), this
contradicts Proposition 2.15.
The proof of (2) is similar but simpler. Under these assumptions, we have αs ∈
∆ ⊆ Σn and w = s(sw) is reduced. So N (sw) = s(N (w) \ {αs }) by Corollary 2.10.
This implies the right hand side of (2) is contained in the left hand side. To prove
the reverse inclusion, it suffices to show that if β ∈ Σn−1 (sw), then s(β) ∈ Σn , since
s(β) ∈ N (w) from above and we cannot have s(β) = α. The result then follows
from Proposition 3.3.

Proposition 3.22. For any n ∈ N, the finite set Λn is the inclusion-minimum
subset of Σn such that
(1) ∅ ∈ Λn
(2) If A ∈ Λn and α ∈ ∆ \ A, then {α} ∪ (sα (A) ∩ Σn ) ∈ Λn
Proof. Suppose A := Σn (w) for some w ∈ W . Then for s ∈ S, one has `(sw) > `(w)
if and only if αs 6∈ N (w), so if and only if αs 6∈ A. In that case Σn (sw) =
{α} ∪ (s(A) ∩ Σn ) which is completely determined by A and s. The result is clear
from this using Lemma 3.21.

Remark 3.23. Following [2, p.119–120], we define for n ∈ N a n-canonical automaton that recognizes the language of reduced words: the set of states is Λn (W );
for each A ∈ Λn (W ) and s ∈ S such that αs ∈ ∆ \ A we put a transition:
s

A−
→ {α} ∪ (sα (A) ∩ Σn ).
Note that the 0-canonical automaton is the canonical automaton described in [2,
p.120] and in [19, §4.3]. However if n > 0, the canonical automata defined and
studied in [19, §4.3] are different than the one we define above.
3.3. Low elements. We are now ready to define low elements.
Definition 3.24. Let n ∈ N. An element w ∈ W is n-low if N (w) = coneΦ (A) for
some A ⊆ Σn , or equivalently if N (w) = coneΦ (Σn (w)). We denote by Ln (W ) the
set of n-low elements in W .
A 0-low element is simply called a low element and L0 (W ) is denoted by L(W ).
Remark 3.25. The collection (Ln (W ))n∈N is a filtration of W ; one has
[
W =
Ln (W ), and L0 (W ) ⊆ L1 (W ) ⊆ . . . ⊆ Ln (W ) ⊆ . . . , ∀n ∈ N.
n∈N

The following proposition shows part of Theorem 1.1.
Proposition 3.26. Let n ∈ N.
(1) We have S ∪ {e} ⊆ Ln (W ).
(2) The map Σn : Ln (W ) → Λn (W ) is injective;
(3) The set Ln (WW) is finite and closed under join, i.e., if X ⊆ Ln (W ) is
bounded then X ∈ Ln (W ).

18

C. HOHLWEG AND M. DYER

Proof. For the first statement: e ∈ Ln (W ) since N (e) = ∅ = coneΦ (∅); moreover
N (s) = {αs } = coneΦ (αs ) and αs ∈ ∆ ⊆ Σ0 ⊆ Σn . For (2), let w, w0 ∈ Ln (W )
such that Σn (w) = Σn (w0 ), then N (w) = coneΦ (Σn (w)) = coneΦ (Σn (w)) = N (w0 ).
By Proposition 2.8 N is injective and so w = w0 , which implies that Σ is injective.
It remains to show (3). Finiteness of Ln (W ) holds by (2) and Corollary 3.20. Now
let X ⊆ Ln (W ) bounded.
For each x ∈ X, we have by definition that N (x) =
W
coneΦ (Σn (x)) and X exists. The fact that Ln (W ) is closed under join follows
now from the definition and Proposition 2.8:
!
!
_ 
[
[
N
X = coneΦ
coneΦ (Σn (x)) = coneΦ
Σn (x) ,
x∈X

and

S

x∈X

Σn (x) ⊆ Λn . So

W

x∈X

X ∈ Ln (W ).



Example 3.27. If W is the infinite dihedral group D∞ , as in Examples 2.3, 3.7
and 3.16, then Σ = ∆ = {αs , αt }. Therefore the conic hull of the two small roots
contains Φ+ which is infinite in this case.
Hence coneΦ (∆) = Φ+ cannot be an inversion set. So L(W ) = S ∪ {e}.
Example 3.28. If (W, S) is a universal Coxeter system, as in Examples 2.4 and 3.16,
then Σ = Σ0 = ∆ and therefore L(W ) = S ∪ {e}. Indeed, the conic hull of two
small roots is the positive root system for an infinite dihedral group, a standard
parabolic subgroup of rank 2 as in Examples 3.16 and 3.27; hence we cannot have
an inversion set that arises from the conic hull of more than one small root.
Example 3.29. In the case of the affine Coxeter group of type Ã2 as in Examples 2.11 and 3.17 and Figure 2, it is not difficult to see, using the same techniques
as in Example 2.11, that
L(Ã2 ) = {e, 1, 2, 3, 12, 21, 13, 31, 23, 32, 121, 131, 232, 1232, 2313, 3121}.
In both these examples and more, the map Σ is bijective, which leads us to state
the following conjecture.
Conjecture 2. The map Σn : Ln (W ) → Λn (W ) is a bijection.
Remark 3.30. In the examples above, the set of low elements L(W ) is also the
smallest Garside shadow S̃ from Remark 2.5. But it is not true in general. If
(W, S) is of affine type G̃2 (see Figure 4), then w = sα sγ sβ is a low element since
its inversion set is N (w) = coneΦ (α, γ, ν), where sα (γ) = γ and ν = sα sγ (β); but
is not in S̃ since we cannot obtain w by join or suffix closure starting from S.
4. Low elements form a finite Garside shadow
The aim of this section is to finish the proof of Theorem 1.1. In regard to
Proposition 3.26(3), we just have to show that the set L(W ) of low elements is
closed under taking suffix. In order to do this we first give a description of the
rays of the cone over the inversion set of a suffix of w ∈ W as a function of rays of
cone(N (w)). Then we prove that the set of small roots is bipodal: if a small root is
a positive and non-simple root of a maximal dihedral reflection subgroup W 0 , then
the simple system ∆W 0 is constituted of two small roots.

SMALL ROOTS AND LOW ELEMENTS IN COXETER GROUPS

19

4.1. Bruhat order. The Bruhat order on W is the partial order ≤ arising as the
reflexive, transitive closure of the relation → on W defined by x → y if there is
β ∈ Φ+ such that y = sβ x with `(x) < `(y). We say that a pair x ≤ y is a covering
in the Bruhat order, which we denote by xCy, if for any z ∈ W such that x ≤ z ≤ y
then we have z = x or z = y. The chain property of Bruhat order implies that
x C y is a covering if x < y and `(y) = `(x) + 1, i.e., if there is β ∈ Φ+ such that
y = sβ x and `(y) = `(x) + 1. It is known that u ≤R v implies that u ≤ v. We refer
the reader to [2, Chapter 2] for more details. The following well-known proposition
can be found for instance as [2, Proposition 2.2.7].
Proposition 4.1 (Lifting property). Let s ∈ S and u < v in W such that sv C v
and u C su, then u ≤ sv and su ≤ sv.
The next corollary is used in the proof of Theorem 4.10 below.
Corollary 4.2. Let s ∈ S, x ∈ W and γ ∈ Φ+ such that sx C x and sγ x C x. Then
either γ = αs or ssγ x C sγ x.
Proof. Since s ∈ S we have `(ssγ x) = `(sγ x) ± 1. So either ssγ x C sγ x and we are
done, or sγ x C ssγ x. In this last case, we have `(ssγ x) = `(sγ x) + 1 = `(x) since
sγ x C x. Moreover Proposition 4.1 implies, with u = sγ x and v = x, that ssγ x ≤ x.
Since ssγ x and x have the same length, we have x = ssγ x, forcing s = sγ , i.e.,
γ = αs .

Example 4.3. Let W be a dihedral group Dm (m ∈ N≥2 ∪ {∞}) generated by
S = {s, t} with Coxeter graph:
s m t
We follow the notations introduced in Example 3.7 for [s, t]k , [t, s]k , αs,k and αt,k
for k ∈ N. We illustrate in Figure 6 the Hasse diagrams for the Bruhat order on
dihedral groups with the edges representing the covering x C y labelled by the root
β such that y = sβ x.
The above example of dihedral group leads to the following lemma, which will
be used to prove Theorem 4.10 below (recall the definition of maximal dihedral
reflection subgroup in Example 2.14).
Lemma 4.4. Let s ∈ S, β ∈ Φ+ and x ∈ W such that sxCx. Denote W 0 = hs, sβ i,
a reflection subgroup with simple system ∆W 0 and positive root system Φ+
W 0 . The
following assertion are equivalent:
(1) ssβ sx C sβ sx C sx C x;
(2) W 0 is a maximal dihedral reflection subgroup, ∆W 0 = {αs , β}, `(ss(β) x) =
`(x) − 3 and there is γ ∈ Φ+
W 0 \ {αs } such that sγ x C x.
Proof. Assume (1) to be true. Note that W 0 is of rank 2 since αs 6= β by (1).
Let W 00 be the maximal dihedral reflection subgroup containing W 0 . Write x = uv
with u ∈ W 00 and v ∈ XW 00 as in Proposition 2.16. Proposition 2.16(2) shows that
the map ψv : (W 00 , ≤W 00 ) 7→ (W 00 v, ≤), z 7→ zv, is an order preserving bijection.
Therefore, even though the inverse map may not be order preserving, (1) forces
ssβ su CW 00 sβ su CW 00 su CW 00 u.

20

C. HOHLWEG AND M. DYER

w◦ = [s, t]m
αs,m−1

αt,m−1

[s, t]m−1

[t, s]m−1

[s, t]k+1

[t, s]k+1

αs,k

αt,k

[s, t]k

[t, s]k

αs,k−1

αt,k−1

[s, t]k−1

[t, s]k−1

sts

tst

αs,2

αt,2

st

ts

αs,1

αt,1

s

t
αt

αs

e
Figure 6. The Hasse diagram of the Bruhat order on the finite dihedral group
Dm . For D∞ , the Hasse diagram is the diagram with infinite vertices obtained by
not considering the top part of the above diagram. The labels for the interior edges
are as follows: the ‘parallel’ red ones corresponds to the label αs and the ‘parallel’
blue ones to the label αt . All the labels on the other edges are distinct.
But since the graph of the Bruhat order on W 00 is as in Example 4.3 and Figure 6,
the only possible chains of covering with repetition of the same reflection is one involving the two canonical generators of W 00 . So S 00 = {s, sβ } must be the canonical
generators of W 00 . In other words, W 0 = W 00 and ∆W 0 = {αs , β}.

SMALL ROOTS AND LOW ELEMENTS IN COXETER GROUPS

21

Moreover, since each Bruhat interval of length 2 (or more) in dihedral groups have
two coatoms (see Figure 6), there is γ ∈ Φ+
W 0 \ {αs } such that sβ su CW 0 sγ u CW 0 u.
Applying the order preserving map ψv we obtain sβ sx < sγ x < x. Since by
assumption `(sβ sx) = `(x) − 2, we have sβ sx C sγ x C x.
Assume now (2) to be true. As in (1) we use the decomposition x = uv and
the map ψv . Observe that, and `(ssβ sx) = `(x) − 3 = l(sx) − 2 since sx C x. We
must have sβ sx < sx, since otherwise `(ssβ sx) ≥ `(sβ sx) − 1 ≥ `(sx). So sβ su CW 0
suCW 0 u, since SW 0 = {s, sβ }, and sγ uCW 0 u. This implies that sβ suCW 0 sγ uCW 0 u
since sγ u and su are the two coatoms of the length 2 interval [sβ su, u] in (W 0 , ≤W 0 ).
If ssβ su >W 0 sβ su, this would force sβ su CW 0 ssβ su since SW 0 = {s, sβ }. Therefore, ssβ su ∈ {su, sγ u} since there is only two atoms above sβ su in (W 0 , ≤W 0 ).
Since sβ 6= s, we have ssβ su = sγ u and hence ssβ sx = sγ x contrary to sγ x C x and
`(ssβ sx) = l(x) − 3.
Hence ssβ su <W 0 sβ su and therefore ssβ su <W 0 sβ su <W 0 su <W 0 u. Applying
ψv shows ssβ sx < sβ sx < sx < x. Since `(ssβ sx) = `(x) − 3, it follows that
ssβ sx C sβ sx C sx C x.

4.2. Bases of inversion sets. Using the Bruhat order, the first author (M.D.) [15,
16, 17] describes the rays of the cone over an inversion set. If C is a cone such that
C ∩ −C = {0}, an extreme ray of C is a ray R+ α where α ∈ C \ {0} such that
if β, γ ∈ C and R+ α ⊆ cone(β, γ), then β ∈ R+ α or γ ∈ R+ α. In that case, any
non-zero α ∈ F is called a representative of F .
Definition 4.5. Let w ∈ W , the base N 1 (w) of the inversion set N (w) is the set
of representatives of cone(N (w)) constituted of roots:
N 1 (w) = {β ∈ Φ+ | R+ β is an extreme ray of cone(N (w))}.
The following proposition is [17, Lemma 1.7(a)].
Proposition 4.6. Let w ∈ W , then the base of N (w) is:
N 1 (w) = {β ∈ Φ+ | `(sβ w) = `(w) − 1} = {β ∈ Φ+ | sβ w C w}.
The concept of base of inversion sets has the following interesting consequences
for the weak order and n-low elements that are worth mentioning, but are not
necessary to prove Theorem 1.1.
Corollary 4.7. Let x, y ∈ W and β ∈ Φ.
(1) If `(sβ (x ∧ y)) = `(x ∧ y) + 1, then either `(sβ x) = `(x) + 1 or `(sβ y) =
`(y) + 1.
(2) If x ∨ y exists and `(sβ (x ∨ y)) = `(x ∨ y) − 1, then either `(sβ x) = `(x) − 1
or `(sβ y) = l(y) − 1.
Proof. We prove only (2), the proof of (1) being similar using [17, Lemma 1.7(b)].
Proposition 2.8 and Proposition 4.6 with w = x and w = y respectively give
N (x ∨ y) = coneΦ (N 1 (x) ∪ N 1 (y)).
So by definition of the base of an inversion set, we have N 1 (x ∨ y) ⊆ N 1 (x) ∪ N 1 (y).
This is equivalent to the desired conclusion, by Proposition 4.6.

Proposition 4.8. Let u, v ∈ W both be n-low elements.
(1) For x ∈ W , one has u ≤R x if and only if N 1 (u) ⊆ Σn (x).

22

C. HOHLWEG AND M. DYER

(2) The join of u and v exists (i.e. {u, v} is bounded in W ) if and only if there
is some A ∈ Λn with N 1 (u) ∪ N 1 (v) ⊆ A.
Proof. We prove (1). If v ≤R x, then N (u) ⊆ N (x). Since u is n-low we have
N 1 (u) ⊆ Σn (u) = N (u) ∩ Σn ⊆ N (x) ∩ Σn = Σn (x). Conversely, if N 1 (u) ⊆
Σn (x), then N 1 (u) ⊆ N (x) and so N (u) = coneΦ (N 1 (u)) ⊆ N (x) i.e. u ≤R x by
Proposition 2.8. Part (2) follows from (1) and the definition of Λn .

Remark 4.9. If S is finite, the proposition gives rise to an algorithm to determine
whether two elements v, w of W have a join in weak order, since Σn and Λn can
be effectively computed. In general (for possibly infinite S) one may find a finite
subset I ⊆ S such that v, w ∈ WI = hIi. Using Proposition 2.8, for instance, one
easily sees that v, w have a join in W if and only if they have one in WI , and that
if so, the joins of v and w in WI and W coincide.
4.3. Inversion sets of suffixes. We give here a useful description of the base of
the inversion set of a suffix of w ∈ W obtained from the description of the base
of N (w). We deduce from there a sufficient condition for a suffix of a n-low element
to be n-low.
For each s ∈ S, we define a function fs : Φ+ \ {αs } → Φ+ as follows. Let
β ∈ Φ+ \ {αs }. Then the dihedral reflection subgroup hs, sβ i is contained in a
unique maximal dihedral reflection subgroup W 0 , as defined in Example 2.14. We
have necessarily αs ∈ ∆W 0 since αs ∈ ∆, which is a basis of cone(Φ+ ). Define fs (β)
to be the other element of ∆W 0 i.e. by ∆W 0 = {αs , fs (β)}. Equivalently, fs (β) is
defined by the conditions fs (β) ∈ Φ+ and (Rαs + Rβ) ∩ Φ+ = cone(αs , fs (β)) ∩ Φ+ .
Theorem 4.10. Let s ∈ S and x ∈ W .
(1) If sx is a suffix of x, i.e., sx C x, then


N 1 (sx) ⊆ s N 1 (x) \ {αs } ∪ fs N 1 (x) \ {αs } .
(2) If x is a suffix of sx, i.e., x C sx, then

N 1 (sx) = {αs } t s {β ∈ N 1 (x) | sβ x < ssβ x} .
The proof of this theorem uses the following lemma.
Lemma 4.11. Let s ∈ S and x ∈ W such that sx C x, then:
(1) {β ∈ N 1 (sx) | sβ sx < ssβ sx}

=

{β ∈ Φ+ | sβ sx C ssβ sx and sβ sx C sx}

=

s(N 1 (x) \ {αs });

(2) {β ∈ N 1 (sx) | sβ sx > ssβ sx} = {β ∈ Φ+ | ssβ sx C sβ sx C sx C x}


= β ∈ fs N 1 (x) \ {αs } | ssβ sx C sβ sx C sx C x
=
β ∈ fs N 1 (x) \ {αs } | `(ss(β) x) = `(x) − 3 .
Proof. Recall that, for all w ∈ W , `(sw) = `(w) ± 1 since s ∈ S; so either sw C w or
w C sw and sw C w if and only if `(sw) = `(w) − 1. This shows the first equalities
in both (1) and (2) by taking w = sβ sx.
For the proof of (1), suppose first that γ ∈ N 1 (x) \ {αs } and write β = s(γ).
Observe that sβ sx = ss(γ) sx = ssγ x since sβ = ss(γ) = ssγ s. We show that β is in
the left hand side of (1), that is:
(?)

sβ sx = ssγ x C sx and sβ sx = ssγ x C ssβ sx = sγ x,

SMALL ROOTS AND LOW ELEMENTS IN COXETER GROUPS

23

by Proposition 4.6. By Proposition 4.6 again we have sγ x C x. Since sx C x and
γ 6= αs we have ssγ x C sγ x by Corollary 4.2, proving the first statement of (?). The
second statement follows from the following computation:
`(sβ sx) = `(ssγ x) = `(sγ x) − 1 = `(x) − 2 = `(sx) − 1.
This shows the right hand side of (1) is contained in the left hand side. For the
reverse inclusion, let β be in the left hand side of (1) and set γ := s(β). Since
γ 6= α, it will suffice to show that γ ∈ N 1 (x). But we have by assumption on β
that `(sγ x) = `(ssβ sx) = 1 + `(sβ sx) = `(sx) = `(x) − 1, and the result follows.
Now for the proof of
beginning of this proof.
and the definition of fs ,
the positive root system

(2), the first equality follows from the discussion at the
The second and third equalities follows from Lemma 4.4
since there is γ ∈ N 1 (x) \ {αs }, i.e., sγ x C x, and γ is in
spanned by ∆W 0 = {αs , β}.


Proof of Theorem 4.10. Part (1) is a direct consequence of Lemma 4.11 since
N 1 (sx) = {β ∈ N 1 (sx) | sβ sx > ssβ sx} t {β ∈ N 1 (sx) | sβ sx < ssβ sx}.
Item (2) follows easily by replacing x by sx in Lemma 4.11(1).



Corollary 4.12. Let n ∈ N and x ∈ Ln (W
 ) be a n-low element. Let s ∈ S such
that sx is a suffix of x. If fs N 1 (x) \ {αs } ⊆ Σn , then sx ∈ Ln (W ).
Proof. We have, by definition of n-low elements, to show that N 1 (sx)
⊆ Σn . Let

γ ∈ N 1 (sx). By Theorem 4.10(1), either γ ∈ fs N 1 (x) \ {αs } or γ = s(β)
where β ∈ N 1 (x) \ {αs }. In the first case, γ ∈ Σn by assumption. In the second
case, if γ 6∈ Σn , we have d∞ (β) ≤ n and d∞ (s(β)) > n. By Proposition 3.3,
this implies that B(αs , β) ≤ −1. But α, β ∈ N 1 (x) ⊆ N (x), so this contradicts
Proposition 2.15(2).

The next result is immediate from Corollary 4.12 and Proposition 3.26(3).
Corollary 4.13. Let n ∈ N. Suppose that for every s ∈ S and β ∈ Φ+ \ {αs }, one
has fs (β) ∈ Σn whenever β ∈ Σn . Then the set Ln (W ) of n-low elements of W is
a finite Garside shadow.
4.4. Bipodality. We present here a property called bipodality and show that if the
set Σn of n-small roots is bipodal, then Σn meets the hypothesis of Corollary 4.13
and so Ln (W ) is a finite Garside shadow.
Definition 4.14. A subset A ⊆ Φ+ of positive roots is bipodal if for any maximal
dihedral reflection subgroup W 0 with canonical simple system ∆W 0 and positive
root system Φ+
W 0 we have the following property:
A ∩ (Φ+
W 0 \ ∆W 0 ) 6= ∅ =⇒ ∆W 0 ⊆ A.
Remark 4.15. In the context of normalized roots, as in Remark 2.7, A is bipodal
b =Φ
b ∩ P (P is some line containing at least two
if for any maximal segment [b
α, β]
b
b
normalized roots) such that A ∩ (b
α, β) 6= ∅ the endpoints α
b, βb are elements of A.
Proposition 4.16. Let n ∈ N. If the set Σn of n-small roots is bipodal, then the
set Ln (W ) of n-low elements is a finite Garside shadow.

24

C. HOHLWEG AND M. DYER

Proof. By Proposition 3.26(3) it is enough to show that if s ∈ S and x ∈ Ln (W )
such that sx is a suffix of x, then sx ∈ Ln (W ). By Corollary 4.13, we have to show
that if β ∈ N 1 (x) \ {αs }, then fs (β) ∈ Σn . Since x ∈ Ln (W ) and β is in the base
of its inversion set, we have β ∈ Σn . Let W 0 be the dihedral reflection subgroup
generated by the reflection in the simple system ∆W 0 = {αs , fs (β)}; by definition
of fs , this reflection subgroup is maximal. So either fs (β) = β and we are done, or
β ∈ Φ+

W 0 \ ∆W 0 . This forces fs (β) ∈ Σn since Σn is bipodal by assumption.
In regards of the above proposition, it is now time to state our second conjecture,
that would imply, if true, Conjecture 1.
Conjecture 3. The set of n-small roots Σn is bipodal for any n ∈ N.
This conjecture is obvioulsy true for finite Coxeter groups, since all roots are
small (see Example 3.6); it is also true for infinite dihedral groups (see Example 3.7)
and for affine Coxeter systems as shown in the following theorem.
Theorem 4.17. Let n ∈ N and assume (W, S) is an affine Weyl group. Then:
(1) Σn is bipodal;
(2) Ln (W ) is a finite Garside shadow in (W, S).
Proof. By Proposition 4.16 one just has to show (1). Assume without loss of generality that (W, S) is irreducible. We use the notations and results of Example 3.9.
Let γ be a root in the positive crystallographic root system Ψ such that γ 0 ∈ Σn . Let
W 0 be a maximal dihedral reflection subgroup with simple system ∆W 0 = {α0 , β 0 },
+
0
with α0 , β 0 ∈ Ψ+ , and positive root subsystem Φ+
W 0 such that γ ∈ ΦW 0 \ ∆W 0 . By
symmetry between α and β, one just has to show that dp∞ (α) ≤ dp∞ (γ), which
would imply α0 ∈ Σn .
0
Since Φ+
/ ∆W 0 , there is a, b ∈ N∗
W 0 = coneΦ (∆W 0 ), Ψ is crystallographic and γ ∈
+
such that γ = aα + bβ. By the description of Ψ given in Example 3.9 we have
α = α0 + kδ and β = β0 + lδ, for some k, l ∈ N and α0 , β0 ∈ Ψ0 . So
γ = aα0 + bβ0 + (ak + bl)δ.
+

By the description of Ψ again, we must have γ0 := aα0 + bβ0 ∈ Ψ0 since δ is not
in the linear span of Ψ0 but γ0 = aα0 + bβ0 is. So by Equation (♦) in Example 3.9
we have:

ak + bl
if γ0 ∈ Ψ+
0
dp∞ (γ) = dp∞ (γ0 + (ak + bl)δ) =
.
ak + bl − 1 if γ0 ∈ Ψ−
0
and


dp∞ (α) = dp∞ (α0 + nδ) =

k
k−1

if α0 ∈ Ψ+
0
.
if α0 ∈ Ψ−
0

+
So dp∞ (α) ≤ dp∞ (γ) unless γ0 ∈ Ψ−
0 , α0 ∈ Ψ0 and l = 0. In this case β = β0 must
+
−
be a positive root in Ψ0 and therefore γ0 = aα0 + bβ0 ∈ Ψ+
0 contradicting γ0 ∈ Ψ0 .
0
In conclusion, dp∞ (α) ≤ dp∞ (γ), α ∈ Σn and Σn is bipodal.


4.5. Bipodality of small roots and proof of Theorem 1.1. As seen in Proposition 4.16, in order to show Theorem 1.1 it is enough to show that the set of small
roots Σ is bipodal.
Theorem 4.18. The set of small roots Σ is bipodal.
This theorem is the direct consequence of the three following technical lemmas

SMALL ROOTS AND LOW ELEMENTS IN COXETER GROUPS

25

Lemma 4.19. The set Σ is bipodal if and only if the following condition holds:
(♥) for any maximal dihedral reflection subgroup W 0 of W , γ ∈ Σ∩(Φ+
W 0 \∆W 0 )
and simple root α ∈ ∆ \ ∆W 0 with B(α, γ) > 0, one has −1 < B(α, β) < 1
for all β ∈ ∆W 0 .
Remark 4.20. Observe that the condition B(α, γ) > 0 is equivalent to say that
γ is on the positive side of the hyperplane Hα = ker(v 7→ B(α, v)) and that the
condition −1 < B(α, β) < 1 is equivalent to say that the dihedral reflection subgroup generated by sα , sβ is finite, which is equivalent to (Rα + Rβ) ∩ Φ is finite,
or equivalently, (Rα + Rβ) ∩ Q = {0}; see [12, 24] for more details. So the condition (♥) has the following geometric interpretation: for any small root γ ∈ Σ,
simple root α ∈ ∆ such that γ is on the positive side of the hyperplane Hα and
maximal dihedral reflection subgroup W 0 of W such that γ ∈ (Φ+
W 0 \ ∆W 0 ), one has
(Rα + Rβ) ∩ Φ finite (which translates in the language of normalized roots to: the
line passing through α
b and βb contains a finite number of normalized roots).
Proof. Suppose Σ is bipodal. Let W 0 be a maximal dihedral reflection subgroup of
W , and γ ∈ Σ ∩ (Φ+
W 0 \ ΠW 0 ). Since Σ is bipodal, ∆W 0 ⊆ Σ. Now let α ∈ ∆ \ ∆W 0
with B(α, γ) > 0. Abbreviate s = sα and W 00 := sW 0 s (a maximal dihedral
reflection subgroup of W ). Note that α 6∈ ΦW 0 , for otherwise α ∈ ΠW 0 since α ∈ ∆.
+
+
Hence ∆W 00 = s(∆W 0 ) and s(γ) ∈ s(Φ+
W 0 ) = ΦW 00 ⊆ Φ . Proposition 3.3 forces
+
0 ≤ dp∞ (s(γ)) ≤ dp∞ (γ) = 0, so s(γ) ∈ Σ ∩ (ΦW 00 \ ∆W 00 ). Since Σ is bipodal, this
implies ∆W 00 ⊆ Σ. Now let β ∈ ∆W 0 , so s(β) ∈ ∆W 00 and dp∞ (β) = dp∞ (s(β)) = 0
by above. By Proposition 3.3: if B(α, β) ≤ −1, then dp∞ (s(β)) = dp∞ (β) + 1,
whereas if B(α, β) ≥ 1, then dp∞ (β) = dp∞ (s(β)) + 1. In either case, we have a
contradiction, so −1 < B(α, β) < 1. Hence (♥) holds, completing the proof of the
“only if” direction.
Now we assume (♥). We show that for any maximal dihedral reflection subgroup
W 0 of W and any γ ∈ Σ ∩ (Φ+
W 0 \ ∆W 0 ), one has ∆W 0 ⊆ Σ, by induction on dp(γ)
using Proposition 2.6. This will obviously imply that Σ is bipodal.
Choose α ∈ ∆ with B(α, γ) > 0. Since B(α, β) ≤ 0 for all α, β ∈ ∆, we
must have γ 6∈ ∆. So dp(γ) ≥ 3 by Proposition 2.6. Set as above s = sα and
W 00 := sW 0 s. By Proposition 2.6, we have dp(s(γ)) = dp(γ) − 1, so s(γ) ∈ Σ by
Proposition 3.14. We distinguish the cases α ∈ ∆W 0 and α 6∈ ∆W 0 .
First assume α ∈ ∆W 00 , so W 00 = W 0 . If s(γ) ∈ ∆W 0 , then ∆W 0 = {α, γ} ⊆ Σ
as required. On the other hand, if s(γ) 6∈ ∆W 0 , then s(γ) ∈ Σ ∩ (Φ+
W 0 \ ∆W 0 ) with
dp(s(γ)) < dp(γ). Hence ∆W 0 ⊆ Σ by induction.
+
Now consider the case α 6∈ ∆W 00 . Then ∆W 00 = s(∆W 0 ), Φ+
W 00 = s(ΦW 0 ) and
+
s(γ) ∈ Σ ∩ (ΦW 00 \ ∆W 00 ) with dp(s(γ)) < dp(γ). By induction, ∆W 00 ⊆ Σ. But
by (♥), for any β ∈ ∆W 0 , we have −1 < B(α, β) < 1 and hence dp∞ (β) =
d∞ (sα (β)) = 0 since sα (β) ∈ ∆W 00 . Hence ∆W 0 ⊆ Σ as required to complete the
proof of the “if” direction.

Lemma 4.21. Assume that Σ is bipodal whenever (W, S) is of rank |S| = 3. Then
Σ is bipodal for all (W, S).
Proof. We regard the condition (♥) in Lemma 4.19 as a condition on the based
root system (Φ, ∆): assume that (♥) holds for each rank three root subsystem
(Ψ, Π) of (Φ, ∆). Let W 0 be any rank 2 maximal dihedral reflection subgroup of W ,

26

C. HOHLWEG AND M. DYER

γ ∈ Σ ∩ (Φ+
W 0 \ ∆W 0 ) and α ∈ ∆ \ ∆W 0 with B(α, γ) > 0 and β ∈ ∆W 0 . We have
to show that −1 < B(α, β) < 1.
Define the reflection subgroup G := hW 0 , sα i of W . Since ΦW 0 t {α} spans a
subspace of V of dimension three and ΦW 0 t {α} ⊆ ΦG , the rank of G has to be at
least 3. Since G is generated by three reflections, it is of rank at most three by [13,
Corollary 3.11]. So the rank of G is 3.
Set Ψ := ΦG and let Π := ∆G , so (Ψ, Π) is a rank three based root subsystem of
(Φ, ∆) (but not a standard parabolic root subsystem in general). Note that W 0 is
a maximal dihedral reflection subgroup of G and that the set Ψ+
W 0 of positive roots
+
of W 0 in Ψ is Ψ+
=
Φ
and
the
canonical
set
of
simple
roots
∆W 0 of Ψ+
0
0
W
W
W 0 with
+
respect to (Ψ, Π) is ΠW 0 = ∆W 0 . Further, γ ∈ Σ(G) ∩ (ΨW 0 \ ΠW 0 ) by Lemma 3.4,
and α ∈ Π \ ΠW 0 since any simple root lies in the canonical simple system of any
root subsystem containing it. Hence by (♥) for (Ψ, Π), which holds by assumption
since Ψ is of rank three, it follows that −1 < B(α, β) < 1 for β ∈ ΠW 0 = ∆W 0 . 
Lemma 4.22. If (W, S) has rank 3, then Σ is bipodal.
Proof. Assume that (W, S) is of rank 3. Let Γ be the Coxeter graph of (W, S), with
set of vertices ∆ = {α1 , α2 , α3 }. We denote S = {s1 , s2 , s3 } with si = sαi . The
support of a root β = a1 α1 + a2 α2 + a3 α3 is the set supp(β) = {αi ∈ ∆ | ai 6= 0}.
We denote by Γ(β) the full subgraph of Γ on the vertex set supp(β).
The proof proceeds essentially by systematically listing all possible (Γ, γ, W 0 )
satisfying the conditions γ ∈ Σ and W 0 is a maximal dihedral reflection subgroup
such that γ ∈ Φ+
W 0 \ ∆W 0 and checking that ∆W 0 ⊆ Σ in each case.
If Γ is not connected, i.e., Φ is reducible, then Φ is the disjoint union of a simple
root and of the root system of a dihedral standard parabolic subgroup, for which
the set of small roots is bipodal. It is then easy to see that Σ is bipodal.
So from now on, we suppose that Γ is a connected graph.
Assume that γ is not of full support, i.e., supp(γ) = I ( ∆. So γ ∈ Φ+
I and
therefore γ is in a facet of cone(∆). Since γ ∈ Φ+
W 0 \ ∆W 0 , then γ is in the relative
+
interior of cone(∆W 0 ). This forces ∆W 0 ⊆ Φ+
W 0 ⊆ ΦI , since ∆W 0 ⊆ cone(∆W 0 ) ⊆
cone(∆). So we are in the case of a dihedral standard parabolic subgroup. But in
this case we know that ∆W 0 ⊆ Σ(WI ). So ∆W 0 ⊆ Σ by Proposition 3.13.
So from now on γ is assumed to be of full support, i.e., Γ(γ) = Γ
By Brink’s characterization of the support of small roots [5, Lemma 4.1], the
support of any small root contains no cycle and no edge with infinite label. We
may therefore assume that the Coxeter graph is of the form
α1

m

α2

n

α3

where m, n ∈ N and m ≥ n ≥ 3.
We already know Σ is bipodal if W is finite (by Example 3.6) or affine (by
Theorem 4.17). So the classification of affine and finite Coxeter groups (see for
instance [25]) forces m > n ≥ 4, or m ≥ 7 and n = 3.
It is easy now to list for each of these Γ the small roots γ of full support. This
may be done either by simple direct calculation using Proposition 3.3 or by using [5],
where the small roots are recursively determined for all finite rank Coxeter systems;
see especially [5, Propositions 4.7 and 6.7]. For each γ, all possible maximal dihedral

SMALL ROOTS AND LOW ELEMENTS IN COXETER GROUPS

27

reflection subgroups W 0 are obtained by specifying the canonical simple system
∆W = {µ1 , µ2 }, which is obtained by inspection since γ = aµ1 + bµ2 with a, b ≥ 1.
Observe that supp(µi ) 6= {α1 , α3 } since there is no root with full support in the
subgroup generated by s1 , s3 .
To complete the proof, we list below all the possible γ and W 0 (by specifying
∆W 0 ), writing cp := 2 cos πp for all p ∈ N≥2 . In each case, each element of ∆W 0
lies in a dihedral finite standard parabolic root subsystem of Φ and so is small as
required.
• If m > n ≥ 4, the only possible γ is cm α1 + α2 + cn α3 = s1 s3 (α2 ) and then
∆W 0 is either {α1 , s3 (α2 ) = α2 + cn α3 } or {α3 , s1 (α2 ) = α2 + cm α1 }.
• If m ≥ 7 and n = 3, there are three possible choices for γ.
(i) γ = α1 + cm α2 + cm α3 = s3 s2 (α1 ); in this case ∆W 0 is:
either {α3 , s2 (α1 ) = α1 + cm α2 } or {α1 , s3 (α2 ) = α2 + α3 }.
(ii) γ = cm α1 + α2 + α3 = s1 s2 (α3 ); in this case ∆W 0 is:
either {α3 , s1 (α2 ) = α2 + cm α1 } or {α1 , s2 (α3 ) = α2 + α3 }.
(iii) γ = (c2m − 1)α1 + cm α2 + cm α3 = s1 s3 s2 (α1 ); in this case ∆W 0 is:
either {α3 , s1 s2 (α1 ) = (c2m − 1)α1 + cm α2 } or {α1 , s3 (α2 ) = α2 + α3 }.

5. Weak and Bruhat order on root systems and bipodality
Let (Φ, ∆) be a based root system in the quadratic space (V, B) with Coxeter
system (W, S). In the preceding sections we conjectured that:
• The set Ln (W ) of n-low elements in W is a finite Garside shadow in (W, S)
for all n ∈ N (Conjecture 1).
• The set Σn of n-small roots is bipodal for all n ∈ N (Conjecture 3).
In view of Proposition 4.16, we know that Conjecture 1 is implied by Conjecture 3.
We know therefore that Conjectures 1 and 3 are true in the following cases:
• if n = 0 by Theorem 1.1 and Theorem 4.18;
• if W is finite, dihedral or an affine Weyl group by Theorem 4.17 and Example 3.6 and 3.7;
• if the Coxeter graph of (W, S) has labels 3 or ∞, by Theorem 5.1 in §5.
The aim of this section is to show Conjecture 1 and Conjecture 3 hold also in
the following cases.
Theorem 5.1. Suppose that (W, S) is a Coxeter system such that its Coxeter graph
has all edges labelled by 3 or ∞, i.e., all entries of the Coxeter matrix of (W, S) lie
in {1, 2, 3, ∞}. Then for each n ∈ N:
(1) Σn (W ) is a bipodal subset of Φ+ ;
(2) Ln (W ) is a finite Garside shadow in (W, S).
In order to show bipodality, we will show that Σn enjoys a stronger property
that we define now.
Definition 5.2. A subset A ⊆ Φ+ is balanced if for all γ ∈ A and all maximal
dihedral reflection subgroups W 0 of W with γ ∈ ΦW 0 the following holds: if β ∈ Φ+
W0
such that `W 0 (sβ ) < `W 0 (sγ ) then β ∈ A.

28

C. HOHLWEG AND M. DYER

This definition goes back to Edgar’s thesis [19] (in the case of the standard
length function). Since the canonical simple reflections sα , sβ of W 0 are of length
`W 0 (sα ) = `W 0 (sβ ) = 1, it is easy to see that a balanced set of root is necessarily a
bipodal set of roots.
Remark 5.3. (a) In the language of normalized roots, as in Remark 2.7, a maximal dihedral subgroup W 0 with canonical simple system ∆W 0 = {α, β} correb ∩ Φ;
b maximality holds in the sense that
sponds to a “maximal” segment [b
α, β]
b
b Φ
b =Φ
b W 0 . If W 0
there are no other roots on the line (b
α, β) but the ones in [b
α, β]∩
+
is finite (infinite), one may index ΦW 0 as {α1 = βn , α2 = βn−1 , . . . , αn = β1 }
(resp., {α1 , α2 , . . . , αn , . . . , βn , . . . , β2 , β1 }; see Figure 3) in the order correb from α
sponding to that in which a point moving along the line segment [b
α, β]
b to
b
β passes through the associated normalized roots. One has lW 0 (αi ) = lW 0 (βi ) =
2i − 1 provided 1 ≤ 2i − 1 ≤ |Φ+
W 0 |. Set ai := dp∞ (αi ) and bi = dp∞ (βi ).
Then Σn is balanced if and only if (for each W 0 ), 1 ≤ 2i − 1 ≤ |Φ+
W 0 | and
min(ai , bi ) ≤ n imply that aj , bj ≤ n for all j with 1 ≤ j < i.
(b) It is not true that a bipodal set of roots is balanced. Assume (W, S) to be of
type G̃2 as in Figure 4, then Σ is bipodal but not balanced. For the maximal
(finite) segment [b
γ , sβ · α
b] ∩ Φ has ∞-depth values (0, 0, 1, 0, 1, 0), where, in the
notation of (a), b3 = 0 but b2 = 1 6≤ 0. Hence the conjecture, mentioned in
[19], that Σn is always balanced is false (even for n = 0).
Theorem 5.1 is a consequence of the following proposition, as we show now.
Proposition 5.4. Let W 0 be a dihedral reflection subgroup of W , and γ, δ ∈ Φ+
W0.
0
0
0
(1) If W is infinite and `W (sγ ) < `W (sδ ), then dp∞ (γ) < dp∞ (δ).
(2) If W 0 is finite and there exists x ∈ W 0 such that δ = x(γ) and `(sδ ) =
`(sγ ) + 2`W 0 (x), then dp∞ (γ) ≤ dp∞ (δ).
Remark 5.5. In the notation of Remark 5.3, (1) says that (for infinite W 0 ), aj , bj <
ai , bi if 1 ≤ j < i, while (2) says that (for finite W ), ai−1 < bi and bi−1 < ai if
3 ≤ 2i − 1 ≤ |Φ+
W 0 |.
The proof of the proposition involves a study of an analogue for Φ of the weak
order of W , and is postponed to the end of this section. For now, assuming the
above proposition, let us give the proof of the theorem.
Proof of Theorem 5.1. We shall show that Σn is balanced, and hence it is bipodal.
We begin the argument assuming just that (W, S) is a finite rank Coxeter system.
Let γ ∈ Σn and W 0 be a (maximal) dihedral reflection subgroup of W such that
γ ∈ ΦW 0 \ ∆W 0 . Write ∆W 0 = {α, β}. We wish to show that α, β ∈ Σn .
In any case, `W 0 (sα ), `W 0 (sβ ) < `W 0 (sγ ). If W 0 is infinite, it follows from
Proposition 5.4(1) that dp∞ (α), dp∞ (β) < dp∞ (γ) ≤ n and α, β ∈ Σn as required. Otherwise, W 0 is finite. It follows from Proposition 5.4(2) and Remark 5.5
that dp∞ (sβ (α)) ≥ dp∞ (sα ), dp∞ (sα (β)) ≥ dp∞ (sβ ) and either dp∞ (sγ ) ≥
dp∞ (sβ (α)) or dp∞ (sγ ) ≥ dp∞ (sα (β)). Hence it would suffice to show that
dp∞ (sβ (α)) ≥ dp∞ (sβ ) and dp∞ (sα (β)) ≥ dp∞ (sα ). We do not know if this
holds in general. However, we now make the special assumptions on the Coxeter
matrix in Theorem 5.1 and show instead that one has sγ = sα (β) = sβ (α).
An argument due to Tits (see [4, Ch IV, §4, Ex 4(d)], [6, Proposition 1.3] or
[2, Theorem 4.5.3]) shows that a finite subgroup H of W must be conjugate to a

SMALL ROOTS AND LOW ELEMENTS IN COXETER GROUPS

29

reflection subgroup of a finite standard parabolic subgroup of W . A minor elaboration of Tits’ argument shows that if H is a reflection subgroup, and its roots span
a subspace of dimension r, then the standard parabolic subgroup may be taken
to be of rank r. This also follows from the well known fact that, in a finite Coxeter group, the parabolic closure H 00 of a rank r reflection subgroup H 0 (i.e. the
inclusion-minimal parabolic subgroup H 00 containing H 0 ) has as its root system the
set of all roots in the linear span of the root system of H 0 .
Applying the previous paragraph with H = W 0 shows that W 0 is conjugate to
a subgroup of a finite dihedral standard parabolic subgroup of W . By assumption,
this subgroup must be of order 4 or 6 with two or three positive roots respectively.
In particular, either B(α, β) = 0 (which is impossible since then ΦW 0 \ ∆W 0 = ∅
contradicting γ ∈ ΦW 0 \ ∆W 0 ) or B(α, β) = − 21 and γ = α + β = sα (β) = sβ (α) as
required.

Proposition 5.4 has also the following noteworthy consequence, which was observed in the proof above.
Corollary 5.6. Let n ∈ N. The set Σn of n-small roots is bipodal if and only for
any pair of roots α, β ∈ Φ+ such that W 0 := hsα , sβ i is a finite maximal dihedral
reflection subgroup with canonical simple system ∆W 0 = {α, β}, B(α, β) 6= 0, and
sα (β) ∈ Σn , one has α ∈ Σn .
5.1. Length and depth functions on Φ.
Definition 5.7. Fix any subset X ⊆ R+ := {λ ∈ R | λ > 0}. The X-length on Φ
is the function dX : Φ → Z defined as follows: let β ∈ Φ+ , then
dX (±β) = ±|{α ∈ N (sβ ) | B(α, β) ∈ X}|.
Example 5.8. Note that if β ∈ Φ+ and α ∈ N (sβ ), then B(α, β) > 0, since
otherwise sβ (α) = α − 2B(α, β)β ∈ Φ+ contrary to α ∈ N (sβ ). So if X = R+ the
R+ -length on β corresponds to the usual length of the associated reflection sβ :
dR+ (β) = |N (sβ )| = `(sβ ) = 2dp(β) − 1,

β ∈ Φ+ .

Remark 5.9. (a) For a reflection subgroup W 0 of W , dW 0 ,X : ΦW 0 → N denotes
the function attached to (ΦW 0 , ∆W 0 , X) in the same way as dX is attached to
(Φ, ∆, X).
(b) P
The function dX depends only on X ∩ {B(γ, β) | γ, β ∈ Φ}. Also, dti Xi (α) =
i dXi (α) (where the right hand side has only finitely many non-zero terms
for fixed α ∈ Φ) if the subsets Xi ⊆ R+ for i ∈ I are pairwise disjoint. It
follows that the functions dX for arbitrary subsets of R are determined by the
functions dX for order coideals of R: such an order coideal X is either ∅, R+
or an open or closed ray [a, ∞[ or ]a, ∞[ for some a > 0.
Proposition 5.10. Let X ⊆ R+ and set −X := {−c | c ∈ X}. Let β ∈ Φ and
α ∈ ∆. Then dX (α) is equal to 1 if 1 is in X, and to 0 otherwise. Further,


dX (β) − 2, if B(α, β) ∈ X
dX (sα (β)) = dX (β),
if B(α, β) ∈ R \ (X ∪ −X)


dX (β) + 2, if B(α, β) ∈ −X.
Proof. The first claim is immediate from the definitions. It is easy to check that
the displayed formula is equivalent to any of its variants given by replacing β by

30

C. HOHLWEG AND M. DYER

±β or ±sα (β). Hence, without loss of generality, we may (and do) assume that
β ∈ Φ+ and B(β, α) ≥ 0. If β = α or B(β, α) = 0, the conclusion follows readily.
Otherwise, γ := sα (β) ∈ Φ+ and sβ = sα sγ sα with `(sβ ) = `(sγ ) + 2. Hence
N (sβ ) = {α} t sα (N (sγ )) t {sα sγ (α)} by Proposition 2.8. One has
B(sα sγ (α), β) = B(sα sγ sα (α), −β) = B(sβ (α), −β) = B(α, β).
For any γ 0 ∈ N (sγ ) we have B(γ 0 , γ) ∈ X if and only if B(sα (γ 0 ), β) ∈ X, since
B(sα (γ 0 ), β) = B(γ 0 , sα (β)) = B(γ 0 , γ).
Let c denote 1 if B(α, β) ∈ X and 0 otherwise. Now, since B(α, β) > 0, the desired
conclusion follows:
dX (β) = |{ρ ∈ N (sβ ) | B(ρ, β) ∈ X}| = |{γ 0 ∈ N (sγ ) | B(sα (γ 0 ), β) ∈ X}| + 2c
= |{γ 0 ∈ N (sγ ) | B(γ 0 , γ) ∈ X}| + 2c = dX (γ) + 2c.

Corollary 5.11.
(1) Let w ∈ W and β ∈ Φ. Then dX (w(β)) and dX (β) are
integers of the same parity, and −2`(w) ≤ dX (w(β)) − dX (β) ≤ 2`(w)
(2) dX (β) is an odd integer or an even integer for all β ∈ Φ according as to
whether 1 ∈ X or 1 6∈ X.
Proof. Part (1) is proved by induction on `(w) using Proposition 5.10. Part (2)
follows from (1) and the description of dX (α) for α ∈ ∆ in Propositilon 5.10, since
every root β is in the W -orbit of some simple root α.

Thanks to Proposition 5.10, we can define X-depth on Φ.
Definition 5.12. Let X ⊆ R+ , the X-depth on Φ+ is the function dpX : Φ+ → N
defined as follows:
(
dX (β)−1
, if 1 ∈ X
2
dpX (β) = dX (β)
,
if 1 ∈
/ X.
2
The following proposition follows from Proposition 5.10 together with Proposition 2.6 and Proposition 3.3.
Proposition 5.13.
(1) If X = R+ then dpX (β) = dp(β) − 1 for all β ∈ Φ+ .
(2) If X = [1, +∞) then dpX (β) = dp∞ (β) for all β ∈ Φ+ .
Remark 5.14. Sometimes, the depth of a positive root is defined so that the simple
roots equal have depth 0 and not 1 as in this text. In this case, then the equality
would be dpX (β) = dp(β) in (1) above.
Example 5.15. We discuss some examples of the functions dX : Φ → R, restricting
to the case in which X is an order ideal of R+ . The claims are readily checked using
Proposition 5.10.
(a) Fix α ∈ Φ+ . If W is finite and X =]1, ∞[, then dX (α) = 0. If X = [1, ∞[, then
dX (α) = 1. If X = R+ , then dX (α) = `(sα ).
(b) If W is a finite simply laced Weyl group then for any order coideal X of R+ ,
one has dX = dY where Y is either ]1, ∞[, [1, ∞[ or R+ .
(c) Suppose W is of type B/Cn , with positive roots
1
Φ+ = { √ (ei ± ej ) | 1 ≤ i < j ≤ n} ∪ {ei | 1 ≤ i ≤ n}.
2

SMALL ROOTS AND LOW ELEMENTS IN COXETER GROUPS

Let α ∈ Φ+ . If 1 6∈ X, then dX (α) = 0. If 1 ∈ X but

31

√1
2

6∈ X, then dX (α) = 1.
√
If ∈ X, then dX = dR+ , which is given by dR+ ((ei − ej )/ 2) = 2j − 2i − 1 and
√
dR+ ((ei + ej )/ 2) = 4n − 2i − 2j + 1 if 1 ≤ i < j ≤ n and dR+ (ei ) = 2n − 2i + 1
for 1 ≤ i ≤ n. In the remaining case ( 21 6∈ X but √12 ∈ X), one checks that
√
√
dX ((ei − ej )/ 2) = 1 and dX ((ei + ej )/ 2) = 3 if 1 ≤ i < j ≤ n, while
dX (ei ) = 2n − 2i + 1 for 1 ≤ i ≤ n.
1
2

5.2. The weak order on Φ. If X = R+ , we abbreviate dR+ by d and call it the
standard length function on Φ. We saw in Example 5.8 that for any β ∈ Φ+ , we
have
(3)

d(±β) = ±`(sβ ) = ±(dp(β) − 1).

Proposition 5.10 implies that if β ∈ Φ and α ∈ ∆, then
(4)

d(sα (β)) > d(β) ⇐⇒ d(sα (β)) = d(β) + 2 ⇐⇒ B(α, β) < 0.

Definition 5.16. Let l be the relation on Φ defined by α l β if there is γ ∈ ∆
such that B(γ, α) < 0 and β = sγ (α) both hold. We define the weak order on Φ
to be the partial order ≤ on Φ obtained as the reflexive transitive closure of the
relation l.
Since d(β) is odd for all β ∈ Φ, (4) implies that l is the covering relation of ≤.
Thus, α ≤ β holds in Φ if and only if there exist n ∈ N and β0 , . . . , βn ∈ β with
(5)

α = β0 l β1 l . . . l βn = β.

Since d(βi ) = d(βi−1 ) + 2 for all i from 1 to n, this implies that
1
(6)
d(β) = d(α) + 2n,
n = (d(β) − d(α)).
2
Remark 5.17. (a) If α l β, then β = α + cγ where c = −2B(α, γ) > 0, so γ and
c are uniquely determined by α and β.
(b) In [2], the set Φ+ partially ordered by restriction of ≤ is called the root poset.
Note that this partial order on Φ+ is not in general the order obtained by
restricting weak order on W to T = {sβ | β ∈ Φ} and transferring to Φ+ via
the standard bijection β 7→ sβ . It is easy to see that if β ∈ Φ+ , then −β ≤ β.
The map β 7→ −β for β ∈ Φ is an order-reversing bijection of Φ with itself in
weak order. Note also that if β l α where α ∈ ∆, then β = −α.
5.3. The root category. The relationship between the weak orders on Φ and W
is clarified by the introduction of a certain category C, which we shall call the root
category.
First, let C 0 = G denote the transformation groupoid of W on Φ; this is the
category (in fact, a groupoid) such that:
ob(G) = Φ and morG (α, β) = {(β, w, α) | w ∈ W, w(α) = β},
with composition defined by (γ, v, β)(β, w, α) = (γ, vw, α). For β ∈ V , c ∈ R and •
denoting one of the symbols =, < ,≤, ≥ or >, define Vβ•c := {α ∈ V | B(α, β) • c}.
Proposition 5.18.
(1) There is a subcategory C of C 0 with all objects of C 0 ,
and only those morphisms (β, w, α) in C 0 with N (w) ⊆ Vβ>0 .
(2) There is a duality (contravariant involutive automorphism) of C given by
α 7→ −α on objects and (β, w, α) 7→ (−α, w−1 , −β) on morphisms.

32

C. HOHLWEG AND M. DYER

(3) For two morphisms (γ, v, β) and (β, w, α) of C, one has `(vw) = `(v) + `(w)
and hence v ≤R vw in right weak order ≤R on W .
(4) Let (γ, x, α) be a morphism in C and v ∈ W with v ≤R x. Set w := v −1 x
and β := w(α) = v −1 (γ). Then (γ, v, β) and (β, w, α) are morphisms in C
and (γ, v, β)(β, w, α) = (γ, x, α).
Proof. Consider two composable morphisms (γ, v, β) and (β, w, α) of C 0 with both
>0
N (v) ⊆ Vγ>0 and N (w) ⊆ Vβ>0 . Then v(N (w)) ⊆ v(Vβ>0 ) = Vv(β)
= Vγ>0 . Therefore v(N (w)) ∩ −N (v) = ∅. By Corollary 2.10, we get `(vw) = `(v) + `(w), so
v ≤R vw, and N (vw) = N (v) t v(N (w)) ⊆ Vγ>0 . This implies (1) and (3). Part (2)
is readily proved using the fact that N (w−1 ) = −w−1 (N (w)). For (4), note that
we have N (x) = N (v) t v(N (w)) by Corollary 2.10 again, so N (v) ⊆ N (x) ⊆ Vγ>0
>0
and N (w) ⊆ v −1 (N (x)) ⊆ v −1 (Vγ>0 ) = Vv>0
.

−1 (γ) = Vβ
Corollary 5.19. Let α, β ∈ Φ. Then there is a natural bijective correspondence
between the set of maximal chains from α to β in (Φ, ≤) and the set of reduced
expressions of elements w ∈ W such that (β, w, α) ∈ morC (α, β).
Proof. Consider γ l γ 0 in (Φ, ≤). Write γ 0 = sβ (γ) with β ∈ ∆. Then (γ 0 , sβ , γ)
is in mor(C), by the definitions. On the other hand, if (γ 0 , sβ , γ) is in mor(C) with
β ∈ ∆, then γ l γ 0 in (Φ, ≤).
Given a maximal chain c : α = α0 l . . . l αn = β in (Φ, ≤), let βi ∈ ∆ with αi =
sβi (αi−1 ). By the above, (αi , sβi , αi−1 ) is in mor(C) for i = 1, . . . , n with composite
(αn , sβn , αn−1 ) · · · (α1 , sβ1 , α0 ) = (β, w, α) ∈ mor(C) where w := sβn · · · sβ1 ∈ W .
We have n = `(w) by Proposition 5.18, and we attach to c the above reduced
expression defining w.
On the other hand, consider a morphism (β, w, α) in C and a reduced expression
w = sβn · · · sβ1 , where all βi ∈ ∆. Let wi := sβi · · · sβ1 and αi := wi (α) for
i = 0, . . . , n. From Proposition 5.18 again, we see that c : α = α0 l . . . l αn = β is
a maximal chain from α to β in (Φ, ≤).
It is clear that the maps of the two previous paragraphs define inverse bijections
as required.

Proposition 5.20. For all α, β ∈ Φ and w ∈ W , one has (β, w, α) ∈ mor(C) if
and only if β = w(α) and d(β) = d(α) + 2`(w) hold.
Proof. Suppose (β, w, α) ∈ mor(C). Then by the proof of Corollary 5.19, there is
a maximal chain from α to β in (Φ, ≤) of length l(w). By (6), this maximal chain
necessarily has length 21 (d(β) − d(α)), proving that d(β) = d(α) + 2`(w).
On the other hand, suppose that β = w(α) where d(β) = d(α) + 2`(w). Choose
a reduced expression w = sβn · · · sβ1 where each βi ∈ ∆. Let wi := sβi · · · sβ1
and αi := wi α for i := 0, . . . , n. Then d(αi ) ≤ d(α) + 2`(wi ) = d(α) + 2i and
d(αi ) = d(wi w−1 β) ≥ d(β) − 2`(wi w−1 ) = d(β) − 2(`(w) − `(wi ) = d(α) + 2i. Hence
d(αi ) = d(α)+2i and it follows from §5.2 that α = α0 lα1 l. . .lαn = β is a maximal
chain from α to β in (V, ≤). By the proof of Corollary 5.19, (β, w, α) ∈ mor(C). 
5.4. Paths in weak order and length functions. We introduce more systematic
notation for certain invariants attached to paths in the poset (Φ, ≤).
Let p : α = α0 l α1 l . . . l αn = β be a maximal chain in the interval
[α, β] := {γ ∈ Φ | α ≤ γ ≤ β}

SMALL ROOTS AND LOW ELEMENTS IN COXETER GROUPS

33

in (Φ, ≤). Let βi ∈ ∆ with αi = sβi (αi−1 ). Then (αi , sβi , αi−1 ) is in mor(C) for
i = 1, . . . , n with composite
(αn , sβn , αn−1 ) · · · (α1 , sβ1 , α0 ) = (β, w, α) ∈ mor(C)
where w := sβn · · · sβ1 ∈ W . We have n = `(w) by Proposition 5.18.
For i := 1, . . . , n, let ci := B(βi , αi ) ∈ R+ ,
wi := sβi · · · sβ1

and

γi := wwi−1 (βi ) = sβn . . . sβi+1 (βi ) ∈ Φ+ .

We call L(p) := n the length of p and LW (p) := w the W -length of p. Define the
simple root label ∆(p) := (βn , . . . , β1 ) ∈ ∆n , the root label Φ(p) = (γn , . . . , γ1 ) ∈ Φn
and the numerical label c(p) := (cn , . . . , c1 ) ∈ (R+ )n . We record the following
simple relationships amongst these invariants for reference.
(7)

w = sβn . . . sβ1 = sγ1 · · · sγn ,

αi = wi (α) = wi w−1 (β),

(8)
(9)

n = `(w),

βi = wi w−1 (γi ),

i = 0, . . . , n

ci = B(αi , βi ) = B(β, γi ),

sβ = wsα w−1 ,

(10)

N (w) = {γ1 , . . . , γn }.

i = 1, . . . , n.

d(β) = d(α) + 2`(w).

(11)

N (sβ ) = N (w) t w(N (sα )) t −sβ (N (w)) if α ∈ Φ+ .

(12)

w(N (sa )) = {β} if α ∈ ∆.

Corollary 5.21. Consider α ≤ β in (Φ, ≤). Fix a path p from α to β and write
its numerical label as ∆(p) = (c1 , . . . , cn ). Also let (β, w, α), where w ∈ W , be in
morC (α, β) (e.g. w = LW (p) is the W -length of p). Then for any X ⊆ R+ ,
dX (β) − dX (α)
.
2
In particular, the two cardinalities depend only on α and β, and for any α ≤ β
in Φ, one has dX (α) ≤ dX (β).
|{γ ∈ N (w) | B(γ, β) ∈ X}| = |{i | 1 ≤ i ≤ n, ci ∈ X}| =

Proof. The second equality in the displayed equation follows from Proposition 5.10
by induction on L(p). To prove the first equality in that equation, one may, by
the proof of Corollary 5.19, assume without loss of generality that w = LW (p).
Then the first equality is a consequence of (7) and (9). The final statement of the
corollary follows from the displayed equation.

Remark 5.22. (a) The corollary refines (with simpler proof) unpublished results
of the first author (M. D) used in his proof of 3.15 and related results.
(b) The corollary shows that, for all X ⊆ R+ , the function dX is monotonic nondecreasing with respect to weak order on Φ.
5.5. Length functions and Bruhat order on root systems. In view of Remark 5.9 , we assume now that X is an order coideal of R+ : X is either ∅, R+ or
an open or closed ray [a, ∞[ or ]a, ∞[ for some a > 0.
The following lemma (in the case X = [1, ∞[) is needed for the proof of Proposition 5.4.
Lemma 5.23.

(1) Let (α, w, α0 ) be a morphism in C. Then
dX (sα (β)) − dX (β) ≥ dX (sα0 (β 0 )) − dX (β 0 )

for all β, β 0 ∈ Φ such that β = w(β 0 ) and B(α, β) ≤ 0.

34

C. HOHLWEG AND M. DYER

(2) Let β ∈ Φ, α ∈ Φ+ with B(α, β) ≤ 0. Then dX (sα (β)) ≥ dX (β) with strict
inequality if B(α, β) ∈ −X.
Proof. Note that in (1), α = w(α0 ) so B(α, β) = B(α0 , β 0 ) for β, β 0 as there. By a
predicate, we mean here a function which attaches to each element of its domain a
truth value. Consider the predicate which attaches to any morphism (α, w, α0 ) in C
the truth value of the second sentence in (1). It is easy to check that this predicate
is true on identity morphisms and that if it is true on each of two composable
morphisms in C, it is true on their composite. Since every (non-identity) morphism
in C is a composite of morphisms (α, s, α0 ) with s ∈ S, we may assume without loss
of generality that w = sγ for some γ ∈ ∆.
Rearranging the equation in (1), we see now that it holds if and only if
(13)

dX (sα (β)) − dX (sγ sα (β)) ≥ dX (β) − dX (sγ (β))

for all α, β ∈ Φ and γ ∈ ∆ with B(α, β) ≤ 0 and B(γ, α) > 0. We have sα (β) =
β + cα where c := −2B(α, β) ≥ 0, so B(γ, sα (β)) = B(γ, β) + cB(γ, α) ≥ B(γ, β).
Then Equation (13) follows by computing both sides by Proposition 5.10 using
B(γ, sα (β)) ≥ B(γ, β). This completes the proof of (1).
Now let α, β be as in (2). Since α ∈ Φ+ , we may choose a morphism (α, w, α0 ) in
C with α0 ∈ ∆, and set β 0 = w−1 (β). By (1), dX (sα (β)) − dX (β) ≥ dX (sα0 (β 0 )) −
dX (β 0 ). But since B(α0 , β 0 ) ≤ 0, Proposition 5.10 implies that dX (sα0 (β 0 )) −
dX (β 0 ) ≥ 0 with strict inequality if B(α0 , β 0 ) ∈ −X i.e. if B(α, β) ∈ −X. This
proves (2).

The remaining results of this subsection are not required in the proof of Proposition 5.4. They provide a more conceptual interpretation of Lemma 5.23(2) as a
monotonicity property of the length functions dX on Φ, in terms of a second partial
order ≤0 on Φ which we now define.
Definition 5.24. (i) Let l0 be the relation on Φ defined by α l0 β if there is
γ ∈ Φ+ such that c := B(γ, α) < 0 and β = sγ (α). This implies that
β − α = −cγ, so γ and c are uniquely determined by α and β.
(ii) Define a preorder (reflexive transitve relation) ≤0 on Φ as the reflexive, transitive closure of the relation l0 .
If α ≤0 β, then β −α ∈ cone(Φ). Since cone(Φ)∩− cone(Φ) = {0}, it follows that ≤0
is anti-symmetric i.e. it is a partial order, which we call the Bruhat order on Φ.
Remark 5.25. (a) Note that l0 is not the covering relation of ≤0 in general.
(b) The Bruhat order is stronger than weak order, in the sense that α ≤ β implies
α ≤0 β, for any α, β ∈ Φ.
(c) The assertions of 5.17(2), excluding those in the last sentence there, still hold
with “weak order” replaced by “Bruhat order” and “≤” replaced by “≤0 ”.
(d) Analogues of weak and Bruhat orders on W -orbits on V will be discussed more
systematically in relation to orders on W by the first author (M.D.) elsewhere.
Length functions have the following interesting behavior in relation to the Bruhat
order on Φ.
Theorem 5.26. Let W 0 be a reflection subgroup of W , and ≤0 (resp., ≤0W 0 ) denote
Bruhat order on Φ (resp., ΦW 0 ).
(1) If β, β 0 ∈ Φ and β ≤0 β 0 , then dX (β) ≤ dX (β 0 ).

SMALL ROOTS AND LOW ELEMENTS IN COXETER GROUPS

35

(2) If β, β 0 ∈ ΦW 0 and β ≤0W 0 β 0 , then β ≤0 β 0 and
0 ≤ dW 0 ,X (β 0 ) − dW 0 ,X (β) ≤ dX (β 0 ) − dX (β).
0
0
(3) If β 0 ∈ Φ+
W 0 , then 0 ≤ dW 0 ,X (β ) ≤ dX (β ).

Proof of Theorem 5.26. Part (1) follows from Lemma 5.23(2) and the definition of
Bruhat order ≤0 on Φ. Part (3) follows from (2) by taking β := −β 0 , so β ≤0W 0 β 0
since β 0 ∈ Φ+
W 0 , and dividing the resultant inequalities in (2) by 2.
It remains to prove (b). By definition of ≤0W 0 , it is sufficient to do this in the
case that β l0W 0 β 0 i.e. when β 0 = sα (β) for some α ∈ Φ+
W 0 with h α, β i < 0. This
immediately implies β l0 β 0 , so β ≤0 β 0 . One has 0 ≤ dW 0 ,X (β 0 ) − dW 0 ,X (β) by
(1) applied to W 0 . To complete the proof of (2), we shall show by induction on
n ∈ N that for all reflection subgroups W 0 of W and all β ∈ ΦW 0 and α ∈ Φ+
W0
with B(α, β) < 0 and d(α) = 2n + 1, one has
(14)

dW 0 ,X (sα (β)) − dW 0 ,X (β) ≤ dX (sα (β)) − dX (β).

+
If n = 0, then α ∈ ∆. Since also α ∈ Φ+
W 0 , we have α ∈ ∆W 0 . Equality holds
in (14), by computing both sides using Proposition 5.10 applied to W 0 and W .
Assume now that n > 0. Choose γ ∈ ∆ so α0 := sγ (α)lα. Then d(α0 ) = 2n−1 >
0 so α0 ∈ Φ+ . Define the reflection subgroup W 00 := sγ W 0 sγ of W and the root
0
0
0
0
β 0 := sγ (β) ∈ Φ. One has α0 ∈ Φ+
W 00 and β ∈ ΦW 00 with B(α , β ) < 0 and d(α ) =
0
0
0
2n − 1. By induction, we have dW 00 ,X (sα0 (β )) − dW 00 ,X (β ) ≤ dX (sα0 (β )) − dX (β 0 ).
That is,

(15)

dW 00 ,X (sγ sα (β)) − dW 00 ,X (sγ (β)) ≤ dX (sγ sα (β)) − dX (sγ (β)).

We now consider two cases as follows. First, suppose that γ ∈ ΦW 0 . Then
W 00 = W 0 and γ ∈ ∆W 0 . By Proposition 5.10 applied to both W and W 0 , one
has dW 0 ,X (sγ (β 00 )) − dW 0 ,X (β 00 ) = dX (sγ (β 00 )) − dX (β 00 ) for all β 00 ∈ ΦW 0 . Taking
β 00 := sα (β) and β 00 := β in turn in this, we see that (14) follows from (15).
The second and final case is that in which γ 6∈ ΦW 0 . Since γ ∈ ∆ \ ∆W 0 , we
have ∆W 00 = sγ (∆W 0 ). It follows that the map β 00 7→ sγ (β 00 ) defines a bijection
ΦW 0 → ΦW 00 . This bijection is an order isomorphism (ΦW 0 , ≤W 0 ) → (ΦW 00 , ≤W 00 )
in the corresponding weak orders, restricts to bijections ∆W 0 → ∆W 00 and Φ+
W0 →
00
000
00
000
Φ+
,
and
preserves
bilinear
forms
in
the
sense
B(s
(β
),
s
(β
))
=
B(β
,
β
) for
γ
γ
W 00
all β 00 , β 000 ∈ ΦW 0 . It follows that dW 00 ,X (sγ (β 00 )) = dW 0 ,X (β 00 ) for all β 00 ∈ ΦW 0 .
Taking β 00 equal to sα (β) and to β in turn shows that the left hand sides of (15)
and (14) are equal. On the other hand, by (13), the right hand side of (15) is less
than or equal to the right hand side of (14). Hence (14) also follows from (15) in
this case. This completes the proof of (2) and of the theorem.

5.6. Consequences for ∞-depth and dominance order. Henceforward, we
take X = [1, ∞). Recall that for α ∈ Φ+ we have:
d[1,∞) (α) = 2dp∞ (α) + 1 = 2| Dom(α)| + 1,
where Dom(α) = {β ∈ Φ+ | β ≺ α}. Dominance order and ∞-depth are related
to (Φ, ≤) as follows.
Proposition 5.27. Let β ∈ Φ+ . Choose a path p : α0 l α1 l . . . l αn = β in (Φ, ≤)
where α0 ∈ ∆. Write c(p) := (cn , . . . , c1 ) and Φ(p) = (γn , . . . , γ1 ). Then
(1) Dom(β) = {γi | 1 ≤ i ≤ n, ci ≥ 1}.
(2) dp∞ (β) = |{i | 1 ≤ i ≤ n, ci ≥ 1}|.

36

C. HOHLWEG AND M. DYER

(3) If (β, y, α) is in mor(C) and α ∈ ∆, then
Dom(β) = {γ ∈ N (y) | B(γ, β) ≥ 1}.
(4) Dom(β) = y(Dom(α)) t {γ ∈ N (y) | B(γ, β) ≥ 1} if (β, y, α) ∈ mor(C) and
α ∈ Φ+ .
(5) Dom(β) = {γ ∈ N (sβ ) | B(γ, β) ≥ 1, `(sγ ) < `(sβ )}.
Proof. We prove (1) using the facts listed in §5.4. Write ∆(p) = (βn , . . . , β1 ).
Suppose 1 ≤ i ≤ n and ci ≥ 1. Then B(γi , β) = ci ≥ 1. Also, since γi =
sβn · · · sβi+1 (βi ), we have
`(sγi ) ≤ 2(n − i) + 1 < 2n + 1 = `(sβ ).
This implies that γi ≺ β. On the other hand, let γ ∈ Φ+ with γ ≺ β. Set
w := LW (p), so wα0 = β. Hence sα0 w−1 (β) = −α0 , we have γ ∈ N (wsα0 ) =
N (w) t {β} = {γn , . . . , γ1 , β}. Therefore γ = γi for some 1 ≤ i ≤ n, with 1 ≤
B(γi , β) = ci . Part (2) follows by taking cardinalities in the equality in (1).
To prove (3) and (4), we may suppose without loss of generality that α = α0 and
y = LW (p); so β = y(α0 ) . Then for (3) N (y) = {sγ1 , . . . , sγn } and B(γi , β) = ci
for i = 1, . . . , n, so (3) follows from (1). For (4) choose a morphism (α, z, δ) in C
with δ ∈ ∆. Then (β, yz, δ) = (β, y, α)(α, z, δ) in mor(C). By (3),
Dom(β) = {γ ∈ N (yz) | B(γ, β) ≥ 1} and Dom(α) = {γ ∈ N (z) | B(γ, α) ≥ 1}.
But N (yz) = N (y) t y(N (z)) and for γ ∈ N (z), one has B(γ, α) = B(y(γ), β), so
(4) follows.
Finally, we prove (5). Let y = LW (p). Then β = y(α0 ) and sβ = ysα0 y −1
where `(sβ ) = 2`(y) + 1. Hence N (sβ ) is the disjoint union N (sβ ) = N (y) t {β} t
−sβ (N (y)). By (3), it will suffice to show that if γ ∈ {β} ∪ −sβ (N (y)), then either
`(sγ ) ≥ `(sβ ) or B(γ, β) < 1. This is trivial if γ = β. Otherwise, write γ = −sβ (γ 0 )
where γ 0 ∈ N (y). Then `(sγ 0 ) < `(sβ ) and B(γ, β) = B(γ 0 , β). If B(γ 0 , β) < 1,
then B(γ, β) < 1 also. If B(γ 0 , β) ≥ 1, then γ 0 ≺ β by (3).
The following facts can be easily deduced from the definition of dominance order,
see [6, Lemma 2.2]: the action of W preserves the dominance order so −γ = sβ (γ 0 ) ≺
sβ (β) = −β; multiplication by −1 reverses the dominance order so β ≺ γ and in
this case dp(β) < dp(γ). Therefore by Example 5.8 we obtain `(sβ ) < `(sγ ) as
required.

5.7. Proof of Proposition 5.4. Assume first for the proof of 5.4(1) that W is
infinite. We use here Proposition 5.27. Write ∆W 0 = {α, β}. Note that the inner
product of any two roots in ΦW 0 is greater than or equal to 1 in absolute value,
since W 0 is infinite. There is some ρ ∈ ∆W 0 with B(ρ, δ) > 0. Interchanging α
and β if necessary, we assume without loss of generality that B(α, δ) > 0. If also
B(α, γ) > 0, then α  γ ≺ δ since 1 = `W 0 (sα ) ≤ `W 0 (sγ ) < `W 0 (sδ ). Hence
Dom(δ) ⊇ Dom(γ) t {γ} and dp∞ (δ) = | Dom(δ)| ≥ | Dom(γ)| + 1 > dp∞ (γ).
The other case is that B(α, γ) ≤ −1. Let γ 0 := sα γ. Then dp∞ (γ) < dp∞ (γ 0 ) by
Lemma 5.23(2). We have B(α, γ 0 ) > 0, B(α, δ) > 0 and `W 0 (sγ 0 ) = `W 0 (sγ ) + 2 ≤
`W 0 (sδ ), so α ≺ γ 0  δ. This gives either γ 0 = δ or else dp∞ (γ 0 ) < dp∞ (δ), by
arguing as before but with γ replaced by γ 0 . In either case, dp∞ (γ) < dp∞ (γ 0 ) ≤
dp∞ (δ) as required.

SMALL ROOTS AND LOW ELEMENTS IN COXETER GROUPS

37

Now assume for the proof of 5.4(2) that W 0 is finite. By induction on `W 0 (x), it is
sufficient to prove the assertion there in the special case that x = sα where α ∈ ∆W 0 .
But then the hypotheses δ = sα γ with `W 0 (sδ ) = `W 0 (sγ) +2 imply that B(γ, α) < 0
and so dp∞ (γ) ≤ dp∞ (sα (γ)) = dp∞ (sδ ) as required, by Lemma 5.23(2) again.
This finishes the proof of Proposition 5.4.
Acknowledgment. We deeply thank Patrick Dehornoy for all the interesting and
exciting discussions we had on this subject, and for many suggestions on a preliminary version of this article that improved the present text. The second author
(CH) wishes to thank Christian Kassel and the Institut de Recherche Mathématique Avancée (IRMA), Université de Strasbourg, to have hosted him during his
sabbatical leave from October 2013 to June 2014 and where a significant part of this
work was done. The second author wishes also to warmly thank Nathan Williams
for many interesting conversations on the subject, in particular for inspiring the
counterexample in type G̃2 that the smallest Garside shadow is not the set of low
elements.
References
[1] A. Björner. Orderings of Coxeter groups. In Combinatorics and algebra (Boulder, Colo.,
1983), volume 34 of Contemp. Math., pages 175–195. Amer. Math. Soc., Providence, RI,
1984.
[2] A. Björner and F. Brenti. Combinatorics of Coxeter Groups, volume 231 of GTM. Springer,
New York, 2005.
[3] C. Bonnafé and M. Dyer. Semidirect product decomposition of Coxeter groups. Comm. Algebra, 38(4):1549–1574, 2010. http://dx.doi.org/10.1080/00927870902980354.
[4] N. Bourbaki. Groupes et algèbres de Lie, Chapitres IV–VI. Actualités Scientifiques et Industrielles, No. 1337. Hermann, Paris, 1968.
[5] B. Brink. The set of dominance-minimal roots. J. Algebra, 206(2):371–412, 1998.
[6] B. Brink and R. Howlett. A finiteness property and an automatic structure for coxeter groups.
Math. Ann., 296:179–190, 1993.
[7] P. Dehornoy, F. Digne, and J. Michel. Garside families and Garside germs. J. of Algebra,
380:109–145, 2013.
[8] P. Dehornoy, with F. Digne, J. Michel, E. Godelle, and D. Krammer.
Foundations of Garside Theory,
volume 22. EMS Tracts in Mathematics,
www.math.unicaen.fr/∼garside/Garside.pdf, 2015.
[9] P. Dehornoy, M. Dyer, and C. Hohlweg. Garside families in Artin-Tits monoids and low
elements in Coxeter groups. Comptes Rendus Mathematique, 353:403–408., 2015.
[10] V. V. Deodhar. A note on subgroups generated by reflections in Coxeter groups. Arch. Math.
(Basel), 53(6):543–546, 1989. http://dx.doi.org/10.1007/BF01199813.
[11] M. Dyer. On the “Bruhat graph” of a Coxeter system. Compositio Math., 78(2):185–191, 1991.
[12] M. Dyer, C. Hohlweg, and V. Ripoll. Imaginary cones and limit roots of infinite Coxeter
groups. http://arxiv.org/abs/1303.6710, Mar. 2013.
[13] M. J. Dyer. Reflection subgroups of Coxeter systems. J. Algebra, 135(1):57–73, 1990.
[14] M. J. Dyer. Hecke algebras and shellings of Bruhat intervals. II. Twisted Bruhat orders.
In Kazhdan-Lusztig theory and related topics (Chicago, IL, 1989), volume 139 of Contemp.
Math., pages 141–165. Amer. Math. Soc., Providence, RI, 1992.
[15] M. J. Dyer. Hecke algebras and shellings of Bruhat intervals. Compositio Math., 89(1):91–115,
1993.
[16] M. J. Dyer. Bruhat intervals, polyhedral cones and Kazhdan-Lusztig-Stanley polynomials.
Math. Z., 215(2):223–236, 1994.
[17] M. J. Dyer. On the weak order of Coxeter groups. 2011. http://arxiv.org/abs/1108.5557.
[18] M. J. Dyer and G. I. Lehrer. Reflection subgroups of finite and affine Weyl groups. Trans.
Amer. Math. Soc., 363(11):5971–6005, 2011.
[19] T. Edgar. Dominance and regularity in coxeter groups. PhD Thesis, University of Notre
Dame, 2009. http://etd.nd.edu/ETD-db/.

38

C. HOHLWEG AND M. DYER

[20] X. Fu. The dominance hierarchy in root systems of Coxeter groups. J. Algebra, 366:187–204,
2012.
[21] X. Fu. Coxeter groups, imaginary cones and dominance. Pacific J. Math., 262(2):339–363,
2013.
[22] R. B. Howlett and P. J. Rowley and D. E. Taylor. On the outer automorphism group of
Coxeter groups. Manus. Math., 93, 499-513, 1997.
[23] C. Hohlweg and J.-P. Labbé. On Inversion Sets and the Weak Order in Coxeter Groups.
http://arxiv.org/abs/1502.06926, 2015.
[24] C. Hohlweg, J.-P. Labbé, and V. Ripoll. Asymptotical behaviour of roots of infinite Coxeter
groups. Canad. J. Math., 66:323–353, 2014.
[25] J. E. Humphreys. Reflection groups and Coxeter groups, volume 29. Cambridge University
Press, Cambridge, 1990.
[26] V. G. Kac. Infinite-dimensional Lie algebras. Cambridge University Press, Cambridge, third
edition, 1990. http://dx.doi.org/10.1017/CBO9780511626234.
(Christophe Hohlweg) Université du Québec à Montréal, LaCIM et Département de
Mathématiques, CP 8888 Succ. Centre-Ville, Montréal, Québec, H3C 3P8, Canada
E-mail address: hohlweg.christophe@uqam.ca
URL: http://hohlweg.math.uqam.ca
Department of Mathematics, 255 Hurley Building, University of Notre Dame, Notre
Dame, Indiana 46556, U.S.A.
E-mail address: dyer.1@nd.edu

