Vous êtes sur la page 1sur 76

1

t
t
0
0

E
E
R
R
C
C
0
0
R
R
0
0
E
E
t
t




or
0uIIIoume 0Igrot
et
7bIe-Ly Hguye-0og

Rsum :
Le prsent site web se veut avant tout d'tre une introduction aux thories des supercordes. Nous
amorons l'tude avec le rappel de quelques notions de relativit, de dimensions suprieures et de
thorie de champ. Ensuite, nous examinons en dtail le modle classique de la corde relativiste via
l'action de Nambu-Goto dans le but de dvelopper la thorie de cordes bosoniques . Nous nous
orientons alors vers le concept de supersymtrie par l'entremise du modle NS-R. partir des
concepts labors, nous procdons alors un survol des cinq thories des supercordes existantes
en dressant leurs principales caractristiques ainsi qu'une description phnomnologique de
chacune.
2

3
t t0 0M MM MA AI IR RE E
t.-IH7R000C7I0H..................................................................................................................................................... s
z.-H07I0Ht t0R LA RELA7IVI7E......................................................................................................................
z.t-RELA7IVI7E REt7REIH7E E7 RELA7IVI7E 0EHERALE............................................................................
z.z-C00R00HHEEt 00 C0HE 0E L0MIERE (= LI0H7-C0HE =} ............................................................ 1
z.z-P0RM0LA7I0H 0Et Eq0A7I0Ht 0E MAXwELL ................................................................................... 9
z.-HEH0MEH0L00IE 00H 0HIVERt A 0 z 0IMEHtI0Ht tA7IALEt.................................II
z.t-0IMEHtI0Ht C0MAC7IPIEEt ...................................................................................................................II
z.z-HEH0MEH0L00IE 0Et E7A7t q0AH7Iq0Et IH7R000I7t AR 0Et 0IMEHtI0Ht
C0MAC7IPIEEt.................................................................................................................................................... I2
z.z-L0H00E0R 0E LAHCK A 0 0IMEHtI0Ht tA7IALEt E7 LA C0Ht7AH7E 0E 0RAVI7A7I0H
HEw70HIEHHE..................................................................................................................................................... Is
4.-C0R0Et CLAttIq0Et........................................................................................................................................ Is
4.t-C0R0Et HEw70HIEHHEt.......................................................................................................................... Is
4.I.I-CONC15 D A5............................................................................................................................... Is
4.I.2 RAL DU LACRANC|N Nv1ON|N D'UN AR1|CUL ONC1ULL .................................... 2O
4.I.1 A55AC AU LACRANC|N RLA1|V|51 D'UN AR1|CUL ONC1ULL (5AC
M|NkOv5k|N } ............................................................................................................................................. 2I
4.I.4 |NVAR|ANC D RARAM1R|5A1|ON 1 UA1|ON5 D MOUVMN1 ....................................... 22
4.I.s LACRANC|N NON RLA1|V|51 D'UN CORD.................................................................................24
4.I. RFAC A L'ANALV5 D'UN CORD RLA1|V|51 : L'A|R D'UN 5URFAC................................ 2s
4.z-C0R0E RELA7IVIt7E E7 LAC7I0H 0E HAM80-0070..................................................................... 21
4.2.I CORD RLA1|V|51 1 L'AC1|ON D NAMU-CO1O....................................................................... 21
4.2.2 ARAM1R|5A1|ON 51A1|U ........................................................................................................... 1O
4.2.1 UA1|ON5 D MOUVMN1 D'UN CORD RLA1|V|51................................................................ 1I
4.2.4 COURAN15 5UR LA 5URFAC D'UN|VR5 1 5VM1R|5 D'UN 5V51M HV5|U....................... 12
4.2.s CORD RLA1|V|51 OUVR1 N RO1A1|ON : 1RAlC1O|R5 D RCC 1 L ARAM1R D
N1..............................................................................................................................................................1
s.-CHAMt CLAttIq0Et...................................................................................................................................... 1s
s.t-CHAM tCALAIRE CLAttIq0E (tIH o}............................................................................................... 1s
s.z-q0AH7IPICA7I0H 00 CHAM tCALAIRE (tIH o}.......................................................................... 4O
s.z-CHAM ELEC7R0MA0HE7Iq0E (tIH t}............................................................................................. 41
s.4-CHAM 0RAVI7A7I0HHEL (tIH z} .................................................................................................... 4s
e.-C0R0Et 80t0HIq0Et.................................................................................................................................... 41
e.t-AHALVtE CLAttIq0E................................................................................................................................. 41
.I.I-R1OUR 5UR L'AC1|ON D NAMU-CO1O 1 L'AC1|ON D OLVAkOV........................................ 41
.I.2-RAL D5 5VM1R|5 D L'AC1|ON 1 L'|NVAR|ANC D vVL ................................................49
4
.I.1-CHO|X D LA lAUC 1 UA1|ON DU CHAM................................................................................ sO
.I.4-UA1|ON5 D MOUVMN1 1 DCOMO5|1|ON MODAL........................................................... sI
.I.s- ALCR D V|RA5ORO..................................................................................................................... s2
e.z-q0AH7IPICA7I0H 0Et C0R0Et 0E HAM80-0070.......................................................................... s4
.2.I-CON51RUC1|ON D L'5AC D5 1A15 .......................................................................................... s4
.2.2-L|M|NA1|ON D5 1A15 FAN1OM5............................................................................................ ss
.2.1-5C1R D5 1A15 ............................................................................................................................s
.2.4-|N1RAC1|ON5 N1R L5 CORD5 ...................................................................................................s9
z.-C0R0Et PERMI0HIq0Et...............................................................................................................................2
z.t-AHALVtE CLAttIq0E.................................................................................................................................2
1.I.I-AC1|ON CLA55|U D'UN 1HOR| D CHAM A DUX D|MN5|ON5 AVC D5 DCR5 D
L|R1 |N1RN5..........................................................................................................................................2
1.I.2-5UR5VM1R| D LA FU|LL UN|VR5 ..........................................................................................1
1.I.1-UA1|ON5 D CHAM 1 COND|1|ON5 FRON1|R5 N5-R...........................................................4
1.I.4-5URALCR D V|RA5ORO 1 CON1RA|N15.............................................................................s
z.z-q0AH7IPICA7I0H......................................................................................................................................s
1.2.I-ANALV5 DU 5C1R 1 D|MN5|ON CR|1|U...............................................................................
1.2.2 LA ROlC1|ON C5O 1 5URCORD5 OUVR15 D 1V | ....................................................... 1
s.-AER0 0Et 7HE0RIEt 0E t0ERC0R0Et........................................................................................1O
s.t-LEt CIHq 7HE0RIEt 0E t0ERC0R0Et..................................................................................................1O
s.I.I-5URCORD5, 1V | ..........................................................................................................................1O
s.I.2-5URCORD5, 1V || ......................................................................................................................... 1I
s.I.1-5URCORD5 H1RO1|U5 ........................................................................................................... 12
s.z-0HE tVME7RIE IM0R7AH7E EH HVtIq0E t LA 00ALI7E.............................................................. 12
s.2.I-XML5 D DUAL|1 N HV5|U................................................................................................ 11
s.2.2-LA DUAL|1 1....................................................................................................................................... 11
s.2.1-LA DUAL|1 5....................................................................................................................................... 14
s.2.4-LA 1HOR| M (M OUR MV51RV , MO1HR OF ALL 1HOR|5 , 1C. .......................... 14
s.-C0HCL0tI0H....................................................................................................................................................... 1
5
1.-Introduction
Le prsent document est une introduction la thorie des supercordes , qui est considre
dans le milieu de recherche actuel comme candidate prometteuse d'une thorie quantique de la
gravit unifiant les quatre forces fondamentales de la nature. Cette thorie a t difie dans
les annes 70, bien que son origine puisse tre retrace aux annes 20 avec la tentative
d'unification directe de la gravitation et de l'lectromagntisme par Kaluza et Klein. La
premire thorie des cordes, appele cordes bosoniques , a originellement t publie dans le
but d'expliquer le phnomne de confinement des hadrons. L'mergence des tats typiques
d'un champ gravitationnel a alors rorient la recherche sur ce domaine vers l'laboration
d'une thorie de gravitation quantique, et c'est dans cette optique qu'une supersymtrie a t
introduite pour incorporer les tats fermioniques manquants. L'mergence des thories de
supercordes ( super pour supersymtrie ) marque alors l'anne 1984, qui est aussi
considre comme la premire rvolution par les spcialistes du domaine. Ces diffrentes
thories seront alors peu peu runifies dans les annes 90 avec la dcouverte des dualits ,
dcouverte nomme seconde rvolution . Toutefois, la fusion complte de ces thories vers
une thorie dite M reste aujourd'hui sujette des recherches intenses.
Notons qu'il n'existe aucune preuve exprimentale de la validit de ces diverses thories de
cordes, puisque les prdictions qui leurs sont propres ne concernent que les domaines de trs
haute nergie encore inaccessibles aux acclrateurs de particules. Pour la mme raison, la
thorie de supersymtrie (SUSY) sur laquelle se base les modles de cordes fermioniques
reste aujourd'hui une spculation thorique. Les modles de supercordes offrent nanmoins
des perspectives nouvelles en cosmologie concernant entres autres la clbre entropie des
trous noirs de Hawking et les modles phnomnologiques de l'univers l'chelle du temps de
Planck aprs le Big Bang.
Le but de ce document est en fait d'introduire les concepts de base de la thorie des
supercordes un niveau comprhensible par l'tudiant au baccalaurat. Cela signifie que
plusieurs lments qui ne sont pas directement relis au domaine seront explors (ou plutt
rappels), tels que le formalisme de Lagrange, la seconde quantification, etc. De plus, les
mathmatiques sous-jacentes aux thories des cordes seront choisies pour leur simplicit (par
exemple, nous ne procdons pas la quantification d'une corde classique avec le formalisme
BRST). Mentionnons enfin que l'ordre des chapitres suivra la chronologie des
dveloppements de la thorie. Par exemple, le concept de compactification de dimensions sera
introduit au dbut de l'ouvrage car c'est un concept suggr dans les annes 20 (Kaluza-
Klein), c'est--dire bien avant la thorie M (qui ne sera consquemment introduite qu' la fin).
6
2.-Notions sur la relativit

2.1-Relativit restreinte et relativit gnrale
2.2-Coordonnes du cne de lumire (light cone)
2.3-Formulation des quations de Maxwell

2.1-Relativit restreinte et relativit gnrale
Nous assumons au pralable une certaine familiarit du lecteur avec les notions de relativit
restreinte et gnrale, plus particulirement aux proprits d'un espace Minkowskien dcrit
par une mtrique d'espace plat de type :
; (2.1.1)

l'lment d'intervalle invariant tant dfini ainsi :
(2.1.2)
Notons galement que . Cela dcrit la correspondance entre les
quantits temporelles et spatiales pour tout quadrivecteur.
Une quantit ayant un indice suprieur est dfinie comme contravariante. La quantit
covariante correspondante (ou 1-forme) est donne par un indice infrieur. La convention
d'Einstein s'applique ici, i.e. on effectue une sommation lorsqu'il y a des indices rpts. Dans
ce formalisme, toute quantit dont les indices s'annulent est considre comme un invariant de
Lorentz (l'lment infinitsimal d'intervalle en est un exemple). Cela signifie qu'elle est
conserve sous tout changement de rfrentiel Lorentzien. Rappelons aussi que la
transformation de Lorentz reliant un rfrentiel un autre est donne par :
(2.1.3)
Cette transformation fait partie du groupe SO(1,3) : c'est une extension du groupe de rotation
tridimensionnel SO(3) pour une rotation hyperbolique dans l'espace de Minkowski. Nous
verrons que le moment correspondant la symtrie SO(1,3) est la gnralisation du moment
7
angulaire quatre dimensions, ce qui concorde avec la correspondance entre le moment
angulaire spatial et le groupe SO(3).
Notons que la mtrique devient moins triviale en relativit gnrale, et est alors note (qui
reste nanmoins un tenseur symtrique). L'lment d'intervalle s'crit alors :
(2.1.4)
Lorsque la courbure de l'espace-temps est faible, on peut remplacer la mtrique non triviale
par la mtrique d'espace plat plus un terme de perturbation :
(2.1.5)
Il est alors possible de calculer ce que l'on nomme le tenseur d'Einstein . Comme nous
considrons l'quation dans le vide, le tenseur de stress nergie est nul, et l'quation
gnrale d'Einstein (gnralisation de l'quation de Poisson), , devient :
(2.1.6)
o tout changement d'indice suprieur ou infrieur est effectu avec la mtrique d'espace plat.
Les dtails permettant de retrouver cette quation est laisse la discrtion du lecteur, qui
peut se rfrer Schtz, A first course in general relativity, p. 204.
Pour conclure, notons qu'un changement de coordonnes infinitsimal
correspond une transformation de jauge similaire la transformation de jauge
lectromagntique.
(2.1.7)
Cette transformation laisse l'quation (2.1.6) invariante. Pour le vrifier, il s'agit simplement
de considrer le terme , puis de dfinir comme sa transforme de Fourier.
Il s'agit alors de vrifier que la version dans l'espace des impulsions de l'quation (2.1.6) reste
invariante.

2.2-Coordonnes du cne de lumire ( light-cone )
Nous allons voir subsquemment qu'il est possible de choisir un systme de coordonnes
permettant de simplifier les quations lorsqu'on traite d'une corde relativiste. Le systme de
coordonnes en question est le systme du cne de lumire. Ce dernier, consiste simplement
en une combinaison linaire de la composante temporelle et spatiale du quadrivecteur de
coordonnes :
8
; (2.2.1)


Fig. 2.2.1 Dfinition des axes du systme de coordonnes light-cone .
Par convention, nous considrons comme la nouvelle coordonne temporelle. Bien que ce
systme de coordonnes se comporte de faon plutt trange (ex. : un photon voyageant dans
la direction des positifs est immobile par rapport la coordonne spatiale , et un
photon voyageant dans la direction des ngatifs n'volue pas dans le temps ).
Nanmoins, nous pouvons dj distinguer un avantage substantiel inhrent ce systme de
coordonnes, puisque l'lment diffrentiel de l'intervalle prend alors la forme :
(2.2.2)
o :
(2.2.3)
Nous voyons qu'il n'est plus ncessaire de prendre la racine carre d'une forme de cette
quation pour isoler ou , ce qui reprsente une simplification qui s'averrait utile.
9
Notons galement que tout quadrivecteur peut tre exprim dans ce systme de coordonnes
en appliquant le mme type de transformation qu'en (2.2.1).
Qu'en est-il de la quadri-impulsion? Nous rappelons que dans le systme de coordonnes
originel, nous avons :
(2.2.4)
Dans le systme du cne de lumire, la quadri-impulsion devient :
; (2.2.5)
On identifie comme l'nergie. En effet, considrons :
(2.2.6)
Nous voyons que la composante 0 de la 1-forme correspondant la quadri-impulsion est lie
la coordonne temps de ce systme de coordonnes, soit x + (nous recherchons
simplement la conjugaison entre la variable temps et nergie pour ce systme de
coordonnes). On a alors , o est l'nergie dfinie dans ce systme de
coordonnes. Donc :
. (2.2.7)

2.3-Formulation des quations de Maxwell
Nous allons maintenant dvelopper une forme covariante des quations de Maxwell, car cela
s'avrera utile lors de la seconde quantification du champ lectromagntique dans le cadre de
la QFT , par exemple:
Dans un espace-temps 4 dimensions, le potentiel scalaire et vecteur peut tre combin pour
former un 4-vecteur :
(2.3.1)
On dfinit alors un objet de rang 2 antisymtrique :
(2.3.2)
o . Ce quadrivecteur est invariant sous la transformation de jauge :
10
(2.3.3)
Dfinissons aussi le vecteur quadridimensionnel du courant :
(2.3.4)
Les quations de Maxwell prennent alors la forme suivante :
(2.3.5)
Notons que ces quations sont aisment gnralisables en D dimensions.
11
3.-Phnomnologie d'un univers D > 3 dimensions spatiales

3.1-Dimensions compactifies
3.2-Phnomnologie des tats quantiques introduits par des dimensions compactifies
3.3-Longueur de Planck D dimensions spatiales et la constante de gravitation newtonienne

3.1-Dimensions compactifies
Nous verrons subsquemment que la thorie des cordes la plus simple, appele thorie des
cordes bosoniques, ne peut tre consistante qu' 26 dimensions. De mme, l'introduction de la
supersymtrie reliant bosons et fermions engendre des thories de supercordes voluant dans
un univers 10 dimensions. Dans ces espaces D > 3 dimensions spatiales, la formulation de
l'intervalle invariant de Lorentz est toujours exprime par l'quation (2.1.2), mais avec des
indices allant de 0 D. Il doit exister donc un processus appel compactification des
dimensions supplmentaires pour expliquer le fait que ces dimensions supplmentaires si
elles existent soient actuellement insondables par les mthodes exprimentales. La question
qui se pose maintenant est s'il est vraiment possible de compactifier ces dimensions de sorte
que l'on puisse reproduire le modle standard quadridimensionnel tel qu'on le connat, c'est--
dire le modle .
Pour ce faire, la compactification doit tre effectue sur ce qu'on nomme des espaces de
Calabi-Yau. La brisure de symtrie permettant la reproduction du Modle Standard est
introduite en compactifiant les dimensions sur un tore divis par l'action d'un groupe discret
(singularits), qui constitue ce qu'on nomme un orbifold , ce dernier tant un cas limite
d'un espace de Calabi-Yau. Un problme actuel est le fait qu'il existe des milliers de varits
de Calabi-Yau, et il semble que la seule faon de dterminer celle requise pour reconstituer le
Modle Standard serait par la voie de la simulation informatique. Est-ce que la forme exacte
de la varit de Calabi-Yau serait alors un paramtre libre du systme? En d'autres termes,
serait-il possible que la thorie des cordes sous-jacente soit errone, et que la raison pour
laquelle nous pouvons reconstituer le Modle Standard partir de cette thorie provienne des
paramtres arbitraires inhrents au grand nombre de varits de Calabi-Yau? Notons que c'est
exactement la raison pourquoi les thories non renormalisables sont considres comme sans
valeur : elles introduisent une infinit de paramtres libres qui peuvent tre ajustes de sorte
que la thorie corresponde aux observations exprimentales! Il est trs possible cependant que
les multiples choix des varits de Calabi-Yau soient connects ensemble de faon continue
par des conifold transitions (une thorie explore par Andrew Strominger), ce qui voque
la possibilit que les diffrents univers quadridimensionnels correspondant chaque varit
de Calabi-Yau soient des phases d'une seule et profonde thorie sous-jacente.
Revenons donc notre discussion phnomnologique de la compactification. Par simplicit,
nous pouvons considrer un modle o les dimensions sont compactifies de faon simple,
comme une surface 2D peut tre enroule sur elle-mme pour former un cylindre. Prenons un
exemple simple : une ligne unidimensionnelle est compactifie selon l'identification suivante :
12
(3.1.1)
Cela signifie que le point x correspond au point , i.e. la ligne possde maintenant la
mme topologie qu'un cercle. Cette ligne reprsente donc une dimension compacte.
Considrons un autre exemple simple :
(3.1.2)
qui reprsente simplement une surface replie sur elle-mme pour former une sphre de rayon
R , ne pas confondre avec l'identification d'un tore :
(3.1.3)


Tableau 3.1.1 : Exemples de compactification

3.2-Phnomnologie des tats quantiques introduits par des dimensions compactifies
Continuons notre petite recherche phnomnologique en considrant la situation
unidimensionnelle la plus simple retrouve en mcanique quantique non relativiste, qui est
celle d'une particule de masse m dans une bote unidimensionnelle aux murs infranchissables,
c'est--dire dans un potentiel dfini de la faon suivante :
13
(3.2.1)
L'application directe de l'quation de Schrdinger indpendant du temps nous montre les
valeurs propres d'nergie :
; n = 1, 2, 3 (3.2.3)

Ajoutons maintenant une dimension compactifie, de sorte que la topologie de notre espace
devienne similaire celle d'un cylindre :
(3.2.4)
L'quation de Schrdinger est maintenant bidimensionnelle et sparable :
(3.2.5)
La solution est alors une combinaison de deux fonctions d'onde une variable :

; (3.2.6)
Les valeurs propres correspondant ces fonctions sont :
(3.2.7)
Nous voyons qu'il existe pour l = 0 une solution constante pour la composante en y de la
fonction d'onde, et l'on obtient alors tous les niveaux d'nergie pour un potentiel
unidimensionnel. Notons que si R << a , alors le premier niveau non trivial (i.e. l = 1 , n = 1)
est :
(3.2.8)
Cette nergie n'est comparable aux niveaux que pour n >> 1. La conclusion est donc que
le spectre de basse nergie reste similaire celui d'un potentiel unidimensionnel. Il est
possible donc que les dimensions supplmentaires ne puissent tre observes que pour le
14
domaine des trs hautes nergies encore inaccessibles aux acclrateurs de particules actuels
si les dimensions compactifies sont suffisamment petites. Notons cependant que la
mcanique quantique inhrente une corde amne des tats de basse nergie diffrents de
ceux d'un univers trois dimensions spatiales si les dimensions compactifies sont beaucoup
plus petites que la longueur d'une corde. L'argument des tats supplmentaires inobservables
s'applique cependant si la dimension d'une corde est comparable celle des dimensions
compactifies.
Notons au passage que la quantification d'une corde est diffrente de celle d'une particule dans
un espace compactifi en forme de cylindre. En effet, considrons des cordes classiques dans
un espace constitu d'une dimension spatiale normale et d'une dimension compactifie sur un
cercle (encore une fois!) :

Figure 3.2.1 : Cordes sur une dimension 2D compactifi
Nous observons qu'en addition des cordes m = 0 (o m est le winding number ) qui
peuvent se contracter de faon continue jusqu' devenir des points et qui sont donc les seuls
types de cordes possibles dans un espace 2D non compactifi , nous avons aussi d'autres
types de cordes caractrises par leur nombre de tours dans l'espace 2D compactifi. La
quantification de cette situation est alors qualifie de double strike , car en passant de
les tats correspondant au moment conjugu de y passent d'un
continuum d'tats des tats discrets, i.e. nous avons perdu des tats. Cependant, cette perte
est compense par les tats m > 0 qui s'ajoutent au spectre. Ce mcanisme n'est possible que
pour des cordes, car une particule ne peut s'enrouler autour d'une dimension. Nous
mentionnons ce fait sans plus de dtails mathmatiques, car le but unique de cette section est
d'orienter le lecteur qui dsirerait s'informer de faon plus complte des dtails concernant les
rsultats de la thorie des cordes telles que la dualit T, par exemple (ces concepts seront
introduits vers la fin de l'ouvrage).
Pour finir, glissons un mot au sujet de la thorie de Kaluza-Klein dveloppe dans les annes
20, puisqu'elle est la premire thorie ayant voqu la possibilit d'un univers constitu de
plus de quatre dimensions d'espace-temps. Elle a en fait t dveloppe dans le but d'unifier la
gravitation et l'lectromagntisme, et stipule que l'espace-temps possde une cinquime
dimensions enroule sur elle-mme en un cercle. Cela permet alors de dcomposer tout
tenseur mtrique en un tenseur de dimension 4 reprsentant le champ gravitationnel,
un vecteur reprsentant un champ de Maxwell quadridimensionnel, ainsi qu'un scalaire
quadridimensionnel reprsentant un champ de dilaton que nous allons dfinir plus tard
(notons que reprsente le mme champ de Maxwell que car le tenseur originel
pentadimensionnel est symtrique). L'identification de comme champ de Maxwell
15
provient du fait que le champ lectromagntique possde une symtrie de jauge U(1)
correspondant au groupe de rotations autour d'un cercle. Cette thorie est en fait celle d'o
provient le raisonnement phnomnologique de la particule dans une bote dveloppe
prcdemment : les niveaux d'nergie supplmentaires proportionnels sont en fait
apparies ce qu'on nomme la tour de Kaluza-Klein des impulsions conjugues la
coordonne y .


Figure.3.2.2 : La tour de Kaluza-Klein des tats d'impulsion de la coordonne
compactifie. Pour un rayon trs grand, la distribution des tats tend vers un continuum. Dans
le cas d'un rayon trs petit, la dimension est quasiment indtectable et la distance entre les
niveaux correspondant chaque tat discret est norme.

3.3-Longueur de Planck D dimensions spatiales et la constante de gravitation
newtonienne
La longueur de Planck D = 3 est obtenue par analyse dimensionnelle entre G, c et . Pour
une vue plus concrte de la situation, crivons l'quation de Poisson gnralise D
dimensions :
(3.3.1)
L'analyse dimensionnelle de cette formule nous permet de conclure que la constante
gravitationnelle D dimensions contient D - 3 facteurs de longueur de plus que la constante
usuelle G. En effet, Le potentiel a toujours comme units l'nergie par unit de masse, alors
que la densit de masse est modifie avec l'ajout ou le retrait de dimensions. Il est possible
alors de montrer que :
(3.3.2)
16
o est la longueur de Planck D dimensions spatiales.
Considrons maintenant un univers D = 4 dimensions spatiales dont l'une compactifie en
un cylindre de rayon R (sauf les trois dimensions spatiales usuelles et la dimension
temporelle). Comme nous sommes intresss aux ordres de grandeur seulement, pour l'instant,
nous pouvons considrer la situation simple d'une masse apparemment ponctuelle dans trois
dimensions, mais distribue uniformment dans la quatrime dimension spatiale. En d'autres
termes, nous avons un anneau quadridimensionnel dont la distribution totale de masse est :
(3.3.3)
En 3 dimensions, on observe ainsi une particule de masse M., et donc la relation entre la
densit quadridimensionnelle et la densit tridimensionnelle est :
(3.3.4)
L'on insre (3.3.3) et (3.3.4) dans la formule (3.3.1) pour le potentiel gravitationnel D = 4.
Comme nous avons un anneau remplissant la dimension compactifie, le potentiel
gravitationnel est indiscernable du potentiel 3-dimensionnel que l'on connat bien, et donc :
(3.3.5)
o G est la constante gravitationnelle 3 dimensions, et l C est la longueur de la dimension
compactifie. La gnralisation pour D dimensions est :
(3.3.6)
Connaissant les relations (3.3.2) et (3.3.6), nous trouvons :
(3.3.7)
Nous savons que la longueur de Planck vue en 3 dimensions doit tre approximativement
cm . Selon (3.3.7), il est possible que la vraie longueur de Planck D dimensions soit
beaucoup plus grande que la longueur perue. Comme les longueurs de l'ordre de cm
constituent la limite de mesure exprimentale actuelle, il est possible que la longueur de
Planck soit par exemple de l'ordre de cm . Pour D = 5, la longueur de la dimension
compactifie est alors de l'ordre de cm. Notons qu'il est possible qu'une dimension
compactifie aussi large que cet ordre de grandeur puisse exister sans que l'on puisse s'en
rendre compte, puisque le test des dimensions supplmentaires consiste mesurer une
dviation de la loi de la force gravitationnelle newtonienne en pour les longueurs de
l'ordre de , ce qui est trs difficile puisque la force gravitationnelle est trs faible. En fait,
17
les expriences les plus prcises ce jour ne confirment cette loi que pour les distances
suprieures cm !
Un contre argument l'existence de telles dimensions est que la force lectromagntique a t
teste jusqu' cm , et ne semble pas dvier de la loi en . Cependant, il existe en
thorie des supercordes un objet appel Dp-brane qui a t originellement introduit comme un
objet p dimensions servant dcrire les conditions aux limites de Dirichlet d'une corde
ouverte (par exemple, une corde de violon est une corde ouverte). Il est possible donc que le
monde tel qu'on le peroit soit un D3-brane dans un espace D > 3 (cette hypothse a t
formule dans le cadre de la thorie M qui sera introduite plus tard).
Nous verrons que la particule de spin 1 sans masse correspondant au photon (boson de jauge
pour l'interaction lectromagntique) en thorie des cordes correspond un mode de vibration
fondamental d'une corde ouverte, i.e. dont les bouts doivent obir aux conditions aux limites
et donc doivent rester sur une Dp-brane (qui est simplement notre D3-brane selon notre
hypothse), alors que la particule de spin 2 sans masse correspondant au graviton (boson de
jauge pour l'interaction gravitationnelle) correspond une corde ferme, i.e. une corde n'tant
pas limite par les conditions aux limites imposes par les Dp-branes, et qui volue donc dans
un espace D dimensions. D'ailleurs, ces degrs de libert supplmentaires du graviton
pourraient aussi expliquer pourquoi la force gravitationnelle est si faible!
Un dernier mot sur les Dp-branes : comme ceux-ci drivent des conditions de Dirichlet, il
serait tentant de les considrer comme des objets globaux de la thorie. En fait, on peut
dmontrer que ces conditions aux limites ne sont pas des invariants de Lorentz, et c'est la
raison pourquoi ils sont considrs comme une proprit locale de la thorie. Il y a donc deux
types d'entits en thorie des cordes : les cordes et les Dp-branes. Le traitement mathmatique
dtaill de ces objets particuliers est hors de porte de cet ouvrage, alors nous nous
restreignons cette dfinition vague d'une brane. Il est noter qu'il est possible de reproduire
le zoo de particules du Modle Standard en analysant la structure sous-jacente un groupe
de plusieurs Dp-branes qui se croisent.
18
4.-Cordes classiques

4.1-Cordes newtoniennes
4.2-Corde relativiste et l'action de Nambu-Goto

4.1-Cordes newtoniennes
4.1.1-Concepts de base
4.1.2-Rappel du Lagrangien newtonien d'une particule ponctuelle
4.1.3-Passage au Lagrangien relativiste d'une particule ponctuelle (espace Minkowskien)
4.1.4-Invariance de reparamtrisation et quations de mouvement
4.1.5-Lagrangien non relativiste d'une corde
4.1.6-Prface l'analyse d'une corde relativiste : l'aire d'une surface

4.1.1-Concepts de base

Voici une analyse sommaire du comportement d'une corde en physique non relativiste. Une
corde newtonienne est dcrite par deux paramtres, la tension et la densit linaire .
Considrons une corde voluant en 2 dimensions spatiales (coordonnes x et y ) dont les bouts
sont x = 0 et x = a . Nous remarquons que a les units de force, i.e. d'nergie par unit de
longueur. Cela signifie que a les units de multipli par une vitesse au carr. Il est donc
possible en mcanique relativiste d'tablir l'quivalence suivante :
(4.1.1)
la vitesse de la lumire c tant le seul facteur ayant une dimension de vitesse tant invariant de
Lorentz. Une thorie des cordes classique relativiste permet donc d'liminer le paramtre de
densit linaire en vertu de l'quivalence entre la masse et l'nergie. Nous verrons en effet que
les cordes dcrivent en fait des particules et que l'nergie de chaque mode de vibration
possible de ces cordes permet de dterminer la masse de ces particules. Nous entrevoyons
ainsi une raison pourquoi la thorie des cordes puisse tre si attirante aux yeux des
physiciens : elle ne possde qu'un seul paramtre fix par les donnes exprimentales, alors
19
que la thorie du Modle Standard en possde plus de vingt (ce qui est nanmoins toujours
mieux qu'une thorie non renormalisable possdant une infinit de paramtres!).
Nous assumons que l'amplitude des oscillations transverses est petite, c'est--dire que la
longueur de la corde reste statique. Nous ne considrons pas les oscillations longitudinales car
elles sont absentes d'une thorie de cordes classiques relativiste.


Fig. 4.1.1 lment diffrentiel d'une corde newtonienne.
Ce schma reprsente une section de corde. La dcomposition de la force de tension sur une
portion infinitsimale de cette corde est illustre en rouge. La force verticale sur une telle
section de corde est donc (compte tenu de l'approximation des petites oscillations) :
(4.1.2)
La relation F = ma nous permet de retrouver l'quation d'onde classique :
(4.1.3)
tant la vitesse de phase des ondes. Cette vitesse augmente donc avec la tension de la corde
et diminue avec son inertie.
Les conditions aux limites ncessaires pour dterminer compltement une solution
particulire de (4.1.3) sont les conditions de Dirichlet pour les cordes fixes et les conditions de
Neumann pour les cordes libres :
; conditions aux limites de Dirichlet (4.1.4)
; conditions aux limites de Neumann (4.1.5)
20
Dans le cadre de la thorie des cordes relativistes plus de D = 3 dimensions, il est possible
de gnraliser le concept de conditions aux limites en considrant les contraintes dans l'espace
comme des hypersurfaces nommes Dp-branes p dimensions. Les conditions aux limites de
Dirichlet usuelles correspondent alors la situation o les bouts d'une corde sont contraints
par une D0-brane. La condition de Neumann pour une corde libre dans Q dimensions
correspond une corde contrainte sur une DQ-brane.

Figure 4.1.2 : Concept de Dp-brane en dimension 0,1,2 et 3
La solution gnrale de (4.1.3) est donne par la superposition de deux ondes voyageant dans
les deux sens possibles d'une corde unidimensionnelle :
(4.1.6)
Il est toujours possible de dcomposer ces fonctions comme une combinaison de modes
normaux sinusodaux (avec une transformation de Fourier, en d'autres termes). Nous
remarquerons par la suite que la description des ondes voyageant sur une corde relativiste
quantifie (corde dite bosonique) est similaire (4.1.6).

4.1.2 Rappel du Lagrangien newtonien d'une particule ponctuelle

Pour simplifier la situation, considrons tout d'abord la fonctionnelle d'action d'une particule
ponctuelle non relativiste.
(4.1.7)
L tant le Lagrangien non relativiste (ayant des units d'nergie). La trajectoire physique de la
particule est dfinie comme la trajectoire qui extrmise l'action. Nous nous rappelons de la
21
dfinition d'un extremum d'une fonction f(x) : sa premire drive est nulle, c'est--dire que
pour une variation x+dx , la fonction est stationnaire au premier ordre, f(x+dx) = f(x) +
f'(x)dx + . Revenons maintenant la fonctionnelle d'action. Nous considrons les
variations de la trajectoire pour le cas o la position initiale et finale de la particule reste
statique. On a donc :
(4.1.8)
Nous avons donc une expression pour la variation au premier ordre de la fonctionnelle
d'action, qui est en fait l'lment diffrentiel correspondant une drive variationnelle (notre
premire introduction au calcul de variations!). Nous pouvons simplifier cette expression en
employant l'intgration par parties :
(4.1.9)
les termes l'extrieur de l'intgrale disparaissant puisque la position initiale et finale de la
particule ne varie pas. L'on obtient donc la seconde loi de Newton :
(4.1.10)

4.1.3 Passage au Lagrangien relativiste d'une particule ponctuelle (espace Minkowskien )
Considrons maintenant le cas d'une particule libre relativiste de masse m voluant dans un
espace plat (i.e. Minkowskien). La condition qu'on pose pour une fonctionnelle d'action
relativiste est qu'elle doit tre un scalaire de Lorentz, i.e. elle doit tre invariante sous une
transformation SO(1,3) de Lorentz. Remarquons que l'invariance de l'action n'est pas
ncessairement requise. Par exemple, pour l'action (4.1.7), un changement de rfrentiel
galilen ne prserve pas la valeur de l'action. Les quations de mouvement sont cependant
inchanges, et c'est cette condition qui est ncessaire (un changement de rfrentiel galilen
est donc une symtrie de la thorie newtonienne sous-jacente (4.1.7)). Nous verrons
cependant que pour le cas relativiste, il est tout fait possible de trouver une action invariante
de Lorentz, impliquant du mme coup que ses quations de mouvement le sont aussi. Nous
notons que la quantit ds (l'intervalle relativiste) est un scalaire de Lorentz. Postulons alors
que l'action prend la forme :
(4.1.11)
22
m et c tant introduits dans l'expression pour que S ait les dimensions d'nergie multiplie par
le temps. Vrifions que cette action est correcte. l'aide de (2.1.2) et pour l'approximation
des basses vitesses ( v << c ), nous obtenons :
(4.1.12)
Le terme est une constante, et donc les quations de mouvement n'en dpendent pas.
Nous avons donc obtenu le Lagrangien newtonien d'une particule libre. Nous rappelons que le
moment canonique d'une variable q prsente dans le Lagrangien est :
(4.1.13)
L'emploi de cette expression dans le cas de q tant la position spatiale de la particule nous
permet d'en dduire l'expression familire de son l'impulsion spatiale :
(4.1.14)
L'Hamiltonien est simplement quivalente l'nergie relativiste :
(4.1.15)

4.1.4 Invariance de reparamtrisation et quations de mouvement
Nous pouvons maintenant introduire le concept d'invariance de reparamtrisation d'une
particule relativiste. Nous paramtrisons la ligne d'univers de notre particule en exprimant ses
coordonnes spatio-temporelles en fonction d'un paramtre t. Nous n'avons besoin que d'un
paramtre car la ligne d'univers est unidimensionnelle. Donc :
(4.1.16)
L'intervalle relativiste peut tre exprime en fonction de ce paramtre :
23
(4.1.17)
Nous substituons cette expression dans notre action relativiste. Nous pouvons alors vrifier
l'invariance de reparamtrisation en paramtrisant la ligne d'univers de notre particule avec t'.
La relation entre t et t' nous permet (par diffrentiation en chane) de vrifier que :
(4.1.18)
Nous observons donc que la correspondance entre les actions pour diffrents paramtres est
triviale. Notre action est donc explicitement invariante sous reparamtrisation. Notons que le
terme explicitement sera employ pour dsigner toute invariance qui est manifeste au sein
d'une thorie quelconque.
Les quations de mouvement sont dduites partir du fait que la drive variationnelle de
l'action doit tre nulle. L'algbre requise pour dduire ces quations est similaire celle pour
une particule classique. La variation est donne par :
(4.1.19)
Employant les relations suivantes :
; ? ? tant symtrique (4.1.20)
; l'oprateur d tant linaire (4.1.21)
; tant la quadri-vitesse de la particule
et sa quadri-impulsion (4.1.22)
Nous obtenons aprs calculs :
(4.1.23)

c'est--dire que impulsion de la particule reste constante sur toute la ligne d'univers.
24
Nous venons donc d'analyser le formalisme de Lagrange pour une particule libre relativiste. Il
est toujours possible d'introduire des termes reprsentant des interactions avec un champ
classique en insrant le potentiel correspondant ce champ. Pour le champ
lectromagntique, le terme supplmentaire correspond simplement au potentiel de jauge ,
qui est la forme covariante du potentiel vecteur quadridimensionnel (2.3.1) :
(4.1.24)

4.1.5 Lagrangien non relativiste d'une corde
Nous allons maintenant appliquer le formalisme de Lagrange notre corde non relativiste.
C'est en fait un prtexte pour introduire le concept de densit lagrangienne. Nous revenons
notre corde newtonienne. L'nergie cintique totale de la corde est :
(4.1.25)

L'nergie potentielle est dtermine en sachant que le travail effectu est gal , o :
(4.1.26)
Le Lagrangien est donc :
(4.1.27)
o est la densit lagrangienne .
L'action est donc :
(4.1.28)
La variation de l'action produit l'quation de mouvement :
(4.1.29)
25
o :
(4.1.30)
o y' est la drive partielle de y par rapport x . Remarquons que correspond la densit
d'impulsion de la corde, et est la densit du moment conjugu de la vitesse . Nous
remarquons aussi que les conditions aux limites de Dirichlet et de Neumann pour une corde
ouverte peuvent tre exprimes en termes de et :
; conditions aux limites de Dirichlet (4.1.31)
conditions aux limites de Neumann (4.1.32)
Les conditions aux limites pour une corde relativiste sont exactement dfinies comme ces
deux dernires quations.

4.1.6 Prface l'analyse d'une corde relativiste : l'aire d'une surface
Une corde est un objet une dimension, et donc trace une surface d'univers dans le
diagramme de Minkowski (versus une ligne d'univers pour une particule).

Fig. 4.1.1 : surface d'univers pour une corde ouverte ( gauche) et une corde ferme ( droite)
Les coordonnes d'une surface peuvent tre dcrites en termes de deux paramtres (versus un
seul paramtre pour une ligne). Considrons tout d'abord une surface purement spatiale. La
surface peut tre dcrite ainsi :
(4.1.33)
26
Procdons au calcul de l'lment infinitsimal d'aire de la surface spatiale dA correspondant
la surface dans l'espace des paramtres. Considrons les vecteurs infinitsimaux de la
surface spatiale correspondant aux diffrentielles de l'espace des paramtres :
(4.1.34)

Figure 4.1.1 : Vecteurs tangents la feuille univers de la surface spatiale
L'aire dA cherche est donc :
(4.1.35)
La fonctionnelle d'aire A est simplement l'intgrale de (4.1.35) dans l'espace des paramtres.
L'invariance de reparamtrisation de cette fonctionnelle peut tre vrifie comme la sous-
section 4.1.4 (en employant maintes reprises la drivation en chane). Pour terminer cette
section, introduisons une matrice spciale appele mtrique induite sur la surface spatiale :
(4.1.36)
Cette matrice est appele mtrique car elle permet de mesurer les distances sur la surface
spatiale :
(4.1.37)
Soit g le dterminant de la matrice g ij . La fonctionnelle d'aire de notre surface peut tre
exprime comme ceci :
27
(4.1.38)

4.2-Corde relativiste et l'action de Nambu-Goto
4.2.1-Corde relativiste et l'action de Nambu-Goto
4.2.2-Paramtrisation statique
4.2.3-quations de mouvement d'une corde relativiste
4.2.4-Courants sur la surface d'univers et symtries d'un systme physique
4.2.5-Corde relativiste ouverte en rotation : trajectoires de Regge et le paramtre de pente

4.2.1 Corde relativiste et l'action de Nambu-Goto

Dans le cas d'une surface d'univers les paramtres sont par convention t et s, o et
, et les coordonnes de cette surface qui correspondent l'espace des paramtres
sont . Le paramtre t peut tre considr comme une variable dcrivant l'coulement
du temps, et s une variable dcrivant l'extension dans l'espace d'une corde (i.e. la condition
correspond la longueur finie de cette corde). Cela ne veut point dire que la courbe
sur la surface d'univers correspondant une valeur fixe quelconque de s doit ncessairement
tre dcrite par un intervalle de type temps (i.e. l'intrieur de son cne de lumire). Il est en
effet impossible en gnral de dcrire la forme exacte d'une corde partir des paramtres, car
c'est une consquence de l'invariance de reparamtrisation de son action, qui s'avre tre
similaire la fonctionnelle (4.1.38). En fait, il est impossible en gnral de dcrire la forme de
la corde, car pour ce faire il faut fixer un observateur dans un rfrentiel de Lorentz
quelconque, pour qui la forme de la corde correspond la courbe sur la surface d'univers pour
t constant. La forme de la corde varie obligatoirement pour un observateur dans un autre
rfrentiel, puisque la simultanit de deux vnements n'est pas un invariant de Lorentz.
Notons une condition essentielle de la surface d'univers concernant les deux bouts d'une corde
ouverte :
(4.2.1)
i.e. le temps doit pouvoir s'couler. La dtermination de l'lment d'aire sur la surface
d'univers correspondant l'lment d'aire dans l'espace des paramtres est similaire (4.1.35),
sauf pour le signe de l'expression dans la racine carre, comme c'est le traitement d'une
28
surface dans l'espace-temps et que le produit scalaire est celle dfinie au chapitre 2 (le but est
de s'assurer que l'aire propre de notre surface est relle). Dfinissons :
(4.2.2)
L'lment d'aire est donc :
(4.2.3)
Nous nous rappelons que l'action relativiste d'une particule fait intervenir l'intervalle (distance
dans l'espace-temps) ds . Nous anticipons donc que l'action relativiste d'une corde fait
intervenir dA . La forme exacte de cette action est dtermine par l'analyse dimensionnelle, o
l'on considre que le paramtre t a les units de temps et s celles d'espace. Nous obtenons
donc :
(4.2.4)
qui est appel action de Nambu-Goto . Nous avons encore une fois introduit la notion de
densit lagrangienne. La notation peut encore une fois tre simplifie en dfinissant la
mtrique induite dans le cas d'une surface d'univers. Soit et :
; c'est la mtrique induite (4.2.5)
L'action de Nambu-Goto devient alors :
; (4.2.6)
La dtermination des quations de mouvement implique que la variation de l'action au
premier ordre est nulle. En procdant comme avant, nous trouvons :
(4.2.7)
o les moments longitudinaux et transverses sont respectivement :
; (4.2.8)
29

Figure 4.1.2 : Densits d'impulsion sur la surface d'une corde ouverte
Nous trouvons aprs manipulations qu'ils sont lis par la relation :
(4.2.9)
qui est similaire l'quation (4.1.29). Notons cependant que cette quation est difficile
rsoudre, vu les expressions (4.2.8), qui sont plutt lourdes. Le choix d'une paramtrisation
peut nanmoins simplifier la tche.
Pour terminer cette section, dfinissons les conditions de Dirichlet et de Neumann pour une
corde relativiste :
Commenons par la condition aux limites de Dirichlet :
; (4.2.10)
;
Notons que la composante 0 (temps) doit obligatoirement tre une condition de Neumann, car
cela implique que le temps s'coule lorsque t varie. Voici maintenant les conditions aux
limites de Neumann pour une corde compltement libre :
; conditions aux limites de Neumann (4.2.11)
Rien ne nous empche d'appliquer les conditions aux limites de Dirichlet pour une
composante spatiale, et les conditions de Neumann pour une autre composante spatiale. Cela
correspondrait simplement une corde limite par des Dp-branes de dimension infrieure la
30
dimension de l'univers. Il est mme possible d'appliquer les conditions aux limites
correspondant une corde dont les bouts sont limits par deux Dp-branes de dimensions
diffrentes.
4.2.2 Paramtrisation statique
Il est possible de choisir la paramtrisation suivante, aprs avoir fix un rfrentiel de Lorentz
quelconque :
(4.2.12)
Cela dfinit la paramtrisation statique. Le choix de s reste pour l'instant arbitraire; pour une
corde ouverte, nous avons
(4.2.13)
et pour une corde ferme, nous avons :
(4.2.14)
Cette paramtrisation simplifie les calculs car elle spare les coordonnes d'espace et de
temps. Cela nous permet de vrifier plusieurs proprits intressantes de la corde relativiste.
Par exemple, considrons dans cette jauge une corde fixe dans l'espace de longueur a .
Indpendamment du choix de s, notre action de Nambu-Goto se rduit :
(4.2.15)
puisque l'nergie cintique de la corde est nulle. Nous voyons donc que l'augmentation de la
tension d'une corde correspond un travail, qui augmente donc l'nergie interne de la corde.
En vertu de l'quivalence entre la masse et l'nergie, nous justifions donc l'quation (4.1.1)
introduite prcdemment (i.e. la corde n'est dcrite que par un paramtre ajustable qui est la
tension).
Un autre exemple : il n'est gnralement pas possible de dfinir une vitesse correspondant
toute valeur de s puisque ce paramtre est un choix arbitraire ( sauf pour les bouts de la corde
qui sont similaires des particules ponctuelles sans masse). Cependant, il est possible dans
cette jauge de dfinir une vitesse transversale pour chaque point de la corde. Cette vitesse est
perpendiculaire en tous points la corde :
(4.2.16)
31
Le Lagrangien de la corde peut alors tre exprim ainsi :
(4.2.17)
qui est donc similaire au Lagrangien d'une particule relativiste. L'lment diffrentiel de
l'nergie totale d'une corde devient de la mme faon similaire l'nergie totale d'une
particule relativiste :
(4.2.18)
Un dernier exemple : il est possible dans cette jauge de calculer les proprits des bouts d'une
corde ouverte libre (i.e. avec les conditions aux limites de Neumann (4.1.32)). L'expression de
aux bouts est simplifie avec les relations (4.2.16), et l'on obtient comme conditions
finales :
(4.2.19)
Cela confirme le fait que les bouts de la corde peuvent tre assimils des particules
ponctuelles sans masse, ils voyagent alors la vitesse de la lumire transversalement la
corde. C'est normal puisque la tension aux bouts de la corde est nulle, et la tension est
l'analogue de la masse pour notre corde relativiste.

4.2.3 quations de mouvement d'une corde relativiste
Il est possible de simplifier les calculs en reparamtrisant s de sorte que chaque segment
correspondant ds ait le mme contenu d'nergie, i.e. :
(4.2.20)
Pour une corde relativiste ouverte, nous avons donc :
(4.2.21)
L'quation de mouvement de la corde devient alors :
32
(4.2.22)
qui est simplement l'quation d'onde classique! La solution de cette quation ressemble
donc l'quation (4.1.6) (nous allons changer la variable par souci de simplicit) :
(4.2.23)
o est la position du bout de la corde s = 0 au temps u/c . Les densits de moments
canoniques deviennent alors :
(4.2.24)

4.2.4 Courants sur la surface d'univers et symtries d'un systme physique
Voici un rappel de la notion de conservation du quadri-courant pour l'interaction
lectromagntique D dimensions :
(4.2.25)
La densit de charge est la composante 0 de ce quadri-courant. Cette loi de conservation
implique donc qu'un changement de la charge lectrique dans un volume donn correspond au
flux de charge (i.e. composantes o i > 0) traversant la surface dlimitant ce volume. Pour
un volume infini, cette charge ne varie pas. En d'autres termes, la formule (4.2.25) implique la
conservation de charge tel qu'on l'entend habituellement.
Soit un Lagrangien d'une particule . Il est possible de dmontrer que si le
Lagrangien est invariant sous la transformation suivante :
(4.2.26)
o e est un nombre infinitsimal, alors nous pouvons dfinir une charge :
(4.2.27)
qui est conserve :
33
(4.2.28)
La preuve de cet argument consiste simplement employer la dfinition (4.2.27) dans la loi
de conservation (4.2.28), et dmontrer que l'quation rsultante est quivalente aux
quations de mouvement de la coordonne q (aussi appeles quations d'Euler-Lagrange). Un
calcul simple pour q tant la coordonne de position d'une particule newtonienne nous permet
de calculer la charge conserve pour la symtrie correspondante q, i.e. une symtrie de
translation. Cette charge s'avre simplement tre l'impulsion de la particule. Notons qu'en
thorie des champs quantiques, une symtrie quelconque du systme est aussi lie un
courant du systme dans le sens que ce courant devient le gnrateur de la transformation de
symtrie.
Dans le cas d'une corde, nous devons considrer une densit lagrangienne. Dans ce cas, la
quantit conserve correspondant une symtrie du systme est un courant (et non une
charge). Le principe est similaire celui d'une particule. L'on pose l'expression pour l'action :
(4.2.29)
Soit une transformation qui laisse invariante la densit lagrangienne :
(4.2.30)
Notons que est un groupe de nombres infinitsimaux. L'indice i est employ pour dsigner
les paramtres de la transformation de symtrie, l'indice a dsigne les coordonnes du champ
et l'indice a dsigne les coordonnes des vecteurs dans l'espace-temps. Un courant est dfini
comme :
(4.2.31)
et est conserv :
(4.2.32)
Ce que nous venons de voir est simplement une reformulation du thorme bien connu de
Noether.
Considrons maintenant notre corde relativiste dcrite par l'action de Nambu-Goto. Nous
allons expliciter deux des symtries de ce systme. Posons tout d'abord :
(4.2.33)
34
La transformation correspondante une translation :
(4.2.34)
laisse la densit lagrangienne invariante, simplement parce que celle-ci ne dpend que des
drives partielles de , i.e. :
(4.2.35)
Les courants correspondant cette symtrie sont alors :
(4.2.36)
C'est--dire que ce sont les densits d'impulsion dfinies prcdemment. Le rsultat est en fait
trs intuitif, car l'impulsion en mcanique newtonienne est la quantit conserve
correspondante une translation spatiale (idem en mcanique quantique, comme nous le
verrons bientt). Nous pouvons dfinir la charge correspondant ces courants :
(4.2.37)
Un calcul simple avec les conditions de Neumann pour une corde montre que :
(4.2.38)
i.e. une corde libre ouverte (ou une corde ferme) possde une quadri-impulsion globale
(charge) qui est conserve en tout temps. Cette condition n'est pas ncessairement valide pour
une condition de Dirichlet, et c'est la raison pourquoi les physiciens ayant originellement
dvelopp la thorie n'ont considr pendant un temps que les conditions de Neumann.
L'introduction des Dp-branes comme objets part entire a chang la situation, car il peut y
avoir un transfert d'impulsion de la corde la Dp-brane .
Considrons maintenant une autre symtrie de notre action de Nambu-Goto, qui est la
symtrie sous transformation de Lorentz. Nous savons dj par construction que cette action
est invariante sous cette transformation. Notons que cette symtrie est trs importante, car
nous devrons nous assurer lors du passage une thorie quantique que cette symtrie (autant
que la symtrie par translation) est conserve. En fait, une jauge importante de la thorie des
cordes s'avre tre celle correspondante au systme de coordonnes light-cone . Cette
jauge est particulire car elle permet d'liminer plusieurs problmes concernant la
quantification d'une corde relativiste, notamment l'mergence d'tats de norme ngative dits
fantmes . Elle n'est cependant pas explicitement invariante sous une transformation de
Lorentz, et donc l'analyse des gnrateurs de la symtrie de Lorentz pour cette jauge est
ncessaire. En fait, elle fixe mme la dimensionnalit requise de l'espace-temps 26
35
dimensions pour la thorie des corde dites bosoniques , et 10 dimensions pour les thories
de supercordes. Il y a en fait trois faons usites de quantifier une corde dite bosonique :
l'une est la quantification dans la jauge light-cone , comme discut prcdemment; une
autre est la quantification de Glupta-Bleuler , qui est celle que nous employons dans le cadre
de cet expos, et qui est explicitement invariant de Lorentz (sous la forme de l'action dite de
Polyakov ); puis enfin nous avons la quantification BRST, qui combine les avantages des
deux mthodes de quantification prcdentes, mais qui est mathmatiquement plus difficile
traiter (elle introduit des tats dits friendly ghosts de Fadeev-Popov pour annuler les tats
de norme ngative indsirables apparaissant lors de la quantification).
Il ne nous reste plus qu' trouver les charges (et donc aussi les courants) correspondant cette
symtrie. La forme d'une transformation de Lorentz est :
(4.2.39)
o est une matrice antisymtrique. La raison est qu'une matrice peut toujours tre
dcompose comme la somme d'une partie symtrique et d'une partie antisymtrique. Comme
l'invariance de Lorentz implique que :
(4.2.40)
seule la partie symtrique de cette matrice peut contribuer cette expression (la partie
antisymtrique cre des quations de signes opposs sous permutation d'indices et ),.
Cela implique donc que la partie symtrique de est nulle.
Les courants correspondant cette symtrie sont encore une fois :
(4.2.41)
Donc sont des courants dont la conservation dcoule de la symtrie de Lorentz. Les
charges correspondant ces courants sont :
(4.2.42)
ce qui est simplement une gnralisation du moment angulaire pour un espace Minkowskien
4 dimensions! Cela correspond l'intuition puisque le groupe de Lorentz est le groupe
SO(1,3) tant une extension du groupe de rotation spatiale 3D SO(3) dont la symtrie
correspond au moment angulaire spatial. Comme la matrice M est explicitement
antisymtrique, il y a donc 6 termes indpendants pour un espace-temps 4 dimensions. La
correspondance entre M et le moment angulaire spatial est :
36
(4.2.43)
Note que la formule pour est une double somme sur les indices j et k , et que la matrice
est le symbole totalement antisymtrique de Levi-Civita. Le facteur provient du fait que la
matrice M est antisymtrique, et que la double somme unit chaque terme dans M avec sa
composante antisymtrique correspondante.

4.2.5 Corde relativiste ouverte en rotation : trajectoires de Regge et le paramtre de pente
Considrons une corde ouverte en rotation sur elle-mme, dont le centre est immobile dans
notre rfrentiel de Lorentz.

Fig. 4.2.1 : Surface d'univers d'une corde ouverte en rotation.
Avec un peu d'algbre, on peut vrifier que la formule suivante reprsente bien l'volution de
la corde dans l'espace-temps, et ce pour la paramtrisation donne par (4.2.12) et (4.2.20) :
(4.2.44)
L'expression de la seule composante non nulle du moment angulaire, , est donc :
37
(4.2.45)
Dfinissons le paramtre de pente :
(4.2.46)
C'est la constante de proportionnalit entre l'nergie totale au carr de la corde et son moment
angulaire. Cette relation particulire dfinit les trajectoires affines de Regge , qui ont t
employes originellement pour caractriser la relation entre E et J (dans le domaine des hautes
nergies) caractristiques des hadrons. Le tableau suivant illustre bien cette situation :

Tableau 4.2.2 : Proprits des tats excits du multiplet ?..
En effet, la thorie semi-classique des cordes a originellement t suggre pour modliser de
faon phnomnologique le confinement des hadrons, et donc aussi pour expliquer le fait
qu'aucun quark ne peut tre observ en solitaire. Cette thorie affirme par exemple qu'un
mson typique (paire quark-antiquark) serait en fait une corde dont les bouts seraient des
quarks. Nous savons qu'une tentative pour sparer ces deux quarks rsulterait d'une dpense
nergtique assez grande pour crer une paire quark-antiquark. Le modle des cordes
hadroniques suggrerait donc que la dpense nergtique requise pour loigner ces deux
quarks correspondrait l'nergie requise pour tirer la corde.
L'ironie de l'histoire est que la thorie des cordes originellement mise en application dans le
cadre du confinement des hadrons est tombe en dsutude pendant deux dcennies aprs
l'avnement de la thorie QCD (chromodynamique quantique), principalement parce que
quelques particules prdites par ce modle ne correspondaient pas ce qui tait observ des
hadrons. Par exemple, la thorie prdisait l'mergence de particules de spin 2 et de masse
nulle (qui nous savons bien correspondent aux gravitons). Qui pouvait s'attendre l'poque
que cette thorie deviendrait non seulement une candidate pour expliquer la QCD (les quarks
tant aussi des cordes), mais pourrait aussi tre une thorie de tout !



38
5.-Champs classiques

5.1-Champ scalaire classique (spin 0)
5.2-Quantification du champ scalaire (spin 0)
5.3-Champ lectromagntique (spin 1)
5.4-Champ gravitationnel (spin 2)

5.1-Champ scalaire classique (spin 0)
Nous allons considrer trois types de champs classiques qui se retrouveront naturellement
dans la thorie des cordes dites bosoniques : les champs scalaires (spin 0),
lectromagntiques (spin 1) et gravitationnels (spin 2). Notons qu' partir d'ici nous allons
employer les units naturelles par souci de simplicit ( c = 1, = 1)
Un champ scalaire est une fonction relle dans l'espace-temps, et est donc un scalaire
invariant de Lorentz sous un changement de rfrentiel relativiste. Construisons son principe
d'action : nous commenons par identifier la densit d'nergie cintique comme ceci :
(5.1.1)
par analogie avec l'nergie cintique d'une particule. La notation , nous le rappelons, est une
notation simplifie pour la drive partielle : . De la mme faon, nous pouvons
par analogie construire une forme de densit de potentiel simple pour notre champ : la forme
d'un oscillateur harmonique. En effet, n'importe quel potentiel ayant un point d'quilibre peut
tre approxim par un dveloppement en srie, qui est au premier ordre un oscillateur
harmonique :
(5.1.2)
o m a les units de masse. En fait, la majorit de la littrature concernant la thorie des
champs ne spcifie pas cette forme particulirement simple du potentiel, qui correspond en
fait un potentiel sans interactions.
Notons que la combinaison T V n'est pas invariante sous une transformation de Lorentz car
elle inclut une drive par rapport au temps . Nous devons donc inclure un terme contenant les
drives spatiales manquantes :
39
(5.1.3)
o i dnote une somme sur les indices d'espace. La densit lagrangienne (car le champ varie
avec la position, et donc le Lagrangien total est une intgrale de volume spatial de cette
densit) est donc :
(5.1.4)
Le moment conjugu du champ, , est dfini ainsi :
(5.1.5)
La densit de l'Hamiltonien peut alors tre construit :
(5.1.6)
L'nergie totale E est quivalente l'Hamiltonien H , qui est donne par l'intgrale de volume
spatial D dimensions de cette densit.
Pour trouver les quations de mouvement, nous devons encore une fois considrer la variation
de l'action de notre champ scalaire, donne par :
(5.1.7)
Notons que c'est une intgrale de volume spatio-temporel , i.e. elle peut tre spare comme
une intgrale de volume spatial et une intgrale sur la coordonne temps, ce qui correspond
bien la forme de l'action classique telle que dfinie prcdemment.
Les quations de mouvement du champ scalaire sont dduites de la variation = 0 de
l'action (5.1.7). Nous trouvons aprs un peu d'algbre :
(5.1.8)
C'est l'quation de Klein-Gordon . Une solution relle de type onde plane de cette quation
s'avre tre :
(5.1.9)
40
o x et p sont respectivement la coordonne d'espace-temps et la quadri-impulsion, et la
constante a est une constante gnralement complexe. Un calcul rapide nous permet de
raliser que (5.1.8) implique la relation bien connue suivante :
(5.1.10)
La transformation de Fourier de (5.1.9) sur toutes les coordonnes d'espace-temps permet de
passer dans l'espace des impulsions :
(5.1.11)
Les conditions qu'une solution doit satisfaire sont donc :
(5.1.12)
Nous notons donc que la valeur du champ dans l'espace des coordonnes est relle, mais celle
dans l'espace des impulsions ne l'est pas ncessairement. La substitution de (5.1.11) dans
l'quation de Klein-Gordon (5.1.8) permet de trouver la condition que doit satisfaire une
solution dans l'espace des impulsions :
(5.1.13)
Cela veut dire que le champ scalaire est non nul seulement si la condition est
satisfaite. Nous voyons donc qu'une valeur complexe arbitraire de fixe deux valeurs
d'impulsion avec (5.1.13) (en vertu des relations (5.1.12)), i.e. 2 nombres rels arbitraires
fixent deux valeurs d'impulsion, i.e. nous avons un degr de libert en moyenne par tat
d'impulsion p. Cela veut dire que le champ scalaire n'a pas de polarisation . Cette observation
peut tre gnralise dans le cadre quantique. Nous verrons bientt comment un raisonnement
similaire nous permet de trouver (D - 1) degrs de libert par tat d'impulsion p (o D est le
nombre de dimensions spatiales ) pour un champ lectromagntique, i.e. dans l'espace-temps
quadridimensionnel conventionnel un champ lectromagntique peut prendre deux
polarisations indpendantes.
| Retour dbut de section >

5.2-Quantification du champ scalaire (spin 0)
Exprimons l'quation (5.1.9) sous une forme normalise, en sparant la dpendance
temporelle et la dpendance spatiale, et en incluant cette dpendance temporelle dans les
facteurs a qui sont eux-mmes gnraliss en incluant une dpendance temporelle arbitraire :
41
(5.2.1)
V tant le volume d'espace qui renferme le champ. Nous observons donc intuitivement que le
champ doit tre de nature priodique pour satisfaire aux conditions aux limites du volume en
question. Considrons un volume simple pour pouvoir en tirer des conclusions
phnomnologiques : une bote de dimension . La condition de priodicit est
donc :
(5.2.2)
Compte tenu de cette condition, l'action (5.1.7) devient :
(5.2.3)
et l'Hamiltonien devient :
(5.2.4)
Cela dcrit deux oscillateurs harmoniques. Revenons l'quation (5.2.3). La variation de
l'action nous permet d'obtenir :
(5.2.6)
La substitution de cette solution dans l'expression de l'Hamiltonien nous permet d'obtenir :
(5.2.7)
Quant l'expression pour l'impulsion, elle est obtenue aprs une analyse de l'invariance par
translation de l'action classique (5.1.7) :
(5.2.8)
L'emploi de cette formule en conjonction avec l'expression (5.2.1) donne :
(5.2.9)
Nous voyons que les quantits a sont apparentes aux oprateurs de cration et d'annihilation
pour un oscillateur harmonique quantique, i.e. la correspondance suivante est pose :
42
(5.2.10)
Ces oprateurs obissent aux commutateurs suivants :
(5.2.11)

L'oprateur H et celui de l'impulsion spatiale peuvent alors tre exprims en termes des
oprateurs de cration et d'annihilation :
(5.2.12)
Il est possible de gnraliser la version quantique du champ scalaire, qui est alors une
combinaison de la contribution du champ pour toutes les valeurs de :
(5.2.13)
De la mme faon, la gnralisation de l'oprateur H et celui de l'impulsion spatiale est :
(5.2.14)

L'espace des tats est alors construit en appliquant rcursivement les oprateurs de cration ou
d'annihilation. Nous assumons l'existence d'un tat fondamental de l'espace correspondant au
vide dnot , o pour tout p (i.e. il n'est pas possible d'employer l'oprateur
d'annihilation pour crer un tat d'nergie plus bas). La valeur propre de cet tat est alors
. Considrons alors l'tat suivant :
(5.2.15)
Cet tat reprsente simplement une particule de spin 0 d'impulsion et d'nergie (il est
possible de le vrifier directement avec (5.2.12). Considrons maintenant l'tat suivant :
43
(5.2.16)
Cela reprsente un tat de plusieurs particules scalaires. Ce que nous venons d'accomplir est
ce qu'on nomme la seconde quantification d'une thorie de champ classique, qui permet donc
d'obtenir des tats plusieurs particules. L'analyse des interactions est alors effectue en
incluant des termes d'interactions non quadratiques dans l'action du champ classique, puis en
quantifiant ce champ de la mme manire. Le calcul de la matrice S (S pour scattering )
dcrivant les interactions est effectu par une mthode de perturbation qui consiste
additionner les contributions de tous les mcanismes d'interaction intermdiaires qui dcrivent
un mme tat initial et final, contributions qui sont reprsentes par des diagrammes de
Feynman .
Nous verrons que la quantification de la corde relativiste classique ne peut se faire que dans le
cadre de la premire quantification , qui consiste poser une relation de commutation pour
toute quantit q (apparaissant dans l'action classique de Nambu-Goto) avec son moment
conjugu p :
(5.2.17)
o nous notons l'absence de la constante de Planck due notre choix d'units naturelles. La
premire quantification ne permet pas de trouver les tats plusieurs particules de faon
simple. L'analyse des interactions est aussi moins directe que dans le cadre de la seconde
quantification (i.e. QFT, ou quantum field theory ). C'est pourquoi plusieurs physiciens
considrent la thorie des cordes comme incomplte tant qu'une formulation employant la
seconde quantification n'est pas dcouverte.
| Retour dbut de section >

5.3-Champ lectromagntique (spin 1)
Nous nous sommes convaincus prcdemment de l'invariance de jauge du champ
lectromagntique. Nous pouvons procder aux mmes tapes que pour le champ scalaire.
Nous commenons par exprimer le potentiel vecteur dans l'espace des impulsions :
(5.3.1)
Encore une fois, cette quation implique :
(5.3.2)
Nous substituons (5.3.1) dans l'expression des quations de Maxwell gnralises pour D
dimensions spatiales :
44
(5.3.3)
expression introduite au chapitre 3. Nous obtenons l'quation de mouvement suivante :
(5.3.4)
et l'expression de la transformation de jauge telle que dfinie au chapitre 3 est (dans l'espace
des impulsions) :
(5.3.5)
le terme i est intuitivement ncessaire pour que la relation (5.3.2) soit valide.
Il es possible d'analyser le comportement de lquation (5.3.4) pour un choix de
transformation de jauge quelconque. Pour simplifier l'analyse qui vient, nous allons employer
les composantes du potentiel vecteur dans le systme de coordonnes light-cone :
; (5.3.6)
L'expression des transformations de jauge devient alors :
(5.3.7)
Notons qu'il est toujours possible de trouver une jauge o :
(5.3.8)
Cela dfinit donc la jauge light-cone de notre champ lectromagntique, et cela permet de
simplifier l'quation de mouvement (5.3.4) :
(5.3.9)
Nous observons donc qu'il est possible d'isoler la premire composante d'espace light-
cone sans racine carre. C'est un avantage inhrent cette jauge, comme discut auparavant
au chapitre 2. C'est la raison pourquoi l'analyse de la quantification d'une corde relativiste est
simplifie : le comportement de la coordonne d'indice est dcrite comme une combinaison
des oscillations transverses dnotes par l'indice I .
45
Un peu d'algbre avec l'quation (5.3.9) dans l'expression originelle de l'quation de
mouvement dans l'espace des impulsions (5.3.4) donne :
(5.3.10)
Nous voyons que le champ de jauge est non nul seulement si . Dans ce cas, nous avons
l'quivalent de I quations similaires celui du champ scalaire, i.e. nous avons I = (D - 1)
degrs de liberts pour chaque choix de p . Dans le cas de D = 3 dimensions spatiales, nous
avons 2 degrs de libert, degrs de libert correspondant en fait aux deux tats indpendants
de polarisation d'un photon que nous connaissons bien.
Le processus de deuxime quantification pour le champ lectromagntique est tout fait
similaire celui du champ scalaire. L'tat d'un photon d'impulsion (t indiquant tous
les autres composantes de p sauf , qui est dfini comme une nergie, comme nous l'avons
indiqu au chapitre 2) est clairement un tat vectoriel :
(5.3.11)
L'tat dcrivant plusieurs photons est gnralement de la forme suivante (jauge light-
cone ) :
(5.3.12)
o est la matrice fixant un tat de polarisation pour chaque photon. Nous allons bientt
pouvoir admirer l'apparition de cet tat de spin 1 lors de la quantification Gupta-Bleuler de
notre corde classique relativiste.
| Retour dbut de section >

5.4-Champ gravitationnel (spin 2)
Nous avons vu au chapitre 2 comment la mtrique en relativit gnrale peut s'exprimer (dans
le cas des champs faibles) comme un terme de perturbation modifiant la mtrique de
Minkowsky, . L'quation d'Einstein linarise dans le cas d'un tenseur stress-nergie nul,
exprime dans l'espace des impulsions, est :
; (5.4.1)
46
L'quation de transformation de jauge) dans l'espace des impulsions est :
(5.4.2)
Un peu d'algbre montre que la variation de l'action en (5.4.1) est nulle pour une telle
transformation de jauge, qui est pour le cas de la gravitation quivalente l'invariance de
reparamtrisation (c'est une affirmation plutt intuitive puisque la gravitation constitue le
champ qui dtermine le comportement de l'espace-temps).
Nous choisissons encore une fois la jauge light-cone . La mtrique de perturbation est alors
dtermine par :
(5.4.3)
Rappelons-nous que la mtrique de perturbation est un tenseur symtrique d'ordre 2. Encore
une fois, il est possible de dterminer une transformation de jauge de sorte que les termes
contenant un indice + deviennent nuls. Cette condition sera donc notre dfinition de la jauge
light-cone pour le champ gravitationnel (ce qui est analogue au cas du champ
lectromagntique). Sous cette condition, l'quation de mouvement se simplifie de la faon
suivante :
(5.4.4)
Notons que la dmarche pour obtenir ce rsultat est analogue la dmarche vue en dtail pour
le champ lectromagntique. L'quation (5.4.4) implique que le nombre d'tats de polarisation
du champ gravitationnel est gal au nombre de composantes indpendantes dans h IJ . Cela
signifie que nous avons (D - 1)D/2 tats de polarisation pour une valeur choisie de p . La
forme d'un tat constitu de plusieurs gravitons peut tre donc extrapole par analogie avec la
situation prcdente du champ lectromagntique :
(5.4.5)
tant encore une fois la matrice dterminant l'tat de polarisation de chaque graviton.
Les gravitons sont donc des tats tensoriels de rang 2.
Nous avons maintenant complt l'tude de la forme des tats quantiques correspondant un
champ scalaire, un champ de Maxwell, et un champ gravitationnel. Il nous reste plus qu'
quantifier la corde classique relativiste et expliciter l'mergence de tels tats quantiques
scalaires, vectoriels et tensoriels au sein de cette thorie de cordes dite bosonique .
47
6.-Cordes bosoniques
Avant d'entamer le prilleux chemin vers la comprhension des supercordes il convient de
faire l'analyse du modle le plus simple soit le modle des cordes bosoniques. La stratgie que
nous allons suivre afin d'obtenir une thorie unitaire et quantique des cordes bosoniques est la
suivante (nous devons prendre note qu'elle est sensiblement la mme pour les supercordes).
Dans un premier temps nous ferons une analyse classique du comportement des cordes en
prenant comme point de dpart l'action de Nambu-Goto. Ensuite, il conviendra de rappeler les
symtries du systme de faon en expliciter les courants conservs (au sens du thorme de
Noether) et les contraintes auxquels le systme doit se soumettre. En effet, l'avantage de la
thorie des cordes est qu'elle impose des contraintes tellement leves qu'elle limine
plusieurs paramtres libres prsents dans une thorie telle que le Modle Standard.
Finalement, nous dduirons les gnrateurs de ces symtries et l'algbre sous-jacente partir
des quations du mouvement.
Dans un deuxime temps nous procderons la quantification via une vieille approche
covariante. Il s'agit, en fait, d'tudier la quantification de Gupta-Bleuler pour laquelle
l'application de certaines contraintes l'espace des tats permet l'limination des tats dits
fantmes et rendent ainsi la thorie unitaire. Bien sr, il existe plusieurs faons d'effectuer
cette quantification, mais celle de Gupta-Bleuler se rvle plus intuitive pour une premire
approche, et cela principalement d aux similarits avec le modle de l'oscillateur harmonique
quantique. En effet, cette quantification permet une reprsentation simple de l'espace des tats
pour lequel on retrouve les bosons les plus communs soient les gravitons et les photons.

6.1-Analyse classique
6.2-Quantification des cordes de Nambu-Goto

6.1-Analyse classique
6.1.1-Retour sur l'action de Nambu-Goto et l'action de Polyakov
6.1.2-Rappel des symtries de l'action et l'invariance de Weyl
6.1.3-Choix de la jauge et quation du champ
6.1.4-quations de mouvement et dcomposition modale
6.1.5-Algbre de Virasoro

6.1.1-Retour sur l'action de Nambu-Goto et l'action de Polyakov

48
Dans les sections prcdentes nous avons vu que la feuille univers de la corde pouvait tre
paramtrise l'aide du couple de coordonnes et que le vecteur (avec
tant le nombre de dimensions de la corde) reprsentait l'volution de la
forme de la corde dans l'espace-temps.

Figure 6.1.1 : Paramtrisation des cordes (ouvertes et fermes)
Le fait que, contrairement une particule ponctuelle, une corde se trouve tre un objet
tendu dans le continuum espace-temps, il existe une mtrique induite sur la feuille univers de
la corde qui est donne par la simple contraction des vecteurs tangents cette dernire :
; a, b = 0, 1 (6.1.1)
o dsigne la mtrique plate D dimensions de l'espace dans lequel la corde est plonge.
partir de cette mtrique induite, nous avons vu qu'un lment d'aire infinitsimal sur la
feuille univers peut s'crire comme suit : . Ainsi, par analogie avec
la dynamique des particules classiques, on crit la fonctionnelle d'action suivante :
(6.1.2)
L'action de Nambu-Goto implique rend compte seulement des degrs de libert bosoniques,
d'o l'appellation thorie de corde bosonique. Le terme T est la tension dans la corde, et il se
dfinit comme suit :
tonnes (6.1.3)
((en unit de masse) d'aprs les physiciens)
Cette action est particulirement importante pour le reste de l'analyse tant classique que
quantique : elle possde trois types de symtries que nous allons exploiter. Par contre sous
49
cette forme, cette action pose de srieux problmes lorsque viendra le temps d'effectuer la
quantification car elle n'est pas quadratiques en ses champs. On peut rgler ce problme en
utilisant une autre forme de l'action qui se construit par l'introduction d'un champ auxiliaire :
sans degr de libert, se trouvant tre proportionnel au tenseur mtrique de la
surface bidimensionnelle de la feuille univers de la corde. Si , on crit alors
l'action de Polyakov :
(6.1.4)
Cette action est quivalente celle de Nambu-Goto et en fait permet de faciliter l'analyse des
symtries.

6.1.2-Rappel des symtries de l'action et l'invariance de Weyl

La premire symtrie que l'on observe est directement lie au fait que l'on a choisi une
mtrique plate pour l'espace temps dans laquelle notre corde est plonge. Il s'agit d'une
symtrie globale de Lorentz-Poincar caractrisant l'espace temps. Formellement on peut
crire la relation suivante savoir que la formulation de action est indpendante du rfrentiel
de l'observateur:
(6.1.5)
o ? est une matrice de Lorentz du groupe SO(1,3) et un quadrivecteur quelconque
constant. C'est en fait une symtrie triviale de l'action dcoulant du fait que nous avons crit
cette dernire sous une forme covariante.
La deuxime symtrie observe est probablement celle qui est la plus importante, il s'agit de
l'invariance de l'action sous la reparamtrisation de la feuille univers de la corde car l'invariant
considr dans la formulation de l'action se trouve tre l'aire de la feuille univers et il va de
soit que l'aire d'une surface est indpendante de la faon dont elle paramtre. De faon
formelle on crit ces invariants en terme de changement dans les champs que produit une
reparamtrisation. On a alors :
(6.1.6)
avec , un champ vectoriel deux dimensions correspondant nos nouvelles
coordonnes. Cette symtrie est une symtrie de jauge locale sur la feuille univers et s'avrera
par la suite d'une grande utilit.
50
Une troisime symtrie vient s'ajouter aux deux autres, il s'agit de l'invariance de Weyl, qui se
traduit par une capacit de pouvoir localement rchelonner la mtrique introduite dans
l'action de Polyakov. On peut crire alors :
(6.1.7)
pour une fonction arbitraire .
Ces trois dernires symtries de l'action nous permettent d'obtenir simplement les solutions
aux quations du mouvement de la corde (dans les cas ouverte et ferme) et d'expliciter
l'algbre sous jacente cette dynamique. Cela ouvrira la voie la quantification.

6.1.3-Choix de la jauge et quation du champ

Nous allons maintenant obtenir les quations du mouvement pour une corde en termes de
coordonnes d'oscillateurs. En observant l'action de Polyakov de plus prs on remarque qu'on
peut l'interprter comme une thorie de champ en deux dimensions ou l'on retrouve D champs
de matire bosoniques coupls la gravit. Puisque nous avons choisi une mtrique
plate, le tenseur stress-nergie en deux dimensions associ la corde doit s'annuler dans les
quations du mouvement. On introduit alors ce tenseur stress-nergie bidimensionnel l'aide
de la drive variationnelle de l'action par rapport la mtrique :
(6.1.8)
consquemment l'invariance de Weyl et l'invariance sous
reparamtrisation. Il s'agit ici d'une contrainte impose au tenseur de stress nergie et nous
devrons en tenir compte lors de la rsolution des quations du mouvement. Cette contrainte
est une symtrie conforme du systme : elle annihile les tats physiques. En rinsrant
cette contrainte dans l'action peut liminer la mtrique induite de la feuille univers dans celle-
ci et retomber alors sur l'action de Nambu-Goto. Gardons l'esprit cette contrainte et
procdons maintenant au choix de la jauge.
L'analyse de la dynamique des cordes qui va suivre se fait grce un choix convenable de
notre jauge. Rappelons que nous avons trois symtries de jauge (deux de reparamtrisation et
une d'invariance d'chelle de Weyl). On remarque galement que la mtrique
bidimensionnelle est elle aussi spcifie par trois fonctions indpendantes puisqu'il s'agit
d'une matrice symtrique . On choisi alors les trois lments indpendants de tel
que :
51
(6.1.9)
On appelle ce choix de jauge une jauge conforme et le facteur exponentielle est un facteur
conforme. En faisant ce choix particulier, on simplifie la forme de notre action et les
quations d'Euler-Lagrange, qui en dcoule, lorsqu'on fait varier la fonctionnelle action
prennent alors la forme d'une quation d'onde deux dimensions :
(6.1.10)
qui admet des solutions de la forme : avec
(coordonnes du cne de lumire). Dans ces coordonnes, on exprime alors les contraintes sur
le tenseur de stress nergie comme suit (ce rsultat sera utile par la suite):
;
(6.1.11)
En fait, la conservation de l'nergie et des moments qui s'crivent simplement
implique qu'il existe une infinit de quantits conserves qui en fait se retrouvent dans
l'quation prcdente en tant que les drivs au carr des modes droits et gauches par rapport
au paramtre de temps. Cependant, cette proprit de la jauge conforme n'merge que lorsque
qu'on a deux dimensions de l'espace-temps.

6.1.4-quations de mouvement et dcomposition modale

Revenons alors la solution obtenue, nous remarquerons que cette dernire est exprime
comme une somme de deux champs dcrivant les modes allant vers la droites (D) et la
gauches (G) de la corde. Les expressions plus techniques pour dsigner les directions
gauche et droite sont respectivement holomorphique et antiholomorphique. partir de ce
stade nous devons alors considrer deux types de solutions correspondant aux cas o la corde
est ouverte ou ferme. Dans chaque cas les conditions aux frontires sont diffrentes. Pour la
corde ouverte, la solution prendra la forme d'une onde stationnaire correspondant aux modes
droites et gauches se rflchissant l'un sur l'autre. Pour la corde ferme la solution
correspondra la superposition des modes droites et gauches voyageant en direction oppose
autour de la corde. Alors si on exprime ces solutions en srie de Fourier on a alors :
-pour la corde ouverte :
52

avec
(6.1.12)
-pour la corde ferme :

;

avec
(6.1.13)

O et sont respectivement le moment total de la corde et la position du centre de
masse. Les termes sont les coefficients de Fourier, on peut les voir comme les
coordonnes d'un oscillateur harmonique. Aussi, pour assurer que la solution est relle on doit
avoir : , . Les modes de ces oscillateurs satisfont les crochets de
Poisson suivant :
(6.1.14)

6.1.5- Algbre de Virasoro

Maintenant attardons nous certaines quantits physique particulires. Nous avons tablie
prcdemment que les contraintes imposes au tenseur nergie-momentum engendraient une
infinit de quantits conserves. Or ces dernires correspondent une symtrie rsiduelle
53
laisse par le choix particulier de notre jauge . Nous nous proposons alors de
trouver les gnrateurs de ces symtries, c'est--dire les vecteurs de base de l'espace de groupe
des transformations conformes. Nous expliciterons la dmarche pour le cas le cas des cordes
fermes (pour les cordes ouvertes, la mthode est similaire). Nous voulons obtenir le
dveloppement en termes de modes de Fourier de nos contraintes . Considrons
l'expression du champ antiholomorphique pour la corde ferme, quation (6.1.12) et
drivons cette expression par rapport , on a alors:
(6.1.15)
o est appele la longueur fondamentale de la corde.
En introduisant cette expression de dans l'quation pour les composantes du tenseur stress
nergie en coordonnes du cne de lumire et rorganisant les produits de sries sous forme
de produits de Cauchy on peut alors crire que :
(6.1.16)
En considrant alors cette srie de Fourier et procdant alors son inversion, on peut valuer
les composantes de Fourier du tenseur moment-nergie par la relation :
(6.1.17)
On obtient un rsultat similaire pour en utilisant . Il s'agit des gnrateurs de symtries;
ces modes sont appels les oprateurs de Virasoro, et ce sont eux qui permettent les
translations ou rotations en ou de la corde. Ils sont en fait des gnrateurs de
transformations conformes sur un cylindre. Certaines relations sont particulirement pratiques
comme celle reliant les modes zro et l'Hamiltonien :
; (6.1.18)
(corde ouverte) (corde ferme)
54
Ce mode fondamentale ainsi que la contrainte permet en outre l'obtention de la masse
au carr de la corde en terme de modes internes de vibration. Ainsi on a que pour une corde
ouverte :

constante (6.1.19)
(6.1.20)
o nous avons utilis le fait que (quation de Klein-Gordon) et avons ignor la
constante qui semble diverger l'infini. Pour conclure sur ce sujet il convient de dire que pour
imposer nos contraintes on doit poser que . Utilisant les crochets de Poisson
donnes prcdemment on peut dmontrer que ces modes satisfont l'algbre de Virasoro
dfini par :
; ; (6.1.21)
Ces formules jouent un rle fondamental dans la thorie des cordes bosoniques classiques et
quantique, elle permettrons par exemple de dterminer la dimension critique pour laquelle la
thorie quantique de cordes bosoniques se veut d'tre unitaire (absence d'tat fantme).


6.2-Quantification des cordes de Nambu-Goto
6.2.1-Construction de l'espace des tats
6.2.2-limination des tats fantmes
6.2.3-Spectre des tats
6.2.4-Interactions entre les cordes

6.2.1-Construction de l'espace des tats

55
Vient maintenant le temps de quantifier la thorie. Bien qu'il existe plusieurs mthodes pour
se faire, dont les plus modernes ont dmontres une grande efficacit cet effet, nous nous
concentrerons sur une vieille approche covariante qui consiste en une description en termes
des coordonnes et l'application de quelques restrictions sur l'espace des tats (les
contraintes de Virasoro). Nous appellerons ce formalisme la quantification de Gupta-Bleuler.
En fait, l'origine cette mthode de quantification ft dveloppe dans le domaine de
l'lectrodynamique. La mthode standard pour passer de la physique classique la physique
quantique est de remplacer le crochet de Poisson par le commutateur de la manire suivante :
(6.2.1)
Dans notre cas on obtient alors les relations de commutations suivantes :
;
;
(6.2.2)
Les termes peuvent maintenant tre perus (analogue au cas quantique de l'oscillateur
harmonique) comme des oprateurs de cration ou d'annihilation pour les m ngatifs et
positifs respectivement. On choisi comme espace des tats un espace de Fock (un espace de
Fock est l'espace de Hilbert construit partir d'une somme directe ou de produits tensoriels de
l'espace de Hilbert d'une seule particule), o l'tat fondamental correspondant au ket est
dfini comme tant annihil par avec m positif. Pour spcifier compltement l'tat de la
corde on doit ajouter un autre degr de libert, le centre de masse de l'impulsion , notre ket
de base peut alors s'crire comme et l'tat fondamental est alors : .
Toutefois notre tude ne se bornera qu' des tats ne ncessitant que le ket de base .On
retrouve alors le modle de l'oscillateur harmonique avec un nombre infini d'oscillateurs :
; (6.2.3)
avec ; ; ; m est positif
6.2.2-limination des tats fantmes

Pour complter le formalisme de Gupta-Bleuler nous devons considrer les contraintes sur
notre systme, c'est--dire que nous faisons passer au rang d'oprateur les composantes .
Pour le cas de o nous devons toutefois redfinir la contrainte. En effet, dans l'expression
56
pour on retrouve une constante infinie qui se compose d'une copie de sommes infinies de
chaque famille D, d'oscillateurs. On peut rgulariser cette constante pour avoir une rponse
finie en effectuant une translation infinie au point zro d'nergie, rien ne l'empche puisqu'
ce stade la masse de la particule du plus petit ordre n'est pas encore bien dfinie cause de la
constante divergente. Sans faire l'analyse complte du spectre des tats physiques (qui
d'ailleurs serait assez long) du nouvel algbre de Virasoro que nous allons dfinir ci-dessous,
nous posons cette constante gale l'unit. Un tat quelconque est appel un tat physique
s'il satisfait les contraintes suivante comme :
; (6.2.4)
(corde ferme seulement)
L'algbre engendre inclut maintenant un terme supplmentaire de correction quantique et
devient alors :
(6.2.5)
Ces contraintes permettent l'limination des tats dit ghost ou fantmes de la thorie, c'est-
-dire des vecteurs dans l'espace des tats qui possdent une norme ngative. Ces tats
fantmes sont directement issus du fait que la composante temporelle de nos oscillateurs
harmoniques possde une mtrique ngative. On engendre alors des vecteurs ghosts par
une application d'un nombre impaire de fois de l'oprateur sur l'tat fondamental.
Toutefois, partir du terme supplmentaire introduit ci-dessus dans l'algbre, on peut
dterminer une dimension critique D pour laquelle ces tats fantmes disparaissent (leur
norme devient nulle). Cette dimension est gale 26. Alors l'unitarit de la thorie exige que
notre corde doit tre un objet caractris par 25 dimensions spatiales et une de temps.

6.2.3-Spectre des tats

Le point essentiel de ce modle est qu'il permet d'obtenir les spectres des tats propres de
l'Hamiltonien. On remarquera que ce dernier est diagonale dans l'espace de Fock des
excitations des l'oscillateurs harmoniques. Les tats propres sont alors forms par tous les
produits possibles de l'oprateur de cration sur l'tat fondamental :
tats propres : (6.2.6)
57
L'oprateur de cration cr une oscillation de frquence angulaire n dans la direction
de l'espace-temps. Reprsentons alors pour les deux types de cordes considres (ouverte et
ferm), l'espace des tats en terme de trajectoires de Regge qui consiste tracer le moment
angulaire en fonction de l'nergie au carr de la corde. On a alors les deux diagrammes
suivants :


Figure 6.2.1 : Trajectoires de Regge pour une corde ouverte (en haut) et ferme (en bas)

Note : correspond un vecteur de polarisation 26 composantes indpendantes
Alors, chaque fois que l'on applique les oprateurs de cration sur l'tat fondamental on
engendre un nouvel tat de vibration de la corde que l'on peut interprter comme une particule
bosonique. Le spectre des tats d'ordres infrieurs peuvent alors tre classifi comme suit :
Pour la corde ouverte :
tachyon
58
vecteur (spin 1) sans masse (photon)
tenseur (spin 2) massif
scalaire (spin 0) sans masse
scalaire (spin 0) avec masse
vecteur massif
Pour la corde ferme :
tachyon
tenseur (spin 2) sans masse (graviton et boson K-R)
scalaire (spin 0) sans masse (dilaton)
On remarque d'abord la prsence du photon et d'une particule ayant les caractristiques du
graviton ( supposer qu'il existe). En effet, l'espace d'tats de spin 2 peut se dcomposer
comme la somme d'un tenseur symtrique et d'un tenseur antisymtrique, les composantes du
tenseur symtrique correspondant aux tats de graviton. Notons la similarit entre la forme de
ces deux tats avec celles dduites de la seconde quantification des champs classiques. La
seule diffrence provient en fait de la jauge choisie (ici la jauge conforme, et pour les champs
classiques la jauge light-cone ). L'avantage de ce modle est justement d'unir ces deux
bosons en un seul objet : la corde. On retrouve galement une particule possdant une masse
au carr ngative (donc une masse imaginaire) : le tachyon, qui dans le cas prsent se
dplacerait une vitesse suprieure celle de la lumire. Le modle prdirait donc une
nouvelle particule qui violerait un postulat cher Einstein savoir que la vitesse de la lumire
constitue une vitesse limite pour les particules. Toutefois la prsence de cet tat ne cause pas
vraiment de problme puisque que ce genre d'tat apparat frquemment en thorie de champ,
reprsentant des situations o l'on retrouve dans le systme une configuration instable. Dans
ce qui va suivre nous verrons que nous pouvons faire disparatre cet tat dans le cadre de la
thorie des supercordes, mais auparavant, introduisons la nouvelle particule appel dilaton .
Sans rentrer dans les dtails, cette particule a des proprits intressantes : il ne peut y avoir
de charge de dilaton, c'est--dire que ce boson est indtectable, contrairement aux bosons se
couplant aux cordes (comme le photon la charge correspondante de la corde est alors la
charge lectrique). Le dilaton est consquemment appel boson de Goldstone . Cependant, il
s'avre que le dilaton dtermine l'intensit des constantes de couplage entre les cordes (par
exemple, la constante de structure fine pour la force lectromagntique). En d'autres mots, la
thorie des cordes pourrait prdire ces constantes de couplage, contrairement aux autres
thories o l'intensit du couplage pour chaque force est un paramtre libre.

59
6.2.4-Interactions entre les cordes

Il conviendrait bien sr d'tendre notre analyse dans ce formalisme au cas d'interactions entre
plusieurs cordes mais tant donne que cela ncessiterait des notions trs pousses en thorie
de champ, il convient alors juste d'en glisser quelques mots.
En thorie de cordes il survient des interactions lorsque ces dernires se joignent ou se
sparent. La probabilit de transition pour un ensemble donne de cordes vers un autre
ensemble donn de cordes peut tre dtermine via une srie infinie de diagrammes de
Feynman, sauf qu'en thorie de corde ces diagrammes ne correspondent plus une thorie des
graphes comme en QED. Ces graphes deviennent des varits diffrentiables possdant
diffrentes topologies. La somme sur toutes les histoires possibles de la corde devient par
exemple dans le cas d'une corde ferme une somme sur toutes les diffrentes surfaces
connectes pouvant tre dformes de faon continue dans un cylindre sans tre dchires,
elles sont toutes topologiquement quivalentes un cylindre. La feuille univers de la corde est
alors considre comme une surface de Riemann, et l'ensemble des interactions entre les
cordes devient d'autant plus limit. Notons galement que la thorie de corde limine la
divergence ultraviolette cause par les points singuliers de rencontre en des lignes externes
des particules ponctuelles.

Figure 6.2.2: Interaction en thorie de champ (a) : une particule qui se spare en deux. Dans la
thorie des cordes (b) : une corde ferme qui se spare en deux. Les lignes obliques
reprsentent un rfrentiel Lorentzien pour deux valeurs de temps .
60

Figure 6.2.3 : Diagrammes de Feymann versus l'approche de la thorie des cordes o les
singularits topologiques sont absentes liminant alors la divergence UV
Un des principaux avantages de ce modle est qu'il permet grce au choix de notre jauge
d'effectuer des transformations conformes vers le plan complexe et peut s'avrer trs utile
pour certains calculs d'amplitude de transition par exemple. Dans le formalisme que nous
avons trait, nous avons choisi une jauge dite conforme. Notre capacit choisir cette jauge
conforme nous permet alors d'effectuer une transformation conforme avec la mtrique du plan
complexe puisque notre mtrique constituant le champ auxiliaire est invariante sous
l'ensemble des chelles . Alors, en faisant un changement de variable appropri il est
possible de reprsenter une cordes comme des cercles (cordes fermes) ou de demi-cercle
(cordes ouvertes) de diffrents rayons (correspondant au dplacement travers le temps) dans
le plan complexe. Cela est galement conforme des trous sur une sphre et des dents sur
un disque respectivement (i.e. par projection du plan complexe infini sur une sphre, le ple
sud de cette sphre tant dfini comme le point (0,0) et le ple nord comme un
regroupement des points l'infini). Pour reprsenter alors de quel type de corde il s'agit on
introduit un oprateur vertex (associ chaque oprateur de cration d'tat) sur lequel on
effectue une intgrale de parcours, cet oprateur contient l'information sur la corde, grce
quoi on est mesure l'aide des mthodes standards de calculer l'amplitude de transition
Il convient de noter que les tats externes viennent s'attacher aux extrmits d'une corde
ouverte contrairement la corde ferme o ils peuvent s'attacher tous les points de la surface
de la corde (voir les figures ci-dessous avec P : zone d'interaction).
61

Figure 6.2.4 : Interaction pour une corde ouverte et ferme avec P : la zone d'interaction
62
7.-Cordes fermioniques
Dans la section prcdente, l'analyse du modle des cordes bosoniques a permis de mettre en
vidence que dans le spectre de l'Hamiltonien il y avait prsence de particules appeles
tachyons qui violent le principe de causalit. Dans la prsente section nous dvelopperons une
nouvelle thorie de corde qui fera disparatre de tels tats et qui inclura la prsence de
fermions dans le spectre. Nous introduirons alors dans l'action des degrs de libert internes
la corde d'o mergera une supersymtrie qui fera correspondre les coordonnes espace-temps
bosoniques un partenaire fermionique supersymtrique. Ce partenaire se
trouve en fait tre un spineur bidimensionnel sur la feuille univers. La supersymtrie
permettra d'unir les bosons et les fermions en un seul multiplet : fermions bosons. Tout
comme dans la section prcdente nous commencerons par une l'analyse classique en traitant
les symtries, plus particulirement les consquences d'une supersymtrie en deux dimensions
sur la feuille univers. Ensuite, nous passerons au cas de la quantification.

7.1-Analyse classique
7.2-Quantification

7.1-Analyse classique
7.1.1-Action classique d'une thorie de champ deux dimensions avec des degrs de libert
internes
7.1.2-Supersymtrie de la feuille univers
7.1.3-quations de champ et conditions frontires NS-R
7.1.4-Superalgbre de Virasoro et contraintes

7.1.1-Action classique d'une thorie de champ deux dimensions avec des degrs de libert
internes

Dans un premier temps nous ferons abstraction de la supersymtrie de l'espace-temps pour ne
se concentrer que sur les consquences d'une supersymtrie en deux dimensions sur la feuille
univers. Comme point de dpart notre analyse nous considrons l'action suivante dans la
jauge conforme :
(7.1.1)
63
avec : , ,
qui sont les matrices de Dirac en deux dimensions.
Soit l'objet , un spineur Majorana anti-commutant en deux
dimensions.
Cet objet se transforme comme un vecteur dans l'espace-temps rel. On notera qu'un spineur
est de type Majorana si toute ses composantes sont soit imaginaires ou soit relles. Pour notre
part, on optera pour des composantes relles.
Le premier terme correspond tout simplement l'action pour une thorie de champ libre
bosoniques deux dimensions. Le deuxime terme quant lui introduit un D-plet de fermions
Majorana : des champs additionnels correspondant la libre propagation le long de
la corde de degrs de libert internes. Le tout reste alors une thorie de champ en deux
dimensions, ne pas confondre avec une thorie de champ dans l'espace-temps. Nous
noterons que tous comme dans le cas des cordes bosoniques lorsque viendra le temps
d'effectuer la quantification nous devrons nous assurer que la thorie n'engendre pas des
fermions de genre temps (puisque . Nous devons alors trouver une
nouvelle symtrie et de nouvelles contraintes (tout comme les contraintes de Virasoro pour les
bosons) afin d'avoir une thorie unitaire.

7.1.2-Supersymtrie de la feuille univers
Explorons maintenant les symtries de notre action donne prcdemment. Si est un spineur
Majorana infinitsimal et constant, alors l'action est invariante sous les transformations
suivantes :
(7.1.2)
On remarque que ces relations inclues la fois, sous forme couples, les coordonnes
bosoniques et les coordonnes fermioniques : des transformations de ce type sont
dites supersymtriques. Pour une variation du champ (bosonique/fermionique) correspond une
variation de l'autre champ. Pour rsoudre le systme, ensuite nous procderons comme suit
(d'une faon pratiquement similaire celle dveloppe en thorie de cordes bosoniques) :
partir des symtries de l'action on cherchera l'ensemble des courants conserves
correspondant (au sens du thorme de Noether), on en dduira alors quel algbre ces derniers
engendrent, se qui nous permettra de formuler les contraintes auxquelles le systme doit se
conformer afin que la thorie soit unitaire (absence d'tats fantmes).
64
Alors par une application directe du thorme de Noether on peut trouver l'expression pour le
supercourant conserv :
(7.1.3)

De faon analogue on peut obtenir une expression pour le tenseur moment nergie qui lui
aussi est conserv :
;
(7.1.4)
On peut alors imposer les contraintes suivantes et de faon tout fait ad hoc
de manire restreindre l'espace de Fock des tats non fantmes.

7.1.3-quations de champ et conditions frontires NS-R

Analysons maintenant les quations du mouvement de l'action. Les coordonnes satisfont
les mmes quations d'onde que celles drives prcdemment dans la thorie des cordes
bosoniques. Les champs fermioniques quant eux doivent obir l'quation de Dirac en deux
dimensions qui se retrouve de faon explicite dans l'action. On doit alors avoir les
quations du mouvement dcouples suivantes :
; (7.1.5)
o et correspond aux modes droites et gauches respectivement. On doit alors
s'attarder aux conditions aux limites. Si on fait varier la fonctionnelle action, il survient un
terme de surface qui requiert que aux extrmits de la corde ouverte.
on peut choisir que , alors nous aurons deux choix possibles de
conditions frontires dpendamment si le champ est priodique ou anti-priodique soit
respectivement les conditions frontires de Ramond et de Neveu-Schwarz :
Ramond(R) : (7.1.6)
Neveu-Schwarz (NS) : (7.1.7)
65
partir de ces conditions, il y a deux faons d'exprimer le dveloppement de ces deux
champs en terme d'une srie de Fourier avec des composantes modales soit entire ou demi
entire :
R : ; NS :
(7.1.8)

7.1.4-Superalgbre de Virasoro et contraintes

Nous sommes alors en mesure de dterminer quelle sorte d'algbre est gnre par les
diffrents courants, il s'agit d'un super-algbre de Virasoro ou algbre superconforme. On peut
alors dfinir les super-oprateurs de Virasoro construit partir des modes du tenseur nergie
momentum et du supercourant de la faon suivante :
- Pour les moments du courant on a les gnrateurs:
(7.1.9)
-Pour les moments (secteur R) ou (secteur RS) du supercourant on a les deux
gnrateurs :
(7.1.10)

7.2-Quantification
Sans entrer dans les dtails puisque la mthode est alors similaire celle employe
prcdemment en thorie de cordes bosoniques, le tableau de la page suivante rsume le
modle NS-R sous une quantification de Gupta-Bleuler. On retrouve galement que notre
Hamiltonien est diagonal dans l'espace de Fock des oscillateurs harmoniques.
66
Les contraintes permettant de faire disparatre les tats fantmes s'crivent alors :
Si et sont des tats physiques alors, ils doivent satisfaire les contraintes suivantes pour
chaque secteur :
NS : ; R : (7.2.1)
avec r , n et m positifs.
7.2.1-Analyse du spectre et dimension critique
7.2.2- La projection GSO et supercordes ouvertes de type I

7.2.1-Analyse du spectre et dimension critique

Il existe une mthode nomme projection GSO permettant la troncature du spectre de notre
espace de Fock, ce qui permet alors d'accder une supersymtrie de l'espace-temps de nos
deux secteurs. Mais avant de l'examiner, il convient d'analyser un peu plus en dtail le spectre
des tats aux plus petits ordres. Dans le secteur NS on trouve que l'tat fondamental est le
tachyon. Nous savons que pour avoir une thorie des supercordes qui se veut d'tre
consistante avec le principe de causalit nous devrons nous dbarrasser de cet tat. Le premier
tat excit quant lui est un vecteur sans masse analogue au photon. Le reste des tats
bosoniques se construisent par tous les produits possibles des oscillateurs et sur le
vacuum. Dans ce modle on trouve que la dimension critique pour laquelle les tats fantmes
disparaissent est maintenant D = 10. Les tats fermioniques eux, sont gnrs par tous les
produits possibles des oscillateurs et agissant sur un spineur espace-temps. L'tat
fondamental est un fermion de spin un demi correspondant au partenaire supersymtrique du
vecteur sans masse, bosonique. La super-algbre engendre permet aussi d'obtenir une
dimension critique de D = 10. On remarquera que ce modle prsente beaucoup de similarits
avec le modle des cordes bosoniques dvelopp prcdemment l'exception que,
l'introduction d'un supercourant gnre une super-algbre de Virasoro. Dans le but de
complter un modle des supercordes pour lequel le modle NS-R serait invariant sous une
supersymtrie de l'espace-temps 10 dimensions nous devons maintenant procder une
certaine troncature de l'espace de Fock : la projection GSO (d a Gliozzi, Scherk et Olive). La
thorie qui en mergera sera alors une thorie de supercordes ouvertes de type I (I pour 1
supersymtrie).
Modle NS-R pour les cordes ouvertes
67


7.2.2 La projection GSO et supercordes ouvertes de type I
L'analyse de l'espace des tats de la corde permet de constater d'abord que le nombre d'tats
bosoniques au nime niveau est gale la partition p(n) de l'entier n c'est--dire au nombre de
faon de former l'entier n par une sommation des autres entiers infrieurs n. Chaque tat au
niveau N peut alors tre reprsent de la faon suivante :
(7.2.2)
avec : (nombre d'oprateurs) (7.2.3)
En mcanique statistique la fonction de partition nous permet de compter combien d'tats se
trouvent dans un tat d'nergie donne. Dans notre cas on trouve alors que se nombre d'tat
est donn par :
68
(7.2.3)
Une condition ncessaire la supersymtrie est qu'il doit y avoir un nombre gal d'tats
bosoniques et fermioniques pour chaque niveau de masse, alors il suffit de montrer que la
fonction de partition pour les secteurs NS et R est gale. Mais avant, il convient de noter que
l'espace de Fock dans le secteur NS se divise en deux sous-espaces : l'un est form des tats
composs d'un nombre pair d'application d'oscillateurs b sur le vacuum et l'autre des tats
form partir d'un nombre impair d'oscillateurs b. Les oscillateurs b tant anti-commutant,
ces derniers doivent alors tre contracts par pair. Nous devons alors se proposer de faire
disparatre les tats avec un nombre impair d'oscillateur b . Pour se faire on dfini un
oprateur de G-parit qui compte simplement le nombre d'oscillateurs b dans un tat donn :
on aura -1 pour un nombre impair et 1 pour un nombre pair :
(7.2.4)
Si l'on se restreint alors la parit G pair on est alors en mesure d'liminer de faon triviale le
tachyon du spectre laissant alors les tats fondamentaux du secteur NS tre les 8 tats de
polarisation transverses du vecteur sans masse (photon). Pourquoi 8 tats de polarisation : un
champ vectoriel en 10 dimensions possde 10 composantes mais il y a seulement 8
composantes transverses qui dcrivent la propagation de modes indpendants. Une particules
sans masse en 10 dimensions peut tre classifi par sa reprsentation en terme du groupe
SO(8) : les rotations de Lorentz. Alors, la condition de supersymtrie exige que le spineur
sans masse du secteur R doit avoir galement 8 modes de propagations. De faon gnrale un
spineur de Dirac en D = 10 dimensions possde = 32 composantes complexes. Par contre,
si on impose la fois que ce spineur soit Majorana (rel rduit alors 16 composantes) et
Weyl (complexe rduit alors 8 composantes). Le fermion de spin un demi sans masse
devient alors le partenaire supersymtrique du photon.
Le calcul des diffrentes fonctions de partition pour chaque secteur nous permet de trouver
que pour chaque niveau de masse l'identit :
(7.2.5)
Cette identit fut la premire fois prouve par Jacobi en 1829, formule qu'il qualifiait
d'obscure ( aequatio identica satis abstrusa) . Bien sr cela ne constitue pas une preuve
formelle de la supersymtrie de l'espace-temps en dix dimensions du modle NS-R mais
constitue seulement une condition ncessaire cette dernire. Bien que ce type de thorie de
supercordes affiche une supersymtrie permettant de runir les fermions et les bosons en un
seul multiplet, elle prsente galement certaines anomalies qui la rendent parfois inconsistante
avec la thorie quantique ou la gravitation. Il s'agissait d'un premier modle d'unification des
bosons et des fermions tent par les physiciens et d'autres thories de supercordes on t
69
labores depuis (elles sont au nombre de cinq en tout). Certaines se voient plus prometteuses
que d'autres et nous nous proposons dans la section qui va suivre d'en faire un survol rapide.
70
8.-Aperu des thories de supercordes

8.1-Les cinq thories de supercordes
8.2-Une symtrie importante en physique : la dualit

8.1-Les cinq thories de supercordes
Nous avons dj vu que les contraintes imposes sur les thories de supercordes sont trs
leves (par exemple, l'invariance de paramtrisation ainsi que l'invariance de Lorentz fixe les
dimensions de l'espace-temps 10 pour les supercordes et 26 pour les cordes bosoniques).
Schwarz, l'un des pionniers du domaine, a dmontr que la condition obligatoire d'absence de
ce qu'il appelle des anomalies gravitationnelles et de Yang-Mills fixe la symtrie de ces
thories aux groupes ou . Voici un aperu concis des diffrentes thories de
cordes :
LES THORIES DE SUPERCORDES 10
DIMENSIONS SPATIO-TEMPORELLES
Thorie Type de cordes Symtrie de
jauge
SUSY
I Ouvertes et
fermes
SO(32) 1
IIA Fermes - 2
IIB Fermes - 2
Htrotique
SO(32)
Fermes SO(32) 1
Htrotique E
8 E 8
Fermes E 8 E 8 1
Tableau 8.1.1 : Rsum des diffrentes thories des supercordes et de leur symtrie
8.1.1-Supercordes, type I
8.1.2-Supercordes, type II
8.1.3-Supercordes htrotiques

8.1.1-Supercordes, type I

71
Voici un rsum de la construction d'une thorie de supercordes 10 dimensions dite de type
I en appliquant la supersymtrie inhrente une corde ouverte
tablir deux types de conditions aux limites R et NS pour les fermions priodiques et
anti-priodiques (respectivement).
Analyser ces conditions aux limites en effectuant une expansion en srie de Fourier et
construire l'espace d'tats pour le secteur NS et le secteur R.
Combiner une partie des deux espaces dtats avec la projection GSO. Les bosons
correspondent alors au secteur NS et les fermions au secteur R, et le systme montre
une supersymtrie (i.e. le nombre de bosons est gale au nombre de fermions).
La thorie rsultante possde une symtrie de jauge de type SO(32), et est chirale, i.e. viole la
parit, comme l'interaction faible. De plus, elle permet donc de retrouver la combinaison
par brisure de symtrie. Cependant, elle inclut aussi d'autres groupes
dcrivant des interactions qui ne sont pas observes dans la nature. Elle est maintenant
considre comme une thorie dcrivant le cas limite trs haute nergie lorsque toutes les
particules peuvent tre considres comme sans masse (i.e. ).
Notons que cette thorie dcrit videmment les cordes fermes car deux cordes ouvertes
peuvent toujours fusionner pour former une corde ferme.

8.1.2-Supercordes, type II

Il est aussi possible de construire une thorie de supercordes consistant uniquement de cordes
fermes (thorie de type II). Nous avons vu brivement lors de la comparaison des trajectoires
de Regge pour une corde ouverte et ferme comment un tat de corde ferme peut tre la
combinaison multiplicative de deux tats de cordes ouvertes, l'une correspondant une onde
se propageant vers la gauche et l'autre une onde se propageant vers la droite. Pour les cordes
fermioniques, il existe donc quatre faons de combiner les tats des deux secteurs NS et R :

o la notation employe est non formelle, et dsigne simplement les tats fondamentaux des
secteurs NS et R. Il s'avre que la combinaison de deux tats gauches (L) et droites (R) de
secteurs diffrents correspondent aux tats fermioniques, et les combinaisons d'tats de deux
mmes secteurs correspondent aux tats bosoniques.
Les thories de type II (au nombre de 2 : IIA non chirale et IIB chirale) peuvent tre
identifies selon la parit des cordes fermes. Pour le cas IIA, les tats fondamentaux gauches
et droites du secteur R sont diffrenties, alors que le ce n'est pas le cas pour la thorie IIB.
La thorie IIA, les bosons rsultant de la combinaison de secteurs R-R correspondent un
champ un indice (donc correspondant au champ de Maxwell) ainsi qu'un champ tensoriel
antisymtrique d'ordre trois. Quant la thorie IIB, ces mmes bosons R-R correspondent
un champ scalaire, un champ tensoriel deux indices et un champ antisymtrique quatre
72
indices. La prsence de ces champs exotiques non observs est la raison pourquoi les thories
de type II ne sont pas considres comme des thories viables. Notons aussi de passage que ce
type de thorie ne possde pas de symtrie de jauge ni .

8.1.3-Supercordes htrotiques

Les supercordes htrotiques sont une classe de thorie dcrivant les cordes fermes en
combinant un tat gauche de type bosonique avec un tat droit fermionique , i.e. seulement 10
des 26 dimensions d'une corde bosonique est apparie la corde fermionique voluant 10
dimensions, et ce par compactification complte des 16 dimensions supplmentaires
ncessaires pour la conservation de la proprit de supersymtrie. Cette compactification
permet alors l'apparition de nouveaux bosons de jauge provenant de ces 16 degrs de libert
supplmentaires.

Il existe en fait deux types de supercordes htrotiques. L'une emploie la symtrie de jauge
, ce qui cause un problme lors de la compactification des 16 dimensions bosoniques
car l'invariance de la parit est alors restaure (i.e. la thorie devient non chirale, et ne peut
plus expliquer la force faible, entre autres). L'autre thorie htrotique emploie la symtrie
, qui est un groupe moins large que le groupe , ce qui est dj un avantage
substantiel. De plus, il a t dmontr que l'enroulement final de 6 dimensions spatiales (sur
les 10 dimensions effectives) dans le cadre de cette thorie se fait alors de faon spontane sur
un manifold de Calabi-Yau, ce qui permet de retrouver les 4 dimensions usuelles d'espace-
temps. La thorie de supercordes htrotiques est donc ce jour la thorie unifiant la
gravitation qui est la plus plausible. Elle pourrait aussi nous rvler la raison de l'existence de
la matire noire , i.e. d'une matire qui courbe l'espace-temps de l'univers mais qui est
parfaitement dcouple de l'interaction lectromagntique. En effet, comme la symtrie de
jauge du modle standard peut tre compltement incluse dans un
groupe tendu , il est possible que notre univers visible soit totalement dcoupl de l'autre
secteur except pour l'interaction gravitationnelle (le graviton n'tant jamais contraint par
les Dp-branes, comme nous l'avons mentionn prcdemment).


8.2-Une symtrie importante en physique : la dualit
8.2.1-Exemples de dualit en physique
8.2.2-La dualit T
8.2.3-La dualit S
73
8.2.4-La thorie M (M pour Mystery , Mother of all theories , etc.)

8.2.1-Exemples de dualit en physique

Le fait qu'il existe 5 thories de cordes cohrentes n'est pas souhaitable. Il serait en effet plus
simple de ne retrouver qu'un seul candidat de thorie des cordes! C'est pourquoi plusieurs
chercheurs se sont penchs sur la question de l'quivalence entre des thories qui semblent
dissimilaires. Ces quivalences sont tablies par ce qu'on nomme les dualits .
Une dualit est une relation entre deux systmes dcrits de faon diffrente, mais qui
reprsentent le mme systme physique. Voici une liste (loin d'tre exhaustive) de diffrentes
dualits qu'on peut trouver dans des systmes physiques :
La dualit inhrente la transformation , dans le cadre de la thorie
de Maxwell en l'absence de sources. En effet, cette transformation laisse invariante la
forme des quations de Maxwell (remarquons que le Lagrangien du champ
lectromagntique change alors de signe, mais cela ne change en rien la physique
sous-jacente).
La dualit entre un espace unidimensionnel dcrit sur une droite avec la condition de
priodicit suivante : (3.1.1) et l'espace unidimensionnel d'un cercle.
La dualit inhrente la transformation pour un oscillateur
harmonique. En effet, cette transformation ne change en rien l'quation de mouvement
de l'oscillateur harmonique, bien qu'il change le Lagrangien (et donc le Hamiltonien;
l'Hamiltonien originel et son dual sont en fait lis par une transformation
canonique).
Etc.

8.2.2-La dualit T

Une dualit importante en thorie des supercordes est explicite lors de la compactification
des dimensions. Il s'agit de la dualit T , qui asserte que la physique dcrite par une thorie
avec une dimension compactifie de rayon R est quivalente la physique d'une thorie avec
une dimension compactifie , i.e. . Nous ne discuterons pas des
mathmatiques derrire cette dualit car elles sont plutt compliques, et impliquent une
preuve par induction dans le cadre de la thorie de perturbations (pour la description des
interactions entre cordes), i.e. la dualit est prouve l'ordre de perturbation le plus bas
correspondant un diagramme sans boucles, puis elle est assume tre valide l'ordre n lors
de la construction de la preuve pour l'ordre n + 1. Cette dualit est utile car elle permet de
passer d'une thorie son dual par l'oprateur de dualit T si un calcul s'avre tre moins
difficile dans le cadre de cette thorie duale. Notons enfin que cette dualit relie les thories
IIA et IIB ensemble, et les deux thories htrotiques ensemble.
74

8.2.3-La dualit S

Une autre dualit dcouverte dans le cadre de la runification des thories de supercordes est
la dualit S , qui est dfinie informellement ainsi : soit une certaine thorie de cordes ayant
une constante de couplage ? (entre cordes). La thorie correspondant une transformation par
l'oprateur de la dualit S possde alors une constante de couplage 1/?. Nous notons
cependant que la dualit S est une conjecture , car elle n'a pas t prouve comme la dualit T.
La difficult rside du fait que la thorie de perturbations en QFT est dpendante de la
constante de couplage. Par exemple, cette constante en QED est la constante de structure fine
(? ~ 1/137). Elle est donc est assez faible pour que les corrections successives d'ordre
soient de plus en plus petites (en QED, chaque ordre de correction correspond un
diagramme de Feynman au nombre de boucles correspondant l'ordre de perturbation en
question). Cependant, une thorie avec une trs faible constante de couplage ? est S duale
une thorie avec une trs forte constante de couplage, qui ne peut donc pas employer les
mthodes de perturbation mentionnes ci haut. Cela cause donc des difficults mathmatiques
qui sont jusqu' ce jour non rsolues. Il est pour l'instant possible d'adopter une preuve
approche de la dualit S, qui consiste tronquer une thorie l'ordre le plus bas de
perturbation, puis prouver que cette thorie approximative est S duale avec sa thorie
correspondante (ayant une constante de couplage forte). Le calcul successif pour plusieurs
ordres de perturbation amliore de plus en plus l'approximation. C'est pourquoi les physiciens
considrent la dualit S comme une vrit, mais attendent encore une preuve rigoureuse
(probablement par une mthode quelconque qui russirait viter la mthode de
perturbations). L'emploi de l'oprateur de dualit S serait alors trs utile car il permettrait
d'appliquer la thorie de perturbations pour une thorie d'interactions fortement couples.
Notons pour finir que cette dualit relie la thorie de supercordes htrotiques SO(32) avec la
thorie de type I, et relie la thorie IIB avec elle-mme (i.e. elle est self-dual ).

8.2.4-La thorie M (M pour Mystery , Mother of all theories , etc.

La dcouverte de ces deux dualits constitue ce que les physiciens nomment la seconde
rvolution , et rduit donc le nombre de thories de supercordes en deux groupes. Un des
sujets actuels de recherche est consacr l'unification de ces deux groupes avec une thorie
hypothtique dite la thorie M 11 dimensions qui a t initialement propose par le
mathmaticien Edward Witten en 1995.
75

Figure 8.2.1 : Diagramme illustrant les dualits entre les diffrentes thorie des supercordes

Cette thorie considre une corde comme une membrane compactifie de telle sorte que la
dernire dimension de son volume-univers (cette membrane tant bidimensionnelle)
puisse tre omise dans une thorie de supercordes. Les 5 thories discutes prcdemment
seraient alors toutes des cas limites de la thorie M, d'o l'existence des liens de dualit T et S.
En d'autres termes, chaque thorie de supercordes a son domaine de validit, et en gnral une
description devient valide dans le cadre d'une thorie lorsqu'elle est invalide dans un autre
cadre.

Figure 8.2.2: Voici schmatiquement comment on obtient une corde partir d'une membrane
76

9.-Conclusion
Les thories de supercordes ainsi que la thorie M offrent la physique de par leur lgance
un nouvel espoir d'unification des quatre interactions fondamentales de la nature. Il s'agit ainsi
d'un premier pas vers l'unification de la thorie de champ quantique et de la relativit
gnrale. Bien sr cette thorie doit tre prouve par l'exprimentation avant que sa
description du monde physique tel qu'on le connat soit valide. tant donn que la thorie des
cordes inclut dans son formalisme une forme d'interaction des cordes avec l'espace que l'on
pourrait appeler le vide quantique , le problme serait alors de choisir une bonne
description de ce vide afin de retrouver le Modle Standard de symtrie
coupl la symtrie de jauge de la gravitation. Un deuxime point est
qu'il faudrait dcouvrir un mcanisme permettant de briser la supersymtrie locale introduite
en thorie de supercordes. Il faudrait galement expliquer la petitesse de la constante
cosmologique. Dans tous les cas, le problme se rsumait en fait dvelopper une thorie
non-perturbative des supercordes. En ce sens, la thorie M semble prometteuse puisqu'elle
permet d'tablir par ses proprits de dualit l'existence de liens non-perturbatifs entres les
diffrentes thories de supercordes. Quoi qu'il en soit, il reste beaucoup de chemin parcourir
avant de rsoudre ce qui semble tre l'un des plus colossaux dfis inhrents au monde
scientifique moderne : l'Unification des Forces de la Nature ...
Une fois atteint un certain degr de technicit, la science et l'art tendent se fondre dans
l'esthtique, la plasticit et la forme. Les grands savants sont toujours, aussi, des artistes.
Albert Einstein, 1923.

Vous aimerez peut-être aussi