Table Of ContentS
Approche Duale des représentations
du groupe symétrique
5
Valentin Féray
e
r
i
a
n
i
m
i
l
e´
r
p
n
o
i
s
r
e
V
5
e
r
i
a
n
i
m
i
l
e´
r
p
n
o
i
s
r
e
V
Spartacus Supérieur
CollectionRecherche
5
Approche Duale
des représentations
e
du groupe symétrique
r
i
a
n
i
Valentin Féray
m
ChargéderechercheauCNRS
AssistantprofessorforpureMathematics
i
InstitutfürMathematik,UniversitätZürich
l
e´
6 février 2015
r
p
n
o
i
s
r
e
V
5
e
r
i
a
n
i
m
i
l
e´
r
p
n
o
i
s
r
e
V
ISBN : 978-2-36693-000-0
©Spartacus-idh,Paris2015
Préface
Celivrereprendlecontenud’unesériedequatreleçonsfaitesaucollègedeFranceen
janvier/février2013.CescoursontétédonnésdanslecadredelafondationClaude-Antoine
Peccotquejeremerciepourm’avoiroffertcettetrèsbelleopportunité.
L’objectifducoursétaitdefaireunpetitpanoramadecertainsrésultatsrécentssurles
représentationsdugroupesymétrique,particulièrementdesrésultatsdenaturecombinatoire
rentrantdanslecadredel’approcheduale,initiéeparS.KerovetG.Olshanskidanslesannées
90.Ilm’estbiensûrimpossibled’êtreexhaustifsurcelargesujet,etleschoixfaitsontétébiaisés
afind’incluremesproprestravaux.Ilyauraitbeaucoupplusàdiresurlesujet.
Aprèsquelquesrappelssurlesreprésentationsdesgroupesfinisengénéral,lepremiercha-
pitredonneuneconstructiondesreprésentationsirréductiblesdugroupesymétrique.Celle-ciest
ensuiteutiliséedansledeuxièmechapitrepourcalculerlescaractèresirréductibles.Onobtient
uneformuleavecunerichecombinatoiresous-jacente.Letroisièmechapitreillustreuneapplica-
tiondecettecombinatoireàunproblèmeposéparS.Kerov.Onvoitenparticulierapparaître
naturellementuneopérationcombinatoireintroduiterécemment,l’inclusion-exclusioncyclique.
Danslequatrièmechapitre,nousprésentonsl’approchedeS.Kerovpourétudierdesgrands
diagrammesdeYoungsouslamesuredePlancherel.Quandonconnaîtlathéorieprésentéedans
leschapitresprécédents,ilestrelativementaisédedécrirelaformelimitedecesdiagrammes.
Enfin,danslecinquièmechapitre,nousesquissonsuncadredanslequellaplupartdesrésultats
précédentssegénéralisentconjecturalement.
Lestroispremierschapitrescorrespondentchacunàuneséancededeuxheures,alorsque
leschapitres4et5correspondentàladernièreséance.Entantquenotesdecours,lestyledece
documentestparfoisinformel.J’aicependantessayédedonnerlespreuvesdupluspossiblede
résultatsénoncés.
Pourfinir,jesouhaiteremercierMathildeBouveletJulienCourtielquim’ontprêtéleurs
notesdesexposésfaitsàBordeauxsurlemêmesujetetPierreCartierpoursesrelecturesattentives
etsesremarquesconstructives.UnmercitoutparticulieràVictorRabiet,sansquicetexten’aurait
pasvulejour:ilalargementdépassésonrôled’éditeur,toutd’abordentapantunepremière
versiondecesnotes,puisencoordonnantactivement:lesdifférentesrelectures.Merciaussià
tousceuxquiontprisletempsdevenirassisteràcesexposés,quecesoitàParisouàBordeaux.
E e
a
5
e
r
i
a
n
i
m
i
l
e´
r
p
n
o
i
s
r
e
V
Table des matières
1 Chapitre1
Représentationsdugroupesymétrique
1.1 —Quelquesnotionsdethéoriedesreprésentationsdesgroupesfinis 1
1.1.1—Définitions 1
1.1.2—Classificationdesreprésentationsetreprésentationsirréductibles 2
1.1.3—Outil:caractères 4
1.2 —Construction,parlesymétriseurdeYoung,desreprésentationsirré-
ductiblesdugroupesymétrique 5
1.2.1—DéfinitiondeC 6
λ
1.2.2—Preuvedel’irréductibilité 9
1.2.3—Non-isomorphisme 12
17
Chapitre2
Caractèresirréductibles,fonctionsN etcartes
2.1 —Calculdescaractèresirréductiblesde 17
n
S
2.1.1—Premièreformulepourlescaractères 17
2.1.2—Réductiondel’ensembledesommation 19
2.1.3—Oublierl’injectivité 23
2.2 —FonctionsNσ,τ(λ) 24
2.2.1—Casrectangulaire 24
2.2.2—Casgénéral 25
2.2.3—Fonctionsindexéespardesgraphes 26
2.2.4—Coordonnéesmulti-rectangulaires 27
2.3 —Cartes 29
2.3.1—Définition 29
2.3.2—Cartesetcouplesdepermutations 30
35
Chapitre3
PolynômesdeKerov
3.1 —Rappelsetcaractèresnormalisés 35
3.2 —Quelquespropriétésdevect(Chµ) 36
3.2.1—StabilitédeΛparmultiplication 36
3.2.2—UnebasealgébriquedeΛ 38
3.3 —PositivitédespolynômesdeKerov 40
3.3.1—Quelquesexemples 41
3.3.2—Inclusion-exclusioncyclique 41
3.3.3—Unensemblecompletderelations 44
3.3.4—Unefamilled’invariantssurlesgraphes 47
3.3.5—Retourauthéorème 49
53
Chapitre4
GrandsdiagrammesdeYoung
4.1 —MesuredePlancherel 53
4.2—Convergencedesuitesdediagrammes 55
4.3—Graduationdel’algèbreΛ 57
4.4—Unpremierrésultatdeconvergence 61
4.5 —Convergencegéométrique 63
67
Chapitre5
Généralisation?
5.1 —Extensiondescaractèresirréductibles 67
5.2 —PropriétésdeCh(α) 69
µ
5.3 —Versunegénéralisationduthéorème2.13? 69
71
AnnexeA
Mesuredetransitiondediagramme
A.1—CoordonnéesentrelacéesdesdiagrammesdeYoung 71
A.2—Mesuredetransition 72
A.3—Momentsdelamesuredetransitionetfonctionsreliées 72
A.4—Lienaveclescaractères 73
Bibliographie 75
Index 79
E e
m
CChhaappiittrree 11
R
e
p
r
é
s
e
n
Représentations du groupe t
a
t
i
o
symétrique n
s
g
r
o
u
p
e
s
f
i
n
i
s
Danscechapitre,nousrappelonsquelquesrésultatsdelathéoriedesreprésentationsdu C
groupesymétriquequinousserontutilesdanslasuiteducours.Iln’yapasdeprérequis. a
r
a
Lapremièresectionestuneprésentationdelathéoriepourungroupefiniquelconque. c
t
Commecesrésultatssonttrèsclassiques,nousomettonslespreuves.Quelquesréférencessont è
r
donnéesàlafinduchapitre. es
Lasecondesectionconcernelegroupesymétriqueenparticulier.Elledécritlaconstruction ir
r
d’unefamilleimportantedereprésentations,diteirréductibles.Ilexisteplusieursméthodespour é
d
celadanslalittérature.NousprésentonsicicelleditedusymétriseurdeYoung. u
c
t
i
b
l
e
11..11 Quelques notions de théorie des représenta- s
P
tions des groupes finis o
l
y
n
ô
m
11..11..11 Définitions
e
s
d
e
Nousnouslimitonsiciaucasd’ungroupeGfini.
K
e
r
Définition1.1(Représentationd’ungroupefini). o
v
UnereprésentationdeGestuncouple(V,ρ),où
G
V estunC-espacevectorieldedimensionfinie; ra
• n
ρestunmorphismedegroupedeGdansGL(V). d
• s
d
i
a
Exemple1.2. g
r
a
SiG= n,onconsidère m
• S m
ρ: Sn →GL(Cn) es
permutation matricedepermutation.
7→ G
é
n
é
r
a
l
ß is
a
t
i
o
n
2 Représentationsdugroupesymétrique sec.1.1
Autrementdit,siCn=Vect(e1,...,en),ondéfinit
ρ(σ).ei=eσ(i).
s
ni Cettereprésentations’appellereprésentationgéométriquea.
i
f
es • SoitGungroupequelconque.SoitV =C[G]unC-espacevectorielquipossèdeune
up base(eg)g GindexéeparlesélémentsdeG.Ondéfinit
o ∈
r
g ρ(h).eg =ehg. (1.1)
s
n
o
ti Alors,(V,ρ)estunereprésentationdeG,appeléereprésentationrégulière(gauche).
a
t
n a. DanslecadredesgroupesdeCoxeter,letermedereprésentationgéométriqueestparfoisutilisépour
e
s désignerlequotientdedimensionn 1decettereprésentationconsidérédansl’exemple1.26.
ré −
p
e
R Définition1.3(Caractère).
es Soit(V,ρ)unereprésentationdeG.LecaractèreχV de(V,ρ)est,pardéfinition
l
b
i
uct χV : G→C .
d g Tr(ρ(g))
é 7→
r
r
i
s Remarque1.4. Onometsouventdanslesnotationslemorphismedelareprésentation(ici
e
èr χV devraitêtrenotéentouterigueurχV,ρ).
t ß
c
a
r Exemple1.5.
a
C
Lecaractèredelareprésentationgéométriqueestdonnépar
•
v
o χgéom(σ)=F(σ),
r
e
K
e oùσestunepermutationde nestF(σ)sonnombredepointsfixes.
d S
Lecaractèredelareprésentationrégulièregaucheestdonnépar
s
e •
m
nô χreg(h)=|G|δh,1G, (1.2)
y
l
o où h estunélémentdeG,1 sonélémentneutre, G latailledugroupeetδ le
P G | | h,1G
s symboledeKroneckerquivaut1sietseulementsih=1G.Eneffet,ρ(h)permuteles
me élémentsdelabase(eg)g GdeC[G].Satraceestdonclenombred’élémentsfixes,i.e.le
m nombrede g Gtelsqu∈ehg=g,soit G sih=1Get0sinon.
∈ | |
a
gr 11..11..22 Classificationdesreprésentationsetreprésentations
a
di irréductibles
s
d
n
a Leproblèmeprincipalenthéoriedesreprésentationsestlesuivant:pourungroupeG
r
G donné,décrire,àisomorphismeprès,toutessesreprésentations.Ilyenauneinfinité,maisonva
pouvoirlesreconstruireàpartird’uneconstructionélémentaireetd’unnombrefinidebriques
n
o debases.
i
at Construction:
s
i
l
a
r
é
n
é
G