Professional Documents
Culture Documents
RENARD
10 septembre 2012
Introduction. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Auteurs. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
ii
iii
Bibliographie. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 165
INTRODUCTION
Introduction
Ces notes de cours traitent de la thorie des groupes et de ses applications la physique, en
particulier la physique des hautes nergies. Elles constituent une simple introduction ce sujet,
sans chercher en couvrir tous les aspects. Elles sont donc ddies un public damateurs (au
deux sens du mot) mathmaticiens ou physiciens. Elles ont t crites conjointement par deux
mathmaticiens et un physicien thoricien et illustrent les diffrents points de vue, mathmatiques
ou physiques. Ces diffrences de perspective et de langage sont, nous le croyons, une richesse
quil est intressant dexploiter, avec aussi lespoir de renforcer les liens entre mathmaticiens et
physiciens.
La partie mathmatique de ces notes prsente de manire succinte quelques lments de base
de la thorie des groupes et de leurs reprsentations, en vue de leurs applications en physique. Le
style adopt est celui dune exposition mathmatique classique de la forme dfinition-lemmethorme et autant que faire se peut, rigoureuse, mme si beaucoup de dmonstrations sont
omises. En revanche, les nombreux exemples illustrant ces notes ont toujours une application
physique.
La partie physique a pour but dillustrer lapport de la thorie des groupes en physique, et en
particulier en physique quantique. Bien quune grande part des exemples soit issue de la physique
des hautes nergies, les notions introduites se recyclent et mergent dans dautres domaines de
la physique. Certains des sujets traits sont des classiques (par exemple, les groupes de Lorentz
et de Poincar, lquation de Dirac, le modle des quarks), dautres font appel des notions de
physiques plus rcentes (par exemple, le modle standard ou linvariance conforme).
Auteurs
Les chapitres I IV ont t crits par David Renard, les chapitres V IX par Denis Bernard
et le chapitre X par Yves Laszlo.
Une grande partie du texte des chapitres I IV est tir de louvrage Groupes et reprsentations publi par D. Renard aux ditions de lEcole Polytechnique ([8]), auxquel on pourra se
reporter pour certains complments, en particulier les dmonstrations.
CHAPITRE I
GROUPES, ACTIONS DE GROUPES ET
REPRSENTATIONS
Un principe directeur des mathmatiques modernes tient en cette leon : lorsque vous avez
affaire une entit S munie dune certaine structure, essayez de dterminer son groupe dautomorphismes, le groupe des transformations de ses lments qui prservent les relations structurales. Vous pouvez esprer gagner une profonde comprhension de la constitution de S de cette
manire Hermann Weyl (1) .
Le but de ce chapitre est de rappeler les dfinitions et les rsultats de base de la thorie des
groupes, supposes dj plus ou moins connues du lecteur, en en profitant pour introduire la
terminologie et les notations employes par la suite.
(, ) .
La loi de composition est associative, cest--dire que quels que soient 1 , 2 et 3 dans
Aut(X),
(I.1.2)
((1 , 2 ), 3 ) = (1 , (2 , 3 )),
ou plus simplement (1 2 ) 3 = 1 (2 3 ).
Dautre part, cette loi admet un lment neutre, lidentit de X, note IdX :
(I.1.3)
( Aut(X)),
IdX = IdX = .
Enfin, tout lment de Aut(X) admet un inverse, cest--dire un lment de Aut(X), not
1 , vrifiant
(I.1.4)
1 = 1 = IdX .
1. Traduit librement dune traduction de lallemand en anglais... jespre que le sens gnral se sera conserv.
Le lecteur instruit reconnat l le fait que Aut(X) est muni dune structure de groupe. Pour
les autres, nous rappelons la dfinition dun groupe ci-dessous, qui consiste prendre comme
axiomes ces proprits de Aut(X), de et de IdX .
Remarquons que nous disposons aussi dune application canonique
(I.1.5)
a : Aut(X) X X,
(, x) (x).
Lapplication a vrifie les proprits suivantes : quels que soient 1 , 2 dans Aut(X) et x dans
X,
a((1 , 2 ), x) = a(1 , a(2 , x)),
(I.1.6)
et de plus
a(IdX , x) = x.
(I.1.7)
Autrement dit lapplication a dfinit une action du groupe Aut(X) sur X. Donnons maintenant les dfinitions gnrales.
Dfinition I.1.1. Un groupe est un ensemble G, muni dune loi
(I.1.8)
: G G G,
a : G X X,
(g, x) g x
vrifiant :
(I.1.10)
Lorsque laction est note par un , ceci scrit (gh) x = g (h x), et de plus,
(I.1.11)
(x X),
a(e, x) = e x = x.
Dfinition I.1.4. On appelle G-ensemble un ensemble X muni dune action de G. Un Gmorphisme du G ensemble X vers le G-ensemble Y est une application f : X Y compatible
avec les actions de G, cest--dire
f (g x) = g f (x),
(x X), (g G).
Remarque I.1.6. La donne dune action a dun groupe G sur un ensemble X est quivalente
la donne dun morphisme de groupes
A : G Aut(X).
On passe de a A et rciproquement par
A(g)(x) = a(g, x),
(x X), (g G).
Dfinition I.1.7. Un sous-ensemble H dun groupe G est un sous-groupe sil contient llment neutre e et est stable par produits et passage aux inverses.
On obtient de nombreux exemples de groupes et dactions de groupes partir de lexemple
fondamental (X, Aut(X)) ci-dessus, et en supposant que lensemble X est muni dune structure supplmentaire, clairement spcifie par le contexte. On redfinit alors Aut(X) comme
lensemble des bijections de X dans lui-mme qui prservent, ainsi que leurs inverses, la structure de X. Les applications et a dfinies comme en (I.1.1) et (I.1.5) vrifient encore (I.1.2),
(I.1.3), (I.1.4), (I.1.6), (I.1.7). Lorsque X est muni dune structure supplmentaire, on supposera,
souvent de manire implicite, quune action dun groupe G sur X prserve cette structure. Remarquons aussi que si lon part dun ensemble X muni dune certaine structure et de son groupe
dautomorphismes Aut(X), et que lon rajoute une structure supplmentaire, lensemble des
lments de Aut(X) prservant de plus cette nouvelle structure est un sous-groupe de Aut(X).
Ces considrations un peu abstraites seront illustres par des exemples dans la section suivante.
Une autre manire dobtenir des exemples de groupes partir dune action dun groupe G sur
un ensemble X est de considrer, pour toute partie Y de X
FixG (Y ) = {g G | (y Y ), g y = y},
StabG (Y ) = {g G | (y Y ), g y Y }.
(Pour StabG (Y ), on doit supposer que la partie Y est finie pour assurer la stablit par passage
linverse , o bien limposer : (y Y ), g 1 y Y ). On vrifie facilement que lon obtient
ainsi des sous-groupes du groupe G. Il est intressant de remarquer que tout sous-groupe dun
groupe G peut sobtenir ainsi.
Dfinition I.1.8. Soit G un groupe agissant sur un ensemble X. On appelle orbite dun
point x de X sous laction de G lensemble des points de la forme g x, g dcrivant le groupe G.
Notons G x lorbite dun point x de X. On dit que laction de G sur X est transitive sil ny a
quune seule orbite, et quelle est fidle si le morphisme
A : G Aut(X)
dfini par laction est injectif. On dit que laction est libre si tout lment diffrent de llment
neutre agit sans point fixe. Une action libre est fidle.
Proposition I.1.9. Soit G un groupe agissant sur un ensemble X. La relation binaire
xy
si
Gx=Gy
est une relation dquivalence sur X. Les orbites de laction de G forment donc une partition de
lensemble X.
Nous laissons la vrification de ce fait au lecteur.
On note G\X lensemble des orbites de laction de G sur X. On appelle systme de reprsentants des orbites de G dans X un ensemble {xi } dlments de X tel que
{xi } G\X,
xi G xi
Remarque I.1.10. Soit G un groupe agissant sur un ensemble X, laction tant fidle et
transitive (donc libre). Alors il dcoule facilement des dfinitions que tout choix dun point de
base x X donne une bijection X
G. On dit alors que X est un espace homogne principal
sur G. Par exemple, si G est un espace vectoriel sur un corps k, un espace homogne principal
sur G est un espace affine.
Laction dun groupe G sur un ensemble X muni dune certaine structure, est un moyen
puissant dobtenir des informations sur la structure du groupe G, ou sur celle de lespace X,
selon la nature du problme considr.
Cette nouvelle action, dune certaine manire, contient autant dinformation que lancienne,
mais prsente lavantage de pouvoir utiliser les techniques dalgbre linaire. Cest pourquoi lon
sattache plus particulirement ltude des actions linaires des groupes, cest--dire, de leurs
reprsentations.
Exemple I.2.4. Soit V un espace vectoriel sur C, muni dune structure hilbertienne, cest-dire dun produit produit hermitien dfini positif. Le sous-groupe de GL(V ) prservant ce
produit hermitien est not U(V ) et est appel groupe unitaire. Lorsque V = Cn , muni du
produit hermitien canonique, on le note U(n). Une action dun groupe G dans V prservant la
structure hilbertienne est quivalente la donne dun morphisme de groupes :
A : G U(V ).
On dit alors que la reprsentation de G dans V est unitaire.
Exemple I.2.5. Soit V un espace vectoriel sur R muni dun produit scalaire. Le sous-groupe
de GL(V ) prservant ce produit scalaire est not O(V ) et est appel groupe orthogonal. Lorsque
V = Rn , muni du produit scalaire canonique, on le note O(n).
Si p + q = n, munissons Rn de la forme bilinaire symtrique :
(x, y)p,q = x1 y1 + x2 y2 + + xp yp xp+1 yp+1 xn yn ,
o x = (x1 , . . . xn ), y = (y1 , . . . , yn ) sont des vecteurs de Rn . Cette forme est non dgnre, de
signature (p, q). Le sous-groupe de GLn (R) prservant la forme (. , .)p,q est not O(p, q). Si lon
note Jpq la matrice diagonale forme de 1 puis de 1 avec pour multiplicits respectives p et q,
on a
O(p, q) = {A GLn (R) | AJpq t A = Jpq }.
Le groupe O(3, 1) joue un rle important comme groupe de symtrie en electromagntisme et en
thorie de la relativit. Il sappelle le groupe de Lorentz.
De mme, si p + q = n, on dfinit les groupes U(p, q), sous-groupes de GL(n, C).
Exemple I.2.6. Si V est un espace vectoriel de dimension finie sur le corps k, on note SL(V )
le sous-groupe de GL(V ) des lments de dterminant 1. Ce groupe sappelle le groupe spcial
linaire. Remarquons que
det : GL(V ) k
est un morphisme de groupes, et donc SL(V ) est son noyau. Lintersection dun sous-groupe H
de GL(V ) avec SL(V ) sera note SH. En reprenant les exemples ci-dessus, on obtient SU(V ),
SO(V ), SO(p, q)...
Exemple I.2.7. Considrons laction naturelle de O(2) dans R2 , et soit Y R2 un polygone
rgulier n cots (n 3), centr en 0. Le sous-groupe de O(2) laissant invariant Y est le groupe
dihdral Dn . Son ordre est 2n. Son intersection avec SO(2) est isomorphe Z/nZ.
Exemple I.2.8. Une forme symplectique sur un espace vectoriel V (dfini sur un corps k)
est une forme : V V k bilinaire, antisymtrique, et non dgnre (cest--dire que si
(X, Y ) = 0 pour tout X V , alors Y = 0). En dimension finie, ceci impose la dimension de
lespace dtre paire.
Sur k 2n la forme symplectique canonique est donne par :
X = t (x1 , . . . xn , y1 , . . . , yn ),
X = t ( x1 , . . . xn , y1 , . . . , yn )
(X, X ) = x1 y1 + . . . xn yn y1 x1 . . . yn xn .
ou encore, en notant J2n la matrice
J2n =
0
In
In 0
(X, X ) = t X J2n X
Soit (V, ) un espace symplectique. Le groupe symplectique Sp(V, ) est alors le sous-groupe
de GL(V ) des isomorphismes prservant la forme symplectique, cest--dire que
Sp(V, ) = {A GL(V ) | (AX, AX ) = (X, X ), (X, X V )}
Dans le cas o V = k 2n muni de la forme symplectique canonique,
Sp(2n, k) = {A GL2n (k) | t A J2n A = J2n }.
Exemple I.2.9. Le groupe de Heisenberg Soit (V, ) un espace symplectique. Pour fixer
les ides, nous supposerons ici que le corps de base est R, mais les constructions qui vont suivre
peuvent se faire sur un corps quelconque. Notons H(V, ) = V R, que nous munissons du
produit suivant :
(X, z)(X , z ) = (X + X , z + z + (X, X ))
1
0
0
0
...
...
...
0
x1
1
0
...
...
...
...
0
...
...
1
...
...
...
...
...
xn
...
...
...
...
...
...
...
y1
...
...
...
...
...
...
...
yn
z
. . . y1
... ...
. . . yn
. . . x1
... ...
1 xn
0
1
...
...
...
...
...
...
...
...
1 2 3 4 5
4 2 5 1 3
est la bijection de lensemble {1, 2, 3, 4, 5} envoyant 1 sur 4, 2 sur 2, 3 sur 5, 4 sur 1 et 5 sur 3.
Ceci permet deffectuer facilement les calculs de produits, si lon noublie pas que dans une
composition de fonctions f g, cest la fonction g qui agit avant f :
1 2 3 4 5
3 4 2 5 1
1 2 3 4 5
4 2 5 1 3
1 2 3 4 5
5 4 1 3 2
Soit Sn et k {1, . . . , n}. On appelle par abus de langage orbite de k sous lorbite de
k sous laction du sous-groupe de Sn ( est le sous-groupe engendr par ).
Voyons maintenant certaines permutations particulires. Si i et j sont deux lments diffrents
de {1, . . . , n}, on appelle transposition de i et de j la permutation de Sn (note ij ) qui change
i et j et laisse tous les autres lments fixes.
10
On appelle cycle une permutation dont toutes les orbites sauf au plus une sont des singletons.
On appelle longueur du cycle le cardinal de cette orbite particulire, la longueur de lidentit
tant 1. Ainsi une transposition est un cycle de longueur 2.
On appelle permutation circulaire de Sn une permutation nayant quune seule orbite. Les
permutations circulaires sont donc les cycles de longueur n.
On peut aussi noter les permutations selon leur dcomposition en cycles, par exemple,
=
1 2 3 4 5 6 7 8 9
7 4 6 9 2 5 8 1 3
i<j
(i)(j)
.
ij
11
i<j
(i) (j)
=
ij
=
i<j
i<j
(i) (j)
(i) (j)
(i) (j)
ij
i<j
i<j
(i) (j)
ij
(i) (j)
ij
par un changement de variables dans le premier produit. Si lon note () la quantit dfinie
en (iv), on a donc ( ) = () ( ). On conclut alors encore par rcurrence sur le nombre de
transpositions dans une criture de comme produit de celles-ci, en remarquant que ( ) = 1
si est une transposition.
Corollaire I.3.3. Lapplication
Sn {1},
sgn()
Nous allons dcrire les classes de conjugaison dans le groupe symtrique Sn . Rappelons quune
partition de lentier n est une collection dentiers 1 (avec rptitions) {n1 , . . . , nk } tel que
n = n1 + + nk .
12
(n, h) nh.
Montrer que la loi de groupe sur N H induite de celle de G par transport de structure est
(n, h)(n , h ) = (n(hn h1 ), hh ).
2. Le point de vue externe. Soient H et N deux groupes, et supposons que H agisse sur N
par automorphismes de groupe, cest--dire que lon dispose dun morphisme de groupes
: H Aut(N ),
et lon pose h n = (h)(n). On dfinit sur N H le produit
(n, h)(n , h ) = (n (h n ), hh ).
13
I.5. REPRSENTATIONS
Montrer que N H muni de ce produit est un groupe, que lon appelle le produit semi-direct
de N et H, et que lon note N H. Vrifier que les parties N {eH } et {eN } H sont deux
sous-groupes de N H, respectivement isomorphes N et H. On identifie ainsi N et H deux
sous-groupes de N H. Montrer quils vrifient les hypothses du 1.
3. Extensions. Une suite exacte de groupes est une suite de groupes Gi , et de morphismes
i : Gi Gi+1 ,
i1
i+1
i+2
{e} N G H {e}.
Le morphisme est injectif, et est surjectif.
Supposons que soit donne une suite exacte courte comme ci-dessus. Une section de cette suite
exacte est un morphisme de groupes s : H G tel que s = IdH .
Montrer que s est injective. Montrer que (N ) et s(H) sont deux sous-groupes vrifiant les
hypothses du 1. Faire le lien avec le point de vue externe.
4. Exemples. Montrer que le groupe dihdral Dn est isomorphe au produit semi-direct
Z/nZ Z/2Z. Dterminer les classes de conjugaison de Dn . Montrer que le groupe E(2) des
isomtries affines du plan est le produit semi-direct R2 O(2). Chercher dans la littrature ou
sur internet la dfinition du groupe de Poincar.
I.5. Reprsentations
Dans ce chapitre, les espaces vectoriels sont dfinis sur le corps des nombres complexes.
Rappelons que si V est un espace vectoriel, GL(V ) dsigne le groupe des isomorphismes
linaires de V dans lui-mme. Si V est de plus un espace de Hilbert pour le produit hermitien
(. |.)V , U(V ) dsigne le sous-groupe de GL(V ) des applications linaires u prservant le produit
hermitien, cest--dire
(u(v)|u(w))V = (v|w)V ,
(v, w V ).
14
1
|G|
(v, w V ).
gG
Ce nouveau produit vrifie les proprits de sesquilinarit requises et est positif, comme on peut
le voir immdiatement. Il est dfini car si
1
((g) v|(g) v)0 = 0
(v|v)1 =
|G|
gG
alors tous les termes de la somme tant positifs, ils sont nuls. Pour g = e, ceci donne (v|v)0 = 0,
et donc v = 0.
Vrifions que ce nouveau produit hermitien est invariant par . Pour tout h H :
1
((h) v|(h) w)1 =
((g) (h) v|(g) (h) w)0
|G|
gG
=
=
1
|G|
1
|G|
= (v|w)1
Le point crucial du calcul est donc juste un changement de variable dans la somme.
Remarquons que lhypothse de la dimension finie ne sert qu sassurer que V est bien un
espace de Hilbert. Si lon suppose au dpart que (V, (. |.)0 ) est un espace de Hilbert de dimension
infinie, le mme procd de moyenne donne un nouveau produit hermitien (. |.)1 invariant par
G. Il est facile de voir que la topologie dfinie par ce nouveau produit hermitien est la mme que
lancienne (les normes induites sont quivalentes), et donc que V est encore un espace de Hilbert
pour (. |.)1 .
Remarque I.5.3. Pour des groupes plus gnraux que les groupes finis, il nous faudra remplacer les arguments bass sur ce procd de moyenne par quelque chose de plus gnral,
savoir lexistence de mesure de Haar sur les groupes (topologiques localement compacts). Nous
I.5. REPRSENTATIONS
15
ne dfinissons pas la notion de mesure de Haar pour linstant, mais nous remarquons simplement que lon peut munir lensemble fini G de sa mesure de comptage normalise G . Plus
explicitement, pour toute fonction f sur G
1
f (g) dG (g) =
f (g).
|G|
G
gG
La proprit fondamentale de cette mesure est que quels que soient x, y dans G,
f (x1 gy) dG (g) =
G
f (g) dG (g),
G
I.5.2. Sous-reprsentations, reprsentations irrductibles. Soit (, V ) une reprsentation du groupe G. Un sous-espace W de V est dit invariant par si pour tout g G,
(g) W W . On peut alors parler de la restriction de W , que lon note (|W , W ). Une telle
reprsentation restreinte un sous-espace invariant sappelle une sous-reprsentation de G.
Dfinition I.5.4. Une reprsentation (, V ) du groupe G est dite irrductible si elle est
non nulle nadmet aucun sous-espace autre que {0} et V invariant par .
Proposition I.5.5. Une reprsentation irrductible dun groupe fini est de dimension finie.
Dmonstration. Soit (, V ) une reprsentation irrductible du groupe fini G. Soit v V , non nul,
et soit W le sous-espace engendr par les vecteurs de la forme (g) v, g G. Ce sous-espace est
donc de dimension finie, et il est immdiat de vrifier quil est invariant par . On a donc V = W
et V est de dimension finie.
Soit (, V ) une reprsentation du groupe G et supposons que lespace V soit somme directe
de sous-espaces Wi (non nuls), i = 1, . . . , r :
V =
Wi
i=1,...,r
et que ces espaces Wi soient invariants par . On dit alors que la reprsentation (, V ) se dcompose en somme directe des reprsentations (|Wi , Wi ) et lon crit
(, V ) =
(|Wi , Wi ).
i=1,...,r
16
soit lui aussi invariant par . Le thorme ci-dessous affirme que pour les reprsentations dun
groupe fini, ceci est toujours possible. Pour des reprsentations plus gnrales, ce nest pas le
cas. Il est donc utile dintroduire la terminologie reprsentation indcomposable pour une
reprsentation qui ne peut pas scrire comme somme directe non triviale. Une reprsentation
irrductible est toujours indcomposable, linverse ntant pas vrai en gnral (mais lest pour
les reprsentations des groupes finis).
Thorme I.5.6. Soient G un groupe fini et (, V ) une reprsentation de dimension finie de
G. Soit W un sous-espace de V invariant par . Alors W admet un supplmentaire invariant
W , de sorte que lon peut dcomposer (, V ) en somme directe de (|W , W ) et (|W , W ).
Dmonstration. Daprs le thorme I.5.2, on peut munir V dun produit hermitien invariant
(. |.)V . Il est alors immdiat de voir que lorthogonal W de W dans V pour ce produit hermitien
est invariant par . Ceci fournit une dcomposition
V = W W
en somme directe de sous-espaces invariants.
Corollaire I.5.7. Toute reprsentation de dimension finie (, V ) dun groupe fini G se dcompose en somme directe de reprsentations irrductibles.
Dmonstration. Ceci est facile tablir par rcurrence sur la dimension de la reprsentation.
Remarquons que le fait que le groupe soit fini permet de montrer lexistence dun supplmentaire
stable, et le fait que la reprsentation soit de dimension finie permet la rcurrence.
Une reprsentation est dite compltement rductible, ou semi-simple si elle peut scrire
comme somme directe de reprsentations irrductibles. Le corollaire affirme que toute reprsentation de dimension finie dun groupe fini est compltement rductible. Ceci permet de rduire
dans une certaine mesure ltude des reprsentations de dimension finie du groupe G celle des
reprsentations irrductibles.
Exemple I.5.8. La thorie des reprsentations des groupes est une gnralisation de lalgbre
linaire. Soit g GL(n, C), et considrons le sous-groupe G de GL(n, C) engendr par g,
G = {g n , n Z}.
Lespace E = Cn est naturellement une reprsentation de G. Supposons que g soit diagonalisable,
cest--dire que E est somme directe de sous-espace de dimension 1, stabiliss par g, et donc par
tous les lments de G. On obtient donc ainsi une dcomposition de E en somme directe de
reprsentations irrductibles (de dimension 1) de G.
En revanche, si G nest pas diagonalisable, chaque sous-espace caractristique de g est stable
sous laction de G, mais si cet espace nest pas un sous-espace propre, il nest pas compltement
rductible.
I.5. REPRSENTATIONS
17
(g G), (v V )
Autrement dit, un oprateur dentrelacement est un G-morphisme linaire (cf. Dfinition I.1.4).
On dit aussi que T est G-quivariant.
On note HomG (V, W ) ou parfois HomG (, ) lensemble des oprateurs dentrelacement entre
(, V ) et (, W ). Il est clair que cest un sous-espace vectoriel de lespace des applications linaires
de V vers W .
Il devient maintenant possible de dfinir la notion de reprsentations quivalentes ou
isomorphes.
Dfinition I.5.10. Soient (, V ) et (, W ) deux reprsentations du groupe G. Elles sont
quivalentes (ou isomorphes) sil existe un oprateur dentrelacement inversible T : V W .
Si T est un tel oprateur dentrelacement inversible, T 1 est bien sr aussi un oprateur
dentrelacement et
(g) = T (g) T 1 , (g G)
Lquivalence dans le sens dfini ci-dessus est une relation dquivalence sur lensemble des
reprsentations du groupe G. Dans la pratique, comme souvent en mathmatique, on a tendance
confondre quivalence et galit, cest--dire confondre une reprsentation et sa classe dquivalence, ou dans le sens contraire, une classe dquivalence et lun de ses reprsentants. Il sagit
l dabus de langage la plupart du temps inoffensifs.
Lemme I.5.11. (i) Soient (, V ) et (, W ) deux reprsentations dun groupe G et T : V
W un oprateur dentrelacement. Alors ker T est un sous-espace de V invariant par , et Im T
est un sous-espace de W invariant par .
(ii) Soit (, V ) une reprsentation du groupe G, et T un oprateur dentrelacement de (, V )
avec elle-mme. Alors tout sous-espace propre de T est invariant par .
Dmonstration. (i) Si v ker T , alors, pour tout g G,
T ((g) v) = (g) T (v) = 0
donc (g) v ker T . Si w Im T , il existe v V tel que T (v) = w, et pour tout g G,
(g) w = (g) T (v) = T ((g) v)
donc (g) w Im T .
(ii) Soit une valeur propre de T , et V le sous-espace propre correspondant. Alors pour tout
g G, pour tout v V ,
T ((g) v) = (g) T (v) = (g) v
et donc (g) v V .
18
Thorme I.5.12 (Lemme de Schur). Soit T un oprateur dentrelacement entre deux reprsentations irrductibles (1 , V1 ) et (2 , V2 ) dun groupe G. Alors
- si (1 , V1 ) et (2 , V2 ) ne sont pas quivalentes, T = 0,
- si (1 , V1 ) et (2 , V2 ) sont quivalentes et de dimension finie, HomG (V1 , V2 ) est de dimension
1. De manire quivalente, HomG (V1 , V1 ) est lensemble des multiples scalaires de lidentit de
V1 .
Dmonstration. Ceci dcoule facilement du lemme prcdent. En effet, si (1 , V1 ) et (2 , V2 ) ne
sont pas quivalentes, T nest pas inversible. Sil nest pas injectif, son noyau est non trivial. Mais
(1 , V1 ) tant irrductible, ceci donne ker T = V1 , et donc T = 0. De mme, sil nest pas surjectif,
son image Im T est un sous-espace invariant de V2 , et donc V2 tant irrductible, Im T = {0},
donc T = 0.
Pour le second point, soit T HomG (V1 , V1 ), considrons une valeur propre de T , et soit V
le sous-espace de V1 correspondant (cest ici quintervient lhypothse de dimension finie, il faut
pouvoir assurer lexistence dun sous-espace propre non trivial). Il est non nul par hypothse, et
donc par irrductibilit de (1 , V1 ), cest V1 tout entier. Ceci montre que T = IdV1 . Lquivalence
entre les deux formulations du second point vient du fait que si S : V1 V2 est un oprateur
dentrelacement inversible ralisant lquivalence entre (1 , V1 ) et (2 , V2 ), il est clair que
HomG (V1 , V1 ) HomG (V1 , V2 )
T ST
est un isomorphisme linaire dinverse donn par T S 1 T .
I.6. Oprations sur les reprsentations : sommes directes et produits, produits tensoriels, reprsentation contragrdiente
Dans ce qui suit, on ne fait pas dhypothses sur G, qui est un groupe quelconque. Les reprsentations de ce groupe ne sont pas non plus supposes de dimension finie.
I.6.1. Sommes directes et produits. Nous avons vu dans la section I.5.2 comment une
reprsentation (, V ) dun groupe G pouvait parfois se dcomposer en somme directe de sousreprsentations (point de vue interne). Voyons maintenant comment former la somme directe de
deux reprsentations de G nayant a priori rien voir lune avec lautre (point de vue externe).
Soient donc (1 , V1 ) et (2 , V2 ) deux reprsentations de G. La somme directe de V1 et V2 est un
espace vectoriel V , muni de deux G-morphismes
i1 : V1 V,
i2 : V2 V,
(I.6.1)
19
V 6 = V1 V
hRR2R
l
RRR i2
l
i1 lll l
RRR
ll
RRR
l
l
l
l
RRR
lll
f
V
V1 RRR
RRR
lll 2
f2 lllll
RRRf1
RRR
l
RRR
lll
RR) ulllll
W
v1 (v1 , 0)
i2 : V2 V1 V2 ,
v1 (0, v2 ).
V = VO1 V
RR2R
ll
RRR
l
l
l
RR
l
llp1
l
p2 RRRRR
l
l
l
l
RR(
vll
f
V1 iRRR
ll5 V2
RRR
lll
RRR
l
l
RRR
lll
RRR
lll f2
f1
l
RR
l
ll
W
20
Une reprsentation (, V ) de G vrifiant cette proprit universelle est appel produit direct
des reprsentations (1 , V1 ) et (2 , V2 ). De mme que pour la somme directe, deux espaces V et
V vrifiant cette proprit universelle sont isomorphes, lisomorphisme tant unique. Ceci justifie
labus de langage consistant parler du produit de V1 et V2 .
Rsumons la discussion ci-dessus : nous disposons de deux notions bien distinctes, celle de
somme directe et celle de produit direct de deux reprsentations (1 , V1 ) et(2 , V2 ) de G. Ce sont
des reprsentations de G, vrifiant chacune une proprit universelle diffrente (bien que proche :
la seconde est obtenue de la premire en inversant le sens des flches dans le diagramme I.6.1).
Le fait que lon puisse construire la somme directe ou le produit de la mme faon ( partir
du produit ensembliste usuel, comme expliqu ci-dessus) ne doit pas masquer cette diffrence,
et dailleurs, lorsquon gnralise une famille infinie de reprsentations, les reprsentations
obtenues comme somme directe et produit direct ne sont plus isomorphes.
Gnralisons tout ceci une famille quelconque de reprsentations (i , Vi ) de G, i variant
dans un ensemble dindices I. La somme directe des (i , Vi )iI est une reprsentation note
(, V ) =
iI (i , Vi ) munie de G-morphismes ii : Vi V vrifiant la proprit universelle
suivante :
pour toute reprsentation (, W ) de G et toute famille de G-morphismes fi : Vi W , i I,
il existe un unique G-morphisme f : V W tel que fi = f ii pour tout i I.
Le produit direct des (i , Vi )iI est une reprsentation note (, V ) =
G-morphismes pi : V Vi vrifiant la proprit universelle suivante :
iI (i , Vi )
munie de
HomG (iI Vi , W )
HomG (Vi , W ),
iI
(I.6.4)
HomG (W,
Vi )
iI
21
HomG (W, Vi ).
iI
I.6.2. Produits tensoriels. Dans le paragraphe prcdent, nous avons muni lensemble
des reprsentations dun groupe G dune somme :
((1 , V1 ), (2 , V2 )) (1 2 , V1 V2 ),
La terminologie et la notation additive se justifient par le fait que (1 2 , V1 V2 ) est
toujours isomorphe (2 1 , V2 V1 ) et que
dim(V1 V2 ) = dim V1 + dim V2 ,
lorsque V1 et V2 sont de dimension finie. La reprsentation de G dans lespace nul {0} est un
lment neutre pour cette somme. Mais remarquons quune reprsentation (, V ) non nulle
nadmet pas dinverse.
Nous voudrions maintenant construire une opration analogue un produit :
((1 , V1 ), (2 , V2 )) (1 2 , V1 V2 )
ayant de bonnes proprits de distributivit par rapport la somme dfinie prcdemment, et
vrifiant
(I.6.5)
(v1 , v2 ) v1 v2
vrifiant :
(i) est bilinaire,
(ii) si (ei )iI est une base de V1 et si (fj )jJ est une base de V2 ,
(ei fj )iI,jJ
est une base de V1 V2 .
Remarques I.6.3. Un tel espace existe et est dtermin isomorphisme prs. La proprit
(ii) entrane la formule (I.6.5) lorsque les espaces sont de dimension finie. Lespace V1 V2 vrifie
la proprit universelle suivante :
(ii ) soit : V1 V2 W une application bilinaire quelconque. Alors il existe une unique
application linaire
: V1 V2 W
tel que = .
La proprit (ii ) est quivalente (ii). Comme dans le paragraphe prcdent pour les sommes
et produits directs la proprit universelle garantit lunicit du produit tensoriel unique isomorphisme prs, et justifie labus de langage consistant parler du produit tensoriel. Nous
22
ne donnons pas de dtails concernant la construction du produit tensoriel, mais celle-ci est, nous
semble-t-il, claire si lon considre la proprit (ii), et que lon se dbarrasse de ses scrupules
utiliser laxiome du choix.
Soient (1 , V1 ) une reprsentation dun groupe G1 , et (2 , V2 ) une reprsentation dun groupe
G2 . On peut munir lespace V1 V2 dune reprsentation note 1 2 de G1 G2 . Une dfinition
vidente est de poser
(1
(I.6.6)
v j wj
j
alors
1 (g1 ) vi 2 (g2 ) wi =
i
1 (g1 ) vj 1 (g2 ) wj .
j
Cest en fait une consquence de la proprit universelle du produit tensoriel. En effet, considrons
lapplication bilinaire :
V1 V2 ,
ev(v) : V (v)
est une application linaire, injective. Si V est de dimension finie, par galit des dimensions,
cette application est un isomorphisme.
Si (, V ) est une reprsentation dun groupe G, on dfinit une reprsentation de G dans V ,
appele reprsentation contragrdiente, par la formule suivante :
((g) )(v) = ((g)1 v),
( V ), (v V ), (g g).
Il est clair que (, (V ) ) = (, V ) lorsque V est de dimension finie et que (V ) est identifi
V par la remarque ci-dessus.
23
Proposition I.6.4. Soit (, V ) une reprsentation dun groupe fini G. Alors (, V ) est irrductible si et seulement si (, V ) est irrductible.
Dmonstration. Daprs la remarque que (, (V ) ) = (, V ) lorsque V est de dimension finie, il
suffit de montrer une seule implication pour obtenir lquivalence. Supposons (, V ) irrductible,
et soit W un sous-espace invariant de V . Alors lorthogonal dans V de W est aussi invariant,
et donc ne peut-tre que {0} ou V . Ceci montre que W = {0} ou V .
Wi
i
HomG ( , i )
i
et daprs le lemme de Schur, la dimension de chaque HomG ( , i ) est 1 si i est dans la classe
, 0 sinon.
Lemme I.7.2. Le morphisme
: H V V,
v (v)
24
:
G
Thorme I.7.4 (Rgles de slection). Soit (, V ) et (, W ) deux reprsentations de dimension finie du groupe G, et soit T un oprateur dentrelacement entre ces deux reprsentations.
Alors T envoie la composante isotypique V () de V dans la composante isotypique W () de W .
Dmonstration. Cest une consquence directe de (I.6.3) et (I.6.4) et du lemme de Schur.
Remarque I.7.5. Lorsquon choisit des bases de V et W adaptes aux dcompositions canoniques en composantes isotypiques, la matrice de T dans ces bases est diagonale par blocs.
25
(g, h) gh
et
: G G,
g g 1
soient continues.
Il convient dadapter le vocabulaire des reprsentations lorsque lon a affaire des groupes
topologiques :
Une reprsentation (, V ) dun groupe topologique dans un espace vectoriel topologique V
est la donne dun morphisme
: G GL(V )
tel que lapplication
G V V,
(g, v) (g) v
soit continue.
Si V est un espace de Hilbert, muni dun produit scalaire invariant, on dit que (, V ) est
unitaire.
Lorsque lespace de reprsentation V est de dimension finie, on le suppose toujours muni de
la topologie transcendante.
Une sous-reprsentation de (, V ) est un sous-espace ferm de V invariant sous laction
de G.
Une reprsentation (, V ) est irrductible si elle nadmet aucune autre sous-reprsentation
quelle-mme et {0}.
Soient (1 , V1 ) et (2 , V2 ) deux reprsentations dun groupe topologique G. Un oprateur
dentrelacement T entre ces reprsentations est un G-morphisme linaire continu T : V1
V2 . Ceci permet de dfinir la notion de reprsentations isomorphes ou quivalentes.
Dans ce contexte, nous avons lanalogue du thorme I.5.6 :
Thorme I.8.2. Soit (, V ) une reprsentation unitaire du groupe topologique G dans un
espace de Hilbert V . Soit W un sous-espace invariant ferm de V . Alors W est stable sous
laction de G et la reprsentation V se dcompose en somme directe
V = W W
Dmonstration. La dmonstration est la mme que pour le thorme I.5.6, en remarquant de
plus que si W est ferm, alors W aussi et que lon a V = W W .
Il nest pas possible den dire plus ce niveau de gnralit. En particulier, il nest pas vrai :
- quune reprsentation irrductible soit toujours de dimension finie ;
26
f d
X
f (g) dG (g)
G
(resp.
f (gt)dG (g) =
G
f (g) dG (g). )
G
Thorme I.9.4. Soit G un groupe compact. Toute mesure de Haar gauche est aussi une
mesure de Haar droite. On peut normaliser la mesure de Haar G de sorte que G (G) = 1.
27
Exemples I.9.5. si G est un groupe fini, il est compact pour la topologie discrte, et la
mesure de comptage normalise est une mesure de Haar.
Dans un groupe topologique localement compact ablien, toute mesure de Haar gauche
est aussi une mesure de Haar droite.
Une mesure de Haar sur (R, +) est un multiple scalaire de la mesure de Lebesgue.
Si G = U(1) = {z C| |z| = 1}, une mesure de Haar est un multiple scalaire de
d
lon identifie U (1) et R/2Z par ei , cette mesure est donne par 2
.
dz
2iz .
Si
CHAPITRE II
GROUPES LINAIRES ET LEURS ALGBRES DE LIE
La plupart des groupes apparaissant comme groupes de symtries en physique sont des groupes
de matrices. Ce sont des groupes topologiques, mais leur structure est en fait bien plus riche
puisque ce sont des varits diffrentiables. La compatibilit de la structure diffrentiable et de
la structure de groupe donne des proprits de rigidit trs fortes. De plus, les outils du calculs
diffrentiels seront fondamentaux dans ltude des reprsentations de ces groupes.
La classe de groupes que nous allons tudier est celle des groupes de Lie linaires. Nous allons
voir comment leur associer une algbre de Lie, et comment utiliser celle-ci pour ltude de leurs
reprsentations.
||X(x)||
.
||x||
xKn \{0}
sup
(X, Y Mn (K)).
Lalgbre Mn (K) est donc munie dune norme qui en fait un espace vectoriel norm complet
(un espace de Banach).
Rappelons maintenant quelques proprits du groupe des matrices inversibles GL(n, K). On
note Idn la matrice identit de Mn (K).
30
Proposition II.1.1. Le groupe des matrices inversibles GL(n, K) est un groupe topologique
pour la topologie induite de celle de Mn (K). De plus, GL(n, K) est un ouvert dense de Mn (K).
Xn
.
n!
a(0) = Idn ,
a (0) = X.
31
Dfinition II.3.4. Soit G un groupe linaire, disons G GL(n, R). Lespace tangent g
G en Idn est lespace des matrices X gl(n, R) telles quil existe une courbe a(t), dfinie sur un
intervalle ouvert autour de 0 dans R, de classe C 1 , valeurs dans G, et vrifiant a(0) = Idn et
a (0) = X.
Exercice II.3.5. Montrer que cet espace tangent en lidentit pour un groupe linaire fini
est {0}.
Proposition II.3.6. Soit G un groupe linaire. Lespace tangent en lidentit g est un sousespace vectoriel de gl(n, R).
32
lalgbre des matrices Mn (K) muni du crochet de Lie est une algbre de Lie. On la note
gl(n, K). Plus gnralement, si V est un espace vectoriel sur K, End(V ) est une algbre de Lie,
note gl(V ).
Nous pouvons maintenant tre plus prcis que la proposition prcdente.
Proposition II.3.8. Soit G un groupe linaire. Lespace tangent en lidentit g est une sousalgbre de Lie de gl(n, R).
Exemples II.3.9. Nous avons vu que Mn (K) est une algbre de Lie. On la note gl(n, K).
Plus gnralement, si V est un espace vectoriel sur K, End(V ) est une algbre de Lie, note
gl(V ).
sl(n, K) est la sous-algbre de Lie de gl(n, K) des matrices de trace nulle.
b(n, K) est la sous-algbre de Lie de gl(n, K) des matrices triangulaires suprieures.
33
n(n, K) est la sous-algbre de Lie de gl(n, K) des matrices triangulaires suprieures strictes.
Cest un idal de la prcdente.
so(n) est la sous-algbre de Lie de gl(n, R) des matrices antisymtriques.
su(n) est la sous-algbre de Lie de gl(n, C) des matrices antihermitiennes.
Soit M une varit diffrentiable et X (M ) lespace des champs de vecteurs sur M . Alors
X (M ), muni du crochet de Lie des champs de vecteurs, est une algbre de Lie sur R.
Dfinition II.3.11. Un morphisme dalgbres de Lie est une application linaire entre algbres de Lie respectant le crochet. Un morphisme dalgbres de Lie dune algbre de Lie L dans
gl(V ) est appele reprsentation de L dans lespace vectoriel V .
34
Thorme II.4.1. Soit G un sous-groupe ferm de GL(n, R). Alors une base de voisinage
dun point g G est donne par les parties g exp U, o U est un voisinage de 0 dans g. Si U est
un ouvert contenant 0 suffisamment petit dans g, X g exp X est un diffomorphisme de U sur
louvert g exp U de G.
Les voisinages dun lment de G ressemblent donc ceux dun espace vectoriel. En termes
techniques, G est muni dune structure de varit diffrentielle. Ceci permet de dfinir sur
G la notion de fonction diffrentiable, par exemple, et plus gnralement, dtendre toute les
notions du calcul diffrentiel sur Rn . Le produit et le passage linverse sont C . On dit que G
est un groupe de Lie.
Nous avons vu que les groupes finis sont linaires. Or, il est clair daprs la dfinition que
lalgbre de Lie dun groupe fini est lespace vectoriel nul {0}. En fait, et on le comprend bien
en regardant la dfinition, lalgbre de Lie dun groupe linaire ne dpend que de la composante
connexe du groupe contenant lidentit (pour un groupe fini, cette composante connexe est {Id}).
Il existe plusieurs notions de connexit en topologie (connexit, connexit par arcs...). Pour les
groupes linaires, elles concident toutes, comme le montre le rsultat suivant
Proposition II.4.2. Soit G un sous-groupe ferm de GL(n, R). Les conditions suivantes
sont quivalentes :
(i) Deux lments quelconques de G peuvent tre relis par un chemin continu.
(ii) G nest pas lunion de deux ouverts disjoints non vides.
(iii) G est engendr par un voisinage quelconque de Id.
(iv) G est engendr par exp U , pour tout voisinage U de 0 dans g.
Si ces conditions sont vrifies, on dit que G est connexe.
Dmonstration. (i) (ii) Supposons (i) et soient U et V deux ouverts disjoints non vides dont la
runion est G. Alors un chemin continu reliant un lment de U un lment de V donnerait une
partition de lintervalle de dfinition du chemin en deux ouverts non vides disjoints, contradiction.
(ii) (iii) Supposons (ii) et soit G0 le sous-groupe de G engendr par un voisinage de Id
dans G. Alors G0 est ouvert dans G, car il contient un voisinage de chacun de ses points (cest
clair pour Id, et pour tout autre point par translation). De mme, chaque partie de la forme
gG0 , g G, est ouverte dans G. Comme G peut tre dcompos en une union disjointe de telles
classes gauche, lhypothse entrane que G = G0 .
(iii) (iv) est clair car exp U est un voisinage de Id.
(iv) (i) Si lon suppose (iv), alors tout lment g de G peut se mettre sous la forme
g = exp X1 exp X2 . . . exp Xk ,
les Xi tant dans U . En particulier, tant donns deux lments a0 et a1 dans G, on peut crire
a1 = a0 exp X1 exp X2 . . . exp Xk .
35
On prend alors a(t) = a0 exp tX1 exp tX2 . . . exp tXk . Cest un chemin continu dans G vrifiant
a(0) = a0 , a(1) = a1 .
Dfinition II.4.4. Le groupe quotient G/G0 est appel groupe des composantes connexes
de G.
(v, v) = 1,
(u, v) = 0
36
et R. On pose
a(u) = cos u sin v
a(v) = sin u + cos v
a(x) = x si (x, u) = 0, (x, v) = 0
- les rotations hyperboliques. On fixe deux vecteurs u et v de R3 vrifiant
(u, u) = 1,
(v, v) = 1,
(u, v) = 0
et R. On pose
a(u) = cosh u + sinh v
a(v) = sinh u + cosh v
a(x) = x si (x, u) = 0, (x, v) = 0
Montrer que les rotations euclidiennes et hyperboliques sont dans le groupe SOe (2, 1), puis
que tout lment de SOe (2, 1) scrit a = kh o k est une rotation euclidienne daxe e3 et h une
rotation hyperbolique dans un plan contenant e3 .
Exercice II.4.6. Etudier sinspirant de lexercice prcdent les composantes connexes du
groupe de Lorentz O(3, 1).
(X g)
Dmonstration. Cest encore et toujours la mme mthode. Montrons que f (exp X) = exp((X)).
Posons a(s) = f (exp sX). On a
d
d
d
a(s) = f (exp((s + t)X))|t=0 = f (exp sX exp tX)|t=0
ds
dt
dt
d
= f (exp sX) f (exp tX)|t=0 = a(s)(X)
dt
37
Ceci montre que a(s) vrifie lquation diffrentielle a (s) = a(s)(X), avec condition initiale
a(0) = Id. Ceci montre que a(s) = exp(s(X)), et en particulier f (exp X) = exp((X)).
Montrons que est un morphisme dalgbres de Lie, cest--dire que quels que soient X, Y
dans g,
([X, Y ]) = [(X), (Y )].
On part de lquation
f (exp tX exp sY exp tX) = exp t(X) exp s(Y ) exp t(X)
que lon drive par rapport s et que lon value en s = 0 :
(exp tX Y exp tX) = exp t(X) (Y ) exp t(X).
On drive par rapport t et lon value en t = 0 :
([X, Y ]) = [(X), (Y )].
1 Z G
1.
comme revtement de G/Z.
fait apparatre G
(Il faut munir G/Z
de la topologie quotient et
montrer que cest bien un groupe linaire).
Soient G et H deux groupes linaires, G tant connexe, respectivement dalgbres de Lie g et
h, et supposons donn un morphisme dalgbres de Lie
: g h.
Pouvons nous relever en un morphisme de groupes linaires
f :GH
de telle sorte que dfId = ?
Lexemple de G = C , H = C, g = h = C et = IdC montre que tel nest pas le cas.
En effet, supposons que f existe. Alors f (ez ) = exp((z)) = exp z pour tout z C. Mais il
1. Cest alors un revtement au sens de la topologie.
38
faut prendre garde au fait que dans le membre de droite de cette quation, lexponentielle nest
pas lexponentielle usuelle des nombres complexes. Pour bien comprendre ceci, il faut revenir
aux dfinitions, qui demandent de raliser (C , ) et (C, +) comme des groupes linaires. Or, si
(C , ) = GL(1, C) est trivialement linaire, il faut tre plus subtil pour (C, +). Ce groupe se
plonge dans GL(2, C) par
1 z
z
,
0 1
et donc son algbre de Lie C sidentifie une sous-algbre de Lie de gl(2, R)
x
0 x
0 0
On a alors
0 x
1 x
=
0 0
0 1
Donc, il faut interprter la formule ci-dessus comme
exp
f (ez ) = exp z = z.
Or il est bien connu que la fonction z ez nadmet pas dinverse global sur C . Si G et H
sont donns comme ci-dessus, un morphisme dalgbres de Lie : g h ne se relve donc pas
forcment en un morphisme de groupes linaires. Mais il existe toujours un revtement de G qui
va permettre ce relvement :
Thorme II.5.2. Soit G et H deux groupes linaires connexes et : g h un morphisme
G tel que se relve en un morphisme
dalgbres de Lie. Alors il existe un revtement p : G
de groupes
H.
f :G
Dmonstration. Dans lnonc ci-dessus, il faut comprendre que les algbres de Lie de G et G
sont identifie par lisomorphisme dpId . Posons :
= {(X, Y ) g h|Y = (X)}.
g
le groupe lui correspondant par
Cest le graphe de , et cest une algbre de Lie linaire. Soit G
G la restriction G
de
la correspondance de Lie : cest un sous-groupe de G H. Soit p : G
39
C, o
se relve en un morphisme de G
ez 0 0
= {M (z) = 0 1 z , (z C)}.
G
0 0 1
Une question naturelle est de savoir si tout groupe linaire connexe G admet un revtement
En topologie, tout espace connexe raisonnable (une varit diffrensimplement connexe G.
tiable par exemple), admet un revtement simplement connexe (appel revtement universel).
Un groupe de Lie est une varit diffrentiable, munie dune structure de groupe telle que le
produit et le passage linverse soient C . Le revtement universel dun groupe de Lie connexe
peut tre muni dune structure de groupe de Lie. Un groupe linaire connexe est un groupe
de Lie, mais son revtement universel nest pas ncessairement linaire. Ainsi, par exemple, le
groupe SL(2, R) admet un revtement universel SL(2, R) qui est un groupe de Lie non linaire.
Le noyau de p : SL(2, R) SL(2, R) est isomorphe Z.
40
Dmonstration. Dans un sens, on diffrencie, de lautre, on utilise le fait que G tant connexe, il
est engendr par limage de lexponentielle.
Ainsi une reprsentation irrductible de G donne une reprsentation irrductible de g. Si lon
cherche par exemple dterminer toutes les reprsentations irrductibles de dimension finie de
G, on commencera par le problme, en pratique plus simple, de dterminer toutes les reprsentations irrductibles de dimension finie de g. Bien sr, si G nest pas simplement connexe, une
reprsentation de g ne se remonte pas forcment en une reprsentation de G. La stratgie sera
de G. Toute reprsentation de g
alors la suivante. On essaie didentifier le revtement universel G
Une telle reprsentation dfinit aussi une reprsentation
se remonte en une reprsentation de G.
G.
de G si et seulement si elle est triviale sur le noyau de p : G
Dans le chapitre suivant, nous allons utiliser cette stratgie pour tudier les reprsentations
du groupe compact SO(3).
Exercice II.6.2. Soient (, V ) et (, W ) deux reprsentations de dimension finie dun groupe
linaire G. Quelle est laction de g dans V W ?
41
(X g), (g G).
En effet, comme pour tout t R, g exp tXg 1 = exp(gXg 1 ), on voit que gXg 1 g. Cette
action est linaire, comme on le vrifie facilement, et la reprsentation de G dans g (ou gC ) ainsi
dfinie sappelle la reprsentation adjointe de G. On la note Ad.
Sa diffrentielle en lidentit dfinit une reprsentation de g dans elle-mme, appele de mme
reprsentation adjointe, et note ad. Quels que soient X, Y g, on a
ad(X) Y = [X, Y ].
(II.8.1)
42
On appelle cocycle (plus prcisement 2-cocycle, valeurs dans C , ou plus gnralement dans un
sous-groupe A de C , par exemple le groupe n des racines n-imes de lunit) une application
de G G A vrifiant (II.8.2).
On fabrique certains cocycles particulier de la manire suivante : soit b : G C une
application quelconque. Alors b : (g, h) b(g)b(h)b(gh)1 est un cocycle. Les cocycles obtenus
de cette manire sappellent les cobords.
Soit (, V ) une reprsentation projective de G, et soit c le cocycle associ. Soit b : G C
une application et b le cobord qui sen dduit. Alors
1 : G GL(V ),
g b(g)(g)
(g, z) g
CHAPITRE III
REPRSENTATIONS DE sl(2, C), SU(2), ET SO(3)
Notre but est dtudier les reprsentations du groupe compact SO(3) selon les principes dgags dans la dernire section du chapitre prcdent. Nous commenons par identifier le revtement
universel de SO(3).
iz
y + ix
y + ix
iz
, x, y, z R}.
R4 . En particulier :
0 z y
= { z
0 x , x, y, z R}
y x 0
44
0 i
i 0
J=
0 1
1 0
K=
i 0
0 i
[J, K] = 2I,
[K, I] = 2J.
(X, Y su(2)).
Les relations de commutation ci-dessus donnent les matrices de ad(I), ad(J), ad(K) dans la base
I, J, K : On calcule alors facilement que
(I, I) = (J, J) = (K, K) = 8,
La base {I, J, K} de su(2) est donc orthogonale, et lon constate que la forme est dfinie ngative. Si lon prfre travailler avec un produit scalaire (dfini positif) et une base orthonormale,
1
on peut remplacer par 1
8 . Lespace euclidien (su(2), 8 ) est alors, par le choix de la base
{I, J, K}, isomorphe R3 muni de son produit scalaire canonique.
Montrons que la forme est invariante par laction adjointe de SU(2) sur su(2). Il nous faut
montrer que (X, Y su(2)), (g SU(2)),
(Ad(g) X, Ad(g) Y ) = (X, Y ),
cest--dire
(III.1.1)
Do
ad(gXg 1 ) ad(gY g 1 ) = Ad(g) ad(X) ad(Y ) Ad(g)
et
Tr (ad(gXg 1 )ad(gY g 1 )) = Tr (ad(X) ad(Y )).
On a donc bien obtenu (III.1.1).
45
Ainsi Ad est un morphisme du groupe SU(2) dans le groupe orthogonal O(su(2), ) O(3),
et de plus, comme SU(2) est connexe, le dterminant de Ad(g), g G est toujours 1. Donc en
fait, lon obtient un morphisme :
Ad : SU(2) SO(su(2), )
SO(3).
so(3).
0
2z 2y
iz
y + ix
ad
= 2z
0
2x
y + ix
iz
2y 2x
0
et donc ad ralise un isomorphisme entre su(2) et so(3). Ainsi, Ad est un isomorphisme local
entre SU(2) et SO(3). Comme SO(3) est connexe, il est surjectif. Calculons maintenant son
noyau. On cherche les g SU(2) tels que
Ad(g) I = I,
Ad(g) J = J,
Ad(g) K = K.
Un calcul explicite montre g est une matrice scalaire. La condition det g = 1 impose alors g = Id.
Rsumons :
Proposition III.1.2. La suite courte suivante est exacte :
1 {Id} SU(2) SO(3) 1.
Le groupe SU(2) est un revtement de SO(3) (dordre 2).
iz
y + ix
y + ix
iz
={
, x, y, z C}
, , , C}
= sl(2, C)
Il est donc quivalent dtudier les reprsentations R-linaires de su(2) dans des espaces vectoriels complexes ou les reprsentations C-linaires de sl(2, C).
46
1 0
0 1
e=
0 1
0 0
f=
0 0
1 0
[h, f ] = 2f,
[e, f ] = h.
Soit : sl(2, C) gl(V ) une reprsentation C-linaire de dimension finie. Pour tout C,
soit V le sous-espace propre (ventuellement nul) de (h) pour la valeur propre . Comme C
est algbriquement clos, si V nest pas nul, il existe un V non nul.
Lemme III.2.1.
(e)(V ) V+2 ,
(f )(V ) V2 .
Dmonstration. Soit v V . On a :
(h)((e)(v)) = (e)((h)(v)) + [(h), (e)](v)
= (e)(v) + ([h, e])(v)
= (e)(v) + 2(e)(v) = ( + 2)(e)(v)
ce qui montre la premire inclusion. Le deuxime sobtient de la mme manire.
Comme V est de dimension finie, il ny a quun nombre fini de V non nuls. Si V est non nul,
il existe donc 0 C tel que V0 = {0} et V0 +2 = {0}. Soit 0 = v0 V0 . Posons, pour tout
k N,
vk = (f )k (v0 ).
Alors vk est dans V0 2k .
On a par exemple v1 = (f )(v0 ) et
(e)(v1 ) = (e)((f )(v0 ))
= (f )((e)(v0 )) + [(e), (f )](v0 )
= 0 + ([e, f ])(v0 ) = (h)(v0 )
= 0 (v0 )
De mme :
(e)(v2 ) = (e)((f )(v1 ))
= (f )((e)(v1 )) + [(e), (f )](v1 )
= 0 (f )(v0 ) + (h)(v1 )
= 0 v1 + (0 2)v1 = (20 2)v1
Tentons davancer une hypothse de rcurrence :
(H) (e)(vk ) = k(0 k + 1)vk1 .
Nous avons vu quelle est satisfaite pour k = 1, 2 et
47
(f )(vk ) = vk+1 ,
pour tout k = 0, . . . n, avec les conventions v1 = vn+1 = 0. On voit facilement quelle est
irrductible : tout sous-espace stable W contient un vecteur propre non nul pour (h), et est
donc, un scalaire non nul prs, lun des vi .
Ceci donne la classification des reprsentations irrductibles C-linaires de sl(2, C) : notons
(n , Cn+1 ) la reprsentation irrductible de dimension n + 1 de sl(2, C) dfinie ci-dessus. Toute
reprsentation irrductible C-linaire de sl(2, C) de dimension n + 1 est isomorphe (n , Cn+1 ).
Exercice III.2.2. Exprimer I, J, K dans la base (h, e, f ). En dduire laction de de I, J, K
dans (n , Cn+1 ).
Nous allons maintenant montrer que les reprsentations (n , Cn+1 ) se remontent en des reprsentations du groupe SU(2). Pour cela, nous allons commencer par trouver une autre ralisation
de ces reprsentations.
Soit C[z1 , z2 ] lespace vectoriel des polynmes coefficients complexes deux variables. Posons
i = z i , i = 1, 2, et
(III.2.1)
De = z2 1 ,
Df = z1 2 ,
Dh = z2 2 z1 1 .
Alors De , Df et Dh sont des oprateurs diffrentiels (linaires coefficients constants) qui agissent
sur C[z1 , z2 ]. On vrifie par le calcul quils satisfont les relations de commutation :
[Dh , De ] = 2De ,
[Dh , Df ] = 2Df ,
[De , Df ] = Dh .
48
Ainsi
e De ,
f Df ,
h Dh ,
Nous allons maintenant montrer que laction de sl(2, C) sur C[z1 , z2 ]n est la diffrentielle dune
reprsentation de SL(2, C) dans ce mme espace. En effet, SL(2, C) agit naturellement sur C2 ,
et donc sur C[z1 , z2 ] par
((g) P )(z1 , z2 ) = P (g 1 (z1 , z2 )).
De manire explicite, si g =
est g 1 =
d b
c a
a b
c d
, et donc
g 1 (z1 , z2 ) =
d b
c a
z1
z2
Ainsi
((g) P )(z1 , z2 ) = P (dz1 bz2 , cz1 + az2 ).
Nous esprons que le lecteur nest pas gn par le passage de lcriture en colonnes des vecteurs
de C2 lcriture en ligne des variables. Il est clair que cette action prserve les polynmes homognes de degr n. On en dduit donc une reprsentation (, C[z1 , z2 ]n ). Nous allons maintenant
calculer sa diffrentielle.
Soit X =
dans sl(2, C) (donc = ) et posons
c(t) = exp tX =
a(t) b(t)
c(t) d(t)
SL(2, C),
(t R)
49
On a c(0) = Id et c (0) = X, soit a (0) = , b (0) = ... On peut alors calculer la diffrentielle
de :
(d(X) P )(z1 , z2 ) =
d
((c(t)) P )(z1 , z2 )
dt |t=0
d
P ((d(t)z1 b(t)z2 , c(t)z1 + a(t)z2 )
dt |t=0
= (z1 z2 )(1 P )(z1 , z2 ) + (z1 + z2 )(2 P )(z1 , z2 )
En particulier, on trouve :
d(h) = z1 1 + z2 2 ,
d(e) = z2 1 ,
d(f ) = z1 2 .
50
gji
j=1
f
(f )(y),
yj
Dou
3
(f g)(x) =
gji gki
i,j,k=1
2f
(f )(y).
yj yk
gji gki =
i=1
1 si j = k
0 sinon
Ceci donne
3
(f g)(x) =
k=1
2f
(f )(y) = (f )(y) = (f )(g x).
yk2
Pour dire les choses de manire quivalentes, les espaces C k (R3 , C), k N, sont des espaces de
reprsentations du groupe SO(3) et
: C k+2 (R3 , C) C k (R3 , C)
est un oprateur dentrelacement.
III.3.2. Action de so(3) dans C (R3 , C). Rappelons que
so(3) = {X gl(3, R)| t X + X = 0}
0
2z 2y
= {M (x, y, z) = 2z
0
2x , x, y, z R},
2y 2x
0
dont une base est donne par les matrices
0 0 0
0 0 2
I = 0 0 2 , J = 0 0 0 ,
2 0 0
0 2 0
0 2 0
K = 2 0 0 ,
0 0 0
[J , K] = I,
[K, I] = J .
51
Soit M = M (x, y, z) dans so(3) et soit c(t) une courbe C 1 dans SO(3) telle que c(0) = IdR3 et
c (0) = M . On pose c(t) = (cij (t))1i,j3 . On a alors pour toute fonction f C (R3 , C) et tout
x = (x1 , x2 , x3 ) R3 ,
(c(t) f )(x) = f (c(t)1 x) = f (t c(t) x)
= f ((c11 x1 + c21 x2 + c31 x3 , c12 x1 + c22 x2 + c32 x3 , c13 x1 + c23 x2 + c33 x3 )).
On drive par rapport t, et on value en t = 0 pour calculer (M f )(x), ce qui nous donne
(M f )(x) =
(2zx2 2yx3 )
+ (2xx3 2zx1 )
+ (2yx1 2xx2 )
x1
x2
x3
f (x).
Lalgbre de Lie so(3) agit donc dans C (R3 , C) par des oprateurs diffrentiels de degr 1
coefficients constants. Notons cette reprsentation de so(3) dans C 1 (R3 , C). On a en particulier :
(I) = 2x3
2x2
,
x2
x3
(J ) = 2x1
2x3
,
x3
x1
(K) = 2x2
2x1
.
x1
x2
52
x2
+ x1
x3
+ x2
x1
x2
x3
x3
x1
x1
x2
2
2
2
= x23 2 + x22 2 x3
x2
2x2 x3
x3
x2
x2 x3
x2
x3
x3
+ x21
2
2
2x
x
+
x
x
3
1
3
1
3
x3
x3
x1 x3
x23
x21
+ x22
2
2
2x
x
+
x
x
1
1
2
2
1
x2
x1
x1 x2
x21
x22
= (r2 x22 )
2
2
2
2
2
2
2
+
(r
x
)
+
(r
x
)
3
1
x22
x23
x21
2E 2x2 x3
2
2
2
2x1 x3
2x1 x2
,
x2 x3
x1 x3
x1 x2
x1
+ x2
+ x3
x1
x2
x3
=r
.
r
Remarquons que
r2
2
=
r2
= E2 E
r
et continuons le calcul
= r2 2E (E 2 E).
Cette formule nest rien dautre que celle du Laplacien en coordonnes sphriques (x1 =
r sin cos , x2 = r sin sin , x3 = r cos ), r 0, [0, 2[, [0, ]) :
2
2
1
+
+
r2 r r r2
et est le Laplacien sphrique S 2 ,
=
S 2 =
1 2
+
cot
+
.
2
sin2 2
Pk (X, Y )Z lk
P (X, Y, Z) =
k=0
dim Pl =
(k + 1) =
k=0
(l + 1)(l + 2)
.
2
53
(Y Z l+1 ) = (l + 1)l Y Z l1 .
En gnral, la formule
(X a Y b Z c ) = a(a 1)X a2 Y b Z c + b(b 1)X a Y b2 Z c + c(c 1)X a Y b Z c2
montre que la proprit au rang q 2 implique la proprit au rang q.
Corollaire III.3.5. dim Hl = l + 1.
Dmonstration. Ce qui prcde montre que lon a une suite exacte
0 Hl Pl Pl2 0.
(III.3.1)
On en dduit que dim Pl = dim Hl + dim Pl2 . On obtient facilement la formule voulue par
rcurrence.
Il est clair que laction de SO(3) sur les fonctions sur R3 prserve les espaces Pl . Elle prserve
aussi Hl daprs le lemme III.3.2.
Thorme III.3.6. Lespace Hl est une reprsentation irrductible de SO(3).
Dmonstration. Daprs la classification des reprsentations irrductibles de SO(3), il nexiste
isomorphisme prs quune seule reprsentation irrductible de dimension 2l + 1. Considrons la
reprsentation de so(3) dans Hl obtenue par diffrentiation en lidentit de la reprsentation
de SO(3). On sait quelle est totalement rductible. Elle ne peut avoir comme composantes
irrductibles que des reprsentations de dimension au plus 2l + 1, et parmi celles-ci, seule celle
de dimension 2l + 1 admet un vecteur propre non nul pour loprateur (iK) de valeur propre
2l. Or on a vu que
(iK) = i 2x2
2x1
.
x1
x2
Appliquons ceci au polynme P (x1 , x2 , x3 ) = (x1 + ix2 )l qui est de manire vidente dans Hl .
((iK) P )(x1 , x2 , x3 ) = 2il(x2 ix1 )(x1 + ix2 )l1 = 2lP (x1 , x2 , x3 ).
On en dduit le thorme.
Proposition III.3.7. On a, pour tout l 2, en tant que reprsentation de SO(3),
Pl = Hl r2 Pl2 .
54
Dmonstration. Il est clair que Hl et r2 Pl2 sont des sous-espaces de Pl stables sous laction
de G. Par comparaison des dimensions, on voit quil suffit de montrer que Hl r2 Pl2 = 0. De
manire quivalente, il sagit de montrer que la suite exacte (III.3.1) admet une section
s : Pl2 Pl
dont limage est r2 Pl2 . Une telle section s est une application linaire vrifiant (s(P )) = P
pour tout P Pl2 . La premire ide est de prendre s(P ) = r2 P . Or, pour tout P Pl2
(r2 P ) = 6P + 4E(P ) + r2 (P ).
Loprateur dEuler E agit sur les polynmes homognes de degr l 2 par le scalaire l 2 et
donc
(r2 P ) = 2(2l + 1)P + r2 (P ).
Plus gnralement,
(r2k P ) = 2k(2l + 2k 1)r2k2 P + r2k (P ).
On se rapproche la section voulue en posant, pour une constante c choisir :
s(P ) =
r2
P cr4 (P ),
2(2l + 1)
r2
(P ) c4(2l + 3)r2 (P ) cr4 2 (P ).
2(2l + 1)
1
pour annuler les termes mdians. On ritre ce procd,
2(2l + 1)4(2l + 3)
et lon voit que lon doit prendre, pour avoir (s(P )) = P ,
On prend donc c =
r2
r4
P
(P )
2(2l + 1)
2(2l + 1)4(2l + 3)
r6
r6 3 (P )
+ ...
+
2(2l + 1)4(2l + 3)6(2l + 5)
s(P ) =
+ (1)k+1
r2k
k
i=1 2i(2l
+ 2i 1)
k (P ) + . . . .
Cette somme est finie, puisque pour k assez grand k (P ) est nul. Dautre part il est clair que
limage de s est dans r2 Pl2 . De plus, s est injective, puisque cest une section, et en comparant
les dimensions, on voit que limage de s est exactement r2 Pl2 .
rl H0 si l est pair
rl1 H1 si l est impair.
Remarquons que H0 est lespace des polynmes constants et H1 celui des polynmes homognes
de degr 1.
55
Daprs le corollaire III.3.3, loprateur = agit par un scalaire sur chaque Hl . Ce scalaire
est facile calculer, puisque nous avons tabli plus haut que
= r2 E 2 E.
En effet, est nul sur Hl et loprateur dEuler agit par multiplication par le degr dhomognit
l. On voit donc que agit sur Hl par le scalaire l2 + l = l(l + 1).
III.3.5. Harmoniques sphriques. La sphre S 2 est munie dune action naturelle de
SO(3). Cette action est transitive, et le stabilisateur du point (0, 0, 1) de S 2 dans SO(3) est le
sous-groupe des rotations daxe Ox3 , que lon identifie SO(2). Ainsi, on obtient un diffomophisme
SO(3)/SO(2) S 2 , g g (0, 0, 1).
Toute fonction f sur S 2 peut-tre vue comme une fonction f sur SO(3) vrifiant
f(gk) = f(gk),
(g SO(3), k SO(2)).
Soit la mesure de Haar normalise sur SO(3). Pour toute fonction continue f sur S 2 , posons
S 2 , f = , f .
On a alors, pour tout g SO(3),
S 2 , g f = , g f = , g f = , f = S 2 , f .
On a ainsi dfinit une mesure S 2 sur S 2 , invariante par laction de SO(3). On peut vrifier quen
coordonnes sphriques, cette mesure est donne par
1
4
=0
=0
f (, ) sin d d.
Pl = Hl Hl4 . . .
H0 si l est pair
H1 si l est impair.
56
action commutant celle de SO(3). Les sous-espaces propres de dans Pl sont donc des sousreprsentations de SO(3). Ce qui a t fait ci-dessus montre quelles sont irrductibles.
Thorme III.3.9. Lespace H = L2 (S 2 , S2 ) est somme directe hilbertienne des Hl pour
l N.
Dmonstration. On a vu que les Hl sont orthogonaux puisque ce sont des sous-espaces propres
pour loprateur hermitien . (On remarque que tant un oprateur diffrentiel, il nest pas
bien dfini sur H = L2 (S 2 , S2 ), mais il lest certainement sur le sous-espace des fonctions C par
exemple, qui contient tout les Hl ). Il reste dmontrer la densit de la somme directe algbrique
des Hl dans H. Ceci est une consquence du thorme dapproximation de Stone-Weierstrass.
On peut approcher toute fonction continue sur S 2 par des restrictions de fonctions polynomiales
sur R3 . On peut ensuite dcomposer chaque polynme en somme de polynmes homognes et
utiliser la dcomposition (III.3.2) pour conclure.
Remarque III.3.10. Dans la dcomposition Hilbertienne
L2 (S 2 , S 2 ) =
Hl
lN
CHAPITRE IV
REPRSENTATIONS DU GROUPE DE HEISENBERG
0 x z
Soit h = { 0 0 y ; x, y, z R}.
0 0 0
0 1 0
0 0 0
0 0 1
Posons X = 0 0 0 , Y = 0 0 1 et Z = 0 0 0 .
0 0 0
0 0 0
0 0 0
1. Montrer que [X, Y ] = Z, [X, Z] = [Y, Z] = 0. En dduire que h est une sous-algbre de
Lie de gl(3, R).
2. Calculer exp tX, exp tY et exp tZ pour tout t R.
3. Calculer ga,b,c = exp cZ exp bY exp aX. Exprimer exp aX exp bY comme un lment ga,b,c .
Montrer que ga,b,c est dans limage de lexponentielle.
4. Quel est le sous-groupe connexe de GL(3, R) dalgbre de Lie h ? On le note H. Montrer
que exp : h H est bijective.
5. Quelles sont les sous-algbres de Lie de h ?
6. Soit (, V ) une reprsentation de dimension finie de h. Soit une valeur propre de
loprateur (Z). Montrer que le sous-espace propre V associ cette valeur propre est stable
par .
7. On suppose maintenant que (, V ) est irrductible. Que vaut (Z) ? En dduire que la
valeur propre est nulle.
8. Montrer qualors dim V = 1. On pose (X) = , (Y ) = .
9. Montrer que les classes dquivalence de reprsentations irrductibles de dimension finie de h forment une famille deux paramtres , , , C. Ces reprsentations sont-elles
58
les diffrentielles en Id de reprsentations de H. Les expliciter le cas chant. Quelles sont les
reprsentations unitaires de dimension finie de H ?
(f1 , f2 ) =
R
Y a ,
Z IdS(R)
a vk
6. On dfinit par rcurrence vk+1 =
. Montrer que les (vk )kN forment une famille
k+1
orthonormale de S(R). Montrer que les vk sont des fonctions de la forme
Hk (t) t2
vk (t) =
e 2,
k+1
o les Hk sont des polynmes (polynmes dHermite)
7. On pose p =
aa
2i
d
= i dt
et q =
a+a
59
(On demande simplement une justification et non une dmonstration, car la dmonstration
complte est hors de porte du fait que S(R) est de dimension infinie : on pourra admettre que les
proprits de lexponentielle dun oprateur sont les mmes quen dimension finie, par exemple
le dveloppement en srie o lquation diffrentielle vrifie par lexponentielle).
8. Pour tout R, on pose
(ga,b,c ) = e2ic u(b)v(a).
Montrer que dfinit une reprsentation de H et quelle est continue et unitaire.
Lespace S(R) nest pas complet pour la norme || ||2 . Son complt est lespace L2 (R). On
prolonge L2 (R) par continuit. On obtient ainsi une reprsentation unitaire de H dans
lespace de Hilbert L2 (R).
9. Soit A un oprateur sur L2 (R) qui commute avec les translations et la multiplication par
t. On admet qualors A est un multiple scalaire de lidentit. Dduire des questions prcdentes
que ( , L2 (R)) est irrductible.
60
Corrig
Premire partie.
1. On fait le calcul. Tout lment de h est une combinaison linaire de X, Y et Z. Le
commutateur de deux lments de h est encore une telle combinaison linaire, donc h est une
sous-algbre de Lie de gl(3, R).
2. On constate que X 2 = Y 2 = Z 2 = 0, donc
1 t 0
exp tX = Id + tX = 0 1 0 .
0 0 1
De mme,
1 0 0
1 0 t
exp tY = 0 1 t et exp tZ = 0 1 1 .
0 0 1
0 0 1
3. ga,b,c
1 a c
= 0 1 b .
0 0 1
1 a 0
1 0 0
1 a ab
exp aX exp bY = 0 1 0 0 1 b = 0 1 b ,
0 0 1
0 0 1
0 0 1
do exp aX exp bY = ga,b,ab .
On a exp(aX + bY + cZ) = ga,b,c+ ab , do
2
ga,b,c = exp(aX + bY + (c
ab
)Z).
2
1 a c
H = { 0 1 b , a, b, c R.}
0 0 1
Il est clair que lapplication exponentielle est injective et surjective.
5. Toutes les droites vectorielles dans h sont bien sr des sous-algbres de Lie. Cherchons
maintenant les sous-algbres de dimension 2. Soient A et B deux lments engendrant une telle
sous-algbre a. Le crochet de deux lments de h est toujours dans la droite engendre par Z.
Supposons [A, B] = 0. Alors A, B et Z sont lis. On peut alors remplacer soit A, soit B par Z
pour obtenir une base de a. Mais on voit alors que le crochet est toujours nul : contradiction. Donc
[A, B] = 0. Si Z nest pas dans a, on voit qualors h est engendr par A, B et Z : contradiction car
h serait ablienne. Donc a contient Z. Rciproquement, tout espace de dimension 2 qui contient
Z est une sous-algbre ablienne de h.
61
6. Soit v un vecteur propre non nul pour la valeur propre de (Z). On a, pour tout A h,
[Z, A] = 0, donc
0 = ([Z, A]) v = (Z)(A) v (X)(A) v = (Z)(A) v (A) v.
Ceci montre que (A) v V .
7. Comme est irrductible, V = V et donc (Z) est loprateur IdV . Or Tr IdV =
dim V et
Tr (Z) = Tr (([X, Y ])) = Tr ([(X), (Y )])
= Tr ((X)(Y )) Tr ((Y )(X)) = 0.
Ceci montre que = 0.
8. On a donc (Z) = 0 et
(Z) = ([X, Y ]) = [(X), (Y )] = (X)(Y ) (Y )(X) = 0
donc les oprateurs (X) et (Y ) commutent. Soit v un vecteur propre non nul simultan de
(X) et (Y ). Il est clair que le sous-espace engendr par ce vecteur est stable par , et comme
est irrductible, cest lespace V tout entier. Donc V est de dimension 1.
9. Rciproquement, si , sont dans C, on pose (X) = , (Y ) = , (Z) = 0. Il est
clair que ceci dfinit une reprsentation de dimension 1 de h. On la note , . Des reprsentation
de dimension 1 sont quivalentes si et seulement si elles sont gales. On cherche maintenant des
reprsentations , de H telles que (d, )|Id = , . On doit avoir
, (exp tZ) = exp(t, (Z)) = exp 0 = Id
, (exp tX) = exp(t, (X)) = exp t
, (exp tY ) = exp(t, (X)) = exp t
Do , (ga,b,c ) = exp(a) exp(b).
Comme ga,b,c ga ,b ,c = ga+a ,b+b ,c+c +ab on voit que, rciproquement,
, (ga,b,c ) = exp(a) exp(b)
dfinit une reprsentation de H, dont la diffrentielle est , .
Toute reprsentation de H dfinit par diffrentiation une reprsentation de h. Si est
irrductible, alors aussi (cours). Les seules reprsentations irrductibles de H sont donc les
, . Elles sont unitaires si et seulement si iR, iR.
Deuxime partie.
62
1
2
(t +
[N, a ] = a .
t K1 e 2 .
63
1
1
(a vk , a vk ) =
(aa vk , vk )
k+1
k+1
Or aa = N + 1 do
(vk+1 , vk+1 ) =
1
((N + 1)vk , vk ) = (vk , vk ).
k+1
On montre vk est de la forme voulue par rcurrence sur k, sans difficult. Les Hk sont les
polynmes dHermitte.
8. On a :
(eisq f )(t) = (IdS(R) f + isq f +
= f (t) + istf (t) +
(isq)2
(isq)3
f +
f + ....)(t)
2!
3!
(ist)3
(ist)2
f (t) +
f (t) + ... = eist f (t)
2!
3!
Pour calculer (eisp f )(t), on peut envisager deux mthodes. La premire est que s eisp est
lunique solution de a (s) = ipa(s), telle que a(0) = IdS(R) . Or si lon pose
(a(s) f )(t) = f (t + s)
alors
(a (s) f )(t) =
d
d
(a(s) f )(t) = f (t + s) = f (t + s) = (ipa(s) f )(t)
ds
ds
(isp)3
(isp)2
f +
f + ....)(t)
2!
3!
s2 f
s3 f (3)
+
+ ....)(t)
2!
3!
On reconnat le dveloppement de Taylor de f (t + s).
= (f + sf +
64
=
R
f1 (t + a)f2 (t + a)dt =
R
f1 (t)f2 (t)dt
R
(ga,b,c , f ) (ga,b,c ) f
= (f1 , f2 ))
65
|e
2ic ibt
f1 (t + a) e
2ic
ib t
f2 (t + a )| dt
R
1/2
=
= ||e
R
2i(cc ) i(bb )(ta )
f1 (t + a a )) f2 (t)||2
> 0. Comme f1 est de carr intgrable, il existe un rel R > 0 tel que
|f1 (t)|2 dt
R\[R,R]
et comme
|(e2i(cc ) ei(bb )(ta) 1)| 2
On obtient
|(e2i(cc ) ei(aa )(t(bb ) 1)f1 (t)|2 dt
R\[R,R]
||f1 ||22 ,
[R,R]
do :
||(e2i(cc ) ei(bb )(ta) 1)f1 (t)||2 (1 + ||f1 ||22 )1/2 .
La majoration de ||f1 (t + (a a )) f1 (t)||2 est similaire. On coupe lintgrale en deux : sur
R \ [R, R] et sur [R, R], o lon utilise la continuit uniforme de f1 et |a a | petit. On obtient
ainsi
||f1 (t + (a a )) f1 (t)||2
Au final, on voit que lon peut rendre
|| ((ga,b,c ) f1 ((ga ,b ,c ) f2 ||2
66
aussi petit que lon veut en prenant |c c |, |a a |, |b b | et ||f1 f2 ||2 suffisamment petits.
Ceci montre la continuit.
9. Soit A un oprateur dentrelacement de avec elle-mme. Alors A commute avec les
translations et les multiplications par eist . On a donc pour toute fonction f S(R), pour tout
rel s :
eist (A f )(t) = A(eist f )
et en drivant par rapport s, puis en valuant en s = 0
it(A f )(t) = A(itf ).
Donc A commute avec la multiplication par t : on en dduit que A est un oprateur scalaire.
Supposons que ne soit pas irrductible. Alors il existe un sous-espace W ferm de L2 (R)
stable par H, qui nest ni trivial ni L2 (R) tout entier. Comme est unitaire, on a L2 (R) =
W W . Mais alors, les projections sur W et W sont des oprateurs dentrelacement de
qui ne sont pas des oprateurs scalaires : contradiction.
Remarque : Il est connu que les (vk )kN forment une base hilbertienne de L2 (R). On peut
utiliser ceci pour montrer quun oprateur qui commute avec les translations et les multiplications
par t est scalaire.
CHAPITRE V
SYMTRIES EN MCANIQUE QUANTIQUE
Le but est ici de faire le lien entre les symtries en mcanique quantique et la thorie des
groupes. On commencera par des exemples simples lis au groupe des rotations, puis on expliquera
comment les symtries sont implmentes dans la description quantique dun systme physique.
On analysera les consquences de lexistence de symtries.
= 1.
68
klm
J m.
Les rotations dangle fini sobtiennent par exponentiation Rgn; = exp(in J), comme on peut
1 x).
le vrifier par un dveloppement de Taylor de (gn;
Lespace de Hilbert L2 (R3 ) sur lequel agit SO(3) se dcompose en une somme directe de reprsentations irrductibles de ce groupe. Comme les rotations prservent la norme des vecteurs, il est
utile dintroduire les coordonnes sphriques (r, , ) et dextraire la dpendance des fonctions
2. Le commutateur de deux oprateurs A et B est dfini par [A, B] = AB BA.
69
donde dans la coordonne radiale laisse invariante par les rotations. Ceci conduit lisomorphisme L2 (R3 )
= L2 (R+ ) L2 (S2 ) o L2 (S2 ) est lensemble des fonctions de carr sommable
sur la sphre. Toute fonction de L2 (S2 ) se dcompose sur les harmoniques sphriques Yl;m (, ),
l N et l m l, qui forment ainsi une base de L2 (S2 ). Comme nous le rappelons ci-aprs, le
groupe des rotations agit sur les harmoniques sphriques et, pour l fix, lespace vectoriel engenso(3)
dr par les Yl;m supporte une reprsentation irrductible Rl
de SO(3) de dimension 2l + 1.
so(3)
2
2
Ainsi L (S ) = l=0 Rl
, soit
so(3)
L2 (R+ ) Rl
L (R ) =
l=0
Cette galit signifie que toute fonction f (x) dfinie sur R3 se dcompose sur les harmoniques
sphriques en : f (x) = l;m cl;m (r) Yl;m (, ).
Lensemble des translations et des rotations engendrent le groupe Euclidien, not E(d) avec
ici d = 3. Les rotations et les translations ne commutent pas mais satisfont g Ta g 1 = Tga ,
qui se traduit par les relations de commutation entre les gnrateurs dimpulsions et de moments
cintiques :
[J k , P l ] = i klm P m
Le groupe Euclidien sidentifie avec le groupe des matrices Mg;a =
g a
0 1
qui correspondent
J z Yl;m = m Yl;m
Ces relations caractrisent les fonctions Yl;m et servent (souvent) de point de dpart leur
construction. Mais il est instructif didentifier les harmoniques sphriques via ltude des fonctions
homognes dans les coordonnes x, y, z. Considrons donc lespace vectoriel engendr par les
monmes de degr l en les coordonnes x, y, z. Pour l = 0, le seul monome est la fonction
constant 1, sur laquelle le groupe des rotations agit trivialement. On a Y0;0 (, ) = 1/4 et
so(3)
Rl=0 = C. Il y a trois monomes indpendants de degr un, savoir les trois coordonnes x, y, z.
Lespace vectoriel engendr par ces trois fonctions est clairement irrductible sous les rotations
(car les trois coordonnes sont changes par les rotations), et il est isomorphe la reprsentation
so(3)
vectorielle Rl=1 de SO(3). On a :
r Y1;0 (.) = z
3/4
3/8.
Il y a six monomes indpendants de degr deux : x2 , y 2 , z 2 et xy, xz, yz. Lespace vectoriel
engendr par ces six fonctions est stable sous laction des rotations (car les rotations agissent
70
linairement sur les coordonnes) mais il nest pas irrductible car la fonction r2 = x2 +y 2 +z 2 est
invariante sous les rotations. On peut donc dcomposer cet espace en la somme de deux espaces
qui forment des reprsentations irrductibles de SO(3) : lespace engendr par la fonction r2 ,
so(3)
qui est isomorphe Rl=0 , et lespace de dimension 5 engendr par les fonctions xy, xz. yz,
so(3)
2x2 y 2 z 2 et 2y 2 z 2 x2 , qui est isomorphe Rl=2 . Les fonctions r2 Y2;m (, ) sont des
combinaisons linaires de ces cinq dernires fonctions.
Plus gnralement, lespace vectoriel Fl des fonctions homognes de degr l est stable sous
les rotations. Un lment de cet espace est une fonction de la forme Gj1 ,j2 , ,jl xj1 xj2 xjl , o
Gj1 ,j2 , ,jl est un tenseur symtrique dordre l, et Fl est donc de dimension (l+1)(l+2)
. Quitte
2
l
les diviser par r , nous pouvons voir ces fonctions homognes comme des fonctions dfinies sur
la sphre de rayon un. Lespace Fl nest pas irrductible sous le groupe des rotations car Fl2
j ,j , ,j xj1 xj2 xjl2 constituent une sousse plonge dans Fl : les fonctions de la forme r2 G
1 2
l2
reprsentation de Fl . Le complmentaire (orthogonal par rapport au produit scalaire L2 sur la
(l1)l
= 2l + 1 form
sphre) de cette sous-reprsentation est un espace de dimension (l+1)(l+2)
2
2
j
j
j
kn
1
2
l
des fonctions Gj1 ,j2 , ,jl x x x o le tenseur G est de trace nulle : Gk,n,j3 , ,jl = 0. On
so(3)
peut vrifier quil est irrductible sous les rotations et donc isomorphe Rl
. Ainsi les fonctions
l
r Yl;m (, ) sont des fonctions homognes
Gj1 ,j2 , ,jl xj1 xj2 xjl
avec Gj1 ,j2 , ,jl symtrique et de trace nulle.
V.1.2. Reprsentations, reprsentations projectives. Comment dcrire les transformations des tats dun systme quantique ? E. Wigner a donn une rponse prcise cette
question importante. Les transformations des tats dun systme quantique sont dcrites par le
thorme de Wigner :
Si S : | |S est une transformation bijective entre les rayons dun espace de Hilbert H
prservant les modules des produits scalaires, i.e. telle que | S |S |2 = | | |2 , alors S est
une transformation unitaire linaire, ou anti-linaire, sur H :
|S = US | ,
US US = 1
o x , y sont les complexes conjugus de x, y. Son hermitique conjugu est dfini par
|
yU
Ainsi, un groupe de symtrie G agit linairement sur les tats dun systme quantique, appartenant un espace de Hilbert H, via des oprateurs unitaires :
| |g U (g)| ,
g G, | H,
avec U (g) EndH unitaire, U (g) U (g) = 1. La condition dunitarit assure la prservation de
la norme g |g = | .
71
Un groupe est muni dune loi produit de sorte que le produit de deux lments du groupe
est un lment du groupe. Si un groupe agit sur un systme physique, la loi produit doit tre
implmente de sorte que les actions successives par deux lments du groupe sur le systme
soient quivalentes laction de llment produit. Le fait que ltat dun systme quantique soit
spcifi par un rayon, (i.e. par un vecteur dfini une phase prs), laisse un certaine libert dans
le rsultat possible des actions successives de deux lments du groupe sur lespace de Hilbert.
(i) Soit le produit de deux actions sur un vecteur de H reproduit identiquement laction produit
sur cet tat : |g1 (g2 ) = |(g1 g2 ) . Il sensuit alors que lapplication g G U (g) EndH
dfinie une reprsentation de G sur H :
U (g1 ) U (g2 ) = U (g1 g2 ).
Cette reprsentation est unitaire puisque nous avons impos que U (g) U (g) = 1. Les exemples
prcdents concernant les translations et les rotations tombent dans cette classe.
Pour un groupe de Lie G, on peut considrer les lments g au voisinage de lidentit qui
correspondent des transformations infinitsimales. De tels lments scrivent sous la forme
g 1 i a xa ta + o lensemble des ta forme une base de lalgbre de Lie g de G. Alors
xa T a +
U (g) = 1 i
a
o les T a = U (ta ) dfinissent une reprsentation unitaire de lalgbre de Lie g sur H. La condition
dunitarit se traduit par : T a = T a . La reprsentation des lements du groupe appartenant la
composante connexe de lidentit sobtient alors par exponentiation (3) : U (g) = exp(i a xa T a )
pour g = eit avec t = a xa ta g.
(ii) Soit le produit de deux actions sur un vecteur de H reproduit laction produit sur cet tat
une phase prs : |g1 (g2 ) = ei(g1 ,g2 ) |(g1 g2 ) pour tout vecteur | de sorte que :
U (g1 ) U (g2 ) = (g1 , g2 ) U (g1 g2 ),
|(g1 , g2 )|2 = 1
o lon a pos (g1 , g2 ) = ei(g1 ,g2 ) . On dit alors que lapplication g G U (g) EndH est une
reprsentation projective de G sur H. Les phases (g1 , g2 ) ne sont pas arbitraires car demander
que le produit des oprateurs U (g) soit associatif impose une condition sur (g1 , g2 ), appele
relation de cocyle :
(g1 , g2 ) (g1 g2 , g3 ) = (g1 , g2 g3 ) (g2 , g3 )
Une solution simple cette condition est (g1 , g2 ) = ei((g1 )+(g2 )(g1 g2 )) . Une telle solution est
(g) ei(g) U (g)
appele un cocyle trivial. Dans ce cas, on peut redfinir les oprateurs U (g) en U
(g) forment une reprsentation de G. On identifie ainsi
de sorte que les nouveaux oprateurs U
deux reprsentations projectives dont les phases diffrent par un cocycle trivial.
plus
Une reprsentation projective dun groupe G est une reprsentation dun groupe G,
grand que G, appel une extension (centrale) de G. Les phases (g1 , g2 ) prennent valeurs dans
lensemble U (1) des nombres complexes de module un, mais il se peut quelles natteignent quun
nombre restreint de valeurs possibles (par exemple 1). Nous supposerons donc que ces phases
prennent valeurs dans un sous groupe (abelien) de U (1) que nous notons Z (par exemple Z2 ).
3. On fera attention la diffrence de convention utilise par les mathmaticiens et les physiciens : les physiciens
rajoutent un facteur i de sorte que les gnrateurs infinitsimaux sont hermitiens.
72
de G est alors G
Lextension de G
est :
Z. La loi produit sur G
x
= x E(x). Alors Dj est une application de U (1) sur EndC C, bien que discontinue en 1.
On a :
j (ei2 x ) D
j (ei2 y ) = eij (x,y) D
j (ei2 (x+y) )
D
avec j (x, y) = 2j[E(x + y) E(x) E(y)]. La phase j (x, y) est bien dfinie sur U (1) U (1),
i.e. elle est indpendante du choix du reprsentant de x ou de y, et elle satisfait la relation de
cocycle. Ce nest pas un cocycle trivial (sauf pour j entier) car E(x) nest pas dfinie comme
j dfinit une reprsentation projective
application sur U (1). Donc pour un spin j non-entier, D
sur C.
Pour j = p/q Q avec p, q N premiers entre eux, le cocycle j (x, y) = ej (x,y) est un lment
de Zq car cest une racine q ieme de lunit. Lextension centrale est alors U (1) Zq . Lextension
universelle contenant toutes ces extensions (avec q quelconque) est U (1) Z
= R. Le groupe
U (1) est topologiquement un cercle (o la coordonne 2x mesure langle le long du cercle). Le
groupe R
= U (1) Z est le revtement universel de U (1) (o la coordonne entire dans U (1) Z
mesure le nombre de tours effectus avant datteindre un point du cercle). On vrifie bien sr
que les applications Dj dfinissent des reprsentations de R pour j rel quelconque.
Exemple : Reprsentation projective de SO(3) de spin 1/2.
Comme nous lavons dcrit ci-dessus, en dimension trois les rotations sont paramtrises par un
vecteur unitaire n, laxe de rotation, et un nombre modulo 2, langle de rotation. Les rotations
de paramtres (n, ) et (n, ) sont identiques. Les lments de SO(3) sont donc dtermins
par la donne de (n, ) avec n2 = 1 et [0, ], les points (n, ) et (n, ) tant identiques.
Ainsi, le groupe SO(3) est topologiquement similaire une boule de rayon dont les points
diamtralement opposs sont identifis. Ce groupe est non-simplement connexe, car on peut y
construire un chemin ferm non-contractible.
73
U SU (2).
g G
Cette relation implique que laction du groupe G sur H commute avec lvolution temporelle. En
effet, si U (g) commute avec H, il commute aussi avec eitH et donc, |g (t) = |(g )(t) . On
reprsente cette relation sous la forme dun diagramme commutatif :
|0
eitH
|(t)
|(g.)(t) = |g (t)
U (g)
|(g 0 )
74
Ainsi, que G soit un groupe de symtrie signifie quil est quivalent dimplmenter laction de ce
groupe sur le systme puis de le faire voluer ou de laisser dabord le systme voluer puis de lui
appliquer laction du groupe G.
Une consquence directe dune symtrie (e.g. via le thorme dEhrenfest) est lexistence de lois
de conservation. En effet, les valeurs moyennes (t)|U (g)|(t) des oprateurs reprsentant le
groupe G sont indpendantes du temps (car eitH commutent avec U (g)). Comme en mcanique
classique, nous avons donc la correspondance,
symetrie loi de conservation,
qui peut se lire dans les deux sens : lexistence de symtries implique lexistence de lois de
conservation (ou de dgnerescences, comme nous allons le voir bientt) et rciproquement,
lexistence de lois de conservation, ou la prsence de dgnrescences, est le signe de lexistence
de symtries.
Si le groupe de symtrie est un groupe de Lie, la relation de commutation avec lhamiltonien
H est vrai pour tout lment du groupe, en particulier pour des lments proches de lidentit.
Elle est donc aussi vraie pour les gnrateurs infinitsimaux, lments de lalgbre de Lie g du
groupe G. Ainsi
[H, T ] = 0,
avec T = U (t), t g
Les gnrateurs infinitsimaux T , qui sont hermitiens car la reprsentation est suppose tre
unitaire, sont donc des bons mombres quantiques car ils commutent avec lhamiltonien. On
peut en particulier diagonaliser simultanment un sous-ensemble commutant de gnrateurs et
lhamiltonien H. Un tat propre de ce sous-ensemble de gnrateurs restera tat propre lors de
son volution temporelle et les valeurs propres correspondantes, appeles nombres quantiques,
seront conserves. La symtrie par rotation et la conservation du moment cintique qui y est
associe constitue un des exemples les plus simples de cette correspondance.
V.2.2. Secteurs et rgles de slection. Lexistence dun groupe de symtrie a des consquences plus fines que les simples lois de conservation dcrites ci-dessus et conduit une structuration particulire de lespace de Hilbert. Un outil important de leur analyse est le lemme de
Schur :
Soient D1 et D2 deux reprsentations irrductibles dun groupe G, fini ou compact, sur les espaces
de Hilbert H1 et H2 respectivement. Soit S un entrelaceur de H1 vers H2 , i.e. SD1 (g) = D2 (g)S,
g G, alors :
(i) soit S = 0,
(ii) soit S est une bijection (et les reprsentations sont quivalentes).
Une consquence important de ce lemme est :
Si D est une reprsentation irrductible et unitaire sur un espace de Hilbert H, et si un endomorphisme S de H commute avec D(g) pour tout g G, alors S est un multiple de lidentit :
S = const.1.
Supposons quun groupe G, fini ou compact, agit sur lespace de Hilbert H dun systme quantique via la reprsentation unitaire U (g). Cette reprsentation se dcompose en somme directe
de reprsentations irrductibles. Comme plusieurs copies quivalentes de la mme reprsentation
75
H=
rep.
r=1
Dans cette somme, lindice fait refrence aux reprsentations inquivalentes de G et m est la
multiplicit laquelle la reprsentation dindice apparait dans la dcomposition de H. Pour
(r)
fix, les espaces R sont isomorphes entre eux et une reprsentation irrductible de G, note
R . Dans la base associe cette dcomposition, les matrices reprsentant les oprateurs U (g)
sont bloc-diagonales et scrivent par exemple comme :
(1)
(2)
(1)
R1
R 1
R2
0
0
U (g) = U1 (g)
, g G
(g)
0
U
0
1
0
0
U2 (g)
Ici la multiplicit de la reprsentation indexe par 1 a t choisie gale 2, les matrices U1 (g)
(g) sont quivalentes et peuvent tre choisie gale par un choix de base appropries sur
et U
1
(1)
(2)
R1 et R1 .
On peut crire cette dcomposition diffremment en introduisant pour chaque un espace
de Hilbert auxilaire W de dimension gale la multiplicit m tel que si les vecteurs er , r =
(r)
(r)
m
R et
1, , m forment une base de W alors er R
= R . Ainsi W R
= r=1
H=
W R .
rep.
(2)
(1)
R1 R1 R2
0
H = H1;1 H1;1
H1;1 H1;1
0
0
0
H2;2
Comme nous allons le montrer, la description de lhamiltonien est plus explicite dans la prsentation de lespace de Hilbert sous la forme H = rep. W R , puisque H ne mlange pas les
76
diffrents secteurs W R et quil agit trivialement sur les composantes R . Autrement dit,
W R est stable par H et la restriction de H un secteur est :
H|W R = h 1,
o h est (souvent) appel lhamiltonien rduit, ou effectif, du secteur W R . En particulier,
la diagonalisation de lhamiltonien est rduite celle des hamiltoniens effectifs h , un problme
gnralement (beaucoup) plus simple car ces derniers oprateurs agissent sur des espaces de
dimensions (beaucoup) plus petites que celle de H. Si est une valeur propre de lhamiltonien
rduit h , cest aussi une valeur propre de lhamiltonien H et elle apparait dans le spectre de
H avec une multiplicit (au moins) gale la dimension de la reprsentation R du groupe de
symtrie.
En effet, soit er , r = 1, , m , une base de W et j , j = 1, , dimR , une base de R .
Comme le secteur W R est stable sous laction de H et de celle de U (g), on peut crire
H (er j ) =
U (g)
(er
j )
es (Hsr j ),
s
r
e
(U (g) j ),
o Hsr sont des oprateurs agissant sur R . Le fait que H commute avec U (g) se traduit alors
en Hsr U (g) = U (g) Hsr . Comme R est une reprsentation irrductible de G, il sen suit
daprs le lemme de Schur que les oprateurs Hsr sont des multiples de lidentit sur R , soit :
sr
Hsr = hsr
1R avec h certaines constantes. Donc
j
j
r
(es hsr
) = (h e )
H (er j ) =
s
les lments de matrice de h dans la base des er . On a donc montr que H agit comme
avec
h 1 sur W R .
hsr
Le cas dune particule (non relativiste) de masse m soumise un potentiel V (r) symtrie sphrique est un exemple simple dapplication de cette remarque. Lhamiltonien est H =
1
2m
2 + U (r). Il commute avec les oprateurs de moments cintiques J qui sont les gnraso(3)
teurs du groupe des rotations. Il agit diagonalement sur chacun des secteurs L2 (R+ ) Rl
2
1 2
de moment cintique dfini. En coordonnes sphriques le laplacien scrit 2 = 1r r
2 r r2 J ,
2
l(l+1)
1 1
et lhamiltonien rduit est donc hl = 2m
r r2 r + 2mr2 + V (r). Par la grce des symtries, le
problme tri-dimensionnel a donc t rduit un problme unidimensionnel. Le potentiel effec(l)
tif dans un secteur de moment cintique l est Veff. (r) = l(l+1)
+ V (r) o le premier terme en
2mr2
2
l(l + 1)/r reflte leffet de la barrire centrifuge.
77
H=
j
z
Sjz Sj+1
.
j
dans le cas dun systme uni-dimensionnel. Les oprateurs de moment magntique forment une
reprsentation de so(3) : [S x , S y ] = iS z et permutation circulaire. Nous considrons ici le cas
le plus simple o cette reprsentation est la reprsentation de spin 1/2, donc : S = /2 o
78
sont les matrices de Pauli. Les oprateurs Sj agissent sur lespace de Hilbert attach au moment
magntique fix la position j sur le solide. Les oprateurs Sj et Sk en des positions diffrentes
j = k commutent.
Lhamiltonien dHeisenberg dpend dun paramtre not . Il est intressant de comprendre
la nature du spectre de cet hamiltonien, sa dpendance en , la prsence de croissements de
niveaux et dinterprter, en relation avec la thorie des groupes, ses particularits en = 0, 1/2
ou 1. Le spectre dnergie pour une chaine de N = 10 sites (avec des conditions aux limites
priodiques) est reprsent dans les Figures (1,2). Les nergies sont classes suivant la valeur du
moment magntique total S z = j Sjz qui est un bon nombre quantique.
V.3. Observables
Une observable A est un oprateur linaire hermitique sur H. Si un groupe de symtrie G agit
sur H par les endomorphismes unitaires U (g), alors il agit sur EndH par :
A EndH g A U (g) A U (g) ,
g G
79
V.3. OBSERVABLES
car EndH
|g (A) .
HH . Cette relation dfinit une reprsentation de G sur EndH telle que (gA)| =
g G
A D(g) ,
o les matrices D(g) forment une reprsentation D de G. En dautres termes, la donne dune
famille dobservables covariantes est quivalente la donne dune application linaire A : v
D Av EndH qui entrelace les actions du groupe G sur D et sur EndH, i.e.
g Av U (g) Av U (g) = Agv .
En effet, si les vecteurs v forment une base de la reprsentation D de G telle que g v =
v D(g) , alors les observables A Av se transforment de faon covariante : g A =
AD(g)v = A D(g) par linarit.
Si G est un groupe de Lie, g son algbre de Lie, la loi de transformation covariante pour une
famille dobservables se traduit par les relations de commutation
[T, Av ] = AT v ,
soit [T, A ] =
A T ,
pour tout t g et o T = D(t) sont les lments de matrice des gnrateurs reprsentant
lalgbre de Lie dans la base v de D.
Un oprateur appartenant une famille dobservables covariantes satisfait certaines rgles
de slection. Si lespace de Hilbert se dcompose en secteurs H =
rep. W R , alors les
oprateurs covariants Av avec v D nont dlments de matrices quentre les tats de secteurs
W R W R tel que R apparaisse dans la dcomposition du produit tensoriel D R
en reprsentations irrductibles de G.
En effet, soit e un vecteur quelconque de W et j , j = 1, , dimR , une base de R .
Calculons laction de G sur ltat A (e j ) :
U (g)[A (e j )] =
A (e U (g)j ) D(g)
A (e k ) D(g) U (g)kj
=
j
80
(1) (2)
n
(n)
k1 1 (1)
p
1
(p)
o p est le plus petit entier qui nappartient pas au cycle du nombre 1, et ainsi de suite... Le
produit des cycles intervenant dans cette dcompostion est commutatif.
Les classes dquivalence de Sn sont constitues des permutations dont la dcomposition en
cycles fait intervenir des cycles de mmes longeurs k1 , k2 , avec n = j kj . En effet, si une
permutation se dcompose en cycles de longueurs donnes, alors clairement toute permutation
conjugue 1 se dcompose en cycles de mmes longueurs. Rciproquement, si deux permutations , se dcomposent en cycles de longueurs k1 , k2 , , alors il existe une permutation
telle que = 1 . Les classes de conjugaison de Sn sont donc indexes par les partitions
de n en somme dentier, n =
j kj . Si q1 est le nombre de cycle de longueur 1, q2 celui de
cycle de longueur 2, etc., on a j jqj = n et on note q = [1q1 2q2 ] la classe de conjugaison
correspondante. On montre que sa dimension est n!/ j qj !j qj .
Gnrateurs et relations.
Toute permutation scrit comme le produit de transpositions (pour le prouver il suffit de le
vrifier pour les cycles). Cette dcomposition nest pas unique (comme nous allons le voir sur
des exemples) mais la parit du nombre de transpositions est bien dfinie, ce qui permet de
dfinir la signature dune permutation comme tant gale +1 si ce nombre est pair et 1
si il est impair. Lapplication dfinie une reprsentation de dimension un de Sn , i.e.
1 2 = 1 2 .
81
Plus finement, toute permutation scrit comme le produit de transpositions de nombres adjacents, mais cette dcomposition nest pas unique. Vrifions le sur des exemples simples mais
gnriques. Soit si Pi;i+1 la transposition de i et i + 1. Les seules transpositions de S3 sont P12 ,
P23 et P13 . Les deux premires sont clairement des permutations de nombres adjacents, quant
la dernire on a :
P13 = P12 P23 P12 = P23 P12 P23
Par rcurrence, cette dcompostion stend toute transposition puisque par exemple P1;n =
Pn;n1 P1;n1 Pn;n1 .
Ainsi, on dduit de cet exemple que les si Pi;i+1 satisfont les relations :
s2i = 1
si sj
= sj si ,
|i j| 2
fa =
fa ,
Sn
1
Les fonctions donde symtriques sont dans limage du symtriseur s = n!
1
donde anti-symtriques sont dans limage de lanti-symtriseur a = n!
, les fonctions
o est la
Sn
Sn
82
signature de la permutation :
Vs Sym V n = s V n ,
Va n V = a V n .
1
1
(1 + P12 P13 P12 P13 ) = (1 + P12 )(1 P13 )
3
3
1
1
(1 P12 + P13 P13 P12 ) = (1 + P13 )(1 P12 ).
n =
3
3
On vrifie que m et n sont des projecteurs et, que m et m P13 m sont stables par multiplication
gauche dans S3 , de sorte quils dfinissent une reprsentation de dimension 2. En effet, P12 m = m,
P13 m = m et P12 m = m m, P13 m = m. Une construction identique sapplique n et
n P12 n puisque n = P23 mP23 .
m =
83
2 sur lequel la reprsentation mixte de S3 est ralise. On peut donc crire la dcomposition,
V 3 = Vs (Wm Vm ) Va ,
qui est un cas particulier dune relation vraie pour V n pour tout n connue sous le nom dualit
de Weyl. Il peut tre instructif de comparer cette dcompostion celle de lespace de Hilbert
dun systme quantique en secteurs.
La construction prcdente se gnralise pour toute valeur de n. Elle permet la construction
de toutes les reprsentations irrductibles de Sn . Elle met en oeuvre une gnralisation des
projecteurs introduits ci-dessus, appele symtriseurs dYoung. (Leur tude ainsi que celle des
reprsentations du groupe symtrique peut faire lobjet dun travail personnel !).
V.4.3. Le groupe des tresses et ses applications. Le groupe des tresses Bn (braid
group en anglais) est le groupe engendr par les lments i , i = 1, , n 1, et leur inverse
i1 , satisfaisant les relations :
i i1 = i1 i = 1
i j
= j i ,
|i j| 2
84
contrairement celui des tresses, on ne distingue pas suivant quun brin passe au-dessus ou audessous dun autre. Les relations entre gnrateurs dfinissant le groupe des tresses admettent
une reprsentation graphique simple. Voir Figure (4).
Le groupe des tresses et les statistiques exotiques.
Le groupe des tresses apparait naturellement dans lanalyse des statistiques possibles de particules confines sur un espace bidimensionnel, cest--dire dans lanalyse du comportement de
ces particules lors de lchange de leurs positions. En effet, les lignes dunivers de ces particules,
qui sont des courbes en dimension 2 + 1, dessinent des tresses. Il existe donc une obstruction
topologique dplacer ces lignes dunivers car elles ne peuvent pas se traverser. Cette contrainte
offre la possibilit davoir en dimension 2 + 1 des statistiques plus exotiques que celles des bosons
ou des fermions. En dimension suprieure, trois ou plus, cette obstruction nexiste pas et les
seules statistiques possibles sont celles des bosons ou fermions.
Comment dfinir les statistiques exotiques en dimension 2 + 1 ? Les fonctions donde
(x1 , , xn ) dpendent des positions (planaires) des n particules, que lon suppose distinctes
deux deux. On suppose quelles sont valeurs dans un espace de Hilbert qui supporte une
reprsentation R du groupe des tresses (i.e. le groupe des tresses agit sur les vecteurs de cet
espace). Par dfinition le groupe des tresses agit sur les n positions car il suffit de suivre le
parcours de ces positions le long des n brins dfinissant une tresse (cf. le dfinition gomtrique
des tresses). Notons ( [x1 , , xn ]) la valeur de la fonction donde aprs avoir dplac
continument les n positions le long des n brins dfinissant la tresse . Notons quune tresse est
un chemin ferm sur (R2 )n /Sn , lespace des multiplets (x1 , , xn ) dfinis modulo permutations.
(Les xj sont supposs distincts deux deux). On dit que les particules satisfont la statistique
85
R(p1 , p2 )ba11,b,a22
Les facteurs
sont les amplitudes de transition lors de la collision dun tat deux
particules un autre tat deux particules. A impulsions fixes, ces amplitudes forment une
matrice, appele matrice de diffusion ("scattering matrix" en anglais),
R12 (p1 , p2 ) : Hp1 Hp2 Hp2 Hp1
o Hp1 et Hp2 sont les espaces de Hilbert respectifs des deux particules.
Considrons maintenant la situation o trois particules, numrotes 1, 2, 3, interagissent successivement deux deux. Cette succession dinteractions peut se faire de deux faons diffrentes :
soit (i) la particule 1 interagit avec 2, puis 1 avec 3 et enfin 2 avec 3, soit (ii) la particule 2 interagit
dabord avec 3, puis 1 avec 3 et enfin 1 avec 2. Que le rsultat de ces collisions successives soit indpendant du chemin dinteraction impose aux amplitudes de transitions de satisfaire lquation
86
3
2
2
3
87
Nous dirons que H est invariant par renversement du temps si il satisfait la proprit suivante :
pour toute solution (t) de lquation de Schroedinger, it = H , sa transforme temporelle
(t) C (t) est aussi solution. Ici C est un oprateur linaire (une matrice) agissant sur
lespace de Hilbert et le complexe conjugu de . Cette proprit est assure si lhamiltonien
satisfait la relation H = CH C 1 , soit H = CH T C 1 car H = H . Un hamiltonien satisfaisant
cette relation sera dit invariant par renversement du temps. Lhamiltonien dune particule libre
fournit videmment un exemple dhamiltonien invariant par renversement du temps, par contre
la prsence dun champ magntique externe brise cette symtrie.
La matrice C est unitaire, CC = 1, afin que la transformation temporelle prserve la norme
de la fonction donde. Une double itration de la transformation temporelle sur un tat doit
reproduire celui-ci. Comme un tat physique est spcifi par un rayon de lespace de Hilbert,
cest--dire par une fonction donde dfinie une phase prs, cette dernire condition impose que
CC = ei 1 o est une phase. La relation dunitarit CC = 1 transforme cette condition en
C = ei C T . La phase est donc gale soit 0, soit , et C T = C.
En rsum, il existe trois classes selon E. Wigner :
(i)
H = H ;
(ii) H = H = CH T C 1 ,
C T = C, CC = 1;
(ii) H = H = CH T C 1 ,
C T = C, CC = 1.
cas (iii) : C =
0 1
.
1 0
En particulier, le cas (iii) nexiste que pour un espace de Hilbert de dimension paire.
Chacune de ces classes possdent un groupe de symtrie. Dans le cas (i), la transformation
H U HU 1 prserve la condition dhermicit H = H si U est unitaire, U U = 1 ; le groupe
de symtrie est donc le groupe unitaire U (n) avec n la dimension de lespace de Hilbert. Dans
le cas (ii), cette transformation prserve la condition H = H = H T si U est une matrice
relle orthogonale ; le groupe de symtrie est donc le groupe orthogonal O(n). Dans le cas (iii),
0 1 si U satisfait
cette transformation prserve les relations H = H = CH T C 1 avec C = 1
0
C = U CU T , relation qui caractrise le groupe symplectique Sp(2n). En rsum, les groupes de
symtries sont :
cas (i) : U (n);
88
Cette classification joue par exemple un rle important dans lanalyse de leffet du dsordre sur
les systmes lectroniques macroscopiques.
p = i
(a a )
2
u, v V
[ai , aj ] = 0 = [ai , aj ],
FVb
FVb (n) ,
n=0
Lespace FVb (1) est isomorphe V et constitue par dfinition lespace des tats une particule.
Lespace FVb (n) est lespace des tats n bosons. Les oprateurs cration-annihilations agissent
par multiplication gauche en utilisant les relations de commutation et la proprit que le vide
|0 est annihil par les oprateurs a(u). En pratique, on dplace les oprateurs annihilations
vers la droite en utilisant les relations de commutation jusqu ce quil agissent sur le vide. La
89
structure hilbertienne sur FVb est dfinie en dclarant que 0|0 = 1 et que les oprateurs ai sont
les conjugus hermitiques des ai . Par exemple,
||a (u)|0 ||2 = 0|a(u )a (u)|0 = ||u||2 .
Comme les oprateurs crations commutent entre eux, les tats a (u1 ) a (un )|0 sont symtriques en u1 , , un et sidentifient avec la symtrisation du vecteur u1 un . Ainsi, on
a lisomorphisme
FVb
FVb (n) ,
n=0
Une autre description consiste raliser les oprateurs ai et ai comme des oprateurs diffrentiels. On introduit les variables zi , i = 1, , D, et on pose ai = zi et ai = zi . On vrifie que
[ai , aj ] = ij . Lespace de Fock est alors isomorphe lespace des polynomes dans les zi :
FVb
= Poly[z1 , , zn ]
qui est bien un espace gradu (suivant le degr du polynome). Le vide sidentifie avec le polynome
constant 1.
Les oprateurs Ni = ai ai commutent entre eux, [Ni , Nj ] = 0. Leurs valeurs propres sont
entires et leurs tats propres sont les tats n particules car [Ni , aj ] = ij aj et [Ni , aj ] = ij aj .
On dit que loprateur Ni compte le nombre de bosons dans ltat une particule ei et on appelle
ces oprateurs les oprateurs nombres doccupation. La fonction partition ZVb TrF b (q i ui Ni )
V
est la fonction gnratrice des multiplicits de leurs valeurs propres. Comme lespace de Fock FVb
est isomorphe au produit tensoriel des espaces de Fock construits laide des couples doprateurs
cration-annihilations ai , ai associs chacun des tats une particule ei , on a :
D
ZVb TrF b (q
ui Ni
)=
i=1
1
.
1 q ui
(D + n 1)!
.
n!(D 1)!
90
On vrifie que le commutateur de deux de ces oprateurs est encore un oprateur bilinaire. Ils
forment donc une reprsentation dune algbre de Lie, lalgbre des transformations symplectiques
note sp(2D). Cette algbre est de dimension D(2D +1). Tous ces oprateurs prservent la parit
du nombre doccupation total N = i Ni . Lespace de Fock FVb se dcompose donc en deux
reprsentations (chacune de dimension infinie), respectivement constitue des tats un nombre
pair, ou impair, de particules.
Les oprateurs bilinaires qui commutent avec le nombre doccupation total, cest--dire les
oprateurs de la forme ai aj , i, j = 1, , D, engendrent une sous-algbre de sp(2D) isomorphe
lalgbre u(D) des transformations unitaires sur V . Chaque sous-espace FVb (n) nombre de
particules fix constitue une reprsentation (irrductible) de u(D) car ces oprateurs commutent
avec N = i Ni .
V.6.2. Fermions. La construction des espaces de Fock fermioniques est similaire celle
des espaces de Fock bosoniques (nous allons donc nous rpter un peu). Seuls quelques dtails
changent, notamment les conditions de symtrisation sont transformes en conditions dantisymtrisation.
Soit V un espace vectoriel, de dimension D, muni dune forme sesquilinaire g(u, v), u, v V .
Les oprateurs crations b (v) et annihilations b(v) fermioniques dpendent (anti)-linairement
de v V et, par dfinition, satisfont les relations danti-commutation (4) :
{b(u), b (v)} = g(u, v),
u, v V
{bi , bj } = 0 = {bi , bj }
FVf =
FVf (n) ,
n=0
Notez que la graduation sarrte n = D, en accord avec le principe de Pauli. Lespace FVf (1) est
isomorphe V et constitue par dfinition lespace des tats une particule. Lespace FVf (n) est
lespace des tats n fermions. Les oprateurs cration-annihilations agissent par multiplication
gauche. En pratique, on dplace les oprateurs annihilations vers la droite en utilisant les
relations danti-commutation jusqu ce quil agissent sur le vide. La structure hilbertienne sur
4. Lanti-commutateur de deux oprateurs A et B est dfini par {A, B} = AB + BA.
91
FVf est dfinie en dclarant que 0|0 = 1 et que les oprateurs bi sont les conjugus hermitiques
des b(u). Par exemple,
||b (u)|0 ||2 = 0|b(u )b (u)|0 = ||u||2 .
Alternativement, FVf
= Poly[bi , bj ]/I[bi ] o Poly[bi , bj ] est lalgbre des polynomes en les bi , bj ,
i, j = 1, , D et, o I[bi ] est lidal ( gauche) engendr par les bi .
Comme les oprateurs crations anti-commutent, les tats b (u1 ) b (un )|0 sont antisymtriques en u1 , , un et ils sidentifient avec u1 un . Ainsi, on a lisomorphisme
D
FVf =
FVf (n) ,
n=0
(n) V
o
est lespace vectoriel engendr des produits exterieur de n vecteurs de V . La correspondance entre cette description et la prcdente est
1
n!
fermionique
perm.
FVf est 2D ,
D!
.
n!(D n)!
Une autre description consiste introduire des variables zi , i = 1, , D. Lespace de Fock est
isomorphe lespace des formes de degr quelconque dans les dzi . Les oprateurs crations sont
reprsents par les produits exterieurs bi = dzi et les oprateurs annihilations par les contractions
bi = zi . On vrifie que [bi , bj ] = ij .
Les oprateurs Ni = bi bi commutent entre eux, [Ni , Nj ] = 0. Leurs valeurs propres sont 0
ou 1 car ce sont des projecteurs, Ni2 = Ni . Leurs tats propres sont les tats n particules
car [Ni , bj ] = ij bj et [Ni , bj ] = ij bj . On appelle ces oprateurs les oprateurs nombres
doccupation. Un tat une particule ei peut tre soit inoccup (Ni = 0), soit occup par
un fermion et un seul (Ni = 1) en accord avec le principe de Pauli.. La fonction partition
ZVf TrF f (q i ui Ni ) est la fonction gnratrice des nombres doccupation. Comme lespace de
V
Fock FVf est isomorphe au produit tensoriel des espaces de Fock construits laide des couples
doprateurs cration-annihilations bi , bi associs chacun des tats une particule ei , on a :
D
ZVf TrF f (q
ui Ni
1 + q ui .
)=
i=1
Plus gnralement, considrons lensemble des oprateurs bilinaires dans les oprateurs crations ou annihilations :
bi bj ,
bi bj ,
bi bj .
On vrifie que le commutateur de deux de ces oprateurs est encore un oprateur bilinaire. Ils
forment donc une reprsentation dune algbre de Lie, lalgbre des transformations orthogonales
so(2D). Cette algbre est de dimension D(2D 1). Tous ces oprateurs prservent la parit
du nombre doccupation total N = i Ni . Lespace de Fock FVf se dcompose donc en deux
92
CHAPITRE VI
DU MODLE DES QUARKS AU MODLE STANDARD
Ce chapitre pourrait aussi sappeler "De la saveur la couleur". Il a pour but dintroduire le
modle des quarks, fond sur la symtrie de saveur, ainsi que de dcrire lalgbre de Lie su(3) et
ses reprsentations.
Le modle des quarks, d M. Gell-Mann, trouvent son origine dans les annes 60 dans la
recherche dun principe sous-jacent lorganisation des particules hadroniques. Cest un peu de
lhistoire ancienne mais la description de cette recherche offre lopportunit dintroduire la notion
de su(3)-saveur comme symtrie approche des interactions fortes ainsi que celles de quark et de
couleur.
Les hadrons, observs dans les annes 60, se classent en deux grandes catgories :
les msons, dont les masses sont de lordre 200 MeV et,
les baryons, plus lourds, ayant des masses de lordre de 1000 MeV.
Ces particules semblaient se regrouper en multiplets forms de particules de masses avoisinantes
et de mme spin. On a en particulier observ (1) :
0.
Un octet de msons de spin 0 form de : , 0 , , K , K 0 , K
Un octet de baryons de spin 1/2 constitu de : p, n, , 0 , , 0 , ;
ainsi quun autre octet de msons de spin 1 et un dcuplet (incomplet) de baryons de spin 3/2.
Il nest pas utile ce stade de faire une liste plus exhaustive des particules hadroniques : le
modle des quarks en fournira une vision synthtique.
94
masses du proton p et du neutron n. Le proton et le neutron sont alors vus comme deux tats
de la mme entit distincts par leur charge disospin.
La symtrie disospin est fonde sur lalgbre de Lie su(2) que nous avons dj rencontre
plusieurs reprises. La symtrie disospin est le premier exemple de symtrie interne non-ablienne
qui ne soit pas rattache une symtrie de lespace ambiant.
Rappelons que lalgbre de Lie su(2), isomorphe so(3), est lalgbre des matrices hermitiennes
2 2 de trace nulle. Elle est de dimension 3. Une base est fournie par les matrices de Pauli j .
Soit Tj j /2. Les crochets de Lie (qui, dans ce cas, sont les commutateurs entre les matrices)
sont (2) :
[Tj , Tk ] = i jkl Tl ,
o jkl est le tenseur dordre 3 totalement anti-symtrique,
T = T1 iT2 de sorte que
[T3 , T ] = T ,
123
[T+ , T ] = 2T3 .
Les reprsentations irrductibles unitaires de su(2) sont indexes par un demi-entier, I N/2,
l(iso)spin. La reprsentation disospin I est dfinie sur lespace C2I+1 sur lequel les gnrateurs
Tj sont reprsents par des oprateurs (des matrices) hermitiennes. En particulier, loprateur
T3 = T3 est diagonalisable : ses valeurs propres sont demi-entires et diffrent de I par un entier.
On note |I; t la base propre diagonalisant la reprsentation de T3 sur C2I+1 :
T3 |I; t = t|I; t ,
t = I, , I.
T+ |I; I = 0.
Les autres tats propres de T3 sobtiennent par action rcursive de T sur cet tat :
Tn |I; I ,
n = 0, 1, , 2I.
On vrifie que T2I+1 |I; I = 0 dans la reprsentation de dimension 2I +1, de sorte que lensemble
des tats Tn |I; I forme une base de cette reprsentation.
Retournons la notion disospin. Lalgbre de symtrie est su(2). Loprateur T3 est par
dfinition loprateur de "charge disospin". Cette algbre est suppose, puis vrifie exprimentalement, tre une symtrie (approche) des interactions fortes. Les particules sorganisent en
multiplets, reprsentations de lalgbre de symtrie su(2). Ainsi :
Le proton et le neutron forment un doublet (p, n) disospin (I = 1/2). Le proton est un tat
disospin +1/2 et le neutron est un tat disospin 1/2. Le proton et le neutron sont ainsi vus
comme diffrents tats dune mme structure quantique mais de charge disospin diffrente.
Les pions ( , 0 , + ) forment un triplet disospin (I = 1). Ce sont les tats de charge disospin
0 ou 1 dune reprsentation de dimension 3.
2. Nous prenons ici la convention des physiciens en introduisant le facteur "i" dans les relations de commutation.
95
Notons que le fait de regrouper les particules en multiplets de dimension suprieure 1 impose
que la symtrie soit non-abelienne (car les reprsentations dune algbre de Lie abelienne sont
toutes de dimension 1).
Outre le fait que les masses des particules appartenant un mme multiplet soient (presque)
gales, lexistence dune symtrie, ou la validit de lhypothse portant sur lexistence de cette
symtrie, peut tre tester en tudiant les reactions entre les particules. En effet, lexistence de
symtrie implique lexistence de relations entre les amplitudes de probabilit associes ces
ractions. La vrification de ces relations permet de tester lhypothse de symtrie.
Ltude de ces ractions permet aussi de dterminer les charges disospin des particules et
la structure des multiplets quelles forment. On trouve ainsi pour les particules de loctet de
baryons :
un doublet disospin (p, n), un triplet ( , 0 , + ), un singulet , et un second doublet
( , 0 ), c.f. Figure (2),
et pour les msons :
un doublet disospin (K 0 , K + ), un triplet ( , 0 , + ), un singulet , et un second doublet
0 ), c.f. Figure (1).
(K , K
Notez que les particules et leurs anti-particules ont des charges disospin opposes.
96
Ainsi, si nous recherchons une algbre de symtrie englobant la charge lectrique et celle disospin, il nous faut trouver une algbre de Lie possdant une sous-algbre ablienne de dimension
au moins gale deux.
VI.2.1. Lalgbre su(3). Lalgbre su(3) est la plus simple des algbres de Lie rpondant
ces critres. Cest lalgbre de Lie des matrices hermitiennes 3 3 de trace nulle. Le crochet de
Lie est le commutateur, [X, Y ] = XY Y X, qui satisfait lidentit de Jacobi :
[X, [Y, Z]] + [Z, [X, Y ]] + [Y, [Z, X]] = 0.
On dfinit laction adjointe dun lement X su(3) sur les vecteurs de su(3) par :
(adX) Y = [X, Y ],
Lidentit de Jacobi assure que cette action dfinie une reprsentation de su(3) sur elle-mme.
En effet, on a : (adX)(adY ) (adY )(adX) = (ad[X, Y ]).
Lalgbre su(3) est de dimension 8. Une base est fournie par les matrices Xij , Yij et Hij ,
dfinies par :
1
Xij = (Eij + Eji ),
2
Yij =
1
(Eij Eji ),
2i
1
Hij = (Eii Ejj ),
2
o Eij = |i j| sont les matrices canoniques. Les matrices Hij ne sont pas indpendantes car
H12 + H23 + H31 = 0. Pour former une base de su(3) il faut choisir deux matrices parmi ces trois.
Lalgbre su(2) est plonge dans su(3) de diffrentes manires : les trois sous-algbres formes
des lements suivants,
(X12 , Y12 , H12 ),
97
sont chacune isomorphe su(2). Afin dextraire plus simplement la structure de cette algbre on
pose :
T3 H12 , T X12 iY12
S3 H23 , S X23 iY23
R3 H31 , R X31 iY31
Ces matrices sont les analogues des matrices de Pauli. On vrifie que [T3 , T ] = T et [T+ , T ] =
2T3 . Des relations similaires sappliquent S3 , S et R3 , R . On a bien-sr T3 + S3 + R3 = 0.
Cherchons dcrire les relations de commutation entre ces gnrateurs. On pourrait videmment les calculer explicitement mais nous allons procder diffremment. Les gnrateurs T3 , S3
et R3 , forment une sous-algbre ablienne, on peut donc diagonaliser simultanment les trois
matrices reprsentant leurs actions adjointes ; i.e. les trois applications linaires adT3 , adS3 et
adR3 commutent et sont diagonalisables simultanment. Si X su(3) est un vecteur propre de
ces trois actions adjointes, avec pour valeurs propres (a, b, c), on pose :
[T3 , X] = a X,
[S3 , X] = b X,
[R3 , X] = c X
et et et = 1,
et es = et er = 1/2.
S es ,
R er .
Ces vecteurs forment une figure appele diagramme des racines. Notez la symtrie dordre 3 de
cette figure. Voir Figure (3).
Le diagramme des racines codent aussi une information importante sur les relations de commutation entre les gnrateurs vecteurs propres, i.e. entre T , S et R . En effet, lidentit de
Jacobi assure que si X et Y sont des vecteurs propres des actions adjointes adT3 , adS3 et adR3 ,
de valeurs propres x et y, alors le commutateur [X, Y ] est, soit nul, soit vecteur propre de ces
98
actions adjointes avec pour valeur propre x + y. En particulier le commutateur [X, Y ] sera nul si
le vecteur x + y nest pas sur le diagramme des racines. Par contre, si x + y est sur le diagramme,
alors [X, Y ] est proportionel au gnrateur associe ce vecteur (le coefficient de proportionalit
nest pas cod dans le diagramme). Par exemple :
[T+ , R ] = 0,
[T+ , S+ ] = R ,
[T+ , S ] = 0,
etc
s = es ,
r = er .
Les vecteurs sont appels des poids. Lensemble des poids dune reprsentation dpend de
celle-ci : on lappelle le diagramme des poids de la reprsentation.
99
T+ |tm ; sm = 0;
S3 |tm ; sm = sm |tm ; sm ,
S+ |tm ; sm = 0.
Si la reprsentation est une reprsentation unitaire de dimension finie de su(3), cest aussi une
reprsentation unitaire de dimension finie de chacune de ces sous-algbres su(2). Donc, les valeurs
propres maximales tm et sm sont des demi-entiers :
tm = p/2,
sm = q/2,
p, q N
Daprs la thorie des reprsentations de su(2) on sait alors que T2tm +1 |tm ; sm = 0 et
2sm +1
S
|tm ; sm = 0. On obtient tous les tats de la reprsentation par actions successives des
gnrateurs T , S et R sur le vecteur de plus haut poids en tenant compte des relations de
commutation et de ces deux dernires relations. On montre que lon construit ainsi un espace
vectoriel de dimension finie et donc une reprsentation de dimension finie. Nous illustrons cette
construction sur des exemples ci-dessous.
Toutes les reprsentations de dimension finie de su(3) sobtiennent ainsi. Elles sont donc
indexes par deux entiers. On note D(p, q) la reprsentation de su(3) de plus haut poids tm = p/2
et sm = q/2.
Illustrons cette construction sur quelques exemples :
D(1, 0) : tm = 1/2 et sm = 0.
On construit une reprsentation de dimension trois, note [3]. Cest la reprsentation vectorielle
de dfinition.
100
D(0, 1) : tm = 0 et sm = 1/2.
On construit une reprsentation qui est aussi de dimension trois, note [3]. Cest la reprsentation
conjugue de la reprsentation vectorielle.
D(1, 1) : tm = 1/2 et sm = 1/2.
On construit alors une reprsentation de dimension huit, note [8]. Elle est quivalente la
reprsentation adjointe.
Nous pourrions continuer ainsi de suite... Par la suite, nous aurons besoin de la reprsentation
D(3, 0) : elle est de dimemsion dix et note [10] (construire son diagramme des poids !).
baryons : q q q
Rappelons que nous avions dj introduit la notion disospin dont lalgbre de symtrie est
su(2). Nous identifions les gnrateurs de la symtrie disospin avec les gnrateurs T3 , T de
su(3). Cette algbre de symtrie su(3) sappelle la symtrie de saveur. Outre lisospin t, les
interactions fortes conservent la charge lectrique qe . On dfinit lhypercharge (forte), note y,
par :
qe = t + y/2.
Les charges lectrique, disospin et dhypercharge sont reprsentes sur lespace des tats physiques par des oprateurs hermitiens commutant entre eux (car on peut mesurer indpendamment ces trois charges). Comme lisospin est identifi avec le gnrateur T3 , il nous faut trouver
quelle combinaison linaire des gnrateurs T3 , S3 , R3 lhypercharge (ou la charge lectrique)
correspond. Lhistoire de la physique des particules nous apprend que la bonne identification est :
2
Y = (T3 + 2S3 )
3
Comme nous avions associ des vecteurs et et es la mesure des valeurs propres de T3 et S3
(par produit scalaire avec le poids), nous pouvons, par combinaison linaire, dfinir un vecteur
ey associ la valeur de lhypercharge : ey = 23 (et + 2es ). On vrifie que ey et = 0 et ey ey = 2/3.
Le vecteur ey est orthogonal et .
Quarks, q [3], et anti-quarks, q [3] :
Les quarks sont les lements de la reprsentation [3] de su(3). Il y a donc trois quarks de diffrentes
saveurs. On les note u = "up", d = "down" et s = "strange". Les tats u, d, s sont les tats
disopsin et dhypercharge bien dfinis, i.e. ce sont les tats propres des oprateurs T3 et Y , donc
101
des oprateurs T3 et S3 dans la reprsentation [3]. Leurs nombres quantiques sont les suivants :
y
t
qe
u | 1/3
1/2
2/3
d|
1/3 1/2 1/3
s | 2/3
0
1/3
Les anti-quarks sont les lments de la reprsentation conjugue [3]. On les note u
, d et s. Ils
ont les nombres quantiques opposs aux quarks u, d, s. Voir Figure (4).
Les quarks ont spin 1/2 (au sens du groupe de Poincar). Ils sont (presque) dgnrs en
masse : mu
2 0.5 M eV , md
5 1.5 M eV et ms
95 25 M eV . Si la symtrie de
saveur tait une symtrie exacte ils auraient la mme masse. Le fait que le quark s a une masse
suprieure celle des quarks d et u exprime le fait que la symtrie de saveur nest quune symtrie
approche. Ce nest pas une symtrie exacte des interactions fortes.
Msons, q q [3] [
3] :
Les tats lis q q sont des lments du produit tensoriel des reprsentations [3] et [3]. Il nous faut
donc dcomposer ce produit tensoriel en reprsentations irrductibles. On a (expliquer pourquoi !) :
= [1] [8].
[3] [3]
s (expliquer pourLa reprsentation [1] est la reprsentation triviale forme du singulet u
u +dd+s
d
s
quoi !). La reprsentation [8] est la reprsentation adjointe forme des tats (u
s, d
s, ud,
u, sd,
u)
s
de charge non nulle et des tats de charge nulle combinaisons linaires de (u
u, dd,
s) orthogonales
au singulet.
Le spin de ces tats dcoule de celui des quarks et anti-quarks. Les quarks ayant spin j = 1/2,
les msons sont des lments du produit tensoriel [j = 1/2]spin [j = 1/2]spin de reprsentations
de su(2) qui se dcompose en la somme dun triplet de spin 1 et dun singulet de spin 0 :
[j = 1/2]spin [j = 1/2]spin
= [j = 1]spin [j = 0]spin .
102
103
Lorsque le modle des quarks ft propos, toutes les particules de ce multiplet navaient pas
t observes. Il en manquait une, le portant prdite par ce modle. Elle ft ultrieurement
observe, avec la masse prdite par le modle des quarks.
Un octet de baryons de spin 1/2, form des particules p, n, , 0 , , 0 , , a aussi t
observ. L encore, lcart entre les masses est bien explique par la diffrence de masse du quark
s. Ces observations semblent donc tre en accord avec le modle des baryons comme tats trois
quarks et la dcomposition en reprsentations irrductibles de ces tats.
La couleur :
Tout semble bien fonctionner avec le modle des quarks... mais la situation est en fait plus
complique :
On nobserve pas de baryon singulet de saveur (portant prdit par la dcomposition des tats
trois quarks) ;
Un seul octet de baryons a t observ (alors que la dcomposition des tats trois quarks
en prdit deux) ;
Les tats du dcuplet sont symtriques en lchange des quarks en contradiction avec le
principe de Pauli et lhypothse que les quarks sont des fermions de spin 1/2 (par exemple, la
particule ++ est ltat trois quarks uuu).
Ces difficults sont rsolues par lintroduction de deux nouveaux concepts :
(i) la notion de charge de couleur : outre leurs charges lectrique et de saveur les quarks portent
un autre dgr de libert appel couleur associ lui aussi lalgbre su(3). Donc deux copies de
lalgbre su(3), lalgbre su(3)-couleur et lalgbre su(3)-saveur, sont en jeu. Par hypothse,
chacun des quarks u, d, s appartient la reprsentation [3] de su(3)-couleur et les anti-quarks
s la reprsentation conjugue [3] :
u
, d,
q [3]couleur ,
q [3]couleur ,
,
= 1, 2, 3,
q = u, d, s.
(ii) lhypothse de confinement qui stipule que seuls les tats singulets de couleur sont observables. Cette hypothse est suppose tre une consquence de la chromodynamique quantique,
thorie qui dcrit les interactions fortes.
Ainsi, le contenu en couleur des msons et des baryons est :
mesons = q q ,
o
baryons =
q q q ,
Le principe de Pauli nintervient pas dans la construction des msons car les quarks et antiquarks ne sont pas des particules identiques. Par contre il intervient dans celle des baryons forms
de trois quarks. Ce principe dicte alors que la fonction donde des trois quarks doit tre totalement
anti-symtrique sous lchange de ces particules. En faisant lhypothse que la fonction donde
est symtrique dans lchange des coordonnes spatiales (hypothse raisonable si on suppose que
ces baryons correspondent aux tats fondamentaux trois quarks), la fonction donde incluant
les degrs de libert de saveur, de spin et de couleur doit tre anti-symtrique. Cette fonction
donde appartient au produit tensoriel :
3
3
[3]3
saveur [j = 1/2]spin [3]couleur .
104
105
sont dcrites par des thories, dites thories de jauge, analogues non-abliennes de llectromagntisme, chacune tant associe un groupe de Lie. Les mdiateurs des interactions fortes sont
les gluons et le groupe de jauge est le groupe SU (3)-couleur. Le mdiateur de llectromagntisme
est le photon et le groupe de jauge est le groupe U (1). Les mdiateurs des interactions faibles
sont les bosons dits intermdiaires Z 0 et W . Les interactions lectromagntiques et faibles sont
unifies haute nergie dans le groupe de jauge SU (2) U (1). Cette symtrie de jauge est brise
faible nergie, ne laissant que le groupe U (1) de llectromagntisme comme groupe de jauge.
Ce mcanisme de brisure symtrie met en jeu une particule scalaire massive appele le boson de
Higgs. Voir Figure (6,7).
106
CHAPITRE VII
GROUPES DE LORENTZ, DE POINCAR ET QUATION
DE DIRAC
Le but de ce chapitre est de dcrire les caractristiques essentielles des groupes de Lorentz, de
Poincar ainsi que de leurs algbres et de leurs reprsentations.
Ltude des reprsentations du groupe de Lorentz nous permettra dintroduire les notions de
spineurs et dobtenir ainsi lquation de Dirac dcrivant la dynamique quantique relativiste dune
particule de spin 1/2.
Ltude des reprsentations du groupe de Poincar nous conduira en obtenir une classification
fonde sur les notions de masse et de spin. Toute particule lmentaire est alors vue comme un
lment dune reprsentation irrductible du groupe de Poincar.
X X
X ,
tel que = .
108
invariante la composante temporelle des quadri-vecteurs mais renverse les composantes spatiales,
P (X 0 , X) = (X 0 , X), appartient la composante connexe O(1, 3) pour laquelle det = 1 et
00 1. Le renversement du temps T (X 0 , X) = (X 0 , X) appartient la composante O(1, 3)
pour laquelle det = 1 et 00 1.
Les rotations spatiales sont videmment des transformations de Lorentz. Rappelons que la
matrice dune rotation dangle autour de laxe 0z est :
1
0
0
0
0 cos sin 0
Rz; =
0 sin cos 0
0
0
0
1
Les transformations de Lorentz spciales ("boost" en anglais) sont aussi videmment des transformations de Lorentz. La matrice dune telle transformation daxe 0z et de vitesse v = tanh
(la vitesse de la lumire est choisie gale c = 1 par convention) est :
cosh 0 0 sinh
0
1 0
0
Lz; =
0
0 1
0
sinh 0 0
cosh
On peut implmenter des rotations autour de chacun des trois axes ou des transformations de
Lorentz spciales le long de chacun des axes. Nous verrons ci-aprs que lensemble de ces six
transformations de Lorentz engendre le groupe SO(1, 3).
Lalgbre du groupe de Lorentz, note so(1, 3), est par dfinition constitue des transformations de Lorentz infinitsimales, voisines de lidentit. La matrice dune telle transformation se
dveloppe en = + + avec
1. Au premier ordre en , la condition dinvariance
(VII.1.1) scrit
+ = 0,
soit + = 0,
avec . Une transformation de Lorentz infinitsimale est donc spcifie par un tenseur
dordre deux antisymtrique. La dimension de lalgbre so(1, 3) est donc gale la dimension
de lespace des tenseurs dordre deux antisymtriques, soit dim so(1, 3) = 43
2 = 6.
Un ensemble de 6 gnrateurs indpendants est form des 3 gnrateurs des rotations selon
les trois axes, nots Jx , Jy , Jz , et des 3 gnrateurs des transformations de Lorentz spciales le
long des trois axes, nots Kx , Ky , Kz . Par exemple, les matrices reprsentant Jz et Kz (dans
la reprsentation de dfinition de dimension 4), sobtiennent en prenant et petits dans les
matrices des rotations et transformations de Lorentz spciales donnes ci-dessus (1) :
0 0 0 1
0 0 0 0
0 0 1 0
0 0 0 0
Jz = i
0 1 0 0 , Kz = i 0 0 0 0 ,
0 0
1 0 0
1. On adopte la convention des physiciens en introduisant un facteur i dans les gnrateurs. Ainsi Rz; =
1 i Jz + pour
1 et Lz; = 1 i Kz + pour
1.
109
Beaucoup de zro, peu de un. Les autres matrices sobtiennent de manire analogue, par permutation. On peut alors calculer les commutateurs et en dduire les crochets de Lie sur so(1, 3) :
[Jx , Jy ]
(VII.1.2)
= i Jz ,
et permutation
[Jx , Ky ] = i Kz ,
et permutation
[Kx , Ky ]
et permutation
= i Jz ,
La premire ligne ne mettant en jeu que les gnrateurs Jx , Jy , Jz indique quils forment, comme il
se doit, lalgbre des rotations so(3). La seconde ligne montre que les trois gnrateurs Kx , Ky , Kz
se comportent comme les composantes dun vecteur sous laction des rotations. La dernire ligne
implique que la composition de deux transformations de Lorentz selon deux axes diffrents nest
pas une transformation de Lorentz spciale, une proprit implique dans la prcsion de Thomas.
On peut donner une formulation covariante de lalgbre de Lie so(1, 3). Les transformations
de Lorentz infinitsimales sont = + + avec antisymtrique. On introduit donc
une base de tenseurs anti-symtriques (avec la convention des physiciens consistant introduire
un facteur i), note J [] :
(J [] ) i( ).
Noter que nous avons bien six tenseurs J [] indpendants. Tout tenseur antisymtrique peut
se dcomposer sur la base des J [] : = 2i [] (J [] ) . Une transformation de Lorentz
infinitsimale scrit donc :
= 1 i [] J [] + ,
2
soit = i 2 [] (J [] ) avec (J [] ) i( ). On calcule aisement les relations
de commutations entre les J [] :
(VII.1.3)
J [] , J [] = i J [] J [] J [] + J [] .
La relation entre les deux prsentations est J [jk] = jkn Jn , i.e. J [12] = Jz et permutation, et
J [0j] = Kj , i.e. J [01] = Kx . Il est clair que cette dernire prsentation stend naturellement
toute dimension.
Revtement universel de SO(1, 3) : SL(2, C)
Le revtement universel de SO(1, 3) est SL(2, C). A tout quadri-vecteur X on associe univoquement une matrice 2 2 hermitienne. Soit 0 1 la matrice identit et j les matrices de
Pauli. Ces matrices forment une base des matrices hermitiennes 2 2. Soit X = (X 0 , X ) un
quadri-vecteur. On pose :
X X =
X 0 + X z X x iX y
.
X x + iX y X 0 X z
U SL(2, C).
110
a
,
0 1
a R4 , O(1, 3).
P , P
= =0
[]
= i P P ,
, P
compltes par les relations de commutation entre les gnrateurs de so(1, 3). Les premires
relations refltent le caractre ablien du groupe des translations, les secondes indiquent que,
comme attendu, les gnrateurs P se transforment comme des quadri-vecteurs sous leffet des
transformations de Lorentz.
Action sur les fonctions.
Il existe bien-sr une action naturelle du groupe Poincar sur les fonctions f (X) dfinies sur
lespace-temps, i.e. pour X = (X 0 , X) R4 :
( f )(X) = f (1 x),
On vrifie facilement que ces actions dfinissent une reprsentation du groupe de Poincar.
On obtient la reprsentation de lalgbre du groupe de Poincar en cherchant les expressions
des gnrateurs des transformations infinitsimales. Pour une translation dun vecteur a, |a|
1,
un dveloppement de Taylor au premier ordre fournit (Ta f )(X) = f (X) a ( f )(X) + ,
soit :
P = i .
111
jkl
Jl ,
[Jj , Kk ] = i
jkl
Kl ,
[Kj , Kk ] = i
jkl
Jl .
La complexification de so(1, 3) est lagbre so(1, 3)C so(1, 3) C, i.e. dans lalgbre so(1, 3)C
on sautorise utiliser des combinaisons linaires de gnrateurs avec des coefficients complexes.
La dimension de so(1, 3)C vue comme un espace vectoriel sur C est donc gale la dimension
de so(1, 3) vue comme un espace vectoriel sur R. Dans so(1, 3)C on peut dfinir les lments
suivants (j = 1, 2 ou 3) :
1
1
Mj (Jj iKj ), Nj (Jj + iKj ).
2
2
Ces gnrateurs forment une base so(1, 3)C . Il est facile de vrifier les relations de commutation
suivantes :
(VII.2.1)
[Mj , Mk ] = i
jkl
Ml ,
(VII.2.2)
[Nj , Nk ] = i
jkl
Nl ,
(VII.2.3)
[Mj , Nk ] = 0
Ainsi, chacune des familles Mj et Nj engendre indpendamment une sous-algbre sl(2)C , et ces
deux sous-algbres commutent entre elles. Nous avons donc lisomorphisme :
so(1, 3)C
= sl(2)C sl(2)C .
Les reprsentations de so(1, 3)C sobiennent en tensorisant deux reprsentations de sl(2)C .
Plus prcisement, si V et W sont deux espaces de reprsentation de sl(2)C , et V : sl(2)C
EndV , W : sl(2)C EndW les deux morphismes de reprsentation, alors une reprsentation
de so(1, 3)C est dfinie sur lespace V W avec pour morphisme de reprsentation V W (Mj ) =
V (Mj ) 1 et V W (Nj ) = 1 W (Nj ). Nous savons que les reprsentations de dimension finie
de sl(2)C sont indexes par un entier n N, gale au double du "spin". Une reprsentation
112
dindice n est dfinie sur Cn+1 . Les reprsentations de so(1, 3)C sont donc indexes par deux
n
entiers. Nous les notons ( m
2 , 2) :
Representation : (
m n
, ),
2 2
n
Dans la reprsentation ( m
2 , 2 ), les gnrateurs Mj et Nj agissent non-trivialement sur les vecteurs des espaces Cm+1 et Cn+1 , respectivement. Ainsi, les gnrateurs de rotations Jj et de
transformations de Lorentz spciales Kj sont reprsents par :
Jj
= Mj 1 + 1 Nj ,
Kj
= i(Mj 1 1 Nj ).
Notez que si les matrices Mj et Nj sont hermitiques, alors les gnrateurs Jj le sont aussi mais
les gnrateurs Kj le sont pas.
VII.2.2. Exemples de reprsentations. Donnons quelques exemples :
(0, 0) : Cest la reprsentation triviale, de dimension 1. Elle correspond au scalaire.
(1/2, 0) : Il sagit dune reprsentation de dimension 2, dont les vecteurs, appels spineurs droits
par convention et nots R , possdent deux composantes. Les gnrateurs sont reprsents par :
Jj =
1
j ,
2
Kj =
i
j ,
2
jkl l .
(0, 1/2) : Il sagit aussi dune reprsentation de dimension 2, qui nest pas quivalente la
prcdente. Cest sa complexe conjugue. Elle agit sur des vecteurs deux composantes, appels
spineurs gauches et nots L . Les gnrateurs sont reprsents par :
1
i
j , Kj = j ,
2
2
o j sont les matrices 2 2 de Pauli. Notez la diffrence de signe entre la reprsentation de Kj
dans les reprsentations spinorielles (1/2, 0) et (0, 1/2).
Jj =
1
(j 1 + 1 j ),
2
Kj =
i
(j 1 1 j ),
2
Elle sidentifie avec la reprsentation vectorielle de dfinition de so(1, 3) agissant sur les quadrivecteurs A (expliciter cet isomorphisme !).
Et ainsi de suite, on laissera au lecteur le plaisir de comprendre la signification gometrique
des autres reprsentations...
Effet de la parit :
Lopration de parit P , X 0 X 0 et X X, appartient la composante O(1, 3) qui nest
pas connexe lidentit : ces reprsentations ne sont donc pas dcrites par les reprsentations de
113
lalgbre de Lie so(1, 3). Les relations de commutations entre P et une transformation de Lorentz
quelconque impliquent les relations entre P et les gnrateurs de so(1, 3) :
P Jj P = Jj ,
P Kj P = Kj .
Alternativement P Nj P = Mj et P Mj P = Nj .
Les reprsentations (0, 0) et (1/2, 1/2) sont stables sous laction de la parit. La parit peut
donc prendre deux valeurs, soit P = +, soit P = , car P 2 = 1.
Les reprsentations (1/2, 0) et (0, 1/2) ne sont pas stables sous laction de la parit mais
schangent lune lautre. Une reprsentation du groupe O(1, 3) , contenant la parit P et les
transformations de Lorentz connexes lidentit, sera donc dfinie sur la somme directe de ces
deux reprsentations, i.e. sur (1/2, 0) (0, 1/2). Elle agit sur un espace de dimension 4 constitu
de vecteurs quatre composantes RL , somme directe de spineurs gauche et droit. Dans
cette base, la parit est reprsente par :
P =
0 1
.
1 0
Les vecteurs quatre composantes RL sont appels spineurs de Dirac. On peut videmment choisir de les crire dans diffrentes bases. La base que nous avons utilise ici est appele
base de Weyl.
avec H = p + m,
j + j = 0,
2 = 1.
= 1, par convention
114
o j sont les matrices de Pauli. Lquation est crite plus lgamment (et de faon plus covariante) en introduisant les matrices de Dirac dfinie par :
0 = 0 = =
1 0
,
0 1
j = j = j =
0
j
j
.
0
i m = 0
Nous allons par la suite retrouver cette quation par des considrations issues de la thorie des
reprsentations du groupe de Lorentz. Nous laissons nanmoins la lectrice, au lecteur, lexercice
important consistant comprendre les proprits de covariance de cette quation.
VII.3.1. Spineurs et quation de Dirac. Au lieu de suivre la route historique, nous allons
maintenant dduire lquation de Dirac laide de la thorie des reprsentations de so(1, 3) que
nous avons dcrite ci-dessus. On considre un spineur de Dirac RL qui appartient la
reprsentation spinorielle (1/2, 0)(0, 1/2). On suppose que ce spineur est associe une particule
de masse m. Dans un rfrentiel R, la quadri-impulsion de cette particule est P = (P 0 , P ) avec
P 2 (P 0 )2 (P )2 = m2 . Le spineur associ cette particule dpend de limpulsion, i.e. (P ).
Dans le rfrentiel propre R de la particule (dans lequel elle est au repos), la quadri-impulsion
de la particule est P = (m, 0). Sans perdre en gnralit, nous faisons le choix que les composantes droite et gauche du spineur sont alors gales, i.e. L (P ) = R (P ).
Lhypothse de covariance que nous allons appliquer impose que les spineurs droit et gauche
associs la particule dans un rfrentiel R quelconque sobtiennent partir de ceux dans le
rfrentiel propre R via la transformation de Lorentz permettant de passer du rfrentiel R au
rfrentiel R. Lquation de Dirac code les contraintes issues de cette hypothse.
Dans un rfrentiel R quelconque, la quadri-impulsion P scrit sous la forme P 0 = m cosh
et P = m sinh n avec n un vecteur unitaire et un paramtre rel appel rapidit. La transformation de Lorentz permettant de passer de R R est une transformation de Lorentz spciale
daxe n et de rapidit . Elle se reprsente par exp(+ 2 n ) et exp( 2 n ) sur les spineurs
droit et gauche, respectivement. Donc
R (P ) = exp(+ n ) R (P )
2
L (P ) = exp( n ) L (P )
2
Afin dliminer L (P ) et R (P ) de ces quations, multiplions les respectivement par exp(n
), de sorte que en R (P ) = L (P ) et e+n L (P ) = R (P ). En utilisant la formule
exp(n ) = cosh + sinh n ,
115
m
P0 + P
P0 P
m
R (P )
L (P )
= 0.
0 1
,
1 0
j =
0
j
j
.
0
i m (X) = 0
Ceci est lquation de Dirac pour le spineur (X). Elle concide avec lquation (VII.3.1). Nous
avons crit ici lquation de Dirac dans la base dite de Weyl mais tout changement de base est
videmment autoris.
Interprtation :
Une description dtaille des consquences de lquation de Dirac est au-dl du propos de ces
notes (les tudiants ayant souvent un travail personnel effectuer sur ce thme). Mentionnons
uniquement que la dcouverte de lquation de Dirac mena P.M. Dirac (aprs plusieurs annes)
proposer lexistence du positron, anti-particule de llectron, de mme spin que llectron mais
de charge lectrique oppose. P.M. Dirac ft conduit cette conclusion en interprtant la nature
du spectre de lhamiltonien de Dirac constitu dnergie positive et ngative.
Dans la limite non-relativiste, lquation de Dirac se rduit lquation de Pauli (encore un
thme de travail personnnel !). Elle prdit alors la valeur du moment magntique intrensque
de llectron = qme 2 , soit un facteur de Land g = 2. Une valeur en trs bon accord avec
lexprience. Les dviations par rapport cette valeur sont dues aux interactions quantiques
entre llectron et le champ lectromagntique. Elles sont remarquablement prdites et values
dans le cadre de llectrodynamique quantique.
116
nous proposons sera brve, nous ne donnerons pas les dtails de la construction explicite de ces
reprsentations.
Afin dapprhender les reprsentations du groupe de Poincar on tudie dabord celles de son
algbre de Lie. On rappelle que les gnrateurs de lalgbre de Poincar sont les gnrateurs des
translations P et les gnrateurs des transformations de Lorentz J [] = J [] . Leurs relations
de commutation sont dcrites par les quations (VII.1.3,VII.1.4), que nous rappelons ici :
J [] , J []
P , P
J [] , P
= i J [] J [] J [] + J []
= =0
= i P P .
Pour des reprsentations unitaires, les gnrateurs seront reprsents par des oprateurs hermitiques.
Afin de classer les reprsentations du groupe de Poincar on cherche les oprateurs de "Casimir" de lalgbre enveloppante de lalgbre de Poincar. Ces oprateurs sont des polynmes
dans les gnrateurs de lalgbre qui commutent avec tous les gnrateurs P et J [] de cette
algbre. Daprs le lemme de Schur, (qui stend aux cas des groupes non-compacts mais pour
des reprsentations unitaires irrductibles), ces oprateurs de Casimir seront reprsents par des
constantes dans toute reprsentation unitaire irrductible. Les reprsentations unitaires irrductibles seront donc classes par les valeurs possibles prises par ces oprateurs de Casimir.
Lalgbre de Poincar possdent les deux oprateurs de Casimir suivant :
(i) Loprateur de masse
C1 P 2 = P P .
Il est facile de vrifier que P 2 commutent avec tous les gnrateurs P et J [] . On notera m2
la valeur prise par cet oprateur dans une reprsentation unitaire irrductible. On considerera
les cas des reprsentations massives m > 0 et des reprsentations de masse nulle, m = 0. On
pourrait aussi tudier les reprsentations pour lesquelles m2 < 0, mais celles-ci ne semblent pas
jouer de rle en physique.
(ii) Le second oprateur de Casimir est
C2 W 2 = W W ,
o W est loprateur de Pauli-Lubanski dfini par W = 12 P J[] . Explicitement, W0 =
P J et W = P0 J + P K. Les valeurs propres prises par cet oprateur dans une reprsentation
unitaire irrductible spcifiront la notion de spin ou dhlicit dune particule.
Loprateur W 2 est un oprateur de Casimir. On vrifie aussi facilement que [W , P ] = 0 et
que [J [] , W ] = i( W W ) de sorte que W se transforme comme un quadri-vecteur.
Reprsentation massive : m > 0.
Les oprateurs P forment une famille doprateurs hermitiques commutant entre eux. On peut
donc les diagonaliser simultanment. Soient p leurs valeurs propres. Puisque loprateur de
Casimir P 2 agit comme la multiplication par m2 sur tout tat de la reprsentation, ces valeurs
propres satisfont p2 = m2 : on dit que ces valeurs propres sont sur la couche de masse, elles
sidentifient avec la quadri-impulsion dune particule de masse m. Dans le cas massif, m > 0,
117
tout point sur la couche de masse est dans lorbite du groupe de Lorentz de la quadri-impulsion
p = (m, 0) associe la particule de masse m au repos. Autrement dit, toute quadri-impulsion
sur la couche de masse est la transforme de Lorentz de la quadri-impulsion de la particule au
repos.
Comme [W , P ] = 0, on peut tudier laction de W sur les sous-espaces propres des P .
Daprs la discussion prcdente, il suffit, modulo une transformation de Lorentz, de se placer
sur le sous-espace propre o la quadri-impulsion est p = (m, 0). Ce choix revient se placer
dans le rfrentiel du centre de masse de la particule. Dans ce sous-espace, on a alors
W0 = 0,
W = m J.
Ainsi, sur ce sous-espace propre, les oprateurs W sont proportionnels aux gnrateurs des rotations dans le rfrentiel de centre de masse. Ces derniers engendrent le groupe SO(3). Les
reprsentations de ces gnrateurs sont donc indexs par un demi-entier, s 12 N, le spin de la
particule.
Les oprateurs W sont les versions covariantes des gnrateurs des rotations dans le centre de
masse. Leurs reprsentations sur un sous-espace propre de P associe un point quelconque de
la couche de masse sobtiennent par transformation de Lorentz partir de celles des gnrateurs
des rotations dans le centre de masse. Puisque loprateur de Casimir C2 = W 2 est invariant
sous les transformations de Lorentz, sa valeur sur tout sous-espace propre de P est, comme il
se doit, gale celle prise dans le sous-espace propre du centre de masse, soit C2 = m2 s(s + 1)
pour une reprsentation de spin s.
Ainsi, les reprsentations unitaires massives du groupe de Poincar sont indexes par deux
nombres : m, rel positif et s, demi-entier, qui sinterprte comme
m = masse,
s = spin.
Les vecteurs de lespace de Hilbert de ces reprsentations sidentifient avec les tats quantiques
possibles pour une particule de masse m et de spin s. Une base de cet espace de Hilbert est
fournie par les tats |p; s, avec p, un point sur la couche de masse et = s, s + 1, , +s.
Limpulsion p, p2 = m2 , sidentifie avec celle de la particule de masse m, s avec son spin et
avec la valeur du moment cintique intrensque J z dans le rfrentiel du centre de masse. Nous
ne donnerons pas ici la construction explicite de ces reprsentations. Celle-ci peut se faire par
la mthode des reprsentations induites dont la description sort du cadre de ces notes (cette
construction peut faire lobjet dun travail personnel !).
Reprsentation de masse nulle : m = 0.
Dans ce cas, on tudie encore laction des oprateurs W sur les sous-espaces propres de P . Si la
masse est nulle, ces dernires satisfont p2 = 0. Il nexiste alors pas de rfrentiel de centre de masse
(car une particule de masse nulle se propage la vitesse de la lumire dans tout rfrentiel), mais il
existe un rfrentiel tel que p0 = k et p = k ez , i.e. (p0 = k, px = 0, py = 0, pz = k). Tout point sur
la couche de masse p2 = 0 est limage par une transformation de Lorentz dune quadri-impulsion
de la forme prcdente. Dans ce rfrentiel, on a alors W 0 = W z = kJ z , W x = k(J x + K x )
et W y = k(J y K y ). Les relations de commutations satisfaites par ces gnrateurs sont celles
du groupe Euclidien en dimension deux. Le Casimir C2 est alors gal W 2 = Wx2 + Wy2 .
118
Il semble que seules les reprsentations de masse nulle pour lesquelles le Casimir C2 sannule
jouent un rle en physique. On se restreint donc ce cas, i.e. C2 = 0. Alors, sur le sousespace propre o p0 = k, p = k ez , les oprateurs W x et W y sont identiquement nul et W z =
W 0 = k J z . Loprateur J z est donc le seul oprateur restant pour lequel il faut spcifier la
reprsentation. J z est le gnrateur de SO(2), le groupe des rotations autour de laxe 0z, qui est
un groupe Abelien. Ses reprsentations sont de dimension 1 et indexes par la valeur prise par
J z que lon note . Ainsi, dans ce sous-espace et pour ces reprsentations, les deux oprateurs
P = (k, 0, 0, k) et W = (k, 0, 0, k) sont proportionnels. Comme P et W se transforment
identiquement sous les transformations de Lorentz, cette relation de proportionnalit est vraie
dans tout rfrentiel :
W = P .
On appelle "hlicit" le paramtre .
Les reprsentations physiques de masse nulle du groupe de Poincar sont donc indxes par la
masse m = 0 et lhlicit . Une base des tats est fournie par des vecteurs |p; avec p un point
de la couche de masse, p2 = 0. Nous ne construirons pas explicitement ses reprsentations, mais
celles-ci peuvent sobtenir par la mthode des reprsentations induites mentionne ci-dessus.
Parit.
Pour discuter de leffet de la parit, il faut distinguer les deux cas, de masse nulle ou non,
sparemment.
Pour m > 0, la parit agit sur les coordonnes spatiales du rfrentiel du centre de masse par
P X = X, ce qui a pour effet de remplacer le groupe SO(3) par le groupe O(3). La parit
commute avec les rotations spatiales du rfrentiel du centre de masse. On a O(3)/SO(3) = {1, P }
et P 2 = 1. Pour spcifier la reprsentation de O(3) du rfrentiel du centre de masse, il faut donc
se donner le spin s et le signe de parit .
Pour m = 0, on se place comme ci-dessus dans un rfrentiel o p = (k, 0, 0, k). Leffet de la
parit est donc de remplacer le groupe SO(2) par O(2). La transformation (x, y) (x, y)
est un lment de SO(2) mais la rflexion S : (x, y) (x, y) ne lest pas. Cette rflexion
ne commute pas avec les rotations : S R = R S, si R est une rotation dangle . Ainsi,
les reprsentations de O(2) se construisent sur les sommes directes de deux reprsentations de
SO(2) dhlicit oppose . Lopration de parit change les tats dhlicit oppose. Ainsi,
une thorie modle de la physique des particules lmentaires de masse nulle qui prserve la
parit contient ncessairement des particules dhlicit oppose.
Petits groupes et reprsentations induites
Les reprsentations unitaires du groupe de Poincar se construisent par la mthode dite du petit
groupe et des reprsentations induites. Ce thme est hors du propos de ces notes (car il est
souvent le sujet dun travail personnel des tudiants !).
CHAPITRE VIII
INVARIANCE CONFORME EN PHYSIQUE
Dans ce chapitre, nous nous intressons aux transformations conformes et leurs applications
la physique des systmes bidimensionnels. On traitera peu la technique associe ltude de
ces systmes, mais on tchera de dresser un panorama des applications physiques de linvariance
conforme. Celles-ci couvrent des domaines aussi varis que les transitions de phases du second
ordre, les systmes lectroniques quasi unidimensionnels ou les thories des cordes, candidats
thoriques une description de la gravitation quantique.
w2 = f (z0 ) z2
Langle entre les vecteurs w1 et w2 est donc gal celui entre les vecteurs z1 et z2 . Chacun
de ces vecteurs subit une rotation dangle gal largument de f (z0 ) et une dilatation proportionnelle au module de f (z0 ). Ainsi, les transformations conformes agissent localement comme
des rotations et des dilatations, mais le coefficient de dilatation ou langle de rotation varient de
point en point.
Les transformations homographiques,
az + b
, a, b, c, d C,
cz + d
sont les seules bijections holomorphes du plan complexe complt du point linfini. Par composition, elles forment un groupe isomorphe au groupe des transformations linaires de C2 de
dterminant un, ac db SL(2, C)/{1}.
z f (z) =
120
La transformation z w = zi
z+i est holomorphe, sans singularit, sur le demi-plan suprieur
H = {z C, Imz > 0}, et limage de ce demi-plan est le disque de rayon unit centr en 0,
i.e. |w| < 1 pour Imz > 0. Plus gnralement, daprs le thorme de Riemann, tout domaine
planaire ayant la topologie du disque unit, i.e. tout ouvert de C connexe et simplement connexe
distinct de C, est en bijection conforme avec le disque unit, et donc aussi en bijection conforme
avec le demi-plan suprieur.
Les transformations conformes trouvent de nombreuses applications dans tous les problmes
de physique classique rgis par lquation de Poisson-Laplace en deux dimensions,
z (z, z) = 0 avec z = x2 + y2 = 4 z z.
Toute solution de cette quation est appele une fonction harmonique. Comme le laplacien se
factorise en z = 4 z z, les fonctions harmoniques se dcomposent en la somme dune fonction
holomorphe et dune fonction anti-holomorphe,
(z, z) = (z) + (
z ).
De cette dcomposition dcoule linvariance conforme de lquation de Poisson-Laplace. En effet
si (z, z) est solution, alors (f (z), f (z)) est aussi solution. Alternativement, si w = f (z), le
laplacien dans les coordonnes w scrit simplement en terme du laplacien dans les coordonnes
z : w = 4w w = |f (z)|2 z .
Cette quation sapplique videmment aux problmes dlectrostatique o est le potentiel
lectrostatique dans le vide. Ces derniers sont gnralement formuls sous la forme de problmes
de Dirichlet pour lesquels on cherche la valeur du potentiel lectrostatique dans un domaine
planaire D, qui est lextrieur dun conducteur parfait, sachant la valeur |D de ce potentiel au
bord du domaine, cest dire sur le conducteur.
Elle sapplique galement en mcanique des fluides la description des mouvements bidimensionnels de fluides incompressibles et irrotationnels. En effet, si la vorticit = u est nulle, le
champ des vitesses u drive dun gradient u = et la condition dincompressibilit u = 0
impose alors = 0. Les conditions aux limites, appeles conditions de Neumann, dpendent
de la forme du domaine dans lequel le fluide se dplace. Elles imposent que le gradient de soit
tangent la surface du domaine de sorte que lcoulement soit tangent cette surface.
121
o est le facteur de dilatation local, appel facteur conforme. Evidemment une telle transformation prserve localement les angles.
Le but est maintenant didentifier les transformations conformes en dimension d. Elles forment
videmment un groupe continu qui, comme nous allons le vrifier, est de dimension (d+2)(d+1)
2
pour d > 2, et de dimension infinie pour d = 2.
Considrons donc des transformations conformes infinitsimales x x + (x) + . Au
premier ordre en , la condition dinvariance conforme crite ci-dessus se traduit en
(VIII.1.1)
+ = () ,
122
n, m
= (n m)
n+m
Ces relations de commutation sont aussi celles de lalgbre de Lie du groupe des diffomorphismes du cercle Diff S1 . Les diffomorphismes du cercle sont les applications diffrentiables de
S1 sur lui-mme. Ils forment un groupe par composition. Lalgbre de Lie de Diff S1 est lensemble des diffomorphismes infinitsimaux x x + v(x),
1, avec v(x) priodique, o
1
x [0, ] est une coordonne sur le cercle S . Ils agissent sur les fonctions dfinies sur S1 par
lintermdiaire des champ vectoriels v(x)x , i.e. + (v) avec (v)(x) = v(x)x (x).
Le commutateur de deux de ces transformations est
(v1 ), (v2 ) = ([v1 , v2 ]),
o [v1 , v2 ] est le crochet de Lie des champs vectoriels dfini par
v1 , v2 (x) v1 (x) v2 (x) v2 (x) v1 (x) x .
Par dcomposition en srie de Fourier, une base de champs vectoriels est donne par les
einx x qui satisfont les relations de commutation de lalgbre de Witt (VIII.1.3).
Cest rarement lalgbre de Witt qui joue un rle en mcanique quantique mais une extension
centrale de cette algbre, nomme algbre de Virasoro. Comme nous lavons vu dans les chapitres prcdants, la mcanique quantique autorise considrer les reprsentations projectives
des groupes de symmtrie qui peuvent se rinterprter comme des reprsentations dextensions
centrales de ces groupes. Dans le cas des diffomorphismes du cercle, lextension centrale de lalgbre de Witt est lalgbre de Lie construite sur lespace vectoriel Lie[Diff S1 ] cR o c denote
llment central un lment central est un lment qui commute avec tout autre lment. Ici
Lie[Diff S1 ] est lalgbre de Lie des champs vectoriels sur S1 dont les relations de commutation
sont celles de lalgbre de Witt. Les relations de commutations dans lextension centrale sont :
(v1 ), (v2 ) = ([v1 , v2 ]) + c (v1 , v2 ),
c, (v1 ) = 0,
123
pour tous champs vectoriels v1 et v2 sur S1 . Ici, (v1 , v2 ) est une forme bilinaire antisymmtrique
sur Lie[Diff S1 ] valeur relle. Par lidentit de Jacobi, elle est contrainte vrifier,
(v1 , [v2 , v3 ]) + (v2 , [v1 , v3 ]) + (v3 , [v2 , v1 ]) = 0,
et est appele cocycle. Un cocycle proportionnel au commutateur, (v1 , v2 ) = f ([v1 , v2 ]) avec f
linaire, satisfait la relation de cocyle prcdante mais est un cocycle dit trivial car il suffit de
redfinir (v) (v) + c f (v) pour absorber lextension centrale.
Dans le cas de lalgbre de Witt, lunique extension centrale, un cocycle trivial prs et un
coefficient multiplication prs, est
2
1
dx
(v v2 v1 v2 ).
24 0 2 1
Il est facile de vrifier que cette dfinition satisfait la relation de cocycle, il est plus difficile de
montrer que cest lunique solution. Choisissons comme ci-dessus la base des champs vectoriels,
inx . Leurs relations de commutation dans lextension centrale sont
n = e
x
c 3
(VIII.1.4)
(n n)n+m;0 .
n , m = (n m) n+m +
12
Cette algbre est appele lalgbre de Virasoro. Le terme de lextension central proportionnel
c
n+m,0 . Il est
n est un cocyle trivial car il peut tre absorb en redfinissant n n 24
choisit de sorte ce que lextension centrale sannule sur 0 et 1 qui sont les gnrateurs des
transformations conformes globales. Comme nous le verrons par la suite, cette algbre joue un
rle important dans lanalyse des systmes physiques invariants conformes.
(v1 , v2 ) =
124
XN = (xN , yN ). A chaque tape, ce marcheur a une probabilit identique, gale 1/4, de faire
un pas vers la droite/gauche ou vers le haut/bas. Donc
N1
xN x0 = a
N2
i,
yN y0 = a
i=1
i ,
N = N1 + N2 ,
i=1
E[(XN X0 )2 ] = a2 E[(
N2
i)
i )2 ] = a2 N.
+(
i=1
i=1
La limite continue, qui correspond observer cette marche de loin, sobtient en prenant la limite
o la taille de la maille du rseau sannule tout en laissant le marcheur effectuer un nombre infini
de pas, cest--dire a 0, N avec N a2 fix. On pose t N a2 /2 que lon identifie comme
le temps pendant lequel le marcheur se dplace.
Dans cette limite on obtient alors un processus continu,
t Xt = (xt , yt ),
dont les trajectoires forment des courbes alatoires inscrites sur le plan issues du point X0 . Daprs la loi des
grands nombres, les variables alatoires xt et yt sont gaussiennes de variance t, E[(Xt X0 )2 ] = 2t.
Plus prcisement, calculons la probabilit que le marcheur partant de X0 se trouve en un
point dun domaine du plan linstant t, i.e. la probabilit que Xt . Notons Pt [X0 ; ]
cette probabilit. Commenons par le modle discret et notons PN [X0 ; ] la probabilit que le
marcheur partant de X0 soit dans le domaine aprs N pas. Le marcheur aura fait le premier
pas soit vers la droite/gauche ou soit vers le haut/bas avec probabilit 1/4, donc
1
PN +1 [X0 ; ] =
4
PN [X0 + aek ; ],
k=1
o ek sont les quatre vecteurs units pointant vers la droite/gauche ou vers le haut/bas. Dans la
limite continue, a 0, N avec t = N a2 /2, on a :
2 PN +1 [X0 ; ] PN [X0 ; ]
a2 t Pt [X0 ; ]
a2 X0 Pt [X0 ; ]
k=1
125
Si est petit et centr autour dun point Y on peut crire Pt [X0 ; ] comme une densit de
probabilit sous la forme pt [X0 ; Y] d2 Y et,
d2 Y pt [X0 ; Y]
Pt [X0 ; ] =
pour tout domaine . Par linarit, la densit de probabilit est aussi une solution de lquation
de la chaleur et la condition initiale t = 0 est pt=0 [X0 ; Y] = (X0 Y). Donc
pt [X0 ; Y] d2 Y =
d2 Y
(X0 Y)2
exp
.
2t
2t
loi
Xt X0
On dit que les incrments sont distribus identiquement, ils sont aussi indpendants. Ces proprits dcoulent de la dfinition des marches alatoires : leurs comportements aprs M pas sont
indpendants du pass, ne dpendent que de la position XM aprs ces M pas et sont identiques
ceux des marches alatoires partant du point XM .
VIII.2.2. Invariance conforme et systmes critiques. Montrons maintenant linvariance conforme des trajectoires browniennes suivant un argument d P. Lvy. Cette invariance ne concerne que lensemble des traces laisses par les trajectoires, i.e. leurs graphes, elle
ne concerne pas les trajectoires paramtrises. Ces traces ne sont pas invariantes conformes ralisation par ralisation mais leur ensemble statistique lest. Linvariance conforme se manifeste
par exemple de la manire suivante. Imaginons raliser des chantillons du mouvement brownien
dans le disque unit partants de lorigine et arrts ds quils touchent le bord du disque. Par
transformation conforme, on peut transporter ces courbes dans un autre domaine planaire ayant
une topologie identique celle du disque, par exemple un rectangle, on obtient alors un ensemble
statistique de courbes inscrites dans ce nouveau domaine planaire. Linvariance conforme affirme
que cet ensemble de courbes possde une distribution statistique identique celle du mouvement
brownien partant dun point du nouveau domaine et arrt linstant o il touche le bord de
ce domaine. On ne peut donc distinguer limage des courbes browniennes par transformations
conformes des courbes browniennes.
126
Largument de Lvy consiste promouvoir les invariances globales par rotation et dilatation
en une invariance locale (donc en une invariance conforme) en utilisant les proprits de localit
du mouvement brownien. Ce principe a un domaine de validit qui stend au-del de ltude des
courbes browniennes. Considrons une trajectoire brownienne arrte un instant T . Divisons
lintervalle de temps [0, T ] en un grand nombre N dintervalles, 0 = t0 < t1 < < tN = T , et
dcomposons la trajectoire en la somme des incrments pendant les intervalles de temps [tj , tj+1 ],
Xt X0 = (Xt1 Xt0 ) + (Xt2 Xt1 ) + + (Xt Xti ),
pour t [ti , ti+1 ]. Les incrments Xtj+1 Xtj sont indpendants les uns des autres et statistiquement distribus comme Xtj+1 tj . Cette dcomposition signifie que lon peut reconstruire les
courbes browniennes en concatnant les incrments.
Transformons maintenant chacun de ces incrments par une rotation Rj et une dilatation de
facteur j , qui peuvent varier dun incrment lautre, pour obtenir,
(Xtj+1 Xtj ) j Rj (Xtj+1 Xtj ) en
loi
X2 (tj+1 tj )
j
o dans la dernire quivalence nous avons utilis les invariances globales de la statistique du
mouvement brownien. Ainsi, aprs concatnation des incrments ayant subis une rotation et une
dilatation, nous obtenons des courbes ayant la mme statistique que les courbes browniennes
mais avec une paramtrisation temporelle diffrente (car les incrments temporels tj+1 tj ont
t transforms en 2j (tj+1 tj )). On peut appliquer une transformation conforme quelconque aux
courbes browniennes en prenant naivement une limite o la discrtrisation est de plus en plus fine.
Cet argument, qui pourrait tre rendu rigoureux, indique que limage dune courbe brownienne
par transformation conforme est une courbe brownienne reparamtrisation temporelle prs.
Linvariance conforme des courbes browniennes est lorigine de nombreuses de leurs proprits
particulires.
Pour conclure, notons que cette proprit repose sur le principe suivant :
"invariance globale sous les dilatations et les rotations plus localit implique invariance sous les
dilatations et les rotations locales, i.e. sous les transformations conformes."
Un principe qui sapplique dautres (nombreux) systmes physiques.
Systmes critiques bidimensionnels :
Un grand nombre de systmes physiques sont invariants conformes, en particulier tous les modles de physique statistique bidimensionnels ayant une transition de phase du second ordre. Le
prototype de ces systmes est le modle dIsing, un modle de magntisme, qui dcrit le comportement thermodynamique dune large collection de petits moments magntiques, alias des spins,
en interaction. Plus prcisement, soit a = a2 Z2 un rseau plan carr de maille a2 . Sur chacun
des sites de ce rseau on dispose une variable de spin si , i a , prenant deux valeurs si = 1.
Une configuration est la donne des valeurs des spins si en tout point i du rseau. Lnergie dune
configuration dcrit linteraction entre les spins voisins, elle est donne par la formule
E[s] = J
si sj h
<ij>
si
i
o la somme porte sur toutes les paires de spins situs en des sites i, j voisins sur le rseau.
La constante J > 0 mesure la force de linteraction et h est un champ magntique externe. La
127
statistique est spcifie par les rgles de Boltzmann : la probabilit dobserver une configuration
s est proportionnelle eE[s]/T o T est la temprature. Comme J est positive, les configurations
o les spins sont aligns, i.e. o ils prennent les mmes valeurs, sont les plus probables faible
temprature.
Le modle dIsing prsente une transition de phase (en champ nul h = 0) une certaine
temprature Tc , appele temprature critique.
A forte temprature, T > Tc , le systme est dans une phase dsordonne dans laquelle les valeurs des spins varient rapidement et
alatoirement de site en site. Par exemple, temperature infinie,
i.e. T
J, les spins en des sites diffrents sont des variables binaires alatoires indpendantes. A T > Tc , la rponse du systme
un faible champ magntique est linaire : la magntisation moyenne
= E[si ] est linaire dans le champ et,
M
(h)/h|h=0 ,
(T ) M
la susceptibilit magntique, est finie.
128
par dilatation globale. En appliquant le "dogme", que nous avons rencontr dans le cas du
mouvement brownien, "invariance globale plus localit implique invariance conforme", on peut
conjecturer que ces systmes sont invariants conformes. Cette conjecture est vraie (et mme
prouve rigoureusement dans certains cas).
Linvariance conforme des systmes critiques bidimensionnels a dimportantes consquences.
Elle permet de controler la limite continue de ces modles, (i.e. la limite de grande chelle, ou
alternativement, celle o la maille du rseau tend vers zro), de dterminer les corrlations entre
les degrs de libert locaux dans la limite continue, de dterminer les exposants anormaux, etc.
Une classification (partielle) des points critiques bidimensionnels a aussi t obtenue.
129
Quelles sont les excitations de basse nergie de ce systme ? Elles sobtiennent en rajoutant,
ou en enlevant, un lectron un niveau dnergie proche du niveau de Fermi. On appelle ces
excitations des excitations particules/trous : les particules correspondent rajouter un lectron,
les trous en enlever un. Puisque ces excitations sont faites au voisinage de lnergie de Fermi
EF , on peut estimer leur nergie en linarisant le spectre au voisinage de limpulsion de Fermi
kF (1) :
(k) EF
vF (k kF )
(k)
k |k=kF
o vF =
est appele vitesse de Fermi. Autrement dit, lnergie relative (k) (k)EF
des excitations de basse nergie est linaire dans limpulsion relative p k kF , soit (p) vF p.
Il sagit dune relation de dispersion "relativiste" lnergie est proportionnelle limpulsion
analogue celle dun photon avec vF jouant un rle analogue la vitesse de la lumire.
La relation (p)
vF p est indpendante des dtails du spectre dnergie (k) car elle est obtenue par linarisation. La seule dpendance est via la vitesse de Fermi vF . Les excitations de
basse nergie auront ainsi un comportement "universel" indpendant des dtails de lhamiltonien
microscopique.
La relation de dispersion relativiste ne fait intervenir aucune chelle de masse, ni aucune chelle
de longueur. La physique de basse nergie du gaz dlectrons sera donc invariante par dilatation
car il nexiste aucune chelle de longueur caractristique.
Suivant le "dogme" que nous avons rencontr dans ltude des courbes browniennes ou des systmes critiques, la prsence de linvariance par dilatation globale et les proprits de localit de la
physique lectronique suggrent une invariance conforme de la physique de basse nergie. Cette
suggestion est en fait vraie : ces systmes quantiques sont invariants conformes. Les transformations conformes agissent sur les points de lespace-temps bidimensionnel dont les coordonnes
sont constitues de la coordonne spatiale et du temps. Suivant les rgles de la mcanique quantique, les gnrateurs des transformations conformes infinitsimales n sont reprsents par des
oprateurs Ln qui agissent sur lespace de Hilbert des excitations de basse nergie (form des
tats excits particules/trous). Comme le systme est dfini sur un cercle, les Ln peuvent aussi
sinterprter comme reprsentant laction de Diff S1 . Ces oprateurs, qui peuvent scrire explicitement laide doprateurs crant ou annihilant des particules/trous, satisfont les relations de
commutations suivantes,
c
[Ln , Lm ] = (n m)Ln+m + n(n2 1)n+m,0
12
o c est un nombre, i.e. il commute avec les oprateurs Ln . Ces relations dfinissent une algbre
de Lie, appele algbre de Virasoro. En comparant avec lalgbre de Witt (VIII.1.3), dont les
relations de commutations,
[ n,
m]
= (n m)
n+m ,
sont satisfaites par les gnrateurs des transformations conformes, ou de Diff S1 , on voit que lalgbre de Virasoro est une extension (centrale) de lalgbre des transformations conformes. Ainsi
les transformations conformes, ou les diffomorphismes de S1 , sont reprsentes projectivement
sur lespace de Hilbert. (Un thme qui peut faire lobjet dun travail personnel !).
1. Une discussion analogue sapplique pour des impulsions voisines de kF .
130
1 h
,
n e2
n entier,
n = 1, 2, 3,
o h est la constant de Planck et e la charge de llectron. La quantit h/e2 est le quanta universel
de rsistance. Cette mesure est la mesure la plus prcise ( ce jour) de h/e2
25812, 8 Ohms.
Voir Figure (1).
Cet effet est (bien entendu) une consquence du comportement quantique des lectrons soumis
un fort champ magntique. Rappelons que lhamiltonien gouvernant la dynamique dun lectron
131
Pour un gaz dlectrons temprature nulle, on remplit les niveaux dnergie les plus faibles
en accord avec le principe de Pauli (un seul lectron par niveau, si on nglige le spin) jusqu
une nergie appele nergie de Fermi. La quantification de la rsistance Hall se produit lorsque
lnergie de Fermi est entre deux bandes de Landau . Si n bandes de Landau sont remplies, la
densit lectronique par unit de surface est n = neB/h et, en appliquant la formule classique
pour RH , on trouve en effet une rsistance Hall RH = h/ne2 quantifie.
La ralit physique est un peu plus complique. La quantification de la rsistance Hall est
observable lorsque lon varie le champ magntique. La prsence de plateaux sur lesquels RH est
quantifie indique que lnergie de Fermi est bloque entre deux bandes de Landau lorsque le
champ magntique varie. Ce bloquage est assur par lexistence dtats lectroniques aux bords
des bandes de Landau dont les fonctions donde sont localises et qui ne participent donc pas
la conduction lectronique. Ces tats localiss servent de rservoir dtats permettant lnergie
de Fermi de rester bloque entre les niveaux de Landau.
Linvariance conforme se manisfeste lorsque lon observe les excitations de basse nergie.
Quelles sont ces excitations ? Pour rpondre cette question il faut considrer un systme de
taille finie. Supposons que lchantillon soit rectangulaire de taille Lx Ly avec Ly
Lx , le
courant se propageant selon la grande (infinie) direction Ly . En choisissant Ax = 0 et Ay = Bx
132
133
E[n, n
] =
j>0
n
j j
j<0
nj
Q[n, n
] =
j>0
n
j
j<0
Par dfinition, la fonction de partition (grande canonique) est la somme sur toutes les configurations Z = [n,n] exp(E[n, n
] Q[n, n
]). Elle se factorise en produits :
Z=
(1 + ej )
j>0
(1 + ej + ) =
j<0
(1 + x2j+1 y)
j>0
(1 + x2j+1 y 1 )
j>0
134
tats, avec q particules ou q trous adjacents la mer de Fermi-Dirac, forment aussi des mers de
Fermi-Dirac mais dcales par rapport la mer de Fermi-Dirac originelle ; ils ont mme nergie
mais une charge oppose. Les autres tats sont obtenus en excitant des paires particule/trous
neutres, cest--dire en transformant des particules de ces mers de Fermi-Dirac charges en trous
et en dplaant les particules ainsi obtenues sur des niveaux dnergie plus leve. Il est clair que
lon obtient de cette faon tous les tats excits.
11
00
00
11
00
11
00
11
k1
k2
11
00
00
11
k3
1
0
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
m1 = kl , m2 = kl + kl1 , ,
ml = kl + + k2 + k1
Dans la figure ci-contre, k1 = 0, k2 = 1, k3 = 3, k4 = 0, k5 = 2
et k6 = 1.
11
00
00
11
00
11
00
11
00
11
11
00
00
11
k4
k5
k6
11
00
00
11
00
11
00
11
00
11
00
11
00
11
00
11
00
11
00
11
Comme lcart dnergie entre deux niveaux est 2, lnergie dune configuration de charge q
est
E[q, k] = 2 q 2 +
2 mj = 2 q 2 +
2 j kj .
j
Cette nergie coincide avec celle dune collection de bosons, chacun dnergie 2 j, avec j entier.
Il ny a pas de restriction sur les nombres doccupation bosoniques kj . La fonction de partition
(grande canonique), Z = [q,k] exp(E[q, k] q), scrit alors
e2 q
Z=
qZ
2 q
e2
k
j1
jkj
xq y q
=
qZ
j1
1
1 x2j
135
(1 + x2j+1 y 1 ) =
j<0
xq y q
qZ
j1
1
1 x2j
Qn (t) sin(nx)
(x, t) = 2
n>0
136
h = p2 /2 + 2 q 2 . Par quantification, q =
1 (a
2
+ a ), p = i
2 (a
a ), et h = (aa + 1/2),
= (y), car les modes de vibrations sont rfchis aux extrmits. Ainsi :
1
i
n ein(xt) ,
(x t) =
2
n
n=0
o n = nan et n =
traduisent en
Ltat de vide satisfait n |0 = 0 pour n > 0. Le champ est appel composante chirale du
champ .
VIII.4.2. Invariance conforme et algbre de Virasoro. Lquation donde (t2 x2 ) =
0 est lquation de Klein-Gordon pour une particule de masse nulle. Elle nimplique pas dchelle
de masse ou de longueur. Daprs le dogme dj invoqu dans ltude des systmes critiques ou
lectroniques, on sattend ce que la thorie soit invariante sous les dilatations, et par localit,
invariante sous les transformations conformes.
Fixons le temps t = 0. Le champ (x, 0) est dfini sur lintervalle [0, ] mais la composante
chirale (x) est dfinie sur [0, 2] avec des conditions aux limites priodiques, donc sur le cercle S1 .
Si les diffomorphismes de S1 agissent sur la thorie, ils agissent sur le champ par lintermdiaire
des champs vectoriels n einx x via
(x) (x) + (
)(x),
137
On rappelle que les n sont les gnrateurs infinitsimaux de Diff(S1 ) et quils satisfont aux
relations de commutation [ n , m ] = (n m) n+m de lalgbre de Witt.
On peut promouvoir les transformations infinitsimales de Diff(S1 ) en des transformations
conformes infinitsimales en posant z = ei(xt) de sorte que le champ est fonction de z :
1
1
(z) =
n z n .
2i
n
n=0
)(z)
L0 =
n n
n>0
(VIII.4.2)
Ln =
1
2
k n+k
k=0
n>0 nan an de la collection des oscillateurs harmoniques associs chacun des modes, car
138
Figure 4. Exemple de surface de Riemann induite par lvolution de deux cordes fermes en interaction.
Lors de son volution, une corde dcrit une surface. Les cordes interagissent entre elles en
se joignant ou en se dtachant. En consquence, il peut y avoir des "trous" ou des "poignes"
dans ces surfaces mathmatiquement, on dit que la surface est une surface de Riemann de
genre lev. Voir Figure (4). Dcrire la dynamique quantique des cordes consiste dfinir les
amplitudes de probabilit associes chacune des surfaces parcourues par les cordes lors de
leurs volutions et de leurs interactions. Ces surfaces peuvent tre localement paramtrises par
des coordonnes complexes (z, z). Afin que la dynamique des cordes soit intrinsque, on impose
que les amplitudes de probabilit soient indpendantes, autant que faire se peut, du choix de la
mtrique sur la surface, i.e. quelles soient invariantes sous les transformations conformes sur la
surface. Ainsi, la dynamique des cordes est dcrite par les fluctuations quantiques des surfaces
quelles parcourent et ces fluctuations sont invariantes conformes. La suite de la thorie des cordes
est un peu plus complique...
CHAPITRE IX
OSCILLATEURS HARMONIQUES ET REPRSENTATIONS
DU GROUPE DE HEISENBERG
The steady progress of physics requires for its theoretical formulation a mathematics which get continually more advanced.
This is only natural and to be expected. What however was
not expected by the scientific workers of the last century was
the particular form that the line of advancement of mathematics would take, namely it was expected that mathematics
would get more and more complicated, but would rest on a
permanent basis of axioms and definitions, while actually the
modern physical developments have required a mathematics
that continually shifts its foundation and gets more abstract.
Non-euclidean geometry and noncommutative algebra, which
were at one time were considered to be purely fictions of the
mind and pastimes of logical thinkers, have now been found
to be very necessary for the description of general facts of the
Figure 1. Paul Dirac
physical world. It seems likely that this process of increasing
abstraction will continue in the future and the advance in physics is to be associated with continual modification and generalisation of the axioms at the base of mathematics rather than
with a logical development of any one mathematical scheme
on a fixed foundation (Paul Dirac).
The universe is an enormous direct product of representations of symmetry groups. (attribu Hermann
Weyl).
140
IX.1. Introduction
IX.1.1. Introduction. Le but de cette sance est de montrer les liens entre oscillateurs harmoniques et reprsentations du groupe de Heisenberg. On montre les difficults mathmatiques
qui se posent dans la mesure o la reprsentation de Schrdinger fait apparatre des oprateurs
non borns, i.e. non partout dfinis. On explique pourquoi les points de vue de Heisenberg et de
Schrdinger sont quivalents et enfin on introduit lalgbre de Heisenberg de dimension infinie,
algbre des symtries dune infinit doscillateurs et laction correspondante de lalgbre de Virasoro, fentre vers la thorie des cordes qui sera bauche au cours suivant. On voit apparatre
un phnomne trs courant en thorie des champs, lapparition de grandeurs infinies dans les
calculs, qui ncessite une renormalisation .
IX.1.2. Loscillateur harmonique un degr de libert. Physiquement, on a une
masse m de quantit de mouvement p dans un potentiel quadratique 12 m 2 x2 o x est la position.
On a donc deux variables quantiques normalises, limpulsion p (quantifiant mp ) et la position
q (quantifiant
x
). Lnergie (lhamiltonien) est ( un facteur
1
2
prs) gal
H = p2 + q 2 .
= 1 (rappelons que est homogne
On choisit lunit de longueur de sorte que de plus h
m2 kgs3 ). En mcanique quantique (cf. cours de tronc commun), p, q sont des observables,
savoir des oprateurs auto-adjoints agissant sur un espace de Hilbert (sparable) complexe H.
(IX.1.1)
[p, q] = i et = i[H, ]
141
a pas lieu de stonner que le crochet [p, q] = [ip, iq] soit loprateur anti-hermitien i et non un
oprateur hermitien.
(ix)n
n! , x
(IX.1.2)
o (g1 , g2 ) = g1 g2 g11 g21 dsigne le commutateur de deux lments g1 , g2 dun groupe (ici U(H)).
0 t x t y 2z
0 0 0 x
n
M (x, y, z) =
0 0 0 y avec x, y R , z R
0 0 0 0
142
avec
1
exp(M (x, y, z)) exp(M (x , y , z )) = exp(M (x + x , y + y , z + z + (x, y, x , y )))
2
o (x, y, x , y ) = t xy t yx . Lalgbre de Lie hn de Hn est
R2n+1 = R.E RPi RQi
avec
Pi = M (ei , 0, 0), Qi = M (0, ei , 0), E = M (0, 0, 1).
(IX.2.1)
(IX.2.2)
exp(xPi )
=
exp(yQj ). exp(zE)
exp((x + x )Pi )
exp(x Pi )
exp(y Qj ). exp(z E)
1
exp((y + y )Qj ) exp((z + z + (x, y, x , y )E)
2
143
(IX.2.3)
H1
/ u(H)
expU(H)
/ U(H)
(IX.2.4)
f (t)g(t)dt et p = i
R
d
,q = t
dt
144
Cest lunique ( une phase prs) vecteur de vide unitaire, savoir annul par loprateur
d
dannihilation a = 12 (t + dt
).
Mais on peut aussi considrer F lespace des fonctions holomorphes entires (cest--dire dfinies et dveloppables en sries entires sur tout le plan complexe de variable z = x+iy, x, y R),
muni du produit hermitien
(f, g) =
(exercice : vrifier que lespace de Fock F est bien un Hilbert). On pose alors
d
dz
dont ladjoint a est loprateur z de multiplication par z dfinissant une reprsentation F dite
de Fock daprs le paragraphe prcdent.
a=
Dans cette reprsentation, le vecteur de vide |0 = 1/ est lunique ( une phase prs)
tat de plus basse nergie H = 1 + 2a a.
Ces deux reprsentations semblent trs diffrentes. Il nen est rien, et, comme on le verra plus
bas (Thm. IX.3.5), ce nest pas un hasard. Pour linstant, contentons-nous de lnonc suivant.
145
f (z) exp(
C
t2
z2
+ t
z )dxdy
2
2
(t) exp(
R
t2
z2
+ tz 2 )dt.
2
2
146
(IX.2.5)
Mais dans lexemple de Schrdinger, u nest pas dfini... On va plutt partir de lquation diffrentielle et caractriser lexponentielle exp(ixu) comme tant lunique solution de
f (x) = iuf (x),
f (0) = Id
f (x, t)
f (x, t)
=
,
x
t
f (0, t) = f0
autrement dit
exp(ixp)(f0 (t)) = f0 (t + x)
qui est un lment bien dfini de U(H) au contraire de p lui-mme ! De mme, pour calculer
exp(ixq)(f0 ), f0 L2 , on doit rsoudre
f (x, t)
= itf (x, t),
x
f (0, t) = f0
147
autrement dit
exp(ixq)(f0 ) = exp(ixt)f0
et l encore est un lment bien dfini de exp(iq) U(H) au contraire de q. Un calcul direct
donne
(exp(ixp), exp(iyq)) = exp(ixy)
de sorte quon a bien dfini une reprsentation unitaire
S : H1 U(H)
grce (IX.2.2).
Exercice IX.2.4. Montrer que la reprsentation de Fock sintgre en une reprsentation
unitaire H1 U(F) quon explicitera.
Lexemple prcdent suggre que le passage lexponentielle amliore la situation. Cette
constatation na absolument rien dexceptionnel.
dom(u )
H
y
u (y)
On a donc la formule
pour tout x dom(u), y dom(u ), u(x), y = x, u (y) .
148
f (0) = Id.
Inversement, si u est autoadjoint, il existe une unique groupe un paramtre continu R U(H)
not x exp(ixu) unique solution sur dom(u) de (*).
|xn |2 <
ce qui montre que exp(iu) est bien dfini et continu sur tout H (et solution de lquation diffrentielle sur le domaine de u). La preuve dans le cas gnral est tout fait abordable et jolie,
mais est un peu longue : on renvoie en appendice (IX.6) pour plus de dtails.
Exercice IX.3.3. Soit H = L2 ([0, 1], C) et u loprateur non born dfini par
dom(u) = {f H continue |f H} et u(f ) = if .
Montrer que u est symtrique mais pas autoadjoint. En revanche, montrer que loprateur non
born dfini par
dom(v) = {f H continue |f H, f (0) = f (1)} et v(f ) = if
est autoadjoint.
3. Au sens o pour tout v H, lapplication t u(t).v est continue.
3. En fait, on montre que dom(u) est lensemble des v H tels que t u(t)v est drivable.
149
150
Bien entendu, lorsquon a n degr de liberts, on dfinit lespace de Schrdinger par L2 (Rn , dt)
et la reprsentation est dfinie coordonne par coordonne par
(exp(ixPi ))(f (t)) = exp(ixti )f (t), (exp(ixQi ))(f (t)) = f (t + xei )
o ek est la base canonique de Rn .
La description de Fock est analogue : on regarde lespace des fonctions holomorphes sur Cn
muni de la mesure nk=1 1 dxk dyk et on pose ak = zk de sorte que ak f (z) = zk f (z).
Le cas = 0 est le cas de la mcanique classique qui correspond une reprsentation de R2n
vu comme le quotient de Hn par son centre qui est de dimension 1 et pas trs intressante de ce
point de vue.
Thorme IX.3.5 (von Neumann, 1931). Pour tout = 0, la reprsentation de Schrdinger du groupe Hn dans lespace L2 (Rn , dt) est, isomorphisme unitaire prs, lunique
reprsentation unitaire irrductible de niveau .
Il nest pas question de donner la preuve (cf. [10], ou, plus lisible, [2]) ici - bien soit du niveau
de ce cours -.
151
(IX.3.1)
de sorte que E = (1, 0) est une base du centre de hn . Lespace Rn est simplement un lagrangien
L de (sous-espace totalement isotrope maximal) et la reprsentation de Schrdinger : H
U(H) sur H = L2 (L, C) est lunique reprsentation unitaire de niveau 1. Soit alors g Sp(V ),
le groupe symplectique de . Comme g prserve la forme , lapplication (t, e) (t, g(e)) est un
isomorphisme de G prservant le centre de H . On dduit une nouvelle reprsentation de niveau
1
g : H U(H)
dfini par
g (t, e) = (t, g(e)).
152
Par construction, g est irrductible de niveau 1. Le thorme de Stone-von Neumann assure quil
existe un endomorphisme unitaire g bien dfini une phase prs (lemme de Schur) identifiant
et g , i.e. tel que
(IX.3.2)
Comme g1 g2 et g1 g2 sont solutions de (IX.3.2), ils concident une phase prs daprs le
lemme de Schur, donc concident dans U(H)/U1 . On a donc un morphisme de groupes
: Sp(V ) U(H)/U1 ,
ce quon appelle une reprsentation projective du groupe symplectique. Lorsquon a une telle
reprsentation G U(H)/U1 , on construit formellement un autre groupe de Lie
= {(g, u) G U(H) tels que (g) = u mod U1 }.
G
Il est muni dun morphisme surjectif sur G (la premire projection) dont le noyau sidentifie
est une extension centrale de G par U1 . La
U1 et est central par construction. On dira que G
reprsentation induit trivialement une reprsentation unitaire
U(H).
: G
Dans le cas prcdent, Sp(V ) sappelle le groupe mtaplectique et la reprsentation correspondante la reprsentation mtaplectique. On peut prouver que Sp(V ) nest pas un groupe
linaire. Cette construction pour un espace vectoriel rel est due au physicien Shale ([9]) et
a ensuite t considrablement dveloppe par Weil (cf. [11]) qui a notamment dcouvert des
liens avec... la thorie des nombres. En fait, il existe un sous-groupe Sp2 (V ) de Sp(V ) extension
centrale de Sp(V ) par 1 qui donc par restriction joue le mme rle que le groupe mtaplectique
(loc. cit. page 197, ou, plus lisible, [4]).
153
ak z k )z 1n dz) = an
F = C[z1 , , zn , ] SymL+
o L+ est le lagrangien
L+ = z n , n > 0
de h , ce qui est la version algbrique de F = {fonctions entires sur Rn } dans le cas de la
dimension finie (les polynmes sont denses dans F pour la norme L2 ).
En sinspirant de la dimension finie, on pose
(z n ) =
, (z n ) = nzn , n > 0, (E) = 1.
zn
Ces formules dfinissent un morphisme dalgbre de Lie
: h End(F ),
la reprsentation de Fock de h . Notons que le polynme constant |0 = 1 F est un vecteur de
vide, cest--dire est tu par tous les oprateurs dhannihilation (z n ), n > 0. La reprsentation
est de niveau 1, savoir (E) = Id.
Remarque IX.4.1. Le lecteur esthte dcrira cette action indpendamment des coordonnes.
154
Cette situation algbrique (4) est en tout point analogue ce qui prcde.
Proposition IX.4.2. La reprsentation de Fock de h est irrductible, engendre par le vecteur de vide |0 comme h -module. Le lemme de Schur est valable dans cette situation. De plus
(forme faible de Stone-von Neumann), toute reprsentation irrductible de h engendre par un
vecteur de vide (annul par les z k , k > 0) et de niveau 1 est isomorphe la reprsentation de
Fock.
Dmonstration. Soit P = P [z1 , , zn ] F non nul contenu dans un espace stable S. Par
applications successives de (z n ), on peut supposer que P na pas de terme faisant apparatre
zn . Par rcurrence sur n, on peut supposer que P est une constante non nulle. Mais alors par
application successive de (z k , k > 0), on obtient que tous les monmes sont dans S et donc
S = F .
Le mme argument prouve que |0 engendre.
Comme
k>0 ker((z k )) = C|0 ,
un morphisme f de F commutant prserve C|0 : soit C tel que f (|0 ) = |0 . Alors,
Ker(f ) est stable par h et non nul, cest donc F , ce quon voulait.
Si maintenant F est irrductible engendre par |0 >, on dfinit
f (P (z1 , , zn )) = f (P ((z 1 ), , (z n ))|0 )) = P ( (z 1 ), , (z n )|0 > .
On vrifie que f commute laction de h . Comme f est non nulle, son noyau est, qui est invariant
par h , est nul (irrductibilit de F). De mme, son image est F par irrductibilit.
IX.4.2. Action de C . Si on change z en 1 z, C , le coefficient de z 1 dz reste
inchang et donc le rsidu de P (z)dz lest aussi. On dduit que laction induite sur V = C[z 1 ]
prserve et donc induit une transformation symplectique de V .
On dduit comme dans la section prcdente une action de C sur h et donc pour tout C
une nouvelle reprsentation dfinie par
(P (z)).v = (P (1 z)).v, P (z) C[z ], v F .
Comme C[z] est prserv, |0 est encore un vecteur de vide pour et la reprsentation est
encore de niveau 1. Grce (IX.4.2), on dduit comme plus haut lexistence dun automorphisme
: F F,
a priori seulement bien dfini un scalaire prs, identifiant et , cest--dire vrifiant
(IX.4.1)
4. Si on veut vraiment une situation daction sur un Hilbert, il faut un peu complter. Cest technique et
napporte pas grand-chose pour comprendre. Le lecteur intress pourra aller consulter le trs beau livre [6].
155
Comme doit envoyer |0 sur un de ses multiples, on peut normaliser en lui imposant
(|0 ) = |0 .
Dans ces conditions, on a donc une reprsentation C GL(F) dfinie par . La
formule (IX.4.1) et le fait que |0 engendre F comme h module prouve que pour tout v, on
peut crire (v) comme un polynme en les zi coefficients dans C[]. Comme est polynomial
en , on a au niveau des algbres de Lie une flche
C End(F)
dfinie par limage L0 de 1 obtenue en crivant = 1+ et en regardant lordre 1 en . crivons
donc
1+ = 1 + L0 + O( )
et remplaons dans (IX.4.1). On trouve alors
(1 + L0 )(P (z).v) = (P (z) z
dP
).(1 + L0 )(v) + O( )
dz
et donc
L0 (P (z).v) = P (z).L0 (v) z
dP
.v.
dz
Ainsi, L0 vrifie
(IX.4.2)
[L0 , (P )] = (z
dP
), P (z) C[z ].
dz
156
P (z) =
n>N
n1 an z
n, a
1
Dmonstration. Si P C[[z]], les deux membres de (*) sont nuls. Par linarit, il suffit de le
vrifier pour P = z m , m < 0. Si m < 1, on a
1
h(z)m h (z)dz =
dh(z)m+1
m+1
de rsidu nul de sorte que les deux membres de (*) sont nuls. Si m = 1, on a
h(z)m h (z)dz =
1 + O(z)
1
+ O(z)
=
= + O(1)
2
2
z + O(z )
z + O(z )
z
h(z) =
n1
supposes convergentes (5) pour simplifier, penses comme des applications holomorphes dfinies
au voisinage de zro et C prservant lorigine. Le thorme dinversion locale assure lexistence
pour tout h dans dune srie convergente
h1 (z)
tel que
h(h1 (z)) = h1 (h(z)) = z
au voisinage de lorigine, et donc avec lgalit correspondante des sries.
Laction de sur C((z))
P P (h1 (z))
5. cest--dire de rayon de convergence non nul.
157
GL(F )
h h
On peut montrer que, dans un sens convenable, lalgbre de Lie L+ de sidentifie lalgbre
d
des champs de vecteurs holomorphes coefficients polynomiaux de base dn = z n+1 dz
,n 0
avec comme crochet celui des champs des vecteurs, savoir
[dn , dm ]0 = (n m)dn+m
de sorte quon doit avoir un morphisme dalgbre de Lie
d : L+ End(F ).
Pour viter trop dabstraction inutile, voyons comment faire apparatre les endomorphismes
Ln , n 0
images de dn par d. On regarde pour n 0 llment
h1 (z) = z z n+1
(si n = 0 on suppose = 1, ce qui naura pas dinfluence car on va dvelopper formellement en
, cest--dire si on veut petit). En regardant lordre 1 la relation (IX.4.3) aprs avoir crit
h = 1 + Ln ,
on trouve exactement comme plus haut la relation
Ln (P (z).v) = P (z).L0 (v) z n+1
dP
.v
dz
cest--dire
(IX.4.4)
Remarque IX.4.4. La formule (IX.4.4) caractrise Ln puisquelle traduit la relation dentrelacement (IX.4.3).
6. On est contraint de prendre linverse de h pour avoir une action gauche.
158
Comme est un morphisme de groupes, d doit tre un morphisme dalgbre de Lie, cest-dire quon doit avoir
[Ln , Lm ] = (n m)Ln+m pour tout n, m 0
(IX.4.5)
an = (z n ), n Z et a0 = 0
(dans ce qui suit, on aurait pu supposer a0 gal nimporte quel homotthie) de sorte quon a
[am , an ] = mm,n
puisque est de niveau 1.
Avec ces notations, (IX.4.4) devient
[am , Ln ] = man+m .
(IX.5.1)
On pose
: ai aj :=
ai aj si i j
aj ai sinon.
1
2
: aj aj+n :.
qui elle a un nombre infini de termes non nuls lorsquon cherche lvaluer sur un lment de
F . La remarque est que la diffrence
: ai aj : ai aj
est soit nul soit gal [ai , aj ] et donc est toujours central. Ainsi, on a formellement
Ln = n + N Id
159
ci
I
de constantes ci . videmment, ceci ne veut rien dire, sauf si on calcule un crochet [a, Ln ] puisqualors on a
[a,
ci Id] =
ci [a, Id] =
0=0
I
de sorte quon a
[a, Ln ] =
1
2
Et ce raisonnement est en fait... parfaitement correct mme si expliqu de faon un peu provocatrice. On a donc
1
[ak , Ln ] =
[ak , aj aj+n ]
2
j
1
2
[ak , aj ]aj+n +
j
1
2
aj [ak , aj+n ]
j
1
1
kak+n + kak+n
=
2
2
= kak+n
ce quon voulait.
Comme on voit, la preuve nest pas difficile. Cest trouver la formule qui tait aussi difficile
quinattendu. Outre la possibilit de calculer les Ln apparat un autre phnomne : les calculs
nutilisent pas la positivit de n.
Dfinition IX.5.2. Pour tout n Z, on dfinit lendomorphisme de Ln de F par
1
Ln =
: aj aj+n : .
2
j
m3 m
c.
12
160
m3 m
Id
12
Vir End(F )
d
Ln
n
c
Id
est un morphisme dalgbre de Lie.
Dmonstration. On utilise la mme astuce pour se dbarrasser de lordre normal (pourtant
indispensable pour dfinir les Ln sans sommer une infinit de termes non nuls !). On crit dabord,
avec la convention dcriture que les sommes en jeu sont des sommes finies une fois values sur
v F donn, lensemble dindice tant aussi grand quon veut dans Z.
(IX.5.3)
(IX.5.4)
(IX.5.5)
[Lm , Ln ] =
=
=
1
2
1
2
1
2
[aj aj+m , Ln ]
j
aj [aj+m , Ln ] +
j
1
2
[aj , Ln ]aj+m
j
(j + m)aj aj+m+n
j
1
2
jaj+n aj+m
j
On va remettre dans lordre normal. Dans la premire somme, on spare les indices j tels que
161
1)j j + m + n pour lesquels lordre est lordre normal des indices j tels que
2)j > j + m + n. Pour ceux l, on observe que aj et aj+m+n commutent sauf si m + n = 0
de sorte quon a
aj aj+m+n =: aj aj+m+n : +n,m [aj , aj+m+n ] =: aj aj+m+n : jn,m .
Mais si n + m est nul, j < 0 de sorte quon a
1
2
(j + m)aj aj+m+n =
j
1
2
(j + m) : aj aj+m+n :
j
1
2
j(j + m)n,m .
j<0
jaj+n aj+m =
j
1
2
j : aj+n aj+m :
j
1
2
j(j + m)n,m
jm
o lon rappelle que les sommes sont finies, mais sommes sur un intervalle de Z aussi grand
quon veut.
En additionnant et en changeant dindice j j + n dans la seconde somme, on obtient
[Lm, Ln ] = (m n)Lm+n
On calcule alors 21
1
j<m j(j
1
2
j(j + m)n,m .
j<m
Le lecteur intress par ce sujet, notamment pour le lien entre cette thorie et la correspondance
bosons-fermions, pourra consulter [3], rfrence de laquelle les derniers prsents calculs sont
essentiellement issus.
IX.5.3. Remarques finales. On pourrait penser que laction de la partie ngative de Vir
engendre par les dn , n 0 devrait sobtenir aussi simplement que celle de la partie positive,
simplement en changeant z en z 1 . Cest plus compliqu que cela, car cette opration ne prserve
pas C[z] et donc on na plus prservation du vecteur de vide. On pourrait obtenir une reprsentation de cette manire, mais il faudrait montrer quon a encore un vecteur de vide pour laction
tordue, ce qui est lourd. Cest pourquoi lon a procd de cette manire.
Par ailleurs, comme on le voit, ce nest pas L qui agit, mais Vir, savoir une extension centrale
avec action scalaire du centre. Autrement dit, on a une action projective de L : cest une situation
en tout point analogue la situation mtaplectique.
3
On peut se demander si ltrange facteur central m 12m m,n a une proprit particulire,
autrement dit sil y a dautres extensions centrales non triviales de L par C. En fait, il ny en a
essentiellement quune (voir [3, 1.3]).
162
IX.6. Appendice
On veut donner ici quelques dtails de plus sur la dfinition de exp(itu) dans le cas autoadjoint. La clef est dapproximer u par des oprateurs continus auto-adjoints, qui donc eux ont
une exponentielle simplement dfinie par la srie entire habituelle, puis de passer la limite.
Il nest pas question de donner la preuve dans son intgralit, qui est assez longue quoique
lmentaire, mais de donner les ides clefs.
Soit donc u auto-adjoint.
Lemme IX.6.1. Soit C R. Alors u + est une bijection de D sur H. Son inverse
(u + )1 est continu de norme 1/| ().
Dmonstration. Comme (u(x), x) = (x, u(x)) = (u(x), x), on a (u(x), x) R. On dduit que
ses valeurs propres sont relles et donc u + est injectif. Montrons la surjectivit.
On a donc
(IX.6.1)
x, u(y) + (y)
= 0 pour tout x dom(u)
par densit de dom(u). Comme les valeurs propres de u sont relles, y est nul
et donc u(y) = y
R de sorte que u + est bijectif. Ainsi, I = H puisque dense et ferm. Lingalit
puisque
(IX.6.1) se rcrit en posant x = (u + )1 (y)
||(u + )1 (y)||
||y||
| ()|
(1 + i u)1 1
.
i
163
IX.6. APPENDICE
0 u
On montre alors que les exponentielles usuelles exp(itu )(v) convergent pour tout v H vers un
vecteur not exp(itu)(v) qui a les bonnes proprits. Pour les (longues) vrifications, adapter [1,
VII.7].
BIBLIOGRAPHIE