Vous êtes sur la page 1sur 106

C OURS PHY1221

ORIE THE

DES

G ROUPES

P HILIPPE RUELLE

PARTEMENT DE P HYSIQUE DE CATHOLIQUE DE L OUVAIN U NIVERSIT E

E A NN E

MIQUE ACAD E

20082009

Contents
1. D enitions et exemples 2. Notions et propri et es fondamentales Produits direct et semi-direct . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Classes de conjugaison . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Sous-groupes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Groupes simples et r esolubles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Les groupes de permutations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3. Repr esentations: g en eralit es 4. Repr esentations des groupes nis 1 6 6 7 7 8 8 14 21

Lemme de Schur . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22 Relations dorthogonalit e . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23 Cons equences . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27 Le groupe S4 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29

Action dun groupe sur un ensemble: points xes et orbites . . . . . . . . . . . . . . . . 31 Indicateur de Frobenius-Schur . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32 5. Produits tensoriels 36

G en eralit es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36 Application aux repr esentations dun groupe . . . . . . . . . . . . . . . . . . . . . . . . 39 Repr esentations complexes, r eelles et pseudo-r eelles . . . . . . . . . . . . . . . . . . . . 42 6. Exploiter les sym etries 7. Repr esentations des groupes de permutations 8. Groupes et alg` ebres de Lie 45 53 62

Le groupe ab elien SO(2) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 62 Exponentielle et g en erateurs innit esimaux . . . . . . . . . . . . . . . . . . . . . . . . 63 Alg` ebres de Lie . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65 Param etrisations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 68 Exemple 1: le groupe SU(2) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69 i

Exemple 2: le groupe SO(3) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73 La relation entre SU(2) et SO(3) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 74 Exemple 3: le groupe SU(N) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 75 9. Repr esentations de SU(2) et SO(3) 78

Les repr esentations de lalg` ebre su (2) . . . . . . . . . . . . . . . . . . . . . . . . . . . 78 Repr esentations de SU(2) et caract` eres . . . . . . . . . . . . . . . . . . . . . . . . . . . 81 Produits tensoriels . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 83 Les repr esentations de SO(3) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 86 Harmoniques sph eriques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 87 10. Repr esentations des groupes lin eaires: m ethodes tensorielles 90

Repr esentations irr eductibles de GL(N) . . . . . . . . . . . . . . . . . . . . . . . . . . 91 Formule pour les dimensions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 96 Repr esentations irr eductibles de SO(N) . . . . . . . . . . . . . . . . . . . . . . . . . . . 97 Le tenseur de Riemann . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 99

ii

N OTES BIBLIOGRAPHIQUES
Le nombre de livres, manuels, cours et r ef erences relatives a ` la th eorie des groupes est tout simplement immense. La liste qui suit donne une s erie de r ef erences utiles et bien faites, et qui ont toutes plus ou moins inuenc e ce cours, bien que les deux premi` eres laient inspir e davantage que les autres. 1. Howard Georgi, Lie Algebras in Particle Physics, Perseus, dans la s erie Frontiers in Physics, seconde e dition, 1999. 2. Jean-Bernard Zuber, Introduction a eorie des groupes et de leurs repr esentations, cours ` la th donn e au Magist` ere Interuniversitaire de Physique (France), en 1991 (notes revues en 2005). Disponible a ` ladresse http://www-spht.cea.fr/pisp/zuber/cours.shtml. 3. Robert Gilmore, Lie Groups, Physics, and Geometry: An Introduction for Physicists, Engineers, and Chemists, Cambridge University Press. Partiellement disponible (un chapitre sur deux !) sur la page personnelle de lauteur. 4. Brian C. Hall, Lie Groups, Lie Algebras, and Representations An Elementary Introduction, Graduate Text in Mathematics 222, Springer (2003). Une version abr eg ee de cet ouvrage est disponible a ` ladresse http://fr.arxiv.org/pdf/math-ph/0005032. 5. Robert N. Cahn, Semi-simple Lie Algebras and Their Representations, Benjamin, 1984. Egalement disponible a ` http://www-physics.lbl.gov/rncahn/cahn .html. 6. Mark A. Armstrong, Groups and Symmetry, Undergraduate Texts in Mathematics, Springer (1988). 7. James S. Milne, Group theory. Disponible a ` ladresse http://www.jmilne.org/math/. 8. Brian G. Wybourne, Symmetric functions and the symmetric group notes. Disponible a ` ladresse http://www.phys.uni.torun.pl/bgw/. 9. Bertrand Delamotte, Un soupc on de th eorie des groupes: groupe des rotations et groupe de Poincar e. Disponible a ` ladresse http://www.lpthe.jussieu.fr/DEA/. 10. A.J. Coleman, The Symmetric Group Made Easy, Adv. in Quantum Chemistry, vol. 4 (1968) 83. Un superbe condens e de tout ce quil faut savoir sur les groupes de permutations ...

iii

C HAPITRE 1

FINITIONS DE

ET EXEMPLES

Fondamentalement, un groupe est un ensemble d el ements qui se composent. La d enition formelle inclut des conditions dinversibilit e et dassociativit e: un groupe G est un ensemble d el ements muni dune loi de composition (ou de multiplication) telle que (i) la loi de composition est interne: gg G , (ii) il existe un e l ement neutre e tel que ge = eg = g , (iii) chaque e l ement g poss` ede un inverse g 1 tel que gg 1 = g 1 g = e, (iv) la loi de composition est associative: g1 g2 g3 = (g1 g2 )g3 = g1 (g2 g3 ). La loi de composition et les e l ements d enissent univoquement un groupe. Ces deux informations peuvent e tre pr esent ees dans une table de multiplication, qui pr ecise la fac on dont les e l ements se composent: e g1 g2 g3 ... e e g1 g2 g3 ... g1 g1 g1 g1 g1 g2 g1 g3 . . . g2 g2 g2 g1 g2 g2 g2 g3 . . . . . ... ... ... . ... ... La table de multiplication est sym etrique si la loi de composition est commutative: gi g j = g j gi . Dans ce cas, le groupe est dit commutatif ou ab elien. La table de multiplication est dans doute la mani` ere la plus abstraite de pr esenter un groupe, car elle ne fait appel a ` aucune r ealisation/repr esentation concr` ete. Elle permet, en principe du moins, de proc eder a ` la classication des groupes comportant un nombre x e, ni, d el ements (deux groupes sont isomorphes si leurs tables de multiplication sobtiennent lune de lautre par permutations des e l ements). Par contre, sp ecier un groupe en donnant explicitement sa table de multiplication nest certainement pas la mani` ere la plus pratique ni la plus e conomique (imaginons un groupe comportant 2357 e l ements !). On utilisera plut ot des r ealisations concr` etes de groupes (bas ees sur des actions g eom etriques, des substitutions, des matrices dun type particulier), ou alors, pour les groupes discrets, on pr esentera un groupe par g en erateurs et relations. Cette derni` ere reste assez abstraite mais pr esente, dans certaines circonstances, des avantages indiscutables. Venons-en de suite a ` des exemples. Il existe grossi` erement trois cat egories de groupes: les groupes nis (nombre ni d el ements), les groupes discrets innis (nombre inni d enombrable d el ements) et les groupes continus (nombre inni non-d enombrable d el ements; ils d ependent donc de param` etres continus). 1

Commenc ons par les groupes nis, qui sont en quelque sorte les plus simples, et auxquels sera consacr ee la premi` ere partie de ce cours. Le nombre d el ements dun groupe ni sappelle l lordre du groupe. On d enit aussi lordre dun e ement comme lordre du groupe quil g en` ere k par composition avec lui-m eme (cest donc le plus petit entier k tel que g = e). 1. Les plus simples de tous les groupes: les groupes cycliques Zn = {g k : 1 k n , g n = e}, dordre n . Tous les e l ements s ecrivent comme puissances de lun dentre eux, que lon appelle g en erateur du groupe (pas nimporte lequel !). Tous les groupes cycliques sont ab eliens.
` mes Par exemple, les 4 racines 4e de lunit e {+1, 1, +i, i} forment, pour la multiplication, 1 un groupe Z4 . Puisque +i = (+i) , 1 = (+i)2 , i = (+i)3 , 1 = (+i)4 , l el ement +i est g en erateur (i en est un e galement).

k ` mes ) : 1 k n } forment un Plus g en eralement, les racines ne de lunit e {k exp (2i n groupe Zn (pour la multiplication). Clairement la loi de composition s ecrit

k k = e2i k / n e2i k / n = e2i(k +k )/ n = k +k mod n .

(1.1)

La loi multiplicative sur les k devient donc additive sur les indices k , laddition se faisant modulo n (on n eglige, pour calculer le r esultat de laddition, les multiples de n : on les met a ` z ero). Zn peut donc e galement e tre pr esent e comme le groupe additif des entiers modulo n. 2. Les plus utiles et les plus magiques des groupes nis: les groupes de permutations Sn sur n objets (on les appelle aussi les groupes sym etriques). Les permutations d eplacent n objets pour les amener dans un ordre arbitraire, de sorte que lordre de Sn vaut n !. Pour n 3, ils sont non-ab eliens (bien s ur, S2 = Z2 ). Dans S3 par exemple, permuter les objets 1 et 2 et permuter les objets 2 et 3 sont deux op erations qui ne commutent pas. Nous reviendrons plus loin sur leur utilit e et leur magie ... 3. Le groupe de sym etrie dun triangle e quilat eral. Il poss` ede six e l ements: deux rotations (120 et 240 ), trois r eexions (axes coupant le triangle) et l el ement neutre. Il est donc dordre 6, est non-ab elien, et en fait isomorphe a ` S3 (le montrer).

4. Le groupe de sym etrie dun polyg one r egulier a ` n c ot es, g en eralisation du cas triangulaire. pour 1 k n ou Proc edant comme pour le triangle, on trouve n rotations (dangles k 2n 0 k n 1) et n r eexions (pour n pair, les axes passent par deux sommets ou par les milieux de deux c ot es). Le groupe correspondant, appel e groupe di edral et not e Dn , comporte 2n e l ements. Il est non-ab elien. 2

5. Le groupe de sym etrie dun t etra` edre r egulier. Il poss` ede 4 axes de rotations dordre 3 (passant par un sommet et traversant la face oppos ee) et 3 axes de rotations dordre 2 (passant par les milieux de deux c ot es oppos es, boules gris ees), ce qui donne 8 + 3 = 11 rotations non-triviales. Avec l el ement neutre, les sym etries de rotation forment un groupe dordre 12. Sajoutent a ` cela des r eexions par rapport a ` des plans passant par deux sommets et coupant le t etra` edre en deux parties e gales. Prenant une de ces r eexions, on produit 12 nouvelles transformations en la composant avec les 12 rotations d ej` a trouv ees. Il nest pas difcile de voir que les 24 transformations effectuent toutes les permutations des 4 sommets. Le groupe de sym etrie est donc S4 , dordre 24.

Les exemples de groupes discrets innis sont nombreux e galement. 6. Des groupes de nature arithm etique, comme (Z, +), (Q, +), (Q , ) ou lensemble des nombres complexes Q (i) = {p + i q : p , q Q, ( p , q ) = (0, 0)} pour la multiplication. 7. Le groupe S L (2, Z) des matrices 2 2 a ` coefcients dans Z et de d eterminant 1, ou plus g en eralement S L (n , Z) (pourquoi imposer la condition de d eterminant 1 ?).

Pour les groupes discrets, nis ou innis, la pr esentation abstraite la plus compacte et donc la plus e conomique se fait par g en erateurs et relations. Son d esavantage est quil est parfois difcile didentier le groupe en question ... (et m eme de dire si le groupe est ni ou inni !). De plus, de nombreuses pr esentations sont possibles, de sorte quil peut e tre difcile de voir que deux pr esentations diff erentes d enissent en fait le m eme groupe. La pr esentation dun groupe par g en erateurs et relations pr esente n eanmoins de lint er et dans certaines circonstances, et am` ene g en eralement des informations compl ementaires sur le groupe en question. La forme g en erique dune telle pr esentation est G = g en erateurs | relations . (1.2)

Les g en erateurs sont d enot es par des lettres, par exemple a , b, c, ..., et les relations sp ecient les ... relations entre les g en erateurs. Le groupe G est par d enition lensemble de tous les mots in equivalents, e crits dans lalphabet des g en erateurs (et les inverses), e tant entendu que deux mots sont in equivalents sils ne peuvent sobtenir lun de lautre en utilisant exclusivement les relations. Voyons quelques exemples de groupes, d ej` a d ecrits plus haut, mais maintenant pr esent es par g en erateurs et relations. 3

1 . Un seul g en erateur : G = g | g n = e . Les mots s ecrivent avec une seule lettre: les seuls mots sont donc toutes les puissances de g . La relation g n = e permet de ramener tous ces mots a ` lensemble ni {e, g , g 2 , g 3 , ..., g n 1 }, cest-` a-dire le groupe cyclique Zn . 2 . G = 1 , 2 , ..., n 1 | i2 = e ; i j = j i pour |i j | 2 ; i i +1 i = i +1 i i +1 pour 1 i n 1 . Ce nest pas manifeste, et pourtant ce groupe nest autre que le groupe des permutations Sn sur n objets ! On peut sen convaincre en r ealisant i comme la permutation qui e change lobjet i avec lobjet i + 1, et laisse tous les autres objets en place. 4 . G = R , T | R n = T 2 = e; T R = R 1 T . Les g en erateurs R et T e tant dordre ni, on peut se restreindre a ` des mots constitu es de puissances positives de R et T . Par la troisi` eme relation, on peut faire passer toutes les lettres Ta ` gauche des lettres R , de sorte que les seuls mots distincts peuvent s ecrire R , R 2 , ..., R n et T R , T R 2 , ..., T R n , ou encore: T k R avec k = 0, 1 et = 1, ..., n . Le groupe G est donc dordre 2n . On peut v erier que G = Dn , le groupe di edral. 7 . Nettement moins facile: G = T , S | S 4 = e; ST S = T 1 ST 1 . Ce groupe en r ealit e est isomorphe a ` S L (2, Z), ce qui ne saute pas franchement aux yeux (ce nest pas non plus trivial a ` prouver) !

Les groupes que lon rencontre le plus fr equemment dans les applications physiques restent cependant les groupes continus, appel es aussi groupes de Lie. Le nombre de param` etres r eels continus ind ependants dont d epend un groupe de Lie est appel e la dimension du groupe. Pratiquement tous les besoins du physicien sont couverts par les groupes de matrices. 8. Le groupe des rotations S O (3) de lespace a ` trois dimensions. Une telle rotation est compl` etement x ee par un axe et un angle. Laxe pouvant e tre rep er e par un point sur une sph` ere, le groupe S O (3) est de dimension 3. Une fac on e quivalente, mais qui se pr ete mieux a ` la g en eralisation a ` n dimensions, de voir une rotation est de la d enir comme agissant dans un plan (celui qui est perpendiculaire a ` laxe de rotation). Laction dans un plan est celle dune rotation S O (2) a ` deux dimensions. 9. Le groupe de rotation S O (n ) de lespace euclidien a ` n dimensions. Les rotations agissent dans des plans bidimensionnels a ` la fac on dune rotation de S O (2). On peut choisir des plans bidimensionnels el ementaires comme e tant ceux sous-tendus par les vecteurs de base e i , e j (avec i < j pour des raisons e videntes de sym etrie). Le nombre de tels plans n (n 1) e l ementaires vaut 2 , qui est donc la dimension du groupe S O (n ). Ces groupes sont non-ab eliens pour n 3. 4

10. Le groupe de Lorentz S O (1, 3), de dimension 6 et non-ab elien (cfr le cours PHY1223 de Relativit e Restreinte). Cest le groupe disom etrie de lespace de Minkowski M4 , qui pr eserve la m etrique pseudo-euclidienne . On peut le voir comme un groupe de rotations pseudo-euclidiennes (comparer avec la dimension de S O (4)). 11. Le groupe lin eaire g en eral G L (n ; R) dun espace vectoriel r eel de dimension n , et le groupe lin eaire sp ecial S L (n ; R) des transformations lin eaires de d eterminant e gal a ` 1 (pr eservant 2 2 les volumes). Ils sont respectivement de dimension n et n 1, et non-ab eliens pour n 2. 12. Le groupe des matrices orthogonales r eelles n n , not e O (n ; R). De telles matrices M 1) t t satisfont M M = M M = I, et forment un groupe de dimension n (n2 : une matrice +1) 2 cong en erale d epend de n param` etres, et une matrice orthogonale est soumise a ` n (n2 ditions d ecoulant de M t M = I.

On notera quune matrice orthogonale poss` ede un d eterminant e gal a ` 1. Lensemble (le sous-groupe !) de celles de d eterminant +1 est not e S O (n ; R), qui peut e tre identi e avec le groupe des rotations discut e plus haut.

13. Le groupe des matrices unitaires complexes n n , not e U (n ; C). Elles satisfont M M = M M = I. La dimension de ce groupe vaut n 2 . Une telle matrice poss` ede un d eterminant de module 1, | det M | = +1. Celles de d eterminant e gal a ` +1 forment le groupe SU (n ; C), de dimension n 2 1.

E XERCICES 1.1 V erier que les 24 transformations de sym etrie du t etra` edre e puisent toutes les permutations des 4 sommets. 1.2 Montrer que dans la r ealisation en termes de permutations dans lexemple 2 , les relations sur les i sont toutes v eri ees. 1.3 Enum erer tous les groupes nis dordre 4, a ` isomorphismes pr` es. 1.4 Montrer que les matrices unitaires sont celles qui pr eservent le produit scalaire hermitien dans Cn , donn e par (u , v) = in=1 u i v i , et v erier les dimensions de U (n , C) et de SU (n , C) donn ees plus haut.

C HAPITRE 2

N OTIONS

TE S FONDAMENTALES ET PROPRI E

Nous passons en revue dans ce chapitre quelques notions et propri et es fondamentales parmi les plus courantes. Certaines dentre elles sont capitales pour la suite. 2.1 P RODUIT
DIRECT ET SEMI - DIRECT

Si G 1 et G 2 sont deux groupes, leur produit direct G 1 G 2 est le groupe constitu e des paires (g1 g2 ) d el ements de G 1 et de G 2 . La loi de composition est induite par celles des composantes: , g ) = (g g , g g ). Cela revient simplement a (g1 , g2 )(g1 ` juxtaposer les deux groupes; aucun des 1 1 2 2 2 deux nagissant sur lautre, les deux lois de composition op` erent ind ependamment. Un exemple de produit direct est donn e par le groupe des translations dans le plan bidimensionnel, isomorphe a ` R R. Un exemple proche du groupe des translations est celui du groupe euclidien en deux dimensions E 2 , qui, outre les translations, contient e galement les rotations. Il agit sur un vecteur du plan par (x , y ) (x cos y sin + a , x sin + y cos + b), (2.1)

avec a et b les param` etres de la translation en x et en y . En forme vectorielle, laction peut s ecrire x R x + T avec R la rotation (matrice 2 2) et T = (a , b) la translation. On v erie imm ediatement que la composition de deux telles transformations donne ( R , T )( R , T ) = ( R R , T + R T ). (2.2)

Elle montre que les rotations agissent sur les translations (mais pas linverse), de sorte que les deux lois de composition (des R et des T ) ne sont pas ind ependantes. Cette structure particuli` ere (interf erence dune loi de composition sur lautre) sappelle un produit semi-direct, et est not ee par le symbole . La d enition g en erale est la suivante. Soient deux groupes G 1 , G 2 , avec G 1 qui agit dans G 2 . Ceci signie que chaque g1 G 1 d enit une application (g1 ) qui envoie G 2 sur lui-m eme en pr eservant sa structure de groupe, et qui satisfait (g1 ) (g1 ) = (g1 g1 ) (c` ad (g1 ) est un homorphisme de G 1 dans le groupe des automorphismes de G 2 ). Alors le produit semi-direct de G 1 G 2 relativement a ` cette action de G 1 sur G 2 est d eni par la loi de composition
(g1 , g2 )(g1 , g2 ) = ( g1 g1 , g2 [ (g1 )g2 ]).

(2.3)

Si est lidentit e (lautomorphisme trivial), le produit semi-direct se r eduit au produit direct. 6

Dans lexemple ci-dessus, on a donc E 2 = S O (2) R2 , avec ( R )T = R T . Les groupes de Galil ee et de Poincar e sont e galement des produits semi-directs, tout comme les groupes di edraux qui peuvent s ecrire Dn = Z2 Zn (le v erier). 2.2 C LASSES
DE CONJUGAISON

Deux e l ements g1 et g2 dun groupe sont conjugu es si il existe un e l ement g tel que g1 = 1 gg2 g . La relation etre conjugu ea ` est une relation d equivalence (r eexive, sym etrique, transitive), qui permet de partitionner le groupe en classes d equivalence, appel ees aussi classes de conjugaison. Une classe de conjugaison donn ee contient tous les e l ements du groupe qui sont conjugu es entre eux. Notons que l el ement neutre nest conjugu e qu` a lui-m eme et forme une classe de conjugaison a ` lui tout seul. De m eme, dans un groupe ab elien, chaque e l ement forme e galement une classe a ` lui tout seul. Un groupe ab elien poss` ede donc autant de classes de conjugaisons quil na d el ements. En ce qui concerne le groupe non-ab elien le plus petit, a ` savoir S3 , on v erie quil poss` ede trois classes de conjugaison: {e}, {les permutations qui e changent 2 des 3 objets }, {les permutations qui permutent cycliquement les 3 objets}. Le cardinal de ces classes vaut respectivement 1, 3 et 2. 2.3 S OUS - GROUPES Un sous-groupe H dun groupe G est un sous-ensemble de G qui poss` ede lui-m eme une structure de groupe. Le groupe G tout entier et le singleton {e} sont manifestement des sous-groupes, mais quali es de triviaux. Les autres sous-groupes non-triviaux sont appel es sous-groupes propres. La plupart des groupes poss` edent des sous-groupes propres. Ainsi, S3 poss` ede un unique sousgroupe Z3 et trois sous-groupes Z2 (conjugu es entre eux); Sn 1 est un sous-groupe de Sn ; S O (n 1; R) est sous-groupe de S O (n ; R), et S O (n ; R) de SU (n ; C), ... Lexistence dun sous-groupe propre permet de partitionner le groupe en classes d equivalence, distinctes des classes de conjugaison, et appel ees les classes lat erales. La premi` ere classe est H , le sous-groupe lui-m eme. Ensuite on prend un e l ement g1 qui ne se trouve pas dans H , et on forme la seconde classe, Hg1 . On v erie facilement que H Hg1 = , et que | Hg1 | = | H | (= lordre de H ). Sil reste des e l ements du groupe non inclus dans H ou Hg1 , on en choisit un, disons g2 , et on forme Hg2 . A nouveau, on a H Hg2 = Hg1 Hg2 = et | Hg2 | = | H |. En continuant de la sorte jusqu` a ce que lon e puise tous les e l ements de G , on forme des classes H , Hg1 , Hg2 , ..., deux a ` deux disjointes, et toutes de m eme cardinal | H |. Appel ees classes lat erales a ` droite, elles d enissent une partition de G en sous-ensembles de m eme taille. On peut d enir de m eme les classes lat erales a ` gauche gi H . Les classes a ` gauche sont en g en eral distinctes des classes a ` droite (et donc les e l ements gi servant a ` les d enir sont diff erents des e l ements gi servant a ` d enir les classes a ` droite). Les classes ainsi obtenues ne d ependent pas des e l ements gi , gi choisis, mais uniquement de H . Un corollaire imm ediat de cette construction de classes gauches et droites est que lordre dun sous-groupe est un diviseur de lordre de groupe (th eor` eme de Lagrange). Le r esultat de la division sappelle lindice du sous-groupe. 7

Un sous-groupe H dun groupe G est invariant (ou normal, ou distingu e) si, comme ensemble, il est invariant sous la conjugaison par un e l ement quelconque de G , c-` a-d. que g Hg 1 = H , pour tout g de G . Bien s ur, dans un groupe ab elien, tous les sous-groupes sont invariants. La condition dinvariance de H peut se r ee crire g H = Hg , et montre que pour un sous-groupe invariant, les classes a ` gauche et a ` droite co ncident. Ceci implique e galement que les classes ellesm emes se composent entre elles pour former un groupe, appel e le groupe quotient, et not e G/ H . Il est dordre |G |/| H |. La loi de composition est imm ediate: (g1 H )(g2 H ) = g1 ( Hg2 ) H = g1 g2 H H = (g1 g2 ) H . (2.4)

Que les e l ements de groupe quotient sont les classes lat erales peut sinterpr eter de la fac on suivante: deux e l ements g , g dans G qui appartiennent a ` une m eme classe sont identi es dans le groupe quotient. Quils soient dans une m eme classe signie quils diff` erent par la multiplication pour un e l ement de H , g = g h et g = h g . Par cons equent, le quotient G / H correspond a ` consid erer les e l ements de G modulo la composition par les e l ements de H (` a gauche ou a ` droite), de sorte que lon peut e crire symboliquement G / H = G modulo H . 2.4 G ROUPES SOLUBLES SIMPLES ET R E (2.5)

Un groupe est simple sil ne poss` ede pas de sous-groupe invariant propre (autres que {e} et G lui-m eme). Les groupes simples sont importants dans le sens o` u ils constituent les blocs e l ementaires qui servent a ` construire nimporte quel groupe ni. Les groupes simples nonab eliens sont tr` es rares: il nen existe que six dordre inf erieur a ` 2000 ! Le plus petit est dordre 60. Un groupe G est r esoluble sil poss` ede une cha ne de sous-groupes G i {e} = G 0 G 1 G 2 G n = G (2.6)

tels que G i est un sous-groupe invariant de G i +1 et que les quotients G i +1 / G i sont tous ab eliens pour 0 i n 1. Les groupes r esolubles jouent un r ole important dans le probl` eme de la r esolubilit e par radicaux dune e quation polynomiale (Galois). En comparant ces deux d enitions, on pourra se convaincre que la notion de simplicit e est en quelque sorte a ` loppos e de celle de r esolubilit e, bien que certains groupes soient a ` la fois simples et r esolubles (lesquels ?). 2.5. L ES
GROUPES DE PERMUTATIONS

Le groupe Sn est le groupe des permutations de n objets, et est dordre n !. Laction dune permutation sur n objets peut s ecrire = 1 i1 2 i2 3 i3 n in , 8 (2.7)

que lon interpr etera comme ceci: lobjet 1 est remplac e par lobjet i 1 , lobjet 2 par lobjet i 2 , etc. Par facilit e, on n ecrit pas la premi` ere ligne, mais simplement = (i 1 , i 2 , i 3 , , i n ). Les permutations se composent de fac on naturelle: il suft de suivre la s equence des substitutions. Par exemple, dans S4 , on a (3, 2, 1, 4)(2, 4, 1, 3) = (2, 4, 3, 1) et (2, 4, 1, 3)(3, 2, 1, 4) = (1, 4, 2, 3), qui conrme que S4 est non-ab elien. Pour trouver linverse 1 , il suft, dans la notation a ` deux lignes ci-dessus, dinverser les deux lignes et de ranger les colonnes pour que la (nouvelle) premi` ere ligne soit 1 2 3 n . Ainsi, 1 toujours dans S4 , on a (2, 4, 1, 3) = (3, 1, 4, 2), alors que (3, 2, 1, 4)1 = (3, 2, 1, 4) est son propre inverse puisquelle e change simplement les objets 1 et 3. Une permutation cyclique de Sn permute cycliquement les n objets (ou les d ecale de k places: pour tout k entre 0 et n 1, lobjet i est remplac e par lobjet i + k , o` u i + k est pris modulo n , entre 1 et n . Dans S4 , les permutations cycliques sont (1, 2, 3, 4), (2, 3, 4, 1), (3, 4, 1, 2) et (4, 1, 2, 3). Les n permutations cycliques de Sn forment un sous-groupe cyclique Zn . Une permutation arbitraire ne peut faire que deux choses: elle laisse certains objets invariants, et permute tous les autres par groupes disjoints, et de mani` ere cyclique. Par exemple, la permutation = (4, 5, 8, 7, 2 6, 1, 9, 3, 10) de S10 effectue les remplacements par groupes suivants: 1 4 7 1, 2 5 2, 3 8 9 3, 6 6 et 10 10. Elle permute donc cycliquement les cinq groupes dobjets {1, 4, 7}, {2, 5}, {3, 8, 9}, {6} et {10}. On dira quelle poss` ede 2 cycles de longueur 3, 1 cycle de longueur 2 et 2 cycles de longueur 1, ou encore deux 3-cycles, un 2-cycle et deux 1-cycles. On e crira sa d ecomposition explicite en cycles par = (6)(10)(2 5)(1 4 7)(3 8 9) (notez labsence des virgules !). Lordre dans lequel on e crit les cycles na aucune importance. De fac on g en erale, une permutation de Sn poss` ede k j j -cycles, avec les k j des entiers positifs ou nuls, et j entre 1 et n . On a bien entendu n j =1 j k j = n . Un 2-cycle est aussi appel e une transposition. Une structure en cycles (cest-` a-dire les nombres k j ) sp ecie univoquement une classe de conjugaison dans Sn : deux permutations qui poss` edent les m emes nombres de 1-cycles, 2-cycles, ..., n -cycles, sont conjugu ees, et invers ement. Pour le voir, il suft dobserver que leffet dune con 1 jugaison par est simplement de renommer les objets suivant la permutation . D` es lors 1 poss` ede la m eme structure en cycles que , la seule diff erence e tant les num eros des objets apparaissant dans les diff erents cycles. Dit autrement, 1 agit de la m eme fac on que mais sur des objets qui ont e t e pr ealablement rebaptis es par . Prenons par exemple pour la permutation 1 qui e change les objets 1 et 2, et qui laisse les 2 3 n autres en place. Une permutation arbitraire est de la forme = i1 et son inverse i1 i3 in 2 i1 i2 i3 in 1 1 = 1 2 3 n . La composition 1 donne alors 1 1 et montre que 1 1 = objets 1 et 2.
i1 i2 i2 i1 i3 i3

i1 1 2 i2
in in

i2 2 1 i1

i3 3 3 i3

in n n in

e change les objets i 1 et i 2 , alors que 1 e change les

On obtient le m eme r esultat si on conjugue par nimporte quelle permutation e l ementaire k , 9

qui e change les objets k et k + 1 et laisse les autres a ` leur place. Donc la conjugaison par des permutations e l ementaires (il y en a n 1) ne fait que renommer les objets. Comme nimporte quelle permutation est la composition de transpositions (ce sont des g en erateurs de groupe, voir au chapitre 1 la partie sur les g en erateurs et relations), cest vrai pour tout . Une classe de conjugaison de Sn est donc univoquement sp eci ee par un ensemble dentiers k1 , k2 , , kn tels que n j k = n ; ces entiers d e nissent une partition de n : j j =1 n = 1 + 1 + + 1+2 + 2 + + 2+3 + 3 + + 3++ n + + n .
k1 k2 k3 kn

(2.8)

Le nombre de classes de conjugaison du groupe Sn vaut par cons equent le nombre de partitions de n , c-` a-d. le nombre de fac ons d ecrire n comme somme dentiers strictement positifs. Les groupes S2 , S3 , S4 et S5 poss` edent ainsi respectivement 2, 3, 5 et 7 classes de conjugaison. Celles de S5 correspondent aux 7 partitions 5 = 4 + 1 = 3 + 2 = 3 + 1 + 1 = 2 + 2 + 1 = 2 + 1 + 1 + 1 = 1 + 1 + 1 + 1 + 1, (2.9) la premi` ere (5) contenant, entre autres, les permutations cycliques diff erentes de l el ement neutre, la derni` ere (1+1+1+1+1) l el ement neutre. Contrairement aux apparences, le nombre de partitions de n cro t tr` es vite, exponentiellement1 avec n , ce qui repr esente malgr e tout une croissance beaucoup plus lente que n !. Les classes de conjugaison de Sn sont par cons equent peu nombreuses (relativement), et donc assez grosses. A titre indicatif, le groupe S20 contient de lordre de 2 1019 e l ements, mais seulement 627 classes de conjugaison! Il est utile, comme on le verra plus loin, de repr esenter graphiquement les partitions. Pour ce faire, on repr esente un j -cycle par une colonne de j bo tes, et on range ensuite les colonnes de gauche a ` droite par taille d ecroissante. Ainsi les 7 classes de S5 , ou partitions de 5, sont repr esent ees par les diagrammes suivants, appel es diagrammes de Young.

(1)

(10)

(15)

(20)

(20)

(30)

(24)

En e num erant le nombre de fac ons de placer les n objets dans une structure en cycles donn ee de sorte que les permutations correspondantes soient distinctes (attention aux surcomptages !), il nest pas difcile de calculer le nombre de permutations appartenant a ` une classe sp eci ee par des entiers k j . On montre quil est donn e par la formule suivante, # permutations dans la classe (k j ) =
1 Le

n!
n kj j =1 j

kj!

.
1 4n 3

(2.10)
exp (
2n 3 ).

comportement asymptotique du nombre de partitions de n est donn e par p(n )

10

dont la preuve est laiss ee en exercice. Pour S5 , elle fournit les nombres inscrits en-dessous de diagrammes de Young ci-dessus. Nous avons d ej` a mentionn e plus haut le fait que nimporte quelle permutation de Sn peut s ecrire comme la composition des transpositions 1 , 2 , , n 1 , puisque celles-ci sont des g en erateurs du groupe. On peut le voir explicitement en observant quune permutation cyclique quelconque peut s ecrire (1 2 3 m ) = (1 m )(1 m 1) (1 3)(1 2). Si on peut e crire comme le produit de N transpositions, on d enit la parit e de par ( ) = (1) N . (2.11)

On notera que l ecriture de comme produit de transposition nest pas unique, mais que la parit e reste bien d enie. Effectivement si s ecrit de deux mani` eres diff erentes comme produit de transpositions, les deux mots en question sobtiennent lun de lautre en utilisant les relations entre les g en erateurs. Comme les relations identient des mots de m eme parit e, celle-ci est pr eserv ee. Cest l` a un exemple dutilisation avantageuse de la pr esentation dun groupe par g en erateurs et relations. La composition des permutations (et leurs d ecompositions en transpositions) montre imm ediatement la relation importante ( ) = ( )( ). (2.12)

Ce sera notre premier exemple de repr esentation ! Cette relation montre en tous cas que les permutations se composent suivant une loi binaire: paire paire = impaire impaire = paire, impaire paire = paire impaire = impaire. Ces relations binaires montrent de suite que les permutations paires forment un sous-groupe, ! appel e le groupe altern e et not e An . Son ordre est e gal a ` | An | = n 2 . Il est facile de montrer que An est un sous-groupe invariant de Sn (pourquoi ?) qui nest par cons equent jamais simple (sauf pour n = 2). On v erie e galement que A3 = Z3 est simple, et que A4 nest pas simple. Par contre tous les groupes An sont simples pour n 5, mais cest plus difcile a ` prouver ...

E XERCICES 2.1 Montrer que le groupe U (n ) est un produit direct, U (n ) = SU (n ) U (1)/Zn . 2.2 Montrer explicitement que le groupe di edral Dn = Z2 Zn est un produit semi-direct, ou Z2 et Zn sont respectivement g en er es par une r eexion T et une rotation R dangle 2/ n . 2.3 V erier que la loi de composition (2.3) dun produit semi-direct est bien associative. 2.4 Calculer les classes a ` gauche et a ` droite de S3 pour un sous-groupe Z2 , et v erier quelles sont distinctes. 11

2.5 Utiliser le th eor` eme de Lagrange pour montrer quun groupe dordre premier est n ecessairement cyclique. 2.6 Le modulo arithm etique r epond bien a ` la d enition de groupe quotient: le groupe Zn des entiers de Z modulo n est le quotient Z/(n Z). Expliciter cette identit e. 2.7 Pour quelles valeurs de n lensemble Z n = {1, 2, 3, . . . , n 1} forme-t-il un groupe pour la multiplication modulo n ? 2.8 Calculer les classes de O (1, 3) par rapport au sous-groupe de Lorentz orthochrone propre S O0 (1, 3) = { S O (1, 3) : 00 1}. 2.9 Le centralisateur C (g ) de g est lensemble des e l ements du groupe qui commutent avec g , C (g ) = {g G : gg = g g }. Montrer que le cardinal de la classe de conjugaison de g est e gal a ` |G |/|C (g )|, ce qui implique quil divise lordre du groupe. 2.10 Ecrire explicitement la table de Cayley du groupe S3 . V erier que si lon compose tous les e l ements dune classe avec tous ceux dune classe , les e l ements que lon trouve remplissent chaque classe de S3 un certain nombre entier de fois (peut- etre nul). V erier par =3 + 3 . D eterminer les autres produits de classes. exemple que 2.11 Montrer que la structure observ ee dans lexercice pr ec edent concernant le produit des classes de conjugaison est g en erale. Examiner successivement les points suivants. a. Les inverses des e l ements dune classe de conjugaison forment une classe de conjugaison, que lon notera , de m eme cardinal que (mais pas n ecessairement distincte de ). On notera leur cardinal k = k . b. Les produits g g des e l ements dune classe par ceux dune classe parcourent des classes compl` etes un nombre entier de fois, ce que lon pourra e crire symboliquement = N ,

N, N.

(2.13)

c. Si 1 d esigne la classe contenant l el ement neutre, montrer que les nombres N, satisfont les propri et es suivantes: N = N ,

N1 = , ,

1 N = k , .

(2.14)

en er e par la permutation cyclique (1 2 . . . n ) nest 2.12 Montrer que le sous-groupe Zn de Sn g pas un sous-groupe invariant pour n 4. Ce m eme groupe Zn est-il un sous-groupe de An ? 2.13 Dans un groupe ni G , on d enit le commutateur [g , h ] de deux e l ements comme l el ement ghg 1 h 1 G . Linverse dun commutateur est encore un commutateur, [g , h ]1 = [h , g ] (le v erier), mais en g en eral la composition de deux commutateurs nest pas un commutateur. On d enit le groupe d eriv e [G , G ] de G (commutator subgroup) comme le sousgroupe de G engendr e par tous les commutateurs. Montrer que cest un sous-groupe invariant de G . V erier aussi que le quotient G /[G , G ] est toujours ab elien (et sappelle dailleurs lab elianis e de G ). 12

2.14 Calculer le groupe d eriv e du groupe di edral Dn . Montrer que si T et R sont les deux g en erateurs de Dn (voir le chapitre 1), alors [ Dn , Dn ] = R 2 , et que cest un sous-groupe dindice 2 si n est impair, dindice 4 si n est pair. 2.15 Si une permutation Sn s ecrit en termes de k j j -cycles, montrer que sa parit e est donn ee n + k j par ( ) = (1) . 2.16 A partir de la caract erisation des classes de conjugaison de Sn , e tudier celles du sous-groupe altern e An . On pourra proc eder comme suit. a. Observer dabord quune classe de Sn est soit enti` erement contenue dans An ou alors est enti` erement hors de An . Soit donc une classe de Sn , contenue dans An , et ayant une structure en cycles sp eci ee par des entiers k j . Montrer que dans ce cas, les k j doivent satisfaire j pair k j = 0 mod 2.

b. Prenons un e l ement g quelconque de cette classe (cest une permutation paire), et d ecomposons en deux parties, non n ecessairement disjointes, = + , o` u + , contiennent tous les conjugu es de g par des permutations paires resp. impaires. Montrer que les cardinaux de + et sont e gaux. c. Par construction, les ensembles + et sont deux classes de An , et la question qui reste est de savoir si ces deux ensembles sont identiques ou non. Montrer quils sont identiques si et seulement si il existe une permutation impaire telle que g = g .

d. Un tel est dans le centralisateur de g . Celui-ci est constitu e des permutations cycliques agissant ind ependamment dans les diff erents cycles composant g (il y en a kj eme longueur (il y en a j k j !). En j j ), et des permutations des cycles de m d eduire que le centralisateur de g ne contient que des permutations paires si et seulement si tous les cycles ont des longueurs impaires (k j = 0 pour j pair) et distinctes (k j 1 pour j impair). e. En conclure: une classe paire de Sn , sp eci ee par des entiers k j impairs et diff erents, se scinde en deux classes de An de m eme cardinal; toute autre classe paire de Sn est une classe de An .

Ainsi A4 poss` ede quatre classes, de cardinal 1, 3, 4 et 4, alors que A5 en poss` ede cinq, de cardinal 1, 15, 20, 12 et 12. 2.17 Montrer que le quotient An /[ An , An ] (lab elianis e de An , voir lexercice 2.13) est isomorphe a ` Z3 pour n = 3, 4, et isomorphe a ` {e} pour n = 2 et n 5. (Observer que dans le quotient, tous les e l ements dune classe de conjugaison sont identi es; utiliser ensuite les r esultats de lexercice 2.16.) 2.18 Montrer que le d eterminant dune matrice n n peut s ecrire de la mani` ere suivante, comme une somme sur les permutations de Sn : det A = ( ) A1,i 1 A2,i 2 An ,i n . (2.15)

Sn

2.19 Montrer que S3 et S4 sont des groupes r esolubles (ces propri et es de S3 et S4 impliquent que les e quations polynomiales de degr e 3 et 4 g en erales sont solubles par radicaux !). 13

C HAPITRE 3

SENTATIONS : R EPR E

NE RALIT E S GE

Si la discussion est rest ee jusquici relativement abstraite, lutilisation concr` ete dun groupe m` ene imm ediatement a ` la notion de repr esentation. Un groupe est presque toujours associ ea ` la pr esence dune sym etrie, dune invariance. Mais une sym etrie nimplique pas que tous les e l ements du probl` eme sont invariants, cest-` a-dire laiss es xes par le groupe. Si un triangle e quilat eral est bien laiss e invariant sous un groupe de sym etrie S3 , il nemp eche que les sommets (et les faces) sont permut es par le groupe, et ne sont donc pas du tout laiss es xes: ils sont transform es, dune fac on bien pr ecise, sous laction du groupe. De m eme pour un probl` eme physique en g en eral: si un probl` eme, ou un mod` ele, ou une th eorie physique dans son ensemble, poss` ede une invariance sous un groupe, la question se pose de savoir comment le groupe agit sur les variables et grandeurs physiques susceptibles d etre utilis ees. Tout comme les sommets du triangle se transforment sous le groupe de sym etrie de triangle, les quantit es physiques se transforment e galement, chacune a ` sa mani` ere. Ainsi en relativit e restreinte par exemple, dont le groupe de sym etrie est le groupe de Lorentz, les lois de transformation des masses, des impulsions, des champs e lectriques et magn etiques ou du temps sont diff erentes. Dans chacun des cas, la r eponse a ` la question comment se transforment ces quantit es ? est donn ee en sp eciant une repr esentation du groupe. De fac on concr` ete, on constate que les quantit es physiques doivent e tre regroup ees en multiplets l energie et la tri-impulsion sont mises ensemble dans un quadruplet, le champ e lectrique et le champ magn etique sont regroup es en un sextuplet, etc, sur lesquels le groupe agit par des matrices. Cest l` a lid ee fondamentale dune repr esentation. Nous verrons plus loin que cette id ee coincide tr` es pr ecis ement avec celle de tenseur. Une repr esentation (lin eaire) dun groupe G est un ensemble de matrices D (g ), une matrice pour chaque e l ement du groupe, qui se composent exactement comme les e l ements du groupe, cest-` a-dire quelles satisfont: D (g1 ) D (g2 ) = D (g1 g2 ), D (e) = I , (homomorphisme) (3.1) (3.2)

D (g 1 ) = D (g )1 .

La dimension des matrices D (g ) est la dimension de la repr esentation; cest donc aussi la dimension de lespace vectoriel sur lequel agissent les matrices D (g ). Cet espace sera appel e lespace de (la) repr esentation. Dans la suite, nous consid ererons des matrices de repr esentation complexes (ce qui nexclut pas que certaines dentre elles puissent e tre r eelles, dans certaines bases). L etude des repr esentations dun groupe par des matrices d enies sur un corps diff erent de C, par exemple sur R (repr esentations r eelles), est e galement possible mais est plus compliqu ee. Si {ei } forme une base orthonorm ee de lespace de repr esentation, le repr esentant D (g ) de g 14

agit a ` droite sur les vecteurs de base en termes de ses coefcients matriciels, D (g ) ei = ek Dki (g ),
k

D ji (g ) = e j | D (g )|ei .

(3.3)

Laction a ` droite assure effectivement que la loi de groupe est satisfaite: D (g1 ) D (g2 ) ei = = D (g1 ) ek Dki (g2 ) = e j ( D (g1 ) D (g2 )) ji = e j D j k (g1 ) Dki (g2 )
j k

e j D ji (g1 g2 ) = D (g1 g2 ) ei .

(3.4)

On v erie facilement que si D (g ) est une repr esentation, alors D (g ) = D t (g 1 ) est e galement une repr esentation, appel ee la repr esentation contragr ediente de D (g ). Si les vecteurs de base de lespace se transforment selon la repr esentation D (g ), alors les composantes v i dun vecteur v = v i ei dans cette m eme base se transforment selon la repr esentation contragr ediente D (g ), D (g )v i = Di j (g 1 ) v j .
j

(3.5)

En effet, le vecteur abstrait reste invariant, de sorte que la transformation des vecteurs de base doit compenser celle des composantes, v= v i ei
i

i , j ,k

Di j (g 1 )v j ek Dki (g ) =

j ,k

k , j v j ek =

v j ej.
j

(3.6)

Dans le m eme ordre did ees, si D (g ) est une repr esentation, alors D (g ) est e galement une repr esentation, appel ee la repr esentation complexe conjugu ee de D (g ). Concr` etement, les multiplets dont on parl e plus haut sont des e l ements despaces vectoriels de repr esentation (des vecteurs donc !), et les matrices de repr esentation D (g ) sp ecient la mani` ere dont le groupe agit sur eux. Dans lexemple du triangle, les trois sommets sont permut es sous laction du groupe, et se transforment donc dans une repr esentation D3 de dimension 3 (les six matrices de la repr esentation D3 (g ) sont des matrices de permutation). Si par contre on pense a ` laction g eom etrique du groupe du triangle sur le plan, on trouve une repr esentation D2 (g ) de dimension 2. En relativit e restreinte, les quatre composantes p de la quadri-impulsion forment un vecteur, un e l ement dun espace vectoriel de dimension 4, sur lequel agit une repr esentation de dimen sion 4 du groupe de Lorentz, dont les matrices sont g en eralement d enot ees (g ). Par abus de langage, on dira que la quadri-impulsion p se transforme, sous le groupe de Lorentz, dans une repr esentation de dimension 4. Bien qu etant de nature physique diff erente, les coordonn ees despace-temps x et les potentiels e lectromagn etiques A appartiennent au m eme espace et se transforment dans la m eme repr esentation que p . Par contre, les composantes des champs e lectrique et magn etique E i , B i , 15

six au total, doivent e tre regroup es; elles se transforment dans une repr esentation de dimension 6 du groupe de Lorentz2 . Remarquons d` es maintenant limportance des assertions qui viennent d etre faites: dire quun ensemble de quantit es physiques donn e se transforment dans une repr esentation sp ecique dun groupe a une port ee physique consid erable ! En relativit e restreinte, on la vu, les coordonn ees spatio-temporelles x se transforment les unes dans les autres sous le groupe de Lorentz; en m ecanique classique non-relativiste, le temps reste invariant (absolu) sous le groupe de Galil ee (par contre, la transformation des coordonn ees spatiales sous Galil ee fait intervenir le temps; la situation est analogue pour les champs e lectrique et magn etique, qui se transforment sous un boost de Galil ee selon E = E + v B , B = B ). Alors quen relativit e restreinte, temps et espace sont plac es sur le m eme pied, ce nest pas le cas en m ecanique newtonienne. Les cons equences physiques sont radicalement diff erentes... Il est utile, m eme si ceci nest pas manifeste a ` ce stade, de conna tre toutes les repr esentations dun groupe donn e. Elles sp ecient toutes les actions lin eaires quun groupe peut possiblement avoir sur un ensemble dobjets. Une fois le catalogue e tabli, a ` nous de s electionner celles qui sont utiles dans un cadre physique donn e, et dy associer un contenu physique. Notre ambition est donc de r esoudre le probl` eme suivant: e e un groupe G, qui peut e ecrire toutes les repr esenta tant donn tre arbitraire, obtenir et d tions de G. Cest lune des questions principales de ce cours ! La question peut sembler terriblement ambitieuse (elle lest !), une r eponse compl` ete existe pourtant (du moins pour une tr` es large classe de groupes dont tous les groupes nis). En y r e echissant un peu (ou beaucoup !), on peut assez facilement construire des repr esentations pour nimporte quel groupe. Dabord, il y a celle que lon qualiera, pour des raisons e videntes, de triviale: cest la repr esentation de dimension 1 qui associe a ` tout e l ement g le nombre 1, D (g ) = 1 (ou plus g en eralement la matrice identit e de dimension n , D (g ) = In ). En ce qui concerne les groupes nis, une repr esentation importante est la repr esentation dite r eguli` ere, dont la construction, valable pour nimporte quel groupe, est la suivante. D enotons par n lordre du groupe, et consid erons un espace vectoriel de dimension n (ce sera lespace de repr esentation). Plut ot que dindicer les vecteurs de base par un entier i prenant les valeurs de 1 a ` n, indic ons-les par les e l ements du groupe, eg ou encore |g (on suppose cette base orthonorm ee). Ensuite d enissons les matrices D reg (g ) de la repr esentation r eguli` ere par leur action sur les vecteurs de base: D reg (g )|g1 = |gg1 , pour tous g , g1. (3.7)

Il est facile de v erier que ces matrices forment une repr esentation. Clairement aussi, elles effectuent une permutation des e l ements de base, puisquelles envoient un vecteur de base sur un autre vecteur de base, de fac on inversible. Les coefcients des matrices sont donc des 0 et des 1. Explicitement les e l ements de matrice sont donn es par Dg1 g2 (g ) g1 | D reg (g )|g2 = g1 ,gg2 .
2 On verra plus tard comment on peut e galement les consid erer comme composantes dun objet

reg

(3.8)
F a ` deux indices.

16

Une autre repr esentation, distincte de la repr esentation r eguli` ere mais de m eme dimension quelle (lordre du groupe), est celle bas ee sur la conjugaison dans le groupe plut ot que sur sa table de multiplication (comme lest la repr esentation r eguli` ere). Son action est d enie par D conj (g )|g1 = |gg1 g 1 , pour tous g , g1, (3.9)

dans le m eme espace vectoriel que la repr esentation r eguli` ere. Comme elle, les matrices D conj (g ) sont des matrices de permutation. Pour les groupes de permutation Sn , on peut facilement construire une repr esentation de direg conj mension n (et donc beaucoup plus petite que D et D ). Celle-ci, appel ee repr esentation de d enition (dening representation), est bas ee sur la transcription des permutations sur des vecteurs de base, |1 , |2 , . . . , |n , suppos es orthonorm es. La repr esentation permute simplement les vecteurs de base comme permute les objets: D def ( )|i = | (i ) . Dans cette base, les matrices D def ( ) sont a ` nouveau des matrices de permutation. En ce qui concerne les groupe de Lie, tous les exemples du chapitre 1 ont e t e d enis (pr esent es) en termes dune repr esentation ! Par exemple le groupe S O (n ), pour chaque valeur de n , poss` ede une repr esentation de dimension n : a ` chaque e l ement du groupe, on associe une unique matrice D (g ), n par n et orthogonale de d eterminant 1 ! Idem pour les groupes G L (n ), S L (n ) ou SU (n )... pour lesquels on dispose dune repr esentation de dimension n , pour la raison que tous ces groupes ont e t e d enis en termes de cette repr esentation. Pour ces groupes-l` a, on a en quelque sorte invers e la logique. Puisque la composition des matrices de repr esentation est la m eme que celle du groupe, celle du groupe est la m eme que celle des matrices, et on a trouv e plus commode de d enir la loi de groupe en termes de celle dune repr esentation particuli` ere. Il est clair que pour pouvoir faire cette inversion, il faut que la repr esentation quon veut utiliser soit sufsamment riche pour permettre de s eparer tous les e l ements du groupe. Techniquement les repr esentations que lon peut utiliser a ` cet effet doivent e tre injectives; on les appelle aussi des repr esentations d` eles. Finalement, lorsque lon conna t deux repr esentations non-triviales D1 et D2 , on peut en construire une nouvelle en consid erant leur produit tensoriel D1 D2 , despace V = V1 V2 . Son action est simplement induite par laction de D1 et D2 : ( D1 D2 )(g ) v 1 v 2 = ( D1 (g )v 1 ) ( D2 (g )v 2 ). (3.11) (3.10)

Ce proc ed e, dans lequel on peut avoir D1 = D2 , produit g en eralement de nouvelles repr esentations. On voit que dans la plupart des cas, on conna t une ou m eme plusieurs repr esentations, et probablement que dans des groupes sp eciques, on arriverait, par des constructions ad equates, a ` en trouver davantage. Mais les trouver toutes est clairement un probl` eme dun tout autre ordre, qui requiert des techniques g en erales. Pour se faciliter la t ache, on se d ebarasse de deux sources de redondances pr esentes dans la liste compl` ete de toutes les repr esentations dun groupe: 17

1. Si D1 (g ) est une repr esentation et S une matrice inversible, alors D2 (g ) S D1 (g ) S 1 est aussi une repr esentation ! Strictement D1 et D2 sont des repr esentations distinctes, puisque les matrices D1 (g ) et D2 (g ) seront en g en eral diff erentes. Cependant elles ne sont pas intrins` equement diff erentes puisque D2 est simplement D1 e crite dans une autre base. Pour des raisons e videntes, on dira que deux repr esentations reli ees par une transformation de similarit e sont e quivalentes, D1 D2 . (Attention: la matrice S ne peut pas d ependre de g : ce sont toutes les matrices D1 (g ) qui, soumises a ` la m eme similarit e, redonnent les matrices D2 (g )). 2. Si D1 (g ) et D2 (g ) sont deux repr esentations, despaces de repr esentation V1 et V2 respectivement (de dimensions e ventuellement diff erentes), leur somme directe ( D1 D2 )(g ), despace V1 V2 , est e galement une repr esentation, dont les matrices s ecrivent ( D1 D2 )(g ) = D1 ( g ) 0 0 D2 ( g ) . (3.12)

Il est inutile de sencombrer de repr esentations e quivalentes, une seule par classe d equivalence suft, et de m eme, des repr esentations qui se ram` enent, par somme directe, a ` des repr esentations plus petites, et donc plus fondamentales. Mais comment d ecider quune repr esentation donn ee est e quivalente a ` une somme directe, et invers ement, comment e tre s ur quune repr esentation ne peut pas se r eduire a ` des repr esentations plus fondamentales quelle ? La notion-cl e est celle de sous-espace invariant. Une repr esentation D (g ), despace V , est r eductible si elle laisse un sous-espace V1 invariant, D (g )V1 V1 , cest-` a-dire que tout e l ement de V1 est envoy e sur un e l ement de V1 . Si elle ne poss` ede pas de sous-espace invariant, elle est irr eductible. Dans une base correspondant a ` la d ecomposition orthogonale V = V1 V2 (V2 est le compl ementaire orthogonal de V1 dans V ), une repr esentation r eductible prend la forme D (g ) = D1 ( g ) 0 B (g ) D2 ( g ) , puisque D (g ) v1 0 = D1 (g )v 1 0 V1 , (3.13)

o` u D1 (g ) et D2 (g ) sont deux repr esentations (despaces V1 et V2 ) (par contre B (g ) satisfait une loi de composition plus compliqu ee, faisant intervenir D1 et D2 ). Si le sous-espace compl ementaire V2 est e galement laiss e invariant par la repr esentation, celleci est appel ee compl` etement r eductible (ou d ecomposable) et prend une forme diagonale par blocs ( B (g ) = 0), de sorte que D = D1 D2 est une somme directe. On voit donc que les repr esentations que lon a quali ees d el ementaires ou fondamentales sont essentiellement les repr esentations irr eductibles. Essentiellement, car les repr esentations r eductibles non compl` etement r eductibles (ind ecomposables) ne sont pas irr eductibles, mais sont dans un certain sens e l ementaires puisquelles ne r eduisent pas enti` erement a ` des repr esentations plus petites (` a cause du bloc non-diagonal B (g )). Pour ce qui nous occupera dans ce cours, nou pourrons ignorer la classe des repr esentations r eductibles ind ecomposables ! Effectivement nous consid ererons exclusivement des repr esentations unitaires, dont les matrices D (g ) sont unitaires: D (g ) = D 1 (g ), pour tout g . Ce nest 18

dailleurs pas une restriction pour les groupes nis, puisquon montrera que nimporte quelle repr esentation (de dimension nie) dun groupe ni est e quivalente a ` une repr esentation unitaire. La particularit e des repr esentations unitaires est d etre soit irr eductible soit compl` etement r eductible. En effet, si D (g ) unitaire est r eductible, avec un sous-espace invariant V1 , le sousespace compl ementaire orthogonal V2 est n ecessairement invariant aussi. En effet,
v 1| D (g )v 2 = D (g )v 1 |v 2 = D (g 1 )v 1 |v 2 = v 1 |v 2 = 0,

v 1 V1 , v 2 V2 , (3.14)

montre que D (g )V2 est orthogonal a ` V1 , et donc contenu dans V2 . On peut ainsi conclure quune repr esentation unitaire r eductible est compl` etement r eductible, et est donc e quivalente a ` une somme directe, D D1 D2 . Comme D est unitaire, D1 et D2 le sont e galement, et a ` ce titre, sont irr eductibles ou elles-m emes e quivalentes a ` une somme directe. En poursuivant les r eductions aussi loin que possible, on en conclut quune repr esentation unitaire est irr eductible ou e quivalente a ` une somme directe de repr esentations irr eductibles. Pour les repr esentations unitaires, les repr esentations fondamentales sont bien les irr eductibles. Revenant a ` notre probl` eme de classication des repr esentations dun groupe, on peut sans perte de g en eralit e le formuler ainsi:

Etant donn e un groupe G, trouver toutes les repr esentations unitaires irr eductibles in equivalentes de G.

Cest a ` cette question, formul ee, rappelons-le, pour des repr esentations complexes (les matrices sont a ` coefcients complexes), que nous r epondrons dans la suite du cours. Dabord pour les groupes nis, ensuite pour les groupes de Lie (du moins certains groupes de Lie, les plus simples). Avant dentamer ce programme, terminons les g en eralit es par une notion importante, celle de caract` ere. Si D (g ) est une repr esentation, on d enit son caract` ere par les traces des matrices, D (g ) = Tr D (g ) = i | D (g )|i . (3.15)

Ce sont, en g en eral, des nombres complexes. La fonction caract` ere satisfait deux propri et es int eressantes (et importantes). Dune part, les caract` eres de deux repr esentations e quivalentes sont e gaux: D (g ) = Tr D (g ) = Tr S D (g ) S 1 = Tr D (g ) = D (g ). (3.16)

Dautre part, comme fonctions sur les e l ements du groupe, les caract` eres sont constants sur les 1 classes de conjugaison. Si g2 = gg1 g , on a D (g2 ) = Tr D (gg1 g 1 ) = Tr D (g ) D (g1 ) D 1 (g ) = Tr D (g1 ) = D (g1 ). 19 (3.17)

On note e galement que le caract` ere dune somme directe de repr esentations est la somme des caract` eres, et, anticipant quelque peu, que celui dun produit tensoriel de repr esentations est le produit des caract` eres (voir le chapitre 5): D1 D2 (g ) = D1 (g ) + D2 (g ), D1 D2 = D1 (g ) D2 (g ). (3.18)

Comme toute repr esentation unitaire r eductible est e quivalente a ` une somme directe de repr esentations irr eductibles, son caract` ere est simplement une combinaison lin eaire (` a coefcients entiers positifs) de caract` eres irr eductibles. Les caract` eres irr eductibles sont importants et utiles a ` plusieurs titres. Dabord ils sont plus faciles a ` manipuler que les repr esentations: ce sont des vecteurs de nombres, alors que les repr esentations sont des matrices. Ensuite, et m eme sils ne fournissent pas linformation compl` ete sur les repr esentations (on ne peut pas reconstruire les matrices D (g ) sur base du caract` ere D (g ) uniquement), les caract` eres en retiennent sufsamment pour identier univoquement les repr esentations. En effet, nous verrons que deux repr esentations (compl` etement r eductibles) in equivalentes ne peuvent avoir le m eme caract` ere. Finalement, et nous en verrons des exemples par la suite, ils sont utiles pour des calculs concrets (r eduction de repr esentations). Pour toutes ces raisons, il est utile de pr esenter les repr esentations irr eductibles dun groupe donn e, non pas en termes des matrices, ce qui serait tr` es fastidieux, mais en termes des caract` eres irr eductibles. Il est traditionnel de les lister sous forme de tableau D (g ), avec les repr esentations irr eductibles in equivalentes D comme indice de ligne, et g comme indice de colonne (un g par classe de conjugaison suft !). On appelle ce tableau la table des caract` eres. Nous en donnerons des exemples dans la suite.

E XERCICES 3.1 Montrer que ni la repr esentation r eguli` ere D reg (g ), ni la repr esentation conjugaison D conj (g ), ni la repr esentation de d enition D def (g ) des groupes de permutations nest irr eductible. 3.2 Montrer que les trois repr esentations D , D et D sont toutes r eductibles ou toutes irr eductibles. Si D est unitaire, montrer que D et D sont identiques. 3.3 Calculer le caract` ere de la repr esentation r eguli` ere dun groupe G quelconque. 3.4 Calculer le caract` ere de la repr esentation conjugaison, en utilisant la notion de centralisateur (voir exercice 2.9). Calculer ce caract` ere explicitement dans le cas du groupe S3 . 3.5 Calculer le caract` ere de la repr esentation de d enition de Sn . 3.6 Soit D3 (n , ) la repr esentation de dimension 3 du groupe des rotations en trois dimensions S O (3), pour laquelle une rotation g = (n , ) est rep er ee par un axe de rotation n (un point n sur la sph` ere unit e) et un angle autour de cet axe. Montrer que le caract` ere de cette repr esentation est donn e par D3 (g ) = 1 + 2 cos . 20

C HAPITRE 4

SENTATIONS R EPR E

DES GROUPES FINIS

Nous avons termin e le chapitre pr ec edent en nous convainquant quil nous fallait classier toutes les repr esentations unitaires irr eductibles in equivalentes. Commenc ons par montrer que, comme nous lavions annonc e, lhypoth` ese dunitarit e nest pas une restriction dans le cas des groupes nis. Th eor` eme 4.1 Toute repr esentation de dimension nie dun groupe ni est e quivalente a ` une repr esentation unitaire. Formons la quantit e S= D (g ) D (g ).
g G

(4.1)

On v erie quelle satisfait la propri et e D (g ) S D (g ) = S pour tout g : D (g ) S D (g ) = D (g g ) D (g g ) = D (g ) D (g ) = S . (4.2)

La matrice S est hermitienne et d enie positive ( v | S |v > 0 pour nimporte quel vecteur v ). Par cons equent, elle est diagonalisable, ses valeurs propres i e tant toutes strictement positives: S = A D A1 pour un certain A, et avec D = diag(1 , 2 , ...) , i > 0. (4.3)

On peut donc prendre la racine carr ee de S , e galement hermitienne, et d enie par X = S 1/2 = A D 1/2 A1 , D 1/2 = diag( 1 , 2 , ...). (4.4)

Il reste a ` v erier que la conjugaison de D (g ) par X fournit une repr esentation unitaire D (g ) = 1 X D (g ) X : D (g ) D (g ) = X 1 D (g ) X X D (g ) X 1 = X 1 D (g ) S D (g ) X 1 = X 1 S X 1 = I, (4.5) ce qui conclut la preuve. 21

4.1 L EMME

DE

S CHUR

Ceci e tant fait, nous pouvons revenir au probl` eme principal: les repr esentations irr eductibles in equivalentes. Les r esultats suivants, un peu techniques en apparence, sav` erent extr emement utiles. Ils sont vrais pour nimporte quelle repr esentation de dimension nie dun groupe, quil soit ni ou non. Th eor` eme 4.2 (lemme de Schur) Supposons que D (g ) et D (g ) sont deux repr esentations irr educ tibles de dimension nie, despace de repr esentation V et V respectivement, et telles que A D (g ) = D (g ) A pour une certaine matrice A : V V . Alors A = 0 identiquement, ou A est inversible et D et D sont e quivalentes. Prenons un vecteur v V dans le noyau de A (cest-` a-dire tel que Av = 0). Alors A D (g )v = = 0 et donc D (g )v est aussi dans le noyau de A, ce qui montre que celui-ci et un sousespace invariant de D (g ). Puisque D est irr eductible, le noyau doit e tre trivial, Ker A = {0}, ou e gal a ` tout V , auquel cas A = 0 identiquement. D (g ) Av

De m eme, pour un vecteur v V arbitraire, Av V est dans limage de A (par d enition). Dans ce cas, lidentit e D (g ) Av = A D (g )v montre que limage de A est un sous-espace invariant de D . Comme D est e galement irr eductible, limage doit e tre triviale, Im A = {0}, auquel cas A = 0 identiquement, ou alors Im A = V tout entier. En remettant les deux parties ensemble, on conclut que soit A = 0 identiquement, soit Ker A = {0} et Im A = V , ce qui signie que A est inversible.

Un corollaire important pour les applications (voir plus loin, Wigner-Eckart) correspond au cas o` u les repr esentations D et D sont identiques. Corollaire 4.1 Une matrice A qui commute avec toutes les matrices dune repr esentation irr eductible, A D (g ) = D (g ) A pour tout g, est un multiple de la matrice identit e, A = I. Nimporte quelle matrice A poss` ede au moins un vecteur propre. En effet le polyn ome caract eristique det( A I) = 0 poss` ede au moins une racine ( eventuellement complexe). Associ ee a ` cette valeur propre , il existe un vecteur propre puisque l equation homog` ene ( A I)|v = 0 poss` ede au moins une solution (car le d eterminant de A I est pr ecis ement nul !). Si A commute avec toutes les matrices D (g ), il en est e videmment de m eme de A I. Par le lemme de Schur ci-dessus, il sensuit que A I et nul ou inversible. Il nest pas inversible car son noyau est non-nul (il contient en particulier tous les multiples du vecteur propre |v ). Il est donc nul, A = I.

Apr` es ces r esultats pr eliminaires, nous pouvons revenir a ` la question: que peut-on dire des repr esentations irr eductibles dun groupe ni ? 22

4.2 R ELATIONS D ORTHOGONALIT E D enotons par D (i ) lensemble, potentiellement inni, de toutes les repr esentations irr eductibles (i ) in equivalentes, avec les matrices correspondantes Dab (g ). On d enotera par n i la dimension de la ( i ) repr esentation D , et par i (g ) le caract` ere de la repr esentation D (i ) . Lordre de G sera not e n, les classes de conjugaison de G seront indic ees par un entier , avec k le nombre d el ements dans la -` eme classe. Le r esultat suivant est remarquable par sa port ee et par la simplicit e de sa preuve. Il nous am` enera d ej` aa ` mi-chemin de la solution.
(i ) (i ) Th eor` eme 4.3 (th eor` eme de Peter-Weyl pour les groupes nis) Les vecteurs Dab (g ) = ( Dab (e), (i ) Dab (g1 ), . . .), de longueur n, forment une base orthogonale de lespace des fonctions d enies sur le groupe G.

Une fonction d enie sur le groupe est la donn ee dun nombre complexe f (g ) pour chaque e l ement du groupe. On peut ranger ces valeurs dans un vecteur ( f (e), f (g1 ), . . .), de sorte que lensemble de toutes les fonctions sur G forme un espace vectoriel Cn , de dimension n . On veut (i ) montrer que les vecteurs ( Dab (g ))gG , qui sont des fonctions particuli` eres sur le groupe, forment une base de cet espace. Commenc ons par montrer que ces vecteurs sont orthogonaux. Prenons pour cela deux repr esen( i ) ( j ) tations irr eductibles D et D , ainsi quune matrice M totalement quelconque, de dimension n i n j . Formons ensuite A= 1 n D (i ) (g ) M D ( j ) (g )
g G

(4.6)

e galement de dimension n i n j . On v erie quelle satisfait les hypoth` eses du lemme de Schur: D (i ) (g ) A = 1 n D (i ) (gg ) M D ( j ) (g ) = 1 n D (i ) (g ) M D ( j ) (g 1 g ) = A D ( j ) (g ).(4.7)

Pour i = j , les repr esentations D (i ) et D ( j ) sont in equivalentes et donc A = 0, cest-` a-dire Aac = 1 n Dab (g ) Mb d Dcd (g ) = 0,
(i ) ( j )

(4.8)

g G

b ,d

quelles que soient les valeurs des coefcients de M . Prenant successivement Mb d = b b d d (une matrice avec une seule entr ee non-nulle, en position (b, d )), on obtient lorthogonalit e des vecteurs correspondant a ` des valeurs i = j :
g (i ) Dab (g ) Dcd (g ) = 0, ( j )

i = j , a , b, c, d . 23

(4.9)

Pour i = j , la matrice A commute avec les matrices D (i ) (g ), et est donc proportionnelle a ` 1 Tr M . On lidentit e, A = I. Le calcul de la trace de A fournit la valeur du coefcient = n i obtient alors Aac = 1 n Dab (g ) Mb d Dcd (g ) =
(i ) (i )

g G b ,d

1 (Tr M )a,c . ni

(4.10)

Faisant le m eme choix que ci-dessus pour M , a ` savoir Mb d = b b d d avec Tr M = b,d , on obtient cette fois
(i ) (i ) Dab (g ) Dcd (g ) =

n a , c b , d , ni

(4.11)

ce qui compl` ete les relations dorthogonalit e des vecteurs distincts, et fournit e galement la norme de tous les vecteurs. On peut r ee crire ces deux ensembles de relations sous la forme Dab (g ) Dcd (g ) =
(i ) ( j )

n i , j a,c b,d . ni

(4.12)

Puisque ces vecteurs sont orthogonaux, ils sont ind ependants. Il reste a ` montrer quils forment une famille compl` ete, qui g en` ere lespace des fonctions sur G . Il suft pour cela de montrer que nimporte quelle fonction sur G peut s ecrire comme une combinaison lin eaire des vecteurs (i ) Dab (g ). Une fonction arbitraire sur le groupe peut s ecrire | f = ( f (e), f (g1 ), . . .) = f (e)(1, 0, . . .) + f (g1 )(0, 1, 0, . . .) + . . . = f (g )|g ,(4.13)

o` u |g est le vecteur (0, . . . , 0, 1, 0, . . .) avec le 1 en position g . Les nombres f (g ) apparaissent alors comme les composantes du vecteur | f dans la base |g : f (g ) = g | f . Se souvenant de la repr esentation r eguli` ere, on peut encore e crire les composantes f (g ) comme f (g ) = f (g ) g |g = f (g ) g | D reg (g )|e = f (g ) Dg e (g ).
reg

(4.14)

Puisque la repr esentation r eguli` ere est compl` etement r eductible, elle est e quivalente a ` une somme directe de repr esentations irr eductibles, D reg (g ) = S [ i m i D (i ) (g )] S 1 , o` u les nombres m i sont des multiplicit es (des entiers positifs). Cette relation montre que les entr ees de la reg ( i ) matrice D (g ) sont des combinaisons lin eaires de celles des matrices D (g ) (pour le m eme g ), les coefcients des combinaisons e tant reli es aux entr ees de S et S 1 , et aux multiplicit es m i , Dg e (g ) =
reg i cab (g ) Dab (g ). i ,a ,b (i )

(4.15)

24

Replac ant cette d ecomposition dans l equation pr ec edente implique f (g ) =


i f (g )cab (g ) Dab (g ), i ,a ,b g (i ) (i )

(4.16)

et montre que le vecteur ( f (g ))g est bien une combinaison lin eaire des vecteurs ( Dab (g ))g . Par cons equent, ceux-ci forment une base. Ce r esultat a des cons equences spectaculaires imm ediates. Puisque les vecteurs ( Dab (g ))g n forment une base de C , leur nombre doit e tre e gal a ` n . Or, pour chaque repr esentation irr eductible D (i ) , il y a n i2 vecteurs de base (le nombre de valeurs de a , b). Par cons equent, on a de suite la relation n= n i2 .
i (i )

(4.17)

Elle montre non seulement que le nombre de repr esentations irr eductibles in equivalentes est ni, mais e galement que les dimensions de celles-ci sont contraintes. Plut ot que de consid erer lespace vectoriel des fonctions d enies sur le groupe, on peut e tudier le sous-espace de celles qui sont constantes sur les classes de conjugaison, cest-` a-dire qui satisfont 1 f (g ) = f (hgh ). On pense imm ediatement aux caract` eres de repr esentations comme exemples de telles fonctions, ce qui sugg` ere de reconsid erer le th eor` eme pr ec edent en remplac ant lespace des fonctions sur le groupe par celui des fonctions qui sont constantes sur les classes. Th eor` eme 4.4 Les caract` eres des repr esentations irr eductibles forment une base orthogonale pour les fonctions constantes sur les classes de conjugaison. Montrons dabord que les caract` eres irr eductibles sont orthogonaux. Partons pour cela de la relation dorthogonalit e des e l ements de matrice, 1 n Dab (g ) Dcd (g ) =
(i ) ( j )

1 i , j a,c b,d . ni

(4.18)

En posant dabord d = c et en sommant sur c, on trouve 1 n


(i ) Dab (g ) j (g ) =

1 i , j a,b . ni

(4.19)

Mettant ensuite b = a et sommant ensuite sur a , on trouve les relations dorthogonalit e des caract` eres 1 n i (g ) j (g ) = i , j . 25 (4.20)

Pour prouver leur compl etude, partons a ` nouveau de celle des e l ements de matrice. Une fonction constante sur les classes est bien s ur une fonction sur le groupe, et a ` ce titre, sexprime comme combinaison lin eaire des e l ements de matrice des repr esentations irr eductibles: f (g ) =
i cab Dab (g ). i ,a ,b 1 n (i )

(4.21) f (hgh 1 ). Utilisant l equation

Etant constante sur les classes, elle satisfait f (g ) = pr ec edente, on trouve f (g ) = = = 1 n


i cab i ,a ,b i cab i ,a ,b b ,b b ,b h

(i ) (i ) (i ) Dab (h ) Db b ( g ) Dbb (h )

(4.22) (4.23) (4.24)

1 (i ) a,b b ,b Db b ( g ) ni

i ,a

i caa i (g ), ni

qui montre que les caract` eres irr eductibles sont effectivement complets. Il est utile pour la suite de d eterminer leur relation de compl etude explicitement. Puisque les caract` eres sont constants sur les classes, il est raisonnable den faire des fonctions de classes, ce que nous noterons par i (g ), avec g un repr esentant de la classe (ou parfois simplement i ()). Les relations dorthogonalit e s ecrivent alors k i (g ) j (g ) = i , j . n (4.25)

D enissant la matrice carr ee Vi = k / n i (g ), la relation pr ec edente exprime lunitarit e de V , sous la forme V V = I. Cette relation implique tout de suite que V V = I, ce qui, en composantes, s ecrit, k i (g )i (g ) = , , n (4.26)

et fournit la relation de compl etude recherch ee. La cons equence la plus imm ediate de ce r esultat concerne le nombre de repr esentations irr eductibles in equivalentes. Puisque les caract` eres irr eductibles forment une base dun espace vectoriel C N , avec N le nombre de classes de conjugaison, leur nombre doit e galement e tre e gal a ` N ! On obtient par cons equent que le nombre de repr esentations irr eductibles in equivalentes dun groupe ni G est e elien, gal au nombre de classes de conjugaison de G. En particulier, pour un groupe ab nous obtenons le r esultat suivant. Th eor` eme 4.5 Les repr esentations irr eductibles dun groupe ab elien sont toutes de dimension 1, et en nombre e gal a ` lordre du groupe. 26

En effet, le nombre de classes de conjugaison vaut lordre de groupe, et la formule (4.17) implique imm ediatement le r esultat. La question du nombre de repr esentations in equivalentes de dimension 1 pour un groupe quelconque est examin ee dans les exercices. On ne peut pas aller beaucoup plus loin dans la description explicite des repr esentations irr eductibles dun groupe quelconque. Dans la plupart des cas, un travail sp ecique au groupe auquel on sint eresse sera n ecessaire, pour lobtention des caract` eres et, a fortiori, des repr esentations. Il est en g en eral possible de calculer les caract` eres irr eductibles sans calculer les repr esentations elles-m emes, mais cela requiert dutiliser des informations sp eciques au groupe consid er e, et ne peut donc se faire quau cas par cas. Un exemple illustratif de cette d emarche est donn e plus bas. Il existe cependant un r esultat g en eral compl ementaire quil est utile de conna tre, mais dont la preuve d epasse le niveau de ce cours puisquelle utilise un peu de th eorie des nombres alg ebriques et de th eorie de Galois. Nous nous limiterons donc a ` le mentionner. Th eor` eme 4.6 Les dimensions des repr esentations irr eductibles dun groupe ni sont des diviseurs de lordre du groupe.

QUENCES 4.3 C ONS E Lorthogonalit e des caract` eres irr eductibles poss` ede des cons equences pratiques et int eressantes, sp ecialement pour la r eduction des repr esentations r eductibles. Tout dabord lorthogonalit e des caract` eres nous fournit un crit` ere dirr eductibilit e. D enissons pour cela la norme dun caract` ere comme D
2

= D | D =

1 n

| D (g )|2 ,
1 n g

(4.27)
(qui est le produit scalaire habituel g g

en termes du produit scalaire hermitien | = sur C N , au facteur 1/ n pr` es).

Une repr esentation quelconque est compl` etement r eductible, et donc e quivalente a ` une somme directe de repr esentations irr eductibles: D = m 1 D (1) m 2 D (2) . . . , m i N, (4.28)

o` u m i D (i ) signie la somme directe de D (i ) avec elle-m eme, m i fois. Prenant la trace de la r eduction de D (i.e. de l equation pr ec edente), on obtient que le caract` ere de D satisfait D (g ) = m i i (g ).
i

(4.29)

Nous trouvons alors que la norme carr ee du caract` ere de D , D


2

1 n

i, j

m i m j i (g ) j (g ) =

m i2 1

(4.30)

27

est un entier positif, e gal a ` 1 si et seulement si D est un caract` ere irr eductible. Dautre part, les coefcients m i eux-m emes se calculent simplement, mj = 1 n mi j (g )i (g ) = 1 n j (g ) D (g ) = j | D , (4.31)

et apparaissent comme la projection de D sur j , par rapport au produit scalaire que nous venons dintroduire. Finalement, la troisi` eme cons equence int eressante concerne la r eduction elle-m eme, cest-` adire lidentication des sous-espaces invariants. On v erie explicitement que, relativement a ` la d ecomposition (4.28) ci-dessus, les matrices Pi = ni n i (g ) D (g )
g

(4.32)

projettent respectivement sur le sous-espace qui se transforme selon la repr esentation irr eductible ( i ) D . Cest bien une famille de projecteurs orthogonaux puisque Pi P j = = ni n j n2 ni n j n2
i (g ) j (g ) D (gg ) =

g,g

ni n j n2

i (gg 1 ) j (g ) D (g ) g,g

g,g

i (g g 1 ) j (g ) D (g ) =

ni i , j n

i (g ) D (g ) = i , j Pi ,

(4.33)

o` u lon a utilis e les relations dorthogonalit e g en eralis ees de lexercice 4.5. Le calcul de la trace de Pi donne Tr Pi = m i n i , ce qui montre que Pi projette sur un espace de dimension m i n i , correspondant au sous-espace dans lequel les m i copies de D (i ) agissent. Pour sassurer de cela, on peut observer que dans la base o` u D est diagonale par blocs, les e l ements de matrice des projecteurs, ( Pi )ab = ni n i (g ) m j Dab (g ),
j g ( j)

(4.34)

valent, en vertu des relations (4.19), a,b dans les sous-espaces qui se transforment selon D (i ) , et 0 ailleurs. Avant dexaminer un exemple concret de calcul des caract` eres dun groupe, r esumons les r esultats les plus importants concernant les repr esentations irr eductibles dun groupe ni.

Un groupe ni dordre n poss` ede autant de repr esentations irr eductibles in equivalentes que de classes de conjugaison. Les dimensions n i de celles-ci, qui sont des diviseurs de n, satisfont n = i n i2 . Les caract` eres irr eductibles i (g ) sont orthogonaux et complets 1 n k i (g ) j (g ) = i , j , 1 n k i (g )i (g ) = , .

28

4.4 L E

GROUPE

S4

Commenc ons dabord par S3 , plus simple, et tr` es utile pour la suite. Il est dordre 6, et poss` ede trois classes de conjugaison, et donc trois repr esentations irr eductibles. Nous en connaissons d ej` a deux, a ` savoir la repr esentation triviale et la parit e ( ), toutes deux de dimension 1. (La repr esentation parit e est aussi appel ee la repr esentation altern ee.) Lidentit e i n i2 = 6 montre que la troisi` eme repr esentation irr eductible est de dimension 2. Pour xer les id ees, notons par a1 = (12), a2 = (23) et a3 = (13) les trois transpositions, et par a4 = (123) et a5 = (132) les deux permutations cycliques. Les trois classes de conjugaison correspondent aux partitions ()()(), ()() et ( ), de cardinal k = 1, 3 et 2 respectivement. (g ) = Le caract` ere trivial vaut 1 (g ) = (1, 1, 1), et celui de la repr esentation altern ee est 1 (1, 1, 1). Posons celui de la repr esentation de dimension 2 e gal a ` 2 (g ) = (2, a , b), o` u a , b sont deux coefcients a ` d eterminer (on a utilis e le fait e vident que i (e) = Tr In i = n i ). Lorthogonalit e des caract` eres donne tout de suite 1 |2 =
1 |2

1 (2 + 3a + 2b) = 0, 6 1 = (2 3a + 2b) = 0, 6

(4.35) (4.36)

et implique a = 0 et b = 1. La table des caract` eres de S3 est donc donn ee par le tableau suivant.

1 1
1

3 1 1 0

2 1 1 1

1 1 2

On peut e crire explicitement la repr esentation irr eductible de dimension 2 puisque cest celle qui correspond a ` laction g eom etrique, dans le plan, de S3 sur un triangle e quilat eral. On trouve trois matrices de rotation, correspondant a ` l el ement neutre et aux deux permutations cycliques, et trois matrices de r eexion: D2 (e) = D2 (a3 ) =
1 0 0 1 1 0 0 1

, ,

D2 (a1 ) =

1 2

D2 (a4 ) =

1 3 3 1 1 3 1 2 3 1

, ,

D2 (a2 ) = D2 (a5 ) =

1 2 1 2

3 , 1 1 3 3 1 1 3

(4.37) . (4.38)

Le groupe S4 est dordre 24, et poss` ede 5 classes de conjugaison. Il a deux repr esentations irr eductibles de dimension 1, la triviale et la repr esentation altern ee ( ). Les dimensions des trois autres repr esentations irr eductibles sont telles que la somme de leurs carr es doit e galer 22, ce qui ne laisse quune seule possiblilit e: une repr esentation de dimension 2, et deux repr esentations de dimension 3. 29

Choisissons dordonner les classes de conjugaison par ()()()(), ()()(), ()(), ()( ) et ( ), avec les cardinaux donn es respectivement par k = 1, 6, 3, 8 et 6. Les caract` eres sont de la forme 1 ( g ) 1 ( g ) 2 ( g ) 3 ( g ) 3 ( g ) = = = = = (1, 1, 1, 1, 1), (1, 1, 1, 1, 1), (2, a1 , a2 , a3 , a4 ), (3, b1 , b2 , b3 , b4 ), (3, c1 , c2 , c3 , c4 ). (4.39) (4.40) (4.41) (4.42) (4.43)

Les 12 coefcients pour le moment inconnus sont reli es entre eux par les relations dorthogonalit e, mais ne sont pas compl` etement d etermin es par celles-ci. Il est dailleurs plus instructif de les calculer autrement. Commenc ons par la repr esentation D2 de dimension 2. On v erie tout de suite que ( ) D2 ( ) est une repr esentation (de dimension 2), et quelle est irr eductible (voir les exercices). Par cons equent, elle doit e tre e quivalente a ` D2 ( ) elle-m eme, dont le caract` ere doit par cons equent satisfaire ( )2 ( ) = 1 ( )2 ( ) = 2 ( ). On en d eduit a1 = a4 = 0. Utilisons maintenant lexistence du sous-groupe S3 , dont on a ci-dessus la table des caract` eres. Des 24 matrices D2 ( ), s electionnons les 6 qui correspondent a ` des e l ements de S3 . Ces six matrices forment une repr esentation de S3 , dont le caract` ere vaut (2, 0, a3) puisque les trois classes de S3 sont respectivement contenues dans les 1` ere, 2` eme et 4` eme classes de S4 . Cette repr esentation de S3 est soit irr eductible, auquel cas a3 = 1 (par la table des caract` eres de S3 ), soit la somme directe 1 des deux repr esentations de dimension 1 de S3 (1 1, doivent e tre exclues), auquel cas a3 = 2. Si a3 = 2, on a 2 = (2, 0, a2, 2, 0) pour le caract` ere de S4 . Lorthogonalit e 1 |2 = + 3a2 + 16) = 0 implique a2 = 6, qui a ` son tour montre que la norme carr ee de 2 vaut 1 (4 + 3 36 + 8 4) = 6, ce qui est impossible pour une repr esentation irr eductible. 2 2 = 24 Donc a3 = 2 doit e tre rejet ee, et lautre alternative a3 = 1 conserv ee.
1 24 (2

Lorthogonalit e 1 |2 =

1 24 (2 + 3a2

8) = 0 xe a2 = 2. On a donc

2 (g ) = (2, 0, 2, 1, 0).

(4.44)

pourraient e Les deux caract` eres restants 3 et 3 tre d etermin es de mani` ere semblable, en examinant les repr esentations ( ) D3 ( ) et ( ) D3 ( ), et en utilisant les restrictions a ` S3 . Une autre voie est la suivante.

Rappelons-nous de la repr esentation de d enition de S4 . Cest une repr esentation de dimension def def est 4, dont les matrices permutent les vecteurs de base, D4 ( )|i = | (i ) . Le caract` ere de D4 def def facile a ` calculer, 4 (g ) = (4, 2, 0, 1, 0) puisque 4 (g ) est le nombre dobjets laiss es xes par def la permutation g . D4 nest pas irr eductible, et le calcul de sa norme,
def 4 2

1 (16 + 6 4 + 8 1) = 2, 24 30

(4.45)

def montre que D4 est e quivalente a ` la somme directe de deux repr esentations irr eductibles. Lune def ( ) sont delles doit e tre la repr esentation triviale D1 ( ) = 1. Effectivement, les matrices D4 des matrices de permutation, qui permutent les composantes des vecteurs de C4 . Elles laissent par cons equent invariant le sous-espace des vecteurs qui ont les quatre composantes identiques (x , x , x , x ). Cest un espace de dimension 1, sur lequel laction de la repr esentation est triviale. def On obtient donc imm ediatement que D4 D1 D3 , et def 3 ( g ) = 4 (g ) 1 (g ) = (3, 1, 1, 0, 1).

(4.46)

( ) ( ) D ( ) car Finalement, lautre repr esentation de dimension 3 ne peut e tre que D3 3 ( ) D3 ( ) ne peut pas e tre e quivalente a ` D3 ( ) (sinon le caract` ere 3 sur les 2` eme et 5` eme classes devrait e tre nul). On a donc 3 (g ) = (3, 1, 1, 0, 1).

(4.47)

La table des caract` eres de S4 est donn ee par le tableau suivant.

1 1
1

6 1 1 0 1 1

3 1 1 2 1 1

8 1 1 1 0 0

6 1 1 0 1 1

1 1 2 3 3

2 3
3

On v eriera que les relations dorthogonalit e et de norme des caract` eres sont satisfaites. 4.5 ACTION D UN
GROUPE SUR UN ENSEMBLE : POINTS FIXES ET ORBITES

Soient un groupe ni G et un ensemble ni E . On dira que G poss` ede une action sur E si les e l ements du groupe agissent dans E dune fac on qui est compatible avec la loi du groupe: pour chaque g dans G et chaque x dans E , g (x ) est e galement un e l ement de E , et les images satisfont g (g (x )) = gg (x ). Il sensuit que chaque e l ement du groupe agit dans E par permutations, et que lensemble de ces actions, pour tous les e l ements du groupe, d enit une repr esentation D (g ) de G , de dimension | E |. Dans la base sp eci ee par les vecteurs |x , les matrices D (g ) sont des matrices de permutation. La repr esentation r eguli` ere de G , D reg (g ), peut e tre de cette fac on associ ee a ` laction de G dans G lui-m eme. Une orbite de G dans E est un sous-ensemble de E obtenu en appliquant tous les e l ements du groupe sur un e l ement particulier de E . Cest donc un ensemble de la forme Gx = {g (x ) : g G } 31

(on parlera dans ce cas de lorbite de x sous G ). Il est clair que la longueur dune orbite (i.e. son cardinal) est au plus e gal a ` lordre du groupe, et quelle est en g en eral plus petite que |G |, puisque certains g auront x comme points xes. Les diff erentes orbites dans E sous G constituent une partition bien d enie de E . Si E ne contient quune seule orbite, on dit que laction de G dans E est transitive. Cest le cas lorsque nimporte pour quelle paire d el ements x , y de E , il existe un g tel que y = g (x ). Un r esultat classique, et souvent utile, concerne le nombre dorbites. Il sp ecie que Nombre dorbites de E sous G = 1 n |{x E : g (x ) = x }|, (4.48)

g G

ce qui sexprime e galement en disant que le nombre dorbites est e gal au nombre moyen de points xes du groupe. Les caract` eres de G nous permettent une d emonstration relativement ais ee de cette formule. Nous avons vu plus haut que laction de G dans E fournit une repr esentation D (g ) du groupe par des matrices de permutation. Celle-ci nest donc pas irr eductible, et contient la repr esentation triviale un certain nombre de fois, disons m 1 . Remarquons que m 1 est pr ecis ement le nombre dorbites de G dans E . Effectivement, pour chaque orbite Gx , la somme des vecteurs de base associ es aux e l ements de lorbite, cest-` a-dire v = y Gx | y , est invariant sous laction de nimporte quel g , par d enition dune orbite, et par cons equent engendre un sous-espace unidimensionnel qui se transforme sous G dans la repr esentation triviale. Invers ement, chaque orbite ne produit quune seule direction invariante sous G , donn ee par le vecteur v ci-dessus, parce que tout autre vecteur invariant supposerait lexistence, a ` lint erieur de lorbite, dune sous-orbite, ce quinterdit la d enition m eme dorbite. Nous obtenons donc que le nombre dorbites vaut le nombre de fois que la repr esentation D contient la repr esentation triviale. Dapr` es la section 4.3, ce nombre est donn e par m 1 = 1 | D = 1 n D (g ).
g G

(4.49)

Puisque les D (g ) sont des matrices de permutation, D (g ) est le nombre d el ements diagonaux de D (g ), cest-` a-dire le nombre de points xes de g dans E . La formule (4.48) est ainsi d emontr ee. 4.6 I NDICATEUR
DE

F ROBENIUS -S CHUR

Nous avons obtenu ci-dessus des r esultats g en eraux sur les repr esentations dun groupe, irr eductibles sur le corps des nombres complexes. Une telle repr esentation D peut e tre ou ne pas e tre e quivalente a ` sa complexe conjugu ee D . On peut ainsi distinguer trois types de repr esentations: 1. repr esentation complexe: D nest pas e quivalente a ` sa complexe conjugu ee, ce qui implique que son caract` ere est complexe non-r eel (voir lexercice 4.14); 2. repr esentation r eelle: D est e quivalente a ` sa complexe conjugu ee, et de plus, il existe une base dans laquelle toutes les matrices D (g ) de la repr esentation sont r eelles; 32

3. repr esentation pseudo-r eelle: D est e quivalente a ` sa complexe conjugu ee, mais il nexiste pas de base dans laquelle les matrices D (g ) de la repr esentation sont toutes r eelles. Pour une repr esentation irr eductible, il existe un crit` ere remarquablement simple permettant, a ` partir de la seule connaissance de son caract` ere, de d eterminer le type de la repr esentation. Th eor` eme 4.7 Soit le caract` ere dune repr esentation irr eductible D dun groupe ni. Alors lindicateur de Schur-Frobenius, 1 n (g 2 ) = c, (4.50)

vaut c = 0, +1, ou 1 selon que D est complexe, r eelle ou pseudo-r eelle. On peut obtenir ce r esultat assez surprenant en utilisant une fois encore les relations dorthogonalit e (4.12),
(i ) Dab (g ) Dcd (g ) = ( j )

n i , j a,c b,d . ni

(4.51)

Prenant b = c et sommant sur b, on trouve en effet 1 n D (i ) (g ) D ( j ) (g )


g ad

1 i , j a,d . ni

(4.52)

Pour D une repr esentation complexe, choisissons D (i ) = D et D ( j ) = D , de sorte que j = i correspondent a ` deux repr esentations in equivalentes. La relation pr ec edente entra ne imm ediatement l equation matricielle 1 n D (g ) D (g ) = 1 n D ( g 2 ) = 0, (4.53)

dont la trace implique c = 0.

Pour D une repr esentation r eelle ou pseudo-r eelle, nous prenons D (i ) = D ( j ) = D . Puisque D et D sont e quivalentes, il existe une matrice unitaire S telle que D = S D S 1 . Utilisant (4.51), nous obtenons D (g 2 ) = D (g ) D (g ) = D (g ) S D (g ) S 1 = n t 1 S S , nD (4.54)

et en prenant la trace, 1 n (g 2 ) = 1 Tr ( S t S 1 ). nD 33 (4.55)

Lidentit e D = S D S 1 implique D = S DS 1 , et donc aussi D = SS D ( SS )1 , qui montre que SS commute avec D . Par le lemme de Schur, SS doit e tre proportionnel a ` lidentit e, SS = cI, ou encore S = cS 1 = cS t par lunitarit e de S . Transposant cette derni` ere e galit e, on a aussi t 2 S = cS , et donc c = 1, ce qui am` ene 1 n
g

( g 2 ) = c = 1.

(4.56)

Si la repr esentation D est r eelle, il existe une base dans laquelle S = I, et donc c = +1. Invers ement, si c = +1, alors S satisfait SS = I. On peut, si n ecessaire, red enir S en la multipliant par une phase, et ainsi supposer que S ne poss` ede pas de vecteur propre de valeur propre 1. Dans ce cas S + I est inversible et permet de transformer D (g ) en une repr esentation 1 e quivalente, ( S + I) D (g )( S + I), que lon v erie e tre r eelle, [( S + I)1 D (g )( S + I)] = ( S + I)1 D (g )( S + I) = ( S + I)1 S 1 D (g ) S ( S + I) (4.57) = ( S + I)1 D (g )( S + I). Par cons equent, c = +1 si et seulement si D est r eelle, et donc c = 1 si et seulement si D est pseudo-r eelle. Le type dune repr esentation, complexe, r eel ou pseudo-r eel, est en fait intimement li ea ` la question de savoir si la r eduction du produit tensoriel D D contient ou non la repr esentation triviale (ou, de mani` ere e quivalente, a ` lexistence ou non dune forme bilin eaire sur lespace de la repr esentation, qui soit invariante sous laction de la repr esentation). Nous reviendrons sur cette question dans le chapitre suivant, consacr e aux produits tensoriels.

E XERCICES 4.1 Etablir la table des caract` eres des groupes cycliques Z N . 4.2 Montrer que le produit dune repr esentation irr eductible par une repr esentation de dimension 1 (un exemple de produit tensoriel !) est irr eductible. 4.3 Se convaincre que la restriction a ` un sous-groupe dune repr esentation dun groupe est une repr esentation du sous-groupe, mais que lirr eductibilit e nest pas pr eserv ee en g en eral. 4.4 Calculer de fac on g en erale, pour nimporte quel groupe, la r eduction de la repr esentation r eguli` ere en repr esentations irr eductibles. 4.5 G en eraliser la relation dorthogonalit e des caract` eres (4.20) et montrer que 1 n i (gg ) j (g ) = 1 n i (g g ) j (g ) = 1 i , j i (g ). ni (4.58)

g G

Partir pour cela de l equation (4.12). 34

4.6 Consid erer la matrice g D i (g ), o` u D i est une repr esentation irr eductible dun groupe ni (la somme porte sur les e l ements dune classe ). Montrer quelle commute avec D i (g ) pour tout g , et en d eduire quelle doit e tre proportionnelle a ` lidentit e. Montrer que D i ( g ) = k i () In i . ni (4.59)

4.7 Reconsid erer lalg` ebre des classes de conjugaison de lexercice 2.11. Explicitement, les sommes sur les classes s ecrivent g ,g g g = N quations doivent g g . Ces e e tre v eri ees par les matrices de nimporte quelle repr esentation irr eductible, D i ( g ) D i ( g ) = N
g

D i (g ).

(4.60)

g , g

Par les r esultats de lexercice pr ec edent, montrer que lon obtient k k i ()i () = n i2 N

k i ( ). ni

(4.61)

En utilisant les relations de compl etude des caract` eres, obtenir la formule pour les constantes de structure N =

k k n

1 ()i ()i ( ). ni i

(4.62)

4.8 Consid erer la repr esentation irr eductible D3 de S4 , et calculer sa r eduction en repr esentations irr eductibles de S3 . 4.9 La repr esentation conjugaison, d enie par D conj (g )|g = |gg g 1 , nest jamais irr eductible (voir chapitre 3). Calculer sa r eduction en irr eductibles pour les groupes S3 et S4 . Pour cela, utiliser les r esultats des exercices 2.9 et 3.4, a ` savoir que conj (g ) = |C (g )| = n / k . 4.10 Calculer, a ` partir de la table des caract` eres de S4 , celle de A4 (utiliser les r esultats de lexercice 2.16). Prendre garde que les caract` eres peuvent e tre complexes ! 4.11 Montrer que les repr esentations irr eductibles de dimension 1 dun groupe ni sont exactement donn ees par les repr esentations de lab elianis e de G , cest-` a-dire du quotient G /[G , G ] (voir lexercice 2.13). 4.12 Etudier les repr esentations unidimensionnelles des groupes di edraux Dn , d enis au chapitre 1. (Utiliser lexercice pr ec edent et lexercice 2.14). 4.13 Montrer que deux repr esentations compl` etement r eductibles in equivalentes ne peuvent avoir le m eme caract` ere. 4.14 Montrer quune repr esentation compl` etement r eductible poss` ede un caract` ere r eel si et seule ment si elle est e quivalente a ` sa complexe conjugu ee, cest-` a-dire que D = D est e quivalent a ` D D. 35

C HAPITRE 5

P RODUITS

TENSORIELS

Dans toutes les situations physiques qui poss` edent un groupe de sym etrie, il est essentiel de savoir comment les variables et quantit es physiques se transforment sous ce groupe. Il faut pour cela d eterminer les repr esentations dans lesquelles se transforment les diverses quantit es, et ainsi les regrouper en multiplets, interpr et es comme vecteurs despaces vectoriels (les espaces des repr esentations). Dans de nombreux cas, il est n eanmoins plus commode de voir ces multiplets, non pas comme des vecteurs, mais comme des tenseurs, cest-` a-dire des e l ements de produits tensoriels portant plusieurs indices vectoriels. Cest le cas par exemple pour les champs e lectrique et magn etique. Sous le groupe de Lorentz, ces six composantes se transforment dans une repr esentation irr eductible de dimension 6, et forment donc les composantes dun vecteur de 6 6 C (ou R ). Ce nest cependant pas ce que lon fait habituellement, puisque lon met ces six composantes dans un tenseur de rang 2 antisym etrique, F = F . Les deux descriptions sont e quivalentes, mais l ecriture tensorielle est plus simple que l ecriture vectorielle pour sp ecier la repr esentation elle-m eme. Cest a ` cette description duale vecteur/tenseur que ce chapitre est consacr e. NE RALIT E S 5.1 G E Soient E et F deux espaces vectoriels sur C, de dimensions m et n et de bases {ei } et { f j } respectivement. Le produit tensoriel E F est lespace d eni par EF= t=
j

t j fj , t j E = t =

i, j

t i j ei f j , t i j C .

(5.1)

La premi` ere e criture de E F montre quun e l ement du produit tensoriel, un tenseur donc, est un vecteur de F , dont les composantes sont des vecteurs de E . Un tenseur de E F est dans ce sens un vecteur de vecteurs: t 11 t 21 . . . 1 t t m 1 E 2 t = t 12 t= (5.2) . 22 . . t . tn F . . m2 t E . . .
F

dans la base e1 f 1 , e2 f 1 , e3 f 1 , . . . , em f 1 , e1 f 2 , e2 f 2 , . . . 36

Les produits ei f j forment une base de E F , et les t i j sont les coefcients du tenseur t dans cette base. Ici t est un tenseur de rang 2, puisquil appartient a ` un espace qui est un produit tensoriel de deux espaces vectoriels. Les deux indices i et j , qui prennent les valeurs entre 1 et m ou n , sont des indices vectoriels de type E et F respectivement. Il y a en quelque sorte deux structures en couches. Une structure de type E , qui est ici la structure interne, et une structure de type F , externe. Aucune des deux structures ne pr evalant sur lautre, on peut de m eme d enir E F comme e tant les vecteurs de E dont les composantes sont des vecteurs de F . Dans ce cas, les deux structures E et F sont e chang ees, et le m eme tenseur t s ecrit alors t 11 t 12 . . . 1n t F t 21 (5.3) t= 22 t . . . 2n t F . . .
E

Si E = C est une espace unidimensionnel, le produit tensoriel C F est identique a ` F luim eme, et de m eme E C = E (le parenth` esage int erieur napporte aucune structure suppl ementaire). Notons quun tenseur g en eral poss` ede (dim E ) (dim F ) composantes, et ne s ecrit pas comme un produit tensoriel de deux vecteurs uv = u i ei v j fj = u i v j ei f j . (5.4)

i, j

Seuls les tenseurs qui ont leurs composantes factoris ees, t i j = u i v j , sont des produits tensoriels de deux vecteurs. Par contre un tenseur quelconque est une combinaison de produits vectoriels de vecteurs (par exemple des ei f j !). Un espace produit tensoriel peut donc se voir de deux mani` eres diff erentes. Cest dabord un espace qui sexprime naturellement en termes despaces vectoriels plus petits, et dont la structure est compl` etement d etermin ee par ceux-ci, qui apparaissent d` es lors comme plus fondamentaux. Ce point de vue d ecrit les e l ements du produit tensoriel, les tenseurs, comme des objets a ` deux indices vectoriels. Mais comme le montre l ecriture (5.2), lespace produit tensoriel est e galement un espace vectoriel, et a ` ce titre, poss` ede des e l ements qui peuvent e tre d ecrits avec un seul indice. Un tenseur est donc e galement un vecteur. La diff erence entre les deux est purement notationnelle: les deux indices du tenseur ont e t e condens es en un seul indice. Dans l equation (5.2) ci-dessus, on peut d ecider doublier les parenth` eses int erieures, et de consid erer le r esultat comme un grand vecteur de dimension mn , dont les composantes seront comme dhabitude num erot ees de 1 a ` mn . En faisant cela, on sera effectivement pass e dune notation a ` deux indices a ` une notation a ` un seul indice, selon la correspondance 11 1, 21 2, 31 3, ... 37

Ce que lon vient de dire des tenseurs de rang 2 peut e tre g en eralis e aux tenseurs de rang plus e lev e. Un tenseur de rang k est un e l ement dun espace qui est le produit tensoriel de k espaces vectoriels, et poss` ede donc des composantes rep er ees par k indices vectoriels. Il peut e tre consid er e comme un vecteur de vecteurs de vecteurs ... (k fois), et son e criture comme vecteur colonne, analogue a ` (5.2) ou (5.3) comporte k niveaux de parenth` eses. Comme dans le cas du rang 2, la notation multi-indice peut e tre remplac ee par une notation a ` un seul indice, exprimant le fait quun tel tenseur est e galement un vecteur. La distinction tenseur/vecteur est donc mati` ere de notation uniquement, mais le point de vue tensoriel sav` ere beaucoup plus utile lorsquil sagit de d ecrire des transformations lin eaires qui se ram` enent a ` des transformations lin eaires dans les espaces dont on prend le produit tensoriel. Cest le cas notamment pour les repr esentation de groupes, dans les cas o` u des repr esentations de grande dimension peuvent se voir comme produits tensoriels de repr esentations plus petites, et donc plus simples. Si A : E E et B : F F sont deux applications lin eaires, on peut d enir lapplication produit A B en juxtaposant simplement les deux actions de A et B sur leur structure respective: A nagit que sur les indices de type E , et B sur ceux de type F . On obtient laction de A B sur les composantes dun tenseur t : ( A B) ti j = Aik B t k .
k j

(5.5)

De m eme quun vecteur se transforme lin eairement, un tenseur se transforme de fac on multilin eaire, chacun de ses indices se transformant lin eairement, comme le fait nimporte quel indice vectoriel. Par rapport a ` l ecriture vectorielle en deux couches utilis ee plus haut en (5.2), l ecriture matricielle de A B fait appara tre une structure en blocs,
1A B1 2 B A 1 A B = B3 A 1

1A B2 2 B2 A 3 A B2

1A B3 2 B3 A 3 A B3

(5.6)

Notons que les applications lin eaires produits de cette forme ne constitutent pas les transformations lin eaires les plus g en erales dans E F . Si on se restreint aux transformations inversibles, elles forment un sous-groupe G L (m ; C) G L (n ; C) du groupe G L (mn ; C) de toutes les transformations lin eaires inversibles de E F . On v eriera e galement les deux identit es suivantes, ( A B ) ( A B ) = ( A A ) ( B B ), Tr A B = (Tr A)(Tr B ). (5.7) (5.8)

38

5.2 A PPLICATION

SENTATIONS D UN GROUPE AUX REPR E

Lapplication de cela aux repr esentations de groupes est imm ediate, mais instructive et im portante. Consid erons D et D deux repr esentations dun groupe G , e ventuellement identiques, despaces de repr esentation V et V . Dans les produits tensoriels D (g ) D (g ), les matrices D (g ) et D (g ) ne voient que leur propre espace vectoriel et ninterf` erent pas entre elles. En vertu de (5.7), il est imm ediat de v erier alors que les D (g ) D (g ) d enissent une nouvelle repr esentation de G , despace V V , appel ee la repr esentation produit tensoriel et not ee D D . Les e l ements de V V seront appel es des tenseurs sous le groupe G . La repr esentation produit D D est unitaire si D et D le sont.

Par contre, et cest important pour nous, si D et D sont des repr esentations irr eductibles, leur produit tensoriel D D nest jamais irr eductible, sauf si D ou D est de dimension 1. Puisque la repr esentation produit D D est compl` etement r eductible, on peut la r eduire en une s erie de repr esentations irr eductibles, D D = m i Di ,
i

(5.9)

appel ee la s erie de Clebsch-Gordan. Pour des repr esentations D , D quelconques, il nest pas possible den dire beaucoup plus a ` ce niveau de g en eralit e. Par contre lorsque D = D , la fac on dont cette r eduction seffectue est a ` la base des m ethodes tensorielles pour les repr esentations des groupes lin eaires (voir le chapitre 10). Comme exemple, consid erons D = D = D2 , la repr esentation irr eductible de dimension 2 de S3 . Nous avons e crit explicitement au chapitre 4 les six matrices suivantes de cette repr esentation D2 (e) = D2 (a3 ) =
1 0 0 1 1 0 0 1

, ,

D2 (a1 ) =

1 2

D2 (a4 ) =

1 3 3 1 3 1 1 2 3 1

, ,

D2 (a2 ) = D2 (a5 ) =

1 2 1 2

3 , 1 1 3 3 1 1 3

(5.10) . (5.11)

Le produit tensoriel D D est de dimension 4 et ne peut donc pas e tre irr eductible. Du caract` ere de la repr esentation, D (g ) = (2, 0, 1), on tire tout de suite, par (5.8), celui de la repr esentation produit, D D (g ) = D (g ) D (g ) = (4, 0, 1). (5.12)

Une particularit e de cette repr esentation, qui aura son importance par la suite, est d etre orthogot nale, toutes les matrices satisfaisant D (g ) [ D (g )] = I.

La norme carr ee de ce caract` ere vaut 1 6 (16 + 0 + 2 1) = 3, ce qui implique que D D est ( equivalente a ` ) la somme directe de trois repr esentations irr eductibles. On v erie facilement, a ` laide de la table des caract` eres de S3 e tablie au chapitre 4, que
D2 D2 = D1 D1 D2 = 1 D2 .

(5.13)

La r eduction explicite de D2 D2 dans ce cas particulier est repr esentative du cas g en eral. 39

Lespace de la repr esentation produit D D est de dimension 4. Par combinaisons lin eaires, on peut choisir la base particuli` ere suivante: (A) = {ei e j e j ei } = e1 e2 e2 e1 , (S) = {ei e j + e j ei } = 2 e1 e1 , e1 e2 + e2 e1 , 2 e2 e2 . (5.14) (5.15)

La partie antisym etrique (A) est de dimension 1, la partie sym etrique (S) de dimension 3. Montrons dabord que ces deux sous-espaces, compl ementaires orthogonaux lun de lautre, sont invariants sous D D . Laction de D D sur la partie antisym etrique donne ( D D )(g )(e1 e2 e2 e1 ) = = =
i, j

(ei e j ) Di 1 (g ) D j 2(g ) (ei e j ) Di 2 (g ) D j 1 (g )

i, j

(ei e j ) Di 1 (g ) D j 2 (g ) (e j ei ) D j 2 (g ) Di 1 (g ) (ei e j e j ei ) Di 1 (g ) D j 2(g ) (5.16)

i, j

= (e1 e2 e2 e1 ) [ D11 (g ) D22 (g ) D21 (g ) D12 (g )].

On en d eduit que la direction antisym etrique du produit tensoriel est effectivement invariante, mais e galement que la restriction de D D a ` ce sous-espace agit par multiplication par det D (g ) = (g ), cest-` a-dire la repr esentation altern ee. La partie antisym etrique du produit tensoriel correspond donc a ` la repr esentation irr eductible D1 = dans la s erie de Clebsch-Gordan (5.13). Comme la repr esentation produit est unitaire, la partie sym etrique est e galement invariante, mais dans ce cas pr ecis, elle nest pas irr eductible, a ` cause du caract` ere orthogonal de D . Effectivement, on trouve dans la partie sym etrique le sous-espace de dimension 1 g en er e par la combinaison e1 e1 + e2 e2 , qui constitue un sous-espace invariant: ( D D )(g )
i

ei ei = = =

k ,

ek e ek e

Dki (g ) Di (g )
i

Dki (g ) Dit (g )
i

k ,

k ,

ek e k =

ek ek ,

(5.17)

o` u nous avons utilis e explicitement lorthogonalit e de D . Le vecteur e1 e1 + e2 e2 g en` ere donc un sous-espace invariant, sur lequel la repr esentation produit agit trivialement, par la repr esentation triviale de dimension 1. La partie sym etrique contient donc la repr esentation triviale de dimension 1, et la repr esentation irr eductible D2 de dimension 2, correspondant au sous-espace compl ementaire dans la partie sym etrique. On a ainsi obtenu la r eduction compl` ete du produit D D . La r eduction du produit dune repr esentation par elle-m eme que lon vient deffectuer est en partie compl` etement g en erale: les parties sym etrique et antisym etrique sont toujours des sousespaces invariants. D ependant des cas, elles peuvent e tre n eanmoins r eductibles, comme la partie 40

sym etrique dans lexemple que lon vient dexaminer. Notons que la distinction sym etrique et antisym etrique na de sens que pour un produit tensoriel de deux espaces vectoriels identiques, et nest donc utile que dans le cas de la r eduction du produit D D de deux repr esentations de m eme dimension. Cependant, les calculs explicites ci-dessus montrent que les parties sym etrique et antisym etrique ne sont pas invariantes en g en eral, sauf dans le cas D = D . Les propri et es que lon vient de d ecrire sont pr ecis ement celles que lon utilise pour d ecrire les transformations des champs e lectrique et magn etique sous le groupe de Lorentz. Les composantes E i et B i peuvent e tre mises dans la partie antisym etrique dun tenseur de rang 2, F = F , qui se trouve e tre irr eductible sous le groupe de Lorentz (comme ci-dessus). Cette situation, que la partie antisym etrique est irr eductible, est g en erale pour les groupes de matrices (les groupes lin eaires). Lavantage de cette e criture tensorielle par rapport a ` une e criture vectorielle, avec un indice qui prend six valeurs, est que la transformation du tenseur sobtient directement a ` partir de la transformation fondamentale du groupe de Lorentz, de dimension 4, a ` savoir celle qui agit sur lespace de Minkowski lui-m eme (et donc sur les coordonn ees despace-temps, qui portent un seul indice de Minkowski): F
F

(
1< 4

)F .

(5.18)

Puisque les matrices sont explicitement connues, les transformations des champs E et B le sont e galement, sans quil ait e t e n ecessaire de calculer les matrices de dimension six. Cette repr esentation irr eductible de dimension six peut ainsi e tre d ecrite en termes de la repr esentation fondamentale de dimension quatre. De plus le crit` ere qui lidentie dans le produit tensoriel est tr` es simple, puisquil correspond a ` une propri et e dantisym etrie sous l echange des deux indices. Cette fac on de voir des repr esentations irr eductibles comme parties invariantes de repr esentations produits est compl` etement g en erale, et porte le nom de m ethode tensorielle. Laspect pratique dun tel point de vue est quil r eduit des repr esentations de grande dimension a ` la connaissance de repr esentations plus petites, plus fondamentales. Cependant la m ethode nest r eellement utile que si les parties irr eductibles des produits tensoriels sont facilement identiables (par exemple en termes de propri et es de sym etries sous l echange dindices). Les m ethodes tensorielles sont particuli` erement utiles pour les groupes lin eaires, pour deux raisons. Dune part, toutes les repr esentations irr eductibles sont contenues dans une puissance tensorielle dune (ou e ventuellement plusieurs) repr esentation fondamentale, et sont donc dans ce sens, des repr esentations tensorielles. Dautre part, les repr esentations irr eductibles contenues dans les produits tensoriels multiples sont identi ees univoquement en termes de propri et es de sym etries, ou dantisym etries, sous permutations dindices 3 . Ceci signie pratiquement que nimporte quel ensemble de quantit es se transformant de mani` ere irr eductible sous un groupe lin eaire peut e ependantes dun tenseur t i j k ... ayant tre mis en relation avec les composantes ind certaines sym etries sous permutations de ses indices (qui sont tous du m eme type vectoriel). Les m ethodes tensorielles pour les groupes lin eaires seront d evelopp ees plus loin. Nous verrons ainsi quil existe un lien tr` es direct et tr` es profond entre les repr esentations irr eductibles des
le cas de S3 analys e dans le texte la d ej` a illustr e, il nous faudra nuancer cette assertion dans le cas de groupes poss` edant des repr esentations orthogonales, comme les groupes orthogonaux, et en particulier le groupe de Lorentz. Dans ces cas, les parties sym etriques ne sont pas tout a ` fait irr eductibles.
3 Comme

41

groupes lin eaires et les groupes de permutations, dont les repr esentations irr eductibles expriment pr ecis ement des propri et es de sym etrie sous l echange dindices. Ces derni` eres seront examin ees au chapitre 7. SENTATIONS 5.3 R EPR E ELLES ET PSEUDO - R E ELLES COMPLEXES , R E

La discussion qui pr ec` ede sur les partie sym etrique et antisym etrique du produit tensoriuel V V permet d etablir une relation int eressante avec lindicateur de Frobenius-Schur d evelopp e a ` la section 4.6. On saperc o t rapidement dune telle relation lorsquon e crit les caract` eres de la repr esentation produit D D sur les deux parties invariantes. En effet, si D S D et D A D d esignent respectivement la restriction de D D a ` la partie sym etrique et antisym etrique, le r esultat de lexercice 5.2 montre que leurs caract` eres sont donn es, en termes du caract` ere de D , par 1 2 D S D (g ) = [ D (g ) + D (g 2 )], 2 Remarquons tout dabord que la quantit e 1 | D D = 1 n D D (g ) = 1 n
2 D (g ) = D | D

1 2 D A D (g ) = [ D (g ) D (g 2 )]. 2

(5.19)

(5.20)

est e gale a ` la multiplicit e de la repr esentation triviale dans la r eduction de D D . Pour D irr eductible, la deuxi` eme e criture montre que ce nombre est nul si D est complexe ( D et D sont in equivalentes), et quil vaut 1 si D est r eelle ou pseudo-r eelle ( D et D sont e quivalentes). De plus, on a imm ediatement que lindicateur de Frobenius-Schur est e gal a ` c= 1 n D (g 2 ) = 1 n D S D (g ) D A D (g ) = 1| D S D 1 | D A D , (5.21)

et vaut donc +1 si la repr esentation triviale appartient a ` la partie sym etrique, 1 si elle est dans la partie antisym etrique, et 0 si elle nappara t ni dans lune ni dans lautre. Examinons la signication de ceci. Que la repr esentation triviale apparaisse dans la partie sym etrique signie quil existe un sousespace vectoriel unidimensionnel (une direction), sp eci e disons par v= Mi j ei e j = 1 2 Mi j [ei e j + e j ei ], (5.22)

i, j

i, j

avec M sym etrique, qui se transforme de fac on triviale sous laction de la repr esentation produit: ( D D )(g ) v = ( D D )(g ) = Mi j ei e j =
k

i, j

k ,

ek e

Dki (g ) D j (g ) Mi j
i, j

D (g ) M D t (g )
k ,

ek e = 42

k ,

Mk ek e = v.

(5.23)

La forme sym etrique M , que lon peut interpr eter comme une forme bilin eaire sur le produit cart esien V V , est donc invariante sous laction de la repr esentation M = D M D t . M est d enie a ` un multiple pr` es. Si la repr esentation triviale appara t dans la partie antisym etrique, le m eme raisonnement m` ene a ` une forme bilin eaire antisym etrique invariante sous laction du groupe. Le r esultat obtenu a ` la section 4.6 concernant la valeur de lindicateur de Frobenius-Schur, a ` savoir c = +1 si D est r eelle et c = 1 si elle est pseudo-r eelle, m` ene a ` la nouvelle caract erisation suivante des repr esentations: 1. une repr esentation irr eductible D est complexe si elle nadmet pas de forme bilin eaire invariante; de mani` ere e quivalente, la repr esentation triviale nappara t pas dans la r eduction de D D ; 2. une repr esentation irr eductible D est r eelle si elle admet une forme bilin eaire sym etrique invariante, unique a ` une constante pr` es; dans ce cas, la repr esentation triviale appara t exactement une fois dans la partie sym etrique de la r eduction de D D ; 3. une repr esentation irr eductible D est pseudo-r eelle si elle admet une forme bilin eaire antisym etrique invariante, unique a ` une constante pr` es; dans ce cas, la repr esentation triviale appara t exactement une fois dans la partie antisym etrique de la r eduction de D D .

E XERCICES 5.1 Soit D une repr esentation de dimension strictement plus grande que 1. Montrer que D D laisse invariantes les parties sym etrique et antisym etrique de lespace produit. Quen est-il dans le cas du produit D D si D nest pas e gale a ` D mais est e quivalente a ` D? Que pourriez-vous dire de la r eduction de D D D ? 5.2 D enotons par D S D et D A D les repr esentations agissant dans la partie sym etrique respectivement antisym etrique de lespace produit. Montrer que les caract` eres de ces deux repr esentations sont donn es par 1 2 (g ) + D (g 2 )], D S D (g ) = [ D 2 1 2 D A D (g ) = [ D (g ) D (g 2 )]. 2 (5.24)

en repr 5.3 Dans S4 , r eduire le produit D3 D3 esentations irr eductibles.

5.4 Soit D une repr esentation unitaire, et D sa complexe conjugu ee (dont les matrices sont les matrices D (g )). Montrer que le sous-espace de dimension 1 g en er e par i ei ei est invariant sous la repr esentation produit D D , et se transforme de fac on triviale. 43

5.5 Soient D1 , D2 , D3 trois repr esentations irr eductibles dun groupe ni. Montrer que la r educ D contient D . tion du produit D1 D2 contient D3 si et seulement si la r eduction de D1 3 2 En d eduire la condition n ecessaire que
dim D1 dim D2 dim D3 max( dim D2 , dim D1 ).

(5.25)

5.6 Nous avons vu que dans S3 , le produit tensoriel D2 D2 contient toutes les repr esentations irr eductibles. On peut g en eraliser cette question a ` nimporte quel groupe de la mani` ere suivante: existe-t-il une repr esentation irr eductible D telle que les puissances tensorielles D m contiennent toutes les repr esentations irr eductibles ? Si la r eponse a ` cette premi` ere question est n egative, on pourrait demander quel nombre minimal de repr esentations D1 , ..., Dk irr eductibles distinctes faut-il prendre pour que leurs produits tensoriels multiples contiennent toutes les irr eductibles ? Examiner cette question pour S4 .

44

C HAPITRE 6

E XPLOITER

TRIES LES SYM E

Il est sans doute temps maintenant de voir comment les concepts et techniques vus dans les sections pr ec edentes peuvent e tre mis a ` prot dans des situations particuli` eres: dans une situation physique concr` ete, quelles sont les cons equences dune sym etrie, et invers ement, comment utiliser la sym etrie pour obtenir des informations pratiques ? Nous illustrerons cela dans un exemple m ecanique simple, qui a lavantage de bien se pr eter a ` cette analyse. Il sagit dun syst` eme de trois masses e gales, reli ees entre elles par des ressorts de m eme constante de rappel et de m eme longueur au repos L , de sorte qu` a l equilibre, les trois masses soient plac ees aux trois sommets dun triangle e quilat eral. Les masses se meuvent dans le plan contenant le triangle. Sous ces conditions, le syst` eme est clairement invariant sous le groupe de sym etrie du triangle, le groupe de permutations S3 . Cest donc le groupe de sym etrie du probl` eme.
y 2

Les positions des trois masses, chacune par rapport a ` sa position d equilibre, sont rep er ees par des coordonn ees planaires r1 = (x1 , y1 ), r2 = (x2 , y2 ) et r3 = (x3 , y3 ), comme indiqu e sur la gure ci-dessus. D enotons e galement par L i j le vecteur donnant la position d equilibre de la masse j dans le rep` ere associ ea ` la masse i , de sorte que L i j = L ji . Tous ces vecteurs ont m eme norme L, e gale a ` la longueur au repos des trois ressorts. Dans lapproximation des petits d eplacements (approximation lin eaire), les trois masses se d eplacent autour de leur position d equilibre, et les e quations du mouvement s ecrivent (voir exercice 6.1) 12 L 12 + (r3 r1 ) L 13 mr 1 = (r2 r1 ) L 21 L 21 + (r3 r2 ) L 23 mr 2 = (r1 r2 ) L 31 L 31 + (r2 r3 ) L 32 mr 3 = (r1 r3 ) L 13 , L 23 , L 32 , L (6.1) (6.2) (6.3)

i j = L i j / L est le vecteur unitaire dans la direction L i j . o` uL 12 = ei/3 = ( 1 , Utilisant les expressions des vecteurs L 2 45

3 2 ),

13 = (1, 0) et L 23 = ei/3 = L

1 , 23 ), et posant z = (r1 , r2 , r3), les trois e quations ci-dessus peuvent se r ee crire comme une (2 seule e quation vectorielle a ` six composantes,

z = K z,

avec

5 3 3 3 3 1 K = 3 3 4m
4 0 0 0

1 3 3 3 2 0 0 6 3 1 3 3

4 0 0 0 1 3 3 3 5 3 3 3

(6.4)

Comment le groupe de sym etrie agit-il sur les coordonn ees des trois masses ? Prenons par exemple la transformation a3 , qui effectue une r eexion par rapport a ` la droite verticale passant par le point d equilibre de la masse 2. Il nest pas difcile de voir que a3 agit sur les coordonn ees en remplac ant (x1 , y1 , x2 , y2 , x3 , y3) par ( x3 , y3 , x2, y2 , x1 , y1 ), cest-` a-dire quelle agit sur z par la matrice 0 0 0 D6 (a3 ) = 0
0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0

0 0 1

0 1 1 0 0 0

1 0 0 1

= D def (a3 ) D2 (a3 ),(6.5)

o` u D def (a3 ) est la matrice de la repr esentation de d enition du groupe S3 associ ee a ` l echange des objets 1 et 3 (voir l equation (3.10)), et D2 (a3 ) est la matrice de la repr esentation irr eductible de dimension 2 pour cette m eme permutation, donn ee en (5.11). Lapparition du produit tensoriel nest pas accidentelle, et provient de ce que le vecteur z lui-m eme est clairement un e l ement du produit tensoriel R3 R2 , z = (r1 , r2 , r3) = (rai ) = (x1 , y1, x2 , y2 , x3 , y3 ), o` u a est lindice pour le num ero des masses, et i celui des coordonn ees planaires. De ce point de vue, le groupe agit sur les num eros des masses par permutations, cest-` adire par la repr esentation de d enition, et sur les coordonn ees par son action g eom etrique par la repr esentation D2 discut ee en (5.10) et (5.11). De cela il suit que nimporte quelle transformation de sym etrie de S3 agit sur z par une repr esentation de dimension 6, e gale au produit tensoriel de D def et D2 , : z D6 ( )z , D6 ( ) = D def ( ) D2 ( ). (6.7) (6.6)

Ces matrices D6 ( ) traduisent laction de la sym etrie, mais au fond, quont-elles de si particulier ? La propri et e fondamentale quelles poss` edent, et qui leur vaut leur titre de sym etrie, cest de commuter avec la matrice K . Gr ace a ` cela, on voit, en les appliquant sur les e quations du mouvement (6.4), quelles pr eservent lespace des solutions: si z est une solution de ces e quations, alors D6 ( )z en est e galement une, correspondant aux conditions initiales transform ees par D6 ( ). Exprim e autrement, transformer et puis faire e voluer dans le temps, ou faire e voluer dans le temps et puis transformer donnent toutes les deux le m eme r esultat. Cest bien cela la d enition dune sym etrie: 46

Une transformation de sym etrie commute avec l evolution dynamique du syst` eme.

Comment maintenant extraire de linformation de la pr esence de la sym etrie ? Revenons dabord un instant sur les m ethodes g en eralement utilis ees pour r esoudre des e quations du type de (6.4), et qui ne prennent pas la sym etrie en compte. Une des mani` eres habituelles de r esoudre les e quations du type (6.4) est dintroduire les modes normaux de vibration. Ceux-ci sont des solutions sp eciales des e quations du mouvement, pour lesquelles les composantes oscillent de fac on synchrone. Un mode normal poss` ede donc la forme n (t ) = v cos(t + ). Lorsquon lins` ere dans (6.4), on trouve que v doit e tre un vecteur propre de K , dont la valeur propre d etermine la fr equence propre par = 2 . Notons que dans le cas dune fr equence propre nulle, le mode propre s ecrit n (t ) = v (t + b) et d ecrit un d eplacement uniforme dans la direction v . La solution g en erale s ecrit comme une combinaison lin eaire des modes normaux z (t ) = ees spectrales de K d eterminent la forme des modes normaux (les i Ai v i cos(i t + i ). Les donn v i ) et les fr equences propres correspondantes. Les constantes arbitraires Ai , i (et e ventuellement (0). les bi ) sont quant a ` elles d etermin ees par les conditions initiales z (0), z Nous avons vu plus haut que lespace des solutions des e quations du mouvement est laiss e invariant par les matrices D6 ( ); il constitue donc un espace de repr esentation pour la repr esentation D6 de dimension 6 du groupe S3 . Sa r eduction en repr esentations irr eductibles permet didentier des sous-espaces invariants caract eris es par des propri et es de transformation sp eciques sous le groupe de sym etrie. Puisque K commute avec la repr esentation, elle peut e tre diagonalis ee dans chaque sous-espace invariant correspondant a ` un type donn e de repr esentation irr eductible, ce qui fournit des modes normaux avec des propri et es de sym etrie bien pr ecises. Invers ement, l etude des sous-espaces invariants permet didentier ces modes normaux. Comme nous le verrons plus loin, cette identication peut e tre ambigu e lorsquune repr esentation irr eductible appara t plusieurs fois dans la r eduction. Une information suppl ementaire est alors n ecessaire pour compl eter lidentication des modes normaux. Commenc ons par r eduire la repr esentation D6 = D def D2 . Les caract` eres de D def et de D2 e tant connus, 2 = (2, 0, 1) et def = (3, 1, 0), on tire imm ediatement, par produit, celui de D6 , 6 = (6, 0, 0). (6.8)

Cest le caract` ere de la repr esentation r eguli` ere de S3 , ce qui implique que D6 est e quivalente a ` la repr esentation r eguli` ere. On en tire imm ediatement sa r eduction en irr eductibles (voir lexercice 4.4):
D6 = D1 D1 D2 D2 .

(6.9)

Il sagit maintenant didentier les sous-espaces invariants correspondants. Nous pouvons pour cela recourir aux projecteurs Pi introduits au chapitre 4. Le projecteur P1 qui projette sur le sous-espace qui se transforme selon la repr esentation triviale 47

D1 , vaut
3 3 3 1 0 0 23 2 3 3 3 1

P1 =

1 6

D6 ( ) =

1 12

0 2 3 3 0 2 3 0 0 0 0 4 2 3 0 2 3 3 0 2 3

3 1 0 . 2 3 1

(6.10)

Puisque P1 est de rang 1, il doit s ecrire comme P1 = |v 1 v 1| pour un certain vecteur v 1 de norme 1. On trouve facilement v1 = 1 3 3 1 1 , , 0, , , . 2 6 6 3 2 (6.11)

Physiquement, cette solution correspond a ` un mode normal dans lequel les masses oscillent le long des trois vecteurs sortants, comme indiqu e sur la partie gauche de la gure ci-dessous. Ce mode est invariant sous le groupe de sym etrie, et appartient donc bien a ` la repr esentation triviale.

sur le sous-espace se transformant selon la repr , de Le projecteur P1 esentation altern ee D1 dimension 1 e galement, s ecrit

P1 =

1 6

1 3 3 3 1 2 2 3 ( ) D6 ( ) = 0 12 0 1 3 3 3

2 2 3 4 0 2 2 3

0 1 0 3 0 2 0 0 0 1 0 3

3 3 2 3 . 0 3 3

(6.12)

= |v Comme pour P1 , on trouve que P1 2 v 2 | avec

v2 =

3 1 1 3 1 , , , 0, , . 6 2 6 2 3

(6.13)

Les directions selon lesquelles les masses se d eplacent sont indiqu ees par les vecteurs sur la gure droite ci-dessus. La conguration des trois vecteurs est invariante sous les rotations (e, a4 , a5 ), et sinversent lorsquon applique les r eexions (a1 , a2, a3 ), conrmant que ce mode se transforme sous S3 dans la repr esentation altern ee. On peut v erier que ces d eplacements ne provoquent pas 48

d etirement des ressorts en observant que les diff erences r j ri sont perpendiculaires aux vecteurs L i j . Cest donc un mode de rotation, qui devrait e tre associ ea ` un vecteur propre de la matrice K de valeur propre nulle, cest-` a-dire a ` un mode normal de fr equence nulle. Notons quil doit e tre interpr et e comme un mode de rotation (inniment) lente, en accord avec lapproximation des petits d eplacements (si la rotation e tait rapide, les ressorts s etireraient a ` cause de la force centrifuge). Il reste a ` identier quatre modes normaux, r epartis en deux paires, les deux modes constituant chaque paire se transformant lun dans lautre selon une repr esentation irr eductible de dimension 2. Lune des deux paires se trouve facilement, gr ace a ` lobservation suivante. Puisque D6 = D def D2 et que la d ecomposition de la repr esentation de d enition de S3 se d ecompose en def D = D1 D2 , on a D6 = [ D1 D2 ] D2 = [ D1 D2 ] [ D2 D2 ] = D2 [ D2 D2 ]. (6.14) Par cons equent, la direction dans R3 invariante sous D def tensoris ee avec R2 se transforme selon D2 . Revoyant l equation (6.6), on voit que la direction invariante sous D def est celle pour laquelle les coordonn ees des trois masses sont les m emes, z = (r , r , r ). Une base de cet espace est donn e par les deux modes normaux suivants: 1 v 3 = (1, 0, 1, 0, 1, 0) , 3 1 v 4 = (0, 1, 0, 1, 0, 1). 3 (6.15)

Puisque les coordonn ees des trois masses sont identiques, elles se meuvent simultan ement dans la m eme direction, cest-` a-dire que tout le syst` eme est translat e en bloc, sans que les ressorts ne soient e tir es ou comprim es. La fr equence propre de ces deux modes doit donc e tre nulle, tout comme celle de v 2 . Les deux modes v 3 et v 4 correspondent respectivement a ` une translation horizontale et verticale, comme repr esent es ci-dessous.

Finalement pour les deux derniers modes v 5 et v 6 , on peut proc eder comme ceci. Le projecteur P2 projette sur le sous-espace de dimension 4 sous-tendus par les quatre modes v 3 , v 4 , v 5 , v 6, alors que T |v 3 v 3| + |v 4 v 4 | projette sur le sous-espace sous-tendu par v 3 et v 4 . Par cons equent la diff erence P2 T = 1 [2 D (e) D (a4 ) D (a5 )] T 3 4 0 1 3 1
4 3 1 1 3 3 1 0 3 1 4 0 0 4 1 3 3 1 3 3 1 1 3 3 1 4 0 0 4

1 1 = 3 6

1 0 0 1 1 1 0 3 0 1
1 0 0 1

1 0 1 0 1 0

0 1 0 1 0 1

1 0 1 0 1 0

0 1 0 1 0 1

49

2 0 1 1 = 3 6

0 2 3 1 1 3 3 1

1 3 3 1 2 0 0 2 1 3 3 1

1 3 3 1 1 3 . 3 1 2 0 0 2

(6.16)

est un projecteur sur le que nous recherchons. En le faisant agir, par ex dernier sous-espace 3 3 emple, sur (0, 0, 2 , 2 , 0, 0) et (0, 0, 0, 3, 0, 0), nous trouvons deux vecteurs lin eairement ind ependants, v5 = 1 3 1 3 1 , , , , 0, , 2 6 2 6 3 1 1 3 3 1 v6 = , , 0, , , . 2 6 6 3 2

(6.17)

Ces deux modes sont repr esent es graphiquement dans la gure ci-dessous.

Nous avons ainsi d etermin e explicitement tous les modes normaux de notre syst` eme m ecanique, en utilisant uniquement des arguments de sym etries et de groupes (ce qui nest pas la m ethode la plus rapide dans ce cas !). Par contre nous navons pas pu d eterminer les valeurs des fr equences propres, sauf pour les modes v 2 , v 3 et v 4 , que nous avons reconnus comme e tant des modes de rotation et de translation, de fr equence nulle. Ce que nous pouvons cependant ajouter, cest que les modes v 5 et v 6 doivent n ecessairement e tre de fr equence identique, car ces deux modes se transforment dans une repr esentation irr eductible du groupe de sym etrie. Un calcul explicite des valeurs propres de K conrme ces conclusions, 1 = 3 , m 2 = 3 = 4 = 0, 5 = 6 = 3 . 2m

(6.18)

Les r esultats que lon vient dobtenir dans le cas du triangle sont typiques, et peuvent se formuler de fac on g en erale. Dans une situation g en erique, un groupe de sym etrie agit par une repr esentation D (g ), et commute avec un op erateur H qui d enit l evolution temporelle. Dans lexemple plus haut, H e tait la matrice K , alors quen m ecanique quantique, H est le Hamiltonien, qui g en` ere l evolution temporelle. Dans ce dernier cas, H et la repr esentation agissent dans un espace de Hilbert. On a donc les relations de commutation [ H , D (g )] = 0, g G . 50 (6.19)

On supposera de plus que H est un op erateur (ou une matrice) diagonalisable, et que D est une repr esentation compl` etement r eductible. Notons par les valeurs propres de H , et par V les espaces propres correspondants. Les relations de commutation ci-dessus montrent que les V sont tous des sous-espaces invariants pour la repr esentation D (g ): si v est vecteur propre de H , alors D (g )v lest aussi, de m eme valeur propre. Par cons equent, si lon d ecompose lespace entier comme la somme directe des espaces propres V , la repr esentation D est diagonale par blocs, D = D . Puisquelle est compl` etement r eductible, chaque D peut s ecrire comme somme directe de repr esentations irr eductibles, D = i m ,i Di via le choix appropri e dune base de V . On en d eduit que lon peut toujours choisir les e tats propres de H pour quils se transforment dans des repr esentations irr eductibles du groupe de sym etrie. Invers ement, supposons que lon r eduise dabord D en irr eductibles, D = i m i Di sans faire attention aux e tats propres de H . Lespace tout entier se d ecompose alors selon V = i m i Vi , o` u Vi est lespace de repr esentation de Di . A nouveau les relations de commutation montrent que les e l ements des sous-espaces Vi et H Vi se transforment de la m eme fac on sous le groupe de sym etrie, cest-` a-dire selon le m eme type de repr esentation Di . Si Di appara t plus dune fois (m i > 1), alors Vi et H Vi ne sont pas n ecessairement identiques, de sorte que H ne laisse pas n ecessairement chaque sous-espace irr eductible Vi invariant. (Selon largument plus haut, on peut cependant choisir les sous-espaces Vi pour que cela soit le cas.) Par contre, si une repr esentation irr eductible nappara t quune seule fois, m i = 1, on doit avoir H Vi = Vi et donc H laisse le sous-espace Vi invariant. On en tire que la restriction de H a ` Vi commute avec Di , et donc, puisque Di est irr eductible, quelle doit e tre proportionnelle a ` lidentit e (par le corollaire 4.1). On en conclut que tous les vecteurs dun espace de repr esentation irr eductible non-d eg en er ee sont des e tats propres de H de m eme valeur propre. Dans lexemple m ecanique trait e plus haut, on a eu la chance, dans notre d ecomposition, de trouver directement les vecteurs v 3 , v 4 , qui sav` erent e tre des vecteurs propres de K . En e tant moins chanceux, au lieu de v 3 , v 4 , on aurait pu trouver par exemple les deux combinaisons v 3 + v 5 et v 4 + v 6 . Celles-ci ne sont pas des vecteurs propres de K , mais par contre se transforment exactement comme v 3 et v 4 . La th eorie des groupes seule ne permet pas de faire le bon choix de repr esentations irr eductibles lorsque certaines dentre elles apparaissent plusieurs fois dans la r eduction de D . Une information suppl ementaire, ext erieure, est dans ce cas n ecessaire. De mani` ere g en erale, on voit que la pr esence dune sym etrie implique n ecessairement des d eg en erescences dans le spectre de H (sauf si toutes les repr esentations irr eductibles qui apparaissent dans le probl` eme sont de dimension 1). Invers ement, des d eg en erescences dans le spectre de H est souvent, mais pas toujours, la marque dune sym etrie ... R esumons les conclusions importantes de ce chapitre.

51

Les transformations de sym etrie commutent avec la dynamique du syst` eme. Le groupe de sym etrie G agit dans lespace des coordonn ees physiques par une repr esentation D (g ) qui commute avec le g en erateur H de l evolution temporelle, [ H , D (g )] = 0. On peut toujours choisir des vecteurs propres de H qui se transforment dans des repr esentations irr eductibles de G. Si la r eduction de D fait appara tre une repr esentation irr eductible une seule fois, alors tous les vecteurs dans lespace de cette repr esentation sont des e tats propres de H , de m eme valeur propre.

E XERCICES 6.1 Consid erons un ressort libre dans un plan (aucune de ses deux extr emit es nest attach ee) de constante de rappel et de longueur au repos L . La force de rappel du ressort, exerc ee sur les extr emit es de coordonn ees x1 , x2 , est proportionnelle a ` son e tirement et dirig ee le long du ressort, et d erive du potentiel V (x1 , x2 ) = (|x1 x2 | L )2 . Montrer que si lon attache aux extr emit es du ressort deux objets ponctuels de m eme masse m , les e quations du mouvement s ecrivent mx 1 = (|x1 x2 | L ) x2 x1 , |x2 x1 | mx 2 = (|x1 x2 | L ) x1 x2 . (6.20) |x1 x2 |

Supposons quau repos, les deux masses se trouvent a ` des positions d equilibre telles que x2,eq x1,eq = L . Lapproximation de petits d eplacements consiste a ` supposer que les e carts ri = xi xi ,eq par rapport aux positions d equilibre sont petits. En termes des e carts ri , les e quations du mouvement deviennent L + r 2 r 1 = m r 2 . mr 1 = (r2 r1 ) + L L | L + r2 r1 | Lin eariser ces e quations du mouvement pour obtenir ] L , mr 1 = [(r2 r1 ) L ] L . mr 2 = [(r1 r2 ) L (6.22) (6.21)

ep eter lanalyse de ce chapitre dans le cas dun syst` eme de quatre masses identiques, reli ees 6.2 R par quatre ressorts identiques, de telle sorte qu` a l equilibre, elles forment un carr e. Le groupe de sym etrie est le groupe di edral D4 , dordre 8 (voir chapitre 1). Montrer que ce groupe poss` ede cinq classes de conjugaison, et donc cinq repr esentations irr eductibles, quatre de dimension un, et une de dimension deux. Calculer les caract` eres irr eductibles. Identier ensuite les modes normaux.

52

C HAPITRE 7

DES GROUPES DE PERMUTATIONS

SENTATIONS R EPR E

Les groupes de permutations forment une classe de groupes, assez rare, pour lesquels tout ce que lon peut d esirer savoir des repr esentations est calculable syst ematiquement, m eme algorithmiquement. Dans tous les cas, les diagrammes de Young jouent un r ole fondamental dans le calcul des repr esentations et des caract` eres, et m` enent a ` des recettes qui permettent deffectuer les calculs efcacement. Puisque le nombre de repr esentations irr eductibles est e gal au nombre de classes de conjugaison, elles-m emes repr esent ees graphiquement par les diagrammes de Young, il sensuit que ces m emes diagrammes peuvent e tre utilis es pour d esigner les repr esentations irr eductibles, et cest ce que nous ferons. Commenc ons par les repr esentations elles-m emes, cest-` a-dire les matrices. Nous savons que la repr esentation r eguli` ere contient toutes les repr esentations irr eductibles, et chacune delles avec une multiplicit ee gale a ` leur dimension (voir exercice 4.4). La r eduction compl` ete de la repr esentation r eguli` ere donne donc acc` es a ` toutes les repr esentations irr eductibles. Par d enition de la repr esentation r eguli` ere, les vecteurs de base de lespace de repr esentation peuvent se voir comme le r esultat de laction de la repr esentation r eguli` ere sur lun deux, par reg exemple |e , puisque | = D ( )|e . La r eduction de la repr esentation r eguli` ere consistera a ` trouver des combinaisons lin eaires des vecteurs | qui g en` erent un sous-espace invariant, sur lequel laction de la repr esentation r eguli` ere se r eduit a ` une repr esentation irr eductible. Cest ici que les diagrammes de Young de Sn interviennent: chacun deux permet de trouver, m ecaniquement, les combinaisons lin eaires appropri ees. Voici comment on proc` ede. S etant choisi un diagramme Y , on le remplit des nombres de 1 a ` n , de toutes les fac ons possibles. On obtient ainsi n ! diagrammes de Young chiffr es (nous verrons dans un moment que nous ne devrons pas les consid erer tous). Pour chaque diagramme chiffr e, on d enit deux ensembles de permutations HY et VY (des sous-groupes de Sn ): HY contient toutes les permutations des nombres a ` lint erieur des lignes, et de m eme VY effectue les permutations des nombres a ` lint erieur des colonnes. En termes de HY et VY , on forme le sym etriseur et lantisym etriseur associ es au diagramme Y , sY = D reg ( ) ,
HY

aY =

( ) D reg ( ).
VY

(7.1)

On consid` ere ensuite la combinaison particuli` ere des vecteurs de base donn ee par |v = aY sY |e . Finalement laction de la repr esentation r eguli` ere sur ce vecteur engendre un sous-espace invariant irr eductible. Lexemple de S3 sufra a ` illustrer la proc edure. Les trois repr esentations irr eductibles seront associ ees aux trois diagrammes de Young a ` trois bo tes. 53

La repr esentation r eguli` ere de S3 agit sur six vecteurs de base, que nous noterons |e , |a1 , |a2 , |a3 , |a4 et |a5 , avec la correspondance a1 = (3)(12), a2 = (1)(23) et a3 = (2)(13) les trois transpositions, et a4 = (123) et a5 = (132) les deux permutations cycliques. . Il ne comporte quune seule ligne, de sorte que quelle Commenc ons par le diagramme que soit la fac on dont on le remplit des chiffres 1, 2 et 3, on aura toujours HY = S3 et VY = {e}. Les six diagrammes chiffr es donnent donc tous le m eme r esultat, et on peut se limiter a ` nen consid erer quun seul, par exemple 1 2 3 . Ensuite, on forme le vecteur |v s = D reg ( )|e = |e + |a1 + |a2 + |a3 + |a4 + |a5 . (7.2)

S3

Il est manifestement invariant sous laction de la repr esentation r eguli` ere, puisque celle-ci ne fait que permuter les vecteurs de base. Par cons equent, on a D reg ( )|v s = |v s , (7.3)

qui montre clairement que |v s g en` ere un sous-espace vectoriel de dimension 1, invariant sous laction de la repr esentation r eguli` ere, laquelle sy r eduit a ` la repr esentation triviale, D1 ( ) = 1. On trouve ainsi que la repr esentation irr eductible triviale est associ ee, a ` travers cette construction, au diagramme a ` une ligne. La construction associ ee au diagramme a ` une seule colonne est tr` es semblable. A nouveau tous les diagrammes chiffr es donnent le m eme r esultat, avec cette fois HY = {e} et VY = S3 dans tous les cas. On trouve le vecteur |v a = ( ) D reg ( )|e = |e |a1 |a2 |a3 + |a4 + |a5 . (7.4)

S3

Il nest plus invariant sous laction de la repr esentation r eguli` ere, mais se reproduit a ` un signe pr` es, D reg ( )|v a = ( )|v a . (7.5)

Il engendre donc un sous-espace invariant de dimension 1, dans lequel la repr esentation r eguli` ere agit par la repr esentation altern ee D1 ( ) = ( ). Le troisi` eme et dernier diagramme a ` consid erer contient une ligne et une colonne. Comme le sym etriseur et lantisym etriseur sont tous deux non-triviaux, tous les diagrammes chiffr es ne 12 donnent pas le m eme r esultat. Consid erons dabord le diagramme chiffr e 3 , pour lequel on trouve HY = {e, a1 } et VY = {e, a3 }. Notre vecteur de d epart s ecrit donc |v 1 = aY sY |e = [ D reg (e) D reg (a3 )][ D reg (e) + D reg (a1 )]|e = |e + |a1 |a3 |a4 . (7.6)

La proc edure g en erale nous indique dagir sur ce vecteur avec les matrices de la repr esentation r eguli` ere, ce qui est facile avec la table de multiplication (pour rappel, une entr ee dans le tableau 54

est le r esultat de la composition de l el ement indic ant la ligne par l el ement indic ant la colonne, dans cet ordre) e a1 a2 a3 a4 a5 e e a1 a2 a3 a4 a5 a1 a1 e a5 a4 a3 a2 a2 a2 a4 e a5 a1 a3 a3 a3 a5 a4 e a2 a1 a4 a4 a2 a3 a1 a5 e a5 a5 a3 a1 a2 e a4

En calculant laction des six matrices de la repr esentation r eguli` ere sur |v 1 , on saperc oit quelle fait appara tre un second vecteur lin eairement ind ependant |v 2 , D reg (e)|v 1 D reg (a1 )|v 1 D reg (a2 )|v 1 D reg (a3 )|v 1 D reg (a4 )|v 1 D reg (a5 )|v 1 = = = = = = |e + |a1 |a3 |a4 = |v 1 , |a1 + |e |a5 |a2 |v 2 , |a2 + |a5 |a4 |a3 = |v 1 |v 2 , |a3 + |a4 |e |a1 = |v 1 , |a4 + |a3 |a2 |a5 = |v 1 + |v 2 , |a5 + |a2 |a1 |e = |v 2 . (7.7) (7.8) (7.9) (7.10) (7.11) (7.12)

Puisque |v 2 = D reg (a1 )|v 1 , il est clair que le r esultat de laction des six matrices sur |v 2 sexprime bien comme combinaisons lin eaires de |v 1 et |v 2 . Explicitement, on a (7.13) D reg (e)|v 2 = |v 2 , D reg (a1 )|v 2 = |v 1 , D reg (a2 )|v 2 = |v 2 , reg reg reg D (a3 )|v 2 = |v 1 + |v 2 , D (a4 )|v 2 = |v 1 , D (a5 )|v 2 = |v 1 |v 2 .(7.14) Ces deux vecteurs engendrent donc un sous-espace invariant de dimension 2, dans lequel la repr esentation r eguli` ere agit par une repr esentation D2 de dimension 2, que les expressions cidessus permettent de calculer explicitement. Dans la base |v 1 , |v 2 , les six matrices de cette repr esentation s ecrivent D2 (e) = D2 (a3 ) =
1 0 0 1

D2 (a1 ) = 1 0 , , D2 (a4 ) =
1 1

0 1

1 1 0 1

1 0

D2 (a2 ) = 1 1 , ,
0

(7.15)
1

D2 (a5 ) = 1 1 .

(7.16)

Elles forment la repr esentation irr eductible de dimension 2 de S3 , puisque les traces de ces six matrices valent respectivement 2, 0, 0, 0, 1 et 1, en accord avec le caract` ere de cette repr esentation, calcul e au chapitre 4. Ces matrices ne sont pas unitaires, mais sont e quivalentes a ` la repr esentation unitaire donn ee en (5.10) et (5.11).
3 La m eme construction appliqu ee au diagramme chiffr e 1 est semblable mais donne des 2 r esultats l eg` erement diff erents. On trouve HY = {e, a3 } et VY = {e, a1 }, et un premier vecteur de d epart

|v 3 = |e + |a3 |a1 |a5 . 55

(7.17)

Comme ci-dessus laction des matrices de la repr esentation r eguli` ere fait appara tre un second vecteur ind ependant, que lon peut choisir par exemple comme e tant |v 4 D reg (a2 )|v 3 = |a2 + |a4 |a5 |a1 . (7.18)

Ces deux vecteurs engendrent un nouveau sous-espace invariant de dimension 2. La restriction a ` ce sous-espace de la repr esentation r eguli` ere d enit une seconde copie de la repr esentation irr eductible D2 . Puisque lensemble des six vecteurs |v s , |v a , |v 1 , |v 2 , |v 3 , |v 4 engendrent lespace de repr esentation de d epart, les quatre sous-espaces invariants identi es a ` laide des diagrammes de Young chiffr es fournissent la r eduction compl` ete de la repr esentation r eguli` ere,
D reg = D1 D1 D2 D2 .

(7.19)

Les quatre diagrammes chiffr es que lon na pas consid er es nam` enent rien de nouveau. La construction est totalement g en erale. On peut montrer que des diagrammes chiffr es correspondant a ` des diagrammes de Young distincts (de forme diff erente) m` enent a ` des repr esentations irr eductibles in equivalentes, et que ceux associ es a ` un m eme diagramme de Young m` enent a ` des repr esentations e quivalentes. De plus, pour obtenir la r eduction compl` ete de la repr esentation r eguli` ere, il suft de consid erer les diagrammes chiffr es tels que les nombres sont croissants dans les lignes de gauche a ` droite, et croissants e galement dans les colonnes du haut vers le bas. Ces diagrammes chiffr es particuliers sont appel es des diagrammes de Young standards (ou aussi des tableaux de Young). Par exemple, pour la repr esentation de dimension 2 de S3 , les deux diagrammes standards sont ceux que nous avons utilis es plus haut, a ` savoir 1 2 3 et 1 3 2

Le nombre de diagrammes standards associ es a ` un diagramme de Young sera not e fY . Par ce que lon vient de dire, f Y donne donc la multiplicit e avec laquelle la repr esentation irr eductible associ ee au diagramme de Young Y appara t dans la r eduction de la repr esentation r eguli` ere. Et puisque cette multiplicit e est e gale a ` la dimension de la repr esentation, on en d eduit que la dimension de la repr esentation irr eductible associ ee a ` un diagramme Y est e gale a ` fY . Finalement on notera que la construction produit toujours des matrices de repr esentation r eelles, ce qui implique que toutes les repr esentations irr eductibles des groupes Sn sont r eelles ( equivalentes a ` leur complexe conjugu ee, et il existe une base o` u les matrices sont r eelles, voir Section 4.6). Le proc ed e d ecrit plus haut a lavantage d etre constructif, mais il reste tr` es fastidieux. Pour le diagramme suivant de S5 par exemple,

le groupe HY est dordre 12, VY est dordre 4, et le produit aY sY contient une somme altern ee de 12 4 = 48 permutations. Le proc ed e, pour ce diagramme, construit 120 = 5! combinaisons lin eaires reg D ( )aY sY |e , chacune contenant 48 vecteurs de base. Ces 120 combinaisons sont toutes exprimables comme combinaisons lin eaires de 5 vecteurs ind ependants, qui g en` erent lespace de 56

repr esentation dune repr esentation irr eductible de dimension 5 ! Effectivement, pour la repr esentation de S5 correspondant au diagramme ci-dessus, les seuls diagrammes standards sont 1 2 3 4 5 1 2 4 3 5 1 3 4 2 5 1 2 5 3 4 1 3 5 2 4

La liste des diagrammes standards associ es a ` un diagramme donn e de Sn permet deffectuer la r eduction de la repr esentation associ ee de Sn restreinte a ` Sn 1 . On peut en effet observer que lorsquon supprime le nombre n des diagrammes standards de Sn , on trouve un ensemble de diagrammes standards pour Sn 1 , qui sorganisent en diagrammes standards associ es a ` des diagrammes de Young de Sn 1 . Ainsi par exemple, si on retire le 3 des deux diagrammes standards de la repr esentation de dimension 2 de S3 (voir ci-dessus), on trouve les deux diagrammes standards 1 2 1 2 , et le second est le seul

Le premier est le seul diagramme standard associ e au diagramme eduction associ e au diagramme . On trouve ainsi la r =

S2

Dans lautre exemple ci-dessus, on retire le 5 des diagrammes standards de la repr esentation de dimension 5 de S5 pour trouver cinq diagrammes standards de S4 : 1 2 3 4 1 2 4 3 1 3 4 2 1 2 3 4 1 3 2 4

Les trois premiers sont les diagrammes standards associ es au diagramme , et les deux autres correspondent au diagramme . On a donc la r eduction dune repr esentation de dimension 5 de S5 en la somme directe de deux repr esentations de S4 , de dimension 2 et 3:
S4

Proc edant de m eme pour les autres repr esentations, on trouve le tableau ci-dessous, donnant la r eduction des repr esentations irr eductibles de Sn en repr esentations irr eductibles de Sm <n . On saperc oit ainsi que la r eduction de Sn a ` Sn 1 sop` ere en retirant une bo te du diagramme de Sn de toutes les fac ons possibles, mais de telle sorte que le r esultat soit encore un diagramme de Young. De plus, les repr esentations de Sn 1 ainsi obtenues apparaissent toutes avec multiplicit e 1. Les propri et es que lon vient de mentionner permettent de calculer la dimension de la repr esentation associ ee a ` un diagramme de Young quelconque, mais le calcul explicite reste laborieux. La premi` ere m ethode consistait a `e num erer les diagrammes standards associ es a ` un diagramme de Young donn e; l enum eration peut se r ev eler fastidieuse, et on pourrait facilement en oublier quelques-uns. Une autre m ethode serait de remonter le tableau des r eductions successives de Sn a ` Sn 1 , mais l` a aussi, on doit passer par de nombreuses e tapes interm ediaires. Mais la magie des diagrammes de Young (re)commence a ` op erer: la r` egle des e querres (hook formula) fournit un 57

moyen rapide et explicite de calculer la dimension de la repr esentation associ ee a ` nimporte quel diagramme de Young. Soit donc Y un diagramme de Young de Sn . Pour chaque bo te i du diagramme, on calcule le nombre i des bo tes travers ees par l equerre dont langle droit est centr e sur la bo te i et dont les deux c ot es perpendiculaires partent vers la droite et vers le bas de la bo te. Lentier i (hook length) est donc e gal au nombre de bo tes du diagramme situ ees a ` la droite de la bo te de r ef erence, additionn ee du nombre de bo tes situ ees en-dessous de la bo te de r ef erence, additionn ee de 1 (pour la bo te de r ef erence elle-m eme). Dans lexemple rencontr e plus haut du diagrame de S5 , les nombres a ` droite indiquent les valeurs des entiers i pour chaque bo te: 4 3 1 2 1 La r` egle des e querres afrme que la dimension de la repr esentation associ ee a ` Y vaut simplement n ! divis e par le produit des e querres, fY = n! . i i

(Formule des e querres)


5! 432

(7.20)

Dans lexemple ci-dessus, on trouve f Y = exemple, pour S15 , est le suivant: 8 7 Y = 4 2 7 5 3 2 6 4 2 1 3 1 1

= 5, comme annonc ee plus t ot ! Un autre

fY =

15! = 193 050, 875327642432

(7.21)

un nombre que lon aurait eu du mal a ` calculer par lune des deux m ethodes cit ees plus haut ! Il est facile de v erier que la r` egle des e querres donne f Y = 1 pour les deux diagrammes constitu es dune seule ligne (la repr esentation triviale) ou dune seule colonne (la repr esentation al58

tern ee). Il sagit dun cas particulier dun fait plus g en eral: la r` egle des e querres donne la m eme dimension aux deux diagrammes de Young conjugu es Y et Y t , transpos es lun de lautre (les lignes et les colonnes sont e chang ees). Les repr esentations irr eductibles correspondantes, e galement appel ees conjugu ees, sont exactement celles qui sont obtenues lune de lautre par la multiplication par la repr esentation altern ee: DY ( ) DY t ( ) = ( ) DY ( ).

(Attention deux repr esentations conjugu ees de cette mani` ere ne sont pas les complexes conjugu ees lune de lautre.) On en tire imm ediatement le corollaire suivant: un diagramme de Young sym etrique, Y = Y t , correspond a ` une repr esentation auto-conjugu ee, e quivalente a ` sa multiplication par la repr esentation altern ee. Le caract` ere dune telle repr esentation sannule sur toutes les classes constitu ees de permutations impaires:

Y =

= Yt

DY DY ,

Y (g ) = 0 pour (g ) = 1.

(7.22)

Nous terminerons ce chapitre en mentionnant un autre coup de baguette magique des diagrammes de Young (il y en a dautres !): le calcul des caract` eres irr eductibles. Supposons que lon veuille calculer la valeur dun caract` ere irr eductible Y (g ) sur une classe g . Rappelons-nous quune classe g de Sn est associ ee a ` une partition de n , ou a ` une structure en cycles de longueurs j1, j2, ... (chaque cycle est dailleurs repr esent e par une colonne du diagramme de Young correspondant a ` la classe g ). Pour calculer Y (g ), on commence par calculer les longueurs des e querres 1 , 2 ..., m des bo tes de la premi` ere colonne de Y (suppos e contenir m lignes), que lon range dans un symbole |1 2 . . . m |. On appellera un tel symbole un d eterminant (pour des raisons historiques). Avec le premier cycle de longueur j1 , on forme la somme des d eterminants |(1 j1) 2 . . . m | + |1 (2 j1) . . . m | + ... + |1 2 . . . m 1 (m j1)|, (7.23)

de laquelle on e limine ceux qui ont deux entiers identiques, et ceux qui poss` edent un entier n egatif. Pour chaque d eterminant restant dans cette somme, on effectue la m eme op eration de soustraction avec le deuxi` eme cycle de longueur j2, et ainsi de suite pour tous les cycles de g . Apr` es que tous les cycles aient e t e utilis es, on obtiendra une somme de d eterminants, chacun contenant exactement les entiers 0, 1, 2, . . . , m 1 dans un ordre quelconque, cest-` a-dire que chacun de ces d eterminants sera de la forme |i 1 i 2 . . . i m | avec (i 1 , i 2 , ..., i m ) = (m 1, m 2, ..., 1, 0) pour une certaine permutation de Sm . Chaque d eterminant de ce type rec oit la valeur de la parit e de , |i 1 i 2 . . . i m | = ( ), et la valeur du caract` ere Y (g ) vaut la somme des valeurs des d eterminants ainsi obtenus ! Prenons lexemple de la repr esentation de dimension 2 de S3 , associ ee a `Y = 59 . Le d etermi-

nant de d epart s ecrit |3 1|. g = (1)(1)(1) : |3 1| (1)(1) : |2 1| + |3 0| (1) : 2 |2 0| 2 |1 0| = 2 g = (2)(1) : |3 1| (1) : 0 Y ( g ) = 0 Y ( g ) = 2 (7.24)

(7.25)

g = (3) : |3 1| : |0 1| = 1 Y ( g ) = 1

(7.26)

On a retrouv e le caract` ere = (2, 0, 1) de la repr esentation de dimension 2 de S3 ... Calculons e galement, pour le plaisir, le caract` ere de la repr esentation de dimension 193 050 associ ee au diagramme de S15 mentionn e plus haut, sur la classe de conjugaison g = (5)(3)(3)(2)(2) (un cycle de longueur 5, deux de longueur 3 et deux de longueur 2). Le diagramme de Young de la repr esentation en question est

de sorte que le d eterminant de d epart vaut |8 7 4 2|. On obtient: (5)(3)(3)(2)(2) : |8 7 4 2| (3)(3)(2)(2) : |3 7 4 2| (3)(2)(2) : |0 7 4 2| + |3 7 1 2| (2)(2) : 2 |0 7 1 2| + |3 4 1 2| (2) : 2 |0 5 1 2| + |3 4 1 0| : 2 |0 3 1 2| + |3 2 1 0| = 2 (+1) + (+1) = 3, et donc Y (g ) = 3. On notera que cette r` egle implique imm ediatement que les caract` eres irr eductibles des groupes de permutations sont tous des entiers. 60 (7.27)

E XERCICES 7.1 Dans la construction des repr esentations de S3 d etaill ee plus haut, calculer explicitement les 3 matrices de la repr esentation obtenue a ` partir du diagramme chiffr e 1 2 , et montrer quil sagit bien de la repr esentation irr eductible D2 . 7.2 Montrer que la r eduction du produit tensoriel DY DY de deux repr esentations irr eductibles de Sn contient la repr esentation triviale si et seulement si Y = Y , et quelle contient la repr esentation altern ee si et seulement si Y = Y t . (Utiliser le fait que les caract` eres irr eductibles sont r eels.) 7.3 Utiliser la r` egle des d eterminants pour recalculer le caract` ere de la repr esentation de dimension 2 de S4 (diagramme ). Comparer avec le r esultat du chapitre 4. 7.4 Prouver que Sn pour tout n 2 ne poss` ede que deux repr esentations in equivalentes de dimension 1. Montrer pour cela que le quotient Sn /[ Sn , Sn ] (lab elianis e de Sn ) est isomorphe a ` Z2 . Combien de telles repr esentations les groupes altern es An poss` edent-ils ? 7.5 Soit g = (n ) la classe de conjugaison de Sn constitu ee dun seul cycle de longueur n . Utiliser la r` egle des d eterminants pour montrer que les seules repr esentations irr eductibles de Sn pour lesquelles Y (g ) est non-nul correspondent aux diagrammes Y en forme d equerre

Si s + 1 d esigne le nombre de bo tes de la premi` ere colonne, montrer que Y (g ) = (1)s . 7.6 Nous avons calcul ea ` la section 4.4 la r eduction de la repr esentation de d enition de S4 en deux repr esentations irr eductibles. G en eraliser ce calcul a ` Sn et montrer que la r eduction est donn ee par
def Dn = D1 Dn 1 ,

(7.28)

o` u D1 est la repr esentation triviale, et Dn 1 est irr eductible de dimension n 1. Son caract` ere vaut donc n 1 (g ) = #{objets laiss es xes par g } 1. (7.29)

Noter que cette repr esentation irr eductible Dn 1 nest pas auto-conjugu ee (sauf dans S3 ), ce qui permet den obtenir une seconde, Dn = D . n 1 1 En se servant du r esultat de lexercice 7.5, montrer que la repr esentation Dn 1 correspond au diagramme de Young Y de Sn contenant n 1 colonnes (et donc deux lignes): Y = 61

C HAPITRE 8

G ROUPES

` BRES DE ET ALG E

L IE

Les groupes de Lie d ependent de param` etres continus. Par rapport a ` leurs analogues discrets, ils peuvent sembler plus compliqu es puisquils poss` edent un nombre inni non-d enombrable d el ements, ce qui peut amener une s erie de difcult es techniques. Par contre, ils se pr etent aux m ethodes diff erentielles, et cela am` ene des simplications consid erables. Commenc ons par un exemple particuli` erement simple, mais e clairant. 8.1 L E LIEN GROUPE AB E SO(2)

Le groupe des rotations en deux dimensions est ab elien, et d epend dun seul param` etre continu, a ` savoir un angle qui varie entre 0 et 2 . Il poss` ede une repr esentation unitaire de dimension deux, bien connue puisque cest sa repr esentation de d enition (ou repr esentation fondamentale): D () = cos sin sin cos . (8.1)

La loi de composition de deux rotations est respect ee par la repr esentation puisque celle-ci satisfait D () D () = D ( + mod 2 ). Une rotation dangle peut sobtenir comme une succession de n rotations dangle / n , et la m eme chose est vraie pour la repr esentation, D () = [ D (/ n )]n . Lorsque n tend vers linni, une rotation quelconque se ram` ene a ` une succession de rotations innit esimales, dangle / n , dont la repr esentation vaut D( ) = n cos n sin n n sin n cos n 0 i i 0 = 1 + . . . n + ... 1 + ... n + ... T + ..., n (8.2)

= I+i

+ ... I + i 0 i i 0

avec la matrice hermitienne T =

= T .

Prenant la puissance n de cette rotation innit esimale, et de la repr esentation correspondante, on obtient D () = lim I + i T + ... n n
n

k =0

(i)k k T exp(i T ). k!

(8.3)

M eme si il est exprim e ici dans la situation particuli` erement simple dun groupe ab elien a ` un seul param` etre, ce r esultat est central dans ce chapitre: la repr esentation dun e l ement de groupe 62

sexprime comme lexponentielle dune matrice d ecrivant une transformation innit esimale, cesta ` -dire toute proche lidentit e (l el ement neutre). Autrement dit, la repr esentation dun e l ement quelconque du groupe est lexponentielle de la repr esentation associ ee a ` un e l ement arbitrairement proche de l el ement neutre ! Bien entendu, la forme exponentielle D () = exp(i T ) ne doit pas nous surprendre puisquelle reproduit une loi de groupe additive (et donc ab elienne), m eme si T est une matrice. Pour sassurer que lon reproduit la repr esentation matricielle de d epart, on peut calculer lexponentielle explicitement en observant que T 2 = I, et donc T 2k +1 = T et T 2k = I: exp(i T ) =
k =0

(i)2k I+ (2k )!

k =0

(i)2k +1 T =I (2k + 1)! cos sin

k =0

2k +iT (1) (2k )!


k

k =0

(1)k

2k +1 (2k + 1)! (8.4)

= I cos + i T sin =

sin cos

La repr esentation D (g ) est donc enti` erement d etermin ee par la matrice T et la valeur du param` etre correspondant a ` g . T est assez logiquement appel e le g en erateur innit esimal, puisquil d ecrit le premier ordre non-trivial dune transformation innit esimale, cest-` a-dire le terme lin eaire dans le d eveloppement de Taylor de D (): T = i d D () d . (8.5)

=0

Notons que si lon choisit pour T le nombre 0 (matrice de dimension 1), la formule D () = ei T fournit la repr esentation triviale D () = 1 de dimension 1. De fac on plus g en erale, on peut prendre T = m pour m un entier, positif ou n egatif, ce qui am` ene une famille de repr esentations non-triviales Dm () = eim de dimension 1, toutes in equivalentes. Nimporte quelle matrice T cependant ne donne pas lieu a ` une repr esentation puisque la loi de groupe impose D (2 ) = I. Cette contrainte est dorigine topologique: elle traduit le fait que la repr esentation doit respecter la topologie du groupe S O (2), qui est celle dun cercle. 8.2 E XPONENTIELLE NE RATEURS INFINIT E SIMAUX ET G E

Consid erons une repr esentation du groupe, D (t ) = D (g (t )), que lon suppose sufsamment r eguli` ere dans les param` etres ta . On a bien s ur D (t = 0) = I. Pour t x e, D (t ) est une matrice dont les coefcients sont des fonctions r eguli` eres des variables ta . Supposons que son d eveloppement de Taylor donne au premier ordre (terme lin eaire)
dim G

Ce que lon vient de faire pour un groupe ab elien a ` un param` etre se g en eralise a ` un groupe continu, ab elien ou non, et d ependant dun certain nombre de param` etres t1 , t2 , ... Un e l ement quelconque du groupe sera rep er e par les valeurs de ces param` etres, g = g (t1 , t2 , ...). Nous supposerons que les param` etres sont choisis de telle sorte que l el ement neutre corresponde a ` ta = 0, cest-` a-dire g (0, 0, ...) = e.

D (t ) = I + i t1 T + i t2 T + . . . + O(ta tb ) = I + i 63

a =1

ta T a + . . .

(8.6)

o` u les T a sont certaines matrices num eriques, toutes distinctes, en nombre e gal a ` la dimension de groupe. Elles d ependent naturellement de la repr esentation choisie. Supposons dabord que lon mette tous les param` etres ti a ` z ero, sauf lun dentre eux, disons t1 . Alors la forme innit esimale D (t1 , 0, , 0) = I + i t1 T 1 + . . . , t 1 0, (8.7)

correspond a ` une transformation innit esimale dans la direction t1 . Lit eration de la forme innit esimale nous permet de calculer D (t1 ) pour des valeurs croissantes du param` etre le long de la courbe t = (t1 , 0, 0, , 0). Localement, cette courbe correspond a ` un sous-groupe ab elien (la loi de groupe est laddition du param` etre t1 ), de sorte que lon se retrouve dans la situation de la section pr ec edente. On en conclut que, pour des valeurs nies de t1 , la repr esentation poss` ede la forme D (t1 , 0, , 0) = exp(it1 T 1 ). Le m eme raisonnement sapplique a ` nimporte laquelle des autres directions ind ependantes, qui d enissent autant de sous-groupes ab eliens, et nous donne D ( , 0, ta , 0, ) = exp(ita T a ). (8.8)

Consid erons maintenant un e l ement g en erique du groupe g (t1 , t2 , . . .). Le vecteur de param` etres t d enit une direction t et une norme: t = (t1 , t2 , . . .) = |t | t = |t | t. |t | (8.9)

On peut ainsi voir l el ement du groupe correspondant g (t ) comme se trouvant dans la direction t au d epart de l el ement neutre, et a ` une distance |t | de celui-ci. Lensemble des e l ements du groupe qui sont dans cette direction, cest-` a-dire ceux associ es a ` des valeurs de param` etres qui ont (au signe pr` m eme direction t es), forment un sous-groupe ab elien a ` un param` etre, la valeur de |t |. Lorsque ce param` etre est innit esimal, la forme innit esimale (8.6) donne D (t ) = I + i|t | X + . . . , |t | 0, (8.10)

a T a . Le m avec X = a t eme argument d evelopp e plus haut pour les directions e l ementaires e a sapplique a ` la direction t. Il sensuit que D (t ) poss` ede la forme exponentielle pour des valeurs nies de |t |, D (t ) = exp(i|t | X ) = exp i ta T a .
a

(8.11)

Ce r esultat est capital: il relie une repr esentation dun groupe de Lie, un objet complexe d ependant de param` etres ta qui se composent de fac on g en eralement tr` es compliqu ee (voir plus loin), a ` un nombre ni de matrices num eriques, qui sp ecient laction de la repr esentation au voisinage de lidentit e. Il permet de passer du local au global, dexprimer une transformation nie en termes dune transformation innit esimale. 64

Les matrices T a sont appel ees les g en erateurs innit esimaux du groupe dans la repr esentation D , puisquelles sp ecient laction de D (g ) pour des e l ements du groupe proches de l el ement a neutre. On peut voir T comme le g en erateur innit esimal dans la direction a , T a = i D (t ) ta . (8.12)

t =0

La combinaison a ta T a appara t alors comme le g en erateur innit esimal dans une direction mixte, combinaison des directions e l ementaires pond er ees par les valeurs des coordonn ees t a . G eom etriquement, la situation serait celle de la gure ci-contre (si G na que deux directions ind ependantes). Les directions tangentes a ` l el ement neutre, , sont repr e sent e es par les g e n e rata teurs T a , dans lespace de repr esentation. Elles engendrent le plan tangent a ` l el ement neutre, et lalg` ebre de Lie dans lespace de repr esentation.

Remplacer un ensemble de matrices T a par un autre, cest passer dune repr esentation a ` une autre: les repr esentations dun groupe de Lie sont enti` erement sp eci ees par des ensembles de matrices T a , qui donnent les repr esentations possibles des g en erateurs innit esimaux du groupe. Le probl` eme des repr esentations dun groupe de Lie se trouve ainsi ramen e au probl` eme des repr esentations possibles des g en erateurs innit esimaux. Bien s ur, nimporte quel ensemble de matrices T a ne convient pas. La condition la plus e vidente est quelles doivent e tre telles que les matrices D (t ) constituent bien une repr esentation du groupe choisi. Une seconde condition, plus subtile, est que les matrices T a soient telles que les matrices exp(i a ta T a ) respectent la topologie du groupe, comme cela a e t e illustr e plus haut dans le cas de S O (2). Nous nexaminerons que la premi` ere condition, de nature purement alg ebrique, ce qui nous m` enera directement a ` la notion dalg` ebre de Lie. A une exception pr` es, nous ne nous occuperons pas de la seconde condition, qui implique pourtant des contraintes suppl ementaires sur les matrices a T (sauf pour la classe des groupes de Lie simplement connexes). La question qui est au coeur de cette deuxi` eme condition est la suivante: de quel groupe exactement obtient-on une repr esentation lorsquon exponentie une repr esentation des g en erateurs innit esimaux qui satisfait la premi` ere condition ? Cest une question de nature topologique, plus d elicate a ` aborder. Nous ny r epondrons que dans un cas particulier, celui de S O (3), le groupe des rotations en trois dimensions. ` BRES 8.3 A LG E
DE

L IE

La forme exponentielle des repr esentations repose de mani` ere essentielle sur le fait quun e l ement quelconque du groupe (dans un voisinage appropri e de l el ement neutre) peut sobtenir par compositions de d eplacements innit esimaux sur la vari et e de groupe. Cela implique une propri et e similaire au niveau des repr esentations, et permet de calculer D (t ) en composant des transformations innit esimales. Pour cela, il faut que les g en erateurs innit esimaux T a soient tels que la composition des transformations innit esimales soit bien celle du groupe, et que le r esultat D (t ) soit effectivement une repr esentation. 65

Peut-on expliciter les conditions que doivent satisfaire les g en erateurs ? Puisque ce sont eux qui assurent que la composition des transformations innit esimales est bien celle dict ee par le groupe, les conditions quils doivent satisfaire doivent e tre reli ees a ` la loi de composition du groupe. Pr ecis ement, sous lhypoth` ese que les g en erateurs aient les bonnes propri et es, la forme expoa nentielle D (t ) = exp(i a ta T ) est une repr esentation, mais le fait que cen est une est loin d etre manifeste ! En effet, il faut que le produit dexponentielles de combinaisons de g en erateurs soit encore lexponentielle dune combinaison de g en erateurs ... Remarquons aussi que si cest le cas, la loi de composition du groupe est compl` etement x ee. Supposons donc que la loi de composition s ecrive g (t )g (u ) = g (v) o` u v a = v a (t , u ) sont des fonctions, g en eralement compliqu ees, de t et u . Ces fonctions v a (t , u ) sont r eellement la loi de composition du groupe (dans la param etrisation choisie) puisquelles expriment la mani` ere dont l el ement de param` etre t se compose avec celui du param` etre u pour donner celui du param` etre v . Par exemple, le groupe des translations et dilatations agit sur la droite r eelle par: x et2 x + t1 , avec t1 , t2 R. Dans ce cas la composition donne g (t )g (u )x = g (t )[eu 2 x + u 1 ] = et2 [eu 2 x + u 1 ] + t1 , de sorte que v 1 = t1 + et2 u 1 et v 2 = t2 + u 2 . Comparons maintenant avec la composition des repr esentations dans la forme exponentielle: exp(i
a

(8.13)

v a T a ) = exp(i

ta T a ) exp(i
a a

u a T a ).

(8.14)

Examinons cette identit e en ne retenant que les termes dordre 2 au plus. Pour la facilit e d ecriture, a a a posons A = ta T , B = u a T et C = v a T . On trouve, en n egligeant tous les termes dordre 3, eiC = D (v) = D (t ) D (u ) = ei A ei B = I + i A 1 2 A + ... 2 1 I + iB B2 + . . . 2

1 1 = I + i( A + B ) ( A + B )2 [ A , B ] + . . . 2 2 1 = exp i( A + B ) [ A , B ] + . . . , 2 et d` es lors, i C = A + B + [ A, B ] + . . . = 2 (tc + u c )T c + i 2 ta u b [ T a , T b ] + . . .

(8.15)

(8.16)

a ,b

Puisque C doit e tre une combinaison lin eaire des g en erateurs, et cela pour toutes les valeurs de a b t et u , il faut que les commutateurs [T , T ] soient eux-m emes des combinaisons lin eaires des g en erateurs. On doit donc avoir [T a , T b ] = i f abc T c ,
c

(8.17)

pour f abc = f bac des nombres (en g en eral complexes) que lon appelle constantes de structure. 66

De plus, la relation (8.16) xe la loi de composition a ` lordre 2, v c = tc + u c 1 2 f abc ta u b + . . . (8.18)

a ,b

Nous obtenons ainsi que la forme exponentielle de la repr esentation est consistante avec la composition, a ` lordre 2, si les g en erateurs innit esimaux se reproduisent sous commutation, cesta ` -dire quils forment une alg` ebre. De plus les constantes de structure de cette alg` ebre xent la loi de composition du groupe, ou invers ement, d ependant du point de vue que lon adopte, la loi de composition d etermine les constantes de structure et donc lalg` ebre des g en erateurs. Lalg` ebre satisfaite par les g en erateurs est lalg` ebre de Lie du groupe. Elle est la traduction, au niveau innit esimal, de la loi de composition du groupe, et constitue donc une caract eristique intrins` eque du groupe. En particulier, quelle que soit la repr esentation D (g ) que lon choisit, les matrices associ ees T a doivent toujours satisfaire la m eme alg` ebre. Lalg` ebre de Lie dun groupe est un espace vectoriel. En effet, si A et B sont dans lalg` ebre de Lie, il existe deux e l ements du groupe dont les formes innit esimales valent respectivement I + i A et I + i B . Et dans ce cas, A et B y sont aussi, quels que soient les r eels et , ainsi que leur somme A + B . Dans cet espace vectoriel, un ensemble concret de g en erateurs T a forme une base particuli` ere. Un changement de base T a L ab T b seffectue par une transformation lin eaire L et correspond a ` choisir les directions tangentes ind ependantes diff eremment. Ce changement de base 1 dans lalg` ebre de Lie saccompagne dune transformation oppos ee des param` etres, ta L ab tb . Quen est-il aux ordres sup erieurs? Obtient-on dautres contraintes sur les g en erateurs ? La r eponse est remarquable: les ordres sup erieurs napportent aucune nouvelle contrainte sur les g en erateurs ! Le fait que les g en erateurs satisfont lalg` ebre de Lie du groupe assure que le produit D (t ) D (u ) a la forme exponentielle attendue, et xe la loi de composition du groupe, a ` tous les ordres. V erions cela a ` lordre 3. En fait, la seule chose a ` v erier est que l ecriture exponentielle eiC = ei A ei B est consistante: si A et B sont des combinaisons lin eaires des g en erateurs, alors C lest e galement. Si cest le cas, les coefcients v a dans C sont automatiquement x es: v a (t , u ) = i log ei A ei B
Ta

(8.19)

La seule contrainte non-triviale est donc que la matrice C = i log ei A ei B est une combinaison des g en erateurs. Poussant le calcul ci-dessus a ` lordre 3 dans les param` etres t , u , on trouve i 1 C = A + B + [ A , B ] [ A B , [ A , B ]] + . . . 2 12 (8.20)

Par la propri et e dalg` ebre des T a , cest bien une combinaison lin eaire des g en erateurs. Lidentication des coefcients de la combinaison lin eaire xe la loi de composition a ` lordre 3: v a = ta + u a 1 2 f bca tb u c 1 12 f bcd f dea tb u c (te u e ) + . . . (8.21)

b ,c

b ,c ,d ,e

67

De m eme tous les ordres sup erieurs sexpriment en termes de commutateurs multiples, qui se r ee crivent comme combinaisons lin eaires des T a . La s erie (8.20), compl` ete a ` tous les ordres, sappelle la formule de Baker-Campbell-Hausdorff. Notons que si toutes les constantes de structure sont nulles, la loi de composition est additive, v a = ta + u a , et donc ab elienne. Tous les g en erateurs commutent, et le groupe correspondant est ab elien. Dans ce cas, lalg` ebre de Lie elle-m eme est dite ab elienne. La propri et e dalg` ebre de Lie est donc essentielle. On a montr e quil existe une param etrisation particuli` ere des repr esentations, et donc du groupe, sp eci ee par l ecriture exponentielle a i t T a a D (g ) = e en termes de certaines matrices num eriques T . La loi de composition du groupe, v a = v a (t , u ), est compl` etement encod ee dans la structure de lalg` ebre des g en erateurs, [T a , T b ] = i f abc T c . La connaissance des fonctions v a (t , u ), du moins dans le voisinage de l el ement neutre, est e quivalente a ` celle des constantes de structure f abc (des nombres !). Un groupe de Lie et son alg` ebre sont donc en parfaite correspondance (modulo les subtilit es topologiques e voqu ees plus haut), comme le sont les repr esentations du groupe et celles de lalg` ebre associ ee. La classication des repr esentations dun groupe de Lie donn e peut maintenant se faire en deux e tapes: (1) identier lalg` ebre de Lie du groupe, cest-` a-dire sp ecier lalg` ebre que doivent satisfaire les g en erateurs pour que la loi de composition soit bien celle du groupe donn e; (2) chercher toutes les repr esentations de lalg` ebre, cest-` a-dire associer des matrices aux g en erateurs T a , de toutes les fac ons possibles, de telle sorte que ces matrices satisfassent lalg` ebre de Lie du groupe. TRISATIONS 8.4 PARAM E Nous avons vu que nimporte quelle repr esentation D (g (t )) poss` ede une e criture exponentielle, mais dautres formes sont possibles. Toutes sont e quivalentes a ` l ecriture exponentielle, via un changement de coordonn ees (de param etrisation), le plus souvent hautement non-lin eaire, mais certaines sont plus pratiques. L ecriture factoris ee fournit un exemple dune telle transformation. Plut ot que d ecrire D (g (t )) a = exp(i a ta T ) sous la forme de lexponentielle dune somme, on l ecrit comme un produit dexponentielles, D (g (t )) = e ita T .
a
a

(8.22)

Cette forme factoris ee peut se comprendre comme ceci. La forme exponentielle d ecoulait de ce que la repr esentation associ ee a ` l el ement du groupe t pouvait sobtenir en composant des transformations innit esimales dans la direction t. Mais ce d eplacement de l el ement neutre directement vers t ne repr esente pas le seul chemin possible reliant les deux points. On peut par exemple composer des d eplacements le long des directions e l ementaires. L ecriture (8.22) correspond a ` une telle composition de mouvements, dans un ordre sp eci e (nimporte quel ordre convient). Remarquons que les formes innit esimales, a ` lordre lin eaire, des deux e critures, exponentielle et factoris ee, sont les m emes. Lune ou lautre peut donc e tre utilis ee pour calculer lalg` ebre du groupe. La forme factoris ee est cependant plus commode puisquil suft de conna tre sufsamment de transformations e l ementaires ind ependantes. 68

Une utilisation it erative de la formule de Baker-Campbell-Hausdorff permet de r ee crire le pro T a ), o` = t (t ) duit (8.22) sous la forme dune seule exponentielle exp(ita u les coefcients ta a sont des fonctions g en eralement compliqu ees mais inversibles des coordonn ees t . Ainsi a ` lordre quadratique, on trouve D (g (t )) = e ita T =
a

1 2 a 2 (T ) + . . . I + ita T a ta 2 1 2 (ta T a )2 ta T a )2 ta tb T a T b + . . . ta tb [ T a , T b ] + . . . (8.23)

= I+i = I+i = exp i

ta T a

a <b

1 ta T a ( 2 1 (tc 2

1 2

a <b

a <b

f abc ta tb )T c + ...

et donc les nouveaux param` etres


tc = tc

1 2

a <b

f abc ta tb + ...

(8.24)

La loi de composition des param` etres t est celle de la section pr ec edente, cest-` a-dire
vc = tc + u c

1 2

a ,b

f abc ta u b + ...

(8.25)

et implique que dans la param etrisation t , elle devient v c = tc + u c + f abc u a tb + ... (8.26)

a <b

Cette param etrisation factoris ee est e galement utile lorsque lon conna t les repr esentations de a i t T a transformations e l ementaires e (sans sommation sur a ). En effectuant le produit des matrices, on obtient la repr esentation dun e l ement g en eral du groupe, plus facilement que si lon doit calculer lexponentielle dune somme de matrices qui ne commutent pas, une t ache g en eralement impossible a ` mener jusquau bout. 8.5 E XEMPLE 1:
LE GROUPE

SU(2)

Le groupe SU (2) est le groupe dont la loi de composition et celle des matrices 2 2, unitaires et de d eterminant 1. Une telle matrice peut s ecrire, pour a , b C, D (g ) = a b b a avec |a |2 + |b|2 = 1.

Si on e crit les deux nombres complexes sous la forme a = a1 + ia2 et b = b1 + ib2, la contrainte sur 2 +a 2 +b2 +b2 = 1. La vari a et b devient a1 et e de groupe de SU (2) est donc une sph` ere dans R4 , une 2 1 2 69

vari et e de dimension 3, compacte. Il est cependant plus commode dutiliser une param etrisation en termes de 3 param` etres libres, plut ot que 4 param` etres contraints. Les coordonn ees polaires simposent delles-m emes. Remarquons que si n est un vecteur sur la sph` ere de R3 , alors z = (n cos , sin ) est sur 4 la sph` ere de R . Utilisant les coordonn ees angulaires habituelles sur la sph` ere de R3 , a ` savoir la longitude et la latitude en termes desquelles n = (cos cos , sin cos , sin ), on obtient z = (cos cos cos , sin cos cos , sin cos , sin ) (a1 , a2 , b1 , b2 ). (8.27)

Par cons equent, on trouve a = cos cos ei , b = sin cos + i sin , et aussi la repr esentation de dimension 2 de SU (2), qui d enit le groupe lui-m eme: D (, , ) = cos cos ei sin cos + i sin sin cos + i sin cos cos ei . (8.28)

Les angles et varient dans [0, 2 [ et 2 , 2 respectivement, alors que varie dans 2 , 2 puisque (n , ) et (n , ) correspondent au m eme point z de la sph` ere. L el ement neutre correspond a ` (, , ) = (0, 0, 0).

Pour la suite, nous utiliserons les coordonn ees t1 = , t2 = et t3 = , de sorte que D (t ) = cos t1 cos t2 eit3 cos t1 sin t2 + i sin t1 cos t1 sin t2 + i sin t1 cos t1 cos t2 eit3 .

(8.29)

Il nest pas difcile de calculer la loi de composition en effectuant le produit des matrices D (t ) D (u ) et en identiant les nouveaux param` etres v de sorte que la matrice r esultante soit D (v). On trouve explicitement: sin v 1 = cos t1 cos t2 cos t3 sin u 1 + cos u 1 cos u 2 cos u 3 sin t1 + cos t1 cos u 1 [cos t2 sin t3 sin u 2 cos u 2 sin u 3 sin t2 ],

(8.30) (8.31) (8.32)

cos v 1 cos v 2 eiv3 = cos t1 cos t2 cos u 1 cos u 2 ei(t3 +u 3 ) (cos t1 sin t2 + i sin t1 )(cos u 1 sin u 2 i sin u 1 ).

cos v 1 sin v 2 = cos t1 cos t2 sin t3 sin u 1 + cos u 1 cos u 2 sin u 3 sin t1 + cos t1 cos u 1 [cos t2 cos t3 sin u 2 + cos u 2 cos u 3 sin t2 ],

Ces trois relations d eterminent univoquement les trois nouveaux param` etres en termes des anciens, et d enissent donc la loi de composition du groupe SU (2). Calculons a ` pr esent lalg` ebre de SU (2). On peut le faire en utilisant la repr esentation de dimension 2 ci-dessus, ou en utilisant la loi de composition abstraite du groupe, ind ependante de toute repr esentation (mais obtenue a ` partir de lune dentre elles). Commenc ons par la premi` ere m ethode. Pour cela, il suft de d evelopper en s erie des trois param` etres ta la matrice D (t ), a ` lordre lin eaire, et didentier les matrices T a de dimension 2 qui sont les coefcients des trois termes 70

dordre 1. Ces matrices d ependent bien entendu de la repr esentation de d epart, mais leurs relations de commutation nen d ependent pas et fournissent lalg` ebre de groupe. Nous trouvons D (t ) = 1 + it3 + . . . it1 + t2 + . . . it1 t2 + . . . 1 it3 + . . .
3

=I+i

a =1

ta T a + ...

(8.33)

avec les trois matrices suivantes, appel ees matrices de Pauli, T1 = 0 1 1 0 , T2 = 0 i i , 0 T3 = 1 0 0 1 . (8.34)

Le calcul des commutateurs est direct, et donne lalg` ebre [T 1 , T 2 ] = 2iT 3 , [T 2 , T 3 ] = 2iT 1 , [T 3 , T 1 ] = 2iT 2 , (8.35)

ce que lon e crit encore sous forme condens ee, [T a , T b ] = 2iabc T c , (8.36)

o` u abc est totalement antisym etrique, et normalis e de sorte que 123 = +1. Les constantes de structure de lalg` ebre sont donc e gales, dans cette base, a ` f abc = 2abc . (8.37)

On notera que les trois matrices T a sont hermitiennes de trace nulle, et quelles g en` erent lespace vectoriel de telles matrices (nimporte quelle matrice 2 2, hermitienne et de trace nulle, est une combinaison lin eaire des matrices de Pauli). Nous pouvons donc caract eriser lalg` ebre de SU (2), de fac on abstraite (sans faire r ef erence a ` une base particuli` ere), comme lalg` ebre des matrices 2 2, hermitiennes et de trace nulle. Le calcul de lalg` ebre (des constantes de structure) peut e galement se faire en d eveloppant la loi de composition, a ` lordre 2 cette fois. Un calcul direct donne v 1 = t1 + u 1 + t2 u 2 t2 u 3 + . . . v 2 = t2 + u 2 t3 u 1 + t1 u 3 + . . . v 3 = t3 + u 3 t1 u 2 + t2 u 1 + . . . Identiant ce d eveloppement avec v c = tc + u c constantes de structure non-nulles sont e gales a `
1 2 a ,b

(8.38) (8.39) (8.40) f abc ta u b , on obtient que les seules

f 231 = f 321 = 2 , f 312 = f 132 = 2 , f 123 = f 213 = 2, cest-` a-dire le r esultat pr ec edent f abc = 2abc . 71

(8.41)

Ce calcul de lalg` ebre de SU (2) est bas e sur la param etrisation particuli` ere du groupe donn ee en (8.29). Est-ce la param etrisation exponentielle ? La r eponse est non, et il faut bien avouer quil y avait tr` es peu de chances que cela soit le cas ... Pour se convaincre quelle nest en effet pas la param etrisation exponentielle, il suft de calculer la loi de composition a ` lordre 3 et v erier quelle ne coincide pas avec celle obtenue en (8.21) pour la param etrisation exponentielle. D eveloppant la loi de composition a ` lordre 3, nous trouvons v 1 = t1 + u 1 + t3 u 2 t2 u 3 1 2 2 2 t1 (u 2 2 + u 3 ) + u 1 (t2 + t3 ) + . . . 2 (8.42)

Le terme dordre 3 dans cette expression est diff erent de lordre 3 calcul e dans la param etrisation exponentielle, et donn e en (8.21): 1 12 1 1 f bcd f de1 tb u c (te u e ) = (t1 u 3 t3 u 1 ) + (t1 u 2 t2 u 1 )(t2 u 2 ). 3 3 (8.43)

b ,c ,d ,e

Nous pouvons ainsi conclure que la param etrisation que nous avons utilis ee ici nest pas la param etrisation exponentielle, mais coincide avec elle a ` lordre 2. En fait, dans le cas particulier de ce groupe, on peut e crire explicitement la repr esentation de dimension 2 dans une param etrisation exponentielle. Un choix de coordonn ees commode est le suivant, en termes dun angle et dun vecteur n de R3 de norme 1, e crit en coordonn ees polaires comme pr ec edemment sous la forme n = (cos cos , sin cos , sin ), D exp (n , ) = ei 2 =

+ i(n T ) sin 2 2 i ie cos sin cos 2 + i sin sin 2 2 i cos 2 i sin sin ie cos sin 2 2
n T

= I cos

(8.44)

o` u les T a sont les matrices de Pauli donn ees plus haut. Les angles et prennent leurs valeurs habituelles, 0 < 2 et 2 2 , alors que varie dans ] 2, 2 ]. Cependant les param` etres (n , ) et (n , ) correspondent aux m emes e l ements du groupe, de telle sorte que lon peut restreindre a ` lintervalle ferm e [0, 2 ]. De plus, les valeurs des param` etres (n , 0) pour nimporte quel n d enissent le m eme e l ement du groupe (l el ement neutre) et doivent e tre identi es, et il est en de m eme pour les valeurs des param` etres (n , 2 ). Si lon forme avec les param` etres n et le vecteur de R3 d eni par x = n , on obtient que la vari et e de groupe dans ces coordonn ees est une sph` ere pleine de rayon 2 , dont tous les points de la surface doivent e tre identi es. On peut y d enir une mesure dint egration, cest-` a-dire un e l ement de volume dans la vari et e de groupe, dg = cos sin2 d d d. 2 (8.45)

Le volume du groupe est alors donn e par


2

| SU (2)| =

dg =

d
0

d cos
0

d sin2

= 4 2 . 2

(8.46)

72

1 1 dg est l equivalent continu de la somme normalis ee |G Lint egration normalis ee 4 ee 2 g utilis | pr ec edemment pour un groupe ni (notamment dans les relations dorthogonalit e des caract` eres).

8.6 E XEMPLE 2:

LE GROUPE

SO(3)

S O (3) est aussi le groupe des matrices 3 3, orthogonales de d eterminant 1. On pourrait calculer une param etrisation de ces matrices et ensuite lalg` ebre de S O (3) a ` partir de la repr esentation de dimension 3 ainsi obtenue, comme on la fait pour SU (2).

Le groupe des rotations en trois dimensions d epend de trois param` etres. Nimporte quelle 3 rotations dans R est sp eci ee par un vecteur unitaire n (qui d etermine laxe de rotation) et un angle de rotation autour de cet axe. Du fait que (n , ) et (n , ) sp ecient la m eme rotation, on peut restreindre entre 0 et en identiant (n , ) et (n , ) (puisque = mod 2 ). Une rotation quelconque pourra ainsi e tre rep er ee par un vecteur x = n de R3 , de direction n et de norme . La vari et e de groupe de S O (3), dans ces coordonn ees, est donc une sph` ere pleine dans R3 , de rayon , dont les points de la surface diam etralement oppos es doivent e tre identi es, (n , ) (n , ). Cette identication introduit une structure topologique non-triviale.

Pour changer, et pour illustrer les propos de la section 4, nous pouvons partir de la repr esentation associ ee aux trois sous-groupes a ` un param` etre ind ependants que sont les rotations autour de laxe x , y et z . Ces trois sous-groupes sont clairement repr esent es par Dx (t1 ) = 1 0 0 cos t1 0 sin t1 cos t3 sin t3 0 0 sin t1 cos t1 0 0 1 , D y (t2 ) = cos t2 0 sin t2 0 1 0 sin t2 0 cos t2 , (8.47)

Dz (t3 ) =

sin t3 cos t3 0

(8.48)

Dapr` es la section 1, ces trois matrices peuvent s ecrire respectivement sous la forme eit1 J1 , eit2 J2 et eit3 J3 . Puisque l ecriture factoris ee de la repr esentation est identique a ` l ecriture exponentielle a ` lordre lin eaire, Dx (t1 ) D y (t2 ) Dz (t3 ) = (I + it1 J1 + . . .)(I + it2 J2 + . . .)(I + it3 J3 + . . .) = (I + it1 J1 + it2 J2 + it3 J3 + . . .) = exp {
a

ita Ja + . . .},

(8.49)

on peut utiliser les trois sous-groupes ind ependants pour calculer lalg` ebre de S O (3). Des trois matrices ci-dessus, on trouve facilement les trois g en erateurs J1 = 0 0 0 0 0 i 0 i 0 , J2 = 0 0 0 0 i 0 i 0 0 , J3 = 0 i 0 i 0 0 0 0 0 , (8.50)

que lon peut dailleurs e crire ( Jk )i j = iki j . Le calcul des commutateurs est imm ediat, et donne [ Ja , Jb ] = iabc Jc . 73 (8.51)

Il sensuit que les g en erateurs (2 Ja ) satisfont la m eme alg` ebre que celle de SU (2). Puisquil existe une base de lalg` ebre de S O (3) dans laquelle les constantes de structure sont les m emes que celles de lalg` ebre de SU (2), les deux alg` ebres sont identiques ! Les alg` ebres e tant identiques, les lois de composition de SU (2) et S O (3) coincident au voisinage de l el ement neutre. Mais les deux groupes sont distincts, comme nous allons le voir, et diff` erent donc par leurs aspects globaux, topologiques. Observons que les trois matrices 3 3 ci-dessus sont antisym etriques, et que nimporte quelle matrice 3 3 antisym etrique est une combinaison lin eaire de celles-l` a. On peut ainsi caract eriser lalg` ebre de S O (3) comme lalg` ebre de telles matrices. R3 Terminons en mentionnant quune rotation dangle autour dun axe n est repr esent ee dans par la matrice de repr esentation
J D exp (n , ) = ei n .

(8.52)

De mani` ere g en erale, cette matrice repr esente une telle rotation dans Rd si lon prend une repr esentation de dimension d des g en erateurs J . Pour le voir, il suft de r ealiser que la matrice n J =n 1 J1 + n 2 J2 + n 3 J3 agissant sur n donne identiquement z ero [(n J )n ]i = n k ( Jk )i j n j = 0 (8.53)

en raison de lantisym etrie sous l echange de k et j , due a ` la relation ( Jk )i j = iki j not ee plus haut. D` es lors, la direction sp eci ee par n est invariante. Comme la seule direction laiss ee invariante par une rotation est celle de son axe, n est bien laxe de rotation.

Du reste, la relation (n J )3 = n J , valide pour nimporte quel vecteur n de norme 1, implique D exp (n , ) = I (n J )2 + (n J )2 cos + i(n J ) sin , (8.54)

J dans le plan orthogonal a et permet de v erier que laction de ei n `n est bien une rotation.

8.7 L A

RELATION ENTRE

SU(2)

ET

SO(3)

La similarit e entre les descriptions de SU (2) et S O (3) est frappante. Les repr esentations de dimension 2 et 3, qui d enisssent respectivement les deux groupes, sont donn ees par D SU (2) (n , ) = ei 2

n T

J D S O (3) (n , ) = ei n .

(8.55)

Les g en erateurs respectifs T eme alg` ebre, avec des constantes de 2 et J satisfont exactement la m structure identiques. Il sensuit que, localement, les lois de composition sont rigoureusement les m emes. 74

Lunique diff erence r eside dans le domaine de variation du param` etre . Lorsque parcourt lintervalle [0, 2 ] et que n balaie la sph` ere S 2 , tous les e l ements de SU (2) sont obtenus une et une seule fois, alors tous ceux de S O (3) le sont exactement deux fois, en raison de D S O (3) (n , 2 ) = D S O (3) (n , ). (8.56)

Par cons equent, il existe une correspondance 2 : 1 entre SU (2) et S O (3): deux e l ements de SU (2) sont envoy es sur un m eme e l ement de S O (3). Ces deux e l ements de SU (2) sont reli es par I, puisque D SU (2) (n , 2 ) = D SU (2) (n , ). (8.57)

On peut r etablir lisomorphisme si on identie deux e l ements de SU (2) qui diff` erent par la multiplication par I, ce qui revient a ` consid erer le groupe quotient SU (2)/{I}. On obtient ainsi S O (3) = SU (2)/Z2 . (8.58)

Au niveau de la vari et e de groupe de SU (2), le groupe Z2 relie les points (n , ) et (n , 2 ). Il relie ainsi la moiti e ext erieure de la sph` ere de rayon 2 et la moiti e int erieure. A linterface entre ces deux parties, situ ee a ` une distance du centre de la sph` ere, il relie les points antipodaux de la coquille sph erique. Le r esultat du quotient, par lequel on doit identier les points de la vari et e de SU (2) qui sont reli es par le groupe Z2 , redonne la vari et e de S O (3), avec les identications telles que nous les avons trouv ees pr ec edemment. 8.8 E XEMPLE 3:
LE GROUPE

SU(N)

Ce groupe, de dimension r eelle N 2 1, poss` ede une loi de composition identique a ` celle des matrices N N unitaires et de d eterminant 1. Pour N quelconque, il devient (tr` es) difcile de donner une param etrisation g en erale de ces matrices, et donc de la repr esentation D (g ) de dimension N de SU ( N ) correspondante. La m ethode explicite et constructive que lon a utilis ee pour calculer lalg` ebre de SU (2) nest donc plus possible pour SU ( N ). La m ethode suivante sav` ere plus directe et plus simple encore. La repr esentation D (g ) de dimension N qui d enit SU ( N ) est unitaire et de d eterminant 1, D (g ) = D 1 (g ), det D (g ) = +1, (8.59)

et ce sont les deux seules conditions quelle doit satisfaire, par d enition du groupe. Dautre part, elle s ecrit en termes de g en erateurs sous la forme exponentielle D (g ) = exp(ita T a ) pour des matrices N N que nous cherchons a ` caract eriser. En e crivant D (g ) = exp(i|t | a ta T a ), et puisque la matrice m eme, on obtient linverse de D (g ), D 1 (g ) = exp(i|t | ta T a ) = exp(ita T a ). 75 a ta T
a

commute avec elle-

(8.60)

Ladjoint de D (g ) valant simplement D (g ) = exp(ita T a ), la premi` ere condition ci-dessus implique T a = T a , cest-` a-dire les g en erateurs dans la repr esentation de d enition de SU ( N ) sont des matrices N N hermitiennes. La seconde condition sur le d eterminant implique, en vertu de det D (g ) = det exp(ita T a ) = exp(ita Tr T a ) = +1, que les g en erateurs sont de trace nulle. On trouve ainsi que lalg` ebre de Lie de SU ( N ) est lalg` ebre des matrices N N hermitiennes, de trace nulle. Le choix dune base dans cet espace fournit une base de lalg` ebre, et permet de calculer, dans cette base, les constantes de structure de lalg` ebre. (8.61)

E XERCICES 8.1 Montrer que lassociativit e de la loi de groupe, ei A (ei B eiC ) = (ei A ei B )eiC , implique, a ` lordre 3 dans les param` etres, lidenti e de Jacobi, [ A , [ B , C ]] + [C , [ A , B ]] + [ B , [C , A]] = 0. (8.62)

8.2 Le groupe des translations et dilatations de la droite r eelle poss` ede une repr esentation de dimension 2 donn ee par D (t1 , t2 ) = e t2 0 t1 1 . (8.63)

Calculer lalg` ebre de Lie du groupe dans cette repr esentation, et v erier que celle-ci est 1 it T 2 i t T 1 2 donn ee dans une forme factoris ee e e . Calculer ensuite la forme exponentielle et montrer quelle est donn ee par e
T 1 +it T 2 it1 2

e t2 0

t1 t2 ( e t2

1)

(8.64)

, t ). En d eduire le changement de coordonn ees (t1 , t2 ) (t1 2

8.3 V erier la param etrisation exponentielle de la repr esentation de dimension 2 de SU (2) donn ee en (8.44). Montrer pour cela que si les T a sont les trois matrices de Pauli, on a lidentit e suivante (n T )2 = I, ou plus g en eralement (n 1 T ) (n 2 T ) = (n 1 n 2 ) I. (8.66) (8.65)

Montrer e galement que dans cette m eme param etrisation, on peut voir la vari et e de groupe de SU (2) comme lunion de deux sph` eres dans R3 , dont les surfaces doivent e tre identi ees. 76

8.4 Consid erer la param etrisation suivante de SU (2) par des matrices 2 2 unitaires et de d eterminant 1, D (g (t )) = eit1 cos t2 eit3 sin t2 eit3 sin t2 eit1 cos t2 . (8.67)

Calculer lalg` ebre a ` partir de cette repr esentation ? Pour comprendre lorigine du probl` eme, examiner la forme innit esimale de la repr esentation (parfaitement acceptable) D (g (t )) = exp(it1 T 1 ) exp(it2 T 3 ) exp(it3 T 1 ). 8.5 V erier que la mesure dint egration dg donn ee en (8.45) est invariante sous le groupe, cesta ` -dire sous les changements de coordonn ees qui sont des transformations du groupe. 8.6 V erier la relation (8.54),
J e i n = I (n J )2 + (n J )2 cos + i(n J ) sin ,

(8.68)

o` u les Ji sont les g en erateurs de S O (3) dans la repr esentation de dimension 3. 8.7 La repr esentation suivante donne une param etrisation du groupe S L (2; R) autour de l el ement neutre, D (g (t )) = et3 + t1 t2 et3 t2 et3 t1 et3 et3 . (8.69)

En tirer lalg` ebre de S L (2; R), et la comparer a ` celle de SU (2). 8.8 Calculer lalg` ebre de Lie des groupes S O (n ; R) et S L (n ; R) en suivant la m ethode de la section 8.8.

77

C HAPITRE 9

SENTATIONS R EPR E DE SU(2) ET SO(3)

Nous avons calcul e au chapitre pr ec edent lalg` ebre de Lie du groupe SU (2), dailleurs e gale a ` celle du groupe S O (3). Il est traditionnel de la noter [ J1, J2] = i J3 , [ J2, J3] = i J1 , [ J3, J1] = i J2 , (9.1)

cest-` a-dire la forme que lon avait obtenue pour S O (3). La relation avec la base utilis ee pour 1 i lalg` ebre de SU (2) dans le chapitre pr ec edent s ecrit Ji = 2 T . Toutes les repr esentations du groupe SU (2) sobtiennent en exponentiant les repr esentations de lalg` ebre, D (t ) = exp(i j t j J j ) (la raison technique est que la vari et e de groupe est simplement connexe). Nimporte quelle repr esentation de dimension nie est e quivalente a ` une repr esentation unitaire (comme pour les groupes nis; cest le cas pour les groupes de Lie compacts), et une repr esentation D (t ) = exp(i j t j J j ) est unitaire si les g en erateurs sont hermitiens. Le probl` eme des repr esentations unitaires de SU (2) revient donc a ` classier toutes les repr esentations hermitiennes irr eductibles in equivalentes de lalg` ebre su (2). Les repr esentations du groupe S O (3) seront discut ees par apr` es. 9.1 L ES SENTATIONS FINIES DE L ALG E ` BRE SU (2) REPR E

Nous cherchons a ` repr esenter les g en erateurs par des matrices hermitiennes. Etant hermitiennes, elles sont s epar ement diagonalisables, mais pas simultan ement diagonalisables puisquelles ne commutent pas. Nous choisirons, suivant la tradition, de diagonaliser la matrice (repr esentant) J3 = J3 . Il sav` ere alors judicieux de remplacer J1 et J2 par les deux combinaisons J+ et J, d enies par J = J1 i J2. (9.2)

Notons que si les matrices Ji sont hermitiennes, J ne le sont plus mais satisfont J+ = J. Dans cette base, les relations de commutation deviennent

[ J3, J] = J , [ J+, J] = 2 J3.

(9.3)

J3, J sont donc des matrices agissant dans un espace vectoriel V , et nous devons y calculer leur action de sorte que les relations de commutation soient satisfaites. Nous choisissons dexprimer cette action dans une base o` u J3 est diagonal. Nous supposons aussi que lespace V supporte une repr esentation irr eductible, de dimension nie. 78

La base de V que nous avons choisie est constitu ee de vecteurs propres de J3. Une premi` ere observation cruciale consiste a ` remarquer que si |m est un e tat propre de J3 de valeur propre m , J3|m = m |m , alors J|m sont e galement des e tats propres de J3 de valeur propre m 1. En effet, on a J3 J|m = J J3|m + [ J3, J]|m = m J|m J|m = (m 1) J|m . (9.4)

De la m eme mani` ere, le vecteur J+| j 1 est un e tat propre de J3, de valeur propre e gale a ` j, qui peut e tre proportionnel au vecteur | j de d epart, ou a ` un autre vecteur propre du sous-espace propre de valeur propre j , ou a ` une combinaison lin eaire de tels vecteurs propres. La deuxi` eme observation fondamentale r epond a ` cette question.
2 + J 2 + J 2 . On v Consid erons lop erateur J 2 = J1 erie directement que J 2 commute avec les 2 3 trois g en erateurs, [ J 2, Ji ] = 0. Par exemple 2 2 [ J 2, J1] = [ J2 + J3 , J1] = J2[ J2, J1] + [ J2 , J1] J2 + J3 [ J3, J1] + [ J3, J1] J3 = i J2 J3 i J3 J2 + i J3 J2 + i J2 J3 = 0.

Consid erons maintenant dans V le sous-espace propre de valeur propre maximale de J3, que nous d enotons par j , et choisissons dans ce sous-espace un vecteur propre | j de norme 1. La remarque pr ec edente montre que J| j est un e tat propre de J3 de valeur propre j 1. Il doit donc exister un vecteur propre de J3, de valeur propre j 1 et de norme 1, que nous d enotons par | j 1 , en termes duquel on a J| j = c j 1 | j 1 .

(9.5)

Les polyn omes des g en erateurs qui ont cette propri et e de commuter avec tous les g en erateurs de lalg` ebre sont appel es des op erateurs de Casimir. Dans le cas pr esent, on peut montrer que J 2 est le seul op erateur de Casimir ind ependant, dans le sens o` u nimporte quelle fonction des g en erateurs qui commute avec tous les Ji est une fonction de J 2. Puisque J 2 commute avec les trois g en erateurs, il commute avec la repr esentation que nous 2 sommes en train de calculer. Puisque celle-ci est suppos ee irr eductible, J doit e tre, en vertu du lemme de Schur (voir le chapitre 4), proportionnel a ` lidentit e sur lespace V , J 2 = I. Nous pouvons calculer en faisant agir J 2 sur l etat propre | j . R ee crivant dabord J 2 en termes de J3, J,
2 2 J 2 = J J+ + J3 + J3 = J+ J + J3 J3 ,

(9.6)

nous obtenons J 2| j = J J+| j + ( j 2 + j )| j = j ( j + 1)| j , (9.7)

et donc = j ( j + 1). Nous avons utilis e J+| j = 0 puisquil nexiste pas de vecteur propre de valeur propre j + 1 ( j est la valeur propre maximale).
2 + J est diagonal, et donc que J | j 1 est proportionnel a J3 ` | j , J+| j 1 = d j | j . + 3

Revenant au vecteur J+| j 1 =

1 c j 1 J+ J | j

, lidentit e ci-dessus montre que J+ J = J 2

79

Les m emes arguments permettent de construire un vecteur propre | j 2 de valeur propre j 2, tel que J| j 1 = c j 2 | j 2 , J+ | j 2 = d j 1 | j 1 . (9.8)

Continuant de la sorte, on construit une cha ne de vecteurs propres | j , | j 1 , | j 2 , . . . formant comme une e chelle, le long de laquelle J+ et J font respectivement monter et descendre dun e chelon (on les appelle dailleurs des op erateurs d echelle, pour cette raison). Sur un vecteur propre quelconque de la cha ne, ils agissent selon J+|m = dm +1 |m + 1 , J|m = cm 1 |m 1 , (9.9)

o` u les vecteurs |m , pour m = j , j 1, j 2, . . ., sont suppos es orthonormaux, m |m = m ,m . Cette suite de vecteurs ne peut pas e tre innie puisque lespace V est de dimension nie. Il doit donc y avoir une valeur minimale m = j N telle que l etat propre correspondant | j N est annihil e par J: J| j N = 0. (9.10)

Si cest le cas, l echelle est nie et comprend les vecteurs | j , | j 1 , . . . , | j N , tous e tats propres de J3. Par cons equent, la matrice J3 est diagonale, J3 = diag ( j , j 1, j 2, ..., j N ). (9.11)

Elle doit cependant e tre de trace nulle puisque i J3 = [ J1, J2] est un commutateur. Cette condition implique N = 2 j , de sorte que la base de lespace de repr esentation V comprend les (2 j + 1) vecteurs | j , | j 1 , ..., | j + 1 , | j . Puisque 2 j + 1 doit e tre un entier, j doit e tre entier ou demi-entier. Pour d eterminer compl` etement la repr esentation, il faut calculer les matrices J+ et J ( J3 est d ej` a d etermin e), et donc les coefcients dm +1 et cm 1 . Tous les vecteurs |m e tant suppos es normalis es, nous obtenons
2 2 2 dm +1 = m | J J+ |m = m | J J3 J3 |m = j ( j + 1) m (m + 1), 2 2 2 cm 1 = m | J+ J |m = m | J J3 + J3 |m = j ( j + 1) m (m 1).

(9.12)

La repr esentation est maintenant compl` etement d etermin ee dans la base des |m . Les matrices repr esentant J+ et J y ont la forme 0 dj 0 0 d j 1 .. . 0 .. . d j +1 0 c j 1 J = 80 0 0 c j 2 .. . 0 0 .. . c j 0 .

J+ =

(9.13)

Elles v erient bien la relation J = J+, puisque cm = dm +1 .

De plus, la construction ci-dessus montre que la repr esentation est unique d` es que la dimension de lespace V est x ee. Nous obtenons ainsi notre r esultat central:

Lalg` ebre su (2)/so(3) poss` ede, pour chaque dimension, une unique repr esentation irr eductible, a es. La repr esentation de dimension 2 j + 1, avec j = ` e quivalences pr` 3 , 1 , , . . . , est univoquement d e termin e e par les relations suivantes: 0, 1 2 2 J+|m = j ( j + 1) m (m + 1) |m + 1 , J3|m = m |m , J|m = j ( j + 1) m (m 1) |m 1 . ( j m j )

(9.14)

Lensemble complet de toutes les repr esentations irr eductibles in equivalentes de dimension nie du groupe SU (2) sobtiennent de celles de lalg` ebre par exponentiation, D j (g ) = exp (i n J ), avec J = ( J1, J2, J3). En particulier, dans la repr esentation de dimension 2, j = 1/2, on obtient J+ = et donc, J1 = 1 2 0 1 1 0 , J2 = 1 2 0 i i 0 , J3 = 1 2 1 0 0 1 , (9.16) 0 1 0 0 , J = 0 0 1 0 , J3 =
1 2

0 1 2

(9.15)

et les g en erateurs Ji sont e gaux aux matrices de Pauli, divis ees par 2 (voir la Section 8.5). SENTATIONS 9.2 R EPR E
DE

SU(2)

` RES ET CARACT E

Toutes les repr esentations de dimension nie du groupe SU (2) sobtiennent en exponentiant les repr esentations de son alg` ebre. Dans la section pr ec edente, nous avons d etermin e toutes les repr esentations irr eductibles de lalg` ebre, qui fournissent donc toutes les repr esentations irr eductibles du groupe, de dimension nie. La forme matricielle explicite quelles prendront d ependra de la param etrisation choisie. Plut ot que d ecrire explicitement les matrices des repr esentations, ce qui serait dailleurs extr emement fastidieux, on peut en calculer les caract` eres, plus simples a ` d eterminer et plus utiles en pratique. Nous avons donn e au chapitre 8 la repr esentation de dimension 2, ou de spin j = 1/2,
T D1/2 (, , ) = ei 2 n =

cos 2 + i sin sin 2 iei cos sin 2

iei cos sin 2 cos i sin sin 2 2

(9.17)

81

avec , [0, 2 ] et dans [ ere de cette repr esentation vaut 2 , 2 ]. Clairement le caract`

1/2 () = 2 cos 2.

(9.18)

Nous avons obtenu ce r esultat a ` partir de la forme explicite de la repr esentation, mais celle-ci nest pas facilement accessible dans le cas dune repr esentation de spin j quelconque. Recalculons donc le caract` ere de D1/2 dune fac on qui se g en eralise. Puisque les caract` eres sont constants sur les classes de conjugaison, on peut essayer de trouver un repr esentant pour chaque classe de telle sorte que les matrices de repr esentation associ ees a ` ces repr esentants soient les plus simples possibles. Il faut donc dabord d eterminer les classes de conjugaison du groupe. On peut raisonner pour cela sur la repr esentation de dimension 2. La matrice D1/2 (g ) est unitaire et sexprime comme lexponentielle dune matrice hermitienne n T, a ` un multiple i/2 pr` es. Cette matrice hermitienne est diagonalisable par une transformation unitaire U , cest-` a-dire par une conjugaison de SU (2). Etant de trace nulle, Tr n T = 0, et de 1 0 carr ee gal a ` I (voir lexercice 8.3), la forme diagonalis ee de n T doit e tre e gale a ` = T 3. 0 1 La m eme conjugaison appliqu ee a ` la matrice D1/2 (g ) la met sous la forme U D1/2 (g ) U = ei 2 T =
3

ei/2 0

0 ei/2

(9.19)

On obtient que tous les e l ements du groupe qui correspondent a ` la m eme valeur de et qui diff` erent par leur valeur de n sont conjug es dans le groupe. Un choix commode pour le repr esentant de la classe est de prendre n = (0, 0, 1). Est-ce que deux e l ements associ es a ` des valeurs de diff erentes peuvent e tre conjugu es ? , et quelle est invariante sous conjugaison, seules des Puisque la trace de D1/2 (g ) vaut 2 cos 2 valeurs de qui donnent a ` cos 2 des valeurs identiques peuvent e tre conjugu ees. Puisque deux valeurs quelconques de dans [0, 2 ] donnent a ` cos 2 des valeurs diff erentes, deux e l ements du groupe correspondant a ` deux valeurs de diff erentes ne sont pas conjugu es. Nous obtenons donc que les classes de conjugaison de SU (2) sont param etris ees par la variable dans [0, 2 ]. Explicitement les classes sexpriment par C0 = {I}, C2 = {I}, C = {g = (n , ) avec n R3 , |n | = 1 }. (9.20) (9.21)

( = 0, 2 )

On comprend mieux pourquoi le caract` ere de la repr esentation de spin 1/2 ne d ependait que de . Les autres repr esentations irr eductibles de SU (2) sont obtenues en prenant pour les g en erateurs = J les matrices d etermin ees a ` la section pr ec edente, correspondant aux valeurs de spin j = 1 3 0, 2 , 1, 2 , ..., cest-` a-dire
T 2 J D j (n , ) = ei n .

(9.22) 82

Par les arguments d evelopp es plus haut, le caract` ere de la repr esentation de spin j ne d epend que de la variable , et peut e tre d etermin e en choisissant le repr esentant de chaque classe comme se r e tant n = (0, 0, 1). On trouve alors, puisque n J eduit a ` J3, une matrice diagonale, que le caract` ere s ecrit
j

j () = Tr e

i J3

= Tr diag (e

i j

,e

i( j 1)

, ..., e

i j

)=

e
k = j

ik

1 ) sin( j + 2

sin 2

. (9.23)

Cette formule, pour toutes les valeurs de j , e tablit la table des caract` eres irr eductibles de SU (2). Comme dans le cas des groupes nis, les caract` eres irr eductibles satisfont des relations dorthogonalit e par rapport a ` la mesure sur le groupe donn ees en (8.45) (cest le cas pour tous les groupe de Lie compacts et connexes, pour autant que lon utilise la mesure invariante sur le groupe). Explicitement, on a j | j 1 = 4 2 1 = 2
2

d
0 2 0

d cos
0

d sin2

1 ) sin( j + 1 sin( j + 2 2 ) 2 sin 2 sin 2

(9.24) (9.25)

d cos( j j ) cos( j + j + 1) = j , j .

Les relations de compl etude sont e galement satisfaites, et prennent la forme explicite j () j ( ) = sin2 ( ) =
2

2 sin

cos
2

1 j =0, 2 ,...

cos . 2 2

(9.26)

Elles expriment le fait que les caract` eres irr eductibles de SU (2) forment une famille compl` ete de fonctions sur les classes de conjugaison, cest-` a-dire les fonctions p eriodiques paires de la variable eres s ecrivent 2 . Les premiers caract` 0 = 1, 1/2 = 2 cos , 2 1 = 1 + 2 cos , 3/2 = 2 cos 3 + 2 cos . 2 2 (9.27)

Plus g en eralement, les e l ements de matrice des repr esentations irr eductibles forment un ensemble complet de fonctions pour lespace des fonctions de carr e sommable d enies sur le groupe (th eor` eme de Peter-Weyl). 9.3 P RODUITS
TENSORIELS

Le produit de deux repr esentations irr eductibles nest pas irr eductible, sauf si lune dentre elles est de spin j = 0 (la repr esentation triviale). An dexpliciter la r eduction des produits, il est commode de travailler au niveau de lalg` ebre; on effectue la r eduction de la repr esentation de lalg` ebre correspondant au produit de repr esentations du groupe, et on exponentie les composants irr eductibles. (La r eduction peut e galement e tre calcul ee en termes des caract` eres, comme pour les groupes nis, voir lexercice 9.3). 83

Si D j1 (g ) et D j2 (g ) sont deux repr esentations irr eductibles, la repr esentation de lalg` ebre correspondant a ` leur produit sobtient du d eveloppement suivant,
J J D j1 ( g ) D j2 ( g ) = e i n e i n = I + i n J 1 + . . . I + i n J 2 + ...
1 2

= I + i n ( J 1 I + I J 2) + . . . La repr esentation des g en erateurs s ecrit donc (addition des moments angulaires) JJ
j1 j2

(9.28)

= J 1 I + I J 2.

(9.29)

1 et J 2 , et dans laquelle Lespace produit poss` ede une base | j1 , m 1 | j2 , m 2 qui diagonalise J3 3 laction des g en erateurs de la repr esentation produit vaut simplement

J | j1 , m 1 | j2 , m 2 = J 1 | j1 , m 1 | j2 , m 2 + | j1 , m 1 J 2 | j2 , m 2 . En particulier le g en erateur J 3 dans lespace produit est e galement diagonal J3| j1 , m 1 | j2 , m 2 = (m 1 + m 2 )| j1 , m 1 | j2 , m 2 , alors que J agissent par J+| j1 , m 1 | j2 , m 2 = J| j1 , m 1 | j2 , m 2 = + + j1( j1 + 1) m 1 (m 1 + 1) | j1 , m 1 + 1 | j2 , m 2 j1( j1 + 1) m 1 (m 1 1) | j1 , m 1 1 | j2 , m 2 j2 ( j2 + 1) m 2 (m 2 + 1) | j1, m 1 | j2 , m 2 + 1 , j2 ( j2 + 1) m 2 (m 2 1) | j1, m 1 | j2 , m 2 1 .

(9.30)

(9.31)

(9.32)

(9.33)

Puisque la pr esence dune repr esentation irr eductible D j dans lespace produit se traduit par lexistence dun ensemble de 2 j + 1 vecteurs propres de J3 de valeurs propres m = j , j 1, ..., j + 1, j , la r eduction du produit tensoriel peut seffectuer par un simple d ecompte des e tats propres et des valeurs propres de J3. On saperc oit ainsi que les valeurs propres m = ( j1 + j2 ) sont non-d eg en er ees, que m = ( j1 + j2 1) sont chacune deux fois d eg en er ees, m = ( j1 + j2 2) le sont trois fois, et ainsi de suite jusquaux valeurs propres m = | j1 j2 | qui sont chacune d eg en er ees (2 j2 + 1) fois ou 2 j1 + 1 fois suivant que j1 j2 ou j1 j2. Toutes les valeurs propres dans lintervalle [| j1 j2|, | j1 j2|] ont m eme d eg en erescence, e gale a ` 2 j2 + 1 ou 2 j1 + 1. On obtient graphiquement le tableau suivant, illustr e dans le cas j1 = 3, j2 = 3 2. La d eg en erescence maximale et e gale au nombre de repr esentations irr eductibles dans le produit tensoriel, et vaut 2 j2 + 1 si j1 j1 ou 2 j1 + 1 si j1 j2 , cest-` a-dire j1 + j2 + 1 | j1 j2 |. La r eduction s ecrit donc D j1 D j2 =
j1 + j2 j =| j1 j2 |

Dj. 84

(9.34)

6 9/2 5/2 1/2 1/2 5/2 9/2 s s s s s s s s s s s s s s s s s s

s s s s s s

s s s s

La base naturelle de lespace produit (membre de gauche) sont les vecteurs | j1 , m 1 | j2 , m 2 , alors que celle pour laction des repr esentations D j du membre de droite est organis ee par les valeurs de j et de m , cest-` a-dire des vecteurs | j , m . Si lon choisit ces deux bases orthonormales, il existe une matrice unitaire U qui effectue le changement de base, et qui diagonalise par blocs la repr esentation produit: | j, m = U( j ,m )( j1,m 1 , j2,m 2 ) | j1 , m 1 | j2, m 2 . (9.35)

j1 ,m 1 , j2 ,m 2

Les entr ees de la matrice U sont appel ees les coefcients de Clebsch-Gordan. Dans les cas les plus simples, la matrice U peut e tre calcul ee simplement et explicitement. 1 Prenons par exemple le produit tensoriel de j1 = 1 et de j2 = 2 . Lespace produit est de dimension 6, et la r eduction s ecrit D1 D1/2 = D3/2 D1/2 . (9.36)

Il nexiste quun seul e tat de valeur propre m = 3/2. Il doit n ecessairement e tre le sommet de la repr esentation de spin j = 3/2,
3 1 1 |3 2 , 2 = |1, 1 | 2 , 2 .

(9.37)

Laction successive de J sur cette identit e fournit les 3 autres e tats de la repr esentation de spin 3 j = 2 . Par exemple,
3 J| 3 2, 2 =

3 1 1 3| 2 , 2 = J|1, 1 | 1 2, 2

1 1 1 2|1, 0 | 1 2 , 2 + |1, 1 | 2 , 2

(9.38)

donne
1 |3 2, 2 = 2 3 |1, 0 1 |1 2, 2 + 1 |1, 1 3 1 |1 2, 2 .

(9.39)

85

En appliquant encore J deux fois, on trouve les deux autres e tats de la repr esentation de spin , j=3 2
3 1 |2 , 2 = 1 |1, 1 3 1 1 ,2 + |2 2 3 |1, 0 1 |1 2, 2 ,

3 1 1 |3 2 , 2 = |1, 1 | 2 , 2 .

(9.40)

tre Il reste a ` trouver les deux e tats formant la repr esentation de spin j = 1 2 . Ceux-ci doivent e 3 1 3 1 orthogonaux a ` | 2 , 2 et | 2 , 2 , et donc e gaux aux combinaisons suivantes (au choix dune phase globale pr` es)
1 |1 2, 2 = 1 |1 2, 2 = 1 |1, 0 3 1 1 ,2 |2 1 |1 2, 2 2 3 |1, 1 1 1 |2 , 2 , 1 1 1 |1 2 , 2 = J | 2 , 2 .

2 3 |1, 1

1 |1, 0 3

(9.41)

9.4 L ES

SENTATIONS DE REPR E

SO(3)

Les repr esentations irr eductibles de S O (3) sont a priori donn ees par la m eme formule exponentielle que celles de SU (2), D j = exp(i n J ( j )). Cependant la question se pose de savoir si le r esultat est bien une repr esentation de S O (3), qui dapr` es notre discussion du chapitre pr ec edent, doit satisfaire,
O (3) O (3) DS (n , ) = D S (n , 2 ). j j

(9.42)

Exprim e autrement, les param` etres (n , ) et (n , 2 ) correspondent a ` des e l ements de SU (2) reli es par I, de sorte quau niveau des repr esentations de SU (2), on a D j (n , 2 ) = D j (I) D j (n , ). (9.43)

Par cons equent, seules les repr esentations de SU (2) qui satisfont D j (I) = I sont e galement des repr esentations de S O (3). Dans la vari et e de groupe de SU (2), l el ement I est associ ea ` = 2 et nimporte quel vecteur n (tous les points de la surface de la sph` ere de rayon 2 sont identi es), par exemple n = (0, 0, 1). On a ainsi D j (I) = D j ((0, 0, 1), 2 ) = e2i J3 = diag (e2i j , e2i ( j 1) , . . . , e2i j ) = (I)2 j .(9.44) On obtient que D j (I) = I dans SU (2) si et seulement si j est entier: seules les repr esentations de SU (2) de spin entier sont des repr esentations de S O (3). Par construction, elles forment lensemble complet de toutes les repr esentations unitaires irr eductibles in equivalentes de dimension nie de S O (3). 86

9.5 H ARMONIQUES

RIQUES SPH E

Il est possible de r ealiser toutes les repr esentations de S O (3) en termes de fonctions d enies 3 sur la sph` ere unit e dans R . Cela para t assez raisonnable: lespace des fonctions sur la sph` ere est par construction invariant sous rotations (elles pr eservent la sph` ere !), ce qui signie quelles constituent un espace de repr esentation pour le groupe S O (3), de dimension innie. La r eduction de cette repr esentation de dimension innie en repr esentations irr eductibles nous permet datteindre le but propos e. Techniquement, on sint eresse aux fonctions sur la sph` ere unit e qui sont de carr e 2 2 sommable, et on utilise donc la norme hilbertienne propre a ` lespace de Hilbert L ( S ). La construction peut seffectuer comme suit. Les rotations agissent bien entendu sur les trois coordonn ees x , y , z de R3 en pr eservant la norme euclidienne du vecteur (x , y , z ), que nous supposerons e gale a ` 1. Lespace euclidien R3 est irr eductible sous les rotations, et donc les trois coordonn ees x , y , z engendrent un espace de repr esentation de spin 1. Quelles sont les relations entre ces trois coordonn ees et les vecteurs de base canoniques |m = 1 , |m = 0 et |m = 1 utilis es dans les sections pr ec edentes ? Pour le voir, il faut dabord calculer laction des g en erateurs innit esimaux des rotations sur les trois coordonn ees. Les g en erateurs des rotations sont les composantes du moment angulaire, classiquement d eni par J = x p , et dont laction sur les fonctions de x , y , z devient J = i x . (9.45)

On v erie en effet que les trois composantes J1 = i(z y y z ), J2 = i(x z z x ) et J3 = i( y x x y ) satisfont bien [ Ji , J j ] = ii j k Jk , lalg` ebre de S O (3). On calcule ainsi laction de J3 sur les trois coordonn ees, J3 x = i y , J3 y = i x , J3 z = 0. (9.46)

A part sur la coordonn ee z , on voit que laction de J3 nest pas diagonale. On v erie cependant facilement quelle devient diagonale sur les combinaisons suivantes, J3 (x + i y ) = x + i y , J3 z = 0, J3 (x i y ) = (x i y ), (9.47)

ce qui permet didentier (x + i y ), z et (x i y ) avec les trois vecteurs propres de J3, cesta ` -dire les trois e tats |1 , |0 et | 1 , aux normalisations pr` es. Il suft de normaliser correctement l etat de plus grande valeur de m , puisque laction des g en erateurs fournissent automatiquement les autres. La norme se calcule ais ement en utilisant les coordonn ees polaires (x , y , z ) = (cos sin , sin sin , cos ) et la mesure dint egration sin d d , ||x + i y ||2 =
2

d
0 0

d sin |x + i y |2 =

d
0 0

d sin3 =

8 . 3

(9.48)

Les trois e tats de la repr esentation de dimension 3 correspondent alors aux trois fonctions (un facteur 1 est conventionnellement introduit dans lexpression de l etat m = 1),
1 Y1 (, ) |1 =

3 3 (x + i y ) = sin ei , 8 8 87

(9.49)

3 3 z= cos , 4 4 3 3 1 (, ) | 1 = Y1 (x i y ) = sin ei , 8 8
0 Y1 (, ) |0 =

(9.50) (9.51)

m (, ) pour m = 1, 0, sont les harmoniques sph eriques de spin (ou de Les trois fonctions Y1 moment angulaire) 1.

Les fonctions correspondant aux autres repr esentations sobtiennent facilement, en principe du moins. Il est facile de v erier que la fonction (x + i y )l pour l entier positif, satisfait J3(x + i y )l = l (x + i y )l et J+(x + i y )l = 0, et correspond donc au sommet dune repr esentation de spin l . Le calcul de sa norme et le choix dune convention de phase fournissent alors un e tat |m = l , duquel les autres 2l fonctions sobtiennent par application r ep et ee de J. Ensemble, elles forment un ensemble de 2l + 1 fonctions Ylm (, ), les harmoniques sph eriques de spin l . Leur expression g en erale est connue en termes des fonctions de Legendre associ ees, Ylm (, ) = 2l + 1 (l m )! im m e Pl (cos ), 4 (l + m )!

l m l .

(9.52)

Lensemble de ces fonctions, pour toutes les valeurs de l et m forment une base orthonorm ee pour lespace des fonctions de carr e sommable sur la sph` ere.

E XERCICES 9.1 Ecrire explicitement les g en erateurs J1, J2, J3 de su (2) dans la repr esentation de spin 1 en utilisant les formules de la section 1. Les comparer avec ceux obtenus en (8.50). 9.2 V erier la relation de compl etude (9.26) des caract` eres de SU (2).
1 2 esentations de SU (2) 9.3 Conrmer la r eduction du produit D j1 D j2 = j =| j1 j2 | D j de repr en calculant les projections du caract` ere produit j | j1 j2 .

j +j

9.4 Calculer les coefcients de Clebsch-Gordan de la r eduction du produit D1/2 D1/2 . 9.5 Les repr esentations D j et D quivalentes, puisquelles sont de m eme dij de SU (2) sont e 1 mension. Le v erier explicitement pour j = 2 , en montrant que la deuxi` eme matrice de Pauli, 2 =
0 i i , 0

(9.53)

r ealise l equivalence, 2 (i Jk )2 = (i Jk ) pour les Jk donn es en (9.16). 88

9.6 Calculer lindicateur de Frobenius-Schur pour les repr esentations irr eductibles de SU (2) (voir la section 4.6). En utilisant les caract` eres irr eductibles donn es en (9.23) et la mesure invariante (8.45), v erier que dg j (g 2 ) = 1
2 0

d sin2

sin (2 j + 1) = (1)2 j . 2 sin

(9.54)

En d eduire que les repr esentations de spin entier sont r eelles, et que celles de spin demientier sont pseudo-r eelles. 9.7 G en eraliser les identit es (8.44) et (8.54) aux repr esentations de SU (2) de spin plus e lev e. Montrer que celle pour le spin j = 3 prend la forme 2 D exp (n , ) = ei 2 Proc eder comme suit. a. Utiliser le fait quune matrice satisfait sa propre e quation caract eristique (th eor` eme de i n T Cayley-Hamilton) pour montrer que e 2 peut e tre e crit sous la forme f 0 (n , )I + f 1 (n , )(n T ) + f 2 (n , )(n T )2 + f 3 (n , )(n T )3 , pour des fonctions fi des param` etres. b. Puisque les e l ements associ es aux param` etres (, n ) et (, (0, 0, 1)) sont conjugu es 1 (voir section 9.2), il sensuit quil existe une matrice inversible telle que S (n T )S = T3 . Conjuguant l equation pr ec edente, on trouve ei 2

n T

1 8 {cos

3 9 1 9 = {8 cos 2 8 cos 2 } I + i{8 sin 2

cos

3 2 } (n

T )2 i{1 8 sin

3 1 24 sin 2 } (n 3 1 T )3 . 24 sin 2 } (n

T) (9.55)

(9.56)

T3

= f 0 (n , )I + f 1 (n , )T3 + f 2 (n , )T32 + f 3 (n , )T33 ,

(9.57)

c. En multipliant l equation qui pr ec` ede successivement par I, T3 , T32 et T33 , et en prenant a ` chaque fois la trace, on trouve quatre e quations lin eaires pour les quatre fonctions inconnues. La solution du syst` eme lin eaire fournit lexpression (9.55). d. Alternativement, r eduire la s erie exponentielle a ` la forme donn ee au point b en utilisant 4 syst ematiquement l equation satisfaite par T3 , a ` savoir T3 10T32 + 9I = 0.

qui montre que les fonctions fi = fi () sont des fonctions de uniquement.

89

C HAPITRE 10

SENTATIONS DES R EPR E AIRES : GROUPES LIN E THODES TENSORIELLES ME


Tous les groupes de matrices, G L ( N ), S L ( N ), SU ( N ), S O ( N ), . . ., sont d enis en termes dune repr esentation fondamentale, de dimension N , qui est la repr esentation naturelle par les matrices associ ees au groupe (g en erales inversibles, inversibles de d eterminant 1, unitaires de d eterminant 1, orthogonales). La matrice associ ee a ` un e l ement du groupe (ou plut ot, par laquelle un e l ement du groupe est d eni) agit sur les vecteurs de base
N

D (g ) ei =

e j M ji ,
j =1

(10.1)

dans lespace vectoriel correspondant. Cette repr esentation est la repr esentation vectorielle dans lespace vectoriel naturel V . Les produits tensoriels V n et la repr esentation produit correspondante D n = D D (n fois) agit sur la base produit par (voir le chapitre 5)
N

( D D )(g ) ei 1 ei n =

j1 ,..., jn =1

e j1 e jn M j1 i 1 M jn i n .

(10.2)

Les e l ements de la puissance tensorielle V n sont des tenseurs de rang n , dont l ecriture dans la base produit,
N

t=

i 1 ...i n =1

t i 1i n ei 1 ei n ,

(10.3)

fait appara tre les composantes t i 1 i n du tenseur t . Laction de la repr esentation D (g ) ou ses puissances tensorielles peut e tre transf er ee sur les composantes du vecteur ou du tenseur, auquel cas la matrice ou les matrices M 1 agissent par la gauche ( D D )(g )t i 1 i n = ( M 1 )i 1 j1 ( M 1 )i n jn t j1 jn . (10.4)

j1 ... jn

Pour n > 1, la repr esentation produit D n nest pas irr eductible (voir le chapitre 5), et se r eduit en une somme directe de repr esentations irr eductibles. Le premier r esultat fondamental, valide pour 90

tous les groupes lin eaires, est que nimporte quelle repr esentation irr eductible est contenue dans une puissance tensorielle de la repr esentation fondamentale. Toute repr esentation irr eductible de ces groupes est donc e quivalente a ` une repr esentation tensorielle. On a discut e au chapitre 5 lint er et pratique que cette observation implique, pour autant que lon dispose dun crit` ere simple qui permette disoler les parties irr eductibles des produits tensoriels. Lexemple que lon a d ej` a mentionn e est celui de la repr esentation du groupe de Lorentz dans laquelle se transforme le champ e lectrique et le champ magn etique. Cette repr esentation, de dimension 6, est e quivalente a ` une repr esentation tensorielle agissant dans la partie antisym etrique du produit V V (avec V un espace vectoriel de dimension 4). La cons equence est que les six composantes des champs peuvent e tre vues comme les six composantes ind ependantes dun tenseur de rang 2 antisym etrique, F = F . Le cas g en eral est une vaste g en eralisation de ce cas particulier. Nous commencerons par discuter le cas de G L ( N ), le plus g en eral des groupes lin eaires. Les r esultats obtenus pour G L ( N ) sappliquent directement a ` S L ( N ) et SU ( N ) sans aucune modication. Les groupes S O ( N ) par contre sont particuliers et n ecessitent une discussion 4 compl ementaire . SENTATIONS 10.1 R EPR E DUCTIBLES DE IRR E GL(N)

Dresser la liste des repr esentations irr eductibles de G L ( N ) se ram` ene a ` r eduire les produits ten n soriels D de la repr esentation fondamentale (vectorielle) D en parties irr eductibles puisquelles sont toutes obtenues de cette mani` ere. Il faut pour cela identier les sous-espaces invariants de eterminante, et fait intervenir, de fac on profonde, le groupe Vn V n . Lobservation suivante est d des permutations Sn . Le groupe Sn poss` ede une action naturelle sur lespace produit Vn , qui consiste a ` e changer lordre des vecteurs de base dans le produit (ou de fac on e quivalente, lordre des indices des comi i n 1 posantes t du tenseur), D ( ) ei 1 ei n = ei (1) ei (n) . (10.5)

Lespace vectoriel Vn supporte donc laction de deux repr esentations de deux groupes diff erents, dont aucune nest irr eductible. Cependant, et cest une observation capitale pour leur r eduction, elles commutent ! En effet, on a D ( ) D n (g ) ei 1 ei n = = e j (1) e j (n) M j1i 1 M jn i n e j (1) e j (n) M j (1)i (1) M j (n)i (n) (10.6) (10.7)

j1 jn j1 jn

par un simple r earrangement des e l ements de matrice M , =


4 Il

j1 jn

e j1 e jn M j1i (1) M jn i (n)

(10.8)

existe une derni` ere s erie de groupes lin eaires classiques, les groupes symplectiques Sp(2 N ), dont nous ne parlerons pas. Pour eux e galement, une discussion compl ementaire est n ecessaire.

91

par changement des variables de sommation, j (k ) jk , = D n (g ) D ( ) ei 1 ei n . (10.9)

La commutation des deux repr esentations est la cl e du probl` eme. Ecrivons les r eductions respectives des deux repr esentations en parties irr eductibles, D ( ) = m Y DY ( ),
Y

D n (g ) =

m i Di (g ),
i

(10.10)

o` u DY est la repr esentation irr eductible de Sn associ ee au diagramme de Young Y a ` n bo tes, et Di est une repr esentation irr eductible de G L ( N ); les entiers m Y et m i sont des multiplicit es. La relation de commutation D ( ) D n (g ) = D n (g ) D ( ) montre que le sous-espace VnY qui se transforme selon les m Y repr esentations DY est un sous-espace invariant pour D n (g ), de i qui se transforme dimension m Y f Y ( f Y est la dimension de DY ). Invers ement, le sous-espace Vn selon les repr esentations Di est un sous-espace invariant pour D ( ), de dimension m i dim Di . Le sous-espace invariant correspondant a ` un type de repr esentation irr eductible dun groupe est un sous-espace invariant pour lautre groupe, mais pas n ecessairement irr eductible. La r eduction compl` ete a e t e d etermin ee par Hermann Weyl, et m` ene aux r esultats remarquables suivants, connus sous le nom de dualit e de Weyl:
Y et Il existe une correspondance biunivoque entre lensemble des sous-espaces Vn i : la restriction de la repr celui des Vn esentation D n (g ) a ecompose ` chaque VnY se d pr ecis ement en m i copies de Di , pour un certain i , et la restriction de D ( ) a ` chaque i se r Vn eduit en m Y copies de DY . De plus, la multiplicit e de Di dans VnY est e gale a ` la i dimension de DY , et la multiplicit e de DY dans Vn vaut la dimension Di ,

m i = fY ,

m Y = dim Di .

(10.11)

Cet ensemble de r esultats d ecouvre un lien extr emement profond entre les repr esentations irr eductibles des groupes de permutations et les repr esentations irr eductibles des groupes lin eaires G L ( N ). Ils permettent ni plus ni moins de classer lensemble de toutes les repr esentations irr eductibles des groupes G L ( N ), et aussi S L ( N ) et SU ( N ), puisque les r esultats d ecrits plus haut sappliquent mot pour mot a ` ces deux s eries de groupes. Limage que lon obtient est la suivante. Une repr esentation irr eductible de G L ( N ) (ou de S L ( N ) ou SU ( N )) est une repr esentation tensorielle, et donc contenue dans une puissance D n de la repr esentation fondamentale, de dimension N . Elle peut e tre mise en correspondance avec un diagramme de Young Y de Sn , et agit dans un sous-espace VnY de lespace produit qui se transforme lui-m eme selon la repr esentation DY (en fait plusieurs copies de DY ). Puisque DY agit par permutations des e l ements de base dans la base produit, le sous-espace VnY se caract erise par i i n 1 des propri et es de sym etrie bien pr ecises. Les composantes t du tenseur dans ce sous-espace poss` edent les m emes propri et es de sym etrie. 92

En r esum e, une repr esentation irr eductible de G L ( N ) agit sur des tenseurs de rang n ayant des propri et es de sym etrie sous l echange de ses indices, caract eris ees par un diagramme de Young de Sn . Par cons equent, toute repr esentation irr eductible de G L ( N ), S L ( N ) ou SU ( N ), peut e tre caract eris ee par un diagramme de Young, bien que cette association ne soit pas biunivoque (plusieurs repr esentations de rangs diff erents, correspondant a ` des diagrammes de Young diff erents, peuvent e tre e quivalentes). Nous illustrerons ces r esultats en examinant les repr esentations irr eductibles correspondent aux valeurs de rang les plus basses, n = 1, 2 et 3. Un exemple important se rapportant a ` une repr esentation tensorielle de rang n = 4 sera e galement donn e plus loin. Le rang n = 1 est trivial: il ny a quune seule repr esentation irr eductible de rang 1, a ` savoir la repr esentation vectorielle elle-m eme, D (g ), de dimension N . Elle est associ ee au diagramme de Young ne poss edant quune seule bo te.

Le cas du rang n = 2 a d ej` ae t e discut e pr ec edemment, au chapitre 5, et nous le remettrons et , simplement en perspective. Le groupe S2 poss` ede deux repr esentations in equivalentes, associ ees respectivement a ` la repr esentation triviale et la repr esentation altern ee, chacune de dimension 1. Les sous-espaces correspondants de V2 = V 2 sont donn es par les combinaisons sym etriques et antisym etriques des vecteurs de base:
N

V2

= = =

i , j =1 N

t i j (ei e j + e j ei ) 1 ij (t + t ji )(ei e j + e j ei ) = 2 s i j ei e j : s i j = s ji , a i j ei e j : a i j = a ji .
N i , j =1

(10.12)

i , j =1 N

(t i j + t ji ) ei e j

(10.13)

(10.14)

i , j =1 N

V2 =

(10.15)

i , j =1

Ils constituent respectivement lespace des tenseurs sym etriques et des tenseurs antisym etriques, de +1) N ( N 1) dimension N ( N et . Puisque les deux diagrammes de Young d e nissent des repr esenta2 2 tions de dimension f Y = 1, les deux sous-espaces se transforment de mani` ere irr eductible sous G L ( N ). La r eduction de lespace produit V2 sous laction de S2 et de G L ( N ) s ecrit donc (dualit e de Weyl) N ( N + 1) 2 N ( N + 1) N2 = 1 2 N2 = N ( N 1) S, 2 2 N ( N 1) 1 . G L(N ) G L(N ) 2
S2

(10.16) (10.17)

Notons que pour N = 2, la repr esentation de G L (2) agissant dans la partie antisym etrique est de 93

dimension 1, et correspond a ` la repr esentation donn ee par le d eterminant:


2

(g ) (e1 e2 e2 e1 ) =

= (e1 e2 e2 e1 ) ( M11 M22 M21 M12 ) = (e1 e2 e2 e1 ) det M .

k ,=1

(ek e e ek ) Mk 1 M2 (10.18)

Elle nest pas e quivalente a ` la repr esentation triviale de G L (2), mais lest par contre dans le cas de S L (2) ou SU (2). Pour le rang n = 3, il nous faut consid erer les trois repr esentations irr eductibles de S3 , et les sous-espaces de V3 = V 3 correspondants. Le sous-espace V3 correspond aux tenseurs de rang 3 totalement sym etriques sous l echange des trois indices, V3 = s i j k ei e j ek : D ( )s i j k = s i j k , (10.19)

i , j ,k

et poss` ede une dimension N ( N +16)( N +2) . Puisque cette repr esentation de S3 est de dimension 1, le sous-espace V3 est irr eductible pour G L ( N ) et d enit donc une repr esentation irr eductible de N ( N +1)( N +2) dimension . 2 etriques, Le sous-espace V3 contient les tenseurs de rang 3 totalement antisym V3 = a i j k ei e j ek : D ( )a i j k = ( )a i j k ,
N ( N 1)( N 2) 6

(10.20)

i , j ,k

Il est de dimension

et est irr eductible sous G L ( N ).


2 2

Le troisi` eme et dernier sous-espace V3 , de dimension 2 N ( N3 1) , se transforme sous G L ( N ) dans deux repr esentations e quivalentes, chacune de dimension N ( N3 1) . Ces deux repr esentations agissent sur des tenseurs ayant des propri et es de sym etrie mixtes, ni totalement sym etriques ni totalement antisym etriques. Les tenseurs en question sont construits a ` laide des deux diagrammes 2 13 standards 1 et de la fac on suivante (voir le chapitre 7, o` u les repr e sentations de Sn elles-m emes 3 2 e taient construites de mani` ere tr` es semblable). Au premier diagramme standard
12 3

est associ ee la combinaison de permutations (10.21)

aY sY = [e (13)] [e + (12)] = e + (12) (13) (13)(12). Appliqu ee a ` un e l ement de base arbitraire ei e j ek , elle fournit ei j k = ei e j ek + e j ei ek ek e j ei ek ei e j .

(10.22)

Lorsque i , j , k prennent toutes leurs valeurs entre 1 et N , les N 3 directions ei j k ne sont pas ind ependantes mais satisfont les relations lin eaires suivantes ei j k + e j ki + eki j = 0, ei j k = e jik . 94 (10.23) (10.24)

Le d ecompte des directions ind ependantes est ici un peu moins direct. Consid erons dabord les directions ei j k avec i = j = k . Leur nombre total est e gal a ` N (N N ( N 1)( N 2) groupes de six, correspondant aux six permutations 1)( N 2), et se d ecomposent en 6 de i , j , k . Les relations ci-dessus impliquent que dans chaque groupe de six, seulement deux sont ependantes ei j k avec ind ependantes, par exemple ei j k et eik j . Il y a donc N ( N 13)( N 2) directions ind i = j = k . Ensuite il y a 3 N ( N 1) directions ei j k pour lesquelles deux des indices sont e gaux. Elles forment N ( N 1) groupes de trois, chaque groupe correspondant aux trois permutations qui ont un effet non-trivial sur le triplet i , j , k . Les relations lin eaires plus haut indiquent que chaque groupe de trois ne contient quune seule direction ind ependante, ce qui fait un total de N ( N 1) directions ind ependantes ei j k pour lesquelles deux indices sont e gaux. Finalement, les relations lin eaires impliquent que les directions avec trois indices identiques sont nulles, eiii = 0. On trouve ainsi un total de N ( N 1)( N 2) N ( N 2 1) + N ( N 1) = 3 3 (10.25)

directions ei j k lin eairement ind ependantes. Elles engendrent un sous-espace de cette dimension, invariant et irr eductible sous G L ( N ). Un tenseur g en eral appartenant a ` ce sous-espace est de la forme t i j k ei j k = [t i j k + t jik t k ji t j ki ] ei e j ek m i j k ei e j ek . (10.26)

i , j ,k

i , j ,k

i , j ,k

Les tenseurs de rang 3 associ es a ` cette repr esentation irr eductible sont donc caract eris es par les i j k sym etries des m , transpos ees de celles des ei j k , a ` savoir m i j k + m j ki + m ki j = 0, m i j k = m k ji . Lautre diagramme standard
13 2

(10.27) fabrique la combinaison de permutations (10.28)

aY sY = [e (12)] [e + (13)] = e + (13) (12) (12)(13),

et de mani` ere similaire a ` ci-dessus, les combinaisons e i j k = ei e j ek + ek e j ei e j ei ek e j ek ei . Elles satisfont les relations lin eaires e i j k + e j ki + e ki j = 0, e i j k = e k ji , engendrent un second sous-espace invariant de dimension 95
N ( N 2 1) , 3

(10.29)

(10.30) (10.31)

et sont en nombre e gal aux ei j k , le comptage se faisant de la m eme mani` ere que ci-dessus. Elles irr eductible sous G L ( N ), et

sur lequel agit une repr esentation e quivalente a ` la premi` ere. Ce sous-espace est caract eris e par des tenseurs m i j k = t i j k + t k ji t jik t ki j poss edant des sym etries semblables a ` celles du premier tenseur irr eductible, m i jk + m j ki + m ki j = 0, m i j k = m jik .
2

(10.32)

forment par paires dans une somme directe de N ( N3 1) repr esentations irr eductibles de dimension 2. La r eduction explicite n ecessite de prendre en compte les valeurs des indices, de sorte quune formule g en erale de r eduction nest pas ais ee. Lespace total V3 , de dimension N 3 , se d ecompose donc sous laction des deux groupes selon N3 =
N ( N +1)( N +2) 6

Sous le groupe des permutations S3 par contre, lensemble des directions ei j k et e i j k se trans-

S3

N ( N 2 1) 3

S3

N ( N 1)( N 2) 6

S3

(10.33) (10.34)

N3 = 1

N ( N +1)( N +2) 6 G L(N )

N ( N 2 1) 3 G L(N )

N ( N 1)( N 2) . 6 G L(N )

La r eduction sous G L ( N ) correspond a ` la d ecomposition explicite dun tenseur de rang 3 en parties irr eductibles selon 1 1 1 1 i jk t i j k = s i j k + ai j k + m i j k + m . 6 6 3 3 (10.35)

Lorsque N = 2, la repr esentation sur les tenseurs totalement antisym etriques dispara t (la formule donne une dimension nulle) puisquon ne sait pas construire un tenseur de rang 3 totalement antisym etris e avec seulement deux valeurs pour les indices. 10.2 F ORMULE
POUR LES DIMENSIONS

Le cas des tenseurs de rang 3 examin ea ` la section pr ec edente le montre d ej` a: le d ecompte du nombre de composantes ind ependantes dun tenseur soumis a ` des propri et es de sym etrie mixtes devient tr` es vite complexe. Il est donc imp erieusement souhaitable de disposer dune formule simple et efcace. Une telle formule existe, qui pr esente dailleurs des analogies frappantes avec celle donnant les dimensions des repr esentations irr eductibles des groupes de permutations (on aurait pu sen douter...). Une repr esentation irr eductible de G L ( N ) est associ ee a ` un diagramme de Young Y , comportant disons n bo tes. On associe a ` chaque bo te un nombre de la mani` ere suivante. Les bo tes de la diagonale principale du diagramme rec oivent toutes le nombre N . Une bo te plac ee sur une ligne a ` une distance k a ` droite de la bo te diagonale rec oit le nombre N + k , et une bo te plac ee sur une colonne a ` une distance k en-dessous de la bo te diagonale rec oit le nombre N k . Les nombres marqu es dans les bo tes sont donc constants le long des diagonales. La dimension de la repr esentation irr eductible de G L ( N ) (ou S L ( N ) ou SU ( N )) associ ee a ` Y est donn ee par dim Di =
i

(nombre dans la bo te i ) i i 96

(10.36)

o` u les entiers i sont les longueurs des e querres centr ees sur les bo tes (voir le chapitre 7). On v erie facilement les dimensions des repr esentations tensorielles de rang 3 annonc ees dans la section pr ec edente. Et de m eme on trouve que la d ecomposition dun tenseur g en eral de rang 4 en parties irr eductibles est donn ee par N4 = 1
N ( N +1)( N +2)( N +3) 24 G L(N )

N ( N 2 1)( N +2) 8 G L(N )

N 2 ( N 2 1) 12 G L(N )

N ( N 2 1)( N 2) 8 G L(N )

N ( N 1)( N 2)( N 3) . 24 G L(N )

(10.37)

SENTATIONS 10.3 R EPR E

DUCTIBLES DE IRR E

SO(N)

Le groupe S O ( N ) est un sous-groupe de G L ( N ). D` es lors la d ecomposition des repr esentations tensorielles par rapport aux groupes de permutations reste valable. Cependant les f Y copies de la repr esentation Di que lon trouve dans le sous-espace associ ea ` un diagramme de Young Y ne sont plus irr eductibles sous S O ( N ). On a d ej` a rencontr e une situation semblable au chapitre 5 lorsquon a examin e la r eduction du carr e tensoriel de la repr esentation orthogonale de dimension 2 de S3 . On avait trouv e que la partie sym etrique e tait bien invariante mais pas irr eductible, et cela pr ecis ement en raison du caract` ere orthogonal de cette repr esentation de dimension 2. La repr esentation fondamentale de S O ( N ), de dimension N , est orthogonale et m` ene a ` des r esultats semblables. Supposons que t i 1i 2 i n soit un tenseur irr eductible sous G L ( N ), ayant des propri et es de sym etrie x ees par un certain diagramme de Young de Sn . Sa transformation sous G L ( N ) s ecrit, pour une certaine repr esentation irr eductible Di , Di (g ) t i 1 i n = t j1 jn M j1i 1 M j2i 2 M jn i n . (10.38)

j1 jn

Prenons maintenant la trace sur les deux premiers indices de cette e quation, cest-` a-dire que nous posons i 1 = i 2 et sommons sur i 1 entre 1 et N (une contraction des indices i 1 , i 2). Nous obtenons Di (g )
i1

t i 1i 1 i 3 i n =

t j1 jn
j1 jn i1

M j1 i 1 M j2 i 1 M jn i n .

(10.39)

Si M est une matrice inversible sans autre propri et e particuli` ere, ce qui est le cas lorsque M est associ ee a ` un e l ement g de G L ( N ), la sommation sur i 1 ne peut pas e tre simpli ee. Si par contre M est une matrice inversible et orthogonale, la sommation sur i 1 donne M j1 i 1 M j2 i 1 = M j1i 1 Mit1 j2 = ( M M t ) j1 j2 = j1 j2 . (10.40)

i1

i1

L equation ci-dessus devient alors Di (g )


i1

t i 1i 1 i 3 i n =

j1 j3 jn

t j1 j1 j3 jn M j3i 3 M jn i n , 97

(10.41)

et montre que les combinaisons k t kki 3i n du tenseur original constituent un sous-espace invariant pour laction de S O ( N ), et que le tenseur de d epart nest plus irr eductible. Puisque la contraction peut seffectuer sur nimporte quelle paire dindices, on en d eduit aussit ot que les seuls tenseurs irr eductibles sous G L ( N ) qui restent irr eductibles sous S O ( N ) sont ceux qui ont toutes leurs traces nulles (on parle alors de tenseur sans trace: la contraction de nimporte quelle paire dindices est nulle). Les seuls tenseurs de ce type sont ceux qui sont compl` etement antisym etriques, associ es aux diagrammes de Young ne poss` edant quune seule colonne. En pratique, la r eduction dun tenseur qui poss` ede des traces non-nulles, seffectue en lui soustrayant toutes les traces ind ependantes de sorte que le r esultat des soustractions produise un tenseur sans trace, et donc irr eductible sous S O ( N ). Les traces elles-m emes, qui correspondent a ` des tenseurs de rang inf erieur au rang du tenseur de d epart, doivent e tre soumises au m eme traitement de soustractions si elles poss` edent des traces non-nulles. Ainsi dans lexemple g en eral que lon vient de traiter, la premi` ere e tape consistera a ` d ecomposer t i 1i 2 i n = t i 1i 2 i n 1 1 i 1i 2 t kki 3i n + i 1i 2 t kki 3i n . N N (10.42)

La partie entre accolades poss` ede une trace nulle sur les deux premiers indices. Elle peut cependant poss eder des traces non-nulles sur dautres paires dindices; de m eme la premi` ere trace qui a e t e soustraite, a ` savoir t kki 3i n , qui est un tenseur de rang n 2, peut e galement poss eder des traces non-nulles. En soustrayant et rajoutant syst ematiquement les traces non-nulles, puis les traces des traces, puis les traces des traces des traces, etc, on peut d ecomposer nimporte quel tenseur en parties irr eductibles sous S O ( N ). Pour le rang 2, le tenseur sym etrique poss` ede une unique trace non-nulle. Sa r eduction s ecrit : ti j = ti j 1 1 i j t kk + i j t kk , N N (10.43)

et celle de la repr esentation de G L ( N ), N ( N + 1) 2 = ( N 1)( N + 2) 2 1 . (10.44)

G L(N )

S O(N )

S O(N )

Effectivement la partie contraction i j t kk est un tenseur invariant a ` une seule composante puisque t kk i j (ei e j ) = ( t kk )
k i

i, j

ei ei

(10.45)

d enit une direction invariante sous S O ( N ). Pour le rang 3, le tenseur ayant la sym etrie associ ee au diagramme ne poss` ede quune seule trace non-nulle ind ependante, en raison de lantisym etrie de deux de ses indices, t k = t k , t j = 0. 98 (10.46)

La d ecomposition s ecrit donc ti jk = ti jk 1 1 i j t k + i j t k , N N (10.47)

et la r eduction de la repr esentation de G L ( N ) est donn ee par, N ( N 2 1) 3 = N ( N 2 4) 3 N . (10.48)

G L(N )

S O(N )

S O(N )

Mentionnons pour terminer que dans le cas du groupe de Lorentz S O (1, 3) ( N = 4), les contractions seffectuent avec la m etrique de Minkowski , qui remplace e galement la m etrique euclidienne i j dans les termes de soustraction. 10.4 L E
TENSEUR DE

R IEMANN

Une application importante des m ethodes tensorielles concerne le tenseur de Riemann, un tenseur de rang 4 qui poss` ede une signication g eom etrique importante en g eom etrie riemannienne, et qui joue un r ole capital en relativit e g en erale. La version totalement covariante du tenseur de Riemann poss` ede les propri et es de sym etrie suivantes: Ri j k = R jik = Ri j k = Rk i j , Ri j k + Rik j + Ri j k = 0. (10.49) (10.50)

Nous montrerons dans cette section que ces sym etries sont pr ecis ement celles qui sont dict ees par le diagramme de Young de S4 , et par cons equent que le tenseur de Riemann est irr eductible sous laction du groupe G L ( N ). La formule pour la dimension implique imm ediatement quen N dimensions, le nombre de ses composantes ind ependantes vaut dim Ri j k = N 2 ( N 2 1) , 12 (10.51)

e gal a ` 20 en dimension 4. Un des deux diagrammes standards associ e au diagramme ci-dessus est la combinaison de 16 permutations suivantes, aY sY = [e (12) (34) + (12)(34)][e + (13) + (24) + (13)(24)]. Lapplication de cet op erateur sur un tenseur g en eral de rang 4 donne Ri j k = t i j k + t k ji + t i k j + t k i j t jik t ki j t j ki t k ji 99
13 2 4,

auquel est associ e

(10.52)

t i j k t jik t ik j t ki j + t ji k + t i j k + t j k i + t k ji .

(10.53)

Sous G L ( N ), toutes les composantes Ri j k se transforment dans une repr esentation irr eductible de la dimension donn ee plus haut. La forme de la combinaison lin eaire d enissant Ri j k montre clairement les (anti)sym etries (10.49); de m eme la relation cyclique (10.50) se v erie directement. Finalement on peut montrer que le tenseur Ri j k ainsi construit ne satisfait pas dautres relations. Le tenseur de Riemann nest pas irr eductible sous les transformations orthogonales. Ses sym etries montrent quil ne poss` ede quune seule trace non-nulle ind ependante; par exemple celle sur les premier et quatri` eme indices d enit le tenseur de Ricci, Ri j Rki j k = k Rki j . (10.54)

Ce tenseur de rang 2 est sym etrique, Ri j = R ji , et poss` ede lui-m eme une trace non-nulle, qui est maintenant un invariant sous les transformations orthogonales, R Rii = i j Ri j . (10.55)

La r eduction compl` ete du tenseur de Riemannn sous S O ( N ) s ecrit


N 2 ( N 2 1) 12 G L(N )

N ( N +1)( N +2)( N 3) 12 S O(N )

( N +2)( N 1) 2 S O(N )

S O(N )

(10.56)

Les parties irr eductibles sont appel ees respectivement tenseur de Weyl, tenseur de Ricci sans trace, et scalaire de courbure.

E XERCICES 10.1 Pour N = 2, montrer comment le sous-espace invariant de V3 , de dimension 4 et orthogonal au sous-espace compl` etement sym etrique (voir section 1), se transforme sous S3 . 10.2 V erier la d ecomposition dun tenseur g en eral de rang 4 en parties irr eductibles sous G L ( N ), donn ee a ` la n de la section 2. 10.3 Pour N = 2, la repr esentation irr eductible de G L (2) associ ee au diagramme de S3 est de dimension 2. Est-ce que cette repr esentation est e quivalente a ` la repr esentation vectorielle (fondamentale) de G L (2) ? 10.4 Etablir la relation entre les repr esentations irr eductibles de SU (2) e tudi ees au chapitre 9, et les m ethodes tensorielles pr esent ees dans ce chapitre (avec N = 2). Montrer que la repr esentation irr eductible de spin j peut e tre associ ee a ` la repr esentation tensorielle de rang n = 2 j correspondant au diagramme de Young de S2 j comportant une seule ligne (totalement sym etrique). Plus g en eralement, les tenseurs associ es aux diagrammes dont les 2 j derni` eres colonnes comportent une seule bo te, correspondent tous a ` la repr esentation de spin j de SU (2). 100