Universit Paris VII -

Denis Diderot
cole Normale
Suprieure
cole Doctorale Paris Centre
Thse de doctorat
Discipline : Mathmatiques
prsente par
Vivien Ripoll
Groupes de rexion, gomtrie du discriminant
et partitions non-croises
dirige par David Bessis.
Soutenue le 9 juillet 2010 devant le jury compos de :
M. David Bessis cole Normale Suprieure (Directeur)
M. Cdric Bonnaf Universit de Franche-Comt
M. Frdric Chapoton Universit Lyon 1 (Rapporteur)
M. Patrick Dehornoy Universit de Caen
M. Christian Krattenthaler Universitt Wien (Rapporteur)
M. Franois Loeser cole Normale Suprieure
M. Jean Michel Universit Paris 7
2
Dpartement de Mathmatiques et Applications
cole Normale Suprieure
45 rue dUlm
75 005 Paris
Universit Paris Diderot - Paris 7
5 rue Thomas Mann
75 205 Paris Cedex 13
cole Doctorale de Sciences Mathmatiques de Paris-Centre
Case 188
4 place Jussieu
75 252 Paris Cedex 05
Remerciements
Bien videmment, cest David Bessis que vont mes premiers remerciements. Il a t pour
moi, depuis le dbut de mon M2, et tout au long de ma thse, un mentor remarquable. Il ma
montr comment construire mon intuition mathmatique, comment prendre du recul, comment
rdiger de manire lisible... Mais au-del de ses indniables qualits mathmatiques, cest par
ses qualits humaines quil a su rendre ces annes agrables et enrichissantes. Il a toujours t
trs attentif ce que je ressentais, et pas seulement aux maths qui nous liaient formellement.
Il mest parfois arriv au cours de ma thse dtre dmotiv ; mais, invariablement, en sortant
de son bureau, jtais de nouveau conant et prt attaquer avec le sourire des questions
passionnantes. Je lui suis aussi reconnaissant davoir su rester trs disponible jusqu la n de
ma thse, malgr une vie professionnelle charge. Bref, un norme merci !
Christian Krattenthaler et Frdric Chapoton ont accept dtre rapporteurs de cette
thse. Je souhaite les remercier vivement ici pour le temps pass, pour leur enthousiasme, et
pour avoir accept de venir Paris pour la soutenance.
Je remercie Cdric Bonnaf, Patrick Dehornoy, Franois Loeser, et Jean Michel
davoir bien voulu me faire lhonneur de faire partie du jury galement. Un merci spcial
Jean Michel, pour avoir rpondu patiemment toutes mes questions sur le logiciel GAP, et
Patrick Dehornoy pour ses conseils utiles lors de mes passages Caen, notamment au sujet
des exposs oraux.
Merci toute lquipe dalgbre du DMA, qui a t ma maison mathmatique pendant
ces annes de thse ; en particulier, merci mes cobureaux Emmanuel, Max, Zhi, Olivier B et
Thomas, ainsi qu Franois C. Un grand merci aussi Zana Elmir et Bndicte Auffray
qui rendent la vie pratique accessible des matheux.
Je remercie aussi toute lquipe Groupes Finis de lIMJ, qui ma accueilli rgulirement :
merci en particulier Jean Michel dj cit, Michel Brou (pour son cours de M2 passion-
nant qui ma introduit au monde des groupes de rexion complexes, et pour avoir t tout au
long de ces annes un grand-pre de thse particulirement enthousiasmant), Franois Digne
(aussi pour tous les papiers administratifs !), Ivan Marin, Sungsoon Kim, Marc Cabanes,
Vincent Beck (charg de TD puis ami mathmatique captivant), Nicolas Libedinsky, Re-
naud Ramage... Toujours Chevaleret, un grand merci Michle Wasse, pour sa comptence
exceptionnelle, et pour avoir toujours eu les rponses mes questions administratives ; merci
aussi Alice Dupouy qui a pris la relve courageusement et ecacement ces derniers mois.
Jai pu proter dun sjour mathmatique au sein du Mathematical Institute Oxford,
grce une subvention du rseau Representation Theory Across the Channel. Merci Meinolf
Geck et Bernard Leclerc pour la gestion de ce rseau. Sur place, merci tout le labo
de maths dOxford, et en particulier Raphal Rouquier pour laccueil chaleureux et les
changes mathmatiques trs instructifs ; une partie de cette thse lui doit beaucoup.
4
Jai eu la chance de rencontrer Kyoji Saito, lors dune confrence Sapporo ; je le remercie
pour son intrt pour mon travail, pour les discussions enrichissantes et pour mavoir fourni
une version longue dun de ses articles. Merci galement Vic Reiner, pour ses ides et son
soutien ecace. Lintroduction de ce manuscrit doit beaucoup la thse de Drew Armstrong
sur les partitions non-croises : cest ici loccasion de le remercier davoir crit 150 pages qui
se lisent presque comme un roman.
Merci lintelligence multicphale quest le forum de maths de lENS, o les questions
restent rarement sans rponses ; merci en particulier David M et Jol B. Pour la partie
informatique, particulirement L
A
T
E
X, merci aux tuteurs de lENS, et au Bureau des Doctorants
de lIMJ.
Je remercie tous mes amis matheux, qui mont aid chacun leur manire, dans un cadre
mathmatique ou non ; en particulier Mikael (trop de choses dire pour une parenthse !),
Jrmy (relecteur rigoureux !), Olivier, Shona, Cyril, Laetitia, Gabriel, Damien, Valentin...
Je noublie pas de remercier mes amis non matheux colocs, amis de Toulon, de Marseille,
de Paris et dailleurs , qui mont soutenu de prs ou de loin; je le ferai de vive voix, et ce
nest pas ici le cadre adapt pour dtailler tout ce quils ont t pour moi, mais il est certain
que leur amiti a t dterminante pendant ces annes de thse. Merci !
Enn, merci ma famille pour leur amour et leur soutien constant.
Rsum
Rsum
Lorsque W est un groupe de rexion complexe bien engendr, le treillis ncp
W
des par-
titions non-croises de type W est un objet combinatoire trs riche, gnralisant la notion de
partitions non-croises dun n-gone, et intervenant dans divers contextes algbriques (monode
de tresses dual, algbres amasses...). De nombreuses proprits combinatoires de ncp
W
sont
dmontres au cas par cas, partir de la classication des groupes de rexion. Cest le cas de
la formule de Chapoton, qui exprime le nombre de chanes de longueur donne dans le treillis
ncp
W
en fonction des degrs invariants de W. Les travaux de cette thse sont motivs par
la recherche dune explication gomtrique de cette formule, qui permettrait une comprhen-
sion uniforme des liens entre la combinatoire de ncp
W
et la thorie des invariants de W. Le
point de dpart est lutilisation du revtement de Lyashko-Looijenga (LL), dni partir de
la gomtrie du discriminant de W.
Dans le chapitre 1, on rane des constructions topologiques de Bessis, permettant de relier
les bres de LL aux factorisations dun lment de Coxeter. On tablit ensuite une proprit
de transitivit de laction dHurwitz du groupe de tresses B
n
sur certaines factorisations. Le
chapitre 2 porte sur certaines extensions nies danneaux de polynmes, et sur des proprits
concernant leurs jacobiens et leurs discriminants. Dans le chapitre 3, on applique ces rsultats
au cas des extensions dnies par un revtement LL. On en dduit sans utiliser la classi-
cation des formules donnant le nombre de factorisations sous-maximales dun lment de
Coxeter de W en fonction des degrs homognes des composantes irrductibles du discriminant
et du jacobien de LL.
Mots-clefs
Groupes de rexion complexes, partitions non-croises, nombres de Fuss-Catalan, formule
de Chapoton, revtement de Lyashko-Looijenga, factorisations dlment de Coxeter.
6
Reection groups, geometry of the discriminant and
noncrossing partitions
Abstract
When W is a well-generated complex reection group, the noncrossing partition lattice ncp
W
of type W is a very rich combinatorial object, extending the notion of noncrossing partitions
of an n-gon. This structure appears in several algebraic setups (dual braid monoid, cluster
algebras...). Many combinatorial properties of ncp
W
are proved case-by-case, using the clas-
sication of reection groups. It is the case for Chapotons formula, expressing the number
of multichains of a given length in the lattice ncp
W
, in terms of the invariant degrees of W.
This thesis work is motivated by the search for a geometric explanation of this formula, which
could lead to a uniform understanding of the connections between the combinatorics of ncp
W
and the invariant theory of W. The starting point is to use the Lyashko-Looijenga covering
(LL), based on the geometry of the discriminant of W. In the rst chapter, some topological
constructions by Bessis are rened, allowing to relate the bers of LL with block factorisations
of a Coxeter element. Then we prove a transitivity property for the Hurwitz action of the
braid group B
n
on certain factorisations. Chapter 2 is devoted to certain nite polynomial
extensions, and to properties about their Jacobians and discriminants. In Chapter 3, these
results are applied to the extension dened by the covering LL. We deduce with a case-free
proof formulas for the number of submaximal factorisations of a Coxeter element in W,
in terms of the homogeneous degrees of the irreducible components of the discriminant and
Jacobian for LL.
Keywords
Complex reection groups, noncrossing partitions, Fuss-Catalan numbers, Chapotons for-
mula, Lyashko-Looijenga covering, factorisations of a Coxeter element.
Table des matires
Introduction 9
0.1 Le treillis des partitions non-croises . . . . . . . . . . . . . . . . . . . . . . . . 9
0.2 Motivations algbriques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
0.3 Combinatoire de Coxeter-Fuss-Catalan . . . . . . . . . . . . . . . . . . . . . . . 17
0.4 Gomtrie du discriminant . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
0.5 Principaux rsultats de la thse . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
1 Orbites dHurwitz des factorisations primitives dun lment de Coxeter 27
1.1 Ordre de divisibilit dans ncp
W
. . . . . . . . . . . . . . . . . . . . . . . . . . . 32
1.2 Action dHurwitz sur les factorisations primitives et conjugaison forte dans ncp
W
33
1.3 Le morphisme de Lyashko-Looijenga . . . . . . . . . . . . . . . . . . . . . . . . 35
1.4 Factorisations gomtriques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38
1.5 Etude de LL sur les strates E

. . . . . . . . . . . . . . . . . . . . . . . . . . . 41
1.6 Stratication de H et lments de Coxeter paraboliques . . . . . . . . . . . . . 43
1.7 Composantes connexes par arcs de Y
0
k
. . . . . . . . . . . . . . . . . . . . . . . 47
1.8 Forte conjugaison, et cas des rexions . . . . . . . . . . . . . . . . . . . . . . . 49
2 Discriminants and Jacobians of virtual reection groups 51
2.1 Motivations and main theorem . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
2.2 Jacobian and dierent of a nite graded polynomial extension . . . . . . . . . . 53
2.3 Geometric properties . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
2.4 Well-ramied extensions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59
3 Geometry of LL and submaximal factorisations 63
3.1 Lyashko-Looijenga morphisms and factorisations of a Coxeter element . . . . . 63
3.2 Lyashko-Looijenga extensions . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65
3.3 The Lyashko-Looijenga extension as a virtual reection group . . . . . . . . . . 70
3.4 Combinatorics of the submaximal factorisations . . . . . . . . . . . . . . . . . . 70
3.5 Chapotons formula and submaximal factorisations . . . . . . . . . . . . . . . . 73
A Numerical data for the factorisations 75
A.1 Description . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 75
A.2 Computations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 78
B Chains, multichains and block factorisations 83
B.1 Multichains and factorisations in an ordered group . . . . . . . . . . . . . . . . 83
B.2 Formulas for block factorisations of a Coxeter element . . . . . . . . . . . . . . 84
8 Table des matires
Bibliographie 87
Introduction
Le point de dpart des travaux de cette thse tait dessayer de comprendre une formule
qui exprime le nombre de chanes de longueur donne dans le treillis des partitions non-
croises associ un groupe de rexion W, en fonction des degrs invariants de W. Jai ainsi
t amen tudier les relations entre la combinatoire du treillis et la gomtrie de W, et
plus prcisment faire le lien entre certaines factorisations dun lment de Coxeter et le
revtement de Lyashko-Looijenga de W.
Ce chapitre introductif vise prsenter les principaux personnages :
les groupes de rexion complexes bien engendrs ;
le treillis des partitions non-croises de type W, pour W un tel groupe ;
le revtement de Lyashko-Looijenga associ W ;
les factorisations par blocs dun lment de Coxeter de W.
La premire partie introduit le treillis des partitions non-croises de type W, un objet
combinatoire trs riche, qui tend la notion de partitions non-croises dun n-gone. Les parties
0.2, 0.3 et 0.4 donnent un aperu des aspects combinatoires, algbriques, et gomtriques de
cet objet et des autres structures tudies. On y expose ltat de lart et le contexte historique
dans lequel sinscrit ce travail.
Dans la partie 0.5 on prsente les principaux rsultats de la thse.
0.1 Le treillis des partitions non-croises
0.1.1 Partitions non-croises classiques
Soit n un entier non nul. Considrons n points du plan, disposs sur les sommets dun n-
gone rgulier, et tiquets 1, . . . , n dans le sens des aiguilles dune montre. tant donne une
partition de lensemble 1, . . . , n, on peut tracer dans le polygone les enveloppes convexes
des parts de la partition. On dit que celle-ci est non-croise si ces enveloppes convexes ne
sintersectent pas deux deux (dans le cas contraire, elle est dite croise).
Si lon prfre une dnition combinatoire, on a la caractrisation suivante : une partition
de 1, . . . , n est non-croise si et seulement si pour 1 i < j < k < l n, si i et k sont dans
la mme part P, alors j et l sont soit dans des parts distinctes, soit tous deux dans la part P
galement.
Lensemble des partitions non-croises dun n-gone (que lon notera ncp
n
) est un ensemble
partiellement ordonn, par lordre de ranement des partitions ( si est une partition
plus ne que ). Cest de plus un treillis pour cet ordre, cest--dire quil existe des infs et des
sups (cf. dnition 0.5).
10 Introduction
9
1
2
4
5
6
8
3
7
9
1
2
4
5
6
8
3
7
Fig. 1: La partition P
1
= 1, 4, 5, 2, 3, 6, 7, 9, 8 est non-croise ; la partition P
2
=
1, 2, 4, 6, 5, 3, 7, 8, 9 est croise.
Le treillis ncp
n
est lun des nombreux objets combinatoires compts par le nombre de
Catalan :
[ ncp
n
[ = Cat(n) =
1
n + 1
_
2n
n
_
.
La premire tude dtaille des partitions non-croises date de 1972, par Kreweras [Kre72]
(pour plus de dtails sur lhistorique du problme, on renvoie Stanley [Sta99, pp. 261262]
et Armstrong [Arm09, p. 5]). Le treillis est devenu depuis un objet classique en combinatoire
algbrique (cf. larticle de synthse de Simion [Sim00]).
Plus rcemment, lintrt pour les partitions non-croises sest diversi. Elles sont tudies
en lien avec la thorie des probabilits libres de Voiculescu (voir les synthses de Speicher
[Spe97] et Biane [Bia02]), et dans de nouveaux problmes combinatoires (voir par exemple
les fonctions parkings [Sta97b]). Surtout, elles interviennent dans de nombreuses situations
algbriques (thorie des groupes, thorie des reprsentations) sur lesquelles nous reviendrons
plus loin dans cette introduction. On renvoie larticle [McC06] de McCammond pour un
tour dhorizon des diverses incarnations des partitions non-croises dcouvertes ces dernires
annes.
Depuis la n des annes 90, la structure combinatoire a t gnralise dans le contexte
des groupes de rexion nis (rels, puis complexes), le cas du n-gone correspondant au type
W(A
n1
), i.e. au groupe de permutations S
n
. Pour expliquer cette gnralisation, commen-
ons par donner une autre interprtation des partitions non-croises.
A chaque partition P (croise ou non) dun n-gone, on peut associer une permutation
de S
n
, qui est le produit des cycles donns par chaque part de P, ses lments tant pris dans
le sens des aiguilles dune montre : voir les diagrammes de la gure 2.
On peut alors montrer que les partitions non-croises correspondent exactement aux per-
mutations qui se situent sur une godsique entre la permutation identit et le n-cycle c =
(1 2 . . . n) dans le graphe de Cayley de (S
n
, T), o T est lensemble de toutes les transposi-
tions de S
n
. Ainsi, lensemble des partitions non-croises est en bijection avec lensemble des
permutations de S
n
telles que

T
() +
T
(
1
c) =
T
(c) ,
0.1. Le treillis des partitions non-croises 11
9
1
2
4
5
6
8
3
7
9
1
2
4
5
6
8
3
7
Fig. 2: Les permutations
1
= (1 4 5)(2 3)(6 7 9) et
2
= (2 4 6)(3 7 8 9), correspondant aux
partitions P
1
et P
2
de la gure 1.
o
T
() dsigne le nombre minimal de transpositions ncessaires pour crire (on a
T
() =
n#cycles de ). Sous cette forme, en voyant le groupe S
n
comme un groupe de Coxeter de
type A, on peut gnraliser la notion de partitions non-croises tous les groupes de Coxeter
nis (et certains groupes de rexion complexes).
0.1.2 Gnralisation aux groupes de rexion
Dans la suite, sauf mention explicite du contraire, tous les groupes de rexion
seront supposs nis.
Groupes de Coxeter nis
Soit un groupe de rexion rel ni W, cest--dire un sous-groupe ni de GL(V ) (o V est
un espace vectoriel rel), engendr par des rexions. La thorie de Coxeter permet dtudier
ce type de groupe de manire combinatoire, en xant un ensemble de gnrateurs particuliers,
not S, tel que (W, S) ait une prsentation trs remarquable. On renvoie aux livres [Kan01],
[Hum90], ou [Bou68] pour plus de dtails sur les groupes de Coxeter et les groupes de rexion
nis.
Pour construire les partitions non-croises de type W, on munit au contraire W dune
autre partie gnratrice, note 1, et constitue de toutes les rexions de W. Dans le cas
dun groupe de type A, on retrouve lensemble de toutes les transpositions, not T dans le
paragraphe prcdent
1
.
Dnition 0.1. On note
R
(w) la longueur dun lment w de W en tant que mot sur
lalphabet 1, i.e.

R
(w) = minp N [ r
1
, . . . , r
p
1, w = r
1
. . . r
p
.
Si r
1
. . . r
p
= w, avec p =
R
(w), on dit que (r
1
, . . . , r
p
) est une dcomposition rduite de w.
On dnit un ordre partiel
R
sur W, en disant que u divise v si et seulement si u peut
1. Lensemble de toutes les rexions de W est dailleurs par extension not T par plusieurs auteurs (cf.
[Bes03] ou [Arm09]) ; on prfre ici la notation R pour rexions .
12 Introduction
scrire en prxe dune dcomposition rduite de v, i.e. :
u
R
v si et seulement si
R
(u) +
R
(u
1
v) =
R
(v) .
On notera simplement et , plutt que
R
et
R
, sil ny a pas dambigut ; lordre
est parfois appel ordre absolu sur W (et longueur absolue)
2
.
Remarque 0.2. Le diagramme de Hasse pour cet ordre partiel est donn par le graphe de
Cayley de (W, 1) (en eet, si w W et r 1, on a ncessairement
R
(rw) =
R
(w) 1, car
les rexions ont pour dterminant 1).
Le rle du n-cycle dans le type A va tre jou ici par un lment de Coxeter de W,
cest--dire un produit (dans nimporte quel ordre) de toutes les rexions par rapport aux
murs dune chambre donne de larrangement dhyperplans de W (cf. par exemple [Kan01,
29.1]). Lensemble des lments de Coxeter de W forme une classe de conjugaison constitue
dlments de longueur
R
maximale dans W (en type A mais pas dans le cas gnral on
obtient tous les lments de longueur maximale, i.e. les cycles maximaux). Fixons un lment
de Coxeter c. On dnit ainsi lensemble des partitions non-croises de type W :
ncp
W
(c) = w W [ w c .
Soient c et c

deux lments de Coxeter. Comme la longueur

R
est invariante par conjugai-
son, et que c et c

sont conjugus, ncp

W
(c) et ncp
W
(c

) sont isomorphes en tant quensembles

ordonns. Du coup, tant quon peut travailler isomorphisme prs, on notera simplement
ncp
W
.
On peut montrer (et ce nest pas vident, voir paragraphe 0.3.1), que, comme pour le type
A, lensemble partiellement ordonn (ncp
W
, ) est un treillis.
Groupes de rexion complexes
Dans [Bes07a], motiv par des questions gomtriques sur les groupes de tresses gnraliss
(cf. partie 0.2), Bessis montre que la dnition de ncp
W
peut stendre au cas o W est un
groupe de rexion complexe bien engendr. Rappelons quelques dnitions (plus de dtails
sont donns au paragraphe 0.2.2).
Si V est un C-espace vectoriel de dimension n 1, une rexion
3
est un lment r de
GL(V ), dordre ni, et tel que Ker(r 1) soit un hyperplan de V . Son unique valeur propre
distincte de 1 est donc une racine de lunit, qui nest pas ncessairement 1 comme dans le
cas rel.
Un groupe de rexion complexe (ni) est un sous-groupe ni de GL(V ) engendr par des
rexions. Tout groupe de rexion rel ni peut bien sr se voir comme un groupe complexe,
en complexiant lespace vectoriel sur lequel il agit. Cependant, on obtient avec cette dnition
de nombreux nouveaux groupes de rexion non-rels (et ce mme dans le cas o toutes les
rexions du groupe sont dordre 2). La thorie de Coxeter ne sapplique pas ces groupes.
Mais comme les dnitions de lordre et de la longueur vues plus haut sont relatives
2. Il ne doit pas tre confondu avec lordre plus classique
S
sur les groupes de Coxeter, dni par la
longueur
S
relative un systme de rexions fondamentales, ou encore avec lordre de Bruhat.
3. Certains auteurs utilisent le terme pseudo-rexion ; on prfre ici utiliser simplement rexion quand
le cadre est un espace vectoriel complexe.
0.1. Le treillis des partitions non-croises 13
lensemble 1 de toutes les rexions de W, on peut les tendre telles quelles aux groupes de
rexion complexes. On construit ainsi, comme dans le cas rel, un ensemble partiellement
ordonn (W, ), dont la structure provient de la longueur de rexion .
Notons que la situation est plus subtile que dans le cas rel : comme les rexions ne sont
pas forcment de dterminant 1, on peut thoriquement avoir
R
(wr) =
R
(w) pour w W
et r 1 (et ceci se produit eectivement dans certains cas) ; la remarque 0.2 sur le lien entre
le diagramme de Hasse de et le graphe de Cayley de (W, 1) nest donc plus valide. On verra
cependant que, si lon se restreint aux diviseurs dun lment de Coxeter, ce problme ne se
pose plus.
Si W est un groupe de rexion complexe qui agit de faon essentielle
4
sur lespace V de
dimension n, on dit que W est bien engendr sil peut tre engendr par n rexions (cest
le cas pour tous les groupes rels, mais pas pour tous les groupes complexes). Si W est bien
engendr, il existe une gnralisation naturelle de la notion dlment de Coxeter (voir la
dnition 1.6 du chapitre 1). On peut ainsi donner la dnition gnrale de lensemble des
partitions non-croises de type W.
Dnition 0.3. Soit W un groupe de rexion complexe bien engendr, et c un lment de
Coxeter de W. On note lordre sur W dni par la 1-longueur (cf. Df. 0.1). Le treillis des
partitions non-croises de type W est lintervalle [1, c] pour lordre :
ncp
W
(c) = w W [ w c .
Il savre que la structure combinatoire de cet ensemble est alors trs similaire au cas rel ;
en particulier ncp
W
est encore un treillis. Au paragraphe 0.2.2 on donnera une interprtation
algbrique de ce treillis.
Historique et rfrences
Le treillis des partitions non-croises de type W est un objet la combinatoire trs riche,
et galement trs utile pour comprendre la structure et la gomtrie des groupes de rexion ;
on dveloppe ces questions en 0.2 et 0.3. Cette gnralisation est apparue la n des annes
90, de faon indpendante dans dirents domaines mathmatiques.
Travaillant en combinatoire algbrique, Reiner introduit des partitions non-croises de
types B et D dans [Rei97]. Du ct de la thorie des groupes, la construction du monode
de Birman-Ko-Lee dans [BKL98] suscite deux axes de recherche indpendants donnant une
dnition algbrique de ncp
W
: voir dune part Bessis-Digne-Michel [BDM02] (suivi de larticle
[Bes03]), dautre part Brady-Watt [Bra01, BW02b, BW02a]. Toujours dans la mme priode,
des problmes en thorie des probabilits libres motivent galement la construction de certaines
gnralisations (Biane-Goodman-Nica [BGN03]).
En janvier 2005 une rencontre est organise lAmerican Institute of Mathematics, ras-
semblant pour la premire fois tous les chercheurs de domaines divers travaillant sur ce mme
objet : il en rsulte une longue liste de problmes ouverts (cf. [Arm05]).
Pour plus de dtails historiques, on renvoie au chapitre 4.1. dans [Arm09]. Ici on va sin-
tresser tout particulirement aux motivations algbriques lies aux groupes de rexion et
monodes de tresses.
4. cest--dire que V
W
= {0} : en tant que W-module, V na pas de composante irrductible triviale.
14 Introduction
0.2 Motivations algbriques
0.2.1 Groupes de tresses
Soit W GL(V ) un groupe de rexion complexe, et 1 lensemble de toutes ses rexions.
On dnit larrangement dhyperplans de W :
/ := Ker(r 1) [ r 1 ,
et lespace des points rguliers :
V
reg
:= V
_
HA
H .
Le groupe W agit naturellement
5
sur V
reg
, et on dnit :
B(W) :=
1
(WV
reg
) ,
le groupe de tresses de W. Pour W = S
n
(i.e. le groupe de Coxeter W(A
n1
)), on retrouve
le groupe de tresses usuel n brins.
Dans le cas o W est un groupe rel (complexi), la thorie de Coxeter permet de com-
prendre la structure de B(W). Si lon choisit une chambre C de larrangement rel (i.e. une
composante connexe de lespace des points rguliers rels), alors lensemble S 1 form des
rexions par rapport aux murs de C engendre W, et lon a une prsentation de Coxeter :
W

s S, s
2
= 1 ; s, t S (s ,= t), sts . . .
. .
m
s,t
= tst . . .
. .
m
s,t
_
groupe
, (1)
o m
s,t
est lordre du produit st. Daprs un thorme de Brieskorn ([Bri71]), le groupe de
tresses B(W) est isomorphe au groupe dArtin-Tits de W, dni par la prsentation suivante
6
:
A(W, S) :=

s, t S (s ,= t), sts . . .
. .
m
s,t
= tst . . .
. .
m
s,t
_
groupe
. (2)
Deligne et Brieskorn-Saito, dans les deux articles fondateurs [Del72, BS72], ont tudi la
structure de B(W), notamment en construisant une forme normale dans A(W, S) (y rsolvant
ainsi le problme des mots), et en tablissant que le monode dArtin-Tits A
+
(W, S) (dni
par la prsentation (2), mais en tant que monode) se plonge dans son groupe des fractions
A(W, S).
Cette mthode nore par contre aucune prise sur les groupes de rexion complexes,
puisqualors la thorie de Coxeter ne sapplique pas (on na plus de domaine fondamental
naturel comme dans la gomtrie relle). Ce nest quau dbut des annes 2000 qua t
contruit un substitut pour le monode dArtin-Tits qui, lui, peut se gnraliser.
5. On considrera quil sagit dune action gauche, et on notera les quotients gauche.
6. dans laquelle lensemble des gnrateurs est plus exactement une copie formelle de S.
0.2. Motivations algbriques 15
0.2.2 Groupes de rexion complexes et monode de tresses dual
Lorsquon passe des groupes de Weyl nis (groupes de rexion dnis sur Q) aux groupes
de Coxeter nis (dnis sur R), peu de nouveaux exemples se prsentent (dans la classication
des groupes irrductibles, ce sont les types H
3
, H
4
, et les groupes didraux). Par contre, si
lon autorise les groupes de rexion tre dnis sur C, la situation change drastiquement.
La classication des groupes de rexion complexes irrductibles a t tablie en 1954 par
Shephard-Todd ([ST54] ; voir aussi Cohen [Coh76]) ; elle contient :
une srie innie 3 paramtres : G(de, e, r) est le groupe des matrices monomiales
7
de
GL
r
(C), dont les coecients non nuls sont dans
de
, avec un produit dans
d
(o
n
dsigne lensemble des racines n-imes de lunit). On y retrouve les sries innies relles :
G(1, 1, n) W(A
n1
), G(2, 1, n) W(B
n
), G(2, 2, n) W(D
n
), G(e, e, 2) W(I
2
(e)).
34 groupes exceptionnels (numrots historiquement G
4
, . . . , G
37
), de petit rang : 19
sont de rang 2, et le rang maximal est 8 (atteint pour G
37
qui nest autre que le groupe
W(E
8
)).
Contrairement au cas rel, cette classication napparat pas comme la solution dun pro-
blme combinatoire simple. Elle a t obtenue par des mthodes ad hoc, et reste encore aujour-
dhui assez mal comprise. En particulier, on ne peut pas toujours trouver un systme gnrateur
minimal de rexions qui soit naturel , et trouver des prsentations satisfaisantes pour ces
groupes est un problme dicile (voir les travaux de Brou-Malle-Rouquier [BMR95, BMR98],
o sont construits des diagrammes la Coxeter pour les groupes complexes). Encore au-
jourdhui, on ne dispose pas dune vision globale satisfaisante sur ces groupes, et de nombreuses
proprits importantes sont dmontres au cas par cas (comme des concidences constates
sur tous les groupes de la classication), et non comprises en profondeur. Les travaux de cette
thse visent dailleurs amliorer la comprhension conceptuelle de certaines de ces proprits
empiriques.
Ltude des groupes de rexion complexes connat depuis une quinzaine dannes un
regain dintrt, motiv par de nouvelles questions en thorie des reprsentations. De la mme
faon que les groupes de Weyl sont les squelettes de la thorie de Lie, il semblerait en eet
quon puisse construire des structures algbriques (appeles Spetses) associes aux groupes de
rexion complexes (travaux de Brou, Malle, Michel, Rouquier, prsents dans [Bro01]).
Pour une prsentation exhaustive de la thorie des groupes de rexion complexes, on
renvoie au rcent livre de Lehrer-Taylor [LT09].
En 1998, Birman-Ko-Lee [BKL98] donnent une nouvelle prsentation pour le groupe de
tresses usuel, qui est rinterprte par Bessis-Digne-Michel [BDM02] dans le langage alors
tout rcent des monodes de Garside (voir partie suivante). Ceci est le point de dpart de la
construction dans [Bes03] dun nouveau monode de tresses pour tous les groupes de Coxeter
nis (voir aussi [BW02a]) : le monode de tresses dual. Celui-ci vrie des proprits struc-
turelles analogues celles du monode dArtin-Tits (cest un monode de Garside), mais il
a lavantage de ne pas utiliser la structure de Coxeter du groupe : il est en eet construit
partir de la paire (W, 1), o 1 est lensemble de toutes les rexions. Cela permet de le
dnir galement pour certains groupes de rexion non rels (ceux qui sont bien engendrs),
cf. [Bes07a].
7. Un seul coecient non nul sur chaque ligne, ainsi que sur chaque colonne ; autrement dit, une matrice
monomiale est le produit dune matrice diagonale inversible et dune matrice de permutation.
16 Introduction
Pour une prsentation synthtique du monode dual et de ses applications, on renvoie
lintroduction de [Bes07b]. Donnons ici simplement sa dnition. Celle-ci sinspire dune
prsentation alternative du monode dArtin-Tits (tablie par Tits) :
A
+
(W, S)

W [ w.w

= ww

(produit dans W) si
S
(w) +
S
(w

) =
S
(ww

)
_
monode
, (3)
o
S
dsigne la longueur relativement lensemble S des rexions fondamentales (dnition
analogue Df. 0.1). On dnit alors le monode dual de tresses par :
M(W, c) :=

ncp
W
(c)[ w.w

= ww

(produit dans W) si
R
(w) +
R
(w

) =
R
(ww

)
_
monode
,
(4)
o c est un lment de Coxeter et o ncp
W
(c), qui sert ici de systme gnrateur, est lensemble
des diviseurs de c pour lordre
R
(Df. 0.3). On montre que le monode dual se plonge dans
son groupe des fractions, qui est B(W), mais quil nest pas (dans le cas rel) isomorphe au
monode dArtin-Tits.
0.2.3 Structures de Garside
Le monode dArtin-Tits et le monode dual sont deux exemples de monodes de Garside.
Cette notion a t introduite la n des annes 90 par Dehornoy et Paris [Deh02, DP99],
dans le but daxiomatiser les proprits essentielles de A
+
(W, S), de sorte que les mthodes de
preuve et les rsultats de Deligne et Brieskorn-Saito sappliquent dans un cadre plus gnral.
Il nest pas utile de donner ici la dnition prcise dun monode de Garside
8
dautant
que celle-ci nest pas tout fait stabilise , mais signalons quun axiome fondamental est une
proprit de treillis pour un systme gnrateur du monode. Les gnrateurs de la prsentation
(3) de A
+
(W, S) constituent lensemble ordonn (W,
S
) (o
S
est lordre de divisibilit
associ S), dont on peut montrer gomtriquement quil est un treillis. Pour le cas du
monode dual (prsentation (4)), il faut introduire un lment de Coxeter (lensemble (W,
R
)
entier nest en gnral pas un treillis). Le systme gnrateur est alors prcisment ncp
W
(c), et
on comprend limportance algbrique de la proprit de treillis pour lensemble des partitions
non-croises de type W (voir paragraphe 0.3.1).
La construction du monode de tresses dual pour les groupes non rels a donc des applica-
tions importantes, puisquelle permet dadapter les preuves de Deligne et Brieskorn-Saito et
de dmontrer des proprits fondamentales de W et B(W) (problme des mots, problme de
conjugaison...) dans des cas nouveaux. Une application importante est la dmonstration de
la proprit K(, 1) pour les arrangements dhyperplans des groupes de rexion complexes
[Bes07a].
Remarque 0.4. On ne traite dans cette thse que de groupes de rexion nis. Cependant,
des monodes duaux ont galement t construits pour les groupes dArtin-Tits de type non
sphrique : [CP03, Dig06, Bes06a, BCKM].
La thorie de Garside continue par ailleurs de se dvelopper, et de nombreuses gnralisa-
tions de structures de Garside ont t dnies ces dernires annes (groupodes, catgories) :
voir par exemple [Bes06b], [Kra08], et larticle de synthse [McC05].
8. Le nom donn cette structure provient du premier cas historique, celui du monode de tresses classique
de type A, tudi par Garside dans [Gar69].
0.3. Combinatoire de Coxeter-Fuss-Catalan 17
0.3 Combinatoire de Coxeter-Fuss-Catalan
Fixons un groupe de rexion complexe bien engendr W. Lensemble ordonn ncp
W
possde une combinatoire particulirement riche, explore depuis quelques annes (au moins
lorsque W est rel). Suivant une terminologie dArmstrong, on pourra parler de combinatoire
de Coxeter-Fuss-Catalan, car des gnralisations des nombres de Fuss-Catalan interviennent.
On donne dans cette partie quelques exemples (non exhaustifs) des problmes poss par
cette combinatoire. Pour un expos plus complet, et pour dautres rfrences, on pourra se
reporter la thse dArmstrong [Arm09], en particulier les chapitres 1 et 5.
0.3.1 Proprit de treillis
Il est temps de rappeler la dnition dun treillis.
Dnition 0.5. Soit (E, ) un ensemble partiellement ordonn. On dit que E est un treillis
si :
(i) E est born : a, b E, x E, a x b ;
(ii) pour tout x, y E, x et y admettent un inmum x y ;
(iii) pour tout x, y E, x et y admettent un supremum x y.
Lorsque E est ni, deux quelconques de ces proprits entranent la troisime.
Comme expliqu au paragraphe 0.2.3, la proprit de treillis pour ncp
W
est essentielle
pour montrer que le monode dual de tresses de W est un monode de Garside.
Pour lensemble ncp
n
des partitions non-croises dun n-gone, on vrie aisment (i) et
(ii).
Par contre, dans le cas gnral, une mthode de preuve uniforme est dicile trouver.
Historiquement, la dmonstration a dans un premier temps t faite au cas par cas, avant que
Brady-Watt [BW08] donnent une preuve gnrale mais seulement dans le cas o W est
rel , en construisant un complexe simplicial dont les simplexes reprsentent les lments
de ncp
W
(pour un expos dtaill, voir le mmoire [Rip06]). Depuis, dautres dmonstrations
uniformes indpendantes, mais toujours dans le cas rel, ont t publies (Ingalls-Thomas
[IT08], Reading [Rea09]).
Dans le cas o W nest pas rel, aucune dmonstration sans cas par cas na t obte-
nue lheure actuelle. Les mthodes cites ci-dessus ne se gnralisent pas facilement au cas
complexe, car elles reposent de faon essentielle sur la thorie de Coxeter.
0.3.2 Sur la terminologie non-croises
Historiquement, lensemble ncp
W
est une gnralisation algbrique des partitions non-
croises dun n-gone. On peut se demander sil est possible de voir eectivement les lments
de ncp
W
comme certains objets combinatoires sans croisement, ou plus gnralement sil existe
une faon naturelle de reprsenter gomtriquement les lments de cette structure. Cest le
cas pour les types B et D (Athanasiadis-Reiner [AR04]) et G(e, e, r) (Bessis-Corran [BC06]).
Un cas plus gnral (pour les sries relles innies et pour certains groupes exceptionnels)
est trait par les rcents travaux de Reading [Rea10], qui donne des reprsentations graphiques
des sous-groupes non-croiss en utilisant le plan de Coxeter.
18 Introduction
0.3.3 Nombres de Catalan associs
Le calcul du cardinal de ncp
W
fait intervenir des gnralisations des nombres de Catalan,
sexprimant partir des degrs invariants de W. Rappelons la dnition de ces degrs.
Soit W GL(V ) un groupe de rexion (complexe ou rel) de rang n; il agit naturellement
sur lalgbre symtrique S(V

) C[v
1
, . . . , v
n
] (o v
1
, . . . , v
n
est une base de V ). En vertu
du thorme de Chevalley-Shephard-Todd, lalgbre des invariants S(V

)
W
est une algbre de
polynmes ; de plus, elle admet un systme de n gnrateurs homognes f
1
, . . . , f
n
, et leurs
degrs d
1
d
n
ne dpendent pas du choix des invariants f
i
. Ce sont les degrs invariants
de W ; le degr maximal d
n
est appel nombre de Coxeter (not h), et est aussi lordre dun
lment de Coxeter.
Ces degrs invariants interviennent dans la combinatoire du treillis ncp
W
, avec des for-
mules souvent tonnamment simples. Ainsi, pour tout groupe de rexion complexe irrduc-
tible bien engendr W, on a lgalit suivante :
[ ncp
W
[ =
n

i=1
d
i
+h
d
i
. (5)
Aussi simple soit-elle, cette formule na jusquici pas t dmontre de manire uniforme :
elle a simplement t vrie pour chaque groupe irrductible de la classication. Le seul
progrs vers une meilleure explication est une formule de rcurrence tablie par Reading dans
[Rea08] (valable dans le cas rel), et qui permet de vrier lgalit au cas par cas de faon
simple.
Par extension du cas du type A (o [NCP
n
[ est le n-ime nombre de Catalan
1
n+1
_
2n
n
_
), le
membre de droite de lgalit (5) est appel nombre de Catalan de type W, et not Cat(W).
Ce nombre apparat dans de nombreux autres contextes. Dans le contexte des algbres
amasses ( cluster algebras ), introduites par Fomin-Zelevinsky dans [FZ03], il compte le
nombre de sommets dans lassociadre gnralis de type W, pour W rel (voir Fomin-Reading
[FR05]). Quand W est un groupe de Weyl, le nombre Cat(W) intervient aussi dans la com-
binatoire des partitions non-embotes (nonnested partitions), dans celle des antichanes
de racines, de larrangement de Shi tendu, des triangles de Chapoton [Ath04, Ath05, Ath98,
Cha05, Cha06]... De nombreuses questions se posent en lien avec ces objets combinatoires, car
lon a souvent seulement une numration au cas par cas, qui, de faon mystrieuse, donne
Cat(W), et trs peu de preuves uniformes ou de bijections explicites entre les dirents objets
compts par le mme nombre.
La formule (5) nest cependant quun cas particulier de la formule de Chapoton sur le
nombre de chanes dans ncp
W
.
0.3.4 Nombres de chanes, formule de Chapoton
Dnition 0.6. Pour k N, le k-ime nombre de Fuss-Catalan de type W est dni par la
formule suivante :
Cat
(k)
(W) :=
n

i=1
d
i
+kh
d
i
0.3. Combinatoire de Coxeter-Fuss-Catalan 19
Thorme 0.7 (Formule de Chapoton). Soit W un groupe de rexion complexe irrduc-
tible bien engendr. Alors le nombre de k-chanes w
1
. . . w
k
c dans ncp
W
(c) est gal
Cat
(k)
(W).
Cette formule apparat pour la premire fois (dans le cas W rel) dans larticle de Chapo-
ton [Cha05] ; mais elle se vrie au cas par cas en utilisant de nombreux travaux (Edelman,
Athanasiadis, Reiner, Bessis...). On renvoie [Arm09, 3.5] pour les dtails historiques.
La plupart des remarques de la partie prcdente sappliquent encore ici : les nombres
de Fuss-Catalan de type W apparaissent dans dautres contextes combinatoires, souvent sans
quon en ait une explication satisfaisante.
La formule de Chapoton a pour consquence deux formules classiques :
(i) [ ncp
W
[ =

d
i
+h
d
i
, comme dcrit en 0.3.3 ;
(ii) [ Red
R
(c)[ = n! h
n
/ [W[, o Red
R
(c) dsigne lensemble des dcompositions rduites de
llment de Coxeter c.
Toutes deux avaient t observes avant la formule de Chapoton, galement avec des
preuves reposant sur la classication. Historiquement, la formule (ii) pour le cas rel a t
conjecture par Looijenga dans [Loo74], puis dmontre au cas par cas par Deligne [Del74]. A
ma connaissance, aucune autre preuve nest connue ce jour.
La motivation initiale des travaux prsents ici tait de progresser vers une explication
conceptuelle de la formule de Chapoton. On verra quau-del de cet enjeu qui pourrait sem-
bler anecdotique, une comprhension profonde de cette formule exige dlucider une structure
algbro-gomtrico-combinatoire riche et subtile.
Lun des principaux rsultats obtenus est le calcul du nombre de factorisations dun lment
de Coxeter (de longueur n) en (n 1) blocs, o un seul facteur est de longueur 2, les autres
tant des rexions. La preuve est de nature gomtrique, et ne demande pas de nouvelle
analyse au cas par cas si lon admet la formule (i) (cf. Remarque 0.16).
0.3.5 Ranements divers
On peut munir lensemble des k-chanes dun ordre naturel, construit partir de lordre
produit sur (W, ). Il est alors appel lensemble NC
(k)
(W) des partitions non-croises k-
divisibles de type W terminologie inspire par le cas du type A, o NC
(k)
(A
n1
) est
isomorphe lensemble des partitions de ncp
kn
dont toutes les parts sont de cardinal multiple
de k. Sa combinatoire trs riche fait lobjet des chapitres 3 et 4 de [Arm09]. En particulier,
on peut obtenir des formules encore plus nes, o le rang du premier terme de la chane est
spci (nombres de Fuss-Narayana).
Signalons un autre ranement de ces nombres, base de q-analogues : ainsi, Stump tudie
dans [Stu10] des q, t-nombres de Fuss-Catalan, qui sont en rapport avec lalgbre des coinva-
riants diagonaux (travaux de Gordon [Gor03], Gordon-Grieth [GG09]).
Un autre problme combinatoire sur ncp
W
, li aux q-analogues, est le phnomne de
crible cyclique (cyclic sieving phenomenon dni par Reiner-Stanton-White [RSW04]) : on
renvoie aux travaux de Bessis-Reiner [BR09] et Krattenthaler-Mller [KM09].
20 Introduction
0.3.6 Factorisations dun lment de Coxeter
Si w
1
w
k
est une chane de ncp
W
, on peut construire une factorisation c =
u
1
. . . u
k+1
en posant u
i
= w
1
i1
w
i
(avec w
0
= 1 et w
k+1
= c) ; on a alors (u
1
)+ +(u
k+1
) =
(c). Inversement, toute telle factorisation de c on peut associer une chane dans ncp
W
. Ce
type de factorisation est une extension naturelle de la notion de dcompositions rduites de c
(Red
R
(c)).
Dans le chapitre 1 de cette thse, on va construire gomtriquement des factorisations de
c (en passant par le groupe de tresses B(W)), qui seront des factorisations strictes (aucun des
facteurs nest trivial). Mais il existe des formules de passage simples entre les factorisations
strictes et les factorisations larges (ou entre les chanes strictes et les chanes larges) : dans
lannexe B on dtaille ces relations.
La formule de Chapoton permet donc de calculer le nombre de factorisations dun lment
de Coxeter en un nombre donn de facteurs. La combinatoire de telles factorisations (qui, dans
le cas du groupe symtrique, est dj trs riche) ore de nombreux problmes intressants (cf.
les nombres de dcompositions de Krattenthaler-Mller [KM10]).
0.4 Gomtrie du discriminant
La plupart des travaux en combinatoire sur le treillis ncp
W
concernent le cas des groupes
rels. Trs souvent, les mthodes utilises reposent sur la thorie de Coxeter (par exemple sur
lexistence dun diagramme de Coxeter qui admet un 2-coloriage, ce qui permet de choisir un
lment de Coxeter bien adapt), et ne sont donc pas transposables aux groupes non rels.
En fait, la notion mme dlment de Coxeter dans un groupe de rexion complexe W
(non rel) na pas encore de dnition combinatoire satisfaisante. Cest plutt une notion de
nature gomtrique (sappliquant aux valeurs propres et vecteurs propres de llment, cf. Df.
1.6), contrairement au cas o W est un groupe de Coxeter.
Pour ces raisons, si lon veut comprendre de manire globable la structure combinatoire
de ncp
W
pour lensemble des groupes de rexion complexes bien engendrs, on est amen
tenter une approche gomtrique.
Cest lapproche qui a t mene dans ce travail de thse.
0.4.1 Le revtement de Lyashko-Looijenga
Le point de dpart est lutilisation dun revtement, construit partir de la gomtrie de
lhypersurface H associe au discriminant de W. Le revtement de Lyashko-Looijenga (LL)
est introduit par Bessis dans [Bes07a], gnralisant une dnition de Looijenga et Lyashko (cf.
partie 1.3). Dcrivons grossirement sa construction. On part de lespace quotient WV , dont
les fonctions coordonnes sont les invariants f
1
, . . . , f
n
. On considre lhypersurface H, image
de lunion des hyperplans par la surjection V WV . Le revtement LL permet dtudier
cette hypersurface via les bres de la projection (f
1
, . . . , f
n
) (f
1
, . . . , f
n1
). Il associe
chaque (n 1)-uplet (f
1
, . . . , f
n1
) le multi-ensemble des intersections (avec multiplicits) de
sa bre avec H.
Le point de dpart des travaux de [Bes07a] est lobservation que le degr du revtement
LL est gal au nombre de dcompositions rduites dun lment de Coxeter. La relation entre
la gomtrie de LL et les factorisations dun lment de Coxeter dont on a parl plus haut
0.5. Principaux rsultats de la thse 21
va en fait beaucoup plus loin : en quelque sorte, ces factorisations encodent naturellement les
bres de LL. Les travaux de cette thse dcoulent dun ranement de ces observations.
0.4.2 Travaux de Saito
Signalons que ces questions sur la gomtrie du discriminant sont lies aux travaux de
Kyoji Saito sur la structure de varit de Frobenius (at structure) de WV [Sai93, Sai04b,
Sai04a, Sai05]. Mme si ceux-ci concernent les groupes rels, beaucoup de proprits peuvent
stendre sans dicults aux groupes complexes bien engendrs.
0.5 Principaux rsultats de la thse
Comme on la dit plus haut, les travaux prsents ici taient initialement motivs par la
recherche dune explication conceptuelle de la formule de Chapoton. Le point de dpart a
t lutilisation des rsultats rcents de Bessis [Bes07a] : ses constructions topologiques (les
tunnels ) permettent en eet de caractriser les bres du revtement LL laide de certaines
factorisations dun lment de Coxeter c. La combinatoire de ces factorisations est son tour
lie aux nombres de chanes dans ncp
W
: on explique ces relations dans lannexe B.
0.5.1 Morphisme de Lyashko-Looijenga, factorisations primitives, action
dHurwitz
Soit W un groupe de rexion complexe bien engendr, irrductible, de rang n. Notons

W
le discriminant de W (cf. paragraphe 1.3.1) ; cest un polynme invariant, donc dans
C[f
1
, . . . , f
n
] (o f
1
, . . . , f
n
est un systme dinvariants fondamentaux de degrs d
1
d
n
).
On pose Y := Spec C[f
1
, . . . , f
n1
], de sorte que le quotient WV sidentie Y C. Le
morphisme de Lyashko-Looijenga associe y Y lensemble des points dintersection (avec
multiplicit) de la droite (complexe) (y, x) [ x C avec lhypersurface H =
W
= 0 ;
autrement dit, LL(y) est le multi-ensemble des racines de
W
(y, x) vu comme polynme en
x (cf. Df. 1.18). Si lon prfre le voir comme un morphisme algbrique explicite, LL envoie
y sur les coecients en x du polynme
W
(y, x).
Dans le chapitre 1 (qui est une reproduction de larticle [Rip10]), on commence par raner
les constructions de [Bes07a]. On dnit, en passant par le groupe de tresses B(W), une
application
fact : Y fact(c) ,
o fact(c) est lensemble des factorisations par blocs dun lment de Coxeter c :
fact(c) := (w
1
, . . . , w
p
) (W 1)
p
[ w
1
. . . w
p
= c, et (w
1
) + +(w
p
) = (c) .
On obtient alors une reformulation dun thorme fondamental de Bessis :
Lapplication
Y
LLfact
E
n

cp(n)
fact(c)
y (LL(y) , fact(y))
est bijective
(o E
n

cp(n)
fact(c) est un produit br au-dessus de lensemble des compositions parti-
tions ordonnes de n).
22 Introduction
Les consquences de ce thorme sont tudies dans [Bes07a], mais essentiellement sur
la partie non ramie Y

de Y (i.e. les y tels que le multi-ensemble LL(y) nait que des

points simples) : la restriction cette partie est un revtement non rami. En particulier, le
thorme implique que le degr de ce revtement est gal au cardinal de lensemble Red
R
(c)
des dcompositions rduites de c (qui sont les factorisations par blocs en n rexions). De plus,
on peut construire deux actions du groupe de tresses usuel B
n
:
laction de Galois (ou de monodromie) sur Y

, dnie par le revtement LL;

laction dHurwitz sur Red
R
(c) (celle-ci conjugue les facteurs les uns avec les autres, cf.
Df. 1.2).
Via lapplication fact, ces deux actions sont compatibles.
Dans le chapitre 1, on se demande ce quil se passe lorsquon nest plus sur la partie non
ramie. On traite particulirement le cas o le multi-ensemble LL(y) na quun seul point
multiple (de multiplicit quelconque) ; cest aussi le cas o fact(y) contient un seul facteur
de longueur quelconque, tous les autres tant des rexions. On parle alors de factorisation
primitive de c.
On montre que le morphisme LL peut tre vu comme un revtement rami strati
(Thm. 1.28). Ensuite, on tudie les orbites des factorisations primitives sous laction dHur-
witz : le groupe B
k
agit naturellement sur lensemble des factorisations de c en k blocs, en
conjuguant les facteurs les uns avec les autres. Il tait dj connu que sur lensemble des d-
compositions rduites de c, laction dHurwitz est transitive. Le rsultat principal du chapitre
est le suivant :
Thorme 0.8 (Thm. 1.4). Soit W un groupe de rexion complexe ni, bien engendr.
Soit c un lment de Coxeter de W, et F
u
= (u, r
p+1
, . . . , r
n
), F
v
= (v, r

p+1
, . . . , r

n
) deux
factorisations primitives de c (o les r
i
, r

i
sont des rexions). Alors F
u
et F
v
sont dans la
mme orbite dHurwitz sous B
n
si et seulement si u et v sont conjugus dans W.
La dmonstration ncessite ltude de la connexit de certaines strates de lhypersurface
H du discriminant.
Au passage, on approfondit la notion dlment de Coxeter parabolique dans les groupes
bien engendrs, en montrant que les proprits classiques du cas rel stendent (Prop. 1.34 et
1.36) :
un lment de Coxeter parabolique peut tre dni soit comme un lment de Coxeter
dun sous-groupe parabolique, soit comme un diviseur (pour ) dun lment de Coxeter
de W ;
le sous-groupe associ un lment de Coxeter parabolique w est engendr par toute
factorisation de w.
0.5.2 Extension danneaux de polynmes, Jacobiens, discriminants, groupes
de rexion virtuels
Dans le chapitre 2, on se place dans un cadre plus gnral, o lon tudie des questions
dalgbre commutative. Celles-ci ont au dpart t motives par des constatations empiriques
sur le morphisme de Lyashko-Looijenga. En eet, pour pouvoir obtenir des formules explicites
sur la combinatoire des factorisations par blocs (voir partie suivante), jai eu besoin dexaminer
les degrs homognes des composantes irrductibles du lieu rami de LL. Ce lieu rami est
dni par le discriminant de Lyashko-Looijenga :
D
LL
= Disc(
W
(f
1
, . . . , f
n
) ; f
n
) (polynme de C[f
1
, . . . , f
n1
] ).
0.5. Principaux rsultats de la thse 23
Or, en calculant dans quelques exemples le polynme D
LL
ainsi que le Jacobien J
LL
(dter-
minant de la matrice jacobienne de LL, en tant que morphisme algbrique), jai observ quils
avaient une forme remarquable :
D
LL
=

Q
e
Q
; J
LL
=

Q
e
Q
1
,
o les facteurs irrductibles Q sont les mmes. Jai cherch tablir ces formules en toute
gnralit.
Ces proprits voquent le couple discriminant-Jacobien (
W
, J
W
) issu de la thorie des
invariants dun groupe de rexion complexe W, qui est de la forme

W
=

HA

e
H
H
; J
W
=

HA

e
H
1
H
.
Mais la dmonstration de ces proprits nest pas du tout transposable au cas de LL, car
elle repose sur lutilisation de laction du groupe W.
Une question naturelle est donc de comprendre dans quelle mesure ce type de situation est
gnral. On se place dans ce chapitre le cadre dune extension polynomiale nie gradue (cf.
Df. 2.4) :
A = C[Y
1
, . . . , Y
n
] C[X
1
, . . . , X
n
] = B ,
o les variables X
i
, Y
j
sont homognes pondres, et o B est ni sur A en tant quanneau.
Ainsi, les rsultats obtenus sappliquent la fois :
une extension galoisienne, de la forme C[V ]
W
C[V ] ; dans ce cas, daprs le thorme
de Chevalley-Shephard-Todd, W est un groupe de rexion complexe ;
lextension dnie par un morphisme de Lyashko-Looijenga.
Pour une telle extension, on commence par donner la factorisation en irrductibles du
Jacobien, en fonction des idaux ramis de lextension et de leurs indices de ramication.
Pour pouvoir dnir un discriminant de lextension, qui se comporte comme
W
ou D
LL
dans les cas prcits, on introduit la notion dextension bien ramie. Cest une notion plus
faible que celle dextension galoisienne, o pour chaque idal premier p de hauteur 1 de A, les
idaux de B au-dessus de p sont soit tous ramis, soit tous non ramis (cf. Df. 2.16). On
peut donner de nombreuses caractrisations de cette proprit (Prop. 2.17).
Le rsultat principal du chapitre 2 est le thorme suivant :
Thorme 0.9 (Thm. 2.1). Soit A B une extension polynomiale nie gradue. Alors :
le Jacobien J
B/A
de lextension vrie :
J =

QSpec
ram
1
(B)
Q
e
Q
1
( un scalaire multiplicatif prs),
o Spec
ram
1
(B) dsigne lensemble des polynmes ramis de B ( association prs), et
e
Q
lindice de ramication de Q;
si lextension est bien ramie, alors :
(J) A =
_
_

QSpec
ram
1
(B)
Q
e
Q
_
_
(en tant quidal de A) .
24 Introduction
Ainsi, dans le cas o lextension est bien ramie, le polynme

Q
e
Q
peut tre appel
discriminant de lextension, par analogie avec la situation galoisienne, o il sagit du dis-
criminant du groupe de rexion associ.
Remarque 0.10. Les rsultats de ce chapitre sont des consquences assez lmentaires de
proprits dalgbre commutative, mais je nai pas trouv de rfrences satisfaisantes dans la
littrature. Souvent, le point de vue est soit beaucoup trop gnral (algbre commutative des
extensions danneaux) soit trop spcique (extensions galoisiennes). Ici, on se place dans un
cadre intermdiaire, o les preuves utilisant une action de groupe (cest--dire toute la thorie
des invariants des groupes de rexion) ne sappliquent pas, et o les rsultats gnraux
concernant les extensions danneaux se simplient drastiquement.
Remarque 0.11. Le vocabulaire et les proprits noncs dans ce chapitre sont utiliss dans
le cas des extensions de Lyashko-Looijenga dans le chapitre suivant. Cependant, dans une
optique plus gnrale, la situation dcrite semble prometteuse, car elle ore une gnralisation
intrigante de la thorie des invariants dun groupe de rexion. Mme sil ny a pas daction de
groupe, on a ainsi un Jacobien et un discriminant, qui se comportent de la mme manire que
dans le cas galoisien. Une telle extension peut ainsi tre appele groupe de rexion virtuel
9
;
il serait intressant de voir dans quelle mesure les analogies peuvent se poursuivre.
0.5.3 Le morphisme de Lyashko-Looijenga vu comme groupe de rexion
virtuel ; factorisations sous-maximales
Dans le chapitre 3, on applique les proprits donnes au chapitre prcdent, et on montre
que les extensions de Lyashko-Looijenga sont bien ramies.
En utilisant les rsultats du chapitre 1, on peut dcrire les facteurs irrductibles du discrimi-
nant D
LL
= Disc(
W
(f
1
, . . . , f
n
) ; f
n
) : il y en a un par classe de conjugaison de sous-groupes
paraboliques de rang 2 de W (ou dlements de Coxeter paraboliques de longueur 2). On peut
ainsi crire
D
LL
=

L
2
D
r

,
o

L
2
dsigne lensemble des classes de conjugaison de paraboliques de rang 2.
On obtient le thorme suivant :
Thorme 0.12 (Thm. 3.3). Soit A B lextension associe au morphisme de Lyashko-
Looijenga LL dun groupe de rexion complexe, bien engendr, irrductible. Pour

L
2
,
soit w un lment de Coxeter parabolique de W, qui correspond .
Alors, r

est le nombre de dcompositions rduites de w en deux rexions. De plus :

(a) les polynmes ramis de lextension sont les D

;
(b) le Jacobien J
LL
de lextension est gal ( un scalaire prs) :

L
2
D
r

;
(c) le polynme D
LL
engendre lidal (J
LL
) A.
9. terminologie propose par David Bessis.
0.5. Principaux rsultats de la thse 25
Remarque 0.13. La formule (b) pour le Jacobien avait dj t observe (dans le cas W rel)
par K. Saito (formule 2.2.3 dans [Sai04a]) ; mais sa dmonstration tait au cas par cas. Ici on
donne une preuve gomtrique gnrale, qui repose sur les liens entre LL et lapplication fact.
Dautre part, en ranant des proprits du chapitre 1, on parvient calculer le nombre
de factorisations sous-maximales dun lment de Coxeter de type i.e. , constitues de
(n 2) rexions et un facteur de longueur 2, ce dernier tant dans la classe de conjugaison
:
Thorme 0.14 (Thm. 3.6). Soit

L
2
, et c un lment de Coxeter de W. Alors le nombre
de factorisations sous-maximales de c de type est :
[ fact

n1
(c)[ =
(n 1)! h
n1
[W[
deg D

.
Ce thorme fait donc le lien entre la combinatoire des factorisations par blocs dun lment
de Coxeter, et la gomtrie de WV : les deg D

sont en fait les degrs des projets sur

Spec C[f
1
, . . . , f
n1
] des orbites de plats de codimension 2 de V .
Dans lannexe A, on calcule explicitement les valeurs associes cette formule pour tous
les groupes irrductibles bien engendrs. On retrouve ainsi des formules de [KM10] pour les
cas rels ; dans les autres cas, les rsultats sont nouveaux.
Les deux thormes prcdents permettent de calculer le nombre total de factorisations
sous-maximales :
Thorme 0.15 (3.11). Soit W un groupe de rexion complexe, bien engendr, irrductible,
et d
1
d
n
= h ses degrs invariants. Alors, le nombre de factorisations dun lment de
Coxeter en (n 1) blocs est :
[ fact
n1
(c)[ =
(n 1)! h
n1
[W[
_
(n 1)(n 2)
2
h +
n1

i=1
d
i
_
.
Remarque 0.16. Cette galit est en ralit une consquence logique de la formule de Cha-
poton. En eet, comme expliqu au paragraphe 0.3.6, on peut passer des nombres de chanes
aux nombres de factorisations par blocs (voir Annexe B).
Cependant, on en donne ici une preuve directe, alors que la formule de Chapoton nest
connue quau cas par cas. En fait, dans toute la thse (excepte lannexe A sur les calculs
explicites de discriminant), on nutilise jamais la classication des groupes de rexion. On se
repose tout de mme sur des proprits pour lesquelles il ny a pas encore de dmonstrations
gnrales (en particulier les premires proprits de LL donnes dans [Bes07a]) ; mais, au nal,
on parvient ici passer, laide dune preuve gomtrique sans cas par cas, de la connaissance
de [ Red
R
(c)[ celle de [ fact
n1
(c)[.
Chapitre 1
Orbites dHurwitz des factorisations
primitives dun lment de Coxeter
1
Rsum. On considre laction dHurwitz du groupe de tresses usuel sur les factorisations
dun lment de Coxeter c dun groupe de rexions complexe bien engendr W. Il est bien
connu que laction dHurwitz est transitive sur lensemble des dcompositions rduites de
c en rexions. On dmontre ici une proprit similaire pour les factorisations primitives
de c, i.e. celles dont tous les facteurs sauf un sont des rexions. Cette tude est motive
par la recherche dune explication gomtrique de la formule de Chapoton sur le nombre de
chanes de longueur donne dans le treillis des partitions non croises ncp
W
. La dmonstration
prsente repose sur les proprits du revtement de Lyashko-Looijenga et sur la gomtrie du
discriminant de W.
Mots-cls : action dHurwitz, groupe de rexions complexe, lment de Coxeter, treillis
des partitions non croises, revtement de Lyashko-Looijenga.
Abstract. We study the Hurwitz action of the classical braid group on factorisations of a
Coxeter element c in a well-generated complex reection group W. It is well known that the
Hurwitz action is transitive on the set of reduced decompositions of c in reections. Our main
result is a similar property for the primitive factorisations of c, i.e. factorisations with only one
factor which is not a reection. The motivation is the search for a geometric proof of Chapo-
tons formula for the number of chains of given length in the non-crossing partitions lattice
ncp
W
. Our proof uses the properties of the Lyashko-Looijenga covering and the geometry of
the discriminant of W.
Keywords: Hurwitz action, complex reection group, Coxeter element, non-crossing par-
titions lattice, Lyashko-Looijenga covering.
1. Ce chapitre reproduit intgralement le texte dun article publi dans Journal of Algebra, 323 (5), mars
2010.
28
Chapitre 1. Orbites dHurwitz des factorisations primitives dun lment de
Coxeter
Introduction
Soit V un C-espace vectoriel de dimension nie, et W GL(V ) un groupe de rexions
complexe ni bien engendr (dnition en partie 1.1.1). On note 1 lensemble de toutes les
rexions de W. On dnit la longueur dun lment w de W :
(w) := mink N [ r
1
, . . . , r
k
1, w = r
1
. . . r
k
.
On note Red(w) lensemble des dcompositions rduites de w, i.e. des mots de longueur (w)
reprsentant w. Ce sont donc des factorisations minimales de w en rexions. Plus gnrale-
ment, on peut dnir des factorisations par blocs de w :
Dnition 1.1. Soit w W, de longueur n 1. Soit 1 p n. Une factorisation en p
blocs de w est un p-uplet (u
1
, . . . , u
p
) dlments de W 1 tels que w = u
1
. . . u
p
, avec
(w) = (u
1
) + +(u
p
). On note fact
p
(w) lensemble de ces factorisations.
Si w est de longueur n, on a donc fact
n
(w) = Red(w).
Ci-dessous on dnit laction dHurwitz du groupe de tresses B
p
sur les factorisations en
p blocs dun lment de W. Une factorisation est dite primitive lorsquelle ne comporte quun
seul facteur qui nest pas une rexion (dnition 1.3). Dans cet article on dtermine les orbites
sous laction dHurwitz des factorisations primitives dun lment de Coxeter de W (dnition
1.6).
Action dHurwitz
Considrons un groupe G, et un entier n 1. On fait agir le groupe de tresses n brins,
not B
n
, sur le produit cartsien G
n
:
Dnition 1.2 (Action dHurwitz). Soient
1
, . . . ,
n1
les gnrateurs standards de B
n
.
Laction dHurwitz ( droite) de B
n
sur G
n
est dnie par :
(g
1
, . . . , g
n
)
i
:= (g
1
, . . . , g
i1
, g
i+1
, g
1
i+1
g
i
g
i+1
, g
i+2
, . . . , g
n
)
pour tout (g
1
, . . . , g
n
) G
n
et tout i 1, . . . , n 1.
On vrie aisment que cette dnition donne bien une action du groupe de tresses. Cela
vient essentiellement du fait que la conjugaison fait partie de la classe des oprations auto-
distributives : f (g h) = (f g) (f h) (ici f g = f
1
gf). Lintrt de ces oprations
a t dcrit par Brieskorn (ensembles automorphes [Bri88]) et plus rcemment par Dehornoy
(LD-systmes [Deh00]).
Factorisations primitives
Laction dHurwitz prserve les bres de lapplication produit (g
1
, . . . , g
n
) g
1
. . . g
n
.
Ainsi, si lon revient au cadre dcrit plus haut, o W est un groupe de rexions complexe
muni de sa partie gnratrice naturelle 1, on obtient une action dHurwitz du groupe de
tresses B
p
sur lensemble des factorisations en p blocs de w (dnition 1.1), pour tout w W
et 1 p (w).
29
Considrons (u
1
, . . . , u
p
) fact
p
(w). Le p-uplet ((u
1
), . . . , (u
p
)) dnit donc une com-
position (i.e. une partition ordonne) de lentier n = (w). Si est une composition de n
en p termes, on note fact

(w) lensemble des factorisations dont les longueurs des facteurs

forment la composition .
Si lon fait agir B
p
sur un lment de fact

(w), la composition de n associe peut tre

modie, mais pas la partition de n (non ordonne) sous-jacente. En eet, lensemble 1 des
rexions tant invariant par conjugaison, la longueur est galement invariante par conju-
gaison.
On dit quune factorisation en p blocs est de forme , pour partition de n (notation :
n), si le p-uplet non ordonn des longueurs des facteurs constitue la partition . On
note fact

(w) lensemble des factorisations de forme . Ainsi, laction dHurwitz de B

p
sur
fact
p
(w) stabilise les ensembles fact

(w), pour n et # = p (# dsignant le nombre

de parts de la partition ).
Pour n, on note classiquement = k
p
1
1
. . . k
p
r
r
(o k
1
> > k
r
1 et p
i
1), si la
partition est constitue de p
1
fois lentier k
1
, . . . , p
r
fois lentier k
r
.
Dnition 1.3. Une factorisation primitive de w est une factorisation par blocs de w, de
forme k
1
1
nk
n, pour k 2 : tous les blocs sauf un doivent tre des rexions. Lunique
facteur de longueur strictement suprieure 1 est appel facteur long de la factorisation
primitive.
On tudie ici les factorisations dun lment de Coxeter, au sens de [Bes07a] (voir dnition
1.6). Dans le cas rel, on retrouve la notion classique dlment de Coxeter. Dans la suite
de lintroduction, on prcisera lintrt fondamental des lments de Coxeter dans certaines
constructions algbriques relatives un groupe de rexions complexe bien engendr.
Considrons un lment de Coxeter c de W, et notons n sa longueur. Le cas le plus
lmentaire des factorisations de forme 1
n
n, i.e. des dcompositions rduites de c, est
connu : on sait que laction dHurwitz sur Red(c) = fact
1
n(c) est transitive. Dans un premier
temps cette proprit a t prouve pour les groupes rels ([Del74], puis [Bes03, Prop. 1.6.1]),
avec une preuve gnrale, puis vrie au cas par cas pour le reste des groupes complexes
[Bes07a, Prop. 7.5].
Le cas que nous traitons ici peut se voir comme ltape suivante, cest--dire la dtermi-
nation des orbites dHurwitz des factorisations primitives de c. Le rsultat principal de cet
article est le suivant :
Thorme 1.4 (Orbites dHurwitz primitives). Soit W un groupe de rexions complexe ni,
bien engendr. Soit c un lment de Coxeter de W. Alors, deux factorisations primitives de c
sont dans la mme orbite dHurwitz si et seulement si leurs facteurs longs sont conjugus.
Lide de la preuve est dutiliser certaines constructions de Bessis [Bes07a] pour obtenir
les factorisations de c partir de la gomtrie du discriminant de W dans lespace-quotient
WV (qui sidentie C
n
si on a choisi des invariants fondamentaux f
1
, . . . , f
n
). On interprte
ensuite laction dHurwitz en termes gomtriques.
Dans une premire partie on rappelle les dnitions classiques et les proprits de lordre
de divisibilit dans le treillis des partitions non croises gnralises, not ncp
W
(c). La partie
1.2 prsente une notion de forte conjugaison pour les lments de ncp
W
(c), qui permet de
formuler une version plus forte du thorme principal 1.4.
Par la suite, on considre lhypersurface H de C
n
, dquation le discriminant de W, qui
admet une stratication naturelle (par les orbites de plats). On projette cette hypersurface
30
Chapitre 1. Orbites dHurwitz des factorisations primitives dun lment de
Coxeter
sur C
n1
(en oubliant la coordonne correspondant linvariant de plus haut degr f
n
), et
on en dduit une stratication du lieu de bifurcation / de H. En partie 1.3 on rappelle les
proprits du revtement de Lyashko-Looijenga LL , puis dans la partie suivante on modie
lgrement les constructions de [Bes07a], en dnissant une application fact qui produit des
factorisations associes la gomtrie de H. Dans la partie 1.5, on dmontre des proprits
plus nes du morphisme LL, qui apparat alors comme un revtement rami strati . On
en dduit que lensemble des orbites dHurwitz des factorisations primitives est en bijection
avec lensemble des composantes connexes par arcs de certains ouverts des strates de /. La
dmonstration du thorme revient ainsi un problme de connexit dans / (trait en parties
1.6 et 1.7), et est acheve en partie 1.8 par ltude du cas particulier des rexions.
Dans la partie 1.6, on dtaille les proprits de la stratication de H. cette occasion,
des consquences remarquables de certaines proprits nonces dans [Bes07a] sont exposes,
en particulier concernant les sous-groupes paraboliques de W, leurs classes de conjugaison et
leurs lments de Coxeter.
La suite de cette introduction prsente les motivations du problme.
Treillis des partitions non croises, monode de tresses dual
Fixons un lment de Coxeter c dans W. On note lordre partiel sur W associ la
R-longueur (voir dnition 1.7) :
u v si et seulement si (u) +(u
1
v) = (v).
On considre lensemble des diviseurs de c : ncp
W
(c) := w W [ w c (la notation
ncp signie non-crossing partitions , cf. interprtation ci-dessous).
Lensemble partiellement ordonn (ncp
W
(c), ) permet de construire les gnrateurs (ap-
pels les simples) du monode de tresses dual de W (cf. [BKL98] pour le type A, [Bes03] et
[BW02a] pour les groupes rels, puis [Bes07a] pour le cas gnral).
Ltude de la combinatoire de ncp
W
(c) est au dpart motive par les consquences sur les
proprits algbriques du monode dual. Ainsi, une des proprits remarquables de ncp
W
(c)
est quil forme un treillis pour lordre : preuve gnrale dans le cas rel par Brady et Watt
[BW08] (voir aussi [IT08]), le reste au cas par cas, cf. [Bes07a, Lemme 8.9]. Cest essentielle-
ment cette proprit de treillis qui donne au monode de tresses dual sa structure de monode
de Garside (comme dni dans [Deh02]).
Mais la richesse de la structure combinatoire de ncp
W
(c) en a fait plus rcemment un
objet dtude en soi (voir par exemple [Arm09]). Dans le cas du groupe W(A
n1
), ce treillis
correspond lensemble des partitions non croises dun n-gone, et est la base de la construc-
tion du monode de Birman-Ko-Lee [BKL98, BDM02]. Pour les groupes de type G(e, e, r), on
peut galement interprter lensemble des diviseurs de c comme certains types de partitions
non croises [BC06]. Par extension, lensemble ncp
W
(c) des diviseurs dun lment de Coxe-
ter dans un groupe bien engendr est appel le treillis des partitions non croises gnralises
(do la notation ncp).
Formule de Chapoton pour les chanes de ncp
W
(c) et factorisations de c
31
Si W nest pas irrductible et scrit W
1
W
2
, alors le treillis ncp
W
(c) est le produit des
treillis ncp
W
1
(c
1
) et ncp
W
2
(c
2
) (o c
i
dsigne la composante de c sur W
i
), muni de lordre
produit. Dans cette partie on supposera que W est irrductible.
Notons d
1
d
n
= h les degrs invariants de W. Une formule, nonce initialement
par Chapoton, exprime le nombre de chanes de longueur donne dans le treillis ncp
W
(c) en
fonction de ces degrs. Notons Z
W
le polynme Zta de ncp
W
(c) : cest la fonction sur N telle
que pour tout N, Z
W
(N) est le nombre de chanes larges (ou multi-chanes) w
1
w
N1
dans (ncp
W
(c), ) (de faon gnrale Z
W
est toujours un polynme : voir par exemple Stanley
[Sta97a, Chap. 3.11]).
Proposition 1.5. Soit W un groupe de rexions complexe bien engendr, irrductible. Alors,
avec les notations ci-dessus, on a :
Z
W
(N) =
n

i=1
d
i
+ (N 1)h
d
i
.
Dans le cas des groupes rels, cette formule a t observe par Chapoton [Cha05, Prop. 9],
utilisant des calculs de Reiner et Athanasiadis [Rei97, AR04]. La gnralisation aux groupes
complexes est nonce par Bessis [Bes07a, Prop. 13.1] et utilise des rsultats de Bessis et
Corran [BC06]. La preuve est au cas par cas : mthodes ad hoc pour les sries innies, et
logiciel GAP pour les types exceptionnels. Pour le cas rel, une dmonstration plus directe
(utilisant une formule de rcurrence gnrale qui permet de faire la vrication au cas par cas
plus simplement) a t rcemment publie par Reading [Rea08]. Lapparente simplicit de la
formule de Chapoton motive toujours la recherche dune explication compltement gnrale.
En posant N = 2 dans lexpression de Z
W
(N) on obtient naturellement le cardinal de
ncp
W
(c) :
[ncp
W
(c)[ =
n

i=1
d
i
+h
d
i
.
Mme pour cette formule, la seule preuve connue lheure actuelle est au cas par cas. Lentier
[ncp
W
(c)[, parfois not Cat(W), est appel nombre de Catalan de type W : pour W = A
n1
on obtient en eet le nombre de Catalan classique
1
n+1
_
2n
n
_
.
Les factorisations de c sont bien videmment relies aux chanes de ncp
W
(c). Partant
dune chane w
1
... w
p
c, on peut obtenir une factorisation par blocs c = u
1
. . . u
p+1
en
posant u
1
= w
1
, u
i
= w
1
i1
w
i
pour 2 i p, et u
p+1
= w
1
p
c. Inversement, partir dune
telle factorisation de c on peut obtenir une chane de ncp
W
(c). Ainsi, dnombrer les chanes
dans ncp
W
(c) revient compter le nombre de factorisations par blocs de c de tailles xes.
Toutefois, on a choisi ici de travailler sur des factorisations strictes (pas de facteurs
triviaux), alors que la formule de Chapoton concerne les chanes larges. Ce choix est motiv par
le fait que ce sont des factorisations strictes qui apparaissent gomtriquement via lapplication
fact (construite en partie 1.4). Les nombres de factorisations strictes et les nombres de
chanes larges sont alors lis par la formule suivante (on utilise les formules de passage entre
nombres de chanes strictes et nombres de chanes larges, donnes par exemple dans [Sta97a,
Chap. 3.11]) :
Z
W
(N) =

k1
[fact
k
(c)[
_
N
k
_
.
32
Chapitre 1. Orbites dHurwitz des factorisations primitives dun lment de
Coxeter
Une piste pour une dmonstration gnrale de la formule de Chapoton est donc ltude de
la combinatoire des factorisations par blocs.
Remerciements.
Je tiens remercier vivement David Bessis pour ses conseils et son aide sur de nombreux
points de cet article. Merci galement Emmanuel Lepage dont une remarque judicieuse a
permis de simplier la partie 1.7.2.
1.1 Ordre de divisibilit dans ncp
W
1.1.1 lments de Coxeter
Soit V un espace vectoriel complexe de dimension n 1, et W GL(V ) un groupe de
rexions complexe. On suppose que W est essentiel, i.e. que V
W
= 0. Dans ce cas, on
dit que W est un groupe de rexions bien engendr si un ensemble de n rexions sut
lengendrer. Dsormais on supposera toujours que W est un groupe de rexions complexe
bien engendr.
Soit une racine de lunit. On dit quun lment de W est -rgulier (au sens de Springer
[Spr74]) sil possde un vecteur propre rgulier (i.e. nappartenant aucun des hyperplans de
rexions) pour la valeur propre . Si W est irrductible, notons d
1
d
n
les degrs
invariants de W. On note h et on appelle nombre de Coxeter le plus grand degr d
n
. Daprs la
thorie de Springer ([Spr74], rsum dans [Bes07a, Thm. 1.9]), il existe dans W des lments
e
2i/h
-rguliers. Dans ce cadre, en gnralisant le cas rel, on pose la dnition suivante.
Dnition 1.6. Soit W un groupe de rexions complexe ni bien engendr. Si W est irr-
ductible, un lment de Coxeter de W est un lment e
2i/h
-rgulier. Dans le cas gnral, on
appelle lment de Coxeter un produit dlments de Coxeter des composantes irrductibles
de W.
1.1.2 Ordre de divisibilit dans W
On dnit ci-dessous lordre de divisibilit gauche dans W (parfois appel ordre absolu).
Rappelons que pour w W, (w) dsigne la longueur dune dcomposition rduite de w en
rexions de W.
Dnition 1.7. Soient u, v W. On pose :
u v si et seulement si (u) +(u
1
v) = (v) .
La relation munit W dune structure densemble partiellement ordonn : u divise v si
et seulement si u peut scrire comme un prxe dune dcomposition rduite de v. Comme
1 est invariant par conjugaison, on a aussi u v si et seulement si u est un suxe (ou mme
un sous-facteur) dune dcomposition rduite de v. Ainsi, lordre concide avec lordre de
divisibilit droite dans W.
Considrons un lment de Coxeter c de W. On note ncp
W
(c) lensemble des diviseurs de
c dans W. Daprs la thorie de Springer, tous les lments de Coxeter de W sont conjugus.
1.2. Action dHurwitz sur les factorisations primitives et conjugaison forte
dans ncp
W
33
Dautre part, lordre est invariant par conjugaison, donc si c

= aca
1
, alors ncp
W
(c

) =
a ncp
W
(c)a
1
. Ainsi, la structure de ncp
W
(c) ne dpend pas du choix de llment de Coxeter
c ; on notera souvent simplement ncp
W
.
Dans ncp
W
, la longueur correspond toujours la codimension de lespace des points xes :
Proposition 1.8. Soit w ncp
W
. Alors :
(w) = codimKer(w 1).
Remarque 1.9. Cela revient dire que pour les lments de ncp
W
, la longueur relativement
1 est la mme que la longueur relativement lensemble de toutes les rexions du groupe
unitaire U(V ). Dans le cas des groupes rels, cette proprit est vraie pour tout lment de
W (cf. [Car72, Lemme 2.8], ou [BW02a, Prop. 2.2]).
Dmonstration : On a toujours (w) codimKer(w 1). En eet, si w = r
1
. . . r
k
alors
Ker(w1)

i
Ker(r
i
1). Donc pour conclure il sut de montrer que (c) = n (considrer
w et w
1
c). Lingalit (c) n est vidente car Ker(c 1) = 0 daprs la thorie de
Springer. On conclut en notant quon peut construire gomtriquement des factorisations de
c en n rexions ([Bes07a, Lemme 7.2] ou partie 1.4 de cet article).
1.1.3 Thorme de Brady-Watt
Une consquence de la proposition 1.8 est que lordre dans ncp
W
est la restriction de
lordre partiel sur U(V ) tudi par Brady et Watt dans [BW02b] : u v si et seulement si
Im(u 1) Im(u
1
v 1) = Im(v). On en dduit en particulier :
Proposition 1.10. Soit w ncp
W
. Si (r
1
, . . . , r
p
) est une dcomposition rduite de w, alors
Ker(w 1) = Ker(r
1
1) Ker(r
k
1).
Les rsultats de [BW02b] sont donns dans le cadre de O(V ) pour V espace euclidien, mais
restent valables sans modications dans U(V ) avec V hermitien complexe. On pourra donc
appliquer le thorme suivant :
Thorme 1.11 (Brady-Watt). Pour tout g U(V ), lapplication
(f U(V ) [ f g, ) (s.e.v. de V contenant Ker(g 1), )
f Ker(f 1)
est un isomorphisme densembles partiellement ordonns.
Par consquent, lapplication w Ker(w 1) est injective sur ncp
W
.
1.2 Action dHurwitz sur les factorisations primitives et conju-
gaison forte dans ncp
W
Soit p 1, . . . , n. Le groupe de tresses classique B
p
agit par action dHurwitz sur len-
semble fact
p
(c) des factorisations en p blocs de c, selon la dnition 1.2. Dans le cas o p = n,
laction de B
n
est transitive sur fact
n
(c) = Red(c). Ce nest pas vrai dans le cas gnral,
puisque des invariants vidents apparaissent :
34
Chapitre 1. Orbites dHurwitz des factorisations primitives dun lment de
Coxeter
la partition de n associe au p-uplet des longueurs des facteurs ;
le multi-ensemble des classes de conjugaison des facteurs (car laction dHurwitz conjugue
les facteurs).
Plus prcisment, laction dHurwitz conjugue les facteurs par dautres facteurs dont les
longueurs sajoutent . Cela motive lintroduction dune notion plus forte de conjugaison.
Dnition 1.12. Pour w, w

ncp
W
(c), on dnit la relation w et w

sont fortement
conjugus dans ncp
W
(c) (note w
c
w

) comme la clture transitive et symtrique de la

relation suivante :
w
1
w

sil existe x W tel que xw = w

x, avec xw ncp
W
(c) et (xw) = (x) +(w).
Remarque 1.13. Bien sr la relation
1
rete lincidence, sur un facteur, de laction dHur-
witz dune tresse lmentaire
i
sur une factorisation de c. Par transitivit, si une tresse
transforme une factorisation en une factorisation

, et envoie le numro dun facteur w de

sur celui dun facteur w

de

, alors w et w

sont fortement conjugus.

On voit facilement quon obtient la mme relation dquivalence si on impose que les
conjugateurs x de la dnition soient toujours des rexions de ncp
W
. En eet, si w et
w

sont tels que w

1
w

, notons x un lment de W tel que xw = w

x ncp
W
, avec
(xw) = (x) +(w). Si lon dcompose x en produit minimal de rexions (x = r
1
. . . r
k
), et
si lon note u
ref
v la relation u est lmentairement conjugu v par une rexion , alors
on a : w
ref
r
k
wr
1
k
ref
r
k1
r
k
wr
1
k
r
1
k1
ref
. . .
ref
xwx
1
= w

. Cette remarque permet de faire

le lien avec les orbites dHurwitz de factorisations primitives de c, o tous les facteurs sauf un
sont des rexions (cf. dnition 1.3).
Proposition 1.14. Soient u, v ncp
W
, de longueurs strictement suprieures 1. Alors les
proprits suivantes sont quivalentes :
(i) u et v sont fortement conjugus dans ncp
W
;
(ii) il existe = (u, r
2
, . . . , r
k
) et

= (v, r

2
, . . . , r

k
) deux factorisations primitives de c, avec
u (resp. v) facteur long de (resp.

), telles que et

soient dans la mme orbite

dHurwitz sous B
k
.
Remarque 1.15. Dans le cas des rexions, on a une proposition similaire, mais il faut
sassurer que la (permutation associe la) tresse qui transforme en

envoie le numro de
la position de u sur celui de la position de v.
Dmonstration : (ii) (i) est clair par dnition, puisque, tant donne linvariance de la
longueur par conjugaison, v est ncessairement obtenu partir de u par forte conjugaison (cf.
remarque 1.13). Pour le sens direct, montrons dabord (ii) lorsque u et v sont tels que ur = rv
c, avec r 1 et (ur) = (u) +1. Il sut dans ce cas de prendre une factorisation quelconque
de c qui commence par (u, r), et de faire agir la tresse
2
1
. On conclut par transitivit.
Ainsi le thorme 1.4 se dduit du thorme suivant, qui donne galement des proprits
supplmentaires de laction dHurwitz sur Red(c) :
Thorme 1.16. Soit u, v ncp
W
. Alors u et v sont fortement conjugus dans ncp
W
si et
seulement si u et v sont conjugus dans W.
1.3. Le morphisme de Lyashko-Looijenga 35
On aura ainsi dtermin les orbites dHurwitz de factorisations primitives. Toutefois, cela
ne sut pas pour comprendre compltement laction dHurwitz sur les factorisations de forme
quelconque. En eet, pour toute factorisation, le multi-ensemble des classes de conjugaison
forte des facteurs est naturellement invariant par laction dHurwitz. Cependant, pour les
factorisations non primitives, la condition nest en gnral pas susante pour que deux fac-
torisations soient dans la mme orbite. Par exemple, dans le cas o p = 2, lorbite dHurwitz
de (u
1
, u
2
) fact
2
(c) est (u
c
k
1
, u
c
k
2
), (u
c
k+1
2
, u
c
k
1
), k Z (o la notation u
v
dsigne le conju-
gu v
1
uv). Donc dans le type A, cela revient agir par rotation sur le diagramme des
partitions non-croises. On peut ainsi facilement trouver un contre-exemple dans S
6
. Posons
u
1
= (2 3)(1 5 6), u
2
= (1 3 4), et v
1
= (3 4)(1 5 6), v
2
= (1 2 4) : alors les factorisations
(u
1
, u
2
) et (v
1
, v
2
) de fact
2
((1 2 3 4 5 6)) ne sont pas dans la mme orbite dHurwitz sous
B
2
, alors que u
1
et v
1
, resp. u
2
et v
2
, sont conjugus. Le problme vient du fait que lorsquon
fait agir B
p
par action dHurwitz, les conjugateurs qui sappliquent ne sont pas quelconques,
mais doivent tre des lments qui sont aussi des facteurs (en particulier pas ncessairement
des rexions).
Dsormais on supposera toujours que W est irrductible (et bien engendr). Si W nest
pas irrductible, le thorme 1.16 pour W se dduit du cas irrductible : on vrie aisment
quil sut dappliquer le rsultat chacune des composantes irrductibles de W.
1.3 Le morphisme de Lyashko-Looijenga
Dans cette partie on rappelle la construction du morphisme de Lyashko-Looijenga de
[Bes07a, Part. 5], et on xe des notations et conventions concernant lespace de conguration
de n points.
Le morphisme de Lyashko-Looijenga a t introduit par Lyashko en 1973 (selon Arnold
[Arn74]) et indpendamment par Looijenga dans [Loo74] : voir [LZ04, Chap.5.1] et [LZ99]
pour un historique dtaill. Bessis, dans [Bes07a], a gnralis la dnition de LL tous les
groupes de rexions complexes bien engendrs, le cas initial correspondant aux groupes de
Weyl.
1.3.1 Discriminant dun groupe bien engendr
Soit W GL(V ) un groupe de rexions complexe bien engendr, irrductible. Fixons
une base v
1
, . . . , v
n
de V

, et f
1
, . . . , f
n
dans S(V

) = C[v
1
, . . . , v
n
] un systme dinvariants
fondamentaux, polynmes homognes de degrs uniquement dtermins d
1
d
n
=
h, tels que C[v
1
, . . . , v
n
]
W
= C[f
1
, . . . , f
n
] (thorme de Shephard-Todd-Chevalley). On a
lisomorphisme
WV

C
n
v (f
1
(v), . . . , f
n
(v)).
Notons / lensemble des hyperplans de rexions de W. Lquation de

HA
H peut
scrire comme un polynme invariant, not , le discriminant de W :
=

HA

e
H
H
C[f
1
, . . . , f
n
],
36
Chapitre 1. Orbites dHurwitz des factorisations primitives dun lment de
Coxeter
o
H
est une forme linaire de noyau H et e
H
est lordre du sous-groupe parabolique cyclique
W
H
.
Lorsque W est bien engendr, il existe un systme dinvariants f
1
, . . . , f
n
tel que le discri-
minant de W scrive :
= f
n
n
+a
2
f
n2
n
+ +a
n
,
o les a
i
sont des polynmes en f
1
, . . . , f
n1
[Bes07a, Thm. 2.4]. La proprit fondamentale
est que est un polynme monique de degr n en f
n
(le coecient de f
n1
n
est rendu nul par
simple translation de la variable f
n
).
On note :
H := v WV [ ( v) = 0 = p
_
_
HA
H
_
,
o p est le morphisme quotient V WV . Dsormais, lorsquon se placera dans lespace
quotient, on considrera (f
1
, . . . , f
n
) comme les coecients des points de WV C
n
.
Le morphisme de Lyashko-Looijenga LL, que lon dnira prcisment en partie 1.3.3, per-
met dtudier lhypersurface H travers les bres de la projection (f
1
, . . . , f
n
) (f
1
, . . . , f
n1
).
Ensemblistement, LL associe (f
1
, . . . , f
n1
) le multi-ensemble des racines de (f
1
, . . . , f
n
) vu
comme polynme en f
n
. Dans la partie suivante on xe les notations et dnitions concernant
lespace darrive de LL.
1.3.2 Lespace des congurations de n points
On note E
n
lensemble des congurations centres de n points, avec multiplicits, i.e.
E
n
:= H
0
/S
n
o H
0
est lhyperplan de C
n
dquation

x
i
= 0.
Considrons le morphisme quotient f : H
0
E
n
. Cest un morphisme ni (donc ferm),
correspondant linclusion C[e
1
, . . . , e
n
]/(e
1
) C[x
1
, . . . , x
n
]/(

x
i
), o e
1
, . . . , e
n
dsignent
les fonctions symtriques lmentaires en les x
i
. Lespace E
n
est une varit algbrique, son
anneau des fonctions rgulires sera not C[e
2
, . . . , e
n
].
On peut stratier naturellement E
n
par les partitions de lentier n. Pour n, on note
E
0

lensemble des congurations X E

n
dont les multiplicits sont distribues selon . Ainsi,
E
n
est lunion disjointe des E
0

.
Une partie E
0

nest pas ferme ; des points peuvent fusionner et on obtiendra une con-
guration correspondant une partition moins ne :
Dnition 1.17. Soient , deux partitions de n. On note la relation est moins
ne que , i.e. est obtenue partir de aprs un ou plusieurs regroupements de parts.
On pose E

:=

E
0

(le symbole

dsigne une union disjointe).
Ainsi, pour := 1
n
n, E

est lespace E
n
entier, et E
0

est lensemble des points rguliers

de E
n
, que lon notera E
reg
n
. On a E
reg
n
= H
reg
0
/S
n
, o H
reg
0
= (x
1
, . . . , x
n
) H
0
[ i ,=
j, x
i
,= x
j
. Pour := 2
1
1
n2
n, on a E

= E
n
E
reg
n
.
Pour la topologie classique, comme pour la topologie de Zariski, E

est un ferm qui est

ladhrence de E
0

.
1.3. Le morphisme de Lyashko-Looijenga 37
Fixons une conguration de rfrence X

dans E
reg
n
, par exemple sur la droite relle. On
note B
n
:=
1
(E
reg
n
, X

) le groupe de tresses n brins. On a la prsentation classique :

B
n

1
, . . . ,
n1
[
i

i+1

i
=
i+1

i+1
,
i

j
=
j

i
pour [i j[ > 1) ,
o par convention
i
est reprsent par le chemin suivant dans le plan complexe :

x
i
x
i+1 x
1
x
n
//
oo
Tout chemin dans E
reg
n
peut tre vu comme un lment du groupe de tresses B
n
. Prcisons
la construction, qui sera importante par la suite. On dnit lordre lexicographique sur C :
z
lex
z

[re(z) re(z

)] et [re(z) = re(z

) im(z) im(z

)].
Soit X une conguration quelconque de E
reg
n
, et posons

X = (x
1
, . . . , x
n
) son support
ordonn pour
lex
. Considrons un chemin t (x
1
(t), . . . , x
n
(t)) dans H
reg
0
de

X vers

X

(le
support ordonn de X

), tel que pour tout t, x

1
(t)
lex
. . .
lex
x
n
(t). Il dtermine une unique
classe dhomotopie de chemin de X vers X

, que lon note

X
. Si X, X

E
reg
n
, on xe ainsi
une bijection entre le groupe
1
(E
reg
n
, X

) et lensemble des classes dhomotopie de chemin de

X vers X

par :
X

1
X

.
Via ces conventions, on pourra dsormais considrer tout chemin dans E
reg
n
comme un
lment de B
n
. De la mme faon, si est une partition de n, on peut associer tout chemin
de E
0

un lment de B
r
, o r = # est le nombre de parts de : on considre simplement le
mouvement du support de la conguration. On utilisera ces conventions dans la proposition
1.26 et le lemme 1.30.
1.3.3 Dnitions et proprits du morphisme LL
On pose Y := Spec C[f
1
, . . . , f
n1
] C
n1
. Dautre part, E
n
= Spec C[e
2
, . . . , e
n
]. Rappe-
lons que a
2
, . . . , a
n
, lments de C[f
1
, . . . , f
n1
], dsignent les coecients du discriminant
en tant que polynme en f
n
.
Dnition 1.18 ([Bes07a, Def.5.1]). Le morphisme de Lyashko-Looijenga (gnralis) est le
morphisme de Y dans E
n
dni algbriquement par :
C[e
2
, . . . , e
n
] C[f
1
, . . . , f
n1
]
e
i
(1)
i
a
i
Ensemblistement, LL envoie y = (f
1
, . . . , f
n1
) Y sur le multi-ensemble (lment de
E
n
) des racines du polynme = f
n
n
+ a
2
(y)f
n2
n
+ + a
n
(y), i.e. les intersections, avec
multiplicit, de H avec la droite L
y
:= (y, f
n
) [ f
n
C. On peut voir aussi LL comme le
morphisme algbrique qui envoie y Y sur (a
2
, . . . , a
n
) : il est alors quasi-homogne pour les
poids : deg f
i
= d
i
, deg a
i
= ih.
On pose / := y Y [ Disc((y, f
n
); f
n
) = 0, appel lieu de bifurcation de . Cest
le lieu o a des racines multiples en tant que polynme en f
n
. Ainsi / = LL
1
(E

) et
Y / = LL
1
(E
reg
n
), avec les notations de la partie 1.3.2. Les proprits fondamentales de
LL sont donnes par le thorme suivant :
38
Chapitre 1. Orbites dHurwitz des factorisations primitives dun lment de
Coxeter
Thorme 1.19 ([Bes07a, Thm. 5.3]). Les polynmes a
2
, . . . , a
n
C[f
1
, . . . , f
n1
] sont alg-
briquement indpendants, et C[f
1
, . . . , f
n1
] est un C[a
2
, . . . , a
n
]-module libre gradu de rang
n!h
n
|W|
. Par consquent, LL est un morphisme ni. De plus, sa restriction Y /E
reg
n
est un
revtement non rami de degr
n!h
n
|W|
.
La dernire proprit permet de dnir, pour chaque y Y /, une action de Galois (ou
action de monodromie) de
1
(E
reg
n
, LL(y)) sur la bre de LL(y). Daprs les conventions de la
partie 1.3.2, cela dtermine une action du groupe de tresses B
n
sur lespace Y / : les orbites
sont exactement les bres de LL (car Y / est connexe par arcs). Pour B
n
, on note y
limage de y par laction de .
Dans la partie suivante, on va construire pour chaque y Y une factorisation de c ; on
verra plus loin que laction dHurwitz sur les factorisations (dnition 1.2) est compatible avec
laction de Galois dnie ici.
1.4 Factorisations gomtriques
En adaptant [Bes07a, Part.6], on construit pour chaque y Y une factorisation par blocs
de c, dont la partition associe correspond la distribution des multiplicits de la conguration
LL(y).
1.4.1 Tunnels
Soit y Y . Rappelons que L
y
dsigne la droite complexe (y, x) [ x C. Notons U
y
le
complmentaire dans L
y
des demi-droites verticales situes au-dessous des points de LL(y),
i.e. :
U
y
:= (y, z) L
y
[ x LL(y), re(z) = re(x) im(z) > im(x)
La partie | :=

yY
U
y
est un ouvert dense et contractile de WV
reg
[Bes07a, Lemme
6.2]. On peut donc utiliser | comme point-base pour le groupe fondamental de WV
reg
.
On dnit ainsi le groupe de tresses de W :
B(W) :=
1
(WV
reg
, |)
On rappelle ci-dessous [Bes07a, Def.6.5] :
Dnition 1.20. Un tunnel est un triplet T = (y, z, L) tel que (y, z) |, (y, z +L) |, et
le segment [(y, z), (y, z +L)] est contenu dans WV
reg
. On associe T llment b
T
du groupe
de tresses
1
(WV
reg
, |), reprsent par le chemin horizontal t (y, z +tL).
U
y

//
z z+L
1.4. Factorisations gomtriques 39
Soit y Y , et (x
1
, . . . , x
k
) le support du multi-ensemble LL(y), ordonn selon lordre
lexicographique
lex
. Notons pr
C
la projection de WV Y C sur la dernire coordon-
ne. Considrons lespace pr
C
(L
y
U
y
) x
1
, . . . , x
k
. Cest une union disjointe dintervalles
ouverts, borns ou non. Pour j 1, . . . , k, on note I
j
lintervalle situ sous x
j
.

x
2
x
1
x
3
x
4
x
5
x
6
I
1
I
2
I
3
I
4
I
5
I
6
Pour chaque x
j
, on choisit un tunnel T
j
qui traverse I
j
et pas les autres intervalles. On note
s
j
:= b
T
j
llment de B(W) associ.

x
2
x
1
x
3
x
4
x
5
x
6
s
1
s
2
s
3
s
4
s
5
s
6
//
//
//
//
//
//
Dans [Bes07a, Def.6.7], le k-uplet (s
1
, . . . , s
k
) est appel label de y et not lbl(y). Ici on va
associer y un k-uplet lgrement dirent, mieux adapt au problme.
1.4.2 Factorisations gomtriques
Dnition 1.21. Soit y Y , x
1
, . . . , x
k
et s
1
, . . . , s
k
dnis comme ci-dessus. On note
fact
B
(y) le k-uplet (s

1
, . . . , s

k
) dlments de B(W) o :
s

i
=
_
s
i
s
1
i+1
si re(x
i+1
) = re(x
i
)
s
i
sinon.
On appelle factorisation associe y, et on note fact(y), le k-uplet ((s

1
), . . . , (s

k
))
dlments de W o : B(W)W.
La raison de lutilisation du terme factorisation sera clarie plus loin.
Remarque 1.22. Lapplication est une projection naturelle B(W)

W. Le revtement
V
reg
WV
reg
permet en eet dobtenir la suite exacte
1 P(W) =
1
(V
reg
) B(W) =
1
(WV
reg
)

W 1.
Pour dnir prcisment , on doit choisir une section

| du point-base | dans V
reg
. Il y a
[W[ choix possibles, qui donnent des morphismes conjugus (cf. [Bes07a, Rq.6.4]).
40
Chapitre 1. Orbites dHurwitz des factorisations primitives dun lment de
Coxeter
Gomtriquement, s

i
est reprsent par un chemin qui, vu depuis |, passe sous x
i
mais
pas sous x
j
pour j ,= i :

1
s

2
s

3
s

4
s

5
s

6
oo
RUST
//
//
oo
RUST
oo
RUST
//
Remarque 1.23. Si y Y /, fact
B
(y) est un n-uplet de rexions tresses (terminologie
de Brou, cf. [BMR98]), et dtermine des gnrateurs de la monodromie de WV
reg
= C
n
H.
Plus prcisment, par
1
-surjectivit de linclusion L
y
L
y
H C
n
H (cf. [Bes01, Thm.
2.5]), les facteurs de fact
B
(y) engendrent le groupe de tresses B(W).
Dans le cas o le support de LL(y) est gnrique (parties relles distinctes), les k-uplets
fact
B
(y) et lbl(y) concident. Dans le cas gnral, on peut toujours perturber y en un y

tel
que LL(y

) = e
i
LL(y), avec > 0 assez petit pour que le support de LL(y

) soit gnrique
et que fact
B
(y) = fact
B
(y

) = lbl(y

). Les proprits de lbl nonces dans [Bes07a] sadaptent

ainsi aisment lapplication fact ; par la suite (1.25, 1.26, 1.27), on rappelle ces proprits,
en les reformulant dans ce nouveau cadre, et on ne dmontre que ce qui change de faon non
triviale.
Si LL(y) = 0 (avec multiplicit n), alors y = 0 (daprs le thorme 1.19). On note alors
llment de B(W) tel que fact
B
(0) = (). Il est reprsent par limage dans WV
reg
du
chemin dans V
reg
:
[0, 1] V
reg
t v exp(2it/h).
o v est tel que pour i = 1, . . . , n 1, f
i
(v) = 0 (i.e. v L
0
). Notons que est une racine
h-ime du tour complet de P(W) ( full-twist not dans [BMR98, Not.2.3]).
On pose c = (), image de dans W. Par construction, c est e
2i/h
-rgulier, donc est
un lment de Coxeter. Les autres lments de Coxeter de W (conjugus) sont obtenus pour
dautres choix du morphisme (cf. remarque 1.22).
Le lemme 6.14 dans [Bes07a] permet de comparer les tunnels lorsquon change de bre
L
y
:
Lemme 1.24 ( Rgle dHurwitz ). Soit T = (y, z, L) un tunnel, qui reprsente un lment
s B(W). Soit un voisinage connexe par arcs de y, tel que pour tout y

, (y

, z, L) soit
encore un tunnel. Alors, pour tout y

, (y

, z, L) reprsente s.
On rassemble dans la proposition suivante quelques consquences utiles de ce lemme, adap-
tes de [Bes07a, Lemmes 6.16, 6.17] :
Proposition 1.25. Soit y Y , (x
1
, . . . , x
k
) le support ordonn de LL(y), et (s
1
, . . . , s
k
) =
fact
B
(y). Alors :
1.5. Etude de LL sur les strates E

41
(i) s
1
. . . s
k
= et (s
1
) . . . (s
k
) = c ;
(ii) pour tout i, la longueur de (s
i
) W est la multiplicit de x
i
dans LL(y).
Par consquent, fact(y) fact(c), et si y LL
1
(E
0

), fact(y) fact

(c).
Une autre consquence est la compatibilit des actions dHurwitz et de Galois :
Proposition 1.26 (daprs [Bes07a, Cor. 6.18]). Soit y Y /, et B
n
. Alors :
fact(y ) = fact(y)
o la premire action est laction de Galois dnie en 1.3.3, et la seconde est laction dHurwitz
(cf. dnition 1.2).
Dmonstration : La preuve de [Bes07a, Cor. 6.18] sadapte au cas non gnrique (parties
relles non distinctes) sans dicults. On verra plus loin (lemme 1.30) une gnralisation de
cette proprit de compatibilit tous les lments de Y .
1.5 Etude de LL sur les strates E

Ci-dessous on reformule [Bes07a, Thm. 7.9] en utilisant le produit br E

n

cp(n)
fact(c),
o cp(n) dsigne lensemble des compositions de n. A toute conguration X de E
n
on peut
associer une composition de n, constitue des multiplicits des points du support de X pris
dans lordre
lex
sur C. Dautre part, toute factorisation de fact(c) dtermine une composition
de n, en considrant les longueurs des facteurs dans lordre. Ces constructions dnissent deux
applications : comp
1
: E
n
cp(n) et comp
2
: fact(c) cp(n). On pose :
E
n

cp(n)
fact(c) := (X, ) E
n
fact(c) [ comp
1
(X) = comp
2
()
Thorme 1.27 (daprs [Bes07a, Thm. 7.9]). Lapplication LLfact :
Y E
n

cp(n)
fact(c)
y (LL(y), fact(y))
est bijective.
Donnons ici les grandes lignes de la dmonstration (dtails dans [Bes07a, Part.7]). Lessen-
tiel est de montrer la bijectivit de LLfact : Y / Red(c) (le reste se fait en dgnrant les
points rguliers). Cela revient prouver que, pour y Y /, le morphisme de B
n
-ensembles
y B
n
fact
fact(y) B
n
est un isomorphisme [Bes07a, Thm. 7.4]. Pour cela, on montre que [ fact(y) B
n
[ = [y B
n
[ =
n!h
n
|W|
en utilisant les deux proprits suivantes, prouves au cas par cas [Bes07a, Prop. 7.5] :
(i) laction dHurwitz sur Red(c) est transitive ;
(ii) [ Red(c)[ =
n!h
n
|W|
.
Posons maintenant Y

:= LL
1
(E

), et Y
0

:= LL
1
(E
0

). Ainsi, Y

est un ferm de Zariski

dans Y C
n1
, et est ladhrence de Y
0

. Pour tout n, Y

Y
0

. En particulier,
Y =

n
Y
0

.
42
Chapitre 1. Orbites dHurwitz des factorisations primitives dun lment de
Coxeter
Thorme 1.28. Pour tout n, la restriction de LL :
LL

: Y
0

E
0

est un revtement non rami.

Remarque 1.29. La dnition de revtement est bien sr prendre ici au sens large :
comme Y
0

nest pas ncessairement connexe par arcs, le thorme signie que lapplication
LL

est un revtement connexe par arcs sur chacune des composantes connexes par arcs de
Y
0

.
Dmonstration : Soit X
0
E
0

. Supposons dans un premier temps que les parties relles des

lments du support de X
0
sont distinctes (on dira que X
0
est relativement gnrique). Soit
un ouvert connexe par arcs de E
0

, contenant X
0
, et de diamtre assez petit pour que tous
les lments de X
0
soient relativement gnriques.
Soit = comp
1
(X
0
) la composition de n associe X
0
. Il est clair que pour tout X , la
composition associe X est encore . Posons F

:= fact

(c) = fact(c) [ comp

2
() =
. Le thorme 1.27 implique que lapplication
LL
1

()
LL

fact
F

est une bijection.

Si X
0
nest pas relativement gnrique, on peut refaire toutes les constructions prcdentes
en tournant lgrement la direction de la verticale dans le sens trigonomtrique direct. On doit
modier alors la dnition de lapplication fact (sauf pour les y de la bre de X
0
), mais les
factorisations construites restent toujours dans fact

(c) pour = comp

1
(X
0
).
Pour conclure, il sut de remarquer que toutes les bres F

construites sont en bijection.

En eet, les compositions associes aux lments de Y
0

correspondent ncessairement la
partition , et si deux compositions et

sont gales permutation des parts prs, alors

fact

(c) et fact

(c) sont en bijection (utiliser laction dHurwitz par une tresse adapte).
Soit une partition de n, et X, X

E
0

. On a vu en partie 1.3.2 que toute classe dho-

motopie de chemin de X vers X

dans E
0

dnit un lment de B
p
o p = #. On en dduit
en particulier une action de Galois de B
p
sur chacune des bres de LL au-dessus de E
0

, et on
a une proprit de compatibilit des actions plus gnrale :
Lemme 1.30 (Compatibilit des actions de Galois et dHurwitz sur les strates). Soit n,
avec p = #.
(i) Soient y, y

Y
0

, relis par un chemin dans Y

0

. Notons X = LL(y), X

= LL(y

), et
la tresse de B
p
reprsente par limage de par LL. Alors : fact(y

) = fact(y) .
(ii) Soient B
p
, et y, y

Y
0

tels que fact(y

) = fact(y) . Notons X = LL(y), X

=
LL(y

) et

lunique relev (par LL) dorigine y de la tresse vue comme classe de
chemin (dans E
0

) de X vers X

. Alors y

est le point darrive de

.
Dmonstration : (i) Cest essentiellement la mme preuve que pour [Bes07a, Cor.6.18]. Il
sut de considrer le cas =
i
(i-me tresse lmentaire de B
p
), pour i 1, . . . , p1.
En vertu du thorme 1.28, on peut dplacer X, X

(sans changer lordre des points des

1.6. Stratification de H et lments de Coxeter paraboliques 43
congurations), et y, y

(sans modier fact(y) et fact(y

)), de sorte que la tresse

i
soit
reprsente par le chemin suivant (en pointills) :

x
i
x
i+1 x
1
x
p
oo
//
//
T

T
+
Considrons les tunnels T
+
et T

reprsents sur le schma. Notons (w

1
, . . . , w
p
) =
fact(y) et (w

1
, . . . , w

p
) = fact(y

). Alors T
+
reprsente w
i+1
dans L
y
, et w

i
dans L
y
.
Do, daprs le lemme 1.24, w

i
= w
i+1
. De mme, avec T

, on obtient w

i
w

i+1
= w
i
w
i+1
,
et on a vri que fact(y

) = fact(y)
i
.
(ii) On reprend les notations de lnonc. Notons y

le point darrive de . Alors, dune

part on a LL(y

) = X

= LL(y). Dautre part, en appliquant le point (i) y, y

, et

, on
obtient : fact(y

) = fact(y) = fact(y

). Do, par le thorme 1.27, y

= y

.
Le thorme suivant est une consquence directe du lemme :
Thorme 1.31. Soit n, et p = #. Lapplication Y
0

fact
fact

(c) induit une bijection

entre lensemble des composantes connexes par arcs de Y
0

et lensemble des orbites dHurwitz

de fact

(c) sous B
p
.
Autrement dit, si Y
0

=

i
Y
0
,i
est la dcomposition de Y
0

en ses composantes connexes

par arcs, alors
fact

(c) = fact(Y
0

) =
_
i
fact(Y
0
,i
)
est la dcomposition de fact

(c) en orbites dHurwitz sous B

p
.
1.6 Stratication de H et lments de Coxeter paraboliques
Dans cette partie on tudie la gomtrie de H, an de pouvoir dterminer en partie 1.7 les
composantes connexes par arcs de Y
0

lorsque est une partition primitive, en appliquant le

thorme 1.31 ci-dessus.
On rappelle quon a x un lment de Coxeter c = ().
1.6.1 Stratication de V
Larrangement dhyperplans associ W est not /. On considre la stratication de W
par les plats, i.e. le treillis dintersection :
L := L(/) =
_

HB
H [ B /
_
.
Pour L L, on pose
L
0
:= L
_
L

L,L

L
L

.
44
Chapitre 1. Orbites dHurwitz des factorisations primitives dun lment de
Coxeter
On obtient la stratication ouverte de V associe L. Pour tout L L, L est ladhrence de
L
0
.
La stratication de V par les plats correspond la stratication du groupe W par ses
sous-groupes paraboliques : on rappelle le thorme de Steinberg [Ste64, Thm. 1.5] et ses
consquences.
Thorme 1.32 (Steinberg). Si L est un plat, le groupe
W
L
:= w W [ x L, wx = x
est encore un groupe de rexions, appel sous-groupe parabolique associ L. De plus :
(i) Lapplication L W
L
est une bijection de L vers lensemble des sous-groupes parabo-
liques ; sa rciproque est
G V
G
= x V [ w G, wx = x =

rRG
H
r
.
(ii) Le rang de W
L
est gal la codimension de L.
(iii) Soit v V . Notons V
v
:=

HA,vH
H et W
v
:= w W [ wv = v.
Alors, pour L L :
v L
0
V
v
= L W
v
= W
L
.
1.6.2 lments de Coxeter paraboliques
Notons f : H ncp
W
(c) lapplication qui (y, x) H associe le facteur de fact(y)
correspondant x (i.e. dni par un tunnel lmentaire passant sous le point x de LL(y)).
Ainsi, (f(y, x
1
), . . . , f(y, x
p
)) = fact(y) lorsque le support ordonn de LL(y) est (x
1
, . . . , x
p
) .
On reformule ci-dessous un lemme fondamental de [Bes07a] :
Lemme 1.33 (daprs [Bes07a, Lemme 7.3]). Soit y Y . Soient x LL(y), de multiplicit
p, et w = f(y, x).
Alors il existe une primage v V de (y, x) WV telle que w soit un lment de Coxeter
dans le sous-groupe parabolique W
v
. De plus :
p = (w) = rg W
v
= dimV/V
v
= codimKer(w 1).
Par consquent, en utilisant la surjectivit de lapplication fact, on peut dduire de ce
lemme que tout diviseur w de c est un lment de Coxeter dun sous-groupe parabolique,
groupe que lon peut dterminer laide dune factorisation qui contient w. Do la proposition-
dnition suivante :
Proposition 1.34. Soit W un groupe de rexions complexe bien engendr, et w W. Les
proprits suivantes sont quivalentes :
(i) w est un lment de Coxeter dun sous-groupe parabolique de W ;
(ii) il existe un lment de Coxeter c
w
de W, tel que w c
w
;
(iii) w est conjugu un lment de ncp
W
(c).
1.6. Stratification de H et lments de Coxeter paraboliques 45
On dit alors que w est un lment de Coxeter parabolique.
Remarque 1.35. Dans le cas dun groupe de Coxeter ni, cette proprit est bien connue et
dmontre de manire uniforme, cf. [Bes03, Lemme 1.4.3].
Dmonstration : (ii) (iii) provient directement de la thorie de Springer (les lments de
Coxeter de W forment une seule classe de conjugaison) et de la proprit ncp
W
(aca
1
) =
a ncp
W
(c)a
1
.
(i) (ii) : soit G un sous-groupe parabolique (non trivial), et w un lment de Coxeter de
G. Soit L = V
G
et v L
0
, de sorte que W
v
= G. Notons (y, x) = v et w
0
= f(y, x) ncp
W
(c).
Daprs le lemme 1.33, il existe v
0
V tel que (y, x) = v
0
et que w
0
soit un lment de Coxeter
de W
v
0
. Comme v
0
et v sont dans la mme orbite sous W, G = W
v
est conjugu W
v
0
, donc
tous leurs lments de Coxeter sont conjugus dans W. En particulier w est conjugu w
0
.
(iii) (i) : il sut de montrer limplication pour w ncp
W
(c), puisque la proprit (i) est
invariante par conjugaison. Si w c, la surjectivit de fact (thorme 1.27) donne lexistence
de (y, x) WV tel que f(y, x) = w. Le lemme 1.33 permet alors de conclure.
Comme dans le cas dun groupe de Coxeter [Bes03, Cor.1.6.2], on peut retrouver, partir
dun lment de Coxeter parabolique, le sous-groupe parabolique associ :
Proposition 1.36. Soit w un lment de Coxeter parabolique, et W
w
le sous-groupe parabo-
lique xateur du plat Ker(w 1). Alors :
(i) le groupe W
w
est lunique sous-groupe parabolique duquel w est un lment de Coxeter ;
(ii) si (r
1
, . . . , r
k
) Red(w), alors r
1
, . . . , r
k
) = W
w
.
Dmonstration : (i) Soit G un sous-groupe parabolique tel que w soit un lment de Coxeter
de G. Soit L le plat associ G, i.e. L = V
G
. Alors comme w G, on a : L Ker(w1). Or
codimL = rg G par thorme 1.32, et rg G =
G
(w) (o
G
dsigne la longueur relativement
aux rexions de G) car w est un lment de Coxeter. Dautre part (w) = codimKer(w 1)
par la proposition 1.8. Donc pour conclure il sut dutiliser le rsultat suivant :
Si G est un sous-groupe parabolique, alors : g ncp
W
, g G
G
(g) = (g).
Pour cela, on va vrier que pour r 1, si r g, alors r G. Si G = W
L
, cela revient
montrer que L Ker(r 1). Or, comme g G, on a L Ker(g 1), et daprs la proposition
1.10, Ker(g 1) Ker(r 1).
(ii) Il sut de le dmontrer dans le cas o w est un lment de Coxeter c dun groupe
de rexions (bien engendr) irrductible W. Daprs le thorme 1.27, toute dcomposition
rduite (r
1
, . . . , r
n
) de c provient dune factorisation de en gnrateurs de la monodromie,
i.e. de fact
B
(y) = (s
1
, . . . , s
n
), avec y Y / et (s
i
) = r
i
. Or on sait qualors s
1
, . . . , s
n
engendrent B(W) (cf. remarque 1.23), donc r
1
, . . . , r
n
engendrent W.
Dans le cas prsent, on a x un lment de Coxeter c de W, et on ne va considrer
que les lments paraboliques qui sont dans ncp
W
. On nobtient donc pas tous les sous-
groupes paraboliques, mais seulement les sous-groupes paraboliques non croiss , i.e. ceux
qui possdent un lment de Coxeter qui divise c. Cependant daprs les propositions 1.34 et
1.36, quitte les conjuguer, on obtient tous les sous-groupes paraboliques :
46
Chapitre 1. Orbites dHurwitz des factorisations primitives dun lment de
Coxeter
Proposition 1.37. Soit W un groupe de rexions complexe bien engendr, et c un lment
de Coxeter x de W. Soit W
0
un sous-groupe parabolique de W.
Alors W
0
est conjugu un sous-groupe parabolique non crois de W, i.e. un sous-
groupe de la forme W
L
o L = Ker(w 1) et w c.
Ce un rsultat non trivial utilise ainsi de faon essentielle le lemme 1.33. On peut dire
que les sous-groupes paraboliques non croiss jouent ici le rle des sous-diagrammes (ou des
paraboliques standards) de la thorie de Coxeter (voir aussi [BMR95, p.3] sur les diagrammes
et sous-diagrammes pour les groupes complexes).
Remarque 1.38. Dans un sous-groupe parabolique non crois, il y a unicit de llment de
Coxeter divisant c. En eet, il faut trouver un diviseur de c dont le plat associ est donn,
et la solution est unique par le thorme de Brady-Watt (1.11). Lensemble des sous-groupes
paraboliques non croiss, ordonn par inclusion, est donc isomorphe au treillis (ncp
W
(c), ).
1.6.3 Stratication de WV
Le groupe W agit sur /, donc sur L. On peut ainsi dnir des orbites de plats, qui forment
une stratication note

L de WV .
Soit p la projection V WV , v v = Wv. On a :

L = WL = (p(L))
LL
= (WL)
LL
.
On notera par la suite les strates de

L par la lettre . Pour

L , posons :

0
:=
_

L,

.
Si = W L, alors
0
= W L
0
. Les ouverts
0
, pour

L, forment la stratication
ouverte de WV associe

L, appele stratication discriminante. Notons que (WV )
0
=
WV H = WV
reg
.
Les strates de

L correspondent aux classes de conjugaison de sous-groupes paraboliques,
puisque W
wL
= wW
L
w
1
. On peut galement les associer aux classes de conjugaison dl-
ments de Coxeter paraboliques. En eet, considrons lapplication F : W L, w Ker(w
1). Si w et w

sont conjugus, alors F(w) et F(w

) sont dans la mme orbite sous W, donc F

induit une application

F de lensemble des classes de conjugaison de W vers

L.
Proposition 1.39. Lapplication

F dnie ci-dessus induit une bijection entre lensemble

L
des strates de WV et :
lensemble des classes de conjugaison dlments de Coxeter paraboliques ;
lensemble des classes de conjugaison dlments de ncp
W
.
Dmonstration : En utilisant les propositions 1.34 et 1.36, le premier point est clair : deux
lments de Coxeter dun mme sous-groupe parabolique sont conjugus daprs la thorie de
Springer, donc deux lments de Coxeter paraboliques w
1
et w
2
, associs deux sous-groupes
paraboliques W
1
et W
2
, sont conjugus si et seulement si les groupes W
1
et W
2
sont conjugus.
Le second point est direct en utilisant la proposition 1.34.
Dnition 1.40. Soit une strate de

L, w ncp
W
, et v WV . On dit que :
1.7. Composantes connexes par arcs de Y
0
k
47
w est de type si la classe de conjugaison de w correspond par la bijection
ci-dessus, i.e. si = W Ker(w 1).
la strate de v est si est la strate minimale de

L contenant v, i.e. si v
0
, ou
encore = W V
v
.
On peut ainsi reformuler le lemme 1.33 :
Lemme 1.41. Soit (y, x) H. Alors le type de llment de Coxeter parabolique f(y, x) est
la strate du point (y, x).
Une consquence du lemme est que si (y, x) est dans une strate ouverte de dimension nk,
alors (f(y, x)) = k et la multiplicit de x dans LL(y) est k. Soit

L
k
lensemble des strates
fermes de dimension exactement n k, et posons :
H
k
:=
_

L
k
.
Ainsi WV = H
0
H
1
= H H
2
H
n
= 0.
Dsormais on suppose k 1. Soit la projection : H Y, (y, x) y. Notons Y
k
:=
(H
k
), et
k
:= k
1
1
nk
n. Daprs le lemme 1.33, pour (y, x) H, la longueur du facteur
f(y, x) est donne par la codimension de la strate de (y, x), do la proprit suivante :
Lemme 1.42. Soit (y, x) WV . Alors (y, x) est dans H
k
si et seulement si la multiplicit
de x dans LL(y) est suprieure ou gale k.
Par consquent : Y
k
= LL
1
(E

k
).
La partie Y
k
est donc ce que lon avait not Y

dans la partie 5, dans le cas o est la

partition primitive
k
. En particulier, comme / = LL
1
(E

2
), on obtient Y
2
= /.
1.7 Composantes connexes par arcs de Y
0
k
Daprs le thorme 1.31, pour tudier les orbites dHurwitz primitives, il est intressant
didentier les composantes connexes par arcs de Y
0
k
. Pour cela, on commence par dterminer
les composantes irrductibles de Y
k
.
1.7.1 Composantes irrductibles de H
k
et de Y
k
On va dabord montrer que les strates de

L
k
sont les composantes irrductibles de H
k
.
Lemme 1.43. Les morphismes p : V WV et : H Y sont nis. Par consquent ils sont
ferms, pour la topologie de Zariski.
Dmonstration : Pour p, cest le thorme de Chevalley : O
V
C[v
1
, . . . , v
n
], O
W\V

C[f
1
, . . . , f
n
], et O
V
est un O
W\V
-module libre de rang [W[.
Pour , on a O
Y
= C[f
1
, . . . , f
n
] et O
H
= C[f
1
, . . . , f
n
]/(), avec = f
n
n
+a
2
f
n2
n
+ +a
n
et a
i
C[f
1
, . . . , f
n1
]. En particulier, f
n
est entier sur

(O
Y
). Donc

fait de O
H
un O
Y
-
module libre de rang n.
Par consquent, les strates de

L, images par p des plats dans V , sont fermes, et irrduc-
tibles (car limage dun irrductible par un morphisme algbrique est irrductible). Do :
48
Chapitre 1. Orbites dHurwitz des factorisations primitives dun lment de
Coxeter
Corollaire 1.44. Pour tout k 1, les composantes irrductibles du ferm H
k
sont les strates
de

L
k
.
Par , continue et ferme, on peut envoyer ces strates dans Y
k
= (H
k
). On a ainsi
Y
k
=

L
k
(), avec les () ferms irrductibles dans Y .
Commenons par le cas k = 1, qui correspond aux classes de conjugaison de rexions de
ncp
W
. En utilisant le thorme 1.27, on obtient le rsultat suivant.
Proposition 1.45. Soit

L
1
. Alors, pour tout y Y /, au moins un des facteurs de
fact(y) a pour classe de conjugaison .
Par consquent, pour tout

L
1
, on a : () = Y .
Dmonstration : Daprs la surjectivit de lapplication fact, toute rexion de ncp
W
apparat
dans une factorisation fact(y). Donc, par transitivit de laction dHurwitz sur Red(c), si
fact(Y /), alors toutes les classes de conjugaison de rexions de ncp
W
apparaissent dans .
En eet, lensemble des classes de conjugaison de rexions faisant partie dune dcomposition
rduite est invariant par laction dHurwitz.
Soit y Y . Quitte dsingulariser, on peut trouver y

Y / tel que fact(y

) soit un
ranement de fact(y). Soit

L
1
, alors fact(y

) contient un facteur de type , donc il existe

x dans LL(y) tel que f(y, x) soit multiple (pour ) dune rexion de type , do (y, x) ,
et y ().
Dsormais on suppose k 2.
Proposition 1.46. Les (), pour

L
k
, sont distincts deux deux, et sont les composantes
irrductibles de Y
k
.
Dmonstration : Daprs la discussion prcdente, il sut de montrer que si ,

L
k
, avec
,=

, alors () (

).
La strate ouverte
0
correspond une classe de conjugaison de sous-groupe parabolique
de rang k. Soit c

un lment de Coxeter parabolique, divisant c, de type . Compltons avec

n k rexions pour obtenir une factorisation complte : = (c

, s
k+1
, . . . , s
n
). Alors, par
1.27, il existe y dans Y , tel que fact(y) = , et que LL(y) ait n k + 1 points distincts. Soit
x le point multiple dans LL(y) ; alors (y, x)
0
puisque llment de Coxeter parabolique
associ x est de type . Do : y ().
Supposons que y (

) ; alors il existe x

tel que (y, x

. Donc, dans fact(y) = ,

on doit trouver un lment de type

, de longueur suprieure ou gale k ; or, dans

fact(y), seul c

convient, et il est de type

. Do y / (

), ce qui conclut la preuve.

1.7.2 Connexit par arcs
Notons comme plus haut Y
0
k
:= LL
1
(E
0

k
), et pour

L
k
, ()
0
:= () Y
0
k
.
Pour

L
k
, notons fact

k
(c) les factorisations primitives de c, de forme
k
, et dont
llment long est de type . Alors, en vertu du lemme 1.41, on a :
()
0
= fact
1
(fact

k
(c)).
Ainsi Y
0
k
=

L
k
()
0
. Daprs la surjectivit de fact, ()
0
est un ouvert (de Zariski)
non vide de ().
1.8. Forte conjugaison, et cas des rflexions 49
Proposition 1.47. Pour tout

L
k
, ()
0
est connexe par arcs.
Dmonstration : Cest un fait gnral, mais non trivial, que tout ouvert de Zariski dune varit
algbrique complexe irrductible est connexe par arcs. Dans le cas prsent on peut cependant
donner une dmonstration explicite. Soit

L
k
, et soit L L tel que p(L) = . Notons
= L ( p)
1
(()
0
). Comme p : V WV et : WV Y sont des morphismes
algbriques, est un ouvert de Zariski de L. Comme L est un espace vectoriel sur C, la
connexit par arcs de est alors vidente. Dautre part, ()
0
= p(), avec p continue,
donc ()
0
est connexe par arcs.
En utilisant le thorme 1.31, on va en dduire aisment que les ()
0
, pour

L
k
, sont
bien les composantes connexes par arcs de Y
0
k
.
1.8 Forte conjugaison, et cas des rexions
Thorme 1.48. Soit k 2, . . . , n. Alors :
les parties ()
0
, pour

L
k
, sont les composantes connexes par arcs de Y
0
k
;
les ensembles fact(()
0
) = fact

k
(c) sont les orbites dHurwitz de fact(Y
0
k
) = fact

k
(c)
sous B
nk+1
.
Par consquent, deux lments de ncp
W
de longueur k sont fortement conjugus si et seule-
ment sils sont conjugus.
Dmonstration : Soient y ()
0
et y

)
0
, avec ,

L
k
. Si y et y

sont relis par

un chemin dans Y
0
k
, alors, par le thorme 1.31, fact(y) et fact(y

) sont dans la mme orbite

dHurwitz, donc leurs lments longs sont conjugus, i.e. =

(par lemme 1.41). Donc la

proposition 1.47 implique que les ()
0
sont les composantes connexes par arcs de Y
0
k
. Les
orbites dHurwitz de fact(Y
0
k
) sont alors directement donnes par le thorme 1.31.
Enn, la proprit de forte conjugaison vient du fait quune factorisation de forme
k
est
dans fact(()
0
) si et seulement si son facteur long est de type .
Pour conclure la preuve du thorme 1.16, il reste dterminer les classes de conjugaison
forte de rexions :
Thorme 1.49. Soient r, r

deux rexions de ncp

W
. Si r et r

sont conjugues, alors r et

r

sont fortement conjugues dans ncp

W
.
Remarque 1.50. Cette proprit apporte une prcision intressante concernant laction
dHurwitz de B
n
sur Red(c) : si (r
1
, r
2
, . . . , r
n
) et (r

1
, r

2
, . . . , r

n
) sont deux dcompositions
rduites de c, avec r
1
, r

1
ncp
W
deux rexions conjugues, alors il existe une tresse de B
n
,
pure par rapport au premier brin, qui transforme lune en lautre (cf. remarque 1.15 sur le lien
entre forte conjugaison et action dHurwitz).
Dmonstration : Considrons : H Y , (y, x) y. Notons H

:=
1
(Y /). Alors la
restriction

: H

Y / est un revtement non rami n feuillets (continuit des racines

dun polynme racines simples).
Soient r, r

deux rexions de ncp

W
conjugues. Par surjectivit de fact, il existe y, y

Y /, tels que fact(y) = (r, r
2
, . . . , r
n
) et fact(y

) = (r

, r

2
, . . . , r

n
). On peut supposer que
LL(y) = LL(y

) ; soit x leur lment minimal pour

lex
(correspondant r et r

). Soit la
strate de

L
1
correspondant la classe de conjugaison de r et r

. Daprs le lemme 1.41, (y, x)

50
Chapitre 1. Orbites dHurwitz des factorisations primitives dun lment de
Coxeter
et (y

, x) sont dans
0
. Plus prcisment, (y, x) et (y

, x) sont dans H

, que lon va noter

.
Notons que

est un ouvert de Zariski de , donc est connexe par arcs, par le mme
argument que pour la proposition 1.47. Par consquent, on peut relier (y, x) et (y

, x) par un
chemin dans H

. Celui-ci se projette en un chemin dans Y /, et dtermine via LL un lacet

dans E
reg
n
. Ce lacet reprsente une tresse qui, par construction, stabilise le premier brin (x).
Ainsi y

= y par laction de monodromie, et fact(y

) = fact(y) par laction dHurwitz.

Comme stabilise le brin (x), on en dduit que r et r

sont fortement conjugus, en vertu de

la remarque 1.15.
Chapter 2
Discriminants and Jacobians of virtual
reection groups
Introduction
This chapter is a non-Galois version of the rst few steps of the classical invariant theory of
reection groups. We will deal with questions of commutative algebra, that were at rst mo-
tivated by empirical observations on the extensions dened by Lyashko-Looijenga morphisms.
We consider a nite polynomial ring extension A B, where A is not necessarily the ring
of invariants of B under a group action. Thus, we cannot simply imitate the classical proofs of
invariant theory, as they really make use of the group action. However, in our setting, many
properties seem to work the same way as for Galois extensions, particularly for Jacobian and
discriminant of the extension.
Note that we use only elementary commutative algebra, and that the properties derived
here are presumably folklore. The situation that we describe is in fact surprisingly basic
and universal, yet apparently written nowhere from this perspective. The extensions usually
studied in the litterature, are either much too general, or of the form A = B
G
B, where B
is a polynomial algebra; here we are rather interested in extensions A B where B and A are
polynomial algebras, but where we do not require A to be the ring of invariants of B under a
group action.
The key ingredients to describe and understand the situation are:
a notion of well-ramied polynomial extensions (this very natural property ought to
be standard, but I could not nd any references for that);
properties of the dierent of an extension, that enable to apprehend the Jacobian of the
extension.
2.1 Motivations and main theorem
Let V be an n-dimensional complex vector space, and W GL(V ) a nite complex reection
group, with fundamental system of invariants f
1
, . . . , f
n
of degrees d
1
d
n
. From
52 Chapter 2. Discriminants and Jacobians of virtual reflection groups
Chevalley-Shephard-Todd theorem, we have the equality C[V ]
W
= C[f
1
, . . . , f
n
], and the
isomorphism
WV C
n
v (f
1
(v), . . . , f
n
(v)).
Let us denote by / the set of all reection hyperplanes, and consider the discriminant of
W dened by

W
:=

HA

e
H
H
,
where
H
is an equation of H and e
H
is the order of the parabolic subgroup W
H
. The
discriminant is the equation of the hypersurface H := W
_
HA
H in C
n
= Spec C[f
1
, . . . , f
n
].
Let us also consider the Jacobian J
W
of the morphism (v
1
, . . . , v
n
) (f
1
(v), . . . , f
n
(v)):
J
W
:= det
_
f
i
v
j
_
1in
1jn
.
It is well known (see for example [Kan01, Sect. 21]) that the Jacobian satises the following
factorisation:
J
W
.
=

HA

e
H
1
H
,
where
.
= denotes equality up to a nonzero scalar; thus we have
W
/J
W
=

HA

H
, i.e. it
is the product of the ramied polynomial of the extension C[f
1
, . . . , f
n
] C[V ].
One can construct a stunningly similar situation related to the morphism LL dened in
1.18. Let us dene an LL-discriminant:
D
LL
:= Disc(
W
(f
1
, . . . , f
n
); f
n
) C[f
1
, . . . , f
n1
]
(it is the equation of the bifurcation locus /). Consider also the LL-Jacobian J
LL
(the Jaco-
bian determinant of the morphism LL). As we can observe empirically, and will prove in all
generality in the next chapter, it turns out that the couple of polynomials (J
LL
, D
LL
) behaves
similarly to the couple (J
W
,
W
): the quotient D
LL
/J
LL
is the product of the ramied poly-
nomials of the extension associated to LL, and their valuations in D
LL
correspond to their
ramication indices.
Although we mainly have in mind applications to D
LL
, we devote this chapter to the
following general setup. Let us consider a nite graded polynomial extension A B (see
Denition 2.4): we have a graded polynomial algebra B in n indeterminates over C, and a
polynomial subalgebra A generated by n weighted homogeneous elements of B, such that the
extension is nite. The two key examples are:
the Galois extensions C[f
1
, . . . , f
n
] C[v
1
, . . . , v
n
], dened by a quotient morphism
V WV , where w is a reection group and C[f
1
, . . . , f
n
] = C[V ]
W
;
the Lyashko-Looijenga extensions C[a
2
, . . . , a
n
] C[f
1
, . . . , f
n1
], given by a morphism
LL (with the notations of section 1.3.3); these extensions are indeed nite according to
Thm. 1.19.
2.2. Jacobian and different of a finite graded polynomial extension 53
In the rst section we give the precise denitions, and use the notion of dierent ideal of
an extension to describe a factorisation of the Jacobian. In section 2.3, about the geometry
of such extensions, we recall the relations between the ramication locus and the branch
locus of a branched covering. In section 2.4 we dene the well-ramied property for a nite
graded polynomial extension (Def. 2.16), and we give several characterisations of this property
(Prop. 2.17): this is a slightly weaker property than the normality of the extension, and is
also equivalent to the equality between the preimage of the branch locus and the ramication
locus.
The main result of this chapter is:
Theorem 2.1. Let W = (A B) be a nite graded polynomial extension. Then the Jacobian
J of the extension veries:
J
.
=

QSpec
ram
1
(B)
Q
e
Q
1
where Spec
ram
1
(B) is the set of ramied polynomials in B (up to association), and the e
Q
are
the ramication indices.
Moreover, if the extension W is well-ramied (according to Def. 2.16), then:
(J) A =
_
_

QSpec
ram
1
(B)
Q
e
Q
_
_
(as ideal of A).
Remark 2.2. The notation W for the extension is intentionally chosen to emphasize the
analogy with the case when the extension is Galois, i.e. when it is given by the action of a
reection group W on the polynomial algebra B. Here there is not necessarily a group acting,
but some features of the Galois case remain. That is why David Bessis proposes to call the
extension W a virtual reection group
1
. The polynomial

Q
e
Q
in the theorem above could
then be called the discriminant of the virtual reection group W. One can wonder whether the
analogies can go further, and to what extent it is possible to construct an invariant theory
for virtual reection groups.
In the next chapter, we will prove that LL extensions are well-ramied, and give a list of
the analogies between the LL and the Galois situations (Sect. 3.3).
Remark 2.3. The rst part of Thm. 2.1 is a quite easy consequence of commutative algebra
properties. It is probably folklore, but I could not nd the formula stated anywhere. I thank
Raphal Rouquier for his suggestion to use the dierent ideal.
2.2 Jacobian and dierent of a nite graded polynomial exten-
sion
2.2.1 General setting and notations
Let n be a positive integer, and denote by B the graded polynomial algebra C[X
1
, . . . , X
n
],
where X
1
, . . . , X
n
are indeterminates of respective weights b
1
, . . . , b
n
.
1. David Bessis, personal communication.
54 Chapter 2. Discriminants and Jacobians of virtual reflection groups
Let us consider n weighted homogeneous polynomials f
1
, . . . , f
n
in B (of respective weights
a
1
, . . . , a
n
), and the resulting (quasi-homogenenous) mapping
f : C
n
C
n
(x
1
, . . . , x
n
) (f
1
(x
1
, . . . , x
n
), . . . , f
n
(x
1
, . . . , x
n
)).
We denote by A the algebra C[f
1
, . . . , f
n
], so that we have a ring extension A B.
Denition 2.4. In the above situation, if B is an A-module of nite type, we will call A B
a nite graded polynomial extension.
Remark 2.5. In this setting, the extension is nite if and only if f
1
(0) = 0, because
f is a quasi-homogeneous morphism (see for example [LZ04, Thm.5.1.5]). Moreover, the rank
of B over A (or the degree of f) is then equal to r :=

a
i
/

b
i
.
The algebra B is Cohen-Macaulay, and is nite as an A-module, so B is also a free A-
module of nite type. Thus A B is a nite free extension of UFDs. We denote by K and
L the elds of fractions of A and B. Let us recall some notations and properties about the
ramication in this context (for example see [Ben93, Chap. 3]).
If q is a prime ideal of B, then p = q A is a prime ideal of A. In this situation we say
that q lies over p. By the Cohen-Macaulay theorem [Ben93, Thm.1.4.4], q has height one if
and only if p has height one. In this case, we can write q = (Q) and p = (P), where P A
and Q B are irreducible, and (Q) A = (P).
The ramication index of q over p is:
e(q, p) := v
Q
(P)
(we will rather write simply e
q
or e
Q
).
We denote by Spec
1
(B) (resp. Spec
1
(A)) the set of prime ideals of B (resp. A) of height
one. It is also the set of irreducible polynomials in B, up to association. By abusing the
notation, in indices of products, we will write Q Spec
1
(B) instead of q Spec
1
(B) and
Q is one polynomial representing q, and Q over P instead of (Q) over (P).
We have the following elementary property:
Lemma 2.6. Let (P) Spec
1
(A) and (Q) Spec
1
(B). Then, (Q) lies over (P) if and only
if Q divides P in B. Thus, for (P) Spec
1
(A), we have:
P
.
=

Q over P
Q
e
Q
.
2.2.2 Dierent ideal and Jacobian
As our setup is compatible with that of [Ben93, Part.3.10], we can construct the dierent
D
B/A
of the extension. Let us recall that it is dened from the inverse dierent :
D
1
B/A
:= x L [ y B, Tr
L/K
(xy) A ,
where K and L are the elds of fractions of A and B, L is regarded as a nite vector space
over K, and Tr
L/K
(u) denotes the trace of the endomorphism (x ux).
2.2. Jacobian and different of a finite graded polynomial extension 55
The dierent D
B/A
is then by denition the inverse fractional ideal to D
1
B/A
. It is a
(homogeneous) divisorial ideal; in our setting, as B is a UFD, D
B/A
is thus a principal ideal.
We will see below that the dierent is simply generated by the Jacobian J
B/A
of the extension.
For now, let us denote by
B/A
a homogeneous generator of D
B/A
.
The dierent satises the following:
Proposition 2.7 ([Ben93, Thm.3.10.2]). If q and p = Aq are prime ideals of height one in
B and A, then e(q, p) > 1 if and only if D
B/A
q.
In other words: if Q is an irreducible polynomial in B, then e
Q
> 1 if and only if Q divides

B/A
.
We dene the set of ramied ideals:
Spec
ram
1
(B) := q Spec
1
(B) [ e
q
> 1,
which can also be seen as a system of representatives of the irreducible polynomials Q in B
which are ramied over A. By the above theorem, we have:

B/A
.
=

QSpec
ram
1
(B)
Q
v
Q
(
B/A
)
.
This can be rened as:
Proposition 2.8. For all irreducible Q in B, we have: v
Q
(
B/A
) = e
Q
1. Thus:

B/A
.
=

QSpec
ram
1
(B)
Q
e
Q
1
.
Proof. We localize at (Q) in order to obtain local Dedekind domains. Then we can use directly
Prop. 13 in [Ser68, Ch. III].
Let us show that the dierent is actually generated by the Jacobian determinant. For this,
we need to introduce the Khler dierent of the extension A B. According to [Bro06] (end
of rst section), when B is a polynomial algebra, the Khler dierent can be dened as the
ideal generated by the Jacobians of all n-tuples of elements of A, with respect to X
1
, . . . , X
n
.
But here we are in an even more specic situation, where A is also a polynomial ring. Thus,
whenever we take g
1
, . . . , g
n
A = C[f
1
, . . . , f
n
], we have
det
_
g
i
X
k
_
1in
1kn
= det
_
g
i
f
j
_
1in
1jn
det
_
f
j
X
k
_
1jn
1kn
,
so the Khler dierent is simply the principal ideal of B generated by the polynomial
J
B/A
:= Jac((f
1
, . . . , f
n
)/(X
1
, . . . , X
n
)) = det
_
f
i
X
j
_
1in
1jn
.
Proposition 2.9. With the hypothesis above, we have:

B/A
.
= J
B/A
.
56 Chapter 2. Discriminants and Jacobians of virtual reflection groups
Proof. In [Bro06], Broer studies several notions of dierent ideals, and proves that under
certain hypothesis they are equal. We are here in the hypothesis of his Corollary 1, which
states in particular that the Khler dierent is equal to the dierent D
B/A
.
Note that we use here a strong result (which applies in much more generality than what
we need). It should be possible to give a simpler proof. For the sake of completeness, we
add here a more explicit proof of the fact that the polynomials J
B/A
and
B/A
have the same
degree (using a ramication formula of Benson).
Lemma 2.10. With the hypothesis and notations above, we have:
deg(
B/A
) = deg(J
B/A
).
Proof. First we need to recall some notations for graded algebras, see [Ben93, Ch.2.4]. If A is
a graded algebra, and M a graded A-module, we denote the usual Hilbert-Poincar series of M
by grdimM (for graded dimension): grdimM :=

k
dimM
k
t
k
. If n is the Krull dimension
of A, we dene rational numbers deg(M) and (M) by the Laurent expansion about t = 1:
grdim(M) =
deg(M)
(1 t)
n
+
(M)
(1 t)
n1
+o
_
1
(1 t)
n1
_
.
Now if we return to our context we can use the following ramication formula from [Ben93,
Thm 3.12.1]:
[L : K[(A) (B) =
1
2

pSpec
1
(B)
v
p
(D
B/A
)(B/p).
We have grdimA =

n
i=1
1
1t
a
i
, so by computing the derivative of (1 t)
n
grdimA at t = 1
we get:
(A) =
1

i
a
i

i
a
i
1
2
,
and similarly for (B). As [L : K[ =

a
i
/

b
i
, we obtain:
[L : K[(A) (B) =
1

i
b
i

i
a
i
b
i
2
=
1
2

i
b
i
deg J
B/A
.
On the other hand, for p Spec
1
(B), if d denotes the degree of a homogeneous polynomial P
generating p, we have
grdimB/p = (1 t
d
)

i
1
1 t
b
i
,
so after computation we get
(B/p) =
d

i
b
i
.
Thus, the rhs of the ramication formula becomes
1
2

i
b
i

PSpec
1
(B)
v
P
(
B/A
) deg P =
1
2

i
b
i
deg
B/A
and we can conclude that deg J
B/A
= deg
B/A
.
2.3. Geometric properties 57
As a direct consequence of Propositions 2.8 and 2.9, we obtain the factorisation of J
B/A
.
Theorem 2.11. If A B is a nite graded polynomial extension, then we have, with the
notations above:
J
B/A
.
=

QSpec
ram
1
(B)
Q
e
Q
1
.
This formula settles the rst part of Thm. 2.1. In section 2.4 we will dene the well-ramied
property, in order to deal with its second part.
2.3 Geometric properties
In this section we recall some denitions and elementary facts about the ramication locus
and branch locus of a branched covering. These will be used in section 2.4, in order to give
geometric interpretations of the well-ramied property (Def. 2.16 and Prop. 2.17).
2.3.1 Ramication locus and branch locus
Let us dene the varieties U = Spec A and V = Spec B, so that to the extension A B (as
above), of degree r, corresponds an algebraic quasi-homogoneous nite morphism f : V U.
We denote by J the Jacobian of f.
Proposition 2.12. In V , we have equalities between:
(i) the set of points where f is not tale, i.e. zeros of the Jacobian J;
(ii) the union of the sets of zeros of the ramied polynomials of B;
(iii) the set of zeros of the generator
B/A
of the dierent D
B/A
.
This set is called the ramication locus V
ram
.
Proof. (ii)=(iii) comes from Prop. 2.7, and (iii)=(i) from Prop. 2.9.
The following (well-known) proposition gives an upper bound for the cardinality of the
bers of f.
Proposition 2.13. For all u U, [f
1
(u)[ r, where r is the degree of f.
We recall the proof for the convenience of the reader.
Proof. (After [Sha77, II.5.Thm.6].) Let u be in U, and write f
1
(u) = v
1
, . . . , v
m
. One can
easily nd an element b in B = O
V
such that all the values b(v
i
) are distinct.
As f is nite, B is a module of nite type (of rank r) over A. Thus, every element in B is
a root of a unitary polynomial with coecients in A, and degree less than or equal to r. Let
P A[T] be such a polynomial for b, and write P =

d
i=0
a
i
T
i
, with d r and a
d
= 1. We
have
d

i=0
a
i
b
i
= 0.
58 Chapter 2. Discriminants and Jacobians of virtual reflection groups
For j 1, . . . , m, as f(v
j
) = u, specializing the above identity at v
j
gives
d

i=0
a
i
(u)b(v
j
)
i
= 0.
So the polynomial

i
a
i
(u)T
i
has m distinct roots b(v
1
), . . . , b(v
m
), and has degree d, so we
obtain m d r.
Points in U whose ber does not have maximal cardinality are called branch points, and
form the branch locus of f in U:
U
branch
:=
_
u U ,

f
1
(u)

< r
_
.
It is easy to show that U
branch
is closed for the Zariski topology and is not equal to U (cf.
[Sha77, II.5.Thm. 7]), so that U U
branch
is dense in U.
Proposition 2.14. With the notations above, we have the following equality:
f(V
ram
) = U
branch
.
So V
ram
f
1
(U
branch
). Moreover, the restriction of f:
V f
1
(U
branch
) U U
branch
is a topological r-fold covering (for the transcendental topology).
Proof. We set U

:= U U
branch
and V

:= V f
1
(U
branch
); these are Zariski-open.
First, let u be in U
branch
. As U

is dense in U, we can nd a sequence u

(k)
of elements
in U

, whose limit is u. Let us write f

1
(u) = v
1
, . . . , v
p
(with p < r), and f
1
(u
(k)
) =
v
(k)
1
, . . . , v
(k)
r
. Up to extracting subsequences, we can assume that each sequence (v
(k)
i
)
kN
converges towards one of the v
j
. As r < n, we have at least two sequences, say v
(k)
1
and
v
(k)
2
, whose limit is the same element of f
1
(u), say v
1
. But for all k, we have v
(k)
1
,= v
(k)
2
and f(v
(k)
1
) = f(v
(k)
2
) = u
(k)
. If J(v
1
) ,= 0, this contradicts the inverse function theorem. So
J(v
1
) = 0, and u f(Z(J)) = f(V
ram
).
By [Sha77, II.5.3.Cor. 2], if f is unramied at u, then for all v f
1
(u), the tangent
mapping of f at v is an isomorphism. That means exactly that f
1
(U U
branch
) V Z(J),
i.e. f(Z(J)) U
branch
.
Let us x an element u in U

. For all v in f
1
(u), we know that J(v) ,= 0, so, by the
inverse function theorem, there exists a neighbourhood E
v
of v in V

such that the restriction

f : E
v
f(E
v
) is an isomorphism. Let us write f
1
(u) = v
1
, . . . , v
r
. Obviously we
can suppose that the E
v
i
s are pairwise disjoint. Then
u
:= f(A
v
1
) f(A
v
r
) is a
neighbourhood of u in U

, and for x in f
1
(
u
) there exists a unique i such that x is in
A
v
i
. Thus we get natural map f
1
(
u
)
u
1, . . . , r, x (f(x), i), which is clearly a
homeomorphism.
2.4. Well-ramified extensions 59
2.3.2 Ramication indices of a branched covering
As explained in the book of Namba
2
([Nam87, Ex. 1.1.2]), the map f is more precisely a nite
branched covering of U (according to [Nam87, Def. 1.1.1]), of degree r.
Because of the inclusion Z(J) = V
ram
f
1
(U
branch
), we know that the irreducible compo-
nents of f
1
(U
branch
) are the Z(Q), for Q Spec
ram
1
(B), plus possibly some other components
associated to unramied polynomials. We recall here, for the sake of completeness, some clas-
sical properties, thanks to which the ramication can be understood via the cardinality of the
bers (this will be needed in the next chapter).
Proposition 2.15 (After Namba). Let u be a non-singular point of U
branch
, and v f
1
(u).
Then:
(a) v is non-singular in f
1
(U
branch
). In particular, there is a unique irreducible component
C
v
of f
1
(U
branch
) containing v.
(b) There exists a connected open neighbourhood
v
of v such that, for the restriction of f:

f :
v
f(
v
) ,
for each u

in f(
v
) (U U
branch
), the cardinality of the ber

f
1
(u

) is the ramication
index e
q
of the ideal q Spec
1
(B) dening C
v
.
Proof. We refer to Theorem 1.1.8 and Corollary 1.1.13 in [Nam87].
2.4 Well-ramied extensions
2.4.1 The well-ramied property
As above we consider a nite graded polynomial extension A B, given by a morphism f.
We denote by J its Jacobian, and by e
Q
the ramication index of a polynomial Q Spec
1
(B).
Denition 2.16. We say that the extension A B, or the morphism f, is well-ramied, if:
(J) A =
_
_

QSpec
ram
1
(B)
Q
e
Q
_
_
.
Flagrantly, this denition makes the second part of Thm. 2.1 a tautology. So our ter-
minology might at this point seem quite mysterious. Actually the remaining of this chapter
will be concerned with giving several equivalent characterizations of well-ramied extensions
(Prop. 2.17), that ought to make this terminology (and the usefulness of this notion) much
more transparent.
2.4.2 Characterisations of the well-ramied property
Most of the characterisations given below are very elementary, but are worth mentioning so
as to get a full view of what is a well-ramied extension.
2. Thanks to Jos Ignacio Cogolludo for having suggested this reference to me.
60 Chapter 2. Discriminants and Jacobians of virtual reflection groups
Proposition 2.17. Let A B a nite graded polynomial extension, and f : V U its
associated morphism. The following properties are equivalent:
(i) the extension A B is well-ramied (as dened in 2.16);
(ii)
_
_

QSpec
ram
1
(B)
Q
_
_
A =
_
_

QSpec
ram
1
(B)
Q
e
Q
_
_
;
(iii) the polynomial

QSpec
ram
1
(B)
Q
e
Q
lies in A;
(iv) for any p Spec
1
(A), if there exists q
0
Spec
1
(B) over p which is ramied, then any
other q Spec
1
(B) over p is also ramied;
(v) if P is an irreducible polynomial in A, then, as a polynomial in B, either it is reduced,
or it is completely non-reduced, i.e. any of its irreducible factors appears at least twice;
(vi) f
1
(U
branch
) = V
ram
;
(vii) f(V
ram
) f(V V
ram
) = .
Proof. Let S :=

QSpec
ram
1
(B)
Q, and R :=

QSpec
ram
1
(B)
Q
e
Q
. From Thm. 2.11, we have
also: J =

QSpec
ram
1
(B)
Q
e
Q
1
.
We begin with some general elementary facts. We have (S) A =

QSpec
ram
1
(B)
(Q) A.
For Q Spec
ram
1
(B), denote by

Q an irreducible in A such that Q lies over

Q (i.e. (Q)A =

Q).
As we work in UFDs, we get that (S) A is principal, generated by

S := lcm
_

Q [ Q Spec
ram
1
(B)
_
.
For Q Spec
ram
1
(B), Q
e
Q
divides

Q, so R divides

S. Moreover, J divides R, so:

S (R) A (J) A. Conversely, S divides J, so: (J) A (S) A = (

S).
Thus we always have (J)A = (S)A, and the statement (ii) is just an alternate denition
of the well-ramied property: (i) (ii).
(iii) (ii): we have (S)A (R) and R (S). So R lies in A if and only if (S)A = (R).
(v) (iv), since (v) is just a polynomial rephrasing of (iv).
(iv) (iii): let us denote by Spec
ram
1
(A) the set of primes p in Spec
1
(A) such that there
exists at least one prime q over p which is ramied. Then:
R =

QSpec
ram
1
(B)
Q
e
Q
=

PSpec
ram
1
(A)

QSpec
ram
1
(B)
Q over P
Q
e
Q
. (*)
If we suppose (iv), then whenever P is in Spec
ram
1
(A), all the Q over P are ramied. Thus:
R =

PSpec
ram
1
(A)

Q over P
Q
e
Q
=

PSpec
ram
1
(A)
P
and the polynomial R lies in A.
2.4. Well-ramified extensions 61
Conversely, suppose that R lies in A. Consider P in Spec
ram
1
(A), and Q in Spec
1
(B) lying
over P. Then there exists Q
0
in Spec
ram
1
(B) such that (Q
0
) A = (P) = (Q) A. As (R) is
contained in (Q
0
) A, we obtain that Q also divides R, so is among the factors of the product
(*) above. Thus (Q) is ramied, and (iv) is veried.
(vii) (vi): if v lies in f
1
(U
branch
), we have f(v) U
branch
= f(V
ram
), so (vii) implies
v V
ram
. Thus f
1
(U
branch
) V
ram
. The other inclusion is from Prop. 2.14.
(i) (vii): we have (

S) = (J) A, so that Z(

S) = f(Z(J)). If the extension is well-

ramied, we obtain:

S
.
=

QSpec
ram
1
(B)
Q
e
Q
. Thus J and

S have the same irreducible factors
in B, which implies Z(J) = f
1
(Z(

S)). So f(V
ram
) = Z(

S), whereas f(V V

ram
) = UZ(

S).
(vi) (v): suppose that there exists Q in Spec
ram
1
(B), such that

Q has one irreducible
factor (in B) which is not a ramied polynomial, say M. Then we can choose v in Z(M)Z(J).
As M(v) = 0, we have

Q(f(v)) = 0 and

S(f(v)) = 0. So f(v) Z(

S) = f(Z(J)) = U
branch
,
which contradicts (i).
2.4.3 Examples and counterexamples
A fundamental case when the extension is well-ramied is the Galois case. If A = B
G
, with G
a (reection) group, all the ramication indices of the ideals over a prime of A are the same.
In our setting, the well-ramied property is somewhat a weak version of the normality (the
extension is always separable since we work in characteristic zero).
Of course the notion is strictly weaker than being a Galois extension. Take for example
the extension C[X
2
+Y
3
, X
2
Y
3
] C[X, Y ], with Jacobian J = 6XY
2
(X
2
Y
3
): the ramied
polynomials are (X) (index 2) and (Y ) (index 3), both above (X
2
Y
3
), and (X
2
Y
3
) (index
2), above ((X
2
Y
3
)
2
).
A simple example of a not well-ramied extension is:
A = C[X
2
Y, X
2
+Y ] C[X, Y ] = B,
which is free of rank 4. Here the ideal (X
2
Y ) in A has two ideals above in B: (X) which
is ramied and (Y ) which is not, so the extension is not well-ramied. We compute
B/A
=
Jac(f) = X(Y X
2
) = S (using the notations of the proof of Prop. 2.17). So R = X
2
(Y X
2
)
2
is not in A, actually (S) A is generated by X
2
Y (Y X
2
)
2
.
In the next chapter we will show that the Lyashko-Looijenga extensions are well-ramied
but not Galois (Thm. 3.3).
Chapter 3
Geometry of the Lyashko-Looijenga
morphism and submaximal
factorisations of a Coxeter element
In this chapter, we apply the results of Chapter 2 to the Lyashko-Looijenga morphism LL. We
prove that LL is a well-ramied morphism (according to Def. 2.16), and describe the ramied
polynomials in terms of the geometry of the discriminant hypersurface (see Thm. 3.3). Then
we use the constructions of Chapter 1 to deduce combinatorial results about the factorisations
of a Coxeter element in (n 1) blocks.
3.1 Lyashko-Looijenga morphisms and factorisations of a Cox-
eter element
Although we refer to Chapter 1 for the precise denitions of the morphism LL and the
block factorisations of a Coxeter element c, we do recall here a few useful constructions about
the strata of H, the map fact, and the relations between fact and LL, so that this chapter
should be intelligible without reading Chapter 1, except for the denitions of section 1.3.
The notations are the same as in Chapter 1. We x a well-generated, irreducible (nite)
complex reection group W, and we choose invariant polynomials f
1
, . . . , f
n
, homogeneous of
degrees d
1
d
n
= h, such that the discriminant of W has the form:

W
= f
n
n
+a
2
f
n2
n
+ +a
n
,
with a
i
C[f
1
, . . . , f
n1
]. The Lyashko-Looijenga morphism is then:
LL : C
n1
C
n1
(f
1
, . . . , f
n1
) (a
2
, . . . , a
n
)
We also use the notation LL to denote the set-theoretical incarnation of this algebraic mor-
phism, i.e. the map
Y E
n
y = (f
1
, . . . , f
n1
) multiset of roots of
W
(f
1
, . . . , f
n
) ,
where E
n
is the set of centered congurations of n points in C.
64 Chapter 3. Geometry of LL and submaximal factorisations
3.1.1 Discriminant stratication
The space V , together with the hyperplane arrangement /, admits a natural stratication by
the ats, elements of the intersection lattice L :=
_
HB
H [ B /
_
.
As the W-action on V maps ats to ats, this stratication gives rise to a quotient strat-
ication

L of WV :

L = WL = (p(L))
LL
= (W L)
LL
,
where p is the projection V WV . For each stratum in

L, we denote by
0
the
complement in of the union of the strata strictly included in . The (
0
)

L
form an open
stratication of WV , called the discriminant stratication.
There is a natural bijection between the set of ats in V and the set of parabolic subgroups
of W (Steinbergs theorem); this leads to a bijection between the stratication

L and the set of
conjugacy classes of parabolic subgroups. Moreover,

L is in bijection with the set of conjugacy
classes of parabolic Coxeter elements (which are Coxeter elements of parabolic subgroups).
Through these bijections, the codimension of a stratum corresponds to the rank of the
associated parabolic subgroup, and to the length of the parabolic Coxeter element. We refer
to Sect. 1.6 for details and proofs.
3.1.2 Geometric factorisations and compatibilities
In Sect. 1.4, we constructed, using the topology of H WV Y C, a map:
H W
(y, x) c
y,x
,
which satises the two fundamental properties (note that (y, x) lies in H if and only if the
multiset LL(y) contains x):
(P1) if (x
1
, . . . , x
p
) is the ordered support of LL(y) (for the lexicographical order on C R
2
),
then the p-tuple (c
y,x
1
, . . . , c
y,x
p
) lies in fact
p
(c);
(P2) for all x LL(y), c
y,x
is a parabolic Coxeter element; its length is equal to the multi-
plicity of x in LL(y), and its conjugacy class corresponds to the unique stratum in

L
such that (y, x)
0
.
According to property (P1), we call factorisation of c associated to y, and denote by fact(y),
the tuple (c
y,x
1
, . . . , c
y,x
p
) (where (x
1
, . . . , x
p
) is the ordered support of LL(y)).
Any block factorisation determines a composition of n. We can also associate to any
conguration of E
n
a composition of n, formed by the multiplicities of its elements in the
lexicographical order. Then property (P2) implies that for any y in Y , the compositions
associated to LL(y) and fact(y) are the same. The third fundamental property (Thm. 1.27)
is:
(P3) the map LLfact : Y E
n
fact(c) is injective, and its image is the entire set of
compatible pairs (i.e. with same associated composition).
In other words, for each y Y , the ber LL
1
(LL(y)) is in bijection (via fact) with the
set fact

(c) where is the composition of n associated to fact(y).

3.2. Lyashko-Looijenga extensions 65
3.2 Lyashko-Looijenga extensions
3.2.1 Ramication locus for LL
Let us rst explain the reason why LL is tale on Y / (as stated in Thm. 1.19), where
/ = y Y [ the multiset LL(y) has multiple points .
The argument goes back to Looijenga (in [Loo74]), and is used without details in the proof of
Lemma 5.6 of [Bes07a].
We begin with a more general setting. Let n 1, and P C[T
1
, . . . , T
n
] of the form:
P = T
n
n
+a
2
(T
1
, . . . , T
n1
)T
n2
n
+ +a
n
(T
1
, . . . T
n1
)
(here the polynomials a
i
do not need to be quasi-homogeneous). As in the case of LL we
dene the hypersurface H := P = 0 C
n
, and a map : C
n1
E
n
, sending y =
(T
1
, . . . , T
n1
) C
n1
to the multiset of roots of P(y, T
n
) (as a polynomial in T
n
). This map
can also be considered as the morphism y (a
2
(y), . . . , a
n
(y)).
We set:
J

(y) = Jac((a
2
, . . . , a
n
)/y) = det
_
a
i
T
j
_
2in
1jn1
Proposition 3.1 (after Looijenga). With the notations above, let y be a point in C
n1
, with
(y) being the multiset x
1
, . . . , x
n
. Suppose that the x
i
s are pairwise distinct.
Then the points (y, x
i
) are regular on H. Moreover, the n hyperplanes tangent to H at
(y, x
1
), . . . , (y, x
n
) are in general position if and only if J

(y) ,= 0 ( i.e. is tale at y).

Proof. Let be a point in H. If it exists, the hyperplane tangent to H at is directed by its
normal vector: grad

P =
_
P
T
1
(), . . . ,
P
T
n
()
_
.
Let y be a point in C
n1
such that the x
i
s associated are pairwise dictinct. Then the
polynomial in T
n
P(y, T
n
) has the x
i
s as simple roots, so for each i,
P
T
n
(y, x
i
) ,= 0, and the
point (y, x
i
) is regular on H.
The tangent hyperplanes associated to y are in general position if and only if det M
y
,= 0,
where M
y
is the matrix with columns:
_
grad
(y,x
1
)
P ; . . . ; grad
(y,x
n
)
P
_
.
After computation, we get: M
y
= A
y
V
y
, where
A
y
=
_

_
0
.
.
.
0
_
a
j
T
i
_
1in1
2jn
n 0 (n 2)a
2
(y) . . . a
n1
(y)
_

_
and V
y
=
_

_
x
n1
1
. . . x
n1
n
.
.
.
.
.
.
.
.
.
x
1
. . . x
n
1 . . . 1
_

_
.
As the x
i
s are distinct, the Vandermonde matrix V
y
is invertible. As det C
y
= nJ(y), we
can conclude that det M
y
,= 0 if and only if J

(y) ,= 0.
66 Chapter 3. Geometry of LL and submaximal factorisations
If the x
i
s are not distinct, nothing can be said in general. But if is a Lyashko-Looijenga
morphism LL, then we can deduce the following property.
Corollary 3.2. Let y be a point in C
n1
, and suppose that LL(y) contains n distinct points.
Then J
LL
(y) ,= 0.
In other words, LL is tale on (at least) Y /.
Proof. Set LL(y) = x
1
, . . . , x
n
. As the x
i
s are distinct, from lemma 3.1 one has to study
the hyperplanes tangent to H at (y, x
1
), . . . , (y, x
n
). By using their characterization in terms
of basic derivations of W, it is straightforward to show that the n hyperplanes are always in
general position: we refer to the proof of [Bes07a, Lemma 5.6].
In the following we will prove the equality Z(J
LL
) = /, i.e. that LL is tale exactly on
Y /.
3.2.2 The well-ramied property for LL
We know that LL is a nite quasihomogeneous map of degree n!h
n
/[W[. So we have, as in
Chapter 2, a graded nite polynomial extension
A = C[a
2
, . . . , a
n
] C[f
1
, . . . , f
n
] = B,
and we will use the same notations. In particular, LL is a branched covering (of E
n
, or of
C
n1
), and we can use the terminology and the properties of section 2.3.
Theorem 2.11 gives
J
LL
= Jac((a
2
, . . . , a
n
)/(f
1
, . . . , f
n1
)) =

QSpec
ram
1
(B)
Q
e
Q
1
.
Let us dene
D := Disc(f
n
n
+a
2
f
n2
n
+ +a
n
; f
n
) ,
so that / = LL
1
(E
n
E
reg
n
) is the zero locus of D in Y . The irreducible components of /
are naturally indexed by the conjugacy classes of parabolic subgroups of W of rank 2. Let us
recall from Sect. 1.6.3 and 1.7.1 some useful properties.
We denote by

L
2
the set of all closed strata in

L of codimension 2, and we dene the map
: WV Y C Y
v = (y, x) y
Then, using the notations and properties of section 3.1.2, we have:
y / x LL(y), with multiplicity 2
x LL(y), such that (c
y,x
) 2
x LL(y), such that (y, x)
0
for some stratum

L of codim. 2
x LL(y),

L
2
, such that (y, x)


L
2
, such that y ().
So the hypersurface / is the union of the (), for

L
2
; moreover, they are its
irreducible components, according to Prop. 1.46. Thus we can write
D =

L
2
D
r

,
3.2. Lyashko-Looijenga extensions 67
for some r

1, where the D

are irreducible polynomials in B such that () = Z(D

).
We can now give an important interpretation of the integers r

, and prove that LL is a

well-ramied morphism, according to Def. 2.16.
Theorem 3.3. Let LL be the Lyashko-Looijenga extension associated to a well-generated,
irreducible complex reection group, together with the above notations.
For any in

L
2
, let w be a (length 2) parabolic Coxeter element of W in the conjugacy class
corresponding to . Then r

is the number of reduced decompositions of w in two reections

(in the case when W is a 2-reection group, it is also the order of w).
Moreover, we have:
(a) LL is a well-ramied extension;
(b) D =

L
2
D
r

is a generator for the ideal (J

LL
) A;
(c) J
LL
.
=

L
2
D
r

, and the ramied polynomials of B are the D

.
Proof. The polynomial D is irreducible in A since, as a polynomial in a
2
, . . . , a
n
, it is the
discriminant of a reection group of type A
n1
. Therefore, for all in

L
2
, the inclusion
(D

) A (D)
is an inclusion between prime ideals of height one in A. So we have (D

) A = (D), and
e
D

= v
D

(D) = r

.
According to Corollary 3.2, if J
LL
(y) = 0, then LL(y) / E
reg
n
. So the variety of zeros of
J
LL
(dened by the ramied polynomials in B) is included in the preimage
LL
1
(Z(D)) =
_

L
2
Z(D

) .
Thus all the ramied polynomials in B are in D

,

L
2
.
Let

L
2
, and be the composition (2, 1, . . . , 1) of n. Choose = (w, s
3
, . . . , s
n
) in
fact

(c) such that the conjugacy class of w (the only element of length 2 in ) corresponds
to . Fix e E
n
, with composition type , and such that the real parts of its support are
distinct. There exists a unique y
0
in Y , such that LL(y
0
) = e and fact(y
0
) = (Property
(P3) in Sect. 3.1.2). Moreover this y
0
lies in () (property (P2)). Using Denition 1.21 of
the map fact, and the Hurwitz rule (Lemma 1.24), we deduce that for a suciently small
connected neighbourhood
0
of y
0
, if y is in
0
(Y /), then fact(y) is in
F
w
:= (s

1
, s

2
, . . . , s

n
) Red
R
(c) [ s

1
s

2
= w and s

i
= s
i
i 3.
Let us x y in
0
(Y /). Then, because of property (P3), we get an injection
fact : LL
1
(LL(y))
0
F
w
.
But this map is also surjective, thanks to the covering properties of LL and the transitivity
of the Hurwitz action on w (cf. Chapter 1). Indeed, we can braid s

1
and s

2
(by cyclically
68 Chapter 3. Geometry of LL and submaximal factorisations
intertwining the two corresponding points of LL(y), while staying in the neighbourhood) so
as to obtain any factorisation of w. Thus:
[ LL
1
(LL(y))
0
[ = [F
w
[ .
Using the characterization of the ramication index (Prop. 2.15), we infer
r

= e
D

= [F
w
[ ,
which is the number of reduced decompositions of w, i.e. the Lyahko-Looijenga number for
the parabolic subgroups in the conjugacy class .
For any rank 2 parabolic subgroup with degrees d

1
, h

, the LL-number is 2h

/d

1
. In the
particular case when W is a 2-reection group, such a subgroup is a dihedral group, hence r

is also the order h

of the associated parabolic Coxeter element w.

Consequently, for all

L
2
, e
D

is strictly greater than 1, so the D

,

L
2
are exactly
the ramied polynomials for the extension LL. This directly implies statement (c).
Moreover, we obtain that

QSpec
ram
1
(B)
Q
e
Q
=

L
2
D
e
D

= D
LL
,
so it lies in A. We recognize one of our characterization of a well-ramied extension (namely
Prop. 2.17(iii)), from which we deduce (a) and (b).
3.2.3 A more intrinsic denition of the Lyashko-Looijenga Jacobian
In this subsection we give an alternate denition for the Jacobian J
LL
, which is more
intrinsic, and which allows to recover a formula observed by K. Saito.
We will use the following elementary property.
Suppose P C[T
1
, . . . , T
n1
, X] has the form:
P = X
n
+b
1
X
n1
+ +b
n
,
with b
1
, . . . , b
n
C[T
1
, . . . , T
n1
]. Note that we do not require b
1
to be zero. Let us denote
by J(P) the polynomial:
J(P) := Jac
__
P,
P
X
, . . . ,

n1
P
X
n1
__
(T
1
, . . . , T
n1
, X)
_
.
Lemma 3.4. Let P be as above. We set Y = X +
b
1
n
and denote by Q the polynomial in
C[T
1
, . . . , T
n1
, Y ] such that Q(T
1
, . . . , T
n1
, Y ) = P(T
1
, . . . , T
n1
, X), so that Q = Y
n
+
a
2
Y
n2
+ +a
n
, with a
2
, . . . , a
n
C[T
1
, . . . , T
n1
].
We dene J(P) as above and J(Q) similarly (Y replacing X). Then:
(i) J(P) = J(Q);
(ii) J(P) does not depend on X, and J(P)
.
= Jac((a
2
, . . . , a
n
)/(T
1
, . . . , T
n1
)).
3.3. The Lyashko-Looijenga extension as a virtual reflection group 69
Proof. (i) Let us denote by A and B the n n matrices corresponding to J(P) and J(Q)
respectively. For j = 1, . . . , n, the j-th column of A is
A
j
:=
_

T
j
_

i
P
X
i
_
_
with i running from 0 to n 1 (here T
n
:= X).
We dene similarly B
j
(replacing P and X by Q and Y ). Then, we compute that
B
n
= A
n
, and for j = 1, . . . , n 1:
B
j
= A
j

1
n
b
1
T
j
A
n
.
So B and A have the same determinant and J(P) = J(Q).
(ii) Let us dierentiate J(P) with respect to X. If L
i
(i = 1, . . . , n) is the i-th line of the
matrix A, we have
L
n
X
= 0 , and for i = 1, . . . , n 1,
L
i
X
= L
i+1
.
So
(J(P))
X
= 0.
Similarly, J(Q) does not depend on Y . As a consequence, J(P)(T
1
, . . . , T
n1
, X) =
J(Q)(T
1
, . . . , T
n1
, 0), which is by denition clearly equal to
n!
_
n2

k=0
k!
_
Jac((a
2
, . . . , a
n
)/(T
1
, . . . , T
n1
)) .
Consequently, we have an intrinsic denition for the Lyashko-Looijenga Jacobian:
J
LL
.
= J(
W
) = Jac
__

W
,

W
f
n
, . . . ,

n1

W
f
n1
n
__
(f
1
, . . . , f
n
)
_
.
where f
1
, . . . , f
n
do not need to be chosen such that the coecient of f
n1
n
in
W
is zero.
Note that for the computation of D
LL
also, the fact that the coecient a
1
is zero in
W
is not important, because of invariance by translation.
Remark 3.5. With these alternative denitions, the factorisation of the Jacobian given by
Thm. 3.3 has already been observed (for real groups) by Kyoji Saito: it is Formula 2.2.3 in
[Sai04a]. He uses this formula in his study of the semi-algebraic geometry of the quotient
WV .
His proof was case-by-case and detailed in an unpublished extended version of the paper
([Sai, Lemma 3.5]).
70 Chapter 3. Geometry of LL and submaximal factorisations
Complex reection group Lyashko-Looijenga extension
Morphism:
p : V WV
(v
1
, . . . , v
n
) (f
1
(v), . . . , f
n
(v))
LL : Y C
n1
(y
1
, . . . , y
n1
) (a
2
(y), . . . , a
n
(y))
Extension:
C[f
1
, . . . , f
n
] = C[V ]
W
C[V ] C[a
2
, . . . , a
n
] C[y
1
, . . . , y
n1
]
Free, of rank:
[W[ = d
1
. . . d
n
; Galois n!h
n
/[W[ =

ih/

d
j
; non-Galois
Weights:
deg v
j
= 1, deg f
i
= d
i
deg y
j
= d
j
, deg a
i
= ih
Unramied
covering:
V
reg
WV
reg
Y / E
reg
n
Generic ber:
W Red
R
(c)
Ramied part:

HA
H (

H)/W = H / =

L
2
() E

Discriminant:

W
=

HA

e
H
H
C[f
1
, . . . , f
n
] D
LL
=

L
2
D
r

C[a
2
, . . . , a
n
]
Ramication
indices:
e
H
= [W
H
[
r

= order of parabolic elements of

type
Jacobian:
J
W
=

e
H
1
H
C[V ] J
LL
=

D
r

C[f
1
, . . . , f
n1
]
Table 3.1: Analogies between Galois extensions and Lyashko-Looijenga extensions.
3.3 The Lyashko-Looijenga extension as a virtual reection group
In Table 3.1 we list the rst analogies between the setting of Galois extensions (polynomial
extension with a reection group acting) and that of the Lyashko-Looijenga extensions, which
are an example of virtual reection groups, in the sense of Bessis. This is not an exhaustive
list, and we may wonder if the analogies can be made further.
3.4 Combinatorics of the submaximal factorisations
In this section we are going to use Thm. 3.3 to count specic factorisations of a Coxeter
element; this will lead to a geometric proof of a particular instantiation of Chapotons formula.
3.4. Combinatorics of the submaximal factorisations 71
We call submaximal factorisation of a Coxeter element c a primitive block factorisation of
c with partition = 2
1
1
n2
n, according to Def. 1.3. Submaximal factorisations are thus
exactly factorisations of c in n 1 blocks ((n 2) reections and one factor of length 2), and
as such are a natural rst generalisation of the set of reduced decompositions Red
R
(c).
Let be a stratum of

L
2
: it corresponds to a conjugacy class of parabolic Coxeter elements
of length 2. We say that a submaximal factorisation is of type if its factor of length 2 lies
in this conjugacy class. We denote by fact

n1
(c) the set of such factorisations. Using the
relations between LL and fact, we can count these factorisations.
For a stratum of

L
2
, let us dene the following restriction of LL:
LL

: () E

,
where E

= E
n
E
reg
n
. We recall that E
0

is the subset of E

constituted by the congurations

whose partition is exactly = 2
1
1
n2
.
If we dene ()
0
= LL
1

(E
0

), and /
0
= LL
1
(E
0

) =

L
2
()
0
, then from Chapter 1
we have the following properties:
the restriction of LL : /
0
E
0

is a (possibly not connected) unramied covering

(Thm. 1.28);
the connected components of /
0
are the ()
0
, for

L
2
;
the image, by the map fact, of ()
0
is exactly fact

n1
(c);
via fact, the Hurwitz action on fact
n1
(c) corresponds to the monodromy action on
/
0
; so the orbits are the fact

n1
(c) (Thm. 1.48).
The map LL

dened above is an algebraic morphism, corresponding to the extension

C[a
2
, . . . , a
n
]/(D) C[f
1
, . . . , f
n1
]/(D

) .
Theorem 3.6. Let be a strata of

L
2
. Then:
(a) LL

is a nite quasi-homogeneous morphism of degree

(n2)! h
n1
|W|
deg D

;
(b) the number of submaximal factorisations of c of type is equal to
[ fact

n1
(c)[ =
(n 1)! h
n1
[W[
deg D

.
Proof. From Hilbert series, we get that LL

is a nite free extension of degree

deg(a
i
)
deg(D)
_
deg(f
i
)
deg(D

)
=
n! h
n
[W[
deg D

deg D
.
(a) As D is a discriminant of type A for the variables a
2
, . . . , a
n
of weights 2h, . . . , nh, we
have deg D = n(n 1)h. Thus:
deg(LL

) =
(n 2)! h
n1
[W[
deg D

.
72 Chapter 3. Geometry of LL and submaximal factorisations
(b) This degree is also the cardinality of a generic ber of LL

, i.e. [ LL
1
() ()[, for
E
0

. Consequently, from property (P3) in Sect. 3.1.2, it counts the number of submaximal
factorisations of type , where the length 2 element has a place xed (given by the composition
of n associated to ). There are (n 1) compositions of partition type n, so we obtain
[ fact

n1
(c)[ = (n 1) deg(LL

) =
(n1)! h
n1
|W|
deg D

.
Remark 3.7. Let us denote by fact

(2,1,...,1)
(c) the set of submaximal factorisations of type
where the length 2 factor is in rst position. By symmetry, formula (b) is equivalent to
[ fact

(2,1,...,1)
(c)[ =
(n 2)! h
n1
[W[
deg D

.
As

r

deg D

= deg D = n(n 1)h, this implies the equality :

L
2
r

[ fact

(2,1,...,1)
(c)[ =
(n 2)! h
n1
[W[
deg D =
n!h
n
[W[
= [ Red
R
(c)[ .
This formula is actually not surprising, since for the concatenation map:
Red
R
(c) fact
(2,1,...,1)
(c)
(s
1
, s
2
, . . . , s
n
) (s
1
s
2
, s
3
, . . . , s
n
) ,
the ber of a factorisation of type has indeed cardinality r

(which is the number of fac-

torisations of the rst factor in two reections).
Remark 3.8. In [KM10], motivated by the enumerative theory of the generalised non-crossing
partitions, Krattenthaler and Mller dened and computed the decomposition numbers of a
Coxeter element, for all irreducible real reection groups. In our terminology, these are the
numbers of block factorisations according to the Coxeter type of the factors. Note that the
Coxeter type of a parabolic Coxeter element is the type of its associated parabolic subgroup,
in the sense of the classication of nite Coxeter groups. So the conjugacy class for a parabolic
elements is a ner characteristic than the Coxeter type: take for example D
4
, where there are
three conjugacy classes of parabolic elements of type A
1
A
1
.
Nevertheless, when W is real, most of the results obtained from formula (b) in Thm. 3.6
are very specic cases of the computations in [KM10]. But the method of proof is completely
dierent, geometric instead of combinatorial
1
. Note that another possible way to tackle this
problem is to use a recursion, to obtain data for the group from the data for its parabolic
subgroups. A recursion formula (for factorisations where the rank of each factor is dictated)
is indeed given by Reading in [Rea08], but the proof is very specic to the real case.
For W non-real, formula (b) implies new combinatorial results on the factorisation of a
Coxeter element. The numerical data for all irreducible well-generated complex reection
groups are listed in Appendix A. In particular, we obtain (geometrically) general formulas for
the submaximal factorisations of a given type in G(e, e, n).
1. The computation of all decomposition numbers for complex groups, by combinatorial means, is also a
work in progress (Krattenthaler, personal communication).
3.5. Chapotons formula and submaximal factorisations 73
3.5 Chapotons formula and submaximal factorisations
If W is a well-generated complex reection group, we recall that the noncrossing partition
lattice of type W is the poset of divisors of a xed Coxeter element c:
ncp
W
(c) := w W [ w c ,
where is the absolute order of W (see Def. 1.7).
3.5.1 Chapotons formula for the number of multichains
Chapotons formula gives the number of multichains of a given length in the poset (ncp
W
, ):
Theorem 3.9 (Chapotons formula). Let W be an irreducible well-generated complex reec-
tion group, of rank n. Then, for any N N, the number of multichains w
1
w
N
c
in the poset ncp
W
is equal to :
Cat
(N)
(W) =
n

i=1
d
i
+Nh
d
i
,
where d
1
d
n
= h are the invariant degrees of W.
The numbers Cat
(N)
(W) are called Fuss-Catalan numbers of type W, and count also other
combinatorial objects, for example in cluster algebras, as we explained in the introduction.
In the real case, this formula was rst observed by Chapoton in [Cha05, Prop. 9]; the
proof is case-by-case, and mainly uses results by Athanasiadis and Reiner [Rei97, AR04]. The
remaining complex cases are checked by Bessis in [Bes07a], using his study of the innite series
G(e, e, r) with Corran [BC06]. There is still no case-free proof of this formula.
Corollary 3.10. Let W be an irreducible well-generated complex reection group, with invari-
ant degrees d
1
d
n
= h. Then :
(i) the cardinality of ncp
W
is
n

i=1
d
i
+h
d
i
(Catalan number of type W);
(ii) the number of reduced decompositions of a Coxeter element is
n!h
n
[W[
(Lyashko-Looijenga
number of type W).
Both formulas are of course consequences of Thm. 3.9 : (i) is just the case N = 1, and (ii)
comes from the computation of maximal strict chains in a poset. But historically, they have
been observed before Chapotons formula. In the Coxeter types, (ii) has been conjectured by
Looijenga in [Loo74], and proved later by Deligne [Del74]. Still today, the only known proofs
are case-by-case.
3.5.2 Number of submaximal factorisations of a Coxeter element
Using the previous results of this chapter, we can state here a formula for the number of
submaximal factorisations, with a geometric proof:
74 Chapter 3. Geometry of LL and submaximal factorisations
Theorem 3.11. Let W be an irreducible well-generated complex reection group, with invari-
ant degrees d
1
d
n
= h. Then, the number of submaximal factorisations of a Coxeter
element c is equal to:
[ fact
n1
(c)[ =
(n 1)! h
n1
[W[
_
(n 1)(n 2)
2
h +
n1

i=1
d
i
_
.
Proof. Using Thm. 3.6(b) and Thm. 3.3(b)-(c), we compute:
[ fact
n1
(c)[ = [ fact

(c)[ =

L
2
[ fact

n1
(c)[
=
(n 1)! h
n1
[W[

L
2
deg D

=
(n 1)! h
n1
[W[
(deg D
LL
deg J
LL
) ,
As deg D
LL
= n(n 1)h and deg J
LL
=

n
i=2
deg(a
i
)

n1
j=1
deg(f
j
) =

n
i=2
ih

n1
j=1
d
j
,
a quick computation gives the conclusion.
Remark 3.12. The formula in the above theorem is actually included in Chapotons formula:
indeed, there exist easy combinatorial tricks allowing to pass from the numbers of multichains
to the numbers of strict chains (which are roughly the numbers of block factorisations). In
the Appendix B, we detail these relations, and give the formulas for the number of block
factorisations predicted by Chapotons formula.
However, the proof we obtained here is more satisfactory (and more enlightening) than
the one using Chapotons formula. Indeed, if we recapitulate the ingredients of the proof, we
only made use of the formula for the Lyashko-Looijenga number (Cor. 3.10(b)) necessary to
prove the rst properties of LL in [Bes07a] , the remaining being the geometric properties
of LL, for which we never used the classication. In other words, we travelled from the
numerology of Red
R
(c) to that of fact
n1
(c), without adding any case-by-case analysis to
the setting of [Bes07a].
Although it seems to be a new interesting avenue towards a geometric explanation of
Chapotons formula, the method used here to compute the number of submaximal factori-
sations is not directly generalisable to factorisations with fewer blocks. A more promising
approach would be to avoid computing explicitely these factorisations, and to try to under-
stand globally Chapotons formula as some ramication formula for the morphism LL (see
Remark B.2).
Appendix A
Numerical data for the factorisations
of the Lyashko-Looijenga
discriminants
A.1 Description
This appendix details explicit numerical data regarding the factorisation of the discriminant
polynomial D
LL
, where LL is the Lyashko-Looijenga morphism associated to a well-generated
irreducible reection group.
For such a group W, let us recall the denition (from Sect. 3.2.2):
D
LL
= Disc(
W
(f
1
, . . . , f
n
); f
n
) ,
where
W
is the discriminant of W (i.e. the equation of the union of the reecting hyperplanes
in the quotient WV ), and f
1
, . . . , f
n
are the fundamental invariant polynomials of W (f
n
being the one with maximal degree).
Let us write (as in 3.2.2)
D
LL
=
r

i=1
D
p
i
i
the factorisation of D
LL
in irreducible polynomials of C[f
1
, . . . , f
n
] (actually, the factorisation
holds in K
W
[f
1
, . . . , f
n
], where K
W
is the eld of denition of W).
In the table A.1, we give, for each irreducible well-generated group, the weighted degrees
deg(D
i
) and the powers p
i
which appear in the factorisation above. It is enough to deal with
the 2-reection groups (those generated by reections of order 2), because any irreducible
complex reection group is isodiscriminantal to a 2-reection group (see [Bes07a, Thm.2.2]):
it has the same discriminant , and consequently the same braid group and the same D
LL
.
Thus we only have to treat the four innite series A
n
, B
n
, I
2
(e), G(e, e, n), and 11 exceptional
types (including the 6 exceptional Coxeter groups).
76 Appendix A. Numerical data for the factorisations
Notations
In the last column of table A.1, the LL-data:
p
1
(u
1
) + p
2
(u
2
) + + p
r
(u
r
)
means that the form of the factorisation is D
LL
=

r
i=1
D
p
i
i
with deg D
i
= u
i
. Thus this
writing reects the additive decomposition of deg D
LL
= n(n 1)h (where n = rk(W) and
h = d
n
) in terms of the u
i
:
deg D
LL
=

i
p
i
u
i
.
By-products
These numbers (p
i
, u
i
) have many combinatorial interpretations. In particular, thanks to
Theorems 3.3 and 3.6, we have:
the number of conjugacy classes of parabolic Coxeter elements of length 2 is the number
of terms in the sum (each term (p
i
, u
i
) of the sum corresponds to one of these classes,
say
i
);
the order of the elements in
i
is p
i
(provided W is a 2-reection group);
the number [ fact

i
(2,1,...,1)
(c)[ of submaximal factorisations of a Coxeter element c, whose
rst factor is in the class
i
, equals
(n2)! h
n1
|W|
u
i
.
As a consequence, the LL-data of the last column, when multiplied by the scalar
(n2)! h
n1
|W|
(which is listed in the second column), gives rise to the following equality:

i
p
i
[ fact

i
(2,1,...,1)
(c)[ =
(n 2)! h
n1
[W[
deg D
=
n! h
n
[W[
= [ Red
R
(c)[ ,
which simply reects the enumeration of bers of the concatenation map (see Remark 3.7).
Red
R
(c) fact
(2,1,...,1)
(c)
(r
1
, r
2
, . . . , r
n
) (r
1
r
2
, r
3
, . . . , r
n
) .
A.1. Description 77
G
r
o
u
p
t
y
p
e
[
I
s
o
d
i
s
c
r
i
m
i
n
a
n
t
a
l
g
r
o
u
p
s
]
(
n

2
)
!
h
n

1
_
[
W
[
L
L
-
d
a
t
a
A
n
,
n

2
.
[
G
4
,
G
8
,
G
1
6
,
G
2
5
,
G
3
2
]
(
n
+
1
)
n

2
_
(
n
(
n

1
)
)
2

(
n
(
n

1
)
(
n

2
)
/
2
)
+
3

(
n
(
n

1
)
)
B
n
,
n

2
.
[
G
(
d
,
1
,
n
)
,
G
5
,
G
1
0
,
G
1
8
,
G
2
6
]
n
n

2
_
(
2
(
n

1
)
)
2

(
(
n

1
)
(
n

2
)
(
n

3
)
)
+
2

(
2
(
n

1
)
(
n

2
)
)
+
3

(
2
(
n

1
)
(
n

2
)
)
+
4

(
2
(
n

1
)
)
I
2
(
e
)
[
G
6
,
G
9
,
G
1
7
,
G
1
4
,
G
2
0
,
G
2
1
]
1
/
2
e

(
2
)
G
(
e
,
e
,
n
)
,
e

2
,
n

5
(
=
D
n
f
o
r
e
=
2
)
(
n

1
)
n

2
_
n
2

(
n
(
n

2
)
(
n

3
)
e
/
2
)
+
3

(
n
(
n

2
)
e
)
+
e

(
n
)
G
(
e
,
e
,
3
)
,
e

3
2
/
3
I
f
3

e
:
3

(
3
e
)
+
e

(
3
)
I
f
3
[
e
:
3

(
e
)
+
3

(
e
)
+
3

(
e
)
+
e

(
3
)
G
(
e
,
e
,
4
)
,
e

2
(
=
D
4
f
o
r
e
=
2
)
9
/
4
I
f
e
o
d
d
:
2

(
4
e
)
+
3

(
8
e
)
+
e

(
4
)
I
f
e
e
v
e
n
:
2

(
2
e
)
+
2

(
2
e
)
+
3

(
8
e
)
+
e

(
4
)
G
2
3
(
=
H
3
)
5
/
6
2

(
6
)
+
3

(
6
)
+
5

(
6
)
G
2
4
7
/
1
2
3

(
1
2
)
+
4

(
1
2
)
G
2
7
5
/
1
2
3

(
1
2
)
+
3

(
1
2
)
+
4

(
1
2
)
+
5

(
1
2
)
G
2
8
(
=
F
4
)
3
2

(
2
4
)
+
3

(
8
)
+
3

(
8
)
+
4

(
1
2
)
G
2
9
2
5
/
1
2
2

(
2
4
)
+
3

(
4
8
)
+
4

(
1
2
)
G
3
0
(
=
H
4
)
1
5
/
4
2

(
6
0
)
+
3

(
4
0
)
+
5

(
2
4
)
G
3
3
2
4
3
/
2
0
2

(
6
0
)
+
3

(
8
0
)
G
3
4
2
4
0
1
/
3
0
2

(
2
7
0
)
+
3

(
2
4
0
)
G
3
5
(
=
E
6
)
5
7
6
/
5
2

(
9
0
)
+
3

(
6
0
)
G
3
6
(
=
E
7
)
1
9
6
8
3
/
1
4
2

(
2
1
0
)
+
3

(
1
1
2
)
G
3
7
(
=
E
8
)
1
2
6
5
6
2
5
/
5
6
2

(
5
0
4
)
+
3

(
2
2
4
)
Table A.1: Factorisation of the LL-discriminant for irreducible well-generated groups
78 Appendix A. Numerical data for the factorisations
A.2 Computations
Let us explain how Table A.1 was obtained. As mentioned in Remark 3.8, the numerical results
about the [ fact

i
(2,1,...,1)
(c)[, for W real, are particular cases of the decomposition numbers
computed by Krattenthaler-Mller in [KM10], namely the N
W
(T
1
, A
1
, . . . , A
1
), where T
1
is a
rank 2 group type.
For some types we are able to directly recover these numbers just by explicitely factoris-
ing D
LL
. When this factorisation is not easily computable, we rather rely on [KM10], thus
obtaining the geometric properties of the discriminant through combinatorial means.
For non-real groups, we cannot rely on [KM10], and the corresponding entries of the table
are new results.
Remark A.1. For Coxeter groups, the degrees of certain factors of D
LL
have also been
computed by Saito in [Sai], in order to check case-by-case the formula of Thm. 3.3(c).
In the following, we detail the methods of computation that we used.
A.2.1 Straightforward cases
Let W be a well-generated irreducible 2-reection group. Suppose that there are only two
conjugacy classes of parabolic Coxeter elements of length 2, and that we know the orders of
their elements p
1
, p
2
. Then, from Thm. 3.3, the discriminant D
LL
and the Jacobian J
LL
have
the form:
D
LL
= D
p
1
1
D
p
2
2
; J
LL
= D
p
1
1
1
D
p
2
1
2
.
In order to nd the degrees u
1
= deg D
1
and u
2
= deg D
2
, we then just have to solve the
following system:
_

_
p
1
u
1
+ p
2
u
2
= deg D
LL
= n(n 1)h
(p
1
1) u
1
+ (p
2
1) u
2
= deg J
LL
=
n

i=2
(ih)
n1

j=1
d
j
.
This allows to easily tackle the cases
1
of A
n
, G
24
, and the large exceptional types G
33
through G
37
.
A.2.2 Other exceptional types
We can explicitly compute the discriminant
W
, via the matrix of basic derivations, following
the strategy described in the Appendix B of [OT92]. We use the software GAP3 [S
+
97]
together with its packages CHEVIE [GHL
+
96] and VKCURVE [BM03]
2
. Then we compute the
discriminant D
LL
and its factorisation in irreducibles, which is an easy task in Maple, or any
symbolic computation software (here the rank is never greater than 5).
1. The conjugacy classes of length 2 parabolic elements can be found using the package CHEVIE of GAP3.
2. Most of the implementation of [OT92] is already available in VKCURVE.
A.2. Computations 79
A.2.3 Series B
n
For W = B
n
, we can take for each invariant f
i
(i = 1, . . . , n) the i-th elementary symmetric
polynomial in x
2
1
, . . . , x
2
n
; then the discriminant can be written as:

W
= f
n
Disc(T
n
f
1
T
n1
+ + (1)
n
f
n
; T) .
It should be possible to study in general the factorisation in Q[f
1
, . . . , f
n
] of the polynomial
Disc(
W
; f
n
); however it is much simpler here to use the numerical results in [KM10] and to
apply the formula of Thm. 3.6.
Note that [KM10] gives the number of factorisations according to the Coxeter type of the
parabolic subgroup associated to the factor; here we rather need these numbers according to
the conjugacy classes of the factors. In this case, this comes back to use the data for the
combinatorial types of B
n
, see [KM10, Sect. 2].
Let us denote by t, s
2
, . . . , s
n
a set of Coxeter generators for B
n
(with m
t,s
2
= 4, m
s
i
,s
i+1
=
3, the other ones being 2). If n 4, there are in B
n
four conjugacy classes of parabolic Coxeter
elements of length 2:
the class (denoted
4
) containing ts
2
(elements of order 4);
the class (
3
) of the s
i
s
i+1
s (order 3);
the class (
2
) of the s
i
s
j
s, for [i j[ > 1 (order 2);
the class (

2
) of the ts
i
s, for i > 2 (order 2).
Then, with our notations and those of [KM10, Sect. 5], we have:
[ fact

4
(2,1,...,1)
(c)[ = N
comb
B
n
(B
2
, A
1
, . . . , A
1
)
[ fact

3
(2,1,...,1)
(c)[ = (n 2) N
comb
B
n
(A
2
, B
1
, A
1
, . . . , A
1
)
[ fact

2
(2,1,...,1)
(c)[ = (n 2) N
comb
B
n
(A
2
1
, B
1
, A
1
, . . . , A
1
)
[ fact

2
(2,1,...,1)
(c)[ = N
comb
B
n
(B
1
A
1
, A
1
, . . . , A
1
) .
The results are listed in the table A.1.
A.2.4 Series G(e, e, n)
If W = G(e, e, n) (with n 3, e 2), we can take for the invariants:
f
1
= x
1
. . . x
n
; f
i
=
i1
(x
e
1
, . . . , x
e
n
) (i = 2, . . . , n) ,
where
i
is the i-th elementary symmetric polynomial (note that here f
1
is not necessarily the
invariant of lowest degree, but f
n
is still the one of highest degree h = (n 1)e). Then the
discriminant is equal to:

W
= Disc(T
n
f
2
T
n1
+ + (1)
n1
f
n
T + (1)
n
f
e
1
; T) .
Let us x n, and denote by
[e]
, D
[e]
LL
and J
[e]
LL
the discriminant, LL-discriminant and
LL-Jacobian for G(e, e, n). They depend only slightly on e, namely:

[e]
(f
1
, . . . , f
n
) = P(f
e
1
, f
2
, . . . , f
n
)
80 Appendix A. Numerical data for the factorisations
for a polynomial P independent of e, and
D
[e]
LL
(f
1
, . . . , f
n1
) = Q(f
e
1
, f
2
, . . . , f
n1
) (1)
where Q(X
1
, . . . , X
n1
) = Disc(P(X
1
, . . . , X
n
); X
n
). Moreover, an easy computation shows:
J
[e]
LL
(f
1
, . . . , f
n1
) = ef
e1
1
J
1
(f
e
1
, f
2
, . . . , f
n
) (2)
where J
1
(X
1
, . . . , X
n
) = Jac((P,
P
X
n
, . . . ,

n1
P
X
n1
n
); (X
1
, . . . , X
n
)) (see Sect. 3.2.3).
We will need the following lemma:
Lemma A.2. If n 5 and e 4, then there are in G(e, e, n) three conjugacy classes of
parabolic Coxeter elements of length 2. The orders of the elements in these classes are 2, 3,
e, respectively.
Proof. We use the representation of elements of ncp
W
as noncrossing partitions of type
(e, e, n), described by Bessis-Corran. We explain roughly the method, strongly relying on
their paper [BC06].
The lattice ncp
W
is isomorphic to the set NCP(e, e, n) of the non-crossing partitions u of

e(n1)
0 where
p
is the p-gon of p-th roots of unity in C, such that, forgetting 0,
u is e-symmetric (i.e. xed by the natural action of the group
e
on partitions of
e(n1)
).
Elements NCP(e, e, n) fall into three types, according to the geometric shape of the par-
tition: short symmetric, long symmetric, or asymmetric (see Def. 1.15
3
). Moreover, we have
a notion of height for an element of NCP(e, e, n) (see Sect. 1.8), which is equal to the length
of the corresponding element of W (Lemma 4.1). There is a natural geometric way to see ele-
ments of NCP(e, e, n) as braids of B(W) or elements of W (Sect. 2.3). With these ingredients,
we can describe the elements of length 2 of ncp
W
according to their types:
(i) Short symmetric. Let us x a maximal short symmetric element v. Its partition contains
e blocks of size n 1, each of its divisors is also short symmetric, and the lattice under
v is isomorphic to the set of classical noncrossing partitions ncp(n 1) (or ncp
A
n2
).
Using the type A case, we deduce that there are two conjugacy classes of divisors of v of
height 2, corresponding to the orders 2 and 3. Moreover, any short symmetric element u
is conjugate to a divisor of v: use the conjugation by the Coxeter element c, which acts
as a rotation of the partition.
(ii) Long symmetric. If u is a long symmetric element of height 2, then its partition has
necessarily only one part which is not a singleton, and this part must be a regular e-
gon (together with 0). All the elements of this type are obviously of order e, and
conjugated to each other by the action of c (rotation).
(iii) Asymmetric. If u is an asymmetric element, let us denote by u

the partition obtained

from u by forgetting the point 0. Then, u has height 2 when in each e-sector of u

there
are one part of size 2 and n 3 singletons.
If in the partition of u, 0 is with a 2-part of u

, then u has order 3. It can be

brought down to a short symmetric element of (i) by conjugation with an adapted
asymmetric height 1 element (note that it requires n 1 3).
3. All the references in this proof are to [BC06].
A.2. Computations 81
If in the partition of u, 0 is with a singleton of u

, then u has order 2. It can also be

brought down to a short symmetric element of (i) by conjugation with an adapted
asymmetric height 1 element (providing this time that n 1 4).
As e ,= 2, 3, we can conclude.
Remark A.3. When e = 2 or 3, the proof only shows that there are two or three conjugacy
classes, according to whether the long symmetric elements are in a specic class or not.
Actually, the result is always three, as we will see below.
If we suppose that n 5 and e 4, the lemma implies that the LL-discriminant and
Jacobian associated to G(e, e, n) have the form (using Thm. 3.3):
D
[e]
LL
= D
2
2
D
3
3
D
e
e
; J
[e]
LL
= D
2
D
2
3
D
e1
e
,
where D
2
, D
3
, D
e
are irreducible in C[f
1
, . . . f
n1
]. Thanks to equation 2, we know that f
e1
1
divides J
[e]
LL
, so D
e
.
= f
1
.
Because of equation 1, if e

divides e, then the irreducible factorisation of D

[e

]
LL
is a rene-
ment of the one of D
[e]
LL
. But, as explained in the remark above, even when e

= 2 or 3, there
are at most three conjugacy classes of length 2 parabolic Coxeter elements in G(e

, e

, n), so
at most three irreducible factors in D
[e

]
LL
. Using for example e = 6, it proves that D
[e

]
LL
, for
e

= 2 or 3, has also an irreducible factorisation of the form: D

2
2
D
3
3
f
e
1
.
To complete the table, it remains to compute deg D
2
and deg D
3
in function of e, n. This
is easily done using the same method as in section A.2.1, because we have two equations and
only two unknowns left.
When n 4, the factorisation can be ner than the general one.
If n = 3, we compute D
[e]
LL
= f
e
1
(27f
e
1
f
3
2
)
3
. The second factor is irreducible when
e / 3Z; otherwise, it decomposes into three factors, each of degree e.
If n = 4, as in the general case, the proof of Lemma A.2 shows that D
[e]
LL
= f
e
1
D
2
2
D
3
3
,
with D
3
irreducible but D
2
possibly reducible. The computation gives the equality
D
2
.
= 64f
e
1
(f
2
2
4f
3
)
2
, so D
2
is irreducible if and only if e is odd.
All the numerical data are gathered in the table A.1.
Appendix B
Chains, multichains and block
factorisations
In this appendix we give the formulas relating the numbers of multichains and of block fac-
torisations, and we deduce the equalities predicted by Chapotons formula for factorisations
of a Coxeter element.
B.1 Multichains and factorisations in an ordered group
The relation between multichains and factorisations in ncp
W
can easily be deduced from the
relation between strict chains and multichains, which is classical material (see Chap. 3.11 in
[Sta97a]). For the sake of completeness, we give here direct proofs of the formulas relating
multichains and block factorisations, in the general setting of a poset order given by the
divisibility in a generated group (G, A).
Let Gbe a nite group, and Aa generating set for G. We denote by
A
the associated length
function, and
A
the associated partial order on G: u
A
v if and only if
A
(u) +
A
(u
1
v) =

A
(v). We x an element c in G, and denote by P
c
the interval [1, c] for the order
A
.
Denition B.1. Let p be a positive integer.
A p-multichain in P
c
is a chain u
1

A
. . .
A
u
p

A
c; the number of such chains is
denoted by ch
p
.
A p-block-factorisation (of c) is a p-tuple (g
1
, . . . , g
p
) of elements in G 1 such that
c = g
1
. . . g
p
and
A
(c) =
A
(g
1
) + +
A
(g
p
); the number of such factorisations is
denoted by fact
p
.
For N N

, any N-multichain u
1

A
. . .
A
u
N
denes a unique p-block-factorisation
(for a p N + 1): rst transform the multichain u
1

A
. . .
A
u
N

A
c in a strict chain
1 = v
0

A
v
1

A
. . .
A
v
p
= c by erasing the redundant elements, then dene g
i
= v
1
i1
v
i
for
i = 1, . . . , p.
Let us count how many multichains give rise to a xed factorisation (g
1
, . . . , g
p
) with this
operation. If we dene h
i
:= g
1
. . . g
i
, these are the multichains of the form
1
A
. . .
A
1
. .
r
0
times

A
h
1

A
. . .
A
h
1
. .
r
1
times

A
. . .
A
h
p

A
. . .
A
h
p
. .
r
p
times
,
84 Appendix B. Chains, multichains and block factorisations
with r
0
0, r
p
0, and r
i
1 for i = 1, . . . , p 1. It remains to compute the number of
(r
0
, . . . , r
p
) in N

N
p1
N

such that

r
i
= N. This corresponds to choose p distinct
elements in 0, . . . , N (then take for the r
i
the lengths of the intervals which are cut out).
So:
ch
N
=

p1
_
N + 1
p
_
fact
p
. (1)
We can inverse the formula, using the discrete derivative operator : for f : C C, it is
dened by f := (x f(x + 1) f(x)). It is well known that f is polynomial if and only if

k
f = 0 for k large enough, and for P polynomial we have the following formulas:
n N,
n
P(X) =
n

k=0
(1)
nk
_
n
k
_
P(X +k);
a C, P(a +X) =
deg P

k=0

k
P(a)
_
X
k
_
.
As a consequence, ch
N
is a polynomial in N. We have indeed ch
N
= Z(N + 1), where Z
is the so-called Zeta polynomial of the poset (P
c
,
A
). We also obtain:
fact
p
=
p
Z(0) =
p

k=1
(1)
pk
_
p
k
_
ch
k
. (2)
B.2 Formulas for block factorisations of a Coxeter element
We consider here G = W a well-generated irreducible complex reection group (of rank n),
and A = 1 the set of all its reections. We x a Coxeter element c.
Chapotons formula states that the number of N-multichains in P
c
= ncp
W
(c) is the
Fuss-Catalan number Cat
(N)
(W) =

i
d
i
+Nh
d
i
, i.e. :
Z(X) =
n

i=1
d
i
+ (X 1)h
d
i
,
where Z is the Zeta polynomial of ncp
W
, and d
1
d
n
= h are the invariant degrees of
W.
Remark B.2. From Equation (1), we deduce the formulas:
N N,
n

p=1
_
N + 1
p
_
fact
p
=
n

i=1
d
i
+Nh
d
i
. (3)
As the numbers fact
p
are related to the cardinality of bers of the Lyashko-Looijenga mor-
phism (see Thm. 1.27), these equalities can be interpreted as ramication formulas for LL.
Instead of trying to prove Chapotons formula by computing explicitely the fact
p
(which
leads to quite complicated expressions, see Prop. B.3 below), another approach could be to
prove directly Equation (3) as a global property of LL.
B.2. Formulas for block factorisations of a Coxeter element 85
We give below the numbers fact
p
of factorisations of c in p blocks, as predicted by
Chapotons formula. Note that for fact
n1
we recover the formula obtained in Thm. 3.6.
Proposition B.3. We denote by

0
= 1,

1
=

n1
i=1
d

i
, . . . ,
n1
=

n1
i=1
d

i
the elementary
symmetric polynomials in the n 1 codegrees d

1
d

n1
(where d

i
= h d
i
). We write
S(p, k) for the number of partitions of a p-set into k nonempty subsets (Stirling number of the
second kind). Then:
p 0, . . . , n, fact
np
=
(n p)! h
np
[W[
p

j=0
(1)
pj

pj
S(n p +j, n p) h
j
.
In particular: fact
n
=
n! h
n
[W[
;
fact
n1
=
(n 1)! h
n1
[W[
_

1
+
n(n 1)
2
h
_
.
Proof. We develop the expression Z(X) =
hX
|W|

n1
i=1
(d

i
+ hX) in the canonical basis. Then
we apply Equation (2) and compute
np
Z(0), using the fact that
r
(X
k
)(0) = r! S(k, r)
(cf. Prop. 1.4.2 in [Sta97a]).
Bibliographie
[AR04] Christos A. Athanasiadis et Victor Reiner : Noncrossing partitions for the
group D
n
. SIAM J. Discrete Math., 18(2):397417 (electronic), 2004.
[Arm05] Drew Armstrong : Braid groups, clusters, and free probability : an outline from
the AIM workshop. http://www.aimath.org/WWN/braidgroups/braidgroups.
pdf, janvier 2005.
[Arm09] Drew Armstrong : Generalized noncrossing partitions and combinatorics of Coxe-
ter groups. Mem. Amer. Math. Soc., 202(949):x+159, 2009.
[Arn74] Vladimir I. Arnold : Critical points of functions and the classication of caustics.
Russian Math. Surveys, 29(3):243244, 1974.
[Ath98] Christos A. Athanasiadis : On noncrossing and nonnesting partitions for classical
reection groups. Electron. J. Combin., 5:Research Paper 42, 16 pp. (electronic),
1998.
[Ath04] Christos A. Athanasiadis : Generalized Catalan numbers, Weyl groups and
arrangements of hyperplanes. Bull. London Math. Soc., 36(3):294302, 2004.
[Ath05] Christos A. Athanasiadis : On a renement of the generalized Catalan numbers
for Weyl groups. Trans. Amer. Math. Soc., 357(1):179196 (electronic), 2005.
[BC06] David Bessis et Ruth Corran : Non-crossing partitions of type (e, e, r). Adv.
Math., 202(1):149, 2006.
[BCKM] Noel Brady, John Crisp, Anton Kaul et Jon McCammond : Manuscript in
preparation.
[BDM02] David Bessis, Franois Digne et Jean Michel : Springer theory in braid groups
and the Birman-Ko-Lee monoid. Pacic J. Math., 205(2):287309, 2002.
[Ben93] David J. Benson : Polynomial invariants of nite groups, volume 190 de London
Mathematical Society Lecture Note Series. Cambridge University Press, Cambridge,
1993.
[Bes01] David Bessis : Zariski theorems and diagrams for braid groups. Invent. Math.,
145(3):487507, 2001.
[Bes03] David Bessis : The dual braid monoid. Ann. Sci. cole Norm. Sup. (4), 36(5):647
683, 2003.
[Bes06a] David Bessis : A dual braid monoid for the free group. J. Algebra, 302(1):5569,
2006.
[Bes06b] David Bessis : Garside categories, periodic loops and cyclic sets. Preprint
arXiv :math/0610778v1, 2006.
88 Bibliographie
[Bes07a] David Bessis : Finite complex reection arrangements are K(, 1). Preprint
arXiv :math/0610777v3, 2007.
[Bes07b] David Bessis : Sur les groupes de tresses gnraliss. Thse dhabilitation, http:
//www.math.ens.fr/~bessis/hdr.pdf, 2007.
[BGN03] Philippe Biane, Frederick Goodman et Alexandru Nica : Non-crossing cumulants
of type B. Trans. Amer. Math. Soc., 355(6):22632303 (electronic), 2003.
[Bia02] Philippe Biane : Free probability and combinatorics. In Proceedings of the In-
ternational Congress of Mathematicians, Vol. II (Beijing, 2002), pages 765774,
Beijing, 2002. Higher Ed. Press.
[BKL98] Joan Birman, Ki Hyoung Ko et Sang Jin Lee : A new approach to the word and
conjugacy problems in the braid groups. Adv. Math., 139(2):322353, 1998.
[BM03] David Bessis et Jean Michel : VKCURVE, software package for GAP3, 2003.
http://www.math.jussieu.fr/~jmichel/vkcurve/vkcurve.html.
[BMR95] Michel Brou, Gunter Malle et Raphal Rouquier : On complex reection
groups and their associated braid groups. In Representations of groups (Ban, AB,
1994), volume 16 de CMS Conf. Proc., pages 113. Amer. Math. Soc., Providence,
RI, 1995.
[BMR98] Michel Brou, Gunter Malle et Raphal Rouquier : Complex reection groups,
braid groups, Hecke algebras. J. Reine Angew. Math., 500:127190, 1998.
[Bou68] Nicolas Bourbaki : lments de mathmatique. Fasc. XXXIV. Groupes et al-
gbres de Lie. Chapitre IV : Groupes de Coxeter et systmes de Tits. Chapitre V :
Groupes engendrs par des rexions. Chapitre VI : systmes de racines. Actualits
Scientiques et Industrielles, No. 1337. Hermann, Paris, 1968.
[BR09] David Bessis et Victor Reiner : Cyclic sieving of noncrossing partitions for
complex reection groups. Preprint arXiv :math/0701792v2, paratre dans Ann.
Comb., 2009.
[Bra01] Thomas Brady : A partial order on the symmetric group and new K(, 1)s for
the braid groups. Adv. Math., 161(1):2040, 2001.
[Bri71] Egbert V. Brieskorn : Die Fundamentalgruppe des Raumes der regulren Orbits
einer endlichen komplexen Spiegelungsgruppe. Invent. Math., 12:5761, 1971.
[Bri88] Egbert V. Brieskorn : Automorphic sets and braids and singularities. In Braids
(Santa Cruz, CA, 1986), volume 78 de Contemp. Math., pages 45115. Amer. Math.
Soc., Providence, RI, 1988.
[Bro01] Michel Brou : Reection groups, braid groups, Hecke algebras, nite reductive
groups. In Current developments in mathematics, 2000, pages 1107. Int. Press,
Somerville, MA, 2001.
[Bro06] Abraham Broer : Dierents in modular invariant theory. Transform. Groups,
11(4):551574, 2006.
[BS72] Egbert Brieskorn et Kyoji Saito : Artin-Gruppen und Coxeter-Gruppen. Invent.
Math., 17:245271, 1972.
[BW02a] Thomas Brady et Colum Watt : K(, 1)s for Artin groups of nite type. In
Proceedings of the Conference on Geometric and Combinatorial Group Theory,
Part I (Haifa, 2000), volume 94, pages 225250, 2002.
Bibliographie 89
[BW02b] Thomas Brady et Colum Watt : A partial order on the orthogonal group. Comm.
Algebra, 30(8):37493754, 2002.
[BW08] Thomas Brady et Colum Watt : Non-crossing partition lattices in nite real
reection groups. Trans. Amer. Math. Soc., 360(4):19832005, 2008.
[Car72] Roger W. Carter : Conjugacy classes in the Weyl group. Compositio Math.,
25:159, 1972.
[Cha05] Frdric Chapoton : Enumerative properties of generalized associahedra. Sm.
Lothar. Combin., 51:Art. B51b, 16 pp. (electronic), 2004/05.
[Cha06] Frdric Chapoton : Sur le nombre de rexions pleines dans les groupes de
Coxeter nis. Bull. Belg. Math. Soc. Simon Stevin, 13(4):585596, 2006.
[Coh76] Arjeh M. Cohen : Finite complex reection groups. Ann. Sci. cole Norm. Sup.
(4), 9(3):379436, 1976.
[CP03] Ruth Charney et David Peifer : The K(, 1)-conjecture for the ane braid
groups. Comment. Math. Helv., 78(3):584600, 2003.
[Deh00] Patrick Dehornoy : Braids and self-distributivity, volume 192 de Progress in
Mathematics. Birkhuser Verlag, Basel, 2000.
[Deh02] Patrick Dehornoy : Groupes de Garside. Ann. Sci. cole Norm. Sup. (4), 35(2):
267306, 2002.
[Del72] Pierre Deligne : Les immeubles des groupes de tresses gnraliss. Invent. Math.,
17:273302, 1972.
[Del74] Pierre Deligne, 1974 : Lettre E. Looijenga (9/3/1974).
[Dig06] Franois. Digne : Prsentations duales des groupes de tresses de type ane

A.
Comment. Math. Helv., 81(1):2347, 2006.
[DP99] Patrick Dehornoy et Luis Paris : Gaussian groups and Garside groups, two
generalisations of Artin groups. Proc. London Math. Soc. (3), 79(3):569604, 1999.
[FR05] Sergey Fomin et Nathan Reading : Generalized cluster complexes and Coxeter
combinatorics. Int. Math. Res. Not., 2005(44):27092757, 2005.
[FZ03] Sergey Fomin et Andrei Zelevinsky : Cluster algebras. II. Finite type classica-
tion. Invent. Math., 154(1):63121, 2003.
[Gar69] Frank A. Garside : The braid group and other groups. Quart. J. Math. Oxford
Ser. (2), 20:235254, 1969.
[GG09] Iain Gordon et Stephen Griffeth : Catalan numbers for complex reection
groups. Preprint arXiv :0912.1578v1, 2009.
[GHL
+
96] M. Geck, G. Hiss, F. Lbeck, G. Malle et G. Pfeiffer : CHEVIE A system
for computing and processing generic character tables for nite groups of Lie type,
Weyl groups and Hecke algebras. Appl. Algebra Engrg. Comm. Comput., 7:175210,
1996.
[Gor03] Iain Gordon : On the quotient ring by diagonal invariants. Invent. Math., 153(3):
503518, 2003.
[Hum90] James E. Humphreys : Reection groups and Coxeter groups, volume 29 de Cam-
bridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge,
1990.
90 Bibliographie
[IT08] Colin Ingalls et Hugh Thomas : Noncrossing partitions and representations of
quivers. Preprint arXiv :math/0612219v4, paratre dans Compos. Math., 2008.
[Kan01] Richard Kane : Reection groups and invariant theory. CMS Books in Mathema-
tics/Ouvrages de Mathmatiques de la SMC, 5. Springer-Verlag, New York, 2001.
[KM09] Christian Krattenthaler et Thomas W. Mller : Cyclic sieving for generalised
non-crossing partitions associated to complex reection groups of exceptional type.
Preprint arXiv :1001.0028v1, 2009.
[KM10] Christian Krattenthaler et Thomas W. Mller : Decomposition numbers for
nite Coxeter groups and generalised non-crossing partitions. Trans. Amer. Math.
Soc., 362:27322787, 2010.
[Kra08] Daan Krammer : A class of Garside groupoid structures on the pure braid group.
Trans. Amer. Math. Soc., 360(8):40294061, 2008.
[Kre72] Germain Kreweras : Sur les partitions non croises dun cycle. Discrete Mathe-
matics, 1(4):333350, 1972.
[Loo74] Eduard Looijenga : The complement of the bifurcation variety of a simple sin-
gularity. Invent. Math., 23:105116, 1974.
[LT09] Gustav I. Lehrer et Donald E. Taylor : Unitary reection groups, volume 20
de Australian Mathematical Society Lecture Series. Cambridge University Press,
Cambridge, 2009.
[LZ99] Sergei K. Lando et Dimitri Zvonkine : On multiplicities of the Lyashko-Looijenga
mapping on the discriminant strata. Funct. Anal. Appl., 33(3):178188, 1999.
[LZ04] Sergei K. Lando et Alexander K. Zvonkin : Graphs on surfaces and their appli-
cations, volume 141 de Encyclopaedia of Mathematical Sciences. Springer-Verlag,
Berlin, 2004. With an appendix by Don B. Zagier, Low-Dimensional Topology, II.
[McC05] Jon McCammond : An introduction to Garside structures. Preprint, http://
www.math.ucsb.edu/~jon.mccammond/papers/intro-garside.pdf, 2005.
[McC06] Jon McCammond : Noncrossing partitions in surprising locations. Amer. Math.
Monthly, 113(7):598610, 2006.
[Nam87] Makoto Namba : Branched coverings and algebraic functions, volume 161 de Pit-
man Research Notes in Mathematics Series. Longman Scientic & Technical, Har-
low, 1987.
[OT92] Peter Orlik et Hiroaki Terao : Arrangements of hyperplanes, volume 300 de
Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Ma-
thematical Sciences]. Springer-Verlag, Berlin, 1992.
[Rea08] Nathan Reading : Chains in the noncrossing partition lattice. SIAM J. Discrete
Math., 22(3):875886, 2008.
[Rea09] Nathan Reading : Noncrossing partitions and the shard intersection order. Pre-
print arXiv :0909.3288v1, 2009.
[Rea10] Nathan Reading : Noncrossing partitions, clusters and the Coxeter plane. Sm.
Lothar. Combin., 63:Art. B63b, 32 pp. (electronic), 2010.
[Rei97] Victor Reiner : Non-crossing partitions for classical reection groups. Discrete
Math., 177(1-3):195222, 1997.
Bibliographie 91
[Rip06] Vivien Ripoll : Proprit de treillis dans les groupes de rexions rels nis,
daprs Brady-Watt. Mmoire de Master 2 (Universit Paris VI), http://www.
math.ens.fr/~vripoll/M2.pdf, 2006.
[Rip10] Vivien Ripoll : Orbites dHurwitz des factorisations primitives dun lment de
Coxeter. J. Alg., 323(5), Mars 2010.
[RSW04] Victor Reiner, Dennis Stanton et Dennis White : The cyclic sieving phenome-
non. J. Combin. Theory Ser. A, 108(1):1750, 2004.
[S
+
97] Martin Schnert et al. : GAP Groups, Algorithms, and Programming ver-
sion 3 release 4 patchlevel 4. Lehrstuhl D fr Mathematik, Rheinisch Westflische
Technische Hochschule, Aachen, Germany, 1997.
[Sai] Kyoji Saito : Polyhedra dual to the Weyl chamber decomposition. Unpublished
extended version (personal communication, August 2009).
[Sai93] Kyoji Saito : On a linear structure of the quotient variety by a nite reexion
group. Publ. Res. Inst. Math. Sci., 29(4):535579, 1993.
[Sai04a] Kyoji Saito : Polyhedra dual to the Weyl chamber decomposition : a prcis. Publ.
Res. Inst. Math. Sci., 40(4):13371384, 2004.
[Sai04b] Kyoji Saito : Uniformization of the orbifold of a nite reection group. In Frobe-
nius manifolds, Aspects Math., E36, pages 265320. Vieweg, Wiesbaden, 2004.
[Sai05] Kyoji Saito : Semi-algebraic geometry of braid groups. Preprint, http://www.
kurims.kyoto-u.ac.jp/~saito/semi-alge.pdf, 2005.
[Ser68] Jean-Pierre Serre : Corps locaux. Hermann, Paris, 1968. Deuxime dition,
Publications de lUniversit de Nancago, No. VIII.
[Sha77] Igor R. Shafarevich : Basic algebraic geometry. Springer-Verlag, Berlin, 1977.
Translated from the Russian by K. A. Hirsch, Revised printing of Grundlehren der
mathematischen Wissenschaften, Vol. 213, 1974.
[Sim00] Rodica Simion : Noncrossing partitions. Discrete Math., 217(1-3):367409, 2000.
Formal power series and algebraic combinatorics (Vienna, 1997).
[Spe97] Roland Speicher : Free probability theory and non-crossing partitions. Sm.
Lothar. Combin., 39:Art. B39c, 38 pp. (electronic), 1997.
[Spr74] Tonny A. Springer : Regular elements of nite reection groups. Invent. Math.,
25:159198, 1974.
[ST54] Georey C. Shephard et John A. Todd : Finite unitary reection groups. Ca-
nadian J. Math., 6:274304, 1954.
[Sta97a] Richard P. Stanley : Enumerative combinatorics. Vol. 1, volume 49 de Cambridge
Studies in Advanced Mathematics. Cambridge University Press, Cambridge, 1997.
With a foreword by Gian-Carlo Rota, Corrected reprint of the 1986 original.
[Sta97b] Richard P. Stanley : Parking functions and noncrossing partitions. Electron.
J. Combin., 4(2):Research Paper 20, approx. 14 pp. (electronic), 1997. The Wilf
Festschrift (Philadelphia, PA, 1996).
[Sta99] Richard P. Stanley : Enumerative combinatorics. Vol. 2, volume 62 de Cambridge
Studies in Advanced Mathematics. Cambridge University Press, Cambridge, 1999.
With a foreword by Gian-Carlo Rota and appendix 1 by Sergey Fomin.
92 Bibliographie
[Ste64] Robert Steinberg : Dierential equations invariant under nite reection groups.
Trans. Amer. Math. Soc., 112:392400, 1964.
[Stu10] Christian Stump : q, t-Fu-Catalan numbers for nite reection groups. Preprint
arXiv :0901.1574, paratre dans J. Algebraic Combin., 2010.