Documente Academic
Documente Profesional
Documente Cultură
Ruth Durrer
Dpartement de Physique Thorique de lUniversit de Genve
Quai E. Ansermet 24, 1211 Genve 4, Suisse
deuxime version 2012
4
4
7
9
10
15
20
20
22
26
34
34
42
45
52
.
.
.
.
.
.
.
.
.
.
.
.
30
3 Reprsentations
3.1 Dfinitions et faits lmentaires . . . . . . . . . . . . . . . . . .
3.2 Thorie des reprsentations de groupes compacts . . . . . . . .
3.3 Certains rsultats supplmentaires pour
groupes finis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
58
58
62
4 SO(3) et SU(2)
4.1 La mesure de Haar sur SU (2) . . . . . . . . . . . . . . . . . . .
4.2 Reprsentation des rotations sur les fonctions (particules sans
spin) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.3 Les reprsentations irrductibles du groupe des rotations . . .
4.3.1 Les harmoniques sphriques . . . . . . . . . . . . . . . .
74
74
68
76
79
81
4.4
4.5
4.6
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
86
88
94
94
96
98
100
100
102
102
105
107
108
109
109
111
115
117
119
121
121
123
123
124
131
Chapitre 1
Introduction
1.1
Dfinitions lmentaires
G G G (a, b) a b
nG
nH
b N, a G est appel un
nG
nN .
Preuve 1. est clair. Pour 2. il faut montrer que cette opration est bien
dfinie, cest--dire indpendant du reprsentant. Mais soit pour m, n, N
g1 = gm, donc [g1 ] = [g],
h1 = hn, donc [h1 ] = [h],
g1 , g G
h1 , h G
[g1 h1 ] = [gh].
Le reste de 2. est vident : e = [e] et [g]1 = [g 1 ].
Pour 3. il faut se rappeller que deux classes dquivalence [g], [h], g, h G
sont soit identiques, soit disjointes. Nous avons alors
G = [g1 ] . . . [gn ] [g0 e]
6
o [g1 ], . . . , [gn ], [e] reprsentent tous les lments de G/N interprts comme
sous-ensembles de G.
Il faut encore montrer que tous les [gi ] contiennent nN lments. Ceci est
vident pour [e] N . Mais pour gi e, lapplication n gi n est une bijection
de N dans [gi ] alors les deux ensembles ont le mme nombre dlments.
Exercice 1.7 Soit G G un homomorphisme. Montrer que lhomomorphisme G/ker() im() [g] (g) est bien dfini et quil est un
isomorphisme.
Dfinition 1.8 Groupes simples
Un groupe est appel simple sil ne contient pas de sous-groupes normaux
non-triviaux, cest--dire N G et N {e}.
Dfinition 1.9 Groupes semisimples
Un groupe est appel soluble sil existe une srie finie de sous-groupes, {e} =
G(n) G(n1) G(n2) G(0) = G telle que G(i+1) est un sous-groupe normal
de G(i) et le quotient G(i) /G(i+1) est un groupe ablien.
Un groupe est appel semisimple sil ne contient pas de sous-groupe normal
soluble non-trivial.
1.2
Exemples
(R, +) ;
(C, +) ;
(Q{0}, ) ;
(R{0}, ) ;
(C{0}, )
T
M
Sp(2n) = {M C2n2n M JM T = J} .
Ici J est la matrice 2n 2n anti-symtrique donne par
O 1In
J =( n
).
1In On
O (2n) = {M C2n2n M S2 M T = S2 } .
Ici S2 est la matrice 2n 2n symtrique donne par
O 1In
S2 = ( n
).
1In On
O (2n + 1) = {M C(2n+1)(2n+1) M S1 M T = S1 } .
Ici S1 est la matrice (2n + 1) (2n + 1) symtrique donne par
0
1 0
S1 = 0 On 1In .
0 1In On
Le groupe de Lorentz est dfini comme suit : soit g R44 la matrice
diagonale g = diag(1, 1, 1, 1), alors
L = { R44 T g = g} .
Exercice 1.8
Soit g Gl(n, F). Alors Gg = {M Fnn M gM T = g} forment un groupe. Ici
F est soit C soit R.
Les isomorphismes (applications linaires, bijectives) dun espace vectoriel
V V forment un groupe. Le groupe des transformations linaires de V .
Si V est un espace linaire complexe (rel) de dimension n, ce groupe est
isomorphe Gl(n, C) (respectivement Gl(n, R)) travers un choix de base.
Exemples de groupes finis
{1I, P }, P = parit
(Nn , +n ) = le groupe des lments {0, 1, 2, . . . n 1}
avec p +n q = (p + q, mod n).
Le groupe de Klein {1, i, j, k} avec
i2 = j 2 = k 2 = 1,
ij = ji = k,
8
jk = kj = i,
ik = ki = j.
1.3
g f (h)
= f (g h).
1. Une algbre A est un espace vectoriel muni dun produit tel que pour tout a, b A,
ab A, tel que a(b + c) = ab + ac et a(c) = (a)c = (ac) pour tout C (ou R), si en
plus (ab)c = a(bc) a, b, c A, A est une algbre associative.
1
1
f (gi g) = I(f ) =
f (gi ).
nG gi G
nG gi G
Donc lintgration ici dfinie pour les groupes finis est invariante sous
"translation". Une telle mesure dintgration peut aussi tre dfinie pour
certains groupes infinis. Par exemple pour le groupe (Rn , +) la mesure de
Lebesgue est invariante sous translation. Une telle mesure invariante existe
pour tous les "groupes topologiques localement compacts". Dans le chapitre
II nous dmontrerons son existence pour les groupes compacts. Cette mesure joue un rle trs important pour la classification des reprsentations de
groupes comme nous le verrons au chapitre III.
1.4
Groupes de Lie
Exemples :
La courbe P (x, y) = y 2 x3 = 0 dans R2 est une surface polynomiale qui
ne satisfait pas les conditions de cette proposition. A (x, y) = 0 nous
avons P = 0 mais aussi x P = y P = 0, voir fig. 1.1.
Nous ne considrons que des groupes de Lie qui forment des surfaces polynomiales regulires. Les lments dune telle surface peuvent tre dcrits
localement par d paramtres (coordonnes). Ils sont donc localement diffomorphes un ouvert dans Rd . Nous pouvons alors traduire la notion de
diffrentiation de Rd une notion de diffrentiation sur notre surface polynomiale.
Dfinition 1.14
Un groupe de Lie matriciel est un groupe de matrices dans Gl(n.R) ou
Gl(n, C) qui est dcrit par une surface polynomiale rgulire dans un ouvert
2
2
de Rn ou Cn .
Evidemment la multiplication et linversion, qui sont des applications polynomiale et rationnelle dans les composantes, sont diffrentiables pour des
groupes matriciels.
Dans un voisinage de 1I Cnn toute matrice peut tre dcrite de la forme
S = eM
Mn
n=0 n!
o eM =
(M 0 1I M Cnn ).
dS
dt t=0
= M.
S(t1 )S(h)
dS
S(t1 + h) S(t1 )
S(h) S(0)
(t1 ) = lim
= S(t1 ) lim
= S(t1 ) M
h0
h0
dt
h
h
Alors S(t) satisfait lq. diff. S = SM qui a comme unique solution avec
S(0) = 1I le groupe un paramtre S(t) = etM donc M G.
d
(etM N etM ) = [M, N ] G .
dt t=0
(1.1)
(1.2)
De cette preuve il suit aussi que lalgbre de Lie dun groupe ablien est
ablienne, cest--dire que [A, B] = 0 pour tout A, B G si et seulement si G
est lalgbre de Lie dun groupe ablien. Le crochet de Lie dune algbre de
Lie dun groupe ablien est trivial.
2. Un groupe un paramtre est un groupe G qui est isomorphe (R, +). Cest--dire
il existe une application R G t S(t) avec S(t1 )S(t2 ) = S(t1 + t2 ) et S(0) = e.
13
Exercice 1.10
Dmontrer la formule (1.1) partir de la dfinition de lexponentielle.
Dterminer les algbres de Lie pour tous les groupes de matrices donns
dans sec. 1.2.
Rponse :
G = Gl(n, R) ,
G = Rnn = gl(n, R) , dim = n2
G = Gl(n, C) ,
G = Cnn = gl(n, C) , dim = n2
G = Sl(n, R) ,
G = {M Rnn tr(M ) = 0} = sl(n, R) = , dim = n2 1
G = Sl(n, C) ,
G = {M Cnn tr(M ) = 0} = sl(n, C) = An1 , dim = n2 1
G = O(n) ,
G = {M Rnn M + M T = 0} = o(n) , dim = n(n 1)/2
G = SO(n) ,
G = so(n) = o(n) sl(n, R) , dim = n(n 1)/2
G = U (n) ,
G = {M Cnn M + M = 0} = u(n) , dim = n(n 1)/2
G = SU (n) ,
G = u(n) sl(C) = su(n) , dim = n(n 1)/2 1
G = Sp(2n, C) ,
G = {M C2n2n M T J + JM = 0} = sp(2n, C) = Cn , dim = 2n2 + n
G = O (2n, C) ,
G = {M C2n2n M T S2 + S2 M = 0} = o (2n, C) = Dn , dim = 2n2 n
G = O (2n + 1, C) ,
G = {M C(2n+1)(2n+1) M T S1 + S1 M = 0} = o (2n + 1, C) = Bn , dim = 2n2 + n
G=L,
G = {M R44 M T g + gM = 0} = , dim = 6.
Les algbres An , Bn , Cn et Dn joueront un rle important pour la classification des algbres de Lie, on les appelle les algbres de Lie classiques.
14
1.5
Algbres de Lie
[ei , ej ] = cm
ij em .
(1.3)
m=1
Les constantes cm
ij sappellent les constantes de structure de lalgbre G
par rapport la base (e1 , , ed ).
Un simple calcul explicite montre que pour trois lments quelconques,
x, y, z de G on a
[x, [y, z]] + [y, [z, x]] + [z, [x, y]] = 0 .
Ceci est lidentit de Jacobi. Appliqu sur les trois lments ei , ej , ek de
la base ceci donne lidentit suivante pour les constantes de structure :
d
m
m
(cm
i cjk + cj cki + ck cij ) = 0 1 i, j, k, m d
(1.4)
=1
Tout ensemble de d3 nombres cij qui est anti-symtrique dans les indices
infrieurs est qui satisfait les identits de Jacobi, reprsente les constantes de
structures pour une algbre de Lie.
Sous un changement de base, ej ej = i Sj i ei les constantes de structures se transfoment. Pour simplifier la notation nous utilisons ici et par la
suite souvent la convention dEinstein : sur tout indice qui apparat deux fois
dans une expression une somme (de 1 d) est ffectue.
cm
m = [
ei , ej ] = Si k Sj [ek , e ] = Si k Sj cnk en .
ij e
Donc
n
k
n
cm
ij Sm = Si Sj ck
n
k
1
ou cm
ij = Si Sj ck (S )n .
(1.5)
Jacobi
Avec ceci on a aussi dmontr que lespace linaire gnr par les Ti est une
algbre de Lie (il est ferm sous commutation). En plus, lextension linaire
de lapplication ei Ti est un homomorphsime dalgbres de Lie.
Evidemment, les Ti ne forment pas ncessairement une base de lespace linaire quils gnrent. Il se peut que certains entre eux sont dpendants.
Donc la dimension, dim(im(ad)) d. Par exemple pour une algbre de Lie
commutative Ti 0 et ad(x) = 0 x G.
Nous allons dfinir la notion de reprsentation dans un contexte plus gnral plus tard. On peut aussi comprendre la reprsentation adjointe comme
un homomorphisme de G dans les endomorphismes sur G, End(G),
ad G End(G) x ad(x)
Proposition 1.9
Le noyau ker() de tout homomorphisme G G entre algbres de Lie
est un idal.
Preuve (de prop. 1.9)
Soit x ker() et y G quelconque. Alors ([x, y]) = [(x), (y)] = [0, (y)] =
0. Donc aussi [x, y] ker().
Proposition 1.10
1. Soient I et J des idaux de lalgbre de Lie G tels que I J. Alors J/I
est un idal de G/I et (G/I)/(J/I) est isomorphe G/J.
2. Pour deux idaux I, J de G il existe un isomorphisme naturel entre
(I + J)/J et I/(I J).
Preuve (de prop. 1.10) Exercice.
17
Proposition 1.11
Soit G G un homomorphisme entre les groupes de Lie G et G . Cest-dire que est un homomorphime de groupe qui est diffrentiable. Alors
G G dfini par
(x) =
d
(etx ) , x G
dt t=0
(1.6)
d
d
(et(x+y) ) = (etx ety ) = (x) + (y) .
dt t=0
dt t=0
d
d
Nous dmontrons maintenant que lalgbre de Lie du noyau ker() est justement le noyau ker( ). Soit g(t) = etx ker(). Donc (g(t)) 1I t et
18
alors (x) = 0, donc lalgbre de Lie de ker() est contenue dans ker( ).
Dautre part pour x ker( ), (x) = 0 et (etx ) = et (x) = 1I. Donc x est
dans lalgbre de Lie de ker().
Nous savons dj que G/ker() im() est un isomorphisme entre
groupes de Lie. En plus, comme ker( ) est lalgbre de Lie de ker(), lalgbre de Lie de G/ker() est G/ker( ). Ceci parce que pour deux groupes
un paramtre g1 (t), g2 (t) g(t) avec g1 (t) = etx1 et g2 (t) = etx2 nous avons
g1 (t)g2 (t)1 h(t) ker(). Donc
x1 x 2 =
d
d
(g1 (t)g2 (t)1 ) = h(t)
dt t=0
dt t=0
ou h(t) = g1 (t)g2 (t)1 est un chemin dans ker() avec h(0) = 1I et sa drive
t = 0 est donc un lment de son algbre de Lie ker( ). Ceci montre que
est bien dfini et que () = . Le rsultat que est un isomorphisme entre
algbres de Lie suit du fait que un homomorphisme entre algbres de Lie, ,
induit par un homomorphisme entre groupes de Lie, , est un isomorphisme si
et seulement si est un isomorphisme (exercice !). Mais daprs lexercice 1.7,
est un isomorphisme entre G/ker() et im().
19
1.6
1.6.1
(i)
par construction G(i+1) est un sous-groupe normal de G(i) et G(i) /G(i+1) est
ablien et G(n) = {1I}. Donc G(0) est soluble ce qui contredit lhypothse.
Comme ad G End(G) = Rd Rd est un homomorphisme entre algbres de
Lie, son noyau est un idal. Pour une algbre de Lie simple il suit donc que
ad est injectif. En gnral, le noyau de ad est le centre de lalgbre de Lie,
donc en particulier un idal soluble. Donc aussi pour une algbre semisimple,
ad est injectif et le centre est nulle.
Nous dmontrerons que toute algbre de Lie semisimple est une somme
directe didaux simples. En plus, cette dcomposition est unique. Pour ceci
il nous faut dabord quelques rsultats intermdiaires.
1.6.2
et dx y = yx y End(V ) .
Comme x est nilpotent aussi gx et dx le sont. En plus, ces deux endomorphismes commutent, et donc aussi leur diffrence est nilpotent. Mais
gx dx = ad(x).
u Wi1 .
24
()
a
M (x) = ( x
)
0 M (x)
La matrice M (x) a la dimension d 1, donc daprs lhypothse dinduction
nous pouvons complter v1 une base de V tel que M (x) est triangulaire
suprieure pour tout x L.
1.6.3
Le critre de Cartan
Les algbres de Lie qui nous interssent sont des endomorphismes sur un
espace vectoriel complexe de dimension fini, ou, aprs le choix dune base, des
matrices. Daprs le thorme de JordanChevalley (voire algbre linaire,
classification de Jordan) pour tout endomorphisme x End(V ) il existe une
base telle que la matrice de x est en forme de blocs laspect suivant
B1 0 0
x= 0 0 ,
0 0 Bk
a 1 0 0
0 0
.
Bi =
1
0 0 a
(1.8)
ou xs est une matrice diagonalizable et xn est nilpotent, et cette dcomposition est unique.
Dfinition 1.27
Un endomorphisme est appel semisimple si il est diagonalizable. Cest-dire tous ses blocs dans la forme normale de Jordan sont de taille
1 1.
Un endomorphisme, x est appel nilpotent sil existe un n N tel que
xn = 0.
Les matrices x Cmm avec x = (xij ) avec xij = 0 si i j sont appeles
les les matrice triangulaires strictement suprieures. Ils sont dnommes N (m, C).
Les matrices x Cmm avec x = (xij ) avec xij = 0 si i > j sont appeles
les les matrices triangulaires suprieures. Ils sont dnommes T (m, C).
26
Ici le facteur t est multipli dans qi seulement si aucun des valeurs propres
est nulle, aj 0 1 j k. Les deux polynmes pi et qi sont relative primes.
Cest--dire, leur plus grand diviseur commun est 1. Ils existent alors des
polynmes ri et si tels que
ri (t)pi (t) + si (t)qi (t) = 1 .
(Ceci est lidentit de Bzout. Lalgorithme dEuclid tendu permet de trouver ri et si explicitement.) Comme pi (x) est nulle sur Vi et qi (x) est nulle
sur tous les Vj , j i, nous obtenons
si (x)qi (x)Vi = 1 et
si (x)qi (x)Vj = 0 j i .
Si nous posons
k
27
= xs .
a1
p(x) =
ak
En plus, par construction p(0) = 0 (soit ai = 0 soit qi (0) = 0). Finalement,
nous dfinissons simplement q(t) = t p(t), tel que q(x) = x xs = xn .
.
x=
0
am
Nous considrons la base (eij ) de End(V ) ou eij est lendomorphisme qui
est reprsent par la matrice avec 1 dans la position ij est des zros partout
ailleurs dans la base choisie. Avec ceci nous trouvons
(ad(x)eij )m = xk (eij )km (eij )k xkm
= a k ik jm i jk am km
= a i jm am i jm = (a am ) (eij )m .
Donc ad(x) est diagonal dans la base (eij ) de End(V ) et, en particulier,
semisimple.
En plus, daprs le lemme 1.16, ad(x) est nilpotenr si x est nilpotent.
Preuve Daprs le lemme 1.25 ad(xs ) est semisimple et ad(xn ) est nilpotent.
En plus,
[ad(xs ), ad(xn )] = ad([xs , xn ]) = 0 .
Comme la dcomposition de Jordan est unique, ceci dmontre le corollaire.
29
Corollaire 1.29 Soit L une algbre de Lie avec tr (ad(x)ad(y)) = 0 for all
x [L, L] et y L. Alors L est soluble.
Preuve (du corollaire 1.29.)
En appliquant le critre de Cartan sur la reprsentation adjointe de L nous
trouvons que ad(L) est soluble. Comme ker(ad) = Z(L) est soluble et L/Z(L)
est isomorphe ad(L) et donc aussi soluble, il suit de la prop. 1.13 que L
est soluble.
Lautre direction (si [L, L] est nilpotent, L est soluble) est triviale. Comme
espace linaire, L L/[L, L][L, L]. En plus, les deux termes sont des idaux
dans L et L/[L, L] est ablien, une algbre de Lie soluble est alors de la forme
L = A [L, L], o A est un idal ablien. Si A = 0, L est mme nilpotent
et content donc un idal ablien (lavant-dernier pas dans la srie des Ln ).
Nous en concluons en particulier que toute algbre de Lie soluble (non-nulle)
contient un idal ablien non-nulle.
1.6.4
(1.9)
Dfinition 1.29 Soit L une algbre de Lie. Lidal soluble maximal dans L
sappelle radical de L, Rad(L).
Evidemment Rad(L) = 0 si lalgbre de Lie est semisimple.
Il faut encore dmontrer que Rad(L) est bien dfini. Pour ceci supposons
quils existent deux idaux maximaux, I1 I2 avec dimI1 = dimI2 0. Donc
I1 + I2 est aussi un idal qui est plus grand que I1 et I2 , ce qui contredit la
supposition que I1 et I2 soient maximal.
Pour une forme bilinaire quelconque sur un espace vectoriel, L
L C (x, y) (x, y), le radical S L est lespace linaire dfini par
S = {x L(x, y) = 0 y L}.
Exercice 1.14 Montrer que pour la forme de Killing dune algbre de Lie,
le radical S nest pas juste un espace linaire mais un idal.
Une forme bilinaire est non-dgnre si S = 0. En algbre linaire on a une
faon simple de tester si une forme bilinaire est dgnre ou non : On choisit
une base, x1 , , xm de L. Alors est est non-dgnre si det((xi , xj )) 0.
Exercice 1.15 Montrez ceci !
Thorme 1.31
Une algbre de Lie, G, est semisimple si et seulement
si sa forme de Killing nest pas dgnre. Cest--dire (x, y) = 0 y seul si
x = 0.
31
33
Chapitre 2
Groupes topologiques et la
mesure de Haar
2.1
Topologie
ensemble B B.
34
xA
Preuve du corollaire :
"" Soit f continue et x X, et soit V un voisinage de f (x). Nous
posons U = f 1 (V ). V contient un ouvert I avec f (x) I. Alors f 1 (I)
est un ouvert dans U qui contient x, donc U est un voisinage de x.
"" Soit f continue en tout x X et A Y un ouvert. Nous voulons
montrer que f 1 (A) X est aussi un ouvert. Soit x f 1 (A). Alors
f (x) A et il existe un voisinage V de f (x) avec V A. Comme f est
continue en x, il existe un voisinage U de x avec f (U ) V A. Donc
U f 1 (A). Alors pour tout x f 1 (A) il existe un voisinage U de x
qui est aussi contenu en f 1 (A), cest--dire f 1 (A) est ouvert.
Comme la notion de continuit, la notion de convergence dpend galement de la topologie. Par exemple par rapport la topologie X = {, X}
toute suite converge vers tout point x X. Par contre, par rapport la topologie X = P (X), seules les suites qui sont constantes partir dun certain
N N convergent.
Exemple :
X R et R X = { R
Ceci est une topologie sur R. Cest la topologie dite "naturelle". Les
notions de continuit et de convergence usuelles sur R correspondent nos
dfinitions si nous utilisons cette topologie.
(exercice !)
Pour aller plus loin, nous aimerions une notion de sparation. Les ensembles ouverts doivent sparer les points dune faon ou dune autre. Il
existe au moins cinq diffrents axiomes de sparation qui sont tous inquivalents mais tous satisfaits par (R, R). Nous utilisons un des axiomes qui est
moyennement fort :
Dfinition 2.8 Espaces de Hausdorff
Un espace topologique (X, X ) satisfait laxiome de sparation de Hausdorff si tous les points x y X ont des voisinages disjoints. Un espace
topologique qui satisfait cet axiome est appel
un "espace de Hausdorff".
Par la suite nous ne considrerons que des espaces de Hausdorff.
X
Uy
Ux
y
x
est de la forme U = iI
Ui , I N, tout ouvert contient certains xi et
a alors une intersection non-vide avec N . Cest--dire N est dense.
Soit {Ui i N} = B une base dnombrable de X et W un recouvrement.
Nous supposons que W, sinon nous lajoutons. Pour tout Ui B
nous choisissons Wi W tel que Ui Wi . Si un tel Wi nexiste pas
nous choisissons Wi = . Nous dmotrons alors que ces Wi forment un
39
n
A , possde une intersection non-vide, A .
non-vide, i=1
i
i=1 i
Il en suit que dans un espace topologique compacte avec une base dnombrable (pour qui donc daprs la prop. 2.9 tout recouvrement ouvert contient
un recouvrement dnombrable), daprs cette proposition 2.10, tout suite
contient une sous-suite convergeante.
Preuve
1. 2. Soit U = {Ui i N} un recouvrement de X. Soit V1 = U1 . Soit V2
le premier des ensembles U1 , U2 , . . . qui nest pas contenu dans V1 . Soit
V3 le premier des ensembles qui nest pas contenu dans V1 V2 , etc.
(a) Si aprs r pas
k=1
sons A A = .
40
i=1
3. 1. Soit (xn ) une suite. Nous posons An = {xk k > n}. = {An n
N
n N
A
N} est un systme de sous-ensembles ferms tels que n=1
N, n N. Nous montrons que tout lment x n An est la limite dune
sous-suite (xnk ). Pour x n An et U un voisinage de x, U An n.
Donc pour tout n il existe kn > n et kn > kn1 tel que xkn U . Alors la
sous-suite (xkn )nN converge vers x.
Consquences :
Si deux fonctions continues sont gales sur un ensemble dense, elles
sont compltement gales. Spcifiquement, si deux fonctions continues
sur R (ou sur un intervalle) sont gales sur les nombres rationels (Q),
elles sont gales.
Lensemble des zros dune application continue dun espace X dans
Rn est ferm (choisir g(x) 0).
Proposition 2.13 (Thorme du graphe ferm)
Soient X et Y des espaces topologiques, f X Y continue. Lensemble
G = {(x, f (x)) x X} (appel le "graphe" de f ) est ferm dans X Y .
41
et P1 X Y X (x, y) x.
2.2
Groupes topologiques
et G G G (a, b) ab
42
m, n > N, x H.
x H , f .
Alors toute suite (fn ) contient une sous-suite qui est uniformment
convergente.
Preuve Comme G satisfait le deuxime axiome de dnombrabilit, il contient
un ensemble dnombrable N qui est dense, et N H est dense dans H.
Soient {a1 , a2 , . . .} = N H.
Soit (fn ) une suite dans .
La suite des nombres (fn (a1 ))n est borne, elle possde une sous-suite convergente (fnk1 (a1 ))k1 . Mais (fnk1 (a2 ))k1 est aussi borne et contient alors une
sous-suite (fnk2 (a2 ))k2 qui converge. Alors fnk2 (a1 ) et fnk2 (a2 ) convergent.
43
La suite (nkk )
k=1 est telle que gk fnkk converge pour tous les ai N H.
Nous allons montrer que la suite gk converge uniformment sur H. Comme
les gk sont qui-continues, pour tout > 0 il existe un voisinage V de e tel
que
gk (x) gk (y) <
x, y H
avec xy 1 V
et k N.
bj = aij , j = 1, . . . , M
et H = V bj .
j=1
p, q > Nj .
Si (fn ) est une suite qui converge uniformment vers f , nous avons
lim K(fn ) = K(f ) et
Preuve Soit xn tel que f (xn ) < L(f )+ n1 . Comme X est compact, xn contient
une sous-suite qui converge (prop 2.10) (xnk )kN . Soit x = limk xnk alors
f (x) < L(f ) +
1
n
n N,
2.3
Lintgration de Haar
1 N
f (xi )
N i=1
1 N
1 N
1
f
(x
)
=
f (xi y) y G.
i
N i=1
N i=1
En plus
I(f + g) = I(f ) + I(g) ,
I( f ) = I(f ) ,
et I(f ) I(f ).
Ce sont les proprits dune intgration invariante.
Nous allons maintenant construire une telle intgration invariante ou intgration de Haar pour tout groupe compact qui satisfait le deuxime axiome
de dnombrabilit.
45
f (x)dx f (x)dx .
f (x)dx f (x)dx .
f (x)dx > 0.
(m 1)k + h
< k.
m
x G.
Nous allons montrer que toute fonction continue possde au moins une
moyenne droite.
Soit f lensemble de toutes les fonctions de la forme M (A, f )) pour
les sous-ensembles A finis et une fonction continue f donne.
f = {M (A, f )A G, fini } .
De 1. il suit que f est uniformment borne. Nous allons montrer que
f est aussi qui-continu. Comme f est continue sur G compact, f est
aussi uniformment continue. Pour tout > 0 il existe alors un voisinage
V de e tel que
f (x) f (y) < xy 1 V.
Mais avec xy 1 V nous avons aussi
(xai )(yai )1 = xy 1 V,
et donc
f (xai ) f (yai ) < .
La somme sur i donne
M (A, f )(x) M (A, f )(y) <
pour tout xy 1 V et pour tout A fini. Alors f est qui-continu.
Soit s la borne infrieure de tous les S(M (A, f )). Il existe alors une
suite fn dans f telle que
lim S(fn ) = s.
Comme f est qui-continu, cette suite possde une sous-suite (gn ) qui
converge uniformment (voir thorme 2.16). Nous appelons sa limite
g(x).
Sa variation S(g) est gale s , S(g) = s.
Nous allons montrer que g est constante ou bien (cela revient au mme)
que s = 0.
Supposons que g ne soit pas constante. Daprs 2. il existe alors un
systme A fini dlments de G tel que S(M (A, g)) = s < s.
Soit = 13 (s s). Comme gn converge uniformment vers g, il existe un
N N tel que pour tout k > N, nous avons
g(x) gk (x) < .
En remplaant x par xai et faisant la somme sur ai A, on obtient
M (A, g)(x) M (A, gk )(x) < .
48
1 n
f (bi x).
n i=1
h
.
N
h
> 0.
N
Soit f (x)dx une autre intgration invariante qui satisfait la dfinition 2.17.
Nous allons montrer que
f (x)dx = M (f ).
M (A, f )(x)dx p =
f (x)dx p .
Il est facile de voir que satisfait les conditions 1. 5. de la dfinition 2.17. Nous ne montrons que la premire de galits 5. :
Alors
f (x)dx.
2.4
et A B = .
52
Exercice 2.3 X est connexe si et seulement sil nexiste pas deux ensembles
ouverts A, B tels que
AB =X
et A B = .
nZ
est continue.
Preuve (Par induction). Pour n = 1, f est lidentit qui est
trivialement continue.
Soit x xn continue. Alors
G G G (x, y) xn y
est aussi continue. Mais fn+1 = o est la "diagonale" de G G.
Pour n < 0 nous composons fn avec x1 .
Lemme 2.21 Soit G un groupe topologique.
f G G . . . G G (x1 , . . . , xn ) xr11 xrnn ,
est continue.
53
ri Z
U P = aP
U a et P U = aP
aU sont des unions densembles ouverts et donc
aussi ouverts.
Daprs les exercices 1.6 et 1.7 du chapitre 1, nous avons le thorme suivant :
Thorme 2.24 Soient G et G deux groupes (pas ncessairement topologiques), f G G un homomorphisme surjectif et ker f = f 1 (e ) = N .
G
G [x] f (x) est un isoAlors N est un sous-groupe normal et f N
morphisme.
55
P.S. : Comme N = f 1 ([e ]) il est clair que N est ferm. Pour ceci il faut
savoir que tout lment individuel forme un ensemble ferm :
Exercice 2.5 Montrer que pour tout espace topologique X qui est Hausdorff,
les ensembles {x}, x X sont ferms.
Exercice 2.6 Remarque : Pour des groupes G et G qui sont localement
compacts et qui satisfont au deuxime axiome de dnombrabilit, tout homomorphisme continu et surjectif G G est aussi ouvert.
(Localement compact veut dire que tout x G possde un voisinage V
dont la fermeture, V , est compacte.)
Dfinition 2.23 Composante
Une composante dun espace topologique X est un sous-ensemble A X
connexe, ferm et non-vide, tel que X = A B pour un certain autre sousensemble ferm, B X avec A B = .
1. Un espace connexe na quune composante, A = X, parce que la seule
dcomposition en ensembles ferms est X = X .
2. La composante dun groupe topologique G qui contient llment neutre
forme un sous-groupe normal.
56
Preuve du point 2.
Soit N la composante de e G, a, b N . Avec N , aN 1 est aussi ferm et
connexe, ferm et il contient a a1 = e. Donc aN 1 = N alors ab1 N a, b
N . Alors, N est un sous-groupe. Par dfinition N est aussi ferm. De plus,
soit x G quelconque, xN x1 est connexe et contient e, alors xN x1 = N ,
donc N est un sous-groupe normal.
57
Chapitre 3
Reprsentations
3.1
k=1
ak =
a1k
a2k
...
ank
59
(3.1)
Alors Saj est une combinaison linaire des vecteurs ak . Donc laisse invariant lespace linaire gnr par les vecteurs {a1 , . . . , am }. Nous appelons cet
espace V . Comme est irrductible on a que dim V = 0 ou dim V = n.
Dans le premier cas, A 0.
Dans le deuxime cas, les m vecteurs ak gnrent un espace de dimension n,
alors n m.
Il est facile de voir que (et ) sont irrductibles si et seulement. si T et
T le sont. Mais si nous appliquons le mme argument sur T AT = AT T ,
nous trouvons que n m.
Alors n = m. Donc A Cnn et les n colonnes de A engendrent un espace
vectoriel de dimension n, alors A est inversible.
Corollaire 3.3 Soit Gl(n, C) un ensemble irrductible et B Cnn commute avec tous les matrices dans . Alors B = 1I pour un C.
Preuve Nous considrons A = B1I ou est une valeur propre de la matrice
B. Alors A nest pas invertible. Mais A = A, donc A 0, B = 1I.
Proposition 3.6 Soit A V V une transformation unitaire qui laisse invariant un sous espace S V . Alors A laisse invariant aussi son complment
orthogonal, S .
Preuve Le complment orthogonal dun sous-espace S est donn par S =
{x V x, y = 0 y S}. Soit alors x S et y S. Nous voulons montrer
que Ax S . Comme A laisse S invariant, on peut le considrer comme un
automorphisme sur S. Il existe donc un z S avec Az = y. Donc
Ax, y = Ax, Az = x, z = 0,
ce qui implique Ax S x S .
a 0
)
0 b
61
3.2
Par construction (ei )ni=1 est une base orthonorme par rapport ce produit
scalaire. Avec ceci et nous construisons un nouveau produit scalaire sur V
donn par :
[u, v] = dx(x)u, (x)v
G
Soit alors (fi )ni=1 une base orthonorme par rapport ce nouveau produit
scalaire et soit T dfini par T (fi ) = ei . Alors (x) = T (x)T 1 est unitaire
par rapport lancien produit scalaire.
1 ln(a)
).
0
1
(3.2)
Le sous-espace
V1 = {(
x
) x R} R2
0
est videmment invariant sous (R{0}), mais il nexiste pas dautre sousespace invariant, V2 R2 tel que V1 V2 = R2 . Les matrices de la forme
(3.2) ne sont pas diagonalizables (elles sont dj dans leur forme normale de
Jordan).
Thorme 3.8 Toute reprsentation unitaire dimension finie est compltement rductible.
Preuve (du thm. 3.8)
Nou procdons par induction. Pour n = 1 il ny a rien prouver. Supposons
que le thm soit vrai pour tout m < n. Soit maintenant n = dim V , et
G Aut(V ) x (x)
une reprsentations unitaire dun groupe G. Si est irrductible elle est dj
dans la forme voulue. Si par contre est rductible il existe un sous-espace
non-triviale V1 V qui est invariant sous toutes les transformations (x), x
G. Mais comme ce sont des transformations unitaires aussi V1 est invariant
(prop. 3.6) et V = V1 V1 pour deux espace invariants de dimension m1,2 avec
1 m1,2 < n. Par induction V1 et V1 sont compltement rductibles et pous
pouvons alors trouver des sous-espaces W1 , . . . , Wi V1 et Wi+1 , . . . , Wj V1
tels que
(x)Wp Wp pour tout 1 p j et V = jp=1 WP .
Dans les exercices nous dmontrons encore que toute reprsentation irrductible dun groupe compacte est de dimension finie.
Remarque : Il en suit que toute reprsentation de dimension finie dun
groupe compact est compltement rductible. Ce rsultat est aussi vrai pour
63
des reprsentations des groupes de Lie smi-simples non-ncessairement compacts. La raison est que ces groupes peuvent tre compris comme la complexification dun groupe compact. Par exemple le groupe Sl(2, C) est la
complexification du groupe SO(3) ou SU (2). Dans ce contexte complexification veut dire quon prend lalgbre de Lie L et pour en gnrer le groupe
G on admet les exponentielles a = exp(tx) avec des t C, x L. Ou, ce qui
est quivalent, on considre Lcomp = {cac CC, a L} ce qui est lalgbre de
Lie complexifi. Le groupe de Lie y correspondant, G = exp(tLcomp ), est le
groupe complexifi. Pour L = so(3) su(2) on obtient ainsi lalgbre de Lie
sl(2, C) et sopn grope de Lie Sl(2, C). Nous discuterons cet exemple plus en
dtail dans le chapitre 4. La dimension relle du groupe est double dans ce
processus.
Dfinition 3.7 Caractre Le caractre X dune reprsentation est la trace
des matrices de reprsentation, la fonction
X (x) = tr (x) , x G,
ici (x) est la matrice de reprsentation dans une base quelconque. Comme
tr (x) ne dpend pas de la base, X (x) est bien dfini.
Deux reprsentations quivalentes ont des caractres identiques,
= T T 1 alors
X (x) = X (x).
X et X sont les caractres respectives . Les relations dorthogonalit suivantes sont alors vrifies :
ij (x) p (x)dx = 0
X (x) X (x)dx = 0
Preuve Evidemment la deuxime quation est une consquence de la premire. Il nous faut donc juste dmontrer celle-ci.
Soit b Cmn arbitraire, a(x) = (x) b 1 (x). Nous posons
a = a(x)dx.
Nous voulons montrer que (y)a = a(y) :
(y)a = dx(y)(x)b(x1 )
=
dz(z)b(z 1 )(y) = a(y).
z=yx
Thorme 3.10 Soit une reprsentation irrductible, unitaire, de dimension n du groupe compact G, alors
1
ij ij (x)dx = n ,
(pas de somme !)
donc
tr b
.
n
De nouveau nous choisissons b tel que br = 1 pour un 1 r n et un 1 n
et bkm = 0 pour tous les autres lments .
Alors tr b = r et donc
=
1
ir (x)j (x )dx = ir (x)j (x)dx =
ij r
n
Soit maintenant une reprsentation rductible dune dimension N , unitaire. Elle est alors compltement rductible et nous pouvons la dcomposer
en somme de reprsentations irrductibles, symboliquement
" = m1 1 . . . mr r "
o mi est la multiplicit avec laquelle apparait la reprsentation irrductible
i . Nous appellons Xi le caractre de la reprsentation i . Evidemment
X (x) = mi Xi (x).
i
En plus
2
X (x)X (x)dx = mi .
i=1
66
ou
a1 f (x)
= f (a1 x) .
67
Pour j fix nous posons ei (x) = Aij (x). Soit v(x) = i vi ei (x). Alors
(R(y)v) (x) = v(y 1 x) = vi ei (y 1 x)
i
= vi Ai (y 1 )e (x)
i
( Ai (y)vi ) e (x).
A est unitaire
nA
{A}
Ici la premire somme porte sur toutes les reprsentations irrductibles inquivalentes.
3.3
1, x = xi
0, sinon
d2i = nG .
i=1
Nous considrons lensemble des fonctions sur les classes. Daprs ce que
nous avons dit, les caractres de toutes les reprsentations irrductibles inquivalentes forment une base orthonorme sur cette algbre. Mais aussi les
nC fonctions [x] dfinies par
[x] (y) = {
1 y [x]
0 sinon
forment une base, donc ils ont les deux le mme nombre dlments.
(a b) = (a) (b).
a = i xi , i C , xi G , n N.
i=1
(b = i yi )
a b = i j xi yj .
i=1
i,j
69
xG
(3.3)
zG
a A(G),
x ei Ji .
De tels lments ej sont appels des idempotents normaux primitifs (le dernier parce que les Ji sont minimaux).
Pour tout x A(G) il est aussi clair que
xej Jj
et xej = x si x Jj .
d2j = nG
j=1
avec A = A1 A2 . . . An ,
o les Ai sont des idaux minimaux, ne contiennent plus dautres idaux (de
deux cts) algbres simples.
Cette remarque est rsume dans la proposition suivante :
Proposition 3.16 Toute algbre semisimple (i.e. somme directe didaux
minimaux gauche) est aussi une somme directe didaux droite et une
somme directe didaux aux deux cts (appels simplement idaux) :
A = L1 L2 . . . Ln
(idaux gauches)
A = R1 R2 . . . Rn
(idaux droites)
A = A1 A2 . . . Am
Li = Aei
R i = ei A
Ai Aj = {0} si i j
71
A2i = Ai
L1
L2
Ln
L1
L2
Lj
Ln
b Aj
alors
ab = a1 b + a1 b .
A1
Aj
Aj
73
Chapitre 4
SO(3) et SU(2)
4.1
y + iy2 y3 + iy4
y=( 1
)
y3 + iy4 y1 iy2
avec
cos
74
avec r = 1 .
(4.2)
S3 dv = 0 d 0 d 0
d sin2 sin = 2 2 .
(4.3)
1
sin2 sin d d d .
2 2
donc
Nous pouvons remplacer d dans dSU (2) par d et expresser sin comme
fonction de , et . Une intgration pnible sur et mne finalement
1 2 2
dSU (2) f () = 0 sin f () .
Dans les exercices nous driverons ce rsultat dune faon plus rapide.
75
(4.4)
4.2
Dans lespace de Hilbert, H = L2 (R3 ), une particule sans spin nest pas reprsente par un unique vecteur complexe H, mais par un rayon unitaire,
not [] :
[] = {ei R, } .
(4.5)
Un lment [] est appel une fonction donde. Le produit scalaire entre
deux fonctions donde , H est dfini par lapplication , H C,
= d3 x (x)(x)
.
(4.6)
x R3 .
(4.7)
L oprateur U (R) agit sur les fonctions, tandis que la transformation R agit
sur les points de lespace. Comme det R = 1, nous avons
[U(R)] (x), [U (R)] (x) = (R1 x) , (R1 x)
(R1 x) (R1 x)
= d3 x
= d3 x (x)(x)
det R
= , .
(4.8)
Ainsi, loprateur U (R) est unitaire puisquil laisse le produit scalaire invariant. De plus, nous avons
(4.10)
donc D (A) =
d
D(eAt ) .
dt t=0
(4.11)
(4.12)
(4.13)
(4.14)
d
R(e, )
et, avec (4.12),
x = e x .
(4.15)
d
=0
Ainsi, on a = eI avec (Ii )jk = ijk , o ijk dnote le tenseur antisymtrique
trois indices. Explicitement, nous avons
=
0 0 0
I1 = 0 0 1 ,
0 1 0
0 0 1
I2 = 0 0 0 ,
1 0 0
0 1 0
I3 = 1 0 0 .
0 0 0
(4.16)
Lquation (4.14) implique que R(e, ) = exp e I. Les Ij sont les gnrateurs infinitsimaux des rotations autour de laxe ej . Ils forment une base de
1. Nous avons vu que tout sous-groupe additif un paramtre dans un groupe de Lie
d
R(s)s=0
est de la forme R(s) = exp As pour un lment A dans lalgbre de Lie, et donc ds
est un lment de lalgbre de Lie.
2. Nous rappelons que les rotations autour dun axe fixe forment un groupe ablien,
SO(2).
77
lalgbre de Lie so(3) du groupe SO(3). Ainsi, ils satisfont aux relations de
commutation
[Ii , Ij ] = ijk Ik ,
(4.17)
[e I, n I] = (e n) I ,
e, n R3 .
(4.18)
(4.20)
= ih [(x)] (e x)
h
= e (x ) ,
i
(4.21)
ce qui implique
h
L=x .
(4.22)
i
Ce rsultat peut aussi tre driv par une application nave de la rgle de
correspondance, L = x p, o L, x, p dsignent respectivement le moment
cintique orbital dune particule, sa position et son impulsion.
Ainsi, comme en mcanique classique, nous avons une relation entre le
moment cintique orbital et des rotations infinitsimales. Le moment cintique (orbital) est le gnrateur des rotations.
La reprsenation U induite sur o(3) est alors donne par
L(e) = e L
(Ij ) .
Lj = ihU
(4.23)
78
(4.24)
(4.25)
Alors, les Li sont invariants par rapport une volution temporelle ; ils sont
conservs :
i
i
(4.26)
Lt = Le h Ht 0 = e h Ht L0 .
On peut en conclure quun espace propre de lhamiltonien avec valeur propre
E rduit la reprsentation U (R) sur L2 (R3 ), puisque le sous-espace de
chaque valeur propre de H est invariant par rapport aux rotations (voir
exercices).
4.3
D(g) =
0
0
.
n
0 D (g)
(4.27)
(4.28)
(4.29)
(4.30)
Evidemment L ne sont pas des lments de D(so(3)) mais ils sont dans
D(sl(2, C)). Comme nous verrons dans les exercices, I2 est un Casimir de
so(3), cest--dire, les lments Ij so(3) form une base orthonorne par
rapport la forme de Killing (voir exercices).
En utilisant les relations de commutation (4.24) pour les composantes Lj ,
il est facile de vrifier que
[L2 , Lj ] = 0 = [L2 , L ] ,
,
[L3 , L ] = hL
3.
L L = L2 L23 hL
(4.31)
(4.32)
(4.33)
2 amax ,
L2 max = h
(4.34)
(4.35)
+ 1) >
Donc L+ max est soit un vecteur propre de L3 avec valeur propre h(b
hb, soit nulle. Or, comme nous avons suppos que hb
est la valeur propre
maximale de loprateur L3 , ceci implique que L+ max = 0. Daprs (4.33),
3,
L2 = L23 + L+ L hL
3.
= L23 + L L+ + hL
(4.36)
(4.37)
(4.38)
donc a = b(b + 1). Nous agissons maintenant avec L sur max et trouvons
max = h(b
1)L max .
L3 L max = L L3 max hL
(4.39)
1). En
Donc L max est un vecteur propre de L3 avec valeur propre h(b
continuant ainsi, on obtient que (L )n max est soit vecteur propre de L3 avec
n), soit identiquement nul. Comme L3 possde une valeur
valeur propre h(b
propre minimale, il doit exister un n maximal, tel que (L )n+1 max = 0. En
utilisant Eq. (4.36), nous trouvons
2 a(L )n max = (L )n L2 max = L2 (L )n max = [L2 hL
3 ] (L )n max
h
3
2 [(b n)2 (b n)] (L )n max .
=h
(4.40)
Donc a = b(b + 1) = (b n)2 b + n, i.e., b = n/2 . Ainsi, ne peut prendre
que des valeurs entires ou demi-entires.
Pour la suite, nous posons
max =
et
(L )n max
= n .
(L )n max
(4.41)
2 ( + 1)n .
L2 n = h
(4.42)
et
Les nombres n sont des poids de lidal cL3 avec espace de poid unidimensionel cn . Evidemment, lespace linaire engendr par les vecteurs
normaliss n avec 0 n 2, porte une reprsentation irrductible de
so(3) de dimension 2 + 1. Elle est irrductible parce quon peut obtenir tous
les vecteur de base m en appliquant L sur (ou en appliquant L+ sur
).
Les vecteurs n forment une base orthonorme. En effet, ils sont des vecteurs propres de loprateur hermitien L3 avec des valeurs propres diffrentes,
et sont donc orthogonaux. De plus, toutes les reprsentations irrductibles
de so(3) de dimension finie sont de cette forme pour un {0, 21 , 1, 23 , 2, }.
Il nous reste dterminer lesquelles de ces reprsentations peuvent tre
leves une reprsentation du groupe SO(3). Nous allons voir que seulement les entiers correspondent aussi une reprsentation de SO(3).
4.3.1
2 ( + 1),m ,
L2 ,m = h
L3 ,m = hm
,m ,
avec
m .
(4.43)
(4.44)
(4.45)
cos cos
e = cos sin ,
sin
sin
e = cos .
0
(4.46)
(4.47)
2
sin
sin
i [ + i cot ] .
L = he
(4.48)
(4.49)
(4.50)
(4.51)
(4.52)
(4.53)
(4.54)
(4.55)
(4.56)
Ceci implique que m Z pour que les fonctions Y,m (, ) soient bien dfinies.
Or, comme nous savons que m et sont soit tous deux entiers, soit tous deux
demi-entiers, il sensuit que aussi ne peut tre quentier.
Nous essayons un Ansatz de la forme
c,m
Y,m (, ) = eim Pm ()
2
= cos .
d
d
(4.57)
= sin 1 ,
d2
d
m2
2
+
(
+
1)
] P m () = 0 .
d2
d
1 2
(4.58)
+m
(1)m
2 m/2 d
(2 1) .
(1
+m
2 !
d
(4.59)
d
m
Pm+1 () = 1 2 [
] P m () .
+
d 1 2
83
(4.60)
Ainsi, on a
c,m i(m+1)
1 L+ Y,m =
h
e
[ m cot ]Pm ()
2
c,m i(m+1)
d
m
= e
1 2 [
+
] P m ()
d 1 2
2
c,m
= ei(m+1) Pm+1 ()
2
c,m
=
Y,m+1 .
c,m+1
(4.61)
(4.62)
c,m
2 L+ Y,m , L+ Y,m
=h
c,m+1
2 Y,m , L L+ Y,m
=h
2 Y,m , [L2 L2 hL
3 ] Y,m
=h
3
= ( + 1) m(m + 1) ,
donc
(4.63)
(4.64)
( + 1) m(m + 1) Y,m .
L Y,m+1 = h
( + 1) m(m 1) Y,m1
L Y,m = h
(4.66)
(4.67)
(4.68)
avec solution
P =
(1) (2)!
sin .
2 !
(4.69)
2
2
0 d c, P sin = 1 .
(4.70)
(2 + 1)
c, =
.
2(2)!
(4.71)
(2 + 1)! i
sin e .
4
(4.72)
(4.73)
2 + 1 ( m)! m
Y,m (, ) =
P (cos )eim
4 ( + m)!
(4.74)
( m)! m
P
( + m)!
(4.75)
implique finalement
Y,m (, ) = (1)m Y,m (, )
85
(4.76)
Aux ordres les plus bas, les harmoniques sphriques sont alors donnes par
=0
=1
=2
4.4
1
,
Y0,0 (, ) =
4
3
Y1,0 (, ) =
cos ,
4
3
Y1,1 (, ) =
sin ei ,
8
5
[3 cos2 1] ,
Y2,0 (, ) =
16
15
Y2,1 (, ) =
sin cos ei ,
8
15
Y2,2 (, ) =
sin2 e2i .
32
(4.77)
Comme nous lavons dit, un tat physique nest pas vraiment reprsent
par une fonction donde H = L2 (R3 ), mais par un rayon unitaire []. En
gnral, une symtrie physique nest alors pas reprsente par une transformation sur H, mais par un automorphisme sur les rayons unitaires et sur
les observables A (oprateurs auto-adjoints sur H).
Dfinition 4.2 Un automorphisme de Wigner est une application sur les
rayons unitaires telle que :
1. [] ([]) est surjective,
2. [], [] = [], [] o nous posons [], [] = , .
(Il est vident que cette dfinition ne dpend pas des reprsentants
[] et [].)
Thorme 4.1 (Wigner) Soit G un groupe, reprsent sur les rayons unitaires par un automorphisme de Wigner g , tel que
g1 g2 = g1 g2 .
(4.78)
Pour tout g G, il existe alors une transformation U (g) sur H qui est soit
86
(4.79)
avec
(g1 , g2 ) = 1 .
(4.80)
87
il existe un voisinage N (
tel que
En dautres termes, pour tout g G,
g ) G,
N (
g ) (N (
g )) est bijective. Donc, pour un petit voisinage M (g) dun
1
point g G, (M (g)) consiste de lunion finie ou dnombrable densembles
disjoints 5 .
Le revtement universel existe et il est unique pour tout groupe de Lie
connexe.
Exemple :
= R G = U (1) telle que x (x) = eix , implique
Lapplication G
.
ker = 2 Z et donc G G/Z
'$
4 2
+2 +4
1
&%
HH
j
uni(H)
*
? U
L, est un isomorphisme
et L isomorphes, le homomorphisme induit, L
(exercice).
4.5
88
0 i
2 = (
) ,
i 0
1 0
3 = (
) .
0 1
(4.81)
(4.82)
(4.83)
1
(
x21 + x12 ) ,
2
x2 =
1
(
x21 x12 ) ,
2i
x3 = x11 =
x22 .
(4.84)
Maintenant, nous appliquons une transformation unitaire sur x de manire obtenir une nouvelle matrice X :
X = U xU .
(4.85)
(4.87)
(4.88)
est continue, (SU (2)) est aussi connexe ; en plus (1I2 ) = 1I3 . Donc (U ) est
un lment de la composante de O(3) qui contient lidentit, ce qui implique
(U ) O(3)0 = SO(3).
Pour illustrer ce propos, nous drivons explicitement les composantes de
(U ). Puisque il existe x R3 avec X = x , nous pouvons re-crire Eq. (4.85)
sous la forme
x = U xU = U xU 1 x .
(4.89)
La multiplication matricielle (4.89) avec (4.86) donne
1
(
x + x12 )
2 21
i
1
2 b2 b2 ) x1 + (a2 + a
2 b2 + b2 ) x2 (ab + a
b) x3 , (4.90)
= (a2 + a
2
2
1
x 2 = (
x x12 )
2i 21
1
i
2 + b2 b2 ) x1 + (a2 + a
2 + b2 + b2 ) x2 + i (
ab ab) x3 , (4.91)
= (a2 a
2
2
x 3 = x11 =
x22
= (
ab + ab) x1 + i (
ab ab) x2 + (a
a bb) x3 .
(4.92)
x 1 =
(
ab + ab)
i
(a2 a
2 + b2 b2 )
2
1
(a2 + a
2 + b2 + b2 )
2
i (
ab ab)
90
(ab + a
b)
i (
ab ab)
(4.93)
(a
a bb)
Daprs ces formules, il est vident qu chaque matrice U SU (2) est associe une matrice (U ) qui transforme x1 , x2 , x3 en x 1 , x 2 , x 3 , i.e., x =
(U )x. Les lments de (U ) sont explicitement donns par q. (4.93), et il
est facile de vrifier que toutes les composantes de (U ) sont relles. Comme
nous lavons dmontr ci-dessus, (U ) est mme une matrice orthogonale
reprsentant une rotation propre des coordonnes, i.e., (U ) SO(3).
Avec q. (4.93) on vrifie aisment que les matrices unitaires suivantes
(Uj ()) correspondent bien aux rotations par dun angle autour de laxe
j.
Si nous choisissons la matrice U diagonale, sa forme la plus gnrale
est
ei/2
0
U3 () = (
) .
(4.94)
0
ei/2
En utilisant les formules gnrales (4.90)(4.92), nous obtenons alors
cos sin 0
(U3 ()) = sin cos 0 ,
0
0
1
(4.95)
(4.96)
(4.97)
(4.98)
0
0
1
(U1 ()) = 0 cos sin ,
0 sin cos
(4.99)
nous obtenons
(4.100)
On voit immdiatement que {1I2 , 1I2 } ker , ce qui indique que deux lments U et U de SU (2) sont associs chaque S SO(3). Nous devons
encore montrer quil nexiste pas dautres lments de SU (2) qui sont appliqus sur 1I3 , i.e. que,
ker = {1I2 , 1I2 } .
(4.101)
Une matrice X C22 quelconque peut tre reprsente sous la forme
X = 1I2 + x + i (1I2 + y) ,
, R .
(4.102)
(4.103)
avec
Mj =
92
1
j ,
2i
j = 1, 2, 3.
(4.104)
d
Uk ()
.
d
=0
(4.105)
Ainsi,
d
(Uk ()) x
d
=0
d
=
[Uk ()
xUk ()] = Mk x + x(Mk )
d
=0
1
= [Mk , x] = [k , j ]xj = kji i xj ,
2i j
j,i
(Mk )x =
(4.106)
puisque x = x et
[k , j ] = 2i kji i .
(4.107)
(4.108)
j,i
ce qui implique finalement lidentit ( (Mk ))ij = kji = kij = (Ik )ij .
Daprs Eqs. (4.104) et (4.107), les relations de commutation des Mk sont
[Mi , Mj ] = ijk Mk .
(4.109)
Elles sont donc identiques celles des Ik , ce qui doit tre le cas puisque est
un isomorphisme entre les algbres de Lie su(2) et so(3). En plus, comme
su(2) et so(3) sont isomorphes, ils ont les mmes reprsentations irrductibles : la reprsentation Dj de so(3) correspond la reprsentation Dj
de su(2). Pour un groupe simplement connexe, on peut montrer qu chaque
reprsentation de lalgbre de Lie correspond une reprsentation du groupe.
Il existe donc aussi des reprsentations Dj de SU (2) pour des j demi-entiers.
Les particules spin demi-entier, les fermions, e.g. llectron, se transforment
daprs ces reprsentations. Lexistence des fermions est donc un phnomne
purement quantique, qui na pas danalogue en physique classique.
93
4.6
4.6.1
Dj1 Dj2 =
j1 +j2
Dj
srie de Clebsch-Gordan.
(4.110)
j=j1 j2
Preuve : Soient V (j1 ) et V (j2 ) deux espaces qui portent les reprsentations
Dj1 et Dj2 du groupe SU (2). Lespace V (j1 ) V (j2 ) porte alors Dj1 Dj2 .
(j )
(j )
Soient (m1 ) et (m2 ) des bases canoniques de V (j1 ) et V (j2 ) . Donc les tats
(j )
(j )
(m11 m22 ) forment une base de V (j1 ) V (j2 ) . Pour calculer la valeur de L3
sur ces tats nous utilisons
(j j2 )
L3 1
ih
(j )
d
(Dj1 (R3 ()) Dj2 (R3 ()))
d =0
(j )
= (L3 1 1I + 1I L3 2 ) ,
ou R3 () signifie la rotation avec angle autours de laxe e3 . Les superscripts
de L3 indiquent dans quelle espace loprateur L3 vit. Ils sont supprims par
la suite. Pour nos tats de base ceci donne
1 + m2 )m11 m22 .
L3 m11 m22 = h(m
(j )
(j )
(j )
(j )
(j )
(j )
Donc ltat de base avec valeur propre de L3 maximale est j11 j2 2 avec
1 + j2 ). Tous les autres tats ont des valeurs propres infvaleur propre h(j
rieures. Donc Dj1 Dj2 contient Dj1 +j2 une et une seule fois.
1 +j2 1) est bi-dimensionel
En plus, lspace des tats avec valeur propre h(j
(j1 )
(j2 )
(j1 )
(j2 )
avec base j1 1 j2 et j1 j2 1 . Un de ces tats contribue la reprsentation Dj1 +j2 , mais lautre doit faire partie dune reprsentation Dj1 +j2 1 , qui
94
m2
m1
j2
j22j1
j21 j22
j2
j1
j11
j12
j1
Figure 4.1 Une table pour les valeurs propres possibles de L3 pour Dj1
Dj2 . Dans lexemple prsent, j1 < j2 . Le long des diagonales indiques, la
valeur est m = j1 +j2 k, avec k = 0 pour le point tout en haut et k = klim = 2j1
pour la diagonale la plus basse.
doit aussi tre prsente une et une seule fois. Ca continue ce cette faon (voir
figure 4.1) et une aprs lautre, la dimension de lespace propre avec valeur
1 +j2 k) de L3 augmete par 1 et la reprsentation j = j1 j2 k doit
propre h(j
tre prsente une seule fois, jusqu k = klim = 2 min(j1 , j2 ). Pour k > klim la
1 + j2 k) reste constante
dimension de lespace propre avec valeur propre h(j
1 j2 jusqu
pendant 2j1 j2 pas, pendant lesquelles m descend de hj
1 j2 , et aucune nouvelle reprsentation est possible (voir figure 4.1.
hj
Aprs, la dimension commence dcroitre un par un. La dernire reprsentation est donc celle avec j = j1 j2 klim = j1 j2 . Ceci complte la
dmonstration.
Comme nous lavons dit, la srie de Clebsch-Gordan est trs importante
en Mcanique Quantique. Comme illustration nous considrons deux systmes avec des hamiltoniens H1 et H2 invariants sous rotation sur des espace
de Hilbert H1 et H2 . Nous supposons que les tats fondamentaux de ces systmes portent les reprsentations irrductibles Dj1 et Dj2 de SU (2) sur des
sous-espaces E j1 H1 et E j2 H2 . Si nous ajoutons maintenant une interaction Hint entre ces deux systmes, les moments cintiques J(1) et J(2) ne
seront plus conservs individuellement, mais leur somme J = J(1) + J(2) sera
95
j1 +j2
(E j , Dj ) ,
(4.111)
j=j1 j2
et tous les sous-espaces linaires E j possdent en gnral des nergies lgrement diffrentes (sparation des niveaux dnergie).
Dans la suite de cette section je donne une preuve plus formelle pour
(4.110).
4.6.2
Le caractre de SU (2)
ei 0
U () = (
) = U3 (2) .
0 ei
(4.112)
Il sensuit que toute classe de conjugaison peut tre reprsente par une
matrice de la forme de U (). En plus, si on choisit
0 1
V =(
) ,
1 0
(4.113)
0
De plus, si D et D sont deux reprsentations inquivalentes de SU (2), alors
1
(4.115)
J3 jm = hm
m ,
2 j
2
j(j + 1)j .
J m = h
m
(4.116)
(4.117)
3 + J 2 , et
Avec J = J1 iJ2 , nous avons J2 = J12 + J22 + J32 = J J+ + hJ
3
(j m)(j m + 1) j .
J jm = h
m1
(4.118)
d
U3 ()
d
=0
ei/2
0
U3 () = (
) = U (/2) .
i/2
0
e
(4.119)
Ceci implique
Dj (U (/2)) = Dj (U3 ()) = Dj (exp M3 )
(4.120)
2i(j1)
e
.
Dj (U ()) =
2ij
(4.121)
j (U ()) = ei2m =
m=j
(4.122)
SU (2)
et
(4.123)
(4.124)
pour j j .
4.6.3
(E, D) mj (E j , Dj ) ,
(4.125)
j=1
D = m j j ,
(4.126)
j=1
0
0
j=1
j=1
De plus,
1 2
d sin2 D ()j () .
(4.128)
0
On peut en conclure que la multiplicit mj de la reprsentation Dj est entirement spcifie par le caractre.
Il est facile de voir que le caractre correspondant au produit tensoriel de
deux reprsentations est le produit des caractres j1 et j2 . Si Dj1 Dj2
j mj Dj nous avons donc j1 j2 = j mj j . Dautre part, on trouve (exercice)
mj =
j1
j1 ()j2 () =
j2
e2i(m1 +m2 ) =
m1 =j1 m2 =j2
j1 +j2
e2im =
j=j1 j2 m=j
j1 +j2
j () .
j=j1 j2
(4.129)
98
Ainsi, Dj1 Dj2 contient une seule fois chacune des reprsentations Dj , o
j1 j2 j j1 + j2 . Ceci mne de nouveau la srie de Clebsch-Gordan :
Dj1 Dj2 =
j1 +j2
Dj .
j=j1 j2
99
(4.130)
Chapitre 5
Classification des algbres de Lie
semisimples
Ce chapitre suit de proche lexpos dans [7].
5.1
0 0
y=(
),
1 0
1 0
h=(
).
0 1
Dans les exercices nous avons vu que [h, x] = 2x, [h, y] = 2y, [x, y] = h.
Nous considrons une reprsentation sl(2, C) end(V ) gl(n, C), ou
n = dim V ; prserve la dcomposition de Jordan. (Pour une dmonstration
voir [7], p29/30 o il est aussi montr quune algbre de Lie semisimple
contient les parties semisimples et nilpotentes de tous ses lments : soit
x = xs + xn la dcomposition de Jordan de x L, alors xs L et xn L.)
Donc (h) est diagonalisable. Nous choisissons une base telle que (h) est
diagonale. Ceci donne une dcomposition de V en somme directe despaces
propres, V = {v V (h)v = v}. Nous appelons les valeurs propres les
poids de h sur V et les V les espaces de poids.
Lemme 5.1 Si v V alors (x)v V+2 et (y)v V2 .
Preuve
(h)(x)v = (hx)v = ([h, x])v + (x)(h)v = (2 + )(x)v
Ce lemme implique aussi que (x) et (y) sont nilpotents. Comme la dimension de V est finie, il existe un poids tel que V 0 mais V+2 = 0. Nous
appelons un vecteur v V vecteur maximal de poids . Nous supposons alors
que soit irrductible et choisissons 0 v0 V un vecteur maximal. Nous
posons v1 = 0 et vj = (1/j!)y j v0 , (j > 0).
Lemme 5.2
i) (h)vj = ( 2j)vj .
ii) (y)vj = (j + 1)vj+1 ,
iii) (x)vj = ( j + 1)vj1 .
Preuve
i) Suit du lemme 5.1.
ii ) Cest juste la dfinition de vj .
iii ) Nous utilisons induction dans j. Le cas j = 0 suit de v1 = 0. Mais
j(x)vj = (xy)vj1 = ([x, y])vj1 + (yx)vj1
= (h)vj1 + ( j + 2)(y)vj2 .
Dans le dernier terme nous avons utiliser lhypothse dinduction. En
applicant encore la dfinition de vj1 nous trouvons
j(x)vj = [( 2(j 1) + ( j + 2)(j 1)] vj1 = j( j + 1)vj1 .
Grace i) tous les vi sont linairement indpendants (ou 0). Soit m le plus
petit entier tel que vm 0 mais vm+1 = 0. Alors les (v0 , , vm ) gnrent un
espace invariant sous (sl(2, C)) donc ils gnrent tout V . Cest--dire, les
(v0 , , vm ) forment une base de V . Avec iii) pour vm+1 = 0 nous obtenons
0 = (x)vm+1 = ( m)vm , donc = m est un nombre entier non-ngatif et
dim V = m + 1. En rsum nous avons la situation suivante
Thorme 5.3 Soit sl(2, C) end(V ) une reprsentation irrductible.
i) V est la somme directe des espaces de poids V , = m, m 2, m
4, , m, dim V = m + 1 et dim V = 1 pour tout .
ii) V a un vecteur maximal unique ( multiplication avec un scalaire prs).
Son poids, appel le poids maximal est m.
101
iii) Laction de (sl(2, C)) est donne par les formules du lemme 5.2 si la
base est choisie de faon correspondante. En particulier, quivalence
prs, il existe exactement une reprsentation irreductible de sl(2, C)
de toute dimension finie donne. Nous appelons la reprsentation de
sl(2, C) de dimension m + 1 m .
Corollaire 5.4 Soit sl(2, C) end(V ) une reprsentation dimension
finie. Alors, les valeurs propres de (h) sont tous des entiers et chacune
apparait autant de fois que son ngatif. En plus, dans la dcomposition de V
en somme directe de reprsentations irrductibles, le nombre de composants
est dim V0 + dim V1 .
Preuve Si V = 0 rien nest dmontrer. Sinon, nous crivons V comme
somme directe de reprsentations irrductibles (ceci est possible car sl(2, C)
est la complexification du groupe compact su(2)). Comme nous avons vu,
les valeurs propres de (h) des reprsentations irrductibles sont des entiers
et pour m elles vont de m +m pas de 2. Donc toute reprsentation
irrductible soit 1 soit 0 comme poids.
Dans les sections suivantes nous trouverons que toute algbre de Lie semisimple peut tre construite partir des reprsentations irrductibles de
sl(2, C). Tout lment de lalgbre L fait partie dune sous-algbre S L
isomorphe sl(2, C). La diffrence entre les algbres L se rduit la faon
dont ses sous-algbres S sont connects entre eux ; nous verrons que les (h)
ne sont, en gnral, pas tous linairement indpendants, ici sl(2, C) S
denomme justement cet isomorphisme. Ceci dterminera aussi la reprsentation de S ( sl(2, C)) que L porte sous ad(S ) end(L). Nous trouverons
que les possibilits sont fortement limites.
5.2
5.2.1
Nous pouvons alors fixer une sous-algbre torale maximale de L que nous
appellons H. (Maximale veut dire que H nest pas proprement inclus dans
une autre sous-algbre torale.) Par exemple si L = sl(n, C) nous pouvons choisir pour H les matrices diagonales de trace nulle (exercice). Comme H est
ablien, ad(H) est une famille commutative dendomorphismes semisimples
sur L. Nous pouvons alors diagonaliser tous les lments de ad(H) simultanment. (Ceci est un rsultat standard de lalgbre linaire.) En dautres mots,
L est la somme directe de sous-espaces L = {x L [h, x] = (h)x}, avec
H . Notez que L0 est simplement le centralisateur CL (H) qui inclus H
nous allons montrer que CL (H) = H. Lensemble H avec L 0 est denomm et les lments de sont les racines. Comme dim L < , le nombre
dlments de est fini. Avec cette notation nous avons une dcomposition
de L en espaces racines :
L = L + CL (H) .
(5.1)
5. H [C, C] = 0.
Comme est assoscative et [H, C] = 0, il suit (H, [C, C]) = ([H, C], C) =
0. Avec 3 alors H [C, C] = 0.
6. C est ablien.
Sinon [C, C] 0. Mais comme C est nilpotent Z(C) [C, C] 0.
Ceci est une consquence simple de 1.14 (exercice). Soit alors z 0,
z Z(C) [C, C]. Daprs 2 et 5 z nest pas semisimple, donc sa partie nilpotente, n 0 est dans C et donc aussi dans Z(C) daprs le
lemme 1.23. Mais alors, le lemme 5.8 implique (n, C) = 0, en contradiction avec le corollaire 5.7.
7. C = H.
Sinon C contient un lment nilpotent n. Daprs le lemme 5.8 et (6)
(n, y) = 0 y C en contradiction avec 5.7.
5.2.2
Proprits dorthogonalit
0 0
y (
),
1 0
105
1 0
h (
).
0 1
g)
h =
2
t ;
(t , t )
h = h .
Preuve
a) Si ne gnre pas H , il existe un h H avec (h) = 0 pour tout .
Mais ceci implique [h, L ] = (h)L = 0 pour tout L donc [h, L] = 0,
en contradiction avec la semisimplicit de L qui implique, en particulier
Z(L) = 0.
b) Supposons le contraire, alors L = 0. Dans ce cas (L , L ) = 0
H . Donc (L , L) = 0 ce qui nest pas possible comme est nondgnre.
c) Soient x L , y L et h H arbitraire. Nous savons dj (prop. 5.6)
que [x, y] L0 H. Lassociativit de implique (h, [x, y]) = ([h, x], y) =
(h)(x, y) = (t , h)(x, y) = ((x, y)t , h) = (h, (x, y)t ). Alors
H est orthogonal [x, y] (x, y)t H, ce qui force [x, y] = (x, y)t .
d ) Ceci est une consquence de c), si (x, y) 0. Mais [x, L ] = 0
, 0 et (x, H) = 0. Comme est non-dgnre il exister un y L
avec (x, y) 0 et donc [x, y] 0.
e) Par dfinition (h) = (t , h) donc (t , t ) = (ta l). Supposons (t ) =
0 tel que [t , x] = [t , y] = 0 x L , y L . Daprs d) il existe des
x, y avec (x, y) 0. En multipliant lun deux avec un scalaire nous
pouvons obtenir (x, y) = 1 tel que [x, y] = t . Donc le sous-espace
S L gnr par x, y, t est une sous-algbre de dimension 3 qui est
soluble S adL S gl(L). En particulier adL s et donc s est nilpotent
pour tout s [S, S]. Donc t est en mme temps nilpotent et semisimple ce qui implique adL t = 0 donc t Z(L) = 0. En contradiction
avec le choix de t .
f ) Pour 0 x L choisissons y L tel que (x , y ) = (t2,t ) . Ceci
est possible cause de e) et parce que (x , L ) 0. Nous posons
h =
2
t .
(t , t )
2
[t , x ] = 2x ,
(t )
[h , x ] =
2
[t , y ] = 2y .
(t )
Donc (x , y , h ) gnrent une sous-algbre de dimension 3 qui satisfait aux mmes rgles de commutation que sl(2, C) et donc elle y est
isomorphe.
106
5.2.3
Proprits dintgralit
Daprs le paragraphe prcedant tout espace racine non-nulle est unidimensionnel et + j 0. Donc K porte une reprsentation de S avec poids
(h ) + 2j pour tous les j Z tels que + j . Comme ces nombres sont
soit tous paires soit tous impaires ne pas les deux, 0 et 1 peuvent tre de cette
forme. Le corollaire 5.4 implique alors que K porte une reprsentation irreductible de S . Le plus grand (plus petit) poids est (h ) + 2q ((h ) 2r) si
q (r) est le plus grand (petit) entier tel que + q ( r) est une racine. De
plus, les poids de K forment une srie de nombres avec diffrence 2. Donc les
racine de la forme + j forme une corde (la corde travers ) de racines
de la forme r, (r 1), , + q avec (h ) 2r = ((h ) + 2q).
Donc (h ) = r q Z. Finalement nous observons que pour , tels que
+ , ad(L ) applique L sur L+ , cest--dire [L , L ] = L+ . Nous
rsummons ces observations dans la proposition suivante :
Proposition 5.12
107
5.2.4
Proprits de rationalit
Soit comme avant L une algbre de Lie semisimple, H L une sousalgbre torale maximale (aussi appellee sous-algbre de Cartan). Alors
L=
L H
= ci i ,
ci C .
i=1
(, j )
(i , j )
= ci 2
.
(j , j ) i=1 (j , j )
( , )
Comme 2 (j ,jj ) = (hj ) et 2 (ji ,jj ) = i (hj ) sont des entiers (les entiers
de Cartan), ceci est un systme de quations linaires pour les inconnus ci
avec coefficients entiers. Comme les j forment une base la matrice (i , j )
est non-dgnre et les solutions cj existent et sont rationnelles. Donc le
108
(5.2)
, alors
2(, )
2(, )
et
= (h ) Z .
(, )
(, )
5.3
Systmes de racines
Dans la section prcedente nous avons vu que les algbres de Lie semisimples dfinent un systme de racines avec les proprits labors en haut.
Mais le converse est aussi le cas, tout systme de racines avec les proprits
du thm. 5.13 est le systme de racines dune algbre de Lie semisimple. Pour
classifier les algbres (ou les groupes) de Lie semisimples, il suffit alors de
classifier les systmes de racines, ce que nous faisons par la suite. Pour ceci
nous nutilisons que (, E) et leur proprits.
5.3.1
Axiomatique
110
5.3.2
(, )
=
, , /4
[(, )(, )]1/2
Figure 5.2 Des systme de racines de rang = 2. Nous verrons que les
quatre exemples donns sont tous les cas possibles (figure de [7]).
Lemme 5.16 Soit et deux racines linairement indpendant. Si (, ) >
0, cest--dire langle entre et est aigu, alors est une racine. Si
(, ) < 0, + est une racine.
Preuve Le deuxime nonc suivi du premier sous . Comme (, ) >
0 a le mme signe que , du tableau 5.1 is suit que , = 1 ou , = 1.
Si , = 1, () = est une racine. Si , = 1, alors () =
et donc aussi est une racine.
Comme application nous considrons, pour et , deux racines linairement indpendantes, toutes les racines de la forme +j, la corde travers
. Soient r, q N les plus grands entiers tels que r et + q . Si
+ j / pour un r j q, nous pouvons trouver p < s avec + p
et + (p + 1) / ainsi que + (s 1) / et + s . Mais dans cette
situation le lemme implique que (, + p) 0 et (, + s) 0. Mais ceci
nest pas possible car s > p et (, ) > 0. Nous pouvons conclure que la
corde travers est non-intrompue de r + q. Dans le cadre des
112
, ,
0
1
-1
1
-1
1
-1
0
1
-1
2
-2
3
-3
(, )/(, )
/2
/3
2/3
/4
3/4
/6
5/6
indtermin
1
1
2
2
3
3
Table 5.1 Les angles et les rapports des longueurs possibles pour une paire
de racines , .
systmes de racines dalgbres de Lie semisimples, ceci est aussi une consquence du fait que la corde travers porte la reprsentation irrductible
de S sl(2, C) de dimension j = r + q + 1. Comme juste ajoute ou soustrait des multiples de , une corde est invariant sous . Laction de
simplement inverse la corde. Donc ( + q) = r = , q,
ce qui implique r q = , . Avec le tableau 5.1 il en suit que la longueur
dune corde ne peut pas dpasser 7 (de -3 +3). Avec ceci nous voyons
que la plus grande reprsentation porte par un K = L+ est la 6 . Nous
voulons encore dfinir des racines lmentaires, dites racines simples.
Dfinition 5.3 Un sous-ensemble est appel une basis, si
i) est une base de E.
ii) Tout est de la forme
= k
Le seul problme avec la dfinition donne est quil faut encore dmontrer
lexistence dune basis. Dans les exemples de rang 2, les racines et forment
une basis dans tous les cas (vrifiez ceci !). Notez aussi que dans cet exemple,
(, ) 0 pour chaque cas. Ceci nest pas un accident. En effet le lemme
suivant est vrai :
Lemme 5.17 Si est une basis, alors (, ) 0 dans et
donc nest pas une racine.
Preuve Le deuxime nonc est une simple consquence de la dfinition.
Mais le lemme 5.16 dit que si (, ) > 0, est une racine ce qui nest
justement pas possible pour les lments dune basis.
5.3.3
Racines simples
k N0 .
5.3.4
Le groupe de Weyl
118
5.3.5
Un systme des racines est appel irrductible sil ne peut pas tre
partitionn comme lunion de deux systmes de racines telles que tout racine dans un systme est orthogonale toutes les racines de lautre. Dans
lexemple montr en fig. 5.2, A2 , B2 et G2 sont irrductible tandis que A1 A1
ne lest pas. Soit une basis de . Nous dmontrons que est irrductible si et seul si ne peut pars tre partitionn dans la faon dcrite. Soit
dabord = 1 2 avec (1 , 2 ) = 0 et les deux parties non-vides. Sauf
si est contenu dans un des parts, ceci induit une partition de . Mais si
par exemple 1 ceci implique (, 2 ) = 0 donc (E, 2 ) = 0 car gnre
E. Ceci contredit 2 . Evidemment 1 = 1 et 2 = 2 est la
partition recherche. Soit maintenant = 1 2 une partition de la basis
avec (1 , 2 ) = 0. Toute racine est conjugue une seule racine simple.
Nous posons i les racines qui ont leur conjugue simple dans i . Notons
encore que (, ) = 0 implique = (exercice). Comme tout est
obtenu par des rflexions simples, , , la formule pour les rflexions
implique que les racines i qui sont tel que () i ne peuvent tre
obtenues que par des reflexions dans i , et = (i ) pour un i i est
une combinaison linaire dlments de i . 1 et 2 obtenues de cette faon
sont alors orthogonaux.
Lemme 5.29 Soit irrductible. Par rapport lordre il existe une unique
racine maximale . En particulier implique ht() < ht(). Si nous
crivons
= k tous les k > 0 .
119
Si a de racines de deux longueurs diffrentes nous parlons de racines longues et racines courtes. Si toutes les racines ont la mme longueur on les
appelle tous longue.
120
Lemme 5.32 Soit irrductible avec des racines de deux longueurs diffrentes. Alors la racine maximale est longue.
Preuve Soit arbitraire. Il suffit de dmontrer que (, ) (, ). Pour
ceci nous pouvons remplacer par son W -conjugu qui est dans la chambre
de Weyl fondamentale (relative ). Daprs le lemme 5.29 , , et nous
avons (, ) 0 C(). En appliquant ceci = et = nous
obtenons (, ) (, ) (, ).
5.4
5.4.1
La matrice de Cartan de
(5.3)
Evidemment, toutes les matrices de Cartan nont que des 2 sur la diagonale.
Les entres non-nulles en dehors de la diagonale qui peuvent apparatre sont
121
- E
E
()
?
- E
Les groupes de Weyl respectives sont gnrs par les rflexions simples, ,
donc il suit que 1 est un isomorphisme entre les groupes de
Weyl qui applique sur () . Mais toute racine est conjugue une racine
simple, disons = (), , tel que () = 1 (()) . Donc
applique sur .
Cette proposition montre quil est possible de retrouver partir des entiers
de Cartan. En effet, il nest pas si difficile de concevoir un algorithme qui
gnre toutes les racines partir des nombres de Cartan. La faon la plus
simple est probablement de considrer les cordes des racines introduites en
section 5.2.3. On commence avec les racines de hauteur 1, donc les racines
simples, j . Pour tout paire, i j nest pas une racine grace lemme 5.17,
donc r = 0. Donc q = i , j . Ceci nous permet dcrire toutes les racines
de hauteur 2, les = i + j avec i , j 2. Pour toute racine de hauteur
2 lentier r pour la j -corde peut tre dtermin facilement car j peut tre
soustrait au maximum une fois, puis q est obtenu partir de r q = , j .
Le lemme 5.20 et surtout son corollaire assurent que toutes les racines sont
obtenues sous rptition de ce procd.
122
5.4.2
G2
@
@
@
@
e
e
e
Un autre exemple est le diagramme F4 e
@
@
qui reprsente le systme des racines F4 . Comme exercice verifier que sa
matrice de Cartan est donne par
2 1 0 0
1 2 2 0
.
C(F4 ) =
0 1 2 1
0 0 1 2
5.4.3
Composantes irrductibles
Ceci implique que est irrductible si et seul si son graphe de Coxeter est
connexe. En gnral, on a un nombre de composantes dans un graphe qui
corrspondent aux partitions de = 1 t . Si Ei est lespace vectoriel
gnr par i nous avons E = E1 Et . En plus, les combinaisons linaires
de i qui sont des racines, forment un systme de racines, i et = 1 t .
Nous avons donc la situation suivante :
Proposition 5.34 se dcompose de faon unique comme union de systmes de racines irrductibles, i , dans les sous-espace Ei tels que E =
E1 Et .
5.4.4
Thorme de classification
La discussion prcedente montre quil suffit de classifier les systmes irrductibles, ou de faon quivalente les diagrammes de Dynkin connexes. Nous
faisons ceci avec le thorme suivant. Nous allons voir que sa dmonstration ne ncessite que de la gomtrie euclidean. Elle est lmentaire mais pas
triviale.
124
B ( 2)
C ( 3)
D ( 4)
@
@
@
@
1
e
HH
2 HH e
e2
E6
e2
E7
e2
E8
1
F4
G2
@
@
@
@
2 1 0
1 2 1 0
C(A ) =
0 1 2 1 0
0 0 0 0
0
0
(5.4)
0
2 1 0
0
1 2 1 0
0 1 2 1 0
0
C(B ) =
0 0 0
1 2 2
0 0 0
0 1 2
(5.5)
0
2 1 0
0
1 2 1 0
0 1 2 1 0
0
0 0 0
1 2 1
0 0 0
0 2 2
(5.6)
C(C ) = C(B )T
0
2 1 0
0
1 2 1 0
(5.7)
0
0
1
2
1
0
0
C(D ) =
0 0
1 2 1 1
0 0
0 1 2 0
0 0
0 1 0 2
2 0 1 0 0 0
0 2 0 1 0 0
1 0 2 1 0 0
C(E6 ) =
0
1
1
2
1
0
0 0 0 1 2 1
0 0 0 0 1 2
(5.8)
2 0 1 0 0 0 0
0 2 0 1 0 0 0
1 0 2 1 0 0 0
C(E7 ) =
0 1 1 2 1 0 0
0 0 0 1 2 1 0
0 0 0 0 1 2 1
0 0 0 0 0 1 2
(5.9)
126
2 0 1 0 0 0 0 0
0 2 0 1 0 0 0 0
1 0 2 1 0 0 0 0
0 1 1 2 1 0 0 0
C(E8 ) =
0 0 0 1 2 1 0 0
0 0 0 0 1 2 1 0
0 0 0 0 0 1 2 1
0 0 0 0 0 0 1 2
(5.10)
1 0 0
2
2 2 0
1
C(F4 ) =
0 1 2 1
0
0 1 2
(5.11)
2 1
C(G2 ) = (
)
3 2
e
PP
PP e
e
e
e
PP
PP e
e
e
PP
PP e
(b)
(c)
(a)
128
e
e
PP
PP e
PPP
Pe
e
e
e
e
PP
PP e
e
(a)
(b)
(c)
(8) Tout graphe connexe admis est dune des formes suivantes :
e
e
e e
e
e e
(i)
e
q1 2
e
e
e
(ii)
G2
e 1
e e
p1
e 2
r1
e
HH
He
(iii)
q1 e
H
2 HH e
1
Nous savons dj que le seul graphe avec une triple ligne est G2 . En
plus, un graphe avec deux double lignes contiendrait un sous-graphe de
la forme (c) sous (7) qui est interdit. De mme ne peut pas avoir plus
quun vertex branche sinon il contient un sous-graphe de la forme (a)
sous (7), ou un vertex branche en mme temps quun vertex double
car cela mne a un sous-graphe du type (b) sous (7). Donc les exemples
dssins restent les seules possibilits.
(9) Les seuls graphes connexes du type (ii) sont F4 et Bn (= Cn ). Pour voir
ceci nous posons (avec la numrotation donn dans (ii)) = pj=1 jj et
= qj=1 jj . Par hypothse 2(j , j+1 ) = 1 = 2(i , i+1 ) pour 1 j < p
et 1 i < q, et 4(p , q )2 = 2. Les autres paires sont orthogonaux. Cela
129
donne
p
p1
j=1
q1
i=1
i=1
(5.12)
Avec une renumrotation des vertices nous pouvons obtenir 1/p 1/q
1/r( 1/2, si un des indices =1 nous sommes dans le cas An ). Comme
1/3 + 1/3 + 1/3 < 1 au moins un des valeurs doit tre 1/2. Notre ordre
implique alors que r = 2. Donc 1/p + 1/q > 1/2, ce qui admet q = 2 et p
arbitraire, qui correspond Dn ainsi que q = 3 et p = 3, 4 ou 5 ce qui
correspond E6 , E7 et E8 .
Ces arguments montrent que les cas A G sont tous les Coxeter graphes
possibles. Dans tous les cas, sauf Bn et Cn le Coxeter graphe determine le
diagramme de Dynkin de faon unique. Pour le cas Bn , Cn il y a deux possibilits.
5.5
Nous avons alors obtenu une classification de tous les systmes de racines
possibles. Nous navons pas dmontr leur existence. Une preuve constructive
se trouve dans [7]. Mais quand on trouve des algbres de Lie simples qui les
ont comme systmes de racines, ceci dmontre aussi leur existence.
Comme les algbres de Lie semisimples sont caracterises par leur systme
de racines, ceci fourni aussi une classification des algbre de Lie semisimples.
Ce qui reste dmontrer est que tout systme de racines est vraiment ralis
dans une algbre de Lie semisimple. Nous notons dj que pour deux racines
simples, , , le produit , 0 si et seulment si (, ) 0 donc (, ) < 0
(lemme 5.17) ce qui implique que + est une racine (lemme 5.16) ou, de
mme, [L , L ] = L+ 0. Ceci montre la proposition suivante :
Proposition 5.36 Les algbres de Lie simples correspondent des diagrammes
de Dynkin connexes tandis que le diagramme dune algbre semisimple, L =
L1 Lp o les Lj sont des algbres simples qui commutent entre eux, est
lunion des diagrammes correspondants aux composantes Lj .
En plus le thorme suivant est vrai :
Thorme 5.37
Le diagramme de Dynkin A correspond au systme de racines de lalgbre de Lie simple sl( + 1, C) A (Lie algebra of the special linear
group).
Le diagramme de Dynkin B correspond au systme de racines de lalgbre de Lie simple o(2+1, C) B (Lie algebra of the odd dimensional
(complex) orthogonal group).
Le diagramme de Dynkin C correspond au systme de racines de lalgbre de Lie simple sp(2, C) C (Lie algebra of the symplectic group).
Le diagramme de Dynkin D correspond au systme de racines de lalgbre de Lie simple o(2, C) D (Lie algebra of the even dimensional
(complex) orthogonal group).
Les diagrammes de Dynkin G2 , F4 , E6 , E7 , et E8 correspondent aux
systmes de racines des algbres de Lie simples exceptionnelles, algbres
de Lie des groupes exceptionnelles.
Nous ne dmontrons pas ce thorme ici en dtail. Mais la partie qui
concerne le groupes dites classiques, A , B , C et D nest pas trs difficile,
juste un peu long. On peut montrer facilement que les matrices diagonales
qui y appartiennent gnrent une sous-algbre torale maximale H. En investigant les racines H on peut construire une basis et on trouve quelle
131
(5.13)
(hi , hj )
= C(A )ij ,
(hi , hi )
(5.14)
parce que (hi , hi ) = 2(2 + 1). Avec ceci et les rgles tablies dans la section
prcedente il suit que le diagramme de Dynkin pour lalgbre A est A (ce
qui explique le nom). De faon similaire on trouve les autres algbres des
groupes classiques, B , C et D .
Les algbres de Lie simples qui correspondent aux autres diagrammes sont
appeles algbres (ou groupes pour les groupes) exceptionnelles.
On peut, par exemple, dmontrer que le diagramme G2 correspond au
systme de racines dune algbre de Lie de matrices 7 7 et il nexiste pas
de reprsentation bijective de cette algbre dans des matrices de dimension
plus petite. La dimension de cette algbre est 14. Ceci suit de la fig. 5.2 ou
les 12 racines sont montrs. A lespace 12-dimensionnel L il faut encore
ajouter une sous-algbre torale maximale qui est de dimension 2. Les dtails
sur cette algbre se trouve dans [7].
Les autres algbres de Lie exceptionnelles sont plus grandes et plus compliques. Surtout les groupes E6 et E8 sont relevant en physique des particules
ou ils apparaissent comme groupe possible pour la grande unification et dans
la thorie des super-cordes.
132
Bibliographie
[1] Charles W. Curtis & Irving Reiner , "Representation theory of finite
groups and associative algebras", AMS Chelsea Publishing (2006).
[2] Samuel Eilenberg & Norman E. Steenrod, "Foundations of algebraic topology, Princeton (1952).
[3] Howard Georgi, Lie Algebras in Particle Physics, Second Edition, Westview Press, Advanced Book Program (1999).
[4] G.H. Hardy & E.M. Wright, An Introduction to the Theory of Numbers,
5th ed., Clarendon Press, (Oxford, 1979).
[5] Friedrich Hirzebruch, "Topological methods in algebraic geometry",
Springer Verlag (1991).
[6] S.T. Hu, "Homotopy Theory", Academic Press (1959).
[7] James E. Humphreys, Introduction to Lie Algebras and Representation
Theory, Springer Verlag (1980).
[8] Norman E. Steenrod, "Topology of fibre bundles" Princeton (1951).
[9] M. Namark et A. Stern Thorie des Reprsentations des groupes, Edition Mir (1979).
[10] L. Pontrjagin Topological Groups, Princeton (1946).
[11] M. Reed and B. Simon Functional Analysis Vol I, Academic Press,
New York (1980).
[12] J. P. Serre, Lie Groups and Lie Algebras, Benjamin (1965).
[13] V.S. Varadarajan, Lie Groups, Lie Algebras, and their Representations, Spinger (1974).
[14] Hermann Weyl, The Classical Groups : Their Invariants and Representations, Princeton (1953).
[15] E. P. Wigner, Group theory, Academic Press (1959).
133