arXiv:1605.07097v1 [math.GR] 23 May 2016

DOUBLE CENTRALIZERS IN ARTIN-TITS GROUPS
OUSSAMA AJBAL AND EDDY GODELLE

Abstract. We prove an analogue of the Centralizer Theorem in the context
of Artin-Tits groups.

Introduction
To obtain information on a group G, a standard approach consists in considering
subgroups and studying how they behave in the group. In particular, one often
consider the centralizer ZG (H) of a subgroup H in G, which is defined by
ZG (H) = {g ∈ G | gh = hg for all h ∈ H}.
This general approach naturally extends to other contexts. This is the case in the
study of noncommutative algebras where subgroups are replaced by subalgebras.
Clearly, for an algebra R and a subalgebra H, the centralizer ZG (H) is also a subalgebra. In this framework, the subalgebra ZG (ZG (H)), called the double centralizer
of H, has been considered [10, 25]. For instance, a classical result [10] is the socalled Centralizer Theorem, which claims that for a finite dimensional central simple
algebra R over a field k and for a simple subalgebra H, one has ZG (ZG (H)) = H.
Various generalizations has been obtained leading to applications [26, 6].
Regarding the result obtained in the algebra framework, and coming back to the
group theory framework, one is naturally lead to consider the double-centralizer
subgroup ZG (ZG (H)) of a subgroup H in a group G and to address the question
of a similar Centralizer Theorem. Let us denote by DZG (H) the double centralizer
of H. Obviously, when the group G has a center Z(G) that is not contained
in the subgroup H, the equality DZG (H) = H can not hold. However, one may
wonder whether the subgroup DZG (H) is generated by Z(G) and H. More precisely,
if Z(G) ∩ H is trivial, one may wonder whether DZG (H) = Z(G) × H. When
the center of G is trivial, we recover the property of the Centralizer Theorem
namely, DZG (H) = H.
As far as we know, the first Centralizer Theorem in the group theory framework
has been obtained in [12] by considering the braid group on n strands and its
standard parabolic subgroups. Our objective here is to address the more general
case of an Artin-Tits group G and a standard parabolic subgroup H. Artin-Tits
groups are those groups which possess a presentation associated with a Coxeter
matrix. For a finite set S, a Coxeter matrix on S is a symmetric matrix (ms,t )s,t∈S
whom entries are either a positive integer or equal to ∞, with ms,t = 1 if and
only if s = t. An Artin-Tits group associated with such a matrix is defined by the
presentation
+
*
(1)

S|

sts
| {z. .}. =

ms,t terms

tst
| {z. .}.

; ∀s, t ∈ S, s 6= t ; ms,t 6= ∞ .

ms,t terms

1

2

OUSSAMA AJBAL AND EDDY GODELLE

For instance, If we consider S = {s1 , . . . , sn } with msi ,sj = 3 for |i − j| =
1 and msi ,sj = 2 otherwise, we obtain the classical presentation of the braid
group Bn+1 on n + 1 strings considered in [12]. A standard parabolic subgroup
is a subgroup generated by a subset X of S. It turns out that such a subgroup is
also an Artin-Tits groups in a natural way (see Proposition 1.1 below). Artin-Tits
groups are badly understood and most articles on the subject focus on particular
subfamilies of Artin-Tits groups, such as Artin-Tits groups of spherical type, of FC
type, of large type, or of 2-dimensional type. Here again, we apply this strategy.
We first consider the family of spherical type Artin-Tits groups, whom seminal
example are braid groups. We refer to the next sections for definitions. We prove:
Theorem 0.1. Assume AS is a spherical type irreducible Artin-Tits group with S
for standard generating set. Let X be strictly included in S and AX be the standard
parabolic subgroup of A generated by X. Denote by ∆ the Garside element of AS .
(i) If ∆ lies in DZAS (AX ) but not in Z(AS ), then
DZAS (AX ) = AX × QZ(AS )
(ii) If not,
DZAS (AX ) = AX × Z(AS ).
In the above result we do not consider the case X = S. Indeed, for any group G
one has DZG (G) = G. In the present article, we also consider Artin-Tits groups
that are not of spherical type. We conjecture that
Conjecture 0.2. Assume AS is an irreducible Artin-Tits group. Let AX be a
standard parabolic subgroup of AS generated by a subset X of S. Assume AX
is irreducible. Let AT be the smallest standard parabolic subgroup of AS that
contains ZAS (AX ).
(i) Assume AX is not of spherical type. Then DZAS (AX ) = ZAS (AT ).
(ii) Assume AX is of spherical type.
(a) if AT is of spherical type, then,
DZAS (AX ) = DZAT (AX ).
(b) If AT is not of spherical, then
DZAS (AX ) = AX .
The centralizer of a standard parabolic subgroup is well-understood in general.
In particular, when Conjectures 1,2, 3 of [17] hold, for any given X, one can read on
the Coxeter graph ΓS whether or not the above group AT is of spherical type. This
is the case for the Artin-Tits groups considered in Theorem 0.3. The conjecture is
supported by the following result:
Theorem 0.3.
(i) Conjecture 0.2 holds for irreducible Artin-Tits groups of
FC type.
(ii) Conjecture 0.2 holds for Artin-Tits groups of 2-dimensional type.
(iii) Conjecture 0.2 holds for Artin-Tits groups of large type.
The reader may note that in Theorem 0.1 there is no restriction on AX , whereas
in Conjecture 0.2 we assume that AX is irreducible. Indeed, We can extend the
above conjecture to the case where X not irreducible (see Conjecture 3.2) and
prove that this general conjecture holds for the same Artin-Tits groups than those
considered in Theorem 0.3. However, the statement is more technical. This is

DOUBLE CENTRALIZERS IN ARTIN-TITS GROUPS

3

why we postpone it and restrict to the irreducible case in the introduction. The
remainder of this article is organized as follows. In Section 2, we introduce the
necessary definitions and preliminaries. Section 3 is devoted to Artin-Tits groups
of spherical type. Finally, in Section 4, we turn to the not spherical type cases.
1. Preliminaries
In this section we introduce the useful definitions and results on Artin-Tits groups
that we shall need when proving our theorems. For all this section, we consider an
Artin-Tits group AS generated by a set S and defined by Presentation (1) given in
the introduction.
1.1. Parabolic subgroups. As explained, the subgroups that we consider in the
article are the so-called standard parabolic subgroups, that is those subgroups that
are generated by a subset of S. One of the main reasons that explains why these
subgroups are considered is that they are themselves Artin-Tits groups:
Proposition 1.1. [27] Let X be a subset of S. Consider the Artin-Tits group AX
associated with the Coxeter matrix (mst )s,t∈X . Then
(i) the canonical morphism from AX to AS that sends x to x is into. In
particular, AX is isomorphic to, and will be identified with, the subgroup
of AS generated by X.
(ii) if Y is another subset of S, then we have AX ∩ AY = AX∩Y .
We have already defined the notion of a centralizer ZAS (AX ) of a subgroup AX .
We recall that we denote the center ZAS (AS ) of AS by Z(AS ). More generally, for
a subset X of S, by Z(AX ) we denote the center of the parabolic subgroup AX .
Along the way, we will also need the notions of a normalizer of a subgroup and of
a quasi-centralizer of a parabolic subgroups. We recall here their definitions.
Definition 1.2. Let X be a subset of S and AX be the associated standard parabolic subgroup.
(i) The normalizer of AX in AS , denoted by NAS (AX ), is the subgroup of AS
defined by
NAS (AX ) = {g ∈ AS | g −1 AX g = AX }
(ii) The quasi-centralizer of AX in AS , denoted by QZAS (AX ), is the subgroup
of AS defined by
QZAS (AX ) = {g ∈ AS | g −1 Xg = X}
In the sequel, we will write QZ(AS ) for QZAS (AS ). There is an obvious sequence
of inclusion between these subgroups:
ZAS (AX ) ⊆ QZAS (AX ) ⊆ NAS (AX ).
But we can say more:
Theorem 1.3. [15, 16, 17] Let AS be an Artin-Tits group, and X be a subset of S.
If AS is of spherical type or of FC type or of 2-dimensional type, then
NAS (AX ) = QZAS (AX ) · AX .
This result is one of the key arguments in our proof of Theorems 0.1 and 0.3.
Actually, it is conjectured in [13] that this property holds for any Artin-Tits groups.

4

OUSSAMA AJBAL AND EDDY GODELLE

1.2. Families of Artin-Tits groups. Our objective now is to introduce the various families of Artin-Tits groups that we considered in the introduction.
1.2.1. Irreducible Artin-Tits groups. First, we say that an Artin-Tits group is irreducible when it is not the direct product of two of its standard parabolic subgroups.
Otherwise we say that it is reducible. Associated with the Coxeter matrix (ms,t )s,t∈S
is the Coxeter graph, which is the simple labelled graph with S as vertex set defined
as it follows. There is an edge between two distinct vertices s and t when ms,t is
not two. The edge has label ms,t when ms,t is not 3. Therefore, the group AS
is irreducible if and only if the Coxeter graph ΓS is connected. For instance the
braid group on n + 1 strings is irreducible whereas the free abelian group on two
generators is not.
1.2.2. Spherical type Artin-Tits groups. Among Artin-Tits groups, those of spherical type are the most studied and the most understood. From Presentation (1),
we obtain the presentation of the associated Coxeter group by adding the relations s2 = 1 for s in S. The Artin-Tits group is said to be of spherical type when
this associated Coxeter group is finite. For instance, braid groups are of spherical type as their associated Coxeter groups are the symmetric groups. Actually
there is only a finite list of connected Coxeter graphs whom associated (irreducible)
Artin-Tits groups are of spherical type (see [7],[2]).

4
Figure 1. Artin-Tits groups of spherical types B(4) and E(6)

1.2.3. FC type Artin-Tits groups. These Artin-Tits groups are built on those of
spherical type. An Artin-Tits group is of FC type when all its standard parabolic
subgroups whom Coxeter graphs have no edge labelled with ∞ are of spherical type.
In particular, all spherical type Artin-Tits groups are of FC type. Alternatively,
the family of FC type Artin-Tits groups can be defined as the smallest family of
groups that contains spherical type Artin-Tits groups and that is closed under
amalgamation above a standard parabolic subgroup. For instance, the Artin-Tits
group associated with the following Coxeter graph is of FC type.
4

∞

4

Figure 2. A FC type Artin-Tits group

Indeed, the Artin-Tits group in Figure 2 is the amalgamation of two spherical
type Artin-Tits groups of type B(5) (see [1]) above a common standard parabolic
subgroup, which is of type A(4), that is a braid group B5 .

DOUBLE CENTRALIZERS IN ARTIN-TITS GROUPS

5

1.2.4. 2-dimensional type Artin-Tits groups. An Artin-Tits group is of 2-dimensional
type when no standard parabolic subgroup generated by three, or more, generators
is of spherical type. These groups has been considered, for instance, in [4, 5, 17].
6
6

7

Figure 3. A 2-dimensional Artin-Tits group

1.2.5. Large type Artin-Tits groups. Contained in the family of 2-dimensional ArtinTits groups is the family of Artin-Tits groups of large type. An Artin-Tits group
is of large type when no ms,t is equal to 2. Some 2-dimensional Artin-Tits groups
are not of large type (see Figure 3).
5

Figure 4. Artin-Tits groups of large types Ã(2) and I(5).

1.3. Artin-Tits monoids. As explained above, one of the main ingredients in our
proof is Theorem 1.3. Another one is the positive monoid of an Artin-Tits monoid
that allows to apply Garside theory. Here, we introduce only the results that we
will need and refer to [8] for more details on this theory. We recall that we fix an
Artin-Tits group AS generated by a set S and defined by Presentation (1).
Definition 1.4. The Artin-Tits monoid A+
S associated with AS is the submonoid
of AS generated by S. An element of AS that belongs to A+
S is called a positive
element. Its inverse is called a negative element.
We gather in the following proposition several properties of Artin-Tits monoids
that we will need in the sequel.
Proposition 1.5.
(i) [24] Considered as a presentation of monoid, Presentation (1) is a presentation of the monoid A+
S.
(ii) When AS is of spherical type, then
(a) [2, 3, 8] the monoid A+
S is a Garside monoid. In particular, every
element g in AS can be decomposed in a unique way as g = a−1 b,
with a, b positive, so that a and b have no nontrivial common left+
+
divisors in A+
S . Furthermore, if c ∈ AS is such that cg ∈ AS , then a
+
right-divides c in AS .
(b) [2, 9] There is a positive element ∆ that belongs to QZ(AS ) so that
every element g in AS , can be decomposed as g = a∆−n with a
positive and n ≥ 0. Moreover, ∆2 belongs to Z(AS ).

6

OUSSAMA AJBAL AND EDDY GODELLE

(c) [2, 9] When, moreover, AS is irreducible then QZ(AS ) is an infinite cyclic group generated by ∆. The group Z(AS ) is infinite cyclic
generated by ∆ or by ∆2 .
The decomposition g = a−1 b in Point (ii)(a) is called the Charney’s (left) orthogonal splitting of g. The Charney’s right orthogonal splitting g = ab−1 is defined
in a similar way.
In the sequel, we denote by τ : S → S the permutation of S defined by ∆s =
τ (s)∆ for all s in S. As explained above, τ is either the identity or an involution.
In particular, we have also s∆ = ∆τ (s) for all s in S. Moreover, for a, b in A+
S , we
+
+
write a  b if a left-divides b in AS , that is if there exists c in AS so that b = ac.
Similarly, we write b  a if a right-divides b in A+
S.
2. Spherical type Artin-Tits groups
In this Section we focus on spherical type Artin-Tits groups and prove Theorem 0.1.
2.1. Artin-Tits groups of type E(6) and D(2k + 1). In Theorems 0.1 the description of DZAS (AT ) depends on a technical condition. Here we investigate this
condition and characterize irreducible Coxeter graphs for which this condition is
satisfied.
Proposition 2.1. Assume AS is an irreducible spherical type Artin-Tits group.
Let X be a proper subset of S. Then, ∆ does not belong to Z(AS ) but lies
in DZAS (AX ) if and if :
(a) either ΓS is of type D(2k + 1) and X ⊇ {s2 , s2′ , s3 } (see Figure 5).
(b) or ΓS is of type E6 and X = {s2 , . . . , s6 } (see Figure 6).
s2
s2′

s2k+1

s3
⊆

X

Figure 5. ΓS of type D(2k + 1) and X ⊇ {s2 , s2′ , s3 }
s1
X
s2

s3

s4

s5

s6

Figure 6. ΓS of type E6 and X = {s2 , . . . , s6 }

When proving Proposition 2.1, we will need the following lemma.

DOUBLE CENTRALIZERS IN ARTIN-TITS GROUPS

7

Lemma 2.2. Assume AS is an irreducible spherical type Artin-Tits group. Let X
be a proper subset of S. Assume the permutation τ is not the identity on S and ∆
lies in DZAS (AX ) then:
(i) τ is the identity on S \ X, that is ∆ lies in ZAS (AS\X ).
(ii) τ is not the identity on X, that is ∆ does not lie in ZAS (AX ).
(iii) ∆ stabilizes the indecomposable components of X.
Proof. (i) Let s ∈ S \ X. Set Y = X ∪ {s}. The elements ∆2X , ∆2Y lie in Z(AX )
and Z(AY ), respectively. So, they both belong to ZAS (AX ) and, therefore, commute with ∆. Since ∆∆X = ∆τ (X) ∆ and ∆∆Y = ∆τ (Y ) ∆, we deduce that τ (X) =
X and τ (Y ) = Y . Using that Y = X ∪ {s}, we concluded that ∆s = s∆. Thus, ∆
lies in ZAS (AS\X ) and (i) holds. Since τ is not the identity on S, (i) implies (ii). Finally, Let X1 be an indecomposable component of X. We have ∆∆X1 = ∆τ (X1 ) ∆.
Then, ∆2X1 lies in Z(AX ) and, therefore, in ZAS (AX ). Hence ∆∆2X1 = ∆2X1 ∆
and X1 = τ (X1 ), that is ∆X1 = X1 ∆.

Proof of Proposition 2.1. Assume the element ∆ does not belong to the center Z(AS )
but lies in DZAS (AX ). So, assertions (i)(ii) and (iii) in Lemma 2.2 hold. In particular, the permutation τ is not the identity map on S. Using the classification
of irreducible Artin-Tits groups [1] and well-known results on ∆ [2, 9], we deduce
that the type of ΓS is one of the following types:
•
•
•
•

A(k) with k ≥ 2,
D(2k + 1) with k ≥ 1,
E6 , or
I2 (2p + 1) with p ≥ 1.

By Lemma 2.2(i), the permutation τ fixes each element of S \ X. This imposes
that ΓS cannot be of type I2 (2p + 1), as X is proper in S and ∆ permutes the two
elements of S. If ΓS is of type A(k) with k ≥ 2, (so AS is the braid group Bk+1 ) then
the unique element of S fixed by τ is s k+1 . This imposes S \ X = {s k+1 }. and ∆
2
2
does not fix the two indecomposable components {s1 , . . . , s k−1 } and {s k+3 , . . . , sk }
2
2
of X, a contradiction with Lemma 2.2(iii). So ΓS is not of type A(k). If ΓS is
of type D(2k + 1), then τ switches s2 and s2′ . Therefore, s2 and s2′ have to lie
in X. Moreover, s2 does not commute with ∆, so it cannot belong to ZAS (AX ).
This imposes that s3 has to belong to X. Hence, {s2 , s2′ , s3 } is included in X
and we have case (a) of the proposition. Similarly, if ΓS is of type E6 . The
elements s2 , s3 , s5 , s6 are not fix by τ , so they have to belong to X. Applying
Lemma 2.2(iii), we deduce that s4 has to lie in X too. Since X is not S, it is equal
to {s2 , . . . , s6 } and we have case (b) of the proposition. Conversely, in case (a) and

(b), one can verify that ∆ does not belong to Z(AS ) but lies on DZAS (AX )
2.2. Ribbons. The notion of ribbon introduced in [11] for the case of braid groups,
and then generalized in [23, 14], will be crucial to us in order to calculate the doublecentralizer of a parabolic subgroup. Here we recall its definition and gather some
properties that we shall need. In particular, we only consider spherical type ArtinTits groups. We refer to above references and to [8] for more details. Given an
Artin-Tits presentation (1), let us first introduce two notations: for a subset X
of S, we set
X ⊥ = {s ∈ S \ X | ∀t ∈ X, mts = 2}

8

OUSSAMA AJBAL AND EDDY GODELLE

and
∂X = {s ∈ S \ X | ∃t ∈ X, mts > 2}.
s1
X

∂X
X⊥

s5
s2

s3

s4

s6

s7

s8

Figure 7. Example : ∂(X) and X ⊥

Definition 2.3.
(i) Let t belong to S and X be included in S. Denote
by X(t) the indecomposable component of X ∪ {t} containing t. If t lies
in X, we set dX,t = ∆X(t) ; otherwise, we set
dX,t = ∆X ∆−1
X−{t} ,
that is dX,t = ∆X(t) ∆−1
X(t)−{t} . In both cases, there exists Y ⊆ X ∪ {t}
and t′ ∈ X(t) so that Y dX,t = dX,t X with Y ∪ {t′ } = X ∪ {t} and Y (t′ ) =
X(t). The element dX,t is called a positive elementary Y -ribbon-X.
(ii) For X, Y ⊆ S, we say that g ∈ A+
S is a positive Y -ribbon-X if Y g = gX.
For instance, considering the example in Figure 7, dX,s5 = s2 s3 s4 s5 , dX,t = t for t
in X ⊥ and ∆ is a positive X-ribbon-X.
The connection between positive ribbons and elementary ones appears in the
following result
Proposition 2.4. Assume AS is a spherical type Artin-Tits group and g lie in A+
S.
g is a positive Y -ribbon-X if and only if g = gn · · · g1 where each gi is a positive
elementary Xi -ribbon-Xi−1 , with X0 = X and Xn = Y .
Proposition 2.5. Assume AS is a spherical type Artin-Tits group. Let X be
ε
included in S and u be included in A+
S . Let ε ∈ {1, 2} be such that ∆X lies in Z(AX ).
(i) Assume u is a positive Y -ribbon-X for some Y ⊆ S.
(a) ∆Y u = u∆X .
(b) Assume t belongs to S. Then, u  t ⇔ u  dX,t .
(ii) If u∆εX  u, then there exists Y ⊆ S such that u∆εX u−1 = ∆εY , uAX u−1 =
AY and ΓX ∼ ΓY . Moreover, if u is reduced-X, then u is a positive Y ribbon-X, that is Y u = uX.
The above results are not all explicitly stated in [23, 14] but are well-known from
specialists. The second part of (ii) is stated in [14, Lemma 2.2] and the first part follows (see also [23, Lemma 5.6]). Point (i) is proved in the proof of [14, Lemma 2.2]
(see [23, Lemma 5.6] for details). For point (i)(b), see also [18, Example 3.14].
The support of a word on D is the set of letters that are involved in this word.
It follows from the presentation of A+
S that two representing words of the same
element in A+
have
the
same
support.
So the support of an element of A+
S is wellS
defined. In the sequel, by Supp(g) we denote the support of an element g in A+
S.

DOUBLE CENTRALIZERS IN ARTIN-TITS GROUPS

9

Lemma 2.6. Assume AS is a spherical type Artin-Tits group. Let X ( S be such
that ΓX is connected, and t ∈ ∂X. Then
Supp(dX,t ) = X ∪ {t}.
Proof. By assumption t is not in S, so dX,t = ∆X ∆−1
X−{t} and Supp(dX,t ) is included
in X ∪ {t}. Let us show the converse inclusion. Now, by Proposition 2.5 (i), we
have dX,t = v0 s0 for some v0 in A+
S and s0 = t belongs to the support of dX,t .
Let s be in X. Since X is connected and t belongs to ∂X, there exists a finite
sequence s1 , . . . , sn of X such that sn = s and for all i ≥ 0, we have msi ,si+1 6= 2.
We assume the sequence is chosen so that n is minimal. Assume dX,t = vi si · · · s0
for some 0 ≤ i < n with vi in A+
S . Since Y dX,t = dX,t X for some Y ⊆ X ∪
{t}, we can write vi si · · · s0 si+1 = s′i+1 vi si · · · s0 for some s′i+1 in X ∪ {t}. By
minimality of n, msj si+1 = 2 for any j < i. So vi si si+1 si−1 · · · s0 = s′i+1 vi si · · · s0
and vi si si+1 = s′i+1 vi si . This imposes that vi si si+1 = s′i+1 vi si = v ′ · · · si+1 si si+1
{z
}
|
m terms

with m = msi ,si+1 and v ′ in A+
S (see [9, 2]). This imposes in turn that we can
write vi = vi+1 si+1 and dX,t = vi si · · · s0 . Then, we obtain step-by-step that dX,t
can be decomposed as vn sn · · · s0 . Hence s belongs to the support of dX,t for any s
in X. So the converse inclusion holds.


−1
Lemma 2.7. Let u ∈ A+
S and s ∈ S. Denote by u2 v1 the left orthogonal splitting
+
−1
of the element u su. There exists u1 in AS and s1 in S so that u = u1 u2 ,
v1 = s1 u2 . Moreover, u1 is a positive s-ribbon-s1 .

Proof. By [19, Theorem 1] there exists u1 in A+
S so that u = u1 u2 and v1 = s1 u2
for some s1 in S. Moreover, applying [19, Lemma 2.3], a straightforward induction
on the length of u proves that u1 is a positive s-ribbon-s1 .

In the sequel, we say that an element of A+
S is a positive ribbon-X when it is
a positive Y -ribbon-X, for some Y . Similarly we say that an element is a positive
Y -ribbon when it is a positive Y -ribbon-X.
2.3. The proof of Theorem 0.1. In this section we prove Theorem 0.1. The proof
need two preliminary results, namely Lemma 2.8 and Proposition 2.9, which is the
main argument. The latter is proved here; the proof of the former is postponed to
the next section.
Lemma 2.8. Under the assumptions of Proposition 2.9, we have b  s for all
s ∈ S \ X.
Proposition 2.9. Let AS be an irreducible Artin-Tits group of spherical type.
⊥
Let X ( S. Let b be in A+
S \ {1} a positive ribbon-(X ∪ X ) that is reduced-X.
Suppose further that for all Y ⊆ S containing X, and ε(Y ) ∈ {1, 2} minimal such
ε(Y )
ε(Y )
 b. Then there exists n ∈ N∗ so that
that ∆Y
∈ ZAS (AX ), we have b∆Y
−n
b = ∆n ∆X

Note that ∆X right-divides ∆ in A+
S and ∆∆X = ∆τ (X) ∆ by Proposition 1.5.
+
So for any positive integer n the element ∆n ∆−n
X belongs to AS .
Proof of Proposition 2.9. We have ∆X  s for all s ∈ X and, by Lemma 2.8, we
have b  s for all s ∈ S \ X. Since, by assumption, b∆X  b, we get that b∆X  s
+
∗
for all s ∈ S. Thus b∆X  ∆ and, therefore, b  ∆∆−1
X in AS . Let k ∈ N

10

OUSSAMA AJBAL AND EDDY GODELLE

+
k −k
be maximal such that b  ∆k ∆−k
X . Write b = d∆ ∆X with d ∈ AS . We show
that d = 1. This will prove the proposition. Since ∆X = τ (X)∆, the element ∆k
is a positive τ k (X)-ribbon-X and ∆k X = τ k (X)∆k . Therefore by Proposition 2.5,
we have ∆k ∆X = ∆τ k (X) ∆k . For the remaining of the proof, for Z ⊆ S, we
set Zk = τ k (Z). Moreover, ∆X is a positive X-ribbon-X. Then ∆k ∆−k
X is a
positive Xk -ribbon-X. For the remaining of the proof, when s lies in Xk , we denote
k −k
by sX the element of X so that s∆k ∆−k
X = ∆ ∆X sX .
Assume there exists s in Xk so that d = us with u in A+
S . Then we have b =
k −k
us∆k ∆−k
.
We
get
b
=
u∆
∆
s
.
But
this
is
not
possible,
since b is reduced-X.
X
X
X
Hence, d is reduced-Xk . We now prove that d is a positive ribbon-(Xk ∪ Xk⊥ ). Let s
k −k
lie in Xk . We have s∆k ∆−k
X = ∆ ∆X sX . By assumption, b is a positive ribbonX, therefore there exists s′ in S so that bsX = s′ b. Hence we get ds∆k ∆−k
X =
′
′
k −k
d∆k ∆−k
X sX = s d∆ ∆X , and therefore ds = s d. As this so for every element
of Xk , we deduce that d is a positive ribbon-Xk . Let s lie Xk⊥ . For every t in X,
we have τ k (t) lies in Xk and, therefore, mτ k (t),s = 2. But the involution τ induces
an automorphism of the Coxeter graph associated with the presentation of AS . It
follows that for every t in X, we have mt,τ k (s) = mτ k (t),s = 2. Hence, τ k (s) belongs
to X ⊥ . But b is a positive ribbon-X ⊥ , then bτ k (s) = s′ b for some s′ ∈ S. Hence
k −k k
′
k −k
′
we get ds∆k ∆−k
X = d∆ ∆X τ (s) = s d∆ ∆X , and therefore ds = s d. As this so
for every element of Xk⊥ , we deduce that d is a positive ribbon-Xk⊥. Gathering the
two results we get that d is a positive ribbon-(Xk ∪ Xk⊥ ).
Let Y ⊆ S containing Xk and consider η(Y ) be positive and minimal such
η(Y )
that ∆Y
belongs to ZAS (AXk ). The involution τ k exchanges X and Xk and exchanges Y and Yk . It follows, Firstly, that the inclusion, Xk ⊆ Y implies the
inclusion X ⊆ Yk and, Secondly, that τ k send AXk and ∆Y to AX and ∆Yk , respecη(Y )
tively, with η(Y ) = ε(Yk ). Thus, ∆Yk belongs to ZAS (AX ) with η(Y ) = ε(Yk ).
η(Y )

Then, by assumption, we have b∆Yk

η(Y )

= ub, for some u in A+
S . Since b∆Yk

=

η(Y )
η(Y )
η(Y ) k −k
d∆ ∆−k
= d∆k ∆Yk ∆−k
∆ ∆X and ub = ud∆k ∆−k
X ∆Yk
X = d∆Y
X we obtain
η(Y )
= ud. As a consequence, replacing b and X by d and Xk , respecthat d∆Y
tively, we can repeat the beginning of the argument and deduce that d = d1 ∆∆−1
Xk
for some d1 in A+
S . But this lead to a contradiction to the maximality of k,
−1 k −k
k+1 −(k+1)
. Hence d = 1
∆X
since we get b = d∆k ∆−k
X = d1 ∆∆Xk ∆ ∆X = ∆
k −k
and b = ∆ ∆X .

k

We turn now to the proof of Theorem 0.1.
Proof of Theorem 0.1. Let u lie in DZAS (AX ). We have ZAX (AX ) ⊆ ZAS (AX ),
then DZAS (AX ) ⊆ ZAS (ZAX (AX )) and u belongs to ZAS (ZAX (AX )). Thanks
to Theorem 1.3, we can write u = y · z, with yX = Xy and z ∈ AX . Write
(see Proposition 1.5) y = ∆−2m h with h in A+
S , and decompose h as h = abc,
with a, c ∈ A+
and
b
being
X-reduced-X.
Since
yX = Xy and ∆2 is in Z(AS ),
X
we have hX = Xh and so h∆X = ∆X h. Using that h = abc with a, c in A+
X and
that ∆2X lie in Z(AX ), we deduce that b∆2X = ∆2X b . The element b is reducedX, then by Proposition 2.5, we have bX = Xb. It follows there exists z ′ ∈ AX
such that bcz = z ′ b. Set x = az ′ . Then, x belongs to AX and u = ∆−2m · x · b.
Suppose b 6= 1. By definition X ⊥ ⊆ ZAS (AX ). Therefore, for all s ∈ X ⊥ we
have us = su and s∆−2m · x · b = ∆−2m · x · sb. By cancellation, we obtain bs = sb

DOUBLE CENTRALIZERS IN ARTIN-TITS GROUPS

11

for all s ∈ X ⊥ . So, b is a positive ribbon-(X ∪ X ⊥ ). Now, let Y be included
ε(Y )
lies in
in S and containing X. Set ε(Y ) ∈ {1, 2} be minimal such that ∆Y
ε(Y )
ε(Y )
ε(Y )
ε(Y )
= ∆Y u and, as before, we get b∆Y
= ∆Y b. As a
ZAS (AX ). Then, u∆Y
ε(Y )
 b. By Proposition 2.9, we deduce there exists n ∈ N∗
consequence we have b∆Y
n −n
so that b = ∆ ∆X . Thus, we get u = ∆−2m x∆n ∆−n
X .
/ Z(AS ). Then, by Lemma 2.2, we
Assume, First, that ∆ ∈ DZAS (AX ) and ∆ ∈
have ∆X = X∆ and τ n (x) belongs to AX . Therefore, u = ∆−2m+n ·τ n (x)∆−n
X and
u belongs to QZ(AS ) · AX . So DZAS (AX ) is included in QZ(AS ) · AX . Conversely,
The assumption that ∆ lies in DZAS (AX ) imposes the inclusion QZ(AS ) · AX ⊆
DZAS (AX ). Therefore, the latter inclusion is actually an equality. Moreover we
have QZ(AS ) · AX = AX · QZ(AS ), since ∆ belongs to QZAS (AX ) by the above
argument.
Assume, Secondly that ∆ ∈
/ DZAS (AX ) or ∆ ∈ Z(AS ). First, the inclusion Z(AS ) · AX ⊆ DZAS (AX ) holds in any case. If ∆ ∈ Z(AS ) or n is even, then u,
that is ∆−2m+n x∆−n
X , lies in Z(AS ) · AX and so the other inclusion DZAS (AX ) ⊆
Z(AS ) · AX holds too. Assume finally ∆ ∈
/ DZAS (AX ). Since u lies in DZAS (AX ),
−n
=
for every w in ZAS (AX ) we have wu = uw and therefore ∆−2m xw∆n ∆X
−n
−2m
n
n
n
∆
x∆ w∆X . This, in turn, imposes ∆ w = w∆ for every w in ZAS (AX ).
In other words ∆n lies in DZAS (AX ) too. Since ∆2 lies in DZAS (AX ) but not
∆, we deduce that n has to be even, and conclude by the above argument that
Z(AS ) · AX = DZAS (AX ) .
Finally, we note that AX ∩ QZ(AS ) = AX ∩ Z(AS ) = {1}. Indeed, X 6= S and
Supp(∆) = S. Therefore, ∆m does not belong to AX except if m = 0. Hence, we
hace AX · QZ(AS ) = AX × QZ(AS ) and AX · Z(AS ) = AX × Z(AS ).

2.4. The proof of Lemma 2.8. Here we focus on the proof of Lemma 2.8, that
was postponed in the previous section. It is technical and, to help the reader, we
decompose in 3 steps, namely Lemma 2.10, Lemma 2.11 and the final argument.
Lemma 2.10. Under the assumptions of Proposition 2.9, if t ∈ ∂X then
b  t ⇔ bt = t′ b for some t′ ∈ S.
Proof. Assume b  t. Set Y = X ∪ {t}. Under the assumptions of Proposition 2.9,
ε(Y )
ε(Y )
ε(Y )
 b. By Proposition 2.5, we deduce that b∆Y b−1 = ∆Y ′
we have b∆Y
′
−1
and bAY b = AY ′ for some subset Y of S. On the other hand, b is a positive
X ′ -ribbon-X for some subset X ′ of S. It follows that X ′ is included in AY ′ and,
therefore, in Y ′ . Now, the sets X ′ and Y ′ have the same cardinality as X and Y ,
respectively. Then there exists t′ in Y ′ so that Y ′ = X ′ ∪ {t′ }. We are going to
prove that bt = t′ b. By Lemma 2.7, we can decompose b as b = b1 b2 with b2 in A+
S
and b1 a positive t′ -ribbon-t′′ for some t′′ in S, so that the left orthogonal splitting
′′
−1 ′
of b−1 t′ b is b−1
t b lies in AY , so t′′ has to lie in
2 t b2 . By the above argument b
+
Y and b2 has to lie in AY . But b is reduced-Y . Indeed, we assumed that b is
reduced-X and that b  t . This imposes b2 = 1, b = b1 and bt′′ = t′ b for some t′′
in Y . Finally we already have X ′ b = bX. Since t′ does not belong to X ′ , It follows
that t′′ cannot lie in X. Thus t′′ = t and we are done.
Conversely, Assume bt  b, then b is a positive ribbon-{t}. Since it is a positive
ribbon-X, it is also a positive ribbon-Y . Denote by Y (t) the irreducible component
of Y that contains t. Since t lies in ∂(X), Y (t) contains some element of X. By

12

OUSSAMA AJBAL AND EDDY GODELLE

Proposition 2.5 (i)(b) if t is a right-divisor of b then so are all the element of Y (t).
But b is reduced-X. Thus t does not right-divide b.

Note that we showed the above result without using the assumption: b is a
positive ribbon-X ⊥ . This hypothesis is then useless for Lemma 2.10.
Lemma 2.11. Under the assumptions of proposition 2.9, we have
Supp(b) = S.
Proof. By assumption b 6= 1, so its support is not empty. Assume by contradiction
that Supp(b) 6= S. Let U be an indecomposable component of Supp(b). Fix u in ∂U
and set V = Supp(b)\U . By hypothesis u does not lie in Supp(b). Then, u does not
⊥
right-divide b. We claim that bub−1 lies in A+
S . Indeed, b is a positive ribbon-X ∪X
⊥
so if u belongs to X ∪ X there is nothing to say; if u lies in ∂X, then bu  b by
Lemma 2.10. Now, the set U is an indecomposable component of Supp(b), then each
element of U commute with each element of V and we can write b = b2 b1 with b1 ∈
+
′
A+
U , and b2 ∈ AV . Write b1 = b1 s with s ∈ U . Since U ∪ {u} is indecomposable,
there exists u1 , . . . , un ∈ U such that u0 = u, un = s and mui ui+1 > 2. Up to
replacing s by some ui with i < n, we can assume that b has no right-divisor
among u1 , . . . , un−1 .
u

u1

U
un

Set U ′ = {u, u1, . . . , un−1 }. Let ui lies in U ′ . If ui does not lies in X ∪ X ⊥ , then ui
belongs to ∂X and, by Lemma 2.10, bui = vi b for some vi in S. On the other
hand b is a positive ribbon-(X ∪ X ⊥ ) therefore b is also a positive ribbon-U ′ . The
graph ΓU ′ is connected by definition, un lies in ∂U ′ and right-divides b. Then by
Proposition 2.5, the positive elementary ribbon dU ′ ,un right-divides b. Applying
Lemma 2.6, we get that U ′ is contained in the support of b. Hence u belongs to
Supp(b), a contradiction. So Supp(b) = S.

We are now ready to prove Lemma 2.8
proof of Lemma 2.8. Let s ∈ S \ X, and set Y = S \ {s}. Write b = b1 b2 with b2 ∈
+
A+
Y and b1 reduced-Y . By Lemma 2.11, we have Supp(b) = S. Since b2 lies in AY ,
it follows that b1 6= 1. In addition, b1 is reduced-Y . Then, s has to right-divide b1 .
We have b∆2Y b−1 = b1 ∆2Y b−1
1 . According to the assumptions of Proposition 2.9,
we have b∆2Y = zb for some z in A+
S . Indeed, if ε(Y ) = 1 then b∆Y = z1 b for
2
2
some z1 ∈ A+
.
Therefore
b∆
=
z
b∆
1
Y = z1 b. By Proposition 2.5, we deduce that
Y
S
′
′
b1 is a Y -ribbon-Y for some Y ⊆ S and b = b1 b2 = b′2 b1 with b′2 ∈ A+
Y ′ . Since s
right-divides b1 , it has also to right-divide b.

2.5. When ΓS is not connected. In Theorem 0.1 we consider irreducible ArtinTits group AS of spherical type. Here we extend the theorem to any spherical type
Artin-Tits group AS .

DOUBLE CENTRALIZERS IN ARTIN-TITS GROUPS

13

Theorem 2.12. Let AS be an Artin-Tits group of spherical type. Denote the
indecomposable components of S by S1 , . . . , Sn . Let AX be a standard parabolic
subgroup of AS and set Xi = X ∩ Si for all i. Set
/ Z(ASi )}.
I = {1 ≤ i ≤ n | Xi 6= Si , ∆Si ∈ DZASi (AXi ) and ∆Si ∈
Finally, set SI =

J = {1 ≤ i ≤ n | Xi 6= Si , and i 6∈ I}.
S
i∈J Si . Then we have
i∈I Si and SJ =

S

DZAS (AX ) = AX × QZ(ASI ) × Z(ASJ ).

Proof. For any direct product of groups G = G1 × · · · × Gn and a subgroup H of
G we have
ZG (H) = ZG1 (H1 ) × · · · × ZGn (Hn ).
where Hi = H ∩ Gi for each i. Here, AS = AS1 × · · · × ASn and AX ∩ ASi = AXi .
Now by Theorem 0.1, if i lies in I, then DZASi (AXi ) = AXi × QZ(ASi ); if i lies in
J then DZASi (AXi ) = AXi × Z(ASi ). In addition, if i is neither in I nor in J, then
Xi = Si and DZASi (AXi ) = AXi . So, we deduce that
DZAS (AX ) = ZAS (

n
Y

ZASi (AXi )) =

n
Y

DZASi (AXi ) =

i=1

i=1

Y
Y
Y
(AXi × QZ(ASi )) ×
(AXi × Z(ASi )) ×
AXi =
i∈I

i6∈I∪J

i∈J

n
Y

i=1

AXi ×

Y
i∈I

QZ(ASi ) ×

Y

Z(ASi ).

i∈J

Q
Q
Q
But ni=1 AXi = AX , i∈I QZ(ASi ) = QZ(ASI ) and i∈J QZ(ASi ) = QZ(ASJ ).
So the equality holds.

2.6. Application the subgroup conjugacy problem. Given a group G and a
subgroup H of G, the subgroup conjugacy problem for H is solved by finding an algorithm that determines whether any two given elements of G are conjugated by an
element of H. In this section, we focus on Artin-Tits groups of type B or D and use
Theorem 0.1 and [22, Theorem 1.1] to reduce the subgroup conjugacy problem for
their irreducible standard parabolic subgroups to an instance of the simultaneous
conjugacy problem. We follow the strategy used in [12] to solve the subgroup conjugacy problem for irreducible standard parabolic subgroups of an Artin-Tits group
of type A. The simultaneous conjugacy problem is solved for Artin-Tits groups of
type A in [20] (see also [21]), but the result and its proof can be generalized verbatim to all Artin-Tits groups of spherical type, in particular to Artin-Tits groups of
type B or type D . Hence, we obtain a solution to the subgroup conjugacy problem
for irreducible standard parabolic subgroups of Artin-Tits groups of type B and D.
Let us recall [22, Theorem 1.1] and [12, Theorem 2.13].
Theorem 2.13 ([22], Theorem 1.1). Let AS be an Artin-Tits group of spherical
type such that ΓS = Ak (k ≥ 1), ΓS = Bk (k ≥ 2) or ΓS = Dk (k ≥ 4). Let X ⊆ S
such that ΓX is connected. Then ZAS (AX ) is generated by
X ⊥ ∪ {∆Y ∈ ZAS (AX ) | X ⊆ Y } ∪ {∆Y ∆Y ′ ∈ ZAS (AX ) | X ⊆ Y, X ⊆ Y ′ }.

14

OUSSAMA AJBAL AND EDDY GODELLE

Note that in the third set, we can restrict the pair (Y, Y ) to those so that neither
∆Y nor ∆Y ′ belong to ZAS (AX ). In the sequel, we denote the obtained generating
set by Υ(X).
Example 2.14. Consider S = {s1 , s2 , s3 } with AS of type B3 as below. Set
X = {s2 }.
4
s1

s2

s3
X

We have X ⊥ = ∅ and ZAS (AX ) is generated by Υ(X) = {s2 , ∆{s1 ,s2 } , ∆S , ∆2s2 ,s3 }.
Theorem 2.15 ([12], Theorem 2.13). Let G be a group and H be a subgroup
such that DZG (H) = Z(G) · H. Suppose further that ZG (H) is generated by a
set {g1 , . . . , gn }. Then for x, y ∈ G, the following are equivalent:
(i) there exists c ∈ H such that y = c−1 xc.
(ii) there exists z ∈ G such that
(a) y = z −1 xz, and
(bi ) gi = z −1 gi z for all 1 ≤ i ≤ n.
Corollary 2.16. Let AS be an Artin-Tits group of type Bk (k ≥ 2) or Dk (k ≥ 4).
Let X ⊆ S be such that ΓX is connected. In case ΓS is of type D2k+1 , assume {s2 , s2′ , s3 } is not included in X with the notations of Figure 5. For any
pair (x, y) of elements of AS , the following are equivalents:
(i) there exists c ∈ AX such that y = c−1 xc.
(ii) there exists z ∈ AS such that
(a) y = z −1 xz,
(b) g = z −1 gz for all g in Υ(X).
Proof. By Theorem 0.1 and Proposition 2.1 we have DZG (AX )) = Z(AS ) × AX .
So we are in position to apply Theorem 2.15.

3. The non spherical type cases
We turn now to the proof of Theorem 0.3 that is concerned with Artin-Tits
groups that are not of spherical type. Our main argument is Proposition 3.1.
Indeed, In [17] the second author stated several conjectures, that are proved to hold
for Artin-Tits groups of various types. Our proof is based on these conjectures.
Proposition 3.1.
(i) Let AS be an Artin-Tits group. Assume AS has the
property (⊛) stated in [17], then for any X included in S one has
(a) If AX is of spherical type, then for any positive integer k,
ZAS (∆2k
X ) = NAS (AX ).
(b) if AX is of spherical type and there is no Y of spherical type and
containing X, then
QZAS (AX ) = QZ(AX ) and NAS (AX ) = AX
(c) If AX is irreducible and not of spherical type, then
QZAS (AX ) = AX ⊥ and NAS (AX ) = AX∪X ⊥

DOUBLE CENTRALIZERS IN ARTIN-TITS GROUPS

15

(ii) [15, 16, 17] If AS is of spherical type, of FC type, of large type or of 2dimensional type. Then, AS has the Property (⊛).
Proof. (i) Conjecture (⊛) implies that NAS (AX ) = AX · QZAS (AX ) and that
QZAS (AX ) is the subgroup of AS generated by the set of positive X-ribbons-X
(see [17]). If AX is irreducible and not of spherical type, then the set of elementary
positive X-ribbons is equal to X ⊥ . Moreover all the elements of X ⊥ are X-ribbonsX. So QZAS (AX ) = AX ⊥ and Point (c) holds. Assume AX is of spherical type.
−1 2k
∆X g belongs
Fix a positive integer k. If g lies in ZAS (∆2k
X ), then in particular g
to AX . Property (⊛) imposes that that g belongs to AX · QZAS (AX ), that is to
NAS (AX ). Conversely, AX · QZAS (AX ) is included in ZAS (∆2k
X ) because both AX
and QZAS (AX ) have to fix the center of AX , which contains ∆2 . So Point (a) holds.
Finally, if there is no Y of spherical type and containing X, then the elementary
positive ribbons dX,t are the elements ∆X(t) with t in X (see Definition 2.3). It follows that QZAS (AX ) is included in AX and is, therefore, equal to QZ(AX ). Since
NAS (AX ) = AX · QZAS (AX ), we deduce that NAS (AX ) = AX . Hence Point (b)
holds.

In the sequel we first extend Conjecture 0.2 to the context of non irreducible
parabolic subgroup (see Conjecture 3.2). Then we prove that Conjecture 3.2 holds
for any Artin-Tits which possesses the property (⊛) (see Theorem 3.4). Considering
Proposition 3.1 (ii), this will prove Theorem 0.3.
Conjecture 3.2. Let AS be an irreducible Artin-Tits group and X be included in
S. Let Xs be the union of the irreducible components of X that are of spherical
type, and Xas be the union of the other irreducible components of X. Then,
DZAS (AX ) = ZAS (ZAX ⊥ (AXs ))
as

(i) Assume Xs is empty. Then
DZAS (AX ) = ZAS (AX ⊥ ).
(ii) Assume AX is of spherical type. Let AT be the smallest standard parabolic
subgroup of AS that contains ZAS (AX ).
(a) If T is of spherical type then
DZAS (AX ) = DZAT (AX ).
(b) If T is not of spherical type then
DZAS (AX ) = AX .
Proposition 3.3. Let AS be an irreducible Artin-Tits group and X be included
in S. Assume AS has the property (⊛) stated in [17]. Conjecture 3.2 implies
Conjecture 0.2.
Proof. Consider the notations of Conjecture 0.2. Assume X is irreducible. If X
is not of spherical type, then X = Xas and Xs is empty. By Proposition 3.1,
ZAS (AX ) ⊆ QZAS (AX ) = AX ⊥ ⊆ ZAS (AX ). Therefore AX ⊥ = ZAS (AX ) and
T = X ⊥ . Thus, Conjecture 3.2(i) implies Conjecture 0.2(i). In the case X is of
spherical type, there is nothing to prove.

Theorem 3.4. Let AS be an irreducible Artin-Tits group. If AS has the property
(⊛) stated in [17], then Conjecture 3.2 holds.

16

OUSSAMA AJBAL AND EDDY GODELLE

In order to prove Theorem 3.4 We need some preliminary results. In the sequel,
we assume AS is an irreducible Artin-Tits group that has the property (⊛) stated
in [17]. We fix a standard parabolic subgroup AX with X ⊆ S. By Xs we denote
the union of the irreducible components of X that are of spherical type. By Xas
we denote the union of the other irreducible components of X. By definition Xs is
⊥
included in Xas
. We set
Υ = {Y ⊆ S | Xs ⊆ Y ; and AY is of spherical type.}
Let AT be the smallest standard parabolic subgroup of AS that contains ZAS (AXs ).
Lemma 3.5. ZAS (AX ) = ZAX ⊥ (AXs ).
as

Proof. We have AX = AXs × AXas . Therefore ZAS (AX ) = ZAS (AXs )∩ZAS (AXas ).
⊥
Let X1 , · · · , Xk be the irreducible components of Xs . Then Xas
= X1⊥ ∩ · · · ∩ Xk⊥ .
On the other hand, AXas = AX1 × · · · × AXk and ZAS (AXas ) = ZAS (AX1 ) ∩
· · · ∩ ZAS (AXk ). By Proposition 3.1, ZAS (AXi ) = QZAS (AXi ) = AXi⊥ for each
⊥ .
component Xi . Therefore ZAS (AXas ) = AX1⊥ ∩ · · · ∩ AXk⊥ = AX1⊥ ∩···∩Xk⊥ = AXas

(AXs ).
⊥ . Thus, ZAS (AXs ) ∩ ZAS (AXas ) = ZA
But, AXs is included in AXas
X⊥
as

Lemma 3.6. The set Υ is not empty and all its elements are contained in T .
Moreover, T belongs to Υ if and only if T is of spherical type. In this case, T is
the unique maximal element of Υ.
Proof. Xs is contained in Υ, so the latter is not empty. Moreover, Xs is included
in T . Therefore the latter belong to Υ if and only if it is of spherical type. Finally
if Y belongs to Υ, then ∆2Y belongs to ZAS (AY ), and therefore to ZAS (AX ). Thus,
Y is included in T . Hence, if T belongs to Υ, it is its unique maximal element. 
Lemma 3.7. Assume Y is maximal in Υ for the inclusion. Then,
DZAS (AXs ) ⊆ DZAY (AXs )
Proof. Assume g belongs to DZAS (AXs ). The element ∆2Y lies in Z(AY ). Since
Xs is included in Y , it follows that ∆2Y lies in ZAS (AXs ), and g∆2Y g −1 = ∆2Y . By
Proposition 3.1(i)(a), g belongs to the subgroup NAS (AY ). But Y is maximal in Υ.
By Proposition 3.1(i)(b), NAS (AY ) = AY . Thus DZAS (AXs ) = ZAS (ZAS (AXs )) ∩

AY = ZAY (ZAS (AXs )) ⊆ ZAY (ZAY (AXs )) = DZAY (AXs ).
We can now prove Theorem 3.4
Proof of Theorem 3.4. By Lemma 3.5, we have ZAS (AX ) = ZAX ⊥ (AXs ). It follows
as
that DZAS (AX ) = ZAS (ZAX ⊥ (AXs )). When Xs , is empty, we have Xas = X,
as
AXs = {1}. So ZAX ⊥ (AXs ) = ZAX ⊥ ({1}) = AX ⊥ . Therefore, DZAS (AX ) =
as
ZAS (AX ⊥ ). Assume for the remaining of the proof that X is of spherical type.
Assume, First, that T is of spherical type. By Lemma 3.6, T is maximal in Υ
and, by Lemma 3.7, DZAS (AX ) ⊆ DZAT (AX ). On the other hand, ZAT (AX ) =
ZAS (AX ) ∩ AT = ZAS (AX ). We deduce that DZAT (AX ) = ZAT (ZAS (AX )) ⊆
DZAS (AX ). Hence, DZAS (AX ) = DZAT (AX ). Assume, finally, that T do not lie
in Υ. Let Y be maximal in Υ. By Lemma 3.7, we get DZAS (AX ) ⊆ DZAY (AX ). If
Y = X, then AX ⊆ DZAS (AX ) ⊆ DZAX (AX ) = AX and we are done. So, assume
X ( Y . The group AY is of spherical type. Applying Theorem 0.1, we get that
DZAY (AX ) ⊆ QZ(AY ) × AX . Since AX is included in DZAS (AX ), the group AX

DOUBLE CENTRALIZERS IN ARTIN-TITS GROUPS

17

is equal to DZAS (AX ) if and only if DZAS (AX ) ∩ QZ(AY ) = {1}. Assume this
is not the case. Then, there exists k > 0 so that ∆kY lies in DZAS (AX ). We can
assume without restriction that k is even. Since Y lies in Υ and T does not, they
are distinct. It follows from the definition of T that there exists g in ZAS (AX )
which is not in AY . But ∆kY lies in DZAS (AX ). So we have ∆kY g(∆kY )−1 = g,
and equivalently g∆kY g −1 = ∆kY . The latter equality imposes that g belongs to
NAS (AY ) by Proposition 3.1(i)(a). But NAS (AY ) = AY by Proposition 3.1(i)(b),

a contradiction. Hence, DZAS (AX ) = AX .
Corollary 3.8. Let AS be an irreducible Artin-Tits group of FC type, or of large
type, or of 2-dimensional type. Then Conjecture 3.2 holds.
Remark 3.9. In an (irreducible) Artin-Tits group that is of large type, all standard
parabolic subgroups are irreducible. So, Corollary 3.8 provides a complete description of the double centralizer of any standard parabolic subgroup. However, for the
other not spherical types in the case both Xs and Xas are not empty, the answer is
not completely satisfactory. Indeed the double centralizer is not as simple as in the
cases where either Xs or Xas is empty. For instance, in the following example, we
have ZAS (AX ) = Z(AXs ) and DZAX = NAS (AXs ) = QZAS (AXs ) · AXs

Xas

s1
Xs

s4
s2

s3

s5

s6

s7

References
[1] Bourbaki, N. Groupes et Algèbres de Lie chapitres 4,5,6. Hermann, 1968.
[2] Brieskorn, E., and Saito, K. Artin Gruppen und Coxeter Gruppen. Invent. Math. 17
(1972), 245–271.
[3] Charney, R. Geodesic automation and growth function for Artin groups of finite type. Math.
Ann. 301 (1995), 307–324.
[4] Charney, R. Injectivity of the positive monoid for some infinite type Artin groups. In Geometric Group Theory Down Under, J. Cossey, C. Miller, W. Neumann, and M. Shapiro, Eds.
Walter de Gruyter, Berlin, 1996.
[5] Chermak, A. Locally non-spherical Artin groups. J. Algebra 200 (1998), 56–98.
[6] Chuang, C., and Lee, T. The double centralizer theorem for semiprime algebras. Algebr.
Represent. Theory 17 (2014), 1277–1288.
[7] Coxeter, H. S. M. The complete enumeration of finite groups of the form R2i = (Ri Rj )kij =
1. J. London Math. Soc 10 (1935), 21–25.
[8] Dehornoy, P., Digne, F., Godelle, E., Krammer, D., and Michel, J. Foundations of
Garside Theory. European Mathematical Society, 2015.
[9] Deligne, P. Les immeubles des groupes de tresses généralisés. Invent. Math. 17 (1972),
273–302.
[10] et R.K. Dennis, B. F. Noncommutative Algebra. Springer-Verlag, 1993.

18

OUSSAMA AJBAL AND EDDY GODELLE

[11] Fenn, R., Rolfsen, D., and Zhu, J. Centralisers in the braid group and singular braid
monoid. Enseign. Math. 42 (1996), 75–96.
[12] Garber, D., Kalka, A., Liberman, E., and Teicher, M. Double centralizers of parabolic
subgroups of braid groups. arXiv: 1310.0936v5 (2015).
[13] Godelle, E. Positive conjugation of a power of a generator in an Artin group. préprint, 2000.
[14] Godelle, E. Normalisateurs et centralisateurs des sous-groupes paraboliques dans les groupes
d’Artin-Tits. PhD thesis, Université de Picardie-Jules Verne, 2001.
[15] Godelle, E. Normalisateur et groupe d’Artin de type sphérique. J. of Algebra 269 (2003),
263–274.
[16] Godelle, E. Parabolic subgroups of Artin groups of type FC. Pacific Journal of Math 208
(2003), 243–254.
[17] Godelle, E. Artin groups with cat(0) Deligne complex. J. Pure Appl. Algebra 208 (2007),
39–52.
[18] Godelle, E. Parabolic subgroups of Garside groups ii: ribbons. J. Pure Appl. Algebra 214
(2010), 2044–2062.
[19] Godelle, E., Kaplan, S., and Teicher, M. Conjugacy in artin groups and application to
the classification of surfaces. Journal of Algebra and Applications 5 (2006), 563–570.
[20] Gonzalez-Meneses, J. Improving an algorithm to solve multiple simultaneous conjugacy
problems in braid groups. Contemp. Math. 372 (2005), 35–42.
[21] Lee, S. J., and Lee, E. Potential weaknesses of the commutator key agreement protocol
based on braid groups. L.R. Knudsen (Ed.) : EUROCRYPT 2002, LNCS 2332 (2002),
14–28.
[22] Paris, L. Centralizers of parabolic subgroups of Artin groups of type Al , Bl and Dl . J.
Algebra 196 (1997), 400–435.
[23] Paris, L. Parabolic subgroups of Artin groups. J. Algebra 196 (1997), 369–399.
[24] Paris, L. Artin monoids inject in their groups. Comment. Math. Helv. 77 (2002), 609–637.
[25] Simion, I, I. Double centralizers of unipotent elements in simple algebraic groups of type E7
and E8 . J. Pure Appl. Algebra 219 (2015), 930–977.
[26] Tange, R. The symplectic ideal ans a double centraliser theorem. Algebr. Represent. TheorJ.
London Math Soc. 77 (2008), 687– 699.
[27] Van der Lek, H. The homotopy type of complex hyperplane complements. PhD thesis, Nijmegen, 1993.

