Supersymtrie

Harold Erbin 30 aot 2011

Ce texte est publi sous la licence libre Licence Art Libre :

http://artlibre.org/licence/lal/

Table des matires

Table des matires 1 Introduction 1.1 Motivations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1.2 Conventions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2 Calcul spinoriel 2.1 Variables de Grassmann . . . . . . . . . . . 2.1.1 Gnralits . . . . . . . . . . . . . . 2.1.2 Direntiation . . . . . . . . . . . . 2.1.3 Intgration . . . . . . . . . . . . . . 2.1.4 Variables conjugus . . . . . . . . . 2.1.5 Matrices de Pauli et relations utiles 2.2 Spineurs quatre composantes . . . . . . . 2 5 5 6 8 8 8 9 10 11 11 12 14 14 14 15 18 19 21 22 24 24 24 25 27 28 28 29 29 29 34 35

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

3 Algbre supersymtrique 3.1 Cas gnral . . . . . . . . . . . . . . . . . . . . . . . . . . . 3.2 Rappels sur lalgbre de Poincar . . . . . . . . . . . . . . . 3.3 Algbre de super-Poincar . . . . . . . . . . . . . . . . . . . 3.4 Reprsentations de lalgbre supersymtrique . . . . . . . . 3.4.1 tat une particule sans masse, sans charge centrale 3.4.2 tat une particule massive, sans charge centrale . 3.4.3 tat une particule avec charges centrales . . . . . 4 Reprsentations sur les champs 4.1 Multiplet chiral N = 1 . . . . . . . . . . . . . . . . 4.1.1 Introduction et champs auxiliaires . . . . . 4.1.2 Calcul de lalgbre . . . . . . . . . . . . . . 4.1.3 Transformation des champs . . . . . . . . . 4.1.4 Multiplet antichiral . . . . . . . . . . . . . . 4.1.5 Notation quatre composantes . . . . . . . 4.1.6 Multiplet chiral rel . . . . . . . . . . . . . 4.2 Multiplet gnral N = 1 . . . . . . . . . . . . . . . 4.2.1 Calcul de lalgbre . . . . . . . . . . . . . . 4.2.2 Transformation des champs . . . . . . . . . 4.3 Calcul tensoriel : produit de deux champs chiraux

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . . . . . .

. . . . . . . . . . .

. . . . . . . . . . .

. . . . . . . . . . .

. . . . . . . . . . .

. . . . . . . . . . .

. . . . . . . . . . .

. . . . . . . . . . .

5 Superespace 37 5.1 Constructions : coordonnes et oprateurs . . . . . . . . . . . . . 37 5.2 Drives spinorielles . . . . . . . . . . . . . . . . . . . . . . . . . 38 5.3 Superchamps . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39 6 Superchamp chiral : construction et lagrangien 6.1 tude gnrale . . . . . . . . . . . . . . . . . . . 6.2 Transformations dun superchamp chiral . . . . . 6.3 Oprations entre champs chiraux . . . . . . . . . 6.4 Lagrangien . . . . . . . . . . . . . . . . . . . . . 6.4.1 Potentiel de Khler . . . . . . . . . . . . . 43 43 45 45 47 48

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

6.5

6.4.2 Superpotentiel . . . . . . . . . . . . . . . . . . . . . . . . 6.4.3 Lagrangien supersymtrique sans interaction de jauge . . Modle de WessZumino . . . . . . . . . . . . . . . . . . . . . . .

48 50 50 52 52 52 52 54 54 54 57 57 58 58 60 62 63 65 65 65 67 67 68 72 73 73 74 75 75 75 79 80 80 80 83 85 87 87 87 88 88 89 89 90 91 91

7 Thories de jauge supersymtriques 7.1 Superchamp vectoriel . . . . . . . . . . . . . . . . . . . . . . 7.1.1 tude gnrale . . . . . . . . . . . . . . . . . . . . . 7.1.2 Gnralisation des transformations de jauge . . . . . 7.1.3 Jauge de WessZumino . . . . . . . . . . . . . . . . 7.2 Thorie de jauge ablienne . . . . . . . . . . . . . . . . . . . 7.2.1 Force du champ . . . . . . . . . . . . . . . . . . . . . 7.2.2 Couplage avec de la matire : transformation globale 7.2.3 Couplage avec de la matire : transformation locale . 7.3 Thorie de YangMills supersymtrique . . . . . . . . . . . 7.3.1 Transformation de jauge non ablienne . . . . . . . . 7.3.2 Force du champ . . . . . . . . . . . . . . . . . . . . . 7.3.3 Couplage avec la matire . . . . . . . . . . . . . . . 7.3.4 Lagrangien de YangMills . . . . . . . . . . . . . . . 7.4 Exemples . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7.4.1 lectrodynamique supersymtrique (SQED) . . . . . 7.4.2 Chromodynamique supersymtrique (SQCD) . . . .

. . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . .

8 Brisure de supersymtrie 8.1 Symtrie R . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8.2 Gnralits . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8.3 Thorme de Goldstone et goldstino . . . . . . . . . . . . . . . 8.4 Lien entre symtrie R et brisure de supersymtrie . . . . . . . . 8.4.1 Gnralits . . . . . . . . . . . . . . . . . . . . . . . . . 8.4.2 Autres propositions . . . . . . . . . . . . . . . . . . . . . 8.4.3 Axion R . . . . . . . . . . . . . . . . . . . . . . . . . . . 8.5 Brisure par terme F : modles de ORaifeartaighWessZumino 8.5.1 Modle historique de ORaifeartaigh . . . . . . . . . . . 8.5.2 Gnralisations . . . . . . . . . . . . . . . . . . . . . . . 8.5.3 Vides mtastables . . . . . . . . . . . . . . . . . . . . . 8.6 Brisure par terme D : mcanisme de FayetIliopoulos . . . . . . 8.6.1 Modle simple . . . . . . . . . . . . . . . . . . . . . . . 8.6.2 Modle de FayetIliopoulos . . . . . . . . . . . . . . . . 8.7 Autres mthodes de brisure . . . . . . . . . . . . . . . . . . . . 9 Modle standard supersymtrique minimal 9.1 Rappels sur le modle standard . . . . . . . 9.2 Particules . . . . . . . . . . . . . . . . . . . 9.3 Superpotentiel . . . . . . . . . . . . . . . . 9.3.1 Couplage des champs . . . . . . . . 9.3.2 Parit R . . . . . . . . . . . . . . . . 9.3.3 Brisure douce . . . . . . . . . . . . . 9.3.4 Brisure de la symtrie lectrofaible . 9.4 tats propres de masses . . . . . . . . . . . 9.5 Discussion . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . .

. . . . . . . . .

. . . . . . . . .

. . . . . . . . .

. . . . . . . . .

. . . . . . . . .

. . . . . . . . .

. . . . . . . . .

. . . . . . . . .

. . . . . . . . .

. . . . . . . . .

. . . . . . . . .

. . . . . . . . .

10 Supersymtrie tendue 10.1 N = 2 . . . . . . . . . . . . . . . . . . 10.1.1 Supermultiplet vectoriel . . . . 10.1.2 Hypermultiplet . . . . . . . . . 10.1.3 Interactions . . . . . . . . . . . 10.2 N = 4 . . . . . . . . . . . . . . . . . . 10.3 Rduction dimensionnelle . . . . . . . 10.3.1 Thorie de jauge d = 10 . . . . 10.3.2 Rduction dimensionnelle . . . 10.3.3 Rduction de laction de jauge 10.4 Conclusion . . . . . . . . . . . . . . .

. . . . . . . . . .

. . . . . . . . . .

. . . . . . . . . .

. . . . . . . . . .

. . . . . . . . . .

. . . . . . . . . .

. . . . . . . . . .

. . . . . . . . . .

. . . . . . . . . .

. . . . . . . . . .

. . . . . . . . . .

. . . . . . . . . .

. . . . . . . . . .

. . . . . . . . . .

. . . . . . . . . .

93 93 93 94 95 95 97 97 97 99 99

11 Supercourants et thorie superconforme 100 11.1 Supermultiplet des courants . . . . . . . . . . . . . . . . . . . . . 100 11.2 Thorie conforme des champs . . . . . . . . . . . . . . . . . . . . 102 11.3 Extension la supersymtrie . . . . . . . . . . . . . . . . . . . . 102 12 Supergravit 12.1 Relativit gnrale : formalisme de Cartan . . . 12.1.1 Motivations . . . . . . . . . . . . . . . . 12.1.2 Coordonnes locales et ttrades . . . . . 12.1.3 Drive covariante et connexion de spin 12.1.4 Tenseurs de torsion et de Riemann . . . 12.1.5 quations du mouvement : connexion de 12.1.6 quations du mouvement : ttrade . . . 12.2 Champ de spin 3/2 . . . . . . . . . . . . . . . . 12.2.1 En espace plat . . . . . . . . . . . . . . 12.2.2 En espace courbe . . . . . . . . . . . . . 12.3 Supergravit N = 1 . . . . . . . . . . . . . . . . 103 103 103 103 105 106 108 108 108 108 109 110

. . . . . . . . . . . . . . . spin . . . . . . . . . . . . . . .

. . . . . . . . . . .

. . . . . . . . . . .

. . . . . . . . . . .

. . . . . . . . . . .

. . . . . . . . . . .

. . . . . . . . . . .

. . . . . . . . . . .

A Annexes 111 A.1 Relations utiles . . . . . . . . . . . . . . . . . . . . . . . . . . . . 111 A.2 Symtries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 111 Rfrences 112

Ces notes ont t rdiges lors dun stage sur la supersymtrie avec F. Nitti et J. Mourad.

1
1.1

Introduction
Motivations

Le modle standard des particules fournit un cadre thorique complet et qui, jusqu prsent, na jamais t en dsaccord avec lexprience, fournissant mme des rsultats dune extrme prcision. Mais plusieurs raisons incitent penser quil sagit dune thorie eective, car de nombreux points ne sont pas expliqus ou posent problmes dans ce modle, par exemple [26, 2] : le nombre de familles ; le (grand) nombre de paramtres libres ; la quantication de la charge lectrique ; les constantes de couplage qui ne sont pas unies ; le problme de la hirarchie (il existe 17 ordres de grandeurs entre la masse de Planck mp = 1019 GeV et lchelle lectrofaible, caractrise par la masse du boson Z 0 : mZ0 = 91 GeV) ; labsence de gravit. . . Lune des extensions du modle standard la plus populaire tant sur le plan phnomnologique que thorique est la supersymtrie. De nombreuses expriences, comme le LHC, visent prouver sa validit et beaucoup despoirs reposent sur cette dernire 1 . La dcouverte de la supersymtrie est attache aux noms de B. Zumino et J. Wess, qui ont publi leur premier papier sur le sujet en 1974 2 . Dans le modle standard, les masses des fermions et des vecteurs sont "protges" grce aux symtries chirale et de jauge [2, 25, 26]. Par contre, rien ne prserve la masse des scalaires, qui peuvent diverger jusqu la masse de Planck cause des corrections quantiques. Lide de la supersymtrie est dassocier un partenaire fermionique chaque boson, et inversement : les boucles de fermions dans les diagrammes de Feynman contribuent avec un signe oppos celles des bosons, de sorte quen ajustant des constantes de couplages, cest dire en permettant une symtrie entre bosons et fermions (ou encore entre matire et interaction), il est possible quelles se compensent exactement [23]. Cette non-renormalisabilit est nonce travers plusieurs thormes, qui sont relis aux proprits dholomorphie des constantes de couplage et du superpotentiel. De plus, limportance de la supersymtrie est dautant plus grande, quil sagit de la seule extension possible de lalgbre de Poincar 3 et qui soit compatible avec lexistence dune matrice S non triviale : sil existe des gnrateurs tensoriels supplmentaires, alors langle de diusion ne peut prendre que des valeurs discrtes (thormes de ColemanMandula et HaagLopuszanskiSohnius) [8, 22, 30]. Mathmatiquement [26], les gnrateurs Q de la supersymtrie sont fermioniques, et en ce sens il faut tendre les algbres de Lie en des superalgbres, qui permettent dinclure des anticommutateurs. Globalement, on a Q |fermion = |boson Q |boson = |fermion (1.1)

1. Bien que, depuis les confrences de cet t 2011, loptimisme quant la dcouverte de particules supersymtriques avant la n de lanne ait t fortement tempr par labsence de rsultats en ce sens. 2. Bien que plusieurs autres chercheurs aient tudi le sujet auparavant, leurs travaux nont pas t aussi largement diuss [22]. 3. Il est toujours possible davoir des groupes de symtries internes.

Lapplication successive dune transformation puis de son inverse conduit retrouver le mme systme, mis part une ventuelle translation. Cela revient crire schmatiquement {Q, Q} P (1.2) o P est limpulsion (gnrateur des translations). Les superpartenaires se situent dans un mme multiplet qui forme une reprsentation de lalgbre de la supersymtrie, au mme titre quun vecteur est constitu de composantes qui sont mises en relation par les transformations de Poincar, ou que les multiplets disospin (proton/neutron par exemple). De plus, si la supersymtrie est rendue locale, cette relation implique quil en va de mme pour les translations, ce qui implique lapparition de la gravit. Ainsi, la supersymtrie locale (appele supergravit) conduit naturellement inclure la gravit aux cts des autres forces (notons toutefois que la thorie reste non-normalisable). Toutefois, la supersymtrie implique que les superpartenaires doivent avoir la mme masse (cela est d au fait que les gnrateurs Q commutent avec P , et donc P P reste un oprateur de Casimir) [26], ce qui en dsaccord avec les donnes exprimentales : il faut donc briser la supersymtrie. Hlas, il sagit dune symtrie dicile briser, et beaucoup deorts ont t consacrs mieux en comprendre les mcanismes et les implications. Dun point de vue pratique, et ce mme si la thorie de la supersymtrie tait fausse, elle permet de faire beaucoup plus facilement certains calculs, et peut donc servir pour obtenir des rsultats prliminaires de thories plus ralistes [1]. Elle a permis aussi plusieurs avances en mathmatiques et trouve des applications en matire condense [1]. Pour rsumer, la supersymtrie est intressante pour les raisons suivantes : 1. elle rgle le problme de la hirarchie et ore plus grande stabilit quantique ; 2. elle unie les constantes de couplage ; 3. elle ore un candidat pour la matire noire ; 4. elle propose un premier pas pour lunication des thories de jauge avec la gravit ; 5. elle est ncessaire pour la thorie des cordes. Une introduction historique complte peut tre trouve dans le livre de Weinberg [29, chap. 24]. Kane a crit un livre de vulgarisation sur lhistoire et les motivations de la supersymtrie [12].

1.2

Conventions

On choisit comme signature (+, , , ). Sauf mention contraire (par exemple dans la section sur la supergravit), les indices grecs du milieu de lalphabet (, , . . .) sont des indices de Lorentz, les indices grecs du dbut de lalphabet (, . . .) sont des indices spinoriels, et les indices latins sont des indices de symtrie internes. Les spineurs deux composantes seront prfrs ceux quatre composantes dans la majorit du texte. Les matrices de Dirac sont dnies par = 0 0 5 = i 0 1 2 3 = I 0 0 I (1.3)

o les sont les matrices de Pauli gnralises = (I, i ) = = (I, i ) (1.4)

Le tenseur de LeviCivita est normalis 0123 = 0123 = 1 (1.5)

Au niveau des superchamps, nous suivrons de trs prs les conventions de Bintruy [2].

Calcul spinoriel

Le livre de Mller-Kirsten et de Wiedemann [15] prsente en dtails le calcul spinoriel, et on pourra en trouver des rsums dans [1, 2, 22]. On pourra trouver un formulaire complet la n du cours de FigueroaOFarrill [7] (en prenant garde aux conventions !).

2.1
2.1.1

Variables de Grassmann
Gnralits

Soit une variable de Grassmann . Sa structure indicielle (notation de van der Waerden) est la suivante : = (2.1) Le tenseur antisymtrique et son inverse jouent le rle de mtrique : = avec la normalisation 12 = 12 et les relations dorthonormalit
= =

(2.2)

(2.3)

(2.4)

On dnit le produit de deux spineurs et par = = Le produit de par lui-mme vaut = = = 1 2 + 2 1 = 21 2 = 21 2 et on en dduit la relation trs utile 1 = 2 (2.6) (2.5)

Elle permet de dduire la plupart des relations entre les variables de Grassmann. partir de cette formule, on peut dmonter 1 = 2 On a la formule de rarrangement de Fierz : () = () () (2.8) (2.7)

2.1.2

Direntiation

On dnit la direntiation gauche par = = et (2.9)

= (2.10) Cette dernire ne peut agir que sur un objet directement sa droite. Il faut donc prendre garde en drivant un produit. Par dnition de la drive, on a
, =

(2.11a) (2.11b)

{ , } = , La drive de 2 donne

= , = 0

() = 2

(2.12)

puisque ( ) = ( ) = ( ) = 2 En drivant encore une fois, on obtient (2 ) = (2 ) = 2 = 4 soit () = 4 (2.13) Le dveloppement en srie de Taylor dune fonction de Grassmann est nie : f () = f (0) + f 1 2f (0) + (0) 2 (2.14)

Notons que lordre des variables est important dans le second terme est important (mais pas le choix des indices). En utilisant la relation (2.6), on peut rcrire le dernier terme : 1 1 = = 2 2 et alors on peut mettre le dveloppement sous une seconde forme f () = f (0) + f 1 2f (0) + (0) 4 (2.15)

2.1.3

Intgration

Soit une fonction gnrale f () = f0 + f1 . An de dterminer la valeur de d (lintgration sur les variables de Grassmann est appele intgrale de Berezin), calculons son carr :
2 2

d do

d =

d =

d = 0 Ce choix permet aussi de rendre nul tout terme de surface : d puisque f = f1 d = 0 et on peut alors toujours intgrer par partie : d d f g = d f g f =0

(2.16)

(2.17)

(2.18)

La valeur de d nest soumise aucune condition et on choit une normalisation telle que d = 1 et alors d f () = f1 Ainsi, drivation et intgration sont quivalentes : d = (2.21) (2.20) (2.19)

Grce ces dnitions, lintgrale de Berezin est invariante par translation : d f ( + ) = car d f ( + ) = (f0 + f1 ) d + f1 d = f1 = d f () d f () (2.22)

Lintgration plusieurs variables se gnralise sans problmes. Soit deux variables de Grassmann ( = 1, 2), alors on dnit 1 1 d2 = d d = d1 d2 4 2 de sorte avoir les proprits d2 = 0 d2 = 0 d2 = 1 (2.24) (2.23)

10

2.1.4

Variables conjugus

Les dnitions et relations des sections prcdents stendent au cas des variables de Grassmann conjugues = = ( ) (2.25)

en dehors du fait que la convention des indices est et que les signes sont opposs :

12 = 12 = 1 = = = 2 = 21 2 = = 2.1.5 Matrices de Pauli et relations utiles

1 2

(2.26a) (2.26b) (2.26c) (2.26d)

Les spineurs gauches qui vivent dans la reprsentation (1/2, 0) du groupe de Poincar sont des variables de Grassmann, tandis que les spineurs droits, de la reprsentation (0, 1/2) se comportent comme des variables conjugues. La structure indicielle des matrices de Pauli, qui forment une base pour lalgbre SL(2, C), est la suivante : = = (2.27)

Elles permettent de passer de la reprsentation vectorielle la reprsentation spinorielle. Soit V un vecteur, alors V = V V = 1 V 2 (2.28)

Les gnrateurs de Lorentz dans la reprsentation des spineurs gauches sont = On dnit de mme = = 1 ( ) 4 = (2.30) 1 ( ) 4 = (2.29)

Quelques relations plus ou moins connues des matrices de Pauli sont

= ( + ) = 2

(2.31a) (2.31b) (2.31c) (2.31d) (2.31e) (2.31f) (2.31g)

( + )

tr( ) = 2
= 2

= 2 = 2

11

On a

1 = ( ) 2 = = = 1 2

(2.32)

En eet :

1 2 1 = 2 1 4 (2.33)

De mme = car

= = = Et aussi 1 2 1 4 (2.34) 1 2

1 = 2 = 1 2

On a car

(2.35)

= = ( )( ) 1 4 1 1 = = (2 ) 4 4 1 = 2 =

2.2

Spineurs quatre composantes

Les spineurs quatre composantes ne seront presque pas utiliss et donc nous nous contenterons de quelques formules et dnitions. Les matrices de Dirac obissent aux relations danticommutation { , } = 2 (2.36)

On dnit les matrices antisymtriques 1 n comme la somme totalement antisymtrique des produits des matrices i , divise par n!. 12

Les gnrateurs de Lorentz dans cette reprsentation sont 1 1 = [ , ] = 2 4 0 0 (2.37)

= i 5

13

Algbre supersymtrique
Cette section repose fortement sur la revue de Sohnius [22, sec. 2].

3.1

Cas gnral

Soient Bi et Fi les gnrateurs bosoniques et fermioniques, qui obissent certaines relations de commutation 4 : commutation : boson/boson ou fermion/boson ; anticommutation : fermion/fermion. Si les deux objets sont de mme nature, alors le commutateur donnera un boson ; dans le cas contraire, on obtiendra un fermion. Ces direntes rgles sont une simples consquences des rgles daddition des spins. Ces relations sont reprsentatifs dune algbre de lie gradue, ou superalgbre [26, ex. 2.1.1] : [Bi , Bj ] = icijk Bk [Fi , Bj ] = isijk Fk {Fi , Fj } = iijk Bk (3.1a) (3.1b) (3.1c)

Du fait des proprits dantisymtrie du commutateur, et de symtrie de lanticommutateur, les coecients de structure possdent les proprits suivantes : cijk = cjik ijk = jik (3.2) De mme, les gnrateurs obissent aux identits de Jacobi : [[Bi , Bj ] , Bk ] + [[Bk , Bi ] , Bj ] + [[Bj , Bk ] , Bi ] = 0 [[Fi , Bj ] , Bk ] + [[Bk , Fi ] , Bj ] + [[Bj , Bk ] , Fi ] = 0 [{Fi , Fj } , Bk ] + {[Bk , Fi ] , Fj } {[Fj , Bk ] , Fi } = 0 [{Fi , Fj } , Fk ] + [{Fk , Fi } , Fj ] + [{Fj , Fk } , Fi ] = 0 que lon note aussi [[Gi , Gj } , Gk } + cycliques = 0 (3.4) o lon ajoute un signe moins ds que deux gnrateurs fermioniques sont changs. (3.3a) (3.3b) (3.3c) (3.3d)

3.2

Rappels sur lalgbre de Poincar

Lalgbre de Poincar est constitue des gnrateurs associs deux types de symtrie [21] : les symtries despace-temps SO(1, 3) : translations P et transformations de Lorentz (boosts Ki , rotations Ji ) J = J ; les symtries internes Bi .
4. Sauf contexte qui laisserait penser le contraire, ce mot est prendre dans le sens gnral et dsigne donc la fois les relations de commutation et danticommutation. On crira [Gi , Gj } un commutateur gnrique.

14

Les commutateurs des dirents gnrateurs est [1, 26] : [P , P ] = 0 [P , J ] = i( P P ) [J , J ] = i( J J + J J ) [Bi , Bj ] = icijk Bk [Bi , P ] = [Bi , J ] = 0 Les deux oprateurs de Casimir sont P 2 = P P o W = W 2 = W W 1 P J 2 (3.6) (3.5a) (3.5b) (3.5c) (3.5d) (3.5e)

(3.7)

est le vecteur de PauliLubanski. Pour une particule de masse non nulle, on a W 2 = m2 S 2 tandis que pour une particule de masse nulle on trouve W = P o est lhlicit, et dans ce cas W 2 = 0. Dans ce cas, on a Bi , P 2 = Bi , W 2 = 0 (3.9) (3.8)

(3.10)

et les membres dun mme multiplet doivent avoir la mme masse (il sagit du thorme de ORaifeartaigh) et le mme spin. Les relations de commutation sont une consquence du thorme de ColemanMandula : les seuls gnrateurs tensoriels sont P et J , et tout autre charge bosonique doit commuter se comporter comme un scalaire de Lorentz, et donc elle se comporte comme un objet de spin 0. Ainsi, si lon veut ajouter de nouveaux gnrateurs qui permettent de changer lhlicit dun tat, ils seront forcment de type fermioniques. Les reprsentations de lalgbre de Poincar ne seront pas tudies plus en dtails, et lon pourra se reporter au livre de Ryder [21] au besoin.

3.3

Algbre de super-Poincar

Soient un espace de Hilbert H, | H et un gnrateur fermionique Q. Dans ce cas 2 2 | Q, Q | = Q | + |Q | | 0 (3.11) Lgalit implique Q = 0. Si un spineur Q appartient la reprsentation (j, j ), alors Q appartient (j , j), et dans ce cas Q, Q (j + j , j + j ). Or le seul objet bosonique de ce type est P (1/2, 1/2), donc on conclue que Q (1/2, 0) et Q (0, 1/2). Le premier possde un indice non point tandis que le second possde un indice point.

15

On considre N gnrateurs fermioniques Qi (i = 1, . . . , N ) et leurs complexes conjugus Qi = (Qi ) (3.12) On parle de supersymtrie tendue si N > 1. Sous une transformation de Lorentz, les gnrateurs se comportent comme des spineurs 5 [Qi , J ] = Qi , J 1 Qi 2 1 = Qi 2 (3.13a) (3.13b)

Daprs ce que nous avons vu plus tt, lanticommutateur de Q et Q est Qi , Qj = 2ij P (3.14)

En toute gnralit, on aurait d mettre une constante cij la place de ij , mais il est possible de rednir les Q et Q an de normaliser la constante. commutent avec limpulsion : dans le cas gnral, Montrons que les Q et les Q on a [Qi , P ] = cij Qj
Qi , P = c Qj ij

(3.15a) (3.15b)

En prenant une nouvelle fois le commutateur avec P , on obtient [[Qi , P ] , P ] = cij c ( ) Qk jk et lidentit de Jacobi donne [[Qi , P ] , P ] [[Qi , P ] , P ] + [[P , P ] , Qi ] = 0 cij c ( ) Qk cij c ( ) Qk = 0 jk jk cij c ( ) Qk = 0 jk o on a utilis (3.5a), do CC = 0. On peut dcomposer le commutateur {Qi , Qj } en une partie antisymtrique A (qui est proportionnelle un scalaire de Lorentz, et donc dont le commutateur avec P est nul) et une partie symtrique S. Dans ce cas on aura, daprs lidentit de Jacobi (la contraction avec permet de saranchir de la partie symtrique) : 0 = [{Qi , Qj } , P ] = {Qi , [P , Qj ]} {Qj , [P , Qi ]} = cjk Qi , Qk cik Qj , Qk (cij cji )P
5. Ces lois suivent directement du fait que les matrices sont les seules possder la bonne structure en indices. Ceci est valable en gnral pour trouver les bons objets.

(3.16)

16

donc, combin la relation prcdente, on doit avoir CC = 0, do C = 0. On a donc les relations [Qi , P ] = Qi , P = 0 (3.17)

Les Q se situent aussi dans une certaine reprsentation des symtries internes : [Qi , Br ] = (br )ij Qj Q , Br = Q (br )ji
i j

(3.18a) (3.18b)

o on a choisi les br hermitiens (groupe interne compact). Ainsi, le groupe de symtrie interne le plus large possible qui agisse sur les Q est U(N ). La rgle de combinaison des spins impliquent que le commutateur entre deux Q doit tre une combinaison de termes des reprsentations (0, 0) et (1, 0). Toutefois, le seul gnrateur bosonique de cette dernire est la partie self-duale de J , qui ne commute pas avec P , ce qui est en dsaccord avec lidentit de Jacobi [P , {Qi , Qj }] = {[P , Qi ] , Qj } + {[P , Qj ] , Qi } = 0 daprs lexpression (3.17). On en dduit que le commutateur doit forcment donner un scalaire de Lorentz et tre antisymtrique en , , et le seul quil est possible de former est proportionnel : {Qi , Qj } = 2 Zij Qi , Qj = 2
Zji

(3.19a) (3.19b)

o les Z sont une combinaison des gnrateurs internes Zij = (aij )r Br (3.20)

Les Zij sont appeles les charges centrales car ces gnrateurs commutent avec tous les gnrateurs : [Q, Zij ] = [Zij , Zk ] = 0 (3.21) La symtrie de lanticommutateur et lantisymtrie de impliquent Zij = Zji . On voit ainsi quil ne peut y avoir de charges centrales pour N = 1. Rcapitulons lalgbre de super-Poincar : [P , P ] = 0 [P , J ] = i( P P ) [J , J ] = i( J J + J J ) [Bi , Bj ] = icijk Bk [Bi , P ] = [Bi , J ] = 0 [Qi , J ] = Qi , J 1 Qi 2 1 = Qi 2 17 (3.5a) (3.5b) (3.5c) (3.5d) (3.5e) (3.13a) (3.13b)

 Qi , Qj

= 2ij P

(3.14) (3.17) (3.18a) (3.18b) (3.19a) (3.19b)

[Qi , P ] = Qi , P = 0 [Qi , Br ] = (br )ij Qj Qi , Br = Qj (br )ji {Qi , Qj } = 2 Zij Qi , Qj

= 2 Zji

et les Zij commutent avec tous les gnrateurs. On peut runir un gnrateur et son conjugu dans un spineur de Majorana : Qi = Qi Qi Qi = Qi Qi (3.23)

Dans ce cas, les rgles de commutations scrivent Qi , Qj = 2(ij P + i Im Zij + i5 Re Zij ) [Qi , P ] = 0 1 [Qi , J ] = Qi 2 (3.24a) (3.24b) (3.24c)

3.4

Reprsentations de lalgbre supersymtrique

Commenons cette section par plusieurs remarques dordre gnral. Lalgbre de Poincar tant une sous-algbre de celle de super-Poincar, toute reprsentation de cette dernire en est aussi une de lalgbre de Poincar (en gnral rductible) [1]. Ainsi, puisque chaque reprsentation irrductible de Poincar est une particule, une reprsentation irrductible de super-Poincar contiendra plusieurs types de particules, qui sont relies entre elles par les Q. Il est vident que toutes les particules dun mme multiplet doivent avoir la mme masse, car P 2 demeure un oprateur de Casimir : P 2 , Qi = 0 (3.25)

daprs le commutateur (3.17). Nous verrons aussi dans le chapitre sur la brisure de supersymtrie que lnergie de tout systme supersymtrique doit tre positive ou nulle. Soit NF loprateur qui compte le nombre de fermions [1, 26]. Dans ce cas, loprateur (1)NF , qui vaut 0 pour un tat bosonique, et 1 pour un tat fermionique, anticommute avec les Q, et alors tr (1)NF Qi , Qj = 2 tr (1)NF P = tr (1)NF (Qi Qj + Qj Qi ) = tr Qi (1)NF Qj + Qi (1)NF Qj ) = 0 en utilisant la cyclicit de la trace, do tr(1)NF = 0 18 (3.26)

et il y a autant dtats bosoniques que fermioniques. An de construire les supermultiplets, nous allons utiliser la mthode de Wigner, qui consiste construire la reprsentation du petit groupe de superPoincar, puis appliquer les gnrateurs pour dduire le multiplet entier [1, 2, 25, 26]. 3.4.1 tat une particule sans masse, sans charge centrale

On se place dans le rfrentiel o P = (E, 0, 0, E). Lhlicit est dnie comme Lp (3.27) = E donc W0 = E = L p (3.28) Dans ce cas, on aura W0 Q |E, = Q W0 |E, + [W0 , Q ] |E, = EQ |E, + E 3 Q |E, 1 = E I 3 2

Q |E,

o on a utilis la relation (3.9), ainsi que lexpression explicite du commutateur : [W0 , Q ] = [L p, Q ] = pi Li , Q 1 1 = pi i Q = E 3 Q 2 2 en utilisant (3.28) et (3.13a), et comme P commute avec Q . Pour i = 1, on trouve : 1 W0 Q1 |E, = E I 3 Q |E, 2 1 1 =E + Q1 |E, 2 en remplaant 3 . Ainsi, Q1 augmente lhlicit de 1/2. Un calcul semblable donne 1 W0 Q2 |E, = E Q2 |E, 2 et Q2 diminue donc lhlicit de 1/2. Finalement, cause du signe moins dans le commutateur (3.13b), leet des Q sera oppos. Calculons lanticommutateur (3.14) de Q et Q [2, 19] : Qi , Qj = 2ij P = 2Eij ( 0 + 3 ) = ij 4E 0 0 0

et donc Qi2 , Qj 2 = 0. Daprs la condition (3.11), on dduit que Qi2 = 0 (3.29)

19

 Dun autre ct, on a Qi1 , Qj 1 = 4Eij . En posant qi = (4E)1/2 Qi1 on obtient les relations : {qi , qj } = ij {qi , qj } = {i , qj } = 0 q (3.31a) (3.31b) (3.30)

On reconnait une algbre de Cliord pour N fermions. Toute reprsentation est caractrise par un tat de rfrence de Cliord, ou "vide", not |E, 0 , qui est tel que qi |E, 0 = 0 i (3.32) En appliquant qi , on obtient un tat dont lhlicit est augmente de 1/2 : qi |E, 0 = |E, 0 + 1/2, i o on garde note du gnrateur qui a t appliqu. Ltat de vide est unique. En eet, on a qi qj |E, 0 = qi |E, 0 + 1/2, j = |E, 0 , ij = {qi , qj } |E, 0 qj qi |E, 0
=0

(3.33)

= ij |E, 0 donc |E, 0 , ij = ij |E, 0 On aura de mme qi qj |E, 0 = |E, 0 + 1, ij = j qi |E, 0 = |E, 0 + 1, ji q On remarque que ltat est antisymtrique lorsquon change lordre des gnrateurs. Finalement, aprs avoir appliqu les N gnrateurs, on atteint ltat de plus haute hlicit : q1 qN |E, 0 = |E, 0 + N/2, 1 N (3.35) Toute nouvelle application donnera zro car qi = 0, et lon pourra toujours 2 changer la position des gnrateurs jusqu obtenir un tel produit. Ainsi, pour les multiplets sans masse, la plage couverte pour lhlicit est de N/2. On note n le nombre de gnrateurs qi appliqus. Le nombre dtats dhlicit 0 + n/2 est N d(n/2) = (3.36) n ce qui correspond au nombre de manire dappliquer n parmi N gnrateurs. Les principaux multiplets sont rsums dans le tableau 1. On note que les multiplets N = 4 et N = 8 sont uniques et autoconjugus par CPT. Lhypermultiplet peut ou peut ne pas tre CPT autoconjugu [1]. 20 (3.34)

Hlicit Chiral N = 1 Vectoriel N = 1 Graviton N = 1 Hypermultiplet N = 2 Vectoriel N = 2 Vectoriel N = 4 Vectoriel N = 4

3/2

1 1

1/2 1 1 1 2 4 56

0 1+1

1/2 1 1 1 2 4 56

1 1

3/2

1 1 1 28 2 1+1 6 70 1 1 28

Table 1 Principaux multiplets sans masse de la supersymtrie. Pour les multiplets vectoriel N = 1 et N = 2, chiral et du graviton, nous avons ajout les multiplets conjugus par CPT. Le nombre total dtats est
N

Ntot =
n=0

N n

= (1 + 1)N = 2N

(3.37)

De mme, on remarque quil y a autant dtats dhlicit entire que demientire : N/2 N/2 N N = (1 1)N = 0 2n 2n + 1 n=0 n=0 en accord avec la remarque au dbut de la section. En principe, on peut imaginer des multiplets qui ne sont pas symtriques par la parit (par exemple, pour N = 1 et 0 = 0, on obtient = 0, 1/2), mais cela est impossible si lon veut une thorie invariante de Lorentz. Certaines conditions limitent le nombre de gnrateurs : N 4 pour obtenir une thorie renormalisable (pas de particules de spin 3/2) ; N 8 pour une thorie de la supergravit (pas de particules de spin 5/2, qui prsente des problmes pour tre couples la gravit). 3.4.2 tat une particule massive, sans charge centrale

Pour une particule massive, on se place dans le rfrentiel de repos o P = (m, 0). Contrairement au cas des particules masse nulle, les gnrateurs ne sannulent pas pour = 2 : Qi , Qi = 2ij P = 2m 0 On normalise alors les gnrateurs : qi = (2m)1/2 Qi (3.38)

On aura donc une algbre de Cliord pour 2N variables et il y aura donc 22N tats avec chacun 2j + 1 degrs de liberts. Pour xer les ides, considrons le cas N = 1 avec un vide |j0 (j0 1/2)

21

annihil par q [2]. Dans ce cas, lapplication successives des q donne : |j0 q |j0 = |j0 1/2 1 q q |j0 = q q |j0 2 la dernire ligne, et sont forcment dirents, et la contraction q q donne un objet de spin j0 : ltat q q |j0 est donc lui aussi de spin j0 . Dans le cas gnral avec N gnrateurs, ltat de spin maximal est obtenu avec q1,2 qN,2 , et sera de spin j0 +N/2. Le spin minimal sera de mme j0 N/2, si j0 > N/2, sinon ce sera 0. Les principaux multiplets sont rassembls dans le tableau 2. Notons quune thorie N > 1 contient des champs de spin 1 ou plus, et que le multiplet vectoriel massif possde les mmes degrs de libert quun multiplet chiral plus un multiplet vectoriel non massifs, lun des champs rels du multiplet chiral fournissant le degr de libert longitudinal du vecteur [2]. Spin Chiral massif N = 1 Vectoriel massif N = 1 0 2 1 1/2 1 2 1 1

Table 2 Principaux multiplets massifs de la supersymtrie.

3.4.3

tat une particule avec charges centrales

Daprs le lemme de Schur, un oprateur qui commute avec tous les oprateurs doit tre un multiple de lidentit. Comme il sagit du cas pour les charges centrales Zij , on peut les reprsenter par leur valeur propre zr > 0. De plus, travers une transformation unitaire, il est possible de mettre la matrice Z sous la forme 6 [2] z1 0 0 0 D (3.39) Z= D = 0 ... 0 D 0 0 0 zN/2 En substituant lindice i par le groupe ar, o a = 1, 2 et r = 1, . . . , N/2, on obtient les relations de commutations (sans somme sur r) : Qar , Qbs = 2ab rs P {Qar , Qbs } = ab rs zr Qar , Qbs = ab rs zr (3.40a) (3.40b) (3.40c)

On peut montrer que les reprsentations non massives ne sont compatibles quavec labsence de charges centrales (zr = 0, r). Dans le cas massif, on considre les combinaisons linaires 1 2r A = (Q1r Q ) r 2 (3.41)

6. Nous considrons le cas o N est pair, bien que le cas impair, trait par Sohnius [22], est peine plus compliqu.

22

Dans ce cas, la seule relation de commutation non triviale est A , (A ) = rs (2m r r zr ) (3.42)

et la condition de positivit de la mtrique donne la condition zr 2m (3.43)

Si tous les zr sont infrieurs 2m, alors nous avons le mme nombre dtats que dans le cas sans charge centrale, et on parle de multiplets longs. On note n0 le nombre de charges centrales dont la valeur sature la limite : zr = 2m. Ces relations permettent dobtenir certaines relations entre les gnrateurs, ce qui revient rduire leur nombre de n0 . On aura donc une algbre de Cliord pour 2(N n0 ) variables, et on parle alors de multiplets courts [1, 2].

23

4
4.1
4.1.1

Reprsentations sur les champs

Multiplet chiral N = 1
Introduction et champs auxiliaires

Ainsi que nous lavons vu, le multiplet non massif le plus simple contient une particule de spin 0 et une autre de spin 1/2 : cela correspond un champ scalaire et un spineur de Weyl [2, 23]. Avant de considrer les transformations sur les champs, nous voyons tout de suite que nous sommes face un problme : un champ scalaire complexe possde deux degrs de liberts (on-shell et o-shell), tandis quun spineur de Weyl en possde deux on-shell, et quatre o-shell. Ainsi, bien que le nombre de degrs de libert soit identiques on-shell, ce nest pas le cas o-shell, or il est en gnral dsirable dtudier les thories o-shell ds que lon prend en compte les eets quantiques. Considrons le lagrangien libre pour ces champs : L = + i (4.1)

Le choix le plus simple de transformation (de paramtre ) que lon peut postuler est = = (4.2) de manire ce que le lagrangien Cherchons dterminer les variations et soit invariant ( une drive totale prs) : L = ( ) + ( ) + i + i ( ) = + + i i + i ( ) = ( + i ) + ( i ) + i ( ) et la variation est une drive totale L = i ( ) si = i = i (4.3)

Il faut vrier si lalgbre se ferme correctement. Soit deux transformations de paramtres 1 et 2 : [ 1 , 2 ] = 1 (2 ) 2 (1 ) = i(2 1 1 2 ) et donc le commutateur de deux transformations sur redonne la drive de , qui nest autre que laction de P sur ce champ [ 1 , 2 ] = a P Faisons le mme calcul pour : [ 1 , 2 ] = i 2 ( 1 ) + i 1 ( 2 ) = i 2 (1 ) + i 1 (2 ) = i(2 1 1 2 ) i(1 2 2 1 ) o on a utilis la formule de rarrangement de Fierz (2.8), et on obtient [ 1 , 2 ] = a P i(1 2 2 1 ) 24 (4.5) a = 2 1 + 1 2 (4.4)

et lon remarque avec stupeur que lalgbre ne se ferme que si le dernier terme est nul, cest dire que les quations du mouvement sont vrifes pour ! Cela rejoint notre analyse au dbut de la section, o nous rapportions que la thorie ne pouvait pas tre formule sous cette forme simplie o-shell. La rsolution de ce problme demande lintroduction de champs auxiliaires, cest dire qui ne se propagent pas : de cette manire, lon obtient le bon nombre de degrs de libert o-shell, et, puisquils ne sont pas dynamiques, ils ne comptent pas dans le dcompte on-shell [2, 22, 23]. Ici, il faudra ajouter un champ scalaire complexe pour obtenir les deux degrs manquants. Les champs auxiliaires apparaissent naturellement lors de la construction directe des supermultiplets (prochaine section) ou dans le formalisme du superespace. 4.1.2 Calcul de lalgbre

On part dun champ scalaire complexe A(x) qui servira dtat de rfrence pour notre reprsentation 7 [19, 22, 29]. On impose la contrainte A, Q = 0 (4.6)

Cette contrainte est arbitraire et dnit le multiplet chiral. Nous verrons plus loin ce quil advient lorsque lon retire cette contrainte. On dnit les champs suivants : [A, Q ] = 2i { , Q } = iF , Q = X On impose A de vrier lidentit de Jacobi avec Q et Q : [A, Q ] , Q + A, Q , Q = A, Q , Q 2i , Q = 2 [A, P ] 2iX = 2i A en utilisant la contrainte (4.6) et le commutateur (A.6), do , Q = A De mme, on aura {[A, Q ] , Q } + {[A, Q ] , Q } = [A, {Q , Q }] 2i { , Q } + 2i { , Q } = 0 2i(F + F ) = 0 = F = F F est donc antisymtrique et forcment proportionnel : F = F , o F est un champ scalaire, et donc { , Q } = i F
7. Les rsultats importants sont encadrs par anticipation.

(4.7a) (4.7b) (4.7c)

(4.8)

(4.9)

25

 Lidentit de Jacobi pour A et deux Q est trivialement vrie. On dnit les deux champs et : [F, Q ] = F, Q = En appliquant lidentit de Jacobi pour : { , Q } , Q + , Q , Q = , Q , Q i F, Q + [A, Q ] = 2 [ , P ] i + 2i = 2i 2( ) = et on a pu sortir les drives car les gnrateurs ne dpendent pas des coordonnes despace 8 . Maintenant, on contracte par : 2 = 2 ( ) = 2 ( + ) = 4 comme = 2, et en utilisant lantisymtrie de pour changer les indices. nest donc pas un nouveau champ et on a : F, Q = 2 On calcule ensuite : [{ , Q } , Q ] + [{ , Q } , Q ] = [ , {Q , Q }] i [F, Q ] i [F, Q ] = 0 + = 0 et en contractant par :
2 + = 0

(4.10a) (4.10b)

(4.11)

3 = 0 donc est nul et [F, Q ] = 0 (4.12) Il reste vrier que lalgbre est bien ferme, cest dire que toutes les autres identits de Jacobi sont nulles. Pour avec Q, on a , Q , Q + , Q , Q , Q , Q

= A, Q + A, Q + 0 = 0
8. Ceci est d au fait quil sagit de charges conserves, qui proviennent dune intgration du courant de Noether sur tout lespace

26

daprs la contrainte (4.6). On obtient trivialement 0 pour F avec Q cause du commutateur (4.12). Pour F avec Q, le calcul est plus long : F, Q , Q + F, Q , Q F, Q , Q

= 2 , Q + 2 , Q 0 = 2 ( A) + 2 ( A)
2 = 2 ( + ) A = 0

en changeant les indices et dans le premier membre, et en utilisant lantisymtrie de . La parenthse est antisymtrique sous la permutation , 2 2 tandis que lon a = , do la nullit. Finalement il reste vrier lidentit pour F , Q et Q : [F, Q ] , Q + = 0 + 2

F, Q , Q + F, Q , Q { , Q } + 2 [F, P ]

= 2 (i F ) + 2i F
= 2i( + ) F = 0

Lalgbre est donc bien ferme et on obtient le multiplet chiral (gure 1) = {A, , F } (4.13)

qui contient deux champs scalaires complexes (deux fois deux degrs de libert) et un spineur de Weyl (quatre degrs de libert). 4.1.3 Transformation des champs

An de calculer la variation des champs, on utilise un paramtre qui commute avec tout ce qui est bosonique (nombres complexes compris) et anticommute avec les fermions : il sagit de variables de Grassmann. La variation dun champ est donne par = i , Q + Q soit en composantes : = i , Q + Q (4.15) (4.14)

o = ( ) . partir des dirents commutateurs calculs prcdemment, on obtient : A = 2 = F i A F = 2i (4.16a) (4.16b) (4.16c)

27

(a) Multiplet chiral.

(b) Multiplet antichiral.

Figure 1 Relations entre les champs des multiplets chiral et antichiral. Remarquons que la variation de F est une drive totale, et permet dcrire des actions invariantes. On peut montrer que le commutateur de deux transformations successives scrit [ 1 , 2 ] = a (i ) a = 2(1 2 2 1 ) (4.17) et lalgbre se ferme bien, puisque la commutation de deux transformations est quivalente une translation de vecteur a . Ainsi, une reprsentation triviale pour laquelle = 0 est constitue de champs constants. Il est possible dajouter des indices aux champs 9 an dobtenir de nouveaux multiplets, qui eux seront rductibles. 4.1.4 Multiplet antichiral

Choisir la contrainte [A, Q] = 0 au lieu de (4.6) aurait conduit au multiplet antichiral , qui est construit par conjugaison hermitienne : = A , , F (4.18)

Ce multiplet contient le mme nombre de degrs de liberts que le multiplet chiral (4.13). 4.1.5 Notation quatre composantes

En utilisant la notation quatre composantes, le paramtre devient un bispineur et la variation scrit = i , Q

9. Attention, un indice spinoriel inverse la statistique du champ.

(4.19)

28

et la variation des champs devient [ 1 , 2 ] = 2i1 2 4.1.6 Multiplet chiral rel (4.20)

En notant A et B, F et G les parties relles et imaginaires de A et F , et en dnissant un spineur de Majorana partir de , on obtient le multiplet chiral rel : = {A, B, , F, G} (4.21) avec les lois de variations : A = B = 5 / = (F + 5 G) i (A + 5 B) / F = i / G = i5 (4.22a) (4.22b) (4.22c) (4.22d) (4.22e)

La prsence des 5 indique que A et F sont des scalaires, tandis que B et G sont pseudoscalaires. La contrainte (4.6) revient imposer que le spineur dans la variation de B soit 5 fois celui dans A.

4.2
4.2.1

Multiplet gnral N = 1
Calcul de lalgbre

Note : Bien que la mthode gnrale soit juste, les calculs dtaills sont en partie faux au nivau des facteurs exacts. Cette fois-ci, on tudie ce quil se passe lorsque lon nimpose aucune contrainte. On choisit un champ scalaire complexe C qui servira dtat de base. On dnit les champs suivants : [C, Q ] = 2i C, Q = 2i { , Q } = M , Q = N (4.23a) (4.23b) (4.23c) (4.23d) (4.23e) (4.23f)

, Q = A , Q = B On impose en premier lieu lidentit de Jacobi pour C, Q et Q : [C, Q ] , Q + C, Q , Q = C, Q , Q 2i , Q 2i , Q = 2 [C, P ] 2i A 2i B = 2i C 4A 4B = 4 C 29

 en contractant 10 par , sachant que = 2 . On trouve donc

B = A C soit nalement , Q = (A C) Pour lidentit entre C et Q, on a : {[C, Q ] , Q } + {[C, Q ] , Q } = [C, {Q , Q }] 2i { , Q } + 2i { , Q } = 0 M + M = 0

(4.24) (4.25)

et, comme pour le champ F du multiplet chiral, on trouve que M est forcment proportionnel : M = M , do { , Q } = M Un calcul exactement similaire pour C et Q C, Q , Q + C, Q , Q = C, Q , Q (4.26)

montre que N doit tre proportionnel , do N = N et ainsi , Q On dnit les nouveaux champs : [M, Q ] = M, Q = [N, Q ] = N, Q = Lidentit de Jacobi avec , Q et Q donne { , Q } , Q + , Q , Q = , Q , Q M, Q + [A , Q ] = 2 [ , P ] + [A , Q ] = 2i + 2 [A , Q ] = 2i et en rcrivant le premier terme : = = on obtient 1 [A , Q ] = + i( ) 2
10. Cette technique sera rgulirement utilise par la suite.

= N

(4.27)

(4.28a) (4.28b) (4.28c) (4.28d)

(4.29)

30

On retombe bien sur le champ comme on pouvait sy attendre (gure 2). Le calcul entre et Q donne [{ , Q } , Q ] + [{ , Q } , Q ] = [ , {Q , Q }] [M, Q ] + [M, Q ] = 0 + = 0 Comme dans le cas du multiplet chiral, on contracte par et on obtient = 0, donc [M, Q ] = 0 (4.30) Un calcul tout fait semblable pour avec Q , Q , Q + donne = 0, et donc N, Q = 0 Regardons maintenant lidentit pour M , Q et Q : [M, Q ] , Q + do { , Q } = 2i M La mme identit pour N [N, Q ] , Q + donne , Q = 2i N On pose { , Q } = D et lon utilise lidentit pour N et Q : {[N, Q ] , Q } + {[N, Q ] , Q } = [N, {Q , Q }] { , Q } + { , Q } = 0 et par similitude avec M , on trouve D = D et ainsi { , Q } = D On calcule maintenant lidentit de Jacobi pour , Q et Q : , Q , Q + , Q , Q = , Q , Q (4.35) (4.34) (4.33) N, Q , Q = N, Q , Q (4.32) M, Q , Q = M, Q , Q 0 + { , Q } = 2 [M, P ] (4.31) , Q , Q = , Q , Q

A C, Q + [N, Q ] = 2 , P A , Q + 2i + = 2i 2 A , Q + 4i + = 2i 31

ce qui donne 1 A , Q = i( ) 2i 2 1 = i( 2 ) 2 1 = i( ) 2 1 = i( ) 2 En conclusion, on obtient : 1 A , Q = i( ) 2 et on retrouve du comme prvu. Le commutateur entre A , Q et Q vaut : [A , Q ] , Q + A , Q , Q = A , Q , Q (4.36)

1 + i( ) , Q 2 1 + i( ) , Q 2

= 2 [A , P ]

1 , Q + i( ) A 2 1 +i( ) (A C) D = 2i A 2 soit aprs contraction par et en renommant par : 1 2 , Q 2

= i A i (A C)

1 + 2 D + 2i A 2
, Q = i A i tr( ) (A C) + D + 2i( ) A 2 = i( 2 ) A + 2i C + D

+ 2i( ) A
= i( ) A + 2i 2 C + D + 2i( ) A = 2i 2 C + D + i( ) A

sachant que tr( ) = 2 . En abaissant les indices, on obtient enn , Q

= (D + 2i 2 C) + i ( ) A

(4.37)

32

 Lidentit de Jacobi pour , Q et Q donne { , Q } , Q + , Q , Q = , Q , Q D, Q + 2i [N, Q ] = 2 [ , P ] + 2i = 2i D, Q

2 D, Q = 2i ( ) 2 D, Q = 4i grce lantisymtrie de . On obtient alors D, Q = 2i Ensuite pour , Q et Q : , Q , Q = { , Q } , Q + , Q , Q (4.38)

2 [ , P ] = 2i M, Q + [D, Q ] + 2i 2 [C, Q ]
+ i ( ) [A , Q ]

2i = 2i + [D, Q ] 4 2 i 2 i ( ) ( ) 2 i [D, Q ] = 2i( ) 2 2 4 2 i ( ) ( ) i 2 [D, Q ] = 2i ( ) 2 2 4 2 i ( ) ( ) i 2 [D, Q ] = 4i 2

2 4 2 2 i ( ) ( )

i = 4i 8 2 2 2 2i ( ) Il reste vrier que lalgbre est bien ferme : Les identits pour M et Q, N et Q {[M, Q ] , Q } + {[M, Q ] , Q } [M, {Q , Q }] = 0 N, Q , Q + N, Q , Q N, Q , Q =0

sont triviales comme leurs commutateurs sont nuls : M et Q : M, Q , Q + M, Q , Q M, Q , Q

= , Q + , Q 0

33

 et Q : , Q , Q + , Q , Q , Q , Q

= A , Q + A , Q 0 et Q : , Q , Q + , Q , Q , {Q , Q }

et Q : , Q , Q + , Q , Q , Q , Q

= 2i N, Q + 2i N, Q 0 = 0 car N, Q = 0. 4.2.2 Transformation des champs

On a donc obtenu les champs composant le multiplet vectoriel (gure 2) : V = C, , , M, N, A , , , D Finalement, en utilisant la formule (4.14) = i , Q + Q les variations des champs sont [19] : C = 2i( ) = M + A = (A C) + N M =

(4.39)

(4.14)

(4.40a) (4.40b) (4.40c) (4.40d) (4.40e) (4.40f) (4.40g) (4.40h) (4.40i)

N = 1 1 A = + i( ) + i ( ) 2 2 = D + 2i N = 2i M D = 2i

Les relations entre les champs sont rsumes sur la gure 2. Lalgbre est constitue : seize composantes fermioniques : , , , (quatre spineurs de Weyl complexes) ; seize composantes bosoniques : C, M, N, D (quatre champs scalaires complexes) et A (un champ vectoriel complexe). 34

En imposant la condition de ralit V =V (4.41)

on rduit le nombre de composantes huit de chaque type, et dans ce cas : N = M C = C = D = D =

A = A

(4.42a) (4.42b)

Figure 2 Relations entre les champs du multiplet gnral. Les ches pleines indiquent une relation directe, tandis que celles en pointills signient que la drive du champ est prsente.

4.3

Calcul tensoriel : produit de deux champs chiraux

Il est possible de combiner plusieurs champs ensembles [22, sec. 4.4]. Le produit de deux champs chiraux A1 et A2 est un nouveau champ chiral A1 A2 : en eet, on a A1 = A2 = 0 = (A1 A2 ) car (A1 A2 ) = A1 A2 + A1 A2 = 0 Dans ce cas, la composante est donne par la variation de A1 A2 : (A1 A2 ) = A1 A2 + A1 A2 = 1 A2 + A1 2 De mme, on obtient la composante F en faisant varier la composante : (1 A2 + A1 2 ) = 1 A2 + 1 A2 + A1 2 + A1 2 = F1 A2 + 1 2 1 2 + A1 F2 1 = A1 F2 + F1 A2 1 2 2 35 (4.43)

Le champ produit a donc pour composantes 1 2 = 1 A1 A2 , 1 A2 + A1 2 , A1 F2 + F1 A2 1 2 2 (4.44)

Les autres combinaisons possibles seront tudies dans le formalisme du superespace.

36

5
5.1

Superespace
Constructions : coordonnes et oprateurs

Lide est dtendre lespace de Minkowski repr par les coordonnes (boso niques) x en un superespace repr par (x , , ). De cette manire, les peuvent tre vus comme les gnrateurs des translations gnrateurs Q et Q dans les directions fermioniques. Les coordonnes et sont des variables de Grassmann et permettent ainsi de reformuler lalgbre avec des commutateurs : Q, Q = 2 P car Q, Q = Q Q Q Q = Q Q + Q Q = Q , Q = 2 P

(5.1)

On sintresse au quotient du groupe de super-Poincar par celui des transformations de Lorentz : cela revient assimiler tous les systmes qui ne dirent que par une transformation de Lorentz, et il reste donc les translations [22]. Il existe direntes manires de reprsenter les lments du groupe [15], et nous choisirons [30] G(x, , ) = ei(xP +Q+Q) (5.2) An dtudier leet dune translation fermionique, on tudie la composition de deux lments G(a, , ) et G(x, , ) : G(a, , )G(x, , ) = ei(aP +Q+Q) ei(xP +Q+Q) = exp i (x + a)P + ( + )Q + ( + )Q + i Q + Q, Q + Q 2

= exp i (x + a)P + ( + )Q + ( + )Q i + (2 2 )P ) 2 = exp i (x + a + i i )P + ( + )Q + ( + )Q = G(x + a + i i , + , + ) o on a utilis la formule de Hausdor (A.2), en tenant compte du fait que les autres commutateurs sont nuls car [Q, P ] = 0. On remarque donc quune translation fermionique saccompagne dune translation despace, a priori complexe (comme on pouvait sy attendre, linverse nest cependant pas vrai, puisque P commute). Innitsimalement, on a G = G(x, , ), i(aP + Q + Q) = i(aP + Q + Q)G(x, , ) 37 (5.3)

An de trouver une reprsentation fonctionnelle, on dveloppe le dernier terme : G(x + a + i i , + , + ) 1 + a + i i + + G(x, , ) = G(x, , ) + a G(x, , ) + ( + i )G(x, , )

+ ( + i )G(x, , ) = G(x, , ) ia P G(x, , ) i Q G(x, , ) i Q G(x, , ) Par identication, on trouve que P = i Q =

Q =

(5.4a) (5.4b) (5.4c) (5.4d)

Q =

i( + i ) i( + i ) i( + i )

La variation dun champ est : F = i(Q + Q)F avec Q + Q = i ( + i ) i( + i ) = i( ) ( ) do = ( ) + i( ) (5.6) (5.5)

5.2

Drives spinorielles

En considrant cette fois-ci laction droite, et en demandant quelle soit identique laction gauche, on obtient des drives qui commutent avec les lments du groupe [30] :
G(x, , )G(a, , ) = ei(xP +Q+Q) ei(aP +Q+Q)

= exp i (x + a)P + ( + )Q + ( + )Q + i Q + Q, Q + Q 2

= exp i (x + a)P + ( + )Q + ( + )Q i + (2 2 )P ) 2 = exp i (x + a + i i )P + ( + )Q + ( + )Q = G(x + a + i i , + , + )

38

et en dveloppant au premier ordre : G(x, , )G(a, , ) 1 + (a + i i ) + + G(x, , ) = 1 + a + i

+ i G(x, , ) = (1 + a D + D + D )G(x, , ) Par identication, on obtient alors : D = D = D = D = Un calcul simple montre que D , D = 2i (5.8) i i i (5.7a) (5.7b) (5.7c) (5.7d)

Remarquons aussi que, du fait de leur caractre spinoriel, les drives troisimes et suprieures sont nulles : Dn = Dn = 0 De mme, on a videmment D = D = 0 (5.10) n3 (5.9)

De part leur construction, ces drives anticommutent avec les gnrateurs des translations : {D , Q } = D , Q = D , Q = D , Q =0 (5.11)

Calculons par exemple le premier anticommutateur : {D , Q } = i , i( + i ) = i { , } , + ,

2 + i , = 0

en utilisant le fait que tous les anticommutateurs sont nuls (2.11). En terme de commutateur, on obtient [D , Q] = 0, et ainsi de suite.

5.3

Superchamps

Une fonction des coordonnes (x, , ) peut tre dveloppe en srie de et qui sera nie puisquil sagit de variables de Grassmann. Le superchamp le , plus gnral sera donc V (x, , ) = C(x) + (x) + (x) + M (x) + N (x) + A (x) + (x) + (x) + D(x) 39 (5.12)

puisque les termes du type 1 2 sont proportionnels . Les coecients du dveloppement correspondent des champs sur lespace bosonique et forment une reprsentation de lalgbre de supersymtrie 11 . Le coecient du terme est appel "terme D". Nous verrons quil joue une importance particulire. Un superchamp ne constitue pas une reprsentation irrductible et il faut chercher quelles contraintes imposer. Ces dernires doivent tre covariantes, sans quoi une transformation de supersymtrie briserait la contrainte choisie. On peut identier les transformations des composantes en utilisant lexpression explicite : V = ( )V + i( ) V = C + + + M + N + A + + + D Calculons cette dernire expression terme par terme : Terme C : ( )C + i( ) C = i( ) C = i( + ) C Terme : ( ) + i( ) () 1 1 = + i i 2 2 i i = i + 2 2 Terme : ( ) + i( ) () i i = + i 2 2 Terme M : ( )M + i( ) (M ) = 2M + i M = 2M i M Terme N : ( )N + i( ) (N ) = 2N i N
11. ce stade l, il nest pas possible didentier directement ces champs ceux que lon a dtermins par une construction directe (4.39), puisquil est toujours possible de les dnir de direntes manires. Toutefois le nombre de composantes est identique.

(5.6)

40

 Terme A : ( ) A + i( ) ( A ) = A + A + i i 1 A 2

1 A 2 i = A + A + ( A F ) 2 i A F 2 = 1 2 (5.13)

comme

et en dnissant F = A A On a A = car est antisymtrique. Terme : ( )() + i( ) () 1 = + 2()() i 2 1 i = + 2 + 2 2 i = + 2 Terme : ( )() + i( ) () i = 2 Terme D : ( )(D) + i( ) (D) = 2 D + 2 D 1 F 2

41

Enn par identication : C = + = 2M + (A i C) = 2N (A + i C) i M = + 2 i N = 2 i A = + ( ) i( + ) 2 i = 2D + ( A F ) i N 2 i = 2D ( A F ) i M 2 i D = ( ) 2 (5.14a) (5.14b) (5.14c) (5.14d) (5.14e) (5.14f) (5.14g) (5.14h) (5.14i)

On reconnait plusieurs endroits les combinaisons i/2 et + i/2 : on pourrait tre tent de faire les subsitutions i 2 i + 2

an de simplier les lois de transformations. Nous ne le ferons pas tout de suite attendrons la section sur les thories de jauge, o nous verrons que ce changement de variable est dautant plus intressant car il rend la composante invariante de jauge. Toutefois dans ce cas il faut aussi laccompagner du changement 1 D D + C 4 pour viter de faire apparaitre des termes en 2 . Notons que D est une drive totale.

42

6
6.1

Superchamp chiral : construction et lagrangien

tude gnrale

Le choix le plus naturel de contrainte est dimposer que la drive (anti-)spinorielle soit nulle [1, 22, 30] : D = 0 (6.1) o est un superchamp quelconque. Montrons que ce dernier est chiral : pour cela, nous allons chercher exprimer en fonction de variable dont la drive spinorielle est nulle. Nous avons vu que D = 0. Dterminons f (, ) telle que + f) = 0 : D(x D (x + f (, )) = ( + i )(x + f (, )) f = 0 = i

do, aprs intgration et en prenant garde au fait que la drive agit gauche : f (, ) = i (6.2)

On a pos la constante dintgration (qui dpend de ) zro. Ainsi, la variable y = x i est telle que Dy = 0 (6.4) Ainsi, tout champ qui sexprime seulement en fonction de (y, ) sera tel que (6.1) soit vraie. En dveloppant ce champ, on obtient (6.5) (y, ) = A(y) + 2(y) + F (y) correspond donc bien un multiplet chiral. Avec ces nouvelles variables, les drives spinorielles deviennent (les drives sont par rapport y) D = 2i D = En eet, en utilisant la rgle de la chaine, on a i = x y + y i (6.6a) (6.6b) (6.3)

y + x y x = i + i y y = 2i y

43

 Dans le cas de D, le signe moins de (2.11) annulera le premier terme de lavant dernire ligne. De mme on montre que les oprateurs Q et Q deviennent Q = i Q = i + 2i (6.7) (6.8)

Pour obtenir le dveloppement en revenant en terme de x, on pourrait utiliser le dveloppement en srie (nie) des coecients de . Une autre mthode [25] est dintgrer directement (6.1) ( + i )(x, , ) = 0 ce qui donne 12
(x, , ) = ei (x, )

(6.9)

En dveloppant lexponentielle et le champ (x, ), on obtient (tous les coecients dpendent de x) : (x, , ) = ei =

(x, )

1 A + 2 + F 1 i 2 1 = A + 2 + F i A + 2 2 A 4 soit nalement (x, , ) = A + 2 + F i A i 1 2 A 4 2

(6.10)

Un superchamp antichiral est tel que D = 0 Il sexprime naturellement en terme des variables (y , ) : (y , ) = A (y ) + 2(y ) + F (y ) Son expression en fonction des variables (x, , ) est (x, , ) = A + 2 + F + i A i 1 2 A 4 2 (6.11)

(6.12)

(6.13)

car (i ) = i( ) = i( ) = i
12. En toute rigueur il aurait fallu noter autrement le champ (x, ) qui sert de constante dintgration. Il est aussi dirent de (y, ).

44

6.2

Transformations dun superchamp chiral

tudions les transformations des champs dun superchamp chiral laide de la formule (5.5) : = i(Q + Q)(y, ) = i i i( + 2i ) (A + 2 + F ) = 2 + (2 F ) 2i ( A + 2 ) 1 = 2 + (2F 2i A) 2 2i 2 = 2 + (2F 2i A) + i 2 = A + 2 + F et par identication : A = 2 = 2F i 2 A F = i 2 (6.14a) (6.14b) (6.14c)

en dehors de signe et des facteurs 2 qui dpendent de la normalisation choisie, on retrouve les lois de transformations du multiplet chiral (4.16) dtermine par construction directe.

6.3

Oprations entre champs chiraux

La somme de deux champs chiraux est videmment un nouveau champ chiral. Le produit de deux champs chiraux i et j vaut i j = (Ai + 2i + Fi )(Aj + 2j + Fj ) = Ai Aj + 2(Ai j + Aj i ) + (Ai Fj + Aj Fi ) + 2i j do i j = A i A j + 2(Ai j + Aj i ) + (Ai Fj + Aj Fi i j ) (6.15)

Le produit de trois champs chiraux est i j k = A i A j + 2(Ai j + Aj i ) + (Ai Fj + Aj Fi i j ) (Ak + 2k + Fk ) = Ai Aj Ak + 2 (Ai j + Aj i )Ak + Ai Aj k

+ 2(Ai j + Aj i )k + Ai Aj Fk + (Ai Fj + Aj Fi i j )Ak = Ai Aj Ak + 2(Ai Ak j + Aj Ak i + Ai Aj k ) (Ai j + Aj i )k + (Ai Aj Fk + Ai Ak Fj + Aj Ak Fi Ak i j )

45

soit i j k = A i A j A k + 2(Ai Ak j + Aj Ak i + Ai Aj k ) (6.16)

+ (Ai Aj Fk + Ai Ak Fj + Aj Ak Fi Ai j k Aj i k Ak i j )

Le produit de plusieurs superchamps chiraux est encore un champ chiral. Le produit dun champ chiral et dun champ antichiral est, en terme de la variable x : j = i 1 i 2i + Fi + i A i 2 A i i 4 2 i 1 Aj + 2j + Fj i Aj j 2 Aj 4 2 i = A Aj + 2A j + A Fj iA Aj A j i i i i i 2 1 A 2 Aj + 2Aj i + 2(j )(i ) + 2 Fj i i 4 i 2(i )( ) Aj i(i )( j ) + Aj Fi + 2j Fi + Fi Fj iAj A i i 2(j )( A ) + ( A )( Aj ) i i i 1 Aj i i(j )( i ) Aj 2 A i 4 2 A + i

et aprs simplication : j = A A j + i i 2A j + 2Aj i + A Fj + Aj Fi i i + (iA Aj iAj A + i j )

i i

+ + +

i i 2Fj i + A j A j i i 2 2 i i 2Fi j + Aj i Aj i 2 2 1 1 (Aj 2 A + A 2 Aj ) + A Aj i i i 4 2 i i + j i j i + Fi Fj 2 2

(6.17)

comme ( A )( Aj ) = A Aj i i 1 (i )( j ) = j i 2 Cette fois-ci, nous remarquons que le produit est un superchamp gnral (et mme rel).

46

Il reste traiter la dirence 13 dun champ chiral et de son conjugu (en terme de x) : = A+ i 1 2 + F i A 2 A 4 2 i A + 2 + F + i A 2 1 2 A 4

qui donne en simpliant 2 2 + F F 2i (Re A) i i i + 2 (Im A) 2 2 2 (6.18) qui est un superchamp imaginaire, donc i( ) sera un superchamp rel, de mme que + . On remarque que la composante , qui est celle associe au vecteur, se transforme comme une drive totale. On peut donc utiliser ce superchamp pour gnraliser les transformations de jauge : cest ce que nous ferons plus tard. = 2i Im A +

6.4

Lagrangien

Dans cette partie nous nous contenterons de dcrire le lagrangien de matire sans interaction de jauge (qui seront le thme de la prochaine section) : nous nutiliserons que des superchamps (anti-)chiraux. Nous utiliserons le formalisme du superespace, bien quil suse de remplacer lintgration sur d2 (resp. d2 , 4 d ) par la slection du terme F (resp. F , D). En tudiant les transformations des champs (anti-)chiraux (resp. vectoriels) que les composantes F (resp. D) se transforment comme une drive totale et sont donc de bons candidats pour une densit de lagrangien 14 . Un lagrangien supersymtrique est constitu de deux parties : le potentiel de Khler K = K(, ) : il sagit du terme cintique ; le superpotentiel W = W () (et son complexe conjugu W = W ( )) qui comporte les termes de masse et les interactions. Laction scrira donc S = Sk + Si = Lk = Li = d4 x Lk + d4 K(, ) d2 W (i ) + h.c. d4 x Li (6.19a) (6.19b) (6.19c)

13. Qui nous sera plus utile que la somme. Pour obtenir cette dernire, il faut changer les parties relles imaginaires ainsi que certains signes. 14. Nous anticipons dailleurs sur la prochaine section propos du superchamp vectoriel. Toutefois il est ncessaire pour crire le lagrangien dun champ chiral.

47

6.4.1

Potentiel de Khler

Le potentiel de Khler est une fonction gnrale des champs chiraux i et antichiraux . Toutefois, pour tre renormalisable, on doit choisir le potentiel i de Khler K(i , ) = gij j (6.20) i i o les coecients gij sont constants. En gnral, il est possible de rendre gij gale lidentit en rednissant les champs (somme sur i) et on obtient ainsi le potentiel de Khler canonique : K(i , ) = i i i La composante D dun tel potentiel est 1 1 |D = (A 2 A + A 2 A) + A A 4 2 i i 2 + + |F | 2 2 (6.21)

(6.22)

Les termes en A peuvent tre crits sous la forme dune drive totale et dun autre terme : 1 1 (A 2 A + A 2 A) = (A A + A A) 2 A A 4 4 1 1 = (A A + A A) + A A 4 2 On aura donc i 2 |D = A A + ( ) + |F | 2 1 (A A + A A) 4

(6.23)

On reconnait le terme cintique canonique pour un champ scalaire complexe, la drive totale donnant un terme de surface dans laction. On pourrait aussi crire un seul terme avec une drive spinorielle : = ( ) 6.4.2 Superpotentiel

Le superpotentiel une fonction holomorphe de , puisquil ne dpend pas de son complexe conjugu [24] : en eet, dans le cas contraire il ne sagirait plus dun champ chiral. Cette proprit est trs importante et conduit de nombreux thormes. Dterminons lexpression gnrale du superpotentiel [1] en utilisant son dve-

48

loppement de Taylor (2.15) : W i (y, ) = W i (y, 0) + W 1 2W i (y, 0) + i (y, 0) 4 2 i W 1 i W = W (Ak ) + (Ak ) + (Ak ) i 4 i i W = W (Ak ) + (Ak ) i 2 i W i j 2 W 1 (Ak ) (Ak ) + 4 2 i i j W = W (Ak ) + ( 2i + 2Fi ) (Ak ) i W 1 (Ak ) + ( 2i + 2Fi ) + 4Fi 4 i 2W ( 2j + 2Fj ) (Ak ) i j

en se souvenant que (y, 0) = A(y), de la relation (2.13) () = 4, et en faisant attention lordre des drives. Dcomposons le calcul du terme i j = i j . Le terme i vaut : i = (Ai + 2 i + Fi ) = 2 i 2 Fi = 2i 2 Fi et de mme : Le produit vaut donc i j = ( 2i 2 Fi )( 2i + 2 Fi ) En notant de manire raccourcie W W = (Ak ) Ai i on obtient nalement le dveloppement du superpotentiel W i (y, ) = W (Ak ) + 2i W 1 2W W + Fi i j Ai Ai 2 Ai Aj (6.25) j = 2i + 2 Fi

(6.24)

et il sagit bien dun superchamp chiral, dont la dernire composante est W ()|F = Fi W 1 2W i j Ai 2 Ai Aj (6.26)

Le deuxime terme fournit la matrice de masse des fermions : MF,ij = 2W Ai Aj Ak , Ak

(6.27)

Le superpotentiel le plus gnral et renormalisable est 1 1 W (i ) = i i + mij i j + gijk i j k 2 3 49 (6.28)

6.4.3

Lagrangien supersymtrique sans interaction de jauge

On obtient ainsi le lagrangien supersymtrique gnral pour la matire : L= d4 + d2 W () + h.c. (6.29)

i = A Ai + (i i i i ) + Fi Fi i 2 W W + Fi + Fi Ai A i 1 2W 1 2W i j i j 2 Ai Aj 2 A A i j Les quations dEulerLagrange pour Fi et Fi donnent Fi = W Ai Fi = W A i

(6.30)

(6.31)

En injectant ces expressions dans le lagrangien (et en omettant les divergence totale), on obtient le lagrangien i L = A Ai + (i i i i ) i 2 1 2W i j + h.c. V (Ai , A ) i 2 Ai Aj o V (Ai , A ) est le potentiel scalaire, donn par i V = Fi Fi + =
i

(6.32)

W W Fi Fi + Ai A i
2

W Ai

W Ai
2

soit V = Fi Fi =
i

W Ai

(6.33)

On remarque que ce potentiel est toujours positif, ce qui est en accord avec ce que nous verrons dans la section sur la brisure de supersymtrie. Comme dans toute thorie des champs, la matrice de masse au carr des scalaires est donne par la drive seconde du potentiel scalaire :
2 MS,ij =

2V Ai A j

Ak , Ak

2V A Aj i

Ak , Ak

(6.34)

6.5

Modle de WessZumino
m 2 g 3 + 2 3

On considre le superpotentiel W () = + 50 (6.35)

Lquation du mouvement pour F est F = W = + m + g2 (6.36)

En rsolvant F = 0, on peut trouver le minimum du potentiel scalaire : = et, la rednition du champ permet dliminer le terme en du potentiel : W () = m 2 g 3 + 2 3 (6.39) (6.38) 1 m 2g m2 4g (6.37)

51

7
7.1
7.1.1

Thories de jauge supersymtriques

Superchamp vectoriel
tude gnrale

Rappelons lexpression dun superchamp gnral (5.12) : V (x, , ) = C(x) + (x) + (x) + M (x) + N (x) + A (x) + (x) + (x) + D(x) Pour le superchamp vectoriel on impose la condition de ralit V =V (7.1) (5.12)

et cela implique que : les champs C, A et D sont rels ; N = M ; = et = (en formalisme quatre composantes, cela signierait que et sont des spineurs de Majorana). On aura donc V (x, , ) = C(x) + (x) + (x) + M (x) + M (x) + A (x) + (x) + (x) + D(x) 7.1.2 Gnralisation des transformations de jauge (7.2)

Rappelons que et i( ) sont des superchamps vectoriels. Ainsi V V + i( ) sera encore un superchamp vectoriel : V + i( ) = C + + + M + M + A + + + D + i 2i Im A + 2 2 + F F (7.3)

i i 2i (Re A) + 2 2 i 2 (Im A) 2 = (C 2 Im A) + ( + i 2) + ( i 2) + (M + iF ) + (M iF ) + (A + 2 (Re A)) 1 1 + + + 2 2 1 + D + 2 (Im A) 2 52

En faisant les remplacements i 2 1 D D + 2 C 4 (7.4a) (7.4b)

on rend et D invariant par cette transformation. Finalement, en modiant certains facteurs 15 de (7.2), on obtient la forme nale du superchamp i i V (x, , ) = C + i i + M M + A 2 2 i i + i i 2 2 1 1 + D + 2 C 2 2

(7.5)

Certains auteurs choisissent de dcomposer M en ses parties relles et imaginaires : M M + iN . Les transformations de supersymtrie scrivent alors C = i( ) = 2M + (A i C) M = A = + + + i = 2D F 2 i D = ( ) 2 qui sont plus simples que celles du superchamp gnral (5.14). Les variations des champs par (7.3) seront alors C = 2 Im A = 2 M = 2F A = 2 (Re A) = 0 D = 0 (7.7a) (7.7b) (7.7c) (7.7d) (7.7e) (7.7f)

(7.6a) (7.6b) (7.6c) (7.6d) (7.6e) (7.6f)

La composante A se transforme comme une drive totale : cette transformation peut donc servir de transformation de jauge gnralise de paramtre : V V + i( ) (7.3)
15. Plus dans lesprit de suivre les conventions usuelles (pour une fois que presque tous les auteurs saccordent presque sur lune delles. . .) que par relle simplicit, bien que cela permette denlever les vacteurs i des transformations.

53

7.1.3

Jauge de WessZumino

En choisissant les valeurs de Im A, et F , il est possible dliminer les composantes C, et M (jauge de WessZumino) : 1 VW Z = A + i i + D 2 (7.8)

Il restera un paramtre, Re A, qui servira pour les transformations de jauge. Cette jauge nest videmment pas supersymtrique. 2 La seule composante non nulle de VW Z sera
2 VW Z = A A =

1 A A 2

soit
2 VW Z =

1 A A 2 n3

(7.9)

et ainsi
n VW Z = 0

(7.10)

7.2
7.2.1

Thorie de jauge ablienne

Force du champ

La jauge de WessZumino permet de mettre en vidence les degrs de libert physiques : F (qui apparait dans les transformations), et D. En comparant les dimensions de ces champs, on voit quils peuvent correspondre un superchamp chiral W avec un indice spinoriel (la premire composante sera donc ) : DW = 0 (7.11) On dnit de mme son conjugu W par DW = 0. De plus, le choix le plus simple de superchamp spinoriel construit partir de V est D V . Ainsi, comme D3 = 0, le superchamp qui correspond nos attentes est 16 1 W = DD D V 4 1 W = DD D V 4 Ces champs sont invariants par la transformation (7.3) : DD D ( ) = DD D = D ( D , D D D ) = 2i D = 0

(7.12)

et de mme

(7.13)

On remarque de plus que lon a D W = D W

16. Le facteur 1/4 tant choisi pour simplier la suite.

(7.14)

54

An de dterminer les composantes de W , nous allons utiliser les coordonnes (y , ) pour VW Z : VW Z (y, ) = A (y + i ) i (y + i ) + i (y + i ) 1 + D(y + i ) 2 = A (y) + i A (y) + i (y) i (y) 1 + D(y) 2 soit 1 VW Z (y, ) = A (y) + i (y) i (y) + D(y) + i A (y) 2 (7.15) La drive covariante de ce champ est D VW Z = ( 2i ) 1 A + i i + D + i A 2 A + 2i i + (D + i A ) = 2i A + 2

+ 2i i + D + i A

= =

1 1 2i ( ) A + 2 2 2 A + 2i i + D + i( + ) A A + 2i i + D + 2i A

En antisymtrisant A en F = A A , on trouve D VW Z = A + 2i i + D + i F

(7.16)

Finalement, en notant que DD = 4, on obtient

W = i + D + i F

(7.17)

Il sagit bien dun superchamp chiral construit sur la composante . On donne le nom de jaugino ce dernier champ : il sagit du superpartenaire associ au champ de jauge A . On note que ce champ appartient forcment laa reprsentation adjointe, puisquil se trouve dans la mme reprsentation que A : cest une des raisons pour lesquelles on peut armer navoir dcouvert aucun jaugino (par exemple les neutrinos ont t vus comme de potentiels candidats), puisque nous ne connaissons aucun fermion de Majorana dans ladjoint. Le seul invariant quil est possible de construire, et qui pourrait tre candidat

55

pour un terme cintique, est W W = i + D + i F i + D + i F = 2iD + F + i + D2 + F F F + i

= + (2iD + 2 F ) 1 + 2i tr( )F F + D2 2 = + (2iD + 2 F ) i 1 + 2i F F + F F + D2 2 2 car on a = 1 2 1 1 = = tr( ) 2 2 1 = ( i ) 4

ainsi que 1 1 tr( )F F = ( i )F F 2 4 1 F F F F 2iF F = 4 1 i = F F F F 2 2 o F = 1/2 F . Finalement, on a i 1 d2 W W = 2i F F + F F + D2 2 2 (7.18)

On remarque que ce produit contient les termes cintiques pour F , et D (tous rels), ainsi que le terme dinstantons F F (imaginaire). Ce dernier terme ne sera donc pas prsent dans le lagrangien puisque lon ne conserve que la partie relle. Dans tous les cas, il sagit dune drive totale 17 . On pourra donc utiliser comme terme cintique pour le superchamp de jauge : Lg = 1 4 1 i 1 d2 W W + h.c. = F F + ( ) + D2 4 2 2 (7.19)

17. Nous verrons dans la section sur les thories de YangMills quil est possible dintroduire une constante de couplae complexe an de conserver ce terme. Cela peut-tre utile quand lon tudie les dfauts topologiques.

56

7.2.2

Couplage avec de la matire : transformation globale

On considre tout dabord une transformation de jauge U(1) globale [30] : = eit = eit (7.20)

o t est la charge du superchamp le paramtre (constant) de la transformation (tous rels). Il ny a pas de somme sur les indices. Comme est rel, le terme cintique K(i , ) = i i i est videmment invariant : i eit i i
it

(6.21)

i = i i

tudions maintenant la transformation du superpotentiel 1 1 W (i ) = i i + mij i j + gijk i j k 2 3 (6.28)

Terme linaire : il est vident, dapts la transformation (7.20) que ce terme ne sera pas invariant, moins ti = 0 ou que i = 0 : i i = i i = Terme quadratique : mij i j mij ei(ti +tj ) i j Linvariance de ce terme impose donc les conditions : mij i j = mij i j = Terme trilinaire : gijk i j k gijk ei(ti +tj +tk ) i j k Linvariance de ce terme impose donc les conditions : gijk i j k = gijk i j k = ti + tj + tk = 0 gijk = 0 si ti + tj + tk = 0 (7.23) ti + tj = 0 mij = 0 si ti + tj = 0 (7.22) ti = 0 i = 0 si ti = 0 (7.21)

7.2.3

Couplage avec de la matire : transformation locale

On tudie maintenant une transformation de jauge locale de paramtre = (x, , ) : = eit (x,,) (7.24) = eit (x,,) 57

 doit lui-mme tre un superchamp chiral, sans quoi nen serait plus un : D = eit

D +D eit
=0

= it (D ) eit = 0 moins que ne soit chiral : D = 0 De mme, sera antichiral : D = 0 (7.26) Ce qui a t dit quant linvariance du superpotentiel dans la section prcdente ne change pas. Par contre, le terme cintique (6.21) nest plus invariant : eit
( )

(7.25)

Or nous avons vu dans ltude du superchamp vectoriel que la somme i( ) est une gnralisation des transformations de jauge : V V + i( ) (7.3)

En introduisant un superchamp vectoriel, on peut alors former un terme cintique invariant : Lk = et V (7.27) sous la condition que V se transforme comme (7.3) sous la transformation (7.24). Nous donnerons une autre expression de ce terme dans la prochaine section, qui traite des thories de jauge non abliennes. Finalement, notons que la composante D du superchamp vectoriel est la fois invariante de jauge (7.7) et par supersymtrie (7.6). Il est donc possible de lajouter au lagrangien (terme de FayetIliopoulos) : LF I = d4 V = D (7.28)

Ce terme joue un rle important dans la brisure de supersymtrie.

7.3
7.3.1

Thorie de YangMills supersymtrique

Transformation de jauge non ablienne

Nous nous intressons un groupe G dont les gnrateurs sont nots T a (qui sont des matrices hermitiques), associs aux paramtres a (a = 1, . . . , dim G). On dnit = a T a (7.29) o les indices a sont somms. En notant les indices de matrice, on a j = a (T a )ij i (7.30)

58

Nous considrons demble des transformations locales et ncriront pas la dpendance des paramtres ; les a sont donc des superchamps chiraux. Les champs se transforment comme = ei T = ei a a = ei T = ei soit g = ia T a (7.32) Il est tout moment possible de rintroduire la constante de couplage du groupe de jauge en faisant le remplacement V gV . En introduisant les indices des champs, la transformation prcdente scrit i i = ei
j i
a a

(7.31)

(7.33)

Ces indices seront omis dans la suite, mais il faudra prendre garde lordre des termes. Tout ce que nous pouvons crire, est que le terme cintique (6.21) se transforme comme e2V ei e2V ei (7.34) car V et ne commutent pas et il faudrait utiliser la formule de Hausdor (A.2) [26]. Pour que ce terme soit invariant, il faut que V se transforme comme e2V ei e2V ei

(7.35)

Au premier ordre, cette transformation reproduit celle du cas ablien (7.3) : V = ei e2V ei e2V (1 + i )(1 2V )(1 i) (1 2V ) = i( ) Le superpotentiel est en gnral un terme du type ai1 in i1 in . Ce terme sera invariant si le produit tensoriel de n fois la reprsentation contient lidentit et si a est un tenseur invariant du groupe [1]. Par exemple, si G = SU(3) et quil sagit de la reprsentation fondamentale, on a bien id 3 3 3, et le tenseur invariant associ est ijk . On a aussi id 3 3. Nous reviendrons l-dessus en traint lexemple de la QCD supersymtrique (section 7.4.2). Linvariance du superpotentiel par une transformation de jauge donne g W = W g i = iFi (a )ij T a j = 0 i

o on a utilis la variation de i . On a donc la relation a W = iFi (T a )ij j = 0 a g (7.36)

59

7.3.2

Force du champ

Par analogie avec le superchamp (7.12), on dnit le tenseur de force par 1 W = DD e2V D e2V 4 1 W = DD e2V D e2V 4 Montrons que W se transforme bien dans ladjoint du groupe :
1 W = DD ei e2V ei D ei e2V ei 4 1 i 2V i = DD e e e D ei e2V ei + ei D e2V ei 4

=0

+ ei e2V D ei 1 = DD ei e2V D e2V ei + ei D ei 4 1 i 2V = e DD e D e2V ei 4 Il est possible de sortir les termes ei des drives D. Le dernier terme la pnultime ligne est nul pour les mmes raisons que dans le cas ablien : DD D ei = D D , D ei D D ei D ei = 0 (7.38)

= 2i On trouve donc

W ei W ei

Il est alors possible dobtenir son expression dans la jauge de WessZumino (7.8), en notant que V 2 DV V 3 = 0 : 1 W = DD e2V D e2V 4 1 = DD (1 + 2V + 2V 2 )D (1 2V + 2V 2 ) 4 1 1 = DD(2D V ) DD 2D V 2 4V D V ) 4 4 1 1 = DD(2D V ) DD 2V D V + 2(D V )V 4V D V ) 4 4 1 1 = DD(2D V ) DD 2(D V )V 2V D V ) 4 4 soit, aprs simplication : 1 1 W = DDD (2V ) + DD [2V, D (2V )] 4 8 (7.39)

Si lon souhaite introduire la constante de couplage, on aura W gW (il restera un g associ au second membre, qui se retrouvera dans les commutateurs plus bas). 60

Le premier terme identique dans le cas ablien (7.17) en faisant le remplacement V 2V : 1 DDD V = i + D + i ( A A ) 4 Nous allons calculer le second terme, en utilisant les expressions (7.8) et (7.16) (tous les champs dpendent de y) : 1 [V, D V ] = A + i i + D, A 2 + 2i i + D + i F = [A , A ] + 2i A , + i , A i 1 = ( ) [A , A ] + A , 2 2 i , A 2 soit nalement, en introduisant = 1/4( ) : [V, D V ] = ( ) [A , A ] + i A , En utilisant le fait que DD = 4, on obtient enn : 1 i 1 DD [V, D V ] = ( ) [A , A ] A , 8 2 2 En combinant les deux termes, on obtient
W = 2i 2 D + i ( A A ) + 2 + 2( ) [A , A ] 2i A ,

(7.40)

(7.41)

En dnissant le tenseur de champ de jauge et la drive covariante (pour un champ dans ladjoint) par F = A A i [A , A ] D = i [A , ] on obtient lexpression
W = 2i 2 D + i F + 2 D

(7.42a) (7.42b)

(7.43)

Pour introduire la constante de couplage, il faut faire le remplacement [, ] g [, ]. Finalement, on peut obtenir un terme invariant en contractant les indices spinoriels et en prenant la trace. On retombera directement sur lexpression ablienne (7.18), o lon aura fait les remplacements (7.42) et multipli tout par 4: d2 tr(W W ) = tr 8i D 2F F + 2iF F + 4D2 (7.44)

61

On peut donc crire le lagrangien, o lon rintroduit la constante de couplage g : Lg = 1 16g 2 d2 tr(W W ) + h.c. (7.45)

1 i 1 = tr F F + ( D D ) + D2 4 2 2 On peut aussi considrer une constante de couplage complexe [1, 26] = i 1 + 2 2 4 g

(7.46)

o est langle du vide, et on obtient alors le lagrangien suivant : Lg = 16 d2 tr(W W ) + h.c.

g2 i 1 1 F F + ( D D ) + D2 = tr F F 2 4 16 2 2 (7.47) 7.3.3 Couplage avec la matire

Il est possible dvaluer (7.27) dans la jauge de WessZumino (7.8) ; en eet, n comme VW Z = 0 pour n 3, on peut dvelopper lexpontentielle : e2V = 1 2V + 2V 2 et le lagrangien (7.27) devient Lk = 2 V + 2 V 2 (7.49) (7.48)

Le premier terme est le potentiel de Khler canonique (6.21). valuons le second terme, en ne gardant que les termes en : V = A + = i 1 2 + F + i A 2 A 4 2 1 A + i i + D 2 i 1 A + 2 + F i A 2 A 4 2 ) 2 A ( A )(i A) + A (i + A 1 D A + 2(i )A 2

+ i A ( A )A + i i ( A A A A A A) + (A A) = 2 2 1 1 + A + A DA + 2 2 62

Le dernier terme peut scrire 1 A = ( A A ) 2 do V = i i ( A A A A A A) + (A A) 2 2 1 1 + ( A A ) + A DA 4 2

(7.50)

Lquation (7.9) nous donne immdiatement le terme en V 2 : V 2 = 1 A A A A 2 (7.51)

Le lagrangien dinteraction matirejauge sera donc ( des 4-divergence prs) i 2 Lk = A A + ( ) + |F | 2 i( A A A A A A) i 2(A A) 1 ( A A ) + A A A A + A DA 2 En introduisant la drive covariante D = iA lexpression ci-dessus devient nalement i 2 Lk = (D A) D A + ( D D ) + |F | 2 i 2(A A) + A DA 7.3.4 Lagrangien de YangMills (7.52)

(7.53)

Le lagrangien rassemblant le terme cintique des champs de jauge (7.45), le terme de FayetIliopoulos (7.28), linteraction des champs de jauge avec la matire (7.53) et le superpotentiel (6.25) est L= 1 16g 2 + d2 tr W W + g d2 W () + h.c. d4 A V A + d4 e2gV (7.54a)

1 i 1 = tr F F + ( D D ) + D2 + A DA 4 2 2 i 2 + (D A) D A + ( D D ) + |F | 2 ig 2(A A) + gA DA + W () + h.c.

(7.54b)

Le terme de FayetIliopoulos nest autoris que si le groupe est ablien : en eet, un terme du type D o D est dans ladjoint nest pas invariant de jauge si le groupe est non ablien. Ainsi, A = 0 si le groupe nest pas U(1). 63

En introduisant les indices de la reprsentation adjointe, on obtient : 1 a i 1 L = Fa F + (a D a D a a ) + Da Da + g A DA 4 2 2 i + (D A) D A + ( D D ) + F F 2 a ig 2( A Ta a Ta A) + gDa A Ta A + Fi

1 W 1 2W 2W i W i j + F i j i i j Ai 2 Ai Aj 2 A A A

(7.55)

Les quations du mouvement pour les champs auxiliaires sont Da = gA T a A g a Fi = W

i A

(7.56a) (7.56b)

Fi =

W Ai

En remplaant ces quations dans le lagrangien, on obtient 1 a i L = Fa F + (a D a D a a ) 4 2 i + (D A) D A + ( D D ) 2 ig 2(a A Ta a Ta A) 1 2W 1 2W i j i j V (A, A ) i Aj i A j 2 A 2 A o le potentiel scalaire V est donn par 18 1 V = Fi F i + Da Da = 2 W Ai
2

(7.57)

g2 2

(A T a A + a )2
a

(7.58)

Dans le cas o lon considre que la matire est dans la reprsentation adjointe, on peut crire tout le lagrangien sous forme dune trace. Les termes dinteractions jaugematire se rcrivent : a A T a = a A (T a )bc c = if abc a A c b b = if dbc tr(T a T d )a A c b = a A c tr(T a T b , T c ) b = tr A , = tr , A o on a utilis les relations (T a )bc = if abc soit nalement a A T a = tr , A = tr A [, ] = tr A , en utilisant la cyclicit de la trace.
18. Le calcul est identique celui de la section sur le le lagrangien sans interaction de jauge 6.4.3 ; il sut de rajouter le terme en D2 lquation (6.33).

tr(T a T b ) = ab

(7.59)

(7.60)

64

7.4
7.4.1

Exemples
lectrodynamique supersymtrique (SQED)

On considre deux superchamps de charges respectives e. On choisit le potentiel de Khler canonique K = e2ieV + + e2ieV + Il est possible dcrire un terme de masse invariant : W = m+ = m(+ F + F+ + ) (7.62) (7.61)

Les quations du mouvement pour les champs auxiliaires (7.56) donnent

F =

W = m

(7.63a) (7.63b)

D = e( + ) + Il est possible davoir la fois F = D = 0

(7.64)

donc il existe un vide o la supersymtrie nest pas brise, et pour lequel = 0 Dans ce cas, la symtrie de jauge nest pas non plus brise. Les termes dinteractions des fermions valent 2W =m + Le lagrangien total est, aprs remplacement : 1 L = F F + i + (D + ) D + 4 + (D ) D + i+ D + + i D ie 2( + + + ) + ie 2( )
+

(7.65)

(7.66)

(7.67)

1 m(+ + ) V ( , ) 2 avec 1 e2 V = F+ F+ + F F + D2 = m2 ( + + ) + ( + )2 (7.68) + 2 2 + 7.4.2 Chromodynamique supersymtrique (SQCD)

Ce modle sinspire de larticle de Bilal [1]. 2 Le groupe concern est SU(Nc ) : il existe alors Nc 1 gluons Aa (a = 2 a 1, . . . , Nc 1) et autant de gluinos , tous dans la reprsentation adjointe. Pour les quarks gauches, il faut ajouter un triplet de superchamps chiraux i i i Qi = qL + 2L + FL (7.69) L 65

se transformant dans la fondamentale Nc , o i = 1, . . . , Nc est le nombre de couleurs et o L = 1, . . . , Nf est le nombre de saveurs. cela on ajoute un autre triplet dans lantifondamentale Nc QL,i = qL,i + 2L,i + FL,i (7.70) pour les antiquarks gauche. Le lagrangien dcrivant ce modle est celui dcrit dans la section prcdente (7.54) avec W = 0 et A = 0 comme SU(3) ne contient pas de facteur ablien. Il existe une symtrie globale SU(Nf )L SU(Nf )R comme le lagrangien est diagonal pour indices de saveurs, la fois pour QL et QL . Le lagrangien possde deux autres symtries U(1) : U(1)B : Q ei Q Q ei Q U(1)A : Q ei Q Q ei Q (7.71)

Notons que la seconde symtrie est brise par une anomalie quantique. Finalement, le lagrangien possde une symtrie U (1)R (voir section 8.1) 19 . Au niveau classique, la symtrie totale est donc SU(Nf )L SU(Nf )R U (1)B U (1)A U (1)R . Comme id Nc Nc , on peut ajouter un terme de masse 20 : W (Q, Q) = mLM Qi QM,i L (7.72)

Toutefois, grce aux symtries prsentes auparavant, il est possible de diagonaliser ce terme (en slectionnant les tats propres de masse) : W (Q, Q) =
L

mL Qi QL,i L

(7.73)

Le lagrangien sera (en supprimant les indices) g 2 a 1 a L = Fa F F F iD a a 4 16 2 a + (D q) D q + (D q) D q iD iD ig 2(q q) ig 2(q q) et V (q, q , q, q ) =

L m2 qL qL + qL qL + L

(7.74)

1 2

mL L L + L L V (q, q , q, q )
L

g2 2

q T a q + qT a q
a

(7.75)

Les proprits plus avances de ce modle (dualit, brisure de supersymtrie, condensation de jauginos. . .) sont dcrits dans [10, 24].
19. Le R employ ici na rien voir avec celui de SU(Nf )R . 20. On pourrait aussi considrer un terme du type aLM N ijk Qi Qj Qk , en prenant SU(3) L M N comme exemple. Toutefois un tel membre violerait la conservation du nombre baryonique.

66

8
8.1

Brisure de supersymtrie
Symtrie R

Bien que la symtrie R soit une composante gnrale de la thorie, cest dans le contexte de la brisure de supersymtrie que ce concept prend toute son importance. On parle de symtrie R pour tout groupe de symtrie agissant sur les gnrateurs de supersymtrie Q et Q. Cette symtrie a plusieurs utilits, que ce soit pour liminer les termes qui violent la conservations des nombres baryoniques et leptoniques (voir section 9) ou encore pour permettre davoir des groupes de jauge non abliens dans le cas de la supergravit. Dans le cas de la supersymtrie N = 1, le groupe est ablien et agit comme U(1)R : Q ein Q Q ein Q (8.1)

Innitsimalement, on obtient les commutateurs [Q , R] = nQ Q , R = nQ (8.2)

o R est le gnrateur du groupe U(1)R et n la charge associe. Notons quil commute avec les gnrateurs de lalgbre de Poincar, comme il se doit : [P , R] = [J , R] = 0 (8.3)

la place des commutateurs (8.2), il est souvent choisi demble de prendre n = 1 : [Q , R] = Q Q , R = Q (8.4) La transformation R agit aussi sur les champs des supermultiplets : comme la symtrie R ne commute pas avec les gnrateurs de supersymtrie, on sattend ce que les champs aient des charges direntes (contrairement aux cas des groupes de jauge). Toutefois les charges ne sont pas indpendantes. Comme exemple, prenons un supermultiplet chiral {A, , F }, et soit qn la charge de ce champ : A eiqn A = [A, R] = qnA Pour dterminer la charge de , on utilise lidentit de Jacobi : [[A, Q ] , R] = [[A, R] , Q ] + [A, [Q , R]] [ , R] = nq [A, Q ] n [A, Q ] = nq n soit [ , R] = n(q + 1) Un calcul exactement similaire pour donne alors [F, R] = n(q + 2)F En reprenant lexpression des gnrateurs (5.4), par exemple Q = i( + i ) 67 (8.7) (8.6) (8.5)

 on voit que si Q est charg, alors aussi, et donc : ein ein (8.8)

Ainsi, dans un superchamp, les charges des champs suprieurs sont compenses par celles des , et alors la charge du superchamp correspond celle de sa premire composante : (x, , ) eiqn (x, ein , ein ) Le terme cintique canonique (6.21) est automatiquement invariant. Linvariance du lagrangien Li = d2 W () + h.c. (6.19c) (8.9)

requiert que le superpotentiel subisse la transformation W () e2in W ( eiqn ) De mme, linvariance du lagrangien de jauge Lg = 1 16g 2 d2 tr(W W ) + h.c. (7.45) (8.10)

impose que les charges de W et W soient 1 : W ein W (8.11)

Ainsi, le jaugino est charg et un terme de masse de Majorana m est donc interdit. La variation dun champ est donne par R = i(n + ) (8.12)

Finalement, q est li la dimension canonique (ou conforme) des champs, en eet, il existe un lien entre les commutateurs [A, D] et [A, R], o D est le gnrateur des transformations conformes. En gnral, on a D= 3 R 2 (8.13)

8.2

Gnralits

On considre un vide |0 et nous noterons les valeurs des champs sur ce dernier. Soit un groupe G dlment gi et de gnrateurs T a . Alors le vide est invariant par ce groupe si i gi |0 = |0 = a T a |0 = 0 (8.14)

Cela est quivalent crire = a o est un champ quelconque. 68 [ , T a ] = [, T a ] = 0 (8.15)

En appliquant ces formules lalgbre de Poincar [25], on obtient [ , P ] = i = 0 [ , J ] = i(x x ) + = 0 o est la partie de spin des gnrateurs de Lorentz. On en dduit que =0 si = 0 = 0 sinon (8.16)

La valeur moyenne des champs doit donc tre soit nulle, soit constante. Comme on a = 0 seulement pour les champs scalaires, on en dduit que, sur le vide, on a = 0 = 0 A = 0 (8.17) o , et A sont respectivement des champs scalaire, spinoriel et vectoriel. Lquation (8.15) nous dit de plus que, sil sagit dun groupe de jauge et que le champ est charg, alors il y a brisure de symtrie si nest pas nulle. Ainsi, du lagrangien de YangMills total (7.57), seul survit le potentiel scalaire : 1 V = Fi F i + Da Da = 2 W Ai
2

g2 2

(A T a A + a )2 0
a

(7.58)

et on rappelle lexpression des champs auxiliaires pour mmoire : Da = gA T a A g a Fi = W

i A

(7.56a) (7.56b)

Fi =

W Ai

Remarquons encore que le potentiel scalaire est toujours positif ou nul, et nous allons montrer que ceci est en accord avec les rsultats obtenus dans la section sur la structure de lalgbre de super-Poincar 3.3. Les relations de com mutation entre Q et Q est Q , Q = 2 P (3.14)

Prenant la trace de cette quation, on obtient : Q , (Q ) = 2 tr P = 2 tr 0 E = 4E

et le fait que lespace de Hilbert soit muni dune mtrique positive (3.11) implique 2 2 0| Q, Q |0 = Q |0 + |Q |0 | 0 (8.19) on trouve que lnergie dun systme supersymtrique est forcment positive ou nulle : E0 (8.20) Nous voyons aussi que si lnergie est strictement positive, alors lun des gnrateurs nannihile pas le vide et la supersymtrie se retrouve brise : E = 0 = Q |0 = 0 69 (8.21)

(a) E = 0 et = 0 : la symtrie de jauge et la supersymtrie sont intactes.

(b) E = 0 et = 0 : la symtrie de jauge est intacte, la supersymtrie est brise.

(c) E = 0 et = 0 : la symtrie de jauge est brise, mais la supersymtrie est intacte.

(d) E = 0 et = 0 : la symtrie de jauge et la supersymtrie sont brises.

(e) E < 0 : il ne peut sagit dune thorie supersymtrique.

Figure 3 Cas possibles pour les brisures de supersymtrie et de symtrie de jauge.

70

Il est alors possible de distinguer quatre types de cas en fonction de la valeur de lnergie et des valeurs sur le vide des champs (gure 3). Le potentiel scalaire (6.33) est nul condition que tous les D et F le soient, puisquil est quadratique dans ces derniers. Comme lnergie est forcment positive, il sagit forcment dun minimum. Ainsi, an dobtenir les vides supersymtriques (ou vrais vides), il faut rsoudre les quations Da = gA T a A g a = 0 a Fi = W

(8.22a)

= 0 i (8.22b) i A Si au moins un D ou un F nest pas nul, alors la supersymtrie est brise. Une manire de le voir est dtudier les lois de transformations des fermions pour les superchamps chiral (4.16) A = 2 = 0 = 2 F i 2 A = 2 F F = i 2 et vectoriel (7.6) : A = + = 0 i = 2 D F = 2 D 2 i D = ( ) = 0 2 o on a utilis (8.17). On dduit que si les variations des fermions sont nulles, alors les champs F et D le sont aussi : i = 0 = Fi = 0 a = 0 = Da = 0 (8.23)

Savoir si le systme dquations (8.22) dpend du nombre de champs : les termes F i fournissent N quations pour N inconnues Ai , tandis que les termes Da fournissent dim G quations. Gnralement, si les quations F admettent une solution, alors les quations pour D sont automatiquement satisfaites dans le cas o a = 0 [30]. Si la thorie ne possde pas de vide supersymtrique, ou bien si lon souhaite obtenir tous les vides ( vrais et faux ), il faut minimiser le potentiel (7.58) : V = 0 i Ai (8.24)

Il existe deux types de vide : mtastable : il existe quelque part un vide dnergie infrieure ; stable : le vide est un minimum global de lnergie. Un vide est dit dgnr sil appartient un ensemble de vides de mme nergie et formant une sous-varit dans lespace des champs [20]. Daprs le thorme de Goldstone, un vide brisant la symtrie R est forcment dgnr. Nous excluons tout potentiel qui sannule linni. Il arrive souvent que les dgnrescences soit leves par des corrections radiatives [10]. 71

8.3

Thorme de Goldstone et goldstino

Le thorme de Goldstone, bien connu en thorie des champs, nonce le fait qu toute symtrie brise est associe une particule de masse nulle, le boson de Goldstone (de spin nul). Ce thorme est encore valable en supersymtrie, mais dans ce cas la particule de masse nulle est un fermion de spin 1/2 : le goldstino [1]. Dveloppons la drive du potentiel scalaire (8.24) : V = Ai Ai = et ainsi W

g2 W W + Aj 2 Aj

A (T a )j k Ak + a j
a

A j

W + g 2 A (T a )j i A (T a )j k Ak + a j j Ai Aj (8.25)

V W + gDa A (T a )j i = 0 = F j j Ai Ai Aj Ceci, combin linvariance de jauge du superpotentiel gFi (T a )ij Aj = 0 permet dcrire le systme dquations M o Fj Da =0

(7.36)

(8.26)

W M = Ai Aj gA (T a )ij i

gA (T a )j i j 0

(8.27)

Il savre que cette matrice est exactement la matrice de masse des fermions. Diagonalisons cette matrice : W m det(M m id) = Ai Aj a i gAi (T ) j m gA (T a )j i j m =0

W m F j g 2 A (T a )ki A (T b ) j = 0 k Ai Aj W g 2 A (T a )ki A (T b ) j F j = 0 m m k Ai Aj
=0

Le dernier terme est nul daprs lquation (7.36). On obtient donc m m W Ai Aj =0 (8.28)

Fi est le vecteur Da propre associ la valeur propre 0, qui nest pas trivial ds quau moins un champ auxiliaire acquiert une valeur moyenne dans le vide. Lorsque la supersymtrie locale, le goldstino est "mang" par le gravitino qui devient massif et possde alors des tats dhlicit 1/2 [26]. Dans son article [14], Shih montre que, mme si la supersymtrie est brise, un boson de masse nulle se trouve dans le mme supermultiplet que le goldstino. et il existe donc un mode de masse nulle. Daprs (8.26), 72

8.4

Lien entre symtrie R et brisure de supersymtrie

Les direntes sous-sections qui suivent reposent fortement sur les articles de Seiberg et de ses collaborateurs [16, 10]. 8.4.1 Gnralits

Seiberg et ses collaborateurs ont montr ont montr deux thormes trs intressants concernant le lien entre la symtrie R et la supersymtrie, sous plusieurs hypothses [16] : gnricit : le lagrangien est le plus gnral possible en respectant les conditions du problme, et aucun des paramtres libres na t xe la main ; calculabilit : la thorie basse nergie est dcrite par un modle de WessZumino (donc sans champ de jauge). Le superpotentiel sera donc celui dune thorie eective, mais nous noterons W = Wef f . Thorme 1 (SeibergNelson). Lexistence dune symtrie R est une condition ncessaire pour briser la supersymtrie. Thorme 2. Lexistence dune symtrie R spontanment brise est une condition susante pour briser la supersymtrie. Ces deux thormes posent de svres contraintes sur les thories 21 . En eet, la brisure spontane de la symtrie R saccompagne dun boson de Goldstone (appel axion R), qui nexiste pas dans le spectre exprimental. Dun autre ct, un terme de masse pour les jauginos et une constante permettant de rendre compte de la valeur de la constante cosmologique [11] brisent explicitement la symtrie R. Il existe donc un conit entre la volont de donner une masse aux jauginos et laxion R, tout en conservant un vide supersymtrique. Notons de plus quune thorie consistante couple la gravit ne peut possder de symtrie globale continue (mais elle peut avoir des symtries discrtes [16]). La solution, qui sera aborde dans la prochaine section, est dutiliser une symtrie R approximativement brise an dobtenir un vide mtastable. Le modle de WessZumino sera la base de la discussion qui suit, pour trois raisons : 1. il est simple manipuler ; 2. il peut servir de secteur cach (cf la section sur les autres mthodes de brisure de supersymtrie) ; 3. les thories de chromodynamique quantique supersymtrique ladmette comme thorie eective basse nergie (si la supersymtrie est brise une chelle dnergie bien infrieure celle o les interactions de jauge deviennent importantes). Dans ce cas, lquation essentielle pour dterminer les vides supersymtriques est W (8.22b) Fi = i = 0 i A
21. Dans son article [20], Ray prsente toutefois une classe de modles gnriques faisant exceptions ces thormes.

73

Dans une thorie eective, il faut remplacer W par Wef f . Dans la suite, le mot symtrique dsignera un vide la fois supersymtrique et R-symtrique. On considre un ensemble de champs i de charge qi (i = 1, . . . , n). Trois cas peuvent se prsenter. Dans le premier, o il ny a pas de symtries, (8.22b) reprsente n quations pour n inconnues, et admet en gnral une solution : la supersymtrie nest donc pas brise. Sil existe un groupe de symtrie globale, possdant gnrateurs, et qui commutent avec les Q, alors il est possible de rcrire W comme une fonction de n variables, et ainsi des quations (8.22b) sont automatiquement vries. Il reste donc n quations pour n variables. Finalement, si un des champs chargs par R possde une valeur moyenne sur le vide, alors la symtrie R est brise : on suppose que cest le cas de n , et donc qn = 0. On peut donc crire W comme W = 2/qn f (Xi ) n Xi = i qi /qn n i=n (8.29)

comme R(W ) = 2. En calculant explicitement (8.22b), on a : W = 2/qn f j j n 2 f = nj 2/qn 1 f + 2/qn n n qn j = n n 2 2/qj 1 f j f + q /q ij i n qj Xi n

2/q

Pour que la supersymtrie soit intacte, il faut rsoudre les n quations f (Xj ) = 0 Xi f (Xi ) = 0 pour n 1 inconnues, ce qui nest pas possible en gnral. 8.4.2 Autres propositions (8.30a) (8.30b)

Dans son article [20], Ray prsente plusieurs autres conditions liant la symtrie R et les vides supersymtriques. La drive du superpotentiel par rapport un champ i de charge ri possde une charge 2 qi . Pour que le vide soit R-symtrique, on doit avoir i = 0 si qi = 2 pour tous les champs. On en dduit la proposition suivante. Proposition 1. Si un modle ne contient pas de champ de R-charge 2, alors tous les tats R-symtrique sont des vides supersymtriques, et il en existe au moins un. Ces vides sont dgnrs sil existe au moins un champ neutre sous R. Corrolaire 1. Si le modle ne contient aucun champ de R-charge 2, alors un vide qui nest pas supersymtrique brise la symtrie R aussi. Un tel vide est forcment mtastable, puisquil existe au moins un vide supersymtrique ailleurs dans lespace des phases. 74

On en dduit quil sut alors de sintresser aux champs neutres et ceux de charge 2 quand le modle possde une symtrie R ; les autres champs devant avoir une valeur moyenne nulle. 8.4.3 Axion R

Laxion possde une lgre masse du fait dune anomalie en QCD, mais il nest pas dit que cela soit susant pour viter sa production dans les toiles [16]. Cependant, il est aussi possible que la symtrie R soit restaure par des termes non renormalisables, gnrs dynamiquement, sans rtablir la supersymtrie. Une autre solution consiste introduire un nouveau groupe de jauge (appel couleur R) et sous lequel laxion a une anomalie. Ltude de la production cosmologique de laxion R fournit des indications sur lchelle de brisure de la symtrie R.

8.5
8.5.1

Brisure par terme F : modles de ORaifeartaigh WessZumino

Modle historique de ORaifeartaigh

On considre trois superchamps X, 1 et 2 [19, 22, 26, 11], associs aux charges R(X) = R(2 ) = 2 R(1 ) = 0 (8.31) et aux potentiels K = X X + 1 + 2 1 2 1 2 W = hX1 + m1 2 + f X 2 Le lagrangien est invariant par une symtrie (8.32a) (8.32b)

Z2 , sous laquelle
(8.33)

1,2 1,2

ORaifeartaigh a montr quil sagit du nombre minimal de champ ncessaire pour observer une brisure de supersymtrie. Les quations du mouvement pour les champs auxiliaires sont :
F1 =

W = hX 1 + m2 1 W F2 = = m1 2 W h FX = = 2 + f X 2 1

(8.34a) (8.34b) (8.34c)

Le potentiel scalaire est alors V =

i

W i

= |hX 1 + m2 | + |m1 | +

h 2 +f 2 1

(8.35a)

75

cest dire V = f 2 + m2 (|1 | + |2 | ) + mh(X 1 + 2 ) 2 X 1

2 2

+ h2 |X | |1 | +

1 2 4 1

hf 2 1 + (2 ) 1 2

(8.35b)

Il est impossible davoir simultanment F1 = F2 = FX = 0. En eet, la deuxime quation de (8.34) nous dit que F2 = 0 = 1 = 0 ce qui implique alors FX = f = 0 Remarquons que F1 = 0 = 2 = 0 (8.38) Aucune contrainte nest pose sur la valeur de X . Puisquil existe un terme F non nul, on peut sattendre ce que la supersymtrie soit brise. An de dterminer les vides possibles, minimisons le potentiel scalaire (8.35) : V 1 = m2 1 + mh X

(8.36) (8.37)

2 + hf 1

+ h2 | X |

1 (8.39a)

h2 2 + 1 | 1 | = 0 2 V 2 V X = m2 2 + mh X

1 = 0 1

(8.39b) (8.39c)

= m2 1

2 + mh X

1 = 0

La troisime quation est simplement proportionnelle la deuxime et ne servira donc rien. Cette dernire donne 2 = h X m 1 (8.40)

et on injecte ceci dans la premire quation : m2 1 h2 | X |

2

1 + hf 1

+ h2 | X |

1 +

h2 2 1 | 1 | = 0 2

et aprs simplication on obtient m2 1 + hf 1

h2 2 1 | 1 | = 0 2

(8.41)

En ajoutant le conjugu complexe de cette dernire quation, on obtient : m2 + hf + h2 2 | 1 | 2 1 + 1

=0
2

(8.42)

et comme la premire parenthse ne peut tre nulle (|1 | 0), on trouve que 1 + 1

= 0 = 1 iR 76

(8.43)

En soustrayant cette fois-ci le conjugu complexe, on obtient : m2 hf + Dnissons le paramtre y= hf m2 (8.45) h2 2 | 1 | 2 1 1

=0

(8.44)

Deux cas se prsentent alors : 1. m2 < hf (ou y > 1) : la premire parenthse peut-tre nulle, condition que 2 2 (8.46) | 1 | = 2 (hf m2 ) h Dans ce cas, en tenant compte du fait que 1 est imaginaire pur, on obtient 1 = i 2 = 2f h 1 m2 hf (8.47a) (8.47b)

h X m

Cette phase brise la symtrie Z2 . 2. m2 > hf (ou y < 1) : ici, la premire parenthse ne peut pas tre nulle et donc 1 1 = 0 = 1 R (8.48) Comme 1 doit aussi tre imaginaire pur, on dduit quil est nul, et de mme pour 2 : 1 = 2 = 0 (8.49) Cette phase prserve la symtrie Dans ce cas le potentiel vaut

Z2 .
(8.50)

Vmin = f 2

Dans les deux cas, le potentiel nest pas nul et son minimum est dgnr ; la valeur de X est arbitraire et brise la symtrie R du vide. Elle correspond une direction plate du potentiel. Nous allons tudier le cas o y < 1. La matrice de masse des scalaires (6.34) est donne en drivant une nouvelle fois les quations (8.39a) : 2 m + 2 + hf m 0 2 m m2 0 MS = (8.51) 0 0 0 On remarque que cette dernire est diagonale par bloc et quelle possde donc 0 comme valeur propre : il existe donc un champ de masse nulle. Calculons les valeurs propres du premier bloc : m2 + 2 + hf m2 S m m =0 m2 m2 S

(m2 + 2 + hf m2 )(m2 m2 ) (m)2 = 0 S S 4 m2 (2m2 + 2 + hf ) + m2 (m2 + hf ) = 0 S 77

et alors m2 = S, 1 1 (2m2 + 2 + hf ) (2 + hf )2 + 4m2 2 2 2 m2 = 0 S,0 (8.52a) (8.52b)

La matrice de masse des fermions (6.27) sobtient en drivant une deuxime fois (8.34) : m 0 MF = m 0 0 (8.53) 0 0 0 qui contient encore une fois 0 comme valeur propre, comme on pouvait sy attendre. La diagonalisation du premier bloc donne mF m m =0 mF

mF ( mF ) m2 = 0 m2 mF m2 = 0 F soit mF, = 1 2 + 4m2 2 2 mF,0 = 0 (8.54a) (8.54b)

o on la redni une des masses an quelle soit positive. La valeur propre 0 correspond au spineur X , qui est membre du superchamp qui brise la supersymtrie : il sagit du goldstino. Les champs sont des combinaisons linaires de 1 et de 2 . De mme pour les champs scalaires, X est le boson de Goldstone associ la brisure de la symtrie R, et sont des combinaisons de 1 et de 2 . Dans la limite hf < m2 , on obtient m2 = S, 1 (2m2 + 2 + hf ) 2 1 (2m2 + 2 + hf ) 2 1 2 1 2 (2 + hf )2 + 4m2 2 4 + 2hf 2 + 4m2 2 1+ 2hf 2 + 4m2

= = soit

1 1 (2m2 + 2 + hf ) 2 + 4m2 2 2 1 (2m2 + 2 + hf ) 2 2 1 (2m2 + 2 ) 2 2

2 + 4m2 1 + hf 2 1

hf 2 + 4m2 2 + 4m2

2 + 4m2 +

m2 = m2 + S, F,

hf 2

2 + 4m2

(8.55)

Pour obtenir les masses m des champs conjugus (m est rel, il ne sagit S, que dune notation), il faut faire le remplacement hf hf . On obtient alors 78

la hirarchie suivante pour les masses : m < mF, < mS, S, Ceci nest pas phnomnologiquement viable. On remarque que la relation suivante est valable :
2 2 2 MS + MS = 2MF

(8.56)

(8.57)

ou encore, en prenant la trace : m2 = b

bosons f ermions

m2 f

(8.58)

8.5.2

Gnralisations

On considre n0 champs i de charge 0 et n2 champs Xi de charge 2 [11]. Le superpotentiel le plus gnral est
n2

W =
i=1

Xi gi (j )

(8.59)

o les gi sont des fonctions gnriques des j . Les n2 conditions (7.56b) pour les champs Xi deviennent FXi = gi (j ) (8.60) Si n2 n0 , alors il existe une solution ces quations et le vide supersymtrique a une dgnrescence de n0 n2 . Si n2 > n0 , alors ces quations nadmettent pas de solution dans le cas gnral, et la supersymtrie est brise. Le potentiel scalaire vaut
n2 n0 n2

V =
i=1

|gi (j )| +
j=1 i=1

xi

gi j

(8.61)

Le vide paramtr par les champs xi est obtenu pour

n2

Fi =
i=1

xi

gi =0 j

(8.62)

et possde une dgnrescence de n2 n0 . Les quations pour les j donnant les minima sont
n2

gi (j )
i=1

gi =0 j

(8.63)

Ainsi, partant dun certain modle qui brise la supersymtrie, il est possible quelle soit restaure si lon ajoute de nouveaux degrs de liberts [10]. Par exemple, le superpotentiel W = fX (8.64) brise la supersymtrie, alors que ce nest pas le cas avec W = fX + 79 h X2 2 (8.65)

Il convient dtre prudent si des groupes de symtriques supplmentaires sont prsents, puisquils peuvent modier les conclusions auxquelles nous sommes parvenus [20] ; Seiberg en montre dailleurs un exemple, o la thorie dcouple en un secteur qui brise la supersymtrie, mais libre, et un secteur supersymtrique. Seiberg prsente plusieurs autres modles an de montrer laccord avec les thormes 1 et 2 [11], ainsi que la diversit des phnomnes observs. 8.5.3 Vides mtastables

Toute cette section se base sur larticle de Seiberg [11] Une symtrie est dite approche si elle contient un petit paramtre , tel que la symtrie R soit exacte pour = 0, et explicitement brise pour > 0. Daprs le thorme 1 de Nelson et Seiberg, la thorie brise la supersymtrie pour = 0. Lorsque devient non nul, il est raisonnable de penser que le vide prcdent demeure et que les valeurs moyennes des champs ne sont que lgrement perturbes. De plus, les vides o la supersymtrie nest pas brise se trouvent des valeurs des champs de lordre de 1 , et la dure de vie de ltat mtastable peut donc tre trs longue. On considre de nouveau le superpotentiel de ORaifeartaigh (8.32b), auquel on ajoute un terme qui va briser explicitement la symtrie R : 1 m2 2 2 Le potentiel scalaire (8.35) devient alors W = V = |hX 1 + m2 | + |m1 + m2 | + et il existe deux vides supersymtriques : 1 m 2f 2f 2 = X = (8.68) h h h Ces vides ont un X loin de lorigine pour petit, et ils sont repousss linni dans la limite o le paramtre sannule : dans ce cas, ils nexistent tout simplement pas. Le vide de la phase y < 1 demeure un extremum, mais le vide possde un mode tachyonique moins que 1 = 1 mX m
2 2 2

(8.66)

h 2 +f 2 1

(8.67)

> (1 || )y

(8.69)

Dans ce cas, le mode X possde une masse (mais le goldstino X demeure sans masse). La phase y > 1 ne sera pas discute. Finalement, le temps de vie de ltat mtastable sera de lordre de ( > 0) et peut donc tre indniment long pour une petite valeur de .

8.6
8.6.1

Brisure par terme D : mcanisme de FayetIliopoulos

Modle simple

On considre un seul superchamp chiral de charge g et un groupe ablien [22] : eig (8.70) 80

Le superpotentiel est nul car les termes 2 et 3 ne peuvent pas tre invariants. Les quations du mouvement pour les champs auxiliaires (7.56) donnent donc D = gA A g F =0 et le potentiel scalaire vaut V = 1 2 g2 D = A A + 2 2
2

(8.71a) (8.71b)

(8.72)

En remplaant les champs auxiliaires, le lagrangien est alors 1 L = F F + i + (D A) D A + i D 4 ig 2(A A) V o D = + igA .

(8.73)

Figure 4 Potentiel scalaire pour un lagrangien de jauge simple avec un terme de FayetIliopoulos. Deux cas se prsentent (gure 4) : > 0 : le potentiel ne sannule jamais et admet un minimum pour | A | = 0 : V = g 2 2 /2 ; donc la supersymtrie est brise, mais pas la symtrie de jauge. On peut le voir puisque la valeur du jaugino dans le vide nest plus invariante : = 2 D = 2g (8.74) Il sagit donc du goldstino. Les scalaires possdent un terme de masse g 2 , alors quau moins un fermion est sans masse, et donc les direntes particules ont des masses direntes. < 0 : dans ce cas, la supersymtrie nest pas brise car il est possible davoir D = 0 et donc V = 0 : | A | = 81
2

(8.75)

Comme A = 0, la symtrie de jauge est brise. Pour | A | = 0, on a V = g 2 2 /2. On dnit le paramtre m tel que m = | A | = (8.76) g On dveloppe les champs autour du vide : A= m 1 + (x) g 2 = ei(x) ei(x) (8.77a) (8.77b)

o est le boson de Goldstone et un champ rel. Toutefois, la libert de jauge locale permet de lliminer du lagrangien, et on prendra donc (x) = 0. Les drives du lagrangien valent : (D A) D A = ( + igA ) = 1 + g 2 2 1 m + g 2 1 m + g 2 ( igA )
2

m 1 + g 2

A A

et le potentiel se simplie : g2 V = A A + 2 = g2 2
2

g2 = 2

m 1 + g 2
2

+
2

m 1 2 2 + 2 g

g m+ 2 2

En mettant ensemble les bouts : 1 1 L = F F + i + + i 4 2 2 g g + m + A A i 2 m + ( ) 2 2 g m+ 2 2

2

(8.78)

Ce lagrangien appelle plusieurs remarques : le champ de jauge A possde dsormais une masse 2m2 ; le champ , lorigine sans masse, possde maintenant une masse 2m2 ; il est possible de diagonaliser la matrice de masse des fermions et i : un calcul simple leur donne alors 2 m aux combinaisons linaires i. Toutes les masses sont gales, ce qui normal puisque la supersymtrie nest pas brise. Ce modle est quivalent un superchamp vectoriel massif en auto-interaction. En eet, nous avons tudi dans les premires sections les composantes dun multiplet vectoriel massif, et il savre quil doit contenir un champ scalaire et un second spineur. Du point de vue des superchamps, cela est rattach au fait que lon utilise un superchamp chiral comme paramtre de jauge : les champs de ce dernier sont tous "mangs" par le superchamp vectoriel. 82

8.6.2

Modle de FayetIliopoulos

Ce modle tend la SQED (section 7.4.1) en ajoutant un terme de FayetIliopoulos [22, 26, 30] D. On rappelle que lon dispose de deux superchamps de charges respectives e, avec le superpotentiel W = m+ . Des quations (7.63), celle du champ auxiliaire D est modie :
F =

W = m

(8.79a) (8.79b)

D = e( + ) + ce qui modie le potentiel scalaire (7.68) V = m2 ( + + ) + +

2 1 e( + ) + + 2 e2 2 = (m2 + e) + + (m2 e) + ( + )2 + + 2 + 2

(8.80a) (8.80b)

Les trois champs auxiliaires ne peuvent tre simultanment nuls ; en eet F = 0 = = 0 = D = = 0 et la supersymtrie est brise. Le minimum du potentiel scalaire est donn par V = (m2 e) e2 (| + | | | ) = 0 les quations, et en les ajoutant, on obtient 2m2 + = 0 Deux cas sont alors possibles (gure 5) : 1. Si + = 0, alors lquation pour est (m2 e) e2 | |
2 2 2

(8.81)

(8.82)

En multipliant par

(8.83)

=0

(8.84)

nouveau, deux possibilits se prsentent en fonction de la valeur de e : 2 (a) e < m2 : la parenthse ne peut tre nulle comme | | 0, donc on a ncessairement = 0, soit = 0 = D = , F = 0, V = 2 2 (8.85)

La supersymtrie est brise dans une direction, celle de D. On remarque que est le boson de Goldstone : = 2. La symtrie de jauge est prserve. Les masses des champs scalaires sont modies et deviennent e m2 = m2 (8.86) 2 Remarquons que ces masses ont la proprit m2 + m2 = 2m2 + (8.87)

qui est aussi gale la somme des masses au carr des fermions. 83

Figure 5 Potentiel scalaire pour le lagrangien de SQED avec un terme de FayetIliopoulos. (b) e > m2 : le terme entre parenthse peut tre nul, et alors | | = v 2 = et le potentiel vaut V = m2 e2 e m2 2 < 2 2 (8.89)
2

1 (e m2 ) e2

+ = 0

(8.88)

en utilisant la condition e > m2 . On en dduit que la solution = 0 est un maximum. La supersymtrie et la symtrie de jauge sont brises, la premire dans deux directions (F et D) : F+ = 0, F = mv, D = ev 2 (8.90)

On sattend donc ce que le boson de Goldstone soit une combinaison linaire de et . 2. Si = 0, alors lquation pour + est + (m2 e) + e2 | + |
2

=0
2

(8.91)

et admet pour seule solution + = 0, comme | + | 0. On se ramne au cas prcdent selon les valeurs respectives de e et m2 . Nous allons maintenant calculer le spectre de masse dans le cas e > m2 . La matrice de masse des fermions est 0 m 0 i 2ev MF = m 0 (8.92) 0 i 2ev 0 84

et on a det(MF id) = 0 2 (m2 + 2e2 v 2 ) = 0 ce qui donne comme valeurs propres = m2 + 2e2 v 2 0 = 0 (8.93)

Pour obtenir les masses des champs scalaires et vectoriels, on dveloppe les scalaires autour du vide : + = + = (v + ) (8.94)

en utilisant linvariance de jauge pour enlever la phase de (par contre + est toujours complexe). En injectant ces quations dans le terme cintique de , on trouve mA = 2e2 v 2 (8.95) La drive seconde du potentiel nous donne
2 MS =

m2 + e e2 v 2 0

0 m2 e + 2e2 v 2

qui se simplie en utilisant (8.88) :

2 MS =

2m2 0

0 e2 v 2

(8.96)

La premire valeur propre est associe + et (champs complexes), et la + seconde (champ rel 22 ) : m2 = m2 = 2m2 + + La formule de masse est vrie : m2 + m2 + 2mA = 22 + 22 + + + (8.98) m2 = 2e2 v 2 (8.97)

Lvolution du spectre de masse en fonction de e est indique sur la gure 6. Puisquil existe un champ scalaire dont la masse est infrieure celle du fermion associ, ce mcanisme nest pas correct du point de vue de la phnomnologie.

8.7

Autres mthodes de brisure

Plusieurs autres mthodes permettent de briser la supersymtrie : 1. Brisure dynamique (propose par Witten lorigine [32]) : elle utilise des eets exponentiellement faibles, ce qui mne vers une chelle de brisure Ms trs infrieure celle du cut o Mco [10, sec. 1] : Ms = Mco ea/g
2

Mco

(8.99)

avec a 4 2 , et g est une constante de couplage. Notons que dans ce cas, le modle doit possder une symtrie R spontanment brise [16].
22. Do le facteur 2 pour la masse.

85

Figure 6 Spectre de masse pour le modle de FayetIliopoulos. 2. Termes de brisure douce : il sagit de termes qui brisent explicitement la supersymtrie, mais dont les constantes de couplage ont une dimension positive et infrieure 4, ce qui permet dviter lintroduction de divergence quadratique ; nous en verrons des exemples dans la section sur le MSSM (section 9). 3. Brisure par la condition de rang [10, sec. 2.7] : en considrant plusieurs champs dans des reprsentations direntes, on obtient une relation matricielle pour le terme F , et le rang de cette matrice dtermine si la supersymtrie est brise. 4. Brisure par dimension supplmentaire [18]. Dans tous les cas, la dgnrescence des vides est souvent leve lorsque lon prend en compte les corrections quantiques [10, sec. 2.8]. Finalement, la supersymtrie peut trs bien tre brise dans un secteur cach. Dans ce cas, la gravit ou un groupe de jauge [18] peuvent servir de mdiation pour transmettre cette brisure au secteur du modle standard.

86

Modle standard supersymtrique minimal

Cette section se base entirement sur le livre de Bintruy [2, intro. et chap. 5] et sur larticle de Cski [3].

9.1

Rappels sur le modle standard

Le modle standard est une thorie de jauge o le groupe SU(3)C SU(2)L U(1)Y est spontanment bris en SU(3)C U(1) (les champs sont indiqus dans le tableau 3). Les champs de matire sont indiqus dans le tableau 4, o i est lindice de famille (pour ce qui est connu, i = 1, 2, 3), et L et R se rfrent aux composantes gauche et droite. Nous utilisons un spineur gauche pour toutes les particules ; si lon souhaite obtenir la composante droite, comme il est coutume dutiliser, il sut de conjuguer de charge. Champs Champ U(1)Y Champ SU(2)L Gluons SU(3)C Symbole B W G Charges SU(3)C SU(2)L U(1)Y (1, 1, 0) (1, ad, 0) (ad, 1, 0)

Table 3 Champs de jauge du modle standard.

Champs Leptons

Quarks

Higgs

Symbole L,i L,i = eL,i eL,i = ec R,i uL,i qL,i = dL,i uL,i = uc R,i dL,i = dc R,i h+ H= h0

Charges SU(3)C SU(2)L U(1)Y (1, 2, 1) (1, 1, 2) (3, 2, 1/3) (3, 1, 4/3) (3, 1, 2/3) (1, 2, 1)

Table 4 Champs de matire du modle standard.

9.2

Particules

Nous commenons par justier le contenu en particules du modle standard supersymtrique minimal (MSSM). Lide la plus simple est dassocier un superchamp vectoriel chaque champ de jauge, et un superchamp chiral chaque fermion. chaque champ fermionique sera donc associ un champ scalaire complexe appel sfermion , tandis qu chaque champ bosonique sera associ un spineur de Weyl (ou de Majorana) appel bosino. On parlera donc de squark, de slepton, de jaugino et de Higgsino. Les superchamps seront crits en majuscules, tandis que les superpartenaires auront le mme nom que le champ associ (tableaux 3 et 4). Justions maintenant quil est ncessaire dintroduire un deuxime doublet de Higgs en avanant plusieurs raisons :

87

1. La prsence dun second doublet permet dannuler des anomalies de jauge. 2. Le couplage de Yukawa H d est impossible en supersymtrie, car le superpotentiel doit tre une fonction holomorphe. 3. Le deuxime doublet est ncessaire pour la brisure du groupe lectrofaible. En tudiant les reprsentations de la supersymtrie, nous avons vu quun superchamp vectoriel massif comporte outre un champ vectoriel et un jaugino un champ scalaire rel et un spineur de Weyl supplmentaires. En comptant les degrs de libert bosoniques, nous voyons que nous avons besoin de six degrs : trois champs scalaires rels H 0 , H associs aux champs Z 0 , W , et trois degrs longitudinaux pour Z 0 , W . Ainsi, un seul doublet, qui donne quatre degrs de libert est insusant. U E Les superchamps de matire seront donc : Q = ,L = , U c , Dc , E c Q N (o on omet les indices L et R pour allger lcriture), et on y ajoute deux champs de Higgs : H1 = Hd =
0 H1 H1

H2 = Hu =

+ H2 0 H2

(9.1)

qui ont respectivement pour charges (1, 2, 1) et (1, 2, 1). Aprs la brisure de symtrie lectrofaible, il restera donc cinq champ de Higgs : h0 , H 0 , A0 , H . Les superpartenaires des direntes chiralits sont totalement indpendants : par exemple, uL (superpartenaire de uL et contenu dans U ) et uR (superpartenaire de uR , et dont le conjugu u est contenu dans U c ) nont rien en commun ; R les notations L et R servent juste garder trace du champ associ. Ds le dbut, les chercheurs ont pens que plusieurs particules connues pourraient tre associes dans un mme supermultiplet, par exemple et , ou encore e et W . Toutefois, nous savons que les neutrinos ne se trouvent pas dans la reprsentation adjointe, linverse des jauginos, comme nous lavons vu dans la section sur les thories de YangMills, et, de plus, les parties gauches et droites des jauginos se transforment de la mme manire. Dans tous les cas, ltude des nombres quantiques interdit la moindre association entre particules connues.

9.3

Superpotentiel

Nous allons maintenanat tudier les termes du superpotentiel qui permettent de retrouver le modle standard, tout en ne violant pas les conservations des nombres leptonique et baryonique. 9.3.1 Couplage des champs

Le seul terme quadratique et invariant est donn par les champs de Higgs : W2 = H1 H2 = H2 H1 o on a crit
i j H1 H2 = ij H1 H2

(9.2) (9.3)

Les termes cubiques sont : W3 = d Q H1 Dc + u Q H2 U c + e L H1 E c 88 (9.4)

et ils redonnent les couplages de Yukawa du modle standard, et donc les masses 0 0 des fermions. En eet, en crivant que Q H1 = U H1 DH1 , Q H2 = U H2 + 0 DH2 et L H1 = N H1 EH1 , on obtient
0 md = d H1 0 mu = u H2 0 me = e H1

(9.5)

9.3.2

Parit R

Contrairement au modle standard o les seuls termes respectant linvariance de jauge respectent aussi les conservations des nombres baryonique et leptonique, le MSSM autorise trois termes qui autorisent une violation de ces derniers (grae au nombre accru de champs) : c L LE c Q LDc U c Dc Dc (9.6)

An dinterdire ces termes, une nouvelle symtrie discrte a t introduite : la parit R (qui peut tre vue comme le sous-groupe Z2 de U(1)R ). Elle consiste attribuer une charge de +1 aux champs du modle standard, et de 1 leurs superpartenaires. Au niveau des superchamps, cela revient attribuer +1 aux champs de Higgs, et 1 aux autres champs de matire. Cette symtrie discrte, contrairement la symtrie R complte, autorise une masse de Majorana pour les jauginos. Une formule a t trouve an de dtermine la charge R dune particule : R = (1)3B+L+2S (9.7)

o B et L sont les nombres baryonique et leptonique, et S est le spin. Cette symtrie possde plusieurs consquences : les superpartenaires sont forcment produits par paires, puisque ltat initial constitu de matire normale a une parit de +1 ; la superparticule la plus lgre (LSP) est stable, car la conservation de la parit lempche de se dcomposer en matire ordinaire, et comme elle est la plus lgre, elle ne peut pas se transformer en dautres superparticules. Il faut noter que rien nimpose de manire absolue cette symtrie, et elle pourrait trs bien ne pas exister : si la constante de couplage est faible, alors il est logique que nous nayons encore observ aucune dsintgration qui violerait les nombres baryonique et leptonique. 9.3.3 Brisure douce

Si lon considre le MSSM comme une thorie eective, qui est la limite asse nergie dune autre thorie, alors il est logique dinclure des termes supplmentaires qui brisent explicitement la supersymtrie, tout en ayant des dimensions de passes positives : il sagit de termes de brisure douce. Il est ncessaire dajouter des termes de masse 1/2M pour les jauginos pour tre en accord avec la phnomnologie, puisque aucun fermion de masse nulle na t observ. Deux autres termes peuvent tre ajouts : 2 terme de masse pour les scalaires : m2 + m 2 (2 + ) ; 3 terme A (cubique dans les champs scalaires) : A(3 + ), o est le couplage dans le superpotentiel. 89

9.3.4

Brisure de la symtrie lectrofaible

An de discuter cette brisure de symtrie, nous allons crire le potentiel scalaire des Higgs (celui des sfermions ntant pas utiles, car ces derniers doivent forcment avoir une valeur moyenne nulle pour ne pas briser le groupe SU(3)C ). Les termes F du superpotentiel donnent comme potentiel scalaire
VF = || (H1 H1 + H2 H2 ) 2

(9.8)

Les termes D fournissent une contribution grce aux groupes SU(2)L et U(1)Y : VD = g2 H1 H1 + H2 H2 2 2 2
2

1 2

g 2

2 (H1 H1 + H2 H2 )2

(9.9)

o g et g /2 sont les constantes de couplage de SU(2)L et de U(1)Y . Jusque l, tous les termes sont positifs et ne peuvent donc pas briser la symtrie de jauge, comme la seule solution est H1 = H2 = 0. Finalement, les termes de brisure douce sont
VSB = m2 1 H1 H1 + m2 2 H2 H2 + B (H1 H2 + h.c.) H H

(9.10)

En dveloppant tous les termes, on obtient le potentiel [24]

0 V = m 2 ( H1 1 2 0 + H1 ) + m2 ( H2 2 2 2 + + H2 ) 2 2

+ 0 0 + B (H1 H2 H1 H2 ) + h.c. +

g2 + 0 0 (H1 ) H2 + (H1 ) H2 2
2 + H2 2 2

(9.11)

g +g 8

2 0 H1

+ H1

0 H2

o on a dni m2 = m2 i + || i H En drivant ce potentiel par rapport de SU(2)L ), on trouve

+ H2 2

(9.12)

(dni 0 par une transformation

V g2 0 0 (H1 ) H1 (H2 ) = 0 = H1 = 0 + = B H1 + 2 H2

(9.13)

+ De mme, on trouvera que H2 = 0. Il sut donc dtudier les champs neutres : 0 V = m2 H1 1 2 0 + m2 H2 2 2 0 0 + B H1 H2 + h.c. 0 H1 2 0 H2 2 2

g2 + g 2 8

(9.14)

Les paramtres doivent rpondre deux conditions : Le potentiel doit tre born par le bas an que le systme soit stable. Un problme peut advenir lorsque le terme quartique sannule, cest dire 0 0 pour H2 = (H1 ) ei . Dans ce cas, le potentiel scrit
0 V = (m2 + m2 + 2B cos ) H1 1 2 2

>0

(9.15) (9.16)

do m2 + m2 > 2 |B | 1 2 90

0 0 La solution H1 = H2 = 0 ne doit pas tre un minimum, ce qui revient demander ce que le dterminant de la matrice des drives secondes soit ngatif : m2 B 1 <0 (9.17) B m2 2

soit
2 m2 m2 < B 1 2

(9.18)

Le choix m2 = m2 est donc exclu et les masses douces m2 i doivent tre 1 2 H direntes : cela peut tre ralis laide de corrections radiatives (entre autres grce au top, qui ne couple que H2 au premier ordre).

9.4

tats propres de masses

Aprs la brisure lectrofaible, il reste cinq champs de Higgs h0 , H 0 , A0 , H , le photon , les bosons Z 0 , W . Par convention, h0 est dni comme le Higgs le plus lger. Une fois les corrections radiatives prisent en compte, la limite suprieure pour sa masse est 130 GeV. Il est bien connu que les tats propres de masses correspondent des combinaisons linaires des particules ayant les mmes nombres quantiques. On observera ainsi : les charginos, combinaisons des Higgsinos et des winos chargs ; les neutralinos, combinaisons des Higgsinos et des jauginos B, W3 neutres. En gnral, il est accept que le neutralino le plus lger est la LSP. Les gluinos ne se mlangent pas.

9.5

Discussion

Nous navons pas cherch calculer le spectre de masse de la thorie, ni le dtail de la brisure de symtrie de jauge ou de lunication des constantes de couplage ; le lecteur intress pourra se reporter aux rfrences cites dans lintroduction [2, 3], ainsi quaux livres de Terning [24] et de Weinberg [29]. Si la parit R est une symtrie du lagrangien, et que la LSP est lectriquement neutre, alors le MSSM fournit un bon candidat pour la matire noire, car on disposerait alors dune particule stable, de forte masse et qui interagit faiblement. Grce la supersymtrie, la classication fermions=matire et bosons=interactions devient plus empirique que relle [22, sec. 1] : puisquun boson peut tre remplac par son bosino, ce dernier est lui aussi mdiateur de linteraction (par exemple les gluinos transmettent linteraction forte). Toutefois, cause du principe dexclusion, seuls les bosons peuvent sassembler pour former un champ classique et donner lieu un potentiel mesurable, au contraire des bosinos. Bien que le MSSM permette de rsoudre le problme de la hirarchie et quil possde dautres atouts, il nest pas satisfaisant car le prix payer est fort : le nombre de paramtres libres a t dmultipli : en plus des 19 paramtres du modle standard, le MSSM en ajoute 105 23 . Toutefois, certaines hypothses, plus ou moins arbitraires, peuvent limiter le nombre de ces paramtres, les plus importantes tant :
23. Notons toutefois que si lon suppose que la supersymtrie est brise dans un secteur cache, et que la gravit sert de mdiation, alors le nombre de paramtre est rduit 5.

91

 pas de courant neutre avec changement de saveur ; faible violation de CP. De mme, le nombre de particules a t plus que doubl, mme si cela semble invitable. Du fait quil sagit du modle minimal, tout autre modle saccompagne dun nombre encore plus grand de particules (et ventuellement de paramtres, tant que lon ne fait aucune hypothse pour les restreindre). Pour nir, un mot sur la dtection : dans les collisions du LHC, ce sont les interactions fortes qui dominent. Dans ce cas, on sattend ce que les superparticules produites soient des squarks ou des gluinos. Le signal dune telle production serait une grande quantit dnergie manquante, qui serait emporte par les LSP.

92

10

Supersymtrie tendue

Cette partie se base entirement sur la revue de Sohnius [22]. Bien que la supersymtrie N = 1 paraisse susante pour largir le modle standard, puisquelle contient dj tous les ingrdients ncessaires. Toutefois, il savre que les thories avec N > 1 sont utiles ds quil sagit dinclure la supergravit. En eet, nous avons vu que le groupe le plus large qui ne commute pas avec la supersymtrie N est U(N ) ; ainsi, si nous souhaitons que le groupe de jauge ne commute pas avec la supersymtrie ce qui lui permet dtre inscrit au cur de la thorie, plutt que simplement rajout il faut possder des gnrateurs supplmentaires, sans quoi lon ne pourrait avoir de thories non-abliennes. De plus, un nombre accru de gnrateurs permet damliorer le comportement de la thorie concernant les divergences quantiques, et ces thories prsentent de belles proprits de dualit [24]. Il est dicile de dnir un formalisme similaire au superespace pour les supersymtries tendues. Pour cette raison, nous ntudierons que des lagrangiens on-shell, en vriant explicitement les lois de transformations. An de construire une thorie avec N supersymtries, nous allons utiliser le fait quil sagit dun cas particulier de thorie avec M < N supersymtries.

10.1

N =2

Dans le cas de la supersymtrie N = 2, nous disposons de deux gnrateurs Qi et de leurs conjugus. 10.1.1 Supermultiplet vectoriel

Commenons par tudier le supermultiplet vectoriel. En comparant ses composantes celles des supermultiplets N = 1 (tableau 1), nous voyons quil sagit de la somme dun multiplet chiral = (A, 2 ) et dun multiplet vectoriel V = (1 , A ) (tableau 5). Hlicit Vectoriel N = 2 Chiral N = 1 Vectoriel N = 1 0 1 1 0 1/2 2 1 1 1 1 0 1

Table 5 Comparaison des composantes des multiplets N = 1 et du multiplet vectoriel N = 2. Nous allons crire le lagrangien (sans superpotentiel) correspondant deux supermultiplets vectoriel et chiral, tous les deux dans la reprsentation adjointe, et en liminant les champs auxiliaires. Ensuite, nous chercherons sil existe une supersymtrie supplmentaires. En utilisant (7.57), et en notant 1 = , 2 = , on a : Lg = tr 1 F F + ii D i + (D A) D A 4 g2 + ig 2 1 2 , A 1 2 , A + A, A 2

(10.1)
2

93

o lindice i = 1, 2 est somm. On remarque que lon peut voir deux supersymtries direntes dans ce lagrangien [29, sec. 27.9] : Q1 : (A , 1 ), (A, 2 ) ; Q2 : (A , 2 ), (A, 1 ). Ce lagrangien est donc invariant sous la transformation discrte 1 2 2 1 (10.2)

et o les autres champs ne varient pas. Cette transformation correspond la transformation Q1 Q2 Q2 Q1 (10.3) Cette transformation peut tre gnralise au groupe SU(2) [1, sec. 8.1] et rendue manifeste en antisymtrisant le produit 1 2 , puisque la trace avec le commutateur est antisymtrique (comme les constantes de structure le sont) : Lg = tr 1 F F + ii D i + (D A) D A 4 ig + ij i j , A i j , A V (A) 2
2

(10.4)

avec le potentiel scalaire g2 A, A 2 La transformation des charges est alors V = Qi exp ii i 2 (10.5)

Qj
i

(10.6)

Sous forme de superchamp, on peut crire Lg = 1 W W + h.c. + e2gV 16g 2 (10.7)

Le lagrangien est aussi invariant par la symtrie U(1)R . Le groupe global dinvariance est ainsi U(2) = SU(2) U(1)R . 10.1.2 Hypermultiplet

Les hypermultiplets permettront de reprsenter la matire dans une thorie N = 2. En comparant les composantes de spin (tableau 1), on voit quun tel supermultiplet est compos de deux supermultiplets : un chiral, et un antichiral (tableau 6). Il contiendra donc un champ scalaire complexe, un spineur gauche et un spineur droit (soit un spineur de Dirac). Puisque ces deux spineurs sont dans la mme reprsentation, ils doivent se transformer de la mme manire, et la thorie nest pas chirale ; cette thorie est donc de type vectorielle. Si N > 1, alors la thorie contient des particules de spin 1, moins quil ny ait des charges centrales qui satisfont la condition Z 2 = P P = m2 (10.8)

94

Hlicit Hypermultiplet N = 2 Chiral N = 1 Antichiral N = 1

1/2 1 1 0

0 2 1 1

1/2 1 0 1

Table 6 Comparaison des composantes des multiplets N = 1 et de lhypermultiplet N = 2. Le lagrangien sera simplement le mme que si lon considre deux champs, un chiral et un antichiral , ave un terme de masse : Lm = + + m + h.c. (10.9)

et on vrie immdiatement quil est invariant sous SU(2), o (, ) se transforme comme un doublet. cause de cette invariance, il est impossible dcrire de terme cubique, et les seules interactions possibles sont celles obtenues en ajoutant un groupe de jauge. 10.1.3 Interactions

Nous allons maintenant coupler le supermultiplet vectoriel (V, ) des hypermultiplets a , a (il sagit de superchamps N = 1), avec dans la reprsentation r et dans la reprsentation conjugue r. En plus des termes prcdemment tudis, il est possible dadjoindre un nouveau terme : g , puisque ad r r, et id ad ad. Toutefois, ce terme ne sera invariant que si g = g (constante de couplage du groupe de jauge), an de compenser les termes venant de e2gV . Nous observons donc une nouvelle fois que la supersymtrie conduit une rduction du nombre de Le lagrangien de matire sera donc Lm = e2gV + e2gV + ma a a + h.c. + g a ab b (10.10)

Une telle thorie peut tendre la SQCD tudie danns la section 7.4.2.

10.2

N =4

Il existe un seul supermultiplet N = 4 (tableau 1), et il possde les mmes composantes de spin que (tableau 7) : un multiplet vectoriel N = 2 et un hypermultiplet N = 2 ; un multiplet vectoriel N = 1, trois multiplets chiraux et trois antichiraux N = 1, avec tous les champs dans ladjoint. Tous les champs sont de masse nulles. La supersymtrie N = 2 doit tre valable avec les trois superchamps chiraux i (i = 1, 2, 3), et, pour cette raison, le seul terme dinteraction possible est i V = gijk tr i [j , k ] 2 (10.11)

et la constante g est la mme que celle du groupe de jauge. Ce terme permet de compenser les variations des termes e2gV i . Explicitement, on a i i [j , k ] = Ai [Aj , Fk ] + Ai [Fj , Ak ] + Fi [Aj , Ak ] Ai {j , k } i [j , Ak ] i [Aj , k ] 95

Hlicit Vectoriel N = 4 Hypermultiplet (2) N = 2 Vectoriel N = 2 Chiral (3) N = 1 Antichiral (3) N = 1 Vectoriel N = 1

1 1 0 1 0 0 1

1/2 4 12 2 0 13 1

0 6 22 1+1 13 13 0

1/2 4 12 2 13 0 1

1 1 0 1 0 0 1

Table 7 Comparaison des composantes des multiplets N = 1 et N = 2 et du multiplet vectoriel N = 4. en utilisant la formule (6.16). En contractant par ijk et en prenant la trace : ijk tr i [j , k ] = ijk tr 2Ai [Aj , Fk ] + Fi [Aj , Ak ] 2i [j , Ak ]

comme ijk [Fj , Ak ] = ijk [Aj , Fk ] et {j , k } est symtrique. En regroupant les termes cintiques et le superpotentiel, on obtient le lagrangien L = tr 1 1 F F + D2 + i D + ii D i + (D Ai ) D Ai + Fi Fi 4 2 g + ig 2 i , A i , Ai + D Ai , A i i 2 i + gijk 2Ai [Aj , Fk ] + Fi [Aj , Ak ] 2i [j , Ak ] + h.c. 2 (10.12) On dnit i = i i = 1, 2, 3 4 = (10.13)

et i se situe alors dans la reprsentation fondamentale de SU(4). Les champs Ai fournissent en tout six scalaires rels, quil est possible darranger dans la reprsentation fondamentale 6 de SO(6) ; or cette reprsentation est quivalente la reprsentation antisymtrique self duale 6 de SU(4) :
Mij = M ij =

1 ijk Mk 2

(10.14)

Comme 6 est relle, le groupe de symtrie le plus grand ne pas commuter est, exceptionnellement, SU(4) et non pas U(4). De plus, on a 6 4 4. Il est maintenant possible dcrire le lagrangien sous une forme manifestement invariante (en liminant les champs auxiliaires) : L = tr 1 F F + ii D i + (D Mij ) D Mij 4 1 + ii j , M ij + h.c. + [Mij , Mk ] M ij , M k 4

(10.15)

Cette thorie est particulirement intressante, car il a t prouv quelle est nie tous les ordres.

96

10.3

Rduction dimensionnelle

Il est intressant de constater que les supersymtries tendues en quatre dimensions peuvent tre obtenues partir de thorie N = 1 de dimensions suprieures. Nous allons ainsi montrer que lon retrouve la thorie N = 4, d = 4 partir de N = 1, d = 10. Nous nentrerons pas dans les dtails du calcul spinoriel pour d > 4 ; ce dernier est trs bien dcrit dans la revue de Sohnius [22, sec. 14.1 et A.7]. 10.3.1 Thorie de jauge d = 10

Pour commencer, on considre un espace de Minkowski plat dix dimensions ; le groupe de symtrie est donc SO(1, 9). On utilisera des lettres latines majuscules pour les indices dix dimensions (M = 0, . . . , 9), des lettres grecques pour le indices de lespace usuel quatre dimensions ( = 0, . . . , 3), et des lettres latines minuscules pour les autres indices (i = 4, . . . , 9). La mtrique de lespace est M N = diag(1, 1, . . . , 1).
9 fois

La thorie N = 4, d = 4 contient quatre spineurs de Weyl, soit 16 composantes spinorielles. En regardant les composantes des spineurs d = 10, on voit quil faut prendre un spineur de WeylMajorana . Comme la thorie N = 4, d = 4 est une thorie de jauge, nous allons coupler ce spineur un tenseur de jauge FM N : S= avec FM N = M AN N AN i [AM , AN ] Les relations de commutation sont Q, Q = 2 M PM (10.18) (10.17) 1 d10 x tr FM N F M N + i M DM 4 (10.16)

o PM est limpulsion dix dimensions. Si = (xM ) est un champ quelconque de lespace d = 10, sa dcomposition de Fourier vaut (xM ) = 10.3.2 d10 p eipM x (pM )
M

(10.19)

Rduction dimensionnelle

Le principe de la rduction dimensionnelle est de se limiter aux impulsions pM = (p , 0, . . . , 0), et on considre quaucun champ ne dpend des coordonnes
6 fois

xi : i = 0 et (xM ) = (x ). Ceci implique aussi que (pM ) = (p ). Dans ce cas, le groupe SO(1, 9) peut tre "spar" en deux sous-groupes : SO(1, 9) SO(1, 3) SO(6), et les gnrateurs JM N se sparent en M et Jij . Sous ce dernier gnrateur, les Q se transforment comme Q , J ij = ij Q et la thorie possde une invariance sous SO(6) SU(4). 97 (10.20)

Le problme de cette rduction dimensionnelle est de xer arbitrairement pi = 0, alors que rien ne peut empcher les particules dobtenir une impulsion dans cette direction. La solution est de compactier les dimensions supplmentaires en un tore de rayon L : SO(1, 9) SO(1, 3) T(6). Dans ce cas, limpulsion nest plus arbitraire et se retrouve quantie : pi = ni L (10.21)

Il faut donc une nergie nie p2 = 1/L2 pour exciter le mode ni . Dans ce cas, i limpulsion gnrale scrit pM = (p , ni /L). An dtudier ce qui se passe dans ce cas, nous allons commencer par tudier laction dun champ scalaire de masse nulle : S = d10 x M M (10.22) et on dcompose en srie de Fourier pour les modes pi : (xM ) =
ni

i (x ) eini xi /L

(10.23a)

en utilisant le raccourci i = ni , et les drives sont alors (xM ) =

ni

i (x ) eini xi /L inj i (x ) eini xi /L L

(10.23b) (10.23c)

j (xM ) =
ni

Laction devient S= = d10 x M M d4 x d6 x

ni ,nj

i nj (x )
nk

n2 k i nj L2

ei(ni nj )xi /L

d4 x
ni 2

i i

|n| 2 L2 i

o on a not |n| =
i

n2 . On obtient ainsi une thorie avec une innit de i

champs scalaires, massifs pour ni = 0 : S= d4 x

ni

i i

|n| 2 L2 i

(10.24)

On se limite au premier mode i = 0, qui est le seul non massif (cela peut tre ralit en choisissant un rayon extrmement petit, cest dire une trs grande masse) : S= d4 x 0 0 (10.25)

En appliquant le mme procd la thorie de jauge (10.16), on vitera dintroduire une masse ainsi quune innit de champs. 98

10.3.3

Rduction de laction de jauge

Revenons laction (10.16). Le contenu en champs est le suivant : Le champ de jauge AM se dcompose en un champ vectoriel A (x ) et six champs scalaires Ai (x ), qui sont dans la reprsentation 6 de SO(6). On retrouve ces champs dans FM N : F = A A i [A , A ] Fi = D Ai Fij = i [Ai , Aj ] (10.26a) (10.26b) (10.26c)

comme i Aj = 0. Les seize composantes de peuvent tre dcomposes en quatre spineurs i , qui vivent dans la reprsentation fondamentale de SU(4). Calculons le terme cintique de jauge : FM N F M N = F F + 2D Ai D Ai + [Ai , Aj ] et le terme avec les spineurs est i M DM = ii D i i j Aj , i (10.28)
2

(10.27)

et on retrouve le lagrangien N = 4, d = 4 de la section prcdente aprs encore quelques calculs. On peut aussi retrouver la thorie N = 2, d = 4 partir de celle N = 1, d = 6.

10.4

Conclusion

Le majeur problme des supersymtries tendues est quelles ne sont pas chirales : les parties gauches et droites des fermions se trouvent dans le mme multiplet et se transforment donc de la mme manire. Il est donc ncessaire de briser la supersymtrie tendue vers une supersymtrie N = 1. Toutefois, si au moins une supersymtrie est brise, alors lnergie du vide est positive ; mais cela implique que toutes les autres supersymtries sont aussi brises. Malgr cela, il est possible de circonvenir le problme en brisant partiellement la supersymtrie grce la gomtrie de lespace-temps (en utilisant des dimensions supplmentaires ou la gravit).

99

11
11.1

Supercourants et thorie superconforme

Supermultiplet des courants

Nous avons dj pu noter que les charges de la supersymtrie Q sont associes un courant conserv J qui est un vecteur-spineur : J = 0 Q = Du fait de la loi de composition (1/2, 1/2) (1/2, 0) = (1, 1/2) (0, 1/2) (11.2) d3 x J0 (11.1a) (11.1b)

ce spineur-vecteur contient deux spins : 3/2 et 1/2, ce dernier correspondant la trace gamma J . Puisque la supersymtrie sapplique aussi aux courants, J doit lui aussi appartenir un supermultiplet, appel supermultiplet des courants (le superchamp associ est appel supercourant). An de dterminer les autres composantes, calculons la variation de J [22, sec. 15.1] J = i J , Q + Q Lintgration de la composante = 0 sur lespace donne d3 x J0 = i Q, Q + Q = 2i P = 2i do J = 2i T (11.4) Il existe donc un lien trs profond entre le tenseur dnergieimpulsion, et le courant de supersymtrie, comme on pouvait sy attendre. Puisque T agit comme une source pour le champ de gravitation, on sattend ce que le champ de gravit soit li un autre champ dont la source est J : il sagit du gravitino, que nous tudierons dans la section 12. Le tenseur nergieimpulsion contient un spin 2 et un spin 0, sa trace T = T . On peut regrouper les composantes de spin 3/2 et 2 dans un superchamp A vectoriel avec un indice vectoriel J , qui contient aussi un vecteur axial j (qui nest pas ncessairement conserv) :
A J = j i(J + ) + i(J + ) + (T + ) +

(11.3)

d3 x T0

(11.5)

tandis que les composantes de spin 0 et 1/2 peuvent tre regroupes dans un multiplet chiral X [17, 5], appel multiplet danomalies, ou aussi parfois supertrace. Le vecteur J reprsente 4 4 4 = 12 degrs de libert fermioniques, du fait de la loi de cnservation. Le tenseur dnergieimpulsion en possde 104 = 6 A tandis que le vecteur j en a 4. Il manque donc deux degrs de liberts, ce qui 100

nous conduit introduire un champ complexe x, sur lequel nous construisons X. Il est dicile de construire explicitement le supercourant, car sa forme nest pas uniquement xe, puisquil est possible dajouter des termes damlioration T sans spolier sa conservation (et de mme pour J ). De plus, dans le cas o les masses sont nulles (et que la thorie est conforme). Tous les courants ne sont pas toujours bien dnis, si la thorie ne prsente pas de symtrie R, si elle possde un terme de FayetIliopoulos ou pour certain potentiel de Khler. Pour palier ces problmes, Seiberg a propos [13] un supercourant S qui existe dans tous les cas. Il est dni par les conditions suivantes : D S = D X + D X = 0, D = 0 D = D (11.6)

A Montrons que si le lagrangien possde une symtrie R, alors j est le courant de Noether associ [13, 22, 31]

R=

A d3 x j0

(11.7)

et le supercourant est appel R-multiplet, et not R . Il est obtenu en prenant X = 0 et il possde aussi douze composantes de chaque type. On rappelle laction de Q sur R : [Q, R] = Q Q, R = Q (8.4)

En utilisant le mme principe qui nous a permis de dterminer J , on crit

A A j = i j , Q A d3 x j0 = i R, Q + Q = i(Q Q)

= i et alors

d3 x (J0 J0 )

A j = i(J J )

(11.8)

Le supercourant le plus simple est celui de FerarraZumino [5, 6, 13], et on lobtient en prenant = 0. Dans ce cas, on a 1 1 A J = j i J + J + i J + J 3 3 2 1 + 2T T j A 3 2 i i + x x + 2 2

(11.9)

Les composantes qui nont pas t indiques sont constitues uniquement de drives des autres. En parallle, le superchamp chiral est i 2 2 A J + T + i j (11.10) X = x + 2 3 3
A Si X = = 0, alors T est sans trace, j est conserv, et la trace gamma de J est nulle ; dans ce cas, la thorie est superconforme (un thorme bien

101

connu dit quune thorie est conforme si la trace T est nulle). Dans ce cas, le lagrangien possde aussi une symtrie R et une condition ncessaire est que les masses soient nulles [5, 6]. Le supercourant peut tre utile pour au moins deux raisons : utiliser la procdure de Noether pour coupler le supercourant au superchamp contenant la mtrique et le gravitino, an dobtenir une thorie de la supergravit [5, sec. 7] et [13] ; dterminer des proprits concernant la brisure de supersymtrie et le goldstino [5, sec. 5].

11.2 11.3

Thorie conforme des champs Extension la supersymtrie

102

12

Supergravit

Dans toute cette section, les indices latins sont utiliss pour les rfrentiels locaux, o la gravitation a t annule, tandis que les indices grecs sont utiliss l o elle doit tre prise en compte. Le formalisme de la connexion de spin est revu en dtails dans les livres de Weinberg [28, sec. 12.5] et de Fuks [26, ex. 3.2.1]. Le champ de spin 3/2 appel champ de RaritaSchwinger en espace plat et courbe est trait dans le livre de Fuks [26, ex. 3.2.2 et 3.2.4] et dans le cours de Gibbons [9]

12.1
12.1.1

Relativit gnrale : formalisme de Cartan

Motivations

En relativit gnrale [27], un vecteur subit une transformation de GL(4, R) : V V

x V x

(12.1)

o x /x est la matrice de transformation. Or le groupe GL(1, 3, R) nadmet que des reprsentations tensorielles, qui sont aussi des reprsentations de SO(1, 3), et il est alors possible de gnraliser les quations sans gravit en utilisant le couplage minimal g

(12.2)

Les spineurs forment aussi une reprsentation de ce dernier groupe, mais pas de GL(1, 3, R) : la dnition mme des spineurs et de leurs liens avec les tenseurs usuels repose fortement sur le groupe de Poincar, et pour cette raison il est ncessaire de trouver une nouvelle formulation an dtendre leur dnition aux espaces courbes, puisque le groupe de Poincar nagit pas naturellement dans un tel espace [27, chap. 13]. La solution est de dnir les spineurs comme vivant sur lespace tangent au point tudi, de sorte ce que la gravit soit annule et que lespace soit localement minkowskien. Dans ce cas, le groupe de transformation local est celui de Lorentz ; en eet, le choix de la base locale est "arbitaire" et lon peut donc en changer par une transformation de Lorentz. Comme ce choix est peut tre dirent chaque point de lespace, il sagit dune symtrie locale. 12.1.2 Coordonnes locales et ttrades

On introduit donc un ensemble de coordonnes { a (P )}a=0,...,3 qui localement inertielles au point P de coordonnes x. Localement, la mtrique minkowskienne ab et son inverse permettent de monter et descendre les indices a et b. on obtient ainsi une base de vecteurs ea (P ) appele vierbein ou ttrade (ou encore vielbein pour d = 4 dimensions) de lespace local 24 e a = et leur inverse ea = a x x a (12.3)

(12.4)

24. La dpendance du point P sera en gnral omise par la suite.

103

Les changements de coordonnes scrivent donc x = ea a a = ea x (12.5)

La ttrade doit tre vu comme un ensemble de quatre vecteurs covariants, et non comme un tenseur. Les coordonnes se transforme sous le groupe de Poincar, tandis que les x se transforment par diomorphisme : x x x a = ab (P ) b + aa (P ) x = (12.6a) (12.6b)

Du fait de ces dnitions, on obtient les relations dorthonormalit suivantes : ea e b ab = g

b ea eb = a ea e a = e a = g ab e b

(12.7a) (12.7b) (12.7c) (12.7d)

et la mtrique g sert monter/descendre lindice , au mme itre que agit sur les indices locaux. Le volume invariant de lespace est gd4 x, o g = det g. On a det g = det(e2 ) = (det e)2 donc g d4 x = e d4 x

(12.8)

Si on considre un vecteur V , il peut scrite dans la base locale en contractant par la ttrade V a = ea V (12.9) Cet objet doit tre vu comme quatre scalaires (dans lespace gnral), puisque le vecteur a t contract avec les quatre formes ea . Il se comporte donc comme un scalaire sous les transformations de coordonnes gnrales, mais comme un vecteur sous les transformations de Lorentz locales. Le vecteur possde les transformations suivantes : locale : V a = ab V b (12.10) gnrale : x V (12.11) x Une procdure similaire peut tre ralise avec un nombre quelconque dindices contra- et covariants. De mme, on gnralise un champ dans une reprsentation arbitaire D de SO(1, 3) : V

m m = D()mn n Un spineur de Weyl aura donc les lois de transformations

(12.12)

104

 gnrale : (x ) = (x) locale : ( ) = e 2

1 ab

(12.13) (12.14)

ab

()

On dnit la drive dans lespace local par a = ea et on note quelle ne commute pas : [a , b ] = [ea , e n ] = ea (e b ) e b (ea ) = ea ( e b ) e b ( ea ) comme on a videmment [ , ] = 0, et en renommant les indices, on obtient : [a , b ] = (ea e b eb e a ) (12.16) (12.15)

De plus, une telle drive ne se transforme pas de manire covariante sous une transformation de Lorentz. 12.1.3 Drive covariante et connexion de spin

Il faut dnir une drive covariante, an de mettre en relation un point de lespace tangent avec les points voisins : sans elles, la drive ne possde pas de transformations simples. La connexion, appele connexion de spin et note ab , peut tre assimile aux champs de jauge de la symtrie locale SO(1, 3). On dnit la matrice 1 = ab Mab (12.17) 2 o Mab sont les gnrateurs de SO(1, 3) dans la reprsentation considre. Cette connexion subit la transformation = D() D()1 + D() D()1 (12.18)

lors dun diomorphisme. Dans ce cas, la drive covariante D dun champ D = 1 + ab Mab 2 (12.19)

se transforme alors de manire covariante Da (Da ) = ab D()(Db ) En eet, on a (Da ) = ab ea D() D()1 + D() D()1 = = = ab ea (D() ab ea (D() ab D()(Db ) + D() D() + D() ) + D() ) D() (12.20)

Nous disposons maintenant de tous les outils pour construire une action invariante partir dune thorie locale. Pour ce faire, il faut que chaque terme soit la fois un scalaire de Lorentz et un scalaire sous les diomorphismes. On doit alors raliser les remplacements suivants : 105

 d4 e d4 x ; a, b, . . . , , . . . grce la ttrade ; a D . Par exemple, laction de Dirac devient S= o = ea a { , } = 2 1 D = + ab ab 4 (12.22a) (12.22b) d4 x e (i D m) (12.21)

12.1.4

Tenseurs de torsion et de Riemann

Le calcul de la drive de la ttrade donne, en utilisant lexpression de laction de Mab sur un vecteur 25 : D e a = = 1 + cd Mcd e b 2 a 1 b b b a + cd (c ad d ac e b 2
b

b b = a cd d ac e b

soit D e a = e a a b e b (12.23) On dnit le tenseur de Riemann Rabcd (courbure) et le tenseur de torsion Tab c comme 1 (12.24) [Da , Db ] = Tab c Dc + Rabcd Mcd 2 La courbure et la torsion proviennent donc du fait que les drives covariantes ne commutent pas. Explicitement, on a [Da , Db ] = [ea D , e b D ] = ea e b [D , D ] + (ea D e b eb D e a )D et lon peut dj identier chacune des deux parties, que nous calculons sparment : Torsion : Tab = (ea D e b eb D e a ) = ea e b b c e c eb e a a c e c = ea e b eb e a + a c eb e c b c ea e c et en contractant avec e c : Tab c = e c ea e b eb e b + a c eb b c ea (12.25)

25. On omet le symbole de Chistoel, car les expressions seront toujours antisymtrises en , , et ils sannuleront.

106

Calculons aussi T c en reprenant lexpression de dpart : T c = ea e b ec (ea D eb eb D ea ) = e b ec D eb ea ec D ea = e b D (ec eb ) e b eb D ec ea D (ec ea ) +ea ea D ec

=0 =0

do T c = D e c + D ec Courbure : 1 1 [D , D ] = + ab Mab , + cd Mcd 2 2 1 1 = ab ab Mab + ab cd [Mab , Mcd ] 2 4 1 ab ab Mab = 2 1 + ab cd bc Mad ac Mbd + db Mca da Mcb 4 1 ab ab Mab = 2 1 + ab b d Mad ab a d Mbd 4 + ab cb Mca ab ca Mcb = 1 ab ab Mab 2 1 + ac c b + cb c a ac bc cb ac Mab 4 1 ab ab + ac c b + cb c a Mab = 2 1 = R ab Mab 2 (12.26)

o a utilis le commutateurs des gnrateurs de Lorentz et renomm plusieurs fois les indices. On obtient donc le tenseur de Riemann : R ab = ab ab a c cb + a c cb =
ab

(12.27a) (12.27b)

ab

+ [ , ]

ab

et avec uniquement des indices locaux : Rabcd = ea e b R cd = (ea e b e a eb )( ab a c cb ) (12.27c) Laction du champ de gravitation est obtenue en prenant la courbure R = Rabab comme lagrangien : Sg = 1 22 d4 x eR = m1 p (12.28)

107

o les variables sont la connexion de spin et la ttrade (on utilise donc le formalisme de premier ordre). mp est la masse de Planck. Ensuite, nous couplerons cette action de la matire, donc laction scrit Sm = 12.1.5 d4 x eLm (12.29)

quations du mouvement : connexion de spin

La variation par rapport la connexion de spin conduit Sg = 0 = D e(ea e b e a eb ) = 0 Or cette dernire quation est quivalente D ea D ea = 0 donc le tenseur de courbure (12.26) est nul dans le vide. 12.1.6 quations du mouvement : ttrade (12.31) (12.30)

La variation de laction par rapport la ttrade vaut Sg = o Gab est le tenseur dEinstein 1 b Gab = Racbc a R 2 (12.33) 1 2 d4 x eGab ea eb (12.32)

12.2
12.2.1

Champ de spin 3/2

En espace plat

On dispose dun spineur-vecteur de Majorana (lindice spinoriel nest pas crit) et on souhaite construire son lagrangien. Toutefois, on souhaite imposer une invariance de jauge = + (12.34) an dliminer la composante de spin 1/2. Il nous faut donc construire un terme invariant de jauge, et en se basant sur la QED, on dnit F = avec lidentit de Bianchi [ F] = 0 premire vue, lquation du mouvement la plus simple serait F = 0 associe au lagrangien L = F 108 (12.38) (12.37) (12.36) (12.35)

Hlas, mme si lquation est invariante de jauge, le lagrangien ne lest pas : = F = F = F = 0 L On peut trouver une autre quation du mouvement F = 0 avec comme lagrangien L = F = 1 D 2 (12.40) (12.39)

qui est eectivement invariant du fait de lidentit de Bianchi (12.36). Notons que cette quation implique aussi la prcdente. laide de la relation (2.38), on peut donner au lagrangien une autre forme, plus rpandue : i (12.41) L = 5 2 Lquation du mouvement (12.37) est quivalent ( ) = 0 On choisit une jauge o la trace gamma est nulle = 0 (12.43) (12.42)

qui retire quatre degrs de libert. Ainsi, chaque composante du spineur-vecteur satisfait lquation de Dirac = 0 (12.44) Puisquelle est du premier ordre, elle divise par deux le nombre de degrs de liberts. En contractant cette dernire quation par , et en ajoutant la mme quation avec , on obtient la contrainte supplmentaire = 0 (12.45)

qui retire encore quatre degrs. Ainsi, comporte bien deux degrs de libert comme il est ncessaire pour une particule de masse nulle. 12.2.2 En espace courbe

Essayons dappliquer les rgles de couplage minimal dnie dans la section sur le formalisme de Cartan. On obtient laction Sm = 1 2 d4 x e a abc Db c (12.46)

Le calcul de la torsion donne T a = i2 a 2 (12.47)

On considre la transformation de jauge a = 1 Da (12.48)

109

La variation de Fab est donne par Fab = [Da , Db ] = 1 R cd cd + Tab c Dc 2 ab (12.49)

La torsion donnera des termes dordre 2 et peut tre nglige en premire approche. Cette variation nest pas nulle, mais on peut esprer que lquation du mouvement le soit, donc on calcule abc Fbc = 1 2 R de abc de = Gab b 2 bc

en utilisant la relation [9, p. 17] Rbcde abc de = 4Gab b (12.50)

Ainsi, la thorie nest cohrente qu condition que le tenseur dEinstein soit nul : L = 0 = Gab = 0 (12.51)

12.3

Supergravit N = 1

Nous avons que la variation de laction de la gravit sous une transformation de la ttrade tait proportionnelle au tenseur dEinstein (12.32). En galisant les deux variations, on peut trouver une variation de la ttrade qui permette de compenser celle de : S = donne 1 2 d4 x eGab eb ea 1 d4 x eGab b = 0

1 e e b = b a et on obtient nalement la variation ea = a (12.52)

On obtient ainsi le supermultiplet de la gravit a , ea et la transformation de jauge sapparente une transformation supersymtrique : il sagit de la supergravit. Il sagit du seul contexte o une particule de spin 3/2 peut se propager sans incohrences quelque soit lespace. Notons que le lagrangien est invariant mme en prenant en compte la torsion dans la variation de : en eet, ces termes sont compenss par ceux venant des termes de la drive covariante. Il est possible de gnraliser cette construction en prsence dune constante cosmologique < 0 (espace anti de Sitter) [9]. Dans ce cas, il est ncessaire de modier les drives covariances et dajouter un terme de "masse" a ab b . Nous ne chercherons pas formuler plus avant la thorie de la supergravit, cause du lourd formalisme quil est ncessaire de mettre en place.

110

A
A.1

Annexes
Relations utiles
Les commutateurs et anticommutateurs possdent les proprits suivantes : [AB, C] = A [B, C] + [A, C] B = A {B, C} {A, C} B {AB, C} = A {B, C} [A, C] B = A [B, C] {A, C} B La formule de Hausdor est eA eB = exp A + B + 1 [A, B] + 2 (A.2) (A.1a) (A.1b)

En gnral, cette expression sera utilise dans des cadres o les commutateurs dordre suprieur seront nuls cause des proprits de lalgbre.

A.2

Symtries

Les lments dun espace de Hilbert sont gnrs par laction dun champ sur un vide invariant par translation : |x = (x) |0 |x, x = (x)(x ) |0 (A.3)

Le vecteur dnergieimpulsion est responsable des translations : |x + y, x + y = eiyP |x, x Pour un champ, cette relation devient (x + y) = eiyP (x) eiyP soit, en dveloppant au premier ordre : [, P ] = i On considre un champ qui se transforme dans ladjoint = eiT eiT + i [T, ] Dans ce cas, on a = = i [, T ] et si on a aussi une reprsentation sur les champs = eiT (1 + iT ) alors = iT soit [, T ] = T (A.11) (A.10) (A.9) (A.8) (A.7) (A.6) (A.5) (A.4)

111

Rfrences
[1] Adel Bilal. Introduction to Supersymmetry. 2001. http://arxiv.org/abs/hep-th/0101055. [2] Pierre Bintruy. Supersymmetry. Theory, Experiment and Cosmology. Oxford University Press, 2006. [3] Csaba Cski. The Minimal Supersymmetric Standard Model (MSSM). Mod. Phys. Lett. A, 11(8) :599613, June 1996. http://arxiv.org/abs/hep-ph/9606414v1. [4] Michael Dine. Supersymmetry from the Top Down. 2011. http://arxiv.org/abs/1102.3386. [5] T. T. Dumitrescu and Z. Komargodski. Aspects of supersymmetry and its breaking. Nuclear Physics B-Proceedings Supplements, 216(1) :4468, 2011. [6] S. Ferrara and B. Zumino. Transformation properties of the supercurrent. Nuclear Physics B, 87(2) :207220, 1975. [7] Jose Miguel Figueroa-OFarrill. BUSSTEPP Lectures On Supersymmetry. 2001. [8] Peter G. O. Freund. Introduction to supersymmetry. Cambridge University Press, 1988. [9] G. W. Gibbons. Supergravity, 2009. http://www.damtp.cam.ac.uk/research/gr/members/gibbons/ gwgPartIII_Supergravity.pdf. [10] Kenneth Intriligator and Nathan Seiberg. Lectures on Supersymmetry Breaking. Class. Quant. Grav., 24 :S741S772, 2007. http://arxiv.org/abs/hep-ph/0702069. [11] Kenneth A. Intriligator, Nathan Seiberg, and David Shih. Supersymmetry Breaking, R-Symmetry Breaking and Metastable Vacua. JHEP, 07 :017, 2007. http://arxiv.org/abs/hep-th/0703281. [12] Gordon Kane. Supersymtrie. Les lois ultimes de la nature dvoile. Le Pommier, September 2003. [13] Z. Komargodski and N. Seiberg. Comments on supercurrent multiplets, supersymmetric eld theories and supergravity. Journal of High Energy Physics, 2010(7) :124, 2010. http://arxiv.org/abs/1002.2228v4. [14] Zohar Komargodski and David Shih. Notes on SUSY and R-Symmetry Breaking in Wess-Zumino Models. JHEP 0904 :093,2009, March 2009. http://arxiv.org/abs/0902.0030. [15] H. J. W. Mller-Kirsten and A. Wiedemann. Supersymmetry : An Introduction With Conceptual and Calculational Details. World Scientic, 1987. [16] Ann E. Nelson and Nathan Seiberg. R Symmetry Breaking Versus Supersymmetry Breaking. Nucl. Phys., B416 :4662, 1994. [17] V. Ogievetsky and E. Sokatchev. Supercurrent. Soviet Journal of Nuclear Physics, 28 :423. [18] Jeanne Parmentier. Phnomenologie de la brisure de supersymtrie. PhD thesis, cole Polytechnique, July 2011. 112

[19] Olivier Piguet. Introduction to Supersymmetric Gauge Theories. 1997. http://arxiv.org/abs/hep-th/9710095. [20] Sbastien Ray. Supersymmetric and r symmetric vacua in wess-zumino models. 2007. http://arxiv.org/abs/0708.2200. [21] Lewis H. Ryder. Quantum Field Theory. Cambridge University Press, 2nd edition, 1996. [22] Martin F. Sohnius. Introducing Supersymmetry. Physics Reports, 128(2 3) :39204, 1985. [23] Martin P. Stephen. A Supersymmetry Primer. 1997. http://arxiv.org/abs/hep-ph/9709356. [24] J. Terning. Modern Supersymmetry : Dynamics and Duality. Oxford University Press, 2006. [25] Ulrich Theis. An Introduction to Supersymmetry. http://www.itp.uni-hannover.de/~lechtenf/Events/Lectures/ theis.pdf. [26] M.R. Traubenberg and B. Fuks. Supersymtrie : Exercices avec solutions. Ellipses, 2011. [27] Robert M. Wald. General Relativity. The University of Chicago Press, 1984. [28] Steven Weinberg. Gravitation and Cosmology. John Wiley and Sons, 1972. [29] Steven Weinberg. The quantum theory of elds III : Supersymmetry. Cambridge University Press, 2000. [30] Julius Wess and Jonathan Bagger. Princeton University Press, 1992. Supersymmetry and Supergravity.

[31] Peter C. West. Introduction to supersymmetry and supergravity. World Scientic, 1990. [32] Edward Witten. Dynamical breaking of supersymmetry. Nuclear Physics B, 188(3) :513554, 1981.

113