Les mathmatiques e de la physique moderne

Frdric Paugam e e
c Brouillon
1

du 8 dcembre 2009 e

Notes en prparation dont les destinataires ventuels seront les (malheureux?) tudiants en master e e e de mathmatiques qui feront le voeux (pieux?) de comprendre les modlisations modernes de la physique e e des particules lmentaires. ee

Table des mati`res e

1 Introduction 1.1 Le probl`me de la dnition . . . . . . . . . . e e 1.2 Modlisation et deux principes de la physique e 1.2.1 Probl`me variationnels lagrangiens . . e 1.2.2 Principe de moindre action . . . . . . 1.2.3 Principe doscillation . . . . . . . . . . 7 7 9 9 10 11 13 13 13 14 15 15 16 16 21 22 22 23 23 24 25 26 26 26 27 28 29 31 31 31 32

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

2 Physique classique 2.1 Mcanique . . . . . . . . . . . . . . . . . . . . . . . e 2.1.1 Version lagrangienne . . . . . . . . . . . . . 2.1.2 Traduction hamiltonienne . . . . . . . . . . 2.2 Thorie des champs . . . . . . . . . . . . . . . . . e 2.2.1 Mcanique des champs classiques . . . . . . e 2.2.2 Llectromagntisme local . . . . . . . . . . e e 2.2.3 La relativit gnrale . . . . . . . . . . . . . e e e 2.2.4 Thorie de Kaluza-Klein . . . . . . . . . . . e 2.2.5 Sigma-mod`le . . . . . . . . . . . . . . . . . e 2.2.6 Cordes classiques et lagrangien de Polyakov 2.3 Thorie de Jauge . . . . . . . . . . . . . . . . . . . e 2.3.1 Thorie de Yang-Mills . . . . . . . . . . . . e 2.3.2 Thorie de Jauge avec mati`re . . . . . . . e e 2.3.3 Le processus de xation de jauge . . . . . . 2.4 Champs classiques fermioniques . . . . . . . . . . . 2.5 Particules classiques de mati`re et dinteraction . . e 2.5.1 Un dictionnaire entre physique et gomtrie e e 2.5.2 Particules de spin 0 . . . . . . . . . . . . . 2.5.3 Particules de spin 1/2 . . . . . . . . . . . . 2.5.4 Interactions . . . . . . . . . . . . . . . . . .

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

3 Physique quantique sans interactions 3.1 Premi`re quantication Hamiltonienne . . . . . . . . . . . . . . . . . . . . . . . . e 3.1.1 Reprsentations des groupes de Lie et particules . . . . . . . . . . . . . . e 3.1.2 Rappels de mcanique quantique Hamiltonienne . . . . . . . . . . . . . . e 3

` TABLE DES MATIERES 3.1.3 Quantication de Heisenberg/Schrdinger . . . . . . . . . . . . . o 3.1.4 Quantication de Weyl innitsimale et calcul pseudo-direntiel e e 3.1.5 Quantication de Connes et groupo tangent . . . . . . . . . . de Quantication canonique des champs libres . . . . . . . . . . . . . . . . 3.2.1 Quantication de loscillateur harmonique . . . . . . . . . . . . . 3.2.2 Quantication du champ scalaire libre . . . . . . . . . . . . . . . 3.2.3 Quantication innitsimale des champs classiques . . . . . . . . e 3.2.4 Les axiomes de Wightman . . . . . . . . . . . . . . . . . . . . . . Quantication covariante des champs libres . . . . . . . . . . . . . . . . 3.3.1 Espace des phases covariant . . . . . . . . . . . . . . . . . . . . . 3.3.2 Calcul direntiel sur les fonctionnelles locales . . . . . . . . . . e 3.3.3 Lintgrale fonctionnelle des physiciens . . . . . . . . . . . . . . . e 3.3.4 Lintgrale fonctionnelle formelle . . . . . . . . . . . . . . . . . . e 3.3.5 Le mod`le ludique du champ scalaire libre . . . . . . . . . . . . . e 3.3.6 Les propagateurs des quations de Klein-Gordon et de Dirac . . e . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34 35 36 38 38 39 42 43 44 44 45 46 47 49 50 53 53 56 56 57 58 58 59 59 61 62 62 62 63 63 65 65 65 66 66 66 67 69 69 69 70

3.2

3.3

4 Physique quantique avec interactions 4.1 Les quations du mouvement quantique de Dyson-Schwinger . . . . . . e 4.2 Quantication perturbative des champs de mati`re en interaction . . . e 4.2.1 Axiomatique minimale pour les champs quantiques perturbatifs 4.2.2 Dveloppements perturbatifs . . . . . . . . . . . . . . . . . . . e 4.2.3 Le mod`le ludique 4 . . . . . . . . . . . . . . . . . . . . . . . e 4.3 Quantication covariante des thories de Jauge . . . . . . . . . . . . . e 4.3.1 Lespace des phases covariant en prsence de libert de jauge . e e 4.3.2 Antichamps et rsolution de la surface stationnaire . . . . . . . e 4.3.3 Fantmes et rsolution des invariants de jauge . . . . . . . . . o e 4.3.4 Actions fantmatiques . . . . . . . . . . . . . . . . . . . . . . . o 4.4 Renormalisation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4.4.1 Le groupe de renormalisation de Connes et Kreimer . . . . . . 4.4.2 Relation avec la thorie de Galois direntielle . . . . . . . . . e e 4.4.3 Renormalisation des thories de Jauge . . . . . . . . . . . . . . e 5 Thories quantiques des champs e 5.1 Llectrodynamique quantique . . e 5.2 Linteraction faible . . . . . . . . 5.3 Linteraction lectrofaible . . . . e 5.4 La chromodynamique quantique 5.5 Le mcanisme de Higgs . . . . . e 5.6 Le mod`le standard . . . . . . . e

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

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

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

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

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

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

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

6 Outils mathmatiques e 6.1 Formules fondamentales pour les gaussiennes . . . . . . . . . . . . . . . . . . . . 6.1.1 Intgrales gaussiennes avec source . . . . . . . . . . . . . . . . . . . . . . e 6.1.2 Diagrammes de Feynman en dimension nie . . . . . . . . . . . . . . . . .

` TABLE DES MATIERES 6.1.3 Les r`gles de Feynman en dimension nie . . . . . . . . . . . e Rappels de gomtrie direntielle . . . . . . . . . . . . . . . . . . . e e e 6.2.1 Dnition par les cartes des varits et brs direntiables . e ee e e 6.2.2 Faisceaux, varits et brs . . . . . . . . . . . . . . . . . . . ee e 6.2.3 Points de vue fonctoriel sur le calcul direntiel . . . . . . . . e 6.2.4 Jets de fonctions et formes direntielles . . . . . . . . . . . . e 6.2.5 Champs de vecteurs et oprateurs direntiels . . . . . . . . . e e 6.2.6 Connexions . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6.2.7 Varits symplectiques et varits de Poisson . . . . . . . . . ee ee Equations aux drives partielles linaires . . . . . . . . . . . . . . . e e e 6.3.1 Distributions, th`or`me des noyaux . . . . . . . . . . . . . . . e e 6.3.2 Transforme de Fourier . . . . . . . . . . . . . . . . . . . . . e 6.3.3 Solutions fondamentales . . . . . . . . . . . . . . . . . . . . . 6.3.4 Probl`me de Cauchy pour les syst`mes hyperboliques . . . . e e 6.3.5 Equation des ondes . . . . . . . . . . . . . . . . . . . . . . . . 6.3.6 Equation de Klein-Gordon . . . . . . . . . . . . . . . . . . . . 6.3.7 Equation de Maxwell . . . . . . . . . . . . . . . . . . . . . . . 6.3.8 Equation de Dirac . . . . . . . . . . . . . . . . . . . . . . . . 6.3.9 Equation de Schrdinger . . . . . . . . . . . . . . . . . . . . . o Thorie spectrale . . . . . . . . . . . . . . . . . . . . . . . . . . . . . e Gomtrie des jets et quations aux drives partielles . . . . . . . . e e e e e 6.5.1 D-schmas et equations aux drives partielles . . . . . . . . e e e 6.5.2 Champs de vecteurs volutionnaires et symtries . . . . . . . e e 6.5.3 Lois de conservation . . . . . . . . . . . . . . . . . . . . . . . 6.5.4 Bicomplexe et suite spectrale variationnelle . . . . . . . . . . 6.5.5 Calcul direntiel secondaire sur les fonctionnelles locales . . e 6.5.6 Lespace des phases covariant lagrangien . . . . . . . . . . . . 6.5.7 Lespace des phases covariant multisymplectique . . . . . . . Gomtrie des jets et quations aux drives partielles . . . . . . . . e e e e e 6.6.1 Jets dapplications et jets de sections . . . . . . . . . . . . . . 6.6.2 Gomtrie sur les jets innis . . . . . . . . . . . . . . . . . . e e 6.6.3 Distribution de Cartan et quations direntielles . . . . . . . e e 6.6.4 Le calcul direntiel fonctionnel hors coquillage . . . . . . . . e 6.6.5 Champs de vecteurs volutionnaires et symtries de jauge . . e e 6.6.6 Connexion de Cartan et bicomplexe variationnel . . . . . . . 6.6.7 La suite spectrale variationnelle . . . . . . . . . . . . . . . . . 6.6.8 Calcul direntiel secondaire sur les fonctionnelles locales . . e 6.6.9 Lespace des phases covariant lagrangien . . . . . . . . . . . . 6.6.10 Calcul direntiel secondaire gradu et champs fermioniques e e Calcul direntiel sur les espaces fonctionnels . . . . . . . . . . . . . e 6.7.1 Points de vue diologique sur les espaces fonctionnels . . . . e 6.7.2 Direntielles de Gteaux . . . . . . . . . . . . . . . . . . . . e a 6.7.3 Drivation de Wiener . . . . . . . . . . . . . . . . . . . . . . e Formalisme multisymplectique . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

5 72 73 73 73 75 76 78 79 82 83 83 85 85 85 85 85 85 85 85 85 87 88 88 88 88 88 88 88 88 88 92 93 94 95 97 97 99 100 101 101 101 101 104 104

6.2

6.3

6.4 6.5

6.6

6.7

6.8

` TABLE DES MATIERES 6.8.1 Oprateur dEuler-Lagrange . . . . . . . . . . . . . . . . e 6.8.2 Champs de Jacobi dans le formalisme multisymplectique 6.8.3 Lespace des phases covariant . . . . . . . . . . . . . . . 6.9 Groupes algbriques linaires . . . . . . . . . . . . . . . . . . . e e 6.9.1 Structure des groupes algbriques . . . . . . . . . . . . . e 6.9.2 Reprsentations des groupes algbriques rductifs . . . . e e e 6.9.3 Alg`bre de Cliord et groupes spinoriels . . . . . . . . . e 6.10 Catgories : la covariance en mathmatiques . . . . . . . . . . . e e 6.10.1 Catgories et foncteurs . . . . . . . . . . . . . . . . . . . e 6.10.2 Proprits universelles et foncteurs reprsentables . . . . ee e 6.10.3 Gomtrie virtuelle et espaces de modules . . . . . . . . e e 6.10.4 Cohomologie et suites spectrales . . . . . . . . . . . . . 6.10.5 Rsolutions classiques . . . . . . . . . . . . . . . . . . . e 6.10.6 Cohomologie de groupe et dalg`bre de Lie . . . . . . . e 6.10.7 Alg`bres de Lie direntielles gradues et dformations . e e e e . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 104 106 106 108 108 111 111 112 112 114 115 116 118 119 120

Chapitre 1

Introduction
Ce document est destin ` des mathmaticiens. Lauteur se lib`re, au moins provisoirement, ea e e de la responsabilit des ventuels dsagrments quun physicien pourrait subir en lisant ce texte. e e e e

1.1

Le probl`me de la dnition e e

Une des dicults principale ` laquelle est confront un mathmaticien (tudiant ou chere a e e e cheur) sil sintresse ` la physique est ce que lon appellera le probl`me de la dnition : e a e e quelle est la dnition mathmatique prcise de lobjet qui modlise une situation physique e e e e donne. La rsolution compl`te et dtaille de ce probl`me somme toute anodin est souvent e e e e e e considre comme inutile voir allinante pour un physicien (admettons que le physicien et le ee e mathmaticien soient deux personnes distinctes, ce qui semble tre une hypoth`se raisonnable e e e dans la communaut scientique franaise, mais peut-tre considr comme peu pertinent si on e c e ee travaille, par exemple, ` Moscou). On pourrait, en caricaturant un peu, dire que le travail du a mathmaticien est justement, de rsoudre ledit probl`me. Le rsultat de ce travail est dailleurs e e e e souvent aussi utile aux physiciens. On peut souhaiter se convaincre que la rsolution du probl`me e e de la dnition donnera au mathmaticien des outils prcieux, qui lui permettront de discuter e e e avec le physicien, sans sexposer au risque de le vexer, par exemple par une armation ` lema porte pi`ce du type : e Mais bon sang ! Tout ceci nest pas bien dni !. e En tout cas, cest ce probl`me de la dnition que ce document se propose de rsoudre, en e e e prsentant, dans des termes mathmatiques pragmatiques et sans prtention ` la nouveaut, les e e e a e mod`les mathmatiques de la physique (exprimentale) moderne. Ce travail se veut accessible e e e au plus grand nombre, dans la limite du raisonnable, cest ` dire aux tudiants et chercheurs en a e mathmatiques ` partir du Master. Les outils mathmatiques ncessaires ` la comprhension du e a e e a e texte sont fournis dans un chapitre spar, pour ne pas alourdir la prsentation. e e e Il est bon de commencer par une dnition mathmatique de la notion de thorie physique, e e e qui na aucune valeur philosophique ni pistmologique, mais qui sera susamment prcise pour e e e les besoins de cette introduction. Notre but est ici de prciser ce que ce document propose et ce e quil ne fournit pas. 7

CHAPITRE 1. INTRODUCTION

Denition 1. Une exprience est un couple E = (A, O) form dune liste A dactions ` raliser e e a e et dune liste O dobservations (ou mesures) ` faire pendant ou apr`s ces actions qui porteront a e sur des objets ou phnom`nes de la nature, et qui ont t ralises et peuvent-tre rptes. On e e ee e e e e ee consid`re quune liste (ncessairement nie car ralise) dexpriences est aussi une exprience. e e e e e e Une modlisation M de lexprience E est un objet mathmatique qui contient des informations e e e sur les actions et les observations de lexprience, lien quon notera E M. Un principe physique e P est un nonc qui porte sur la modlisation M dune exprience E, et notamment sur les liens e e e e entre les ensembles M(A) et M(O) dinformations modlisant les dactions et observations e de lexprience. Une thorie physique est un quadruplet T = (E M, P) form dune (liste e e e d)exprience(s) E, lie(s) par un lien ` une modlisation M, et dun principe physique P e e a e portant sur M tel que le principe physique soit conforme ` lexprience, i.e., tel que le lien a e fourni entre les informations sur les actions et celles sur les observations par le principe ne soit pas contradictoire avec les expriences dj` ralises. Une bonne 1 thorie physique est une e ea e e e thorie qui permet de prdire, en appliquant le principe P ` la modlisation M le rsultat de e e a e e lexprience E. e Lart de la physique est donc de trouver une modlisation pour les expriences ainsi quun e e principe physique qui permettra de faire des prdictions. On consid`re que la description prcise e e e du lien entre la modlisation mathmatique M et lexprience E (ordres de grandeur, simplie e e cations, etc...), si elle na pas de justication mathmatique thorique lie au mod`le considr, e e e e ee est du ressort du physicien. On peut maintenant dnir la physique na e vement de la mani`re suivante. e Denition 2. La physique est laccumulation des thories physiques T = (E M, P) et de e lensemble des concepts qui permettent de les relier. Un outil prcieux pour le physicien thoricien est, ` notre got, lactivit dintuiter les e e a u e concepts qui permettent de relier les direntes thories physiques entre elles. e e Un exemple typique de concept physique dune richesse exceptionnelle est le concept de particule. La dualit onde-corpuscule montre ` quel point ce concept relie des thories/expriences e a e e qui a priori nont pas grand chose en commun. Les concepts datomes, dlectrons, de protons ` e et de neutrons fournissent aussi les liens entre de nombreuses thories dont les expriences nont e e pas de lien vident, comme par exemple, la chimie molculaire, llectronique, et la radioactivit. e e e e Notre dnition de thorie physique tant donne, on peut dire que ce document ne prsente e e e e e que tr`s partiellement les thories physiques quil aborde. Son objectif est de fournir ` ses lecteurs e e a mathmaticiens les outils pour comprendre les objets mathmatiques qui apparaissent dans les e e modlisations M de certaines thories de la physique moderne T = (E M, P), ainsi que les e e noncs des principes P de ces thories. On donnera de brves indications sur les expriences e e e e e qui permettent de valider les principes de ces thories et de les utiliser dans la vie courante. e Pour une introduction plus physique, relativement compl`te, aux bases mathmatiques de la e e physique, on se rf`re au bel ouvrage de Penrose [Pen05]. On utilisera aussi normment le livre ee e e
On sintresse uniquement ici ` la qualit formelle. On pourra ajouter ` la dnition dune bonne thorie e a e a e e physique les conditions plus subjectives suivantes : elle est accepte par les pairs, elle est plus simple et compacte e que les thories prcdentes avec de meilleures prdictions et elle englobe un ensemble plus grand dexpriences. e e e e e
1

 1.2. MODELISATION ET DEUX PRINCIPES DE LA PHYSIQUE

de Folland [Fol08] pour aborder les aspects mathmatiques des thories quantiques des champs. e e Remerciements : Lauteur remercie M. Bermudez de lui avoir (re)donn got ` la physique ` e u a a la faveur de discussions tumultueuses. Il a aussi bnci de cours dA. Connes au coll`ge de e e e e France et de discussions avec D. Bennequin, P. Cartier, S. Chemla, P. Dingoyan, M. DuboisViolette, G. Ginot, F. Helein, Y. Kosmann-Schwarzbach, L. Lazzarini, V. Minerbe, J. Oesterl, e G. Skandalis, W. van Suijlekom, A. Vinogradov, L. Vitagliano, J. Zinn-Justin. Il remercie aussi les membres du groupe de travail de physique, et tout particuli`rement les exposants : M. e Bermudez, L. Boutet de Monvel, P. Cartier, O. Gabriel, G. Godefroy, F. Helein, B. Jacob, L. Vitagliano, W. van Suijlekom. Il remercient enn lquipe Alg`bres dOprateurs ainsi que e e e lInstitut de Mathmatiques de Jussieu pour une ambiance stimulante et des conditions de e travail exceptionnelles.

1.2

Modlisation et deux principes de la physique e

La physique moderne utilise deux principes de base : 1. Le principe de moindre action, qui sapplique aux situations macroscopiques : on se donne une fonctionnelle S, appele action, qui dpend naturellement des trajectoires possibles e e pour un syst`me physique et les trajectoires physiques classiques sont celles qui minimisent e (ou extrmisent) laction. Cest la formulation lagrangienne de la physique classique. e 2. Le principe doscillation, qui sapplique aux situations microscopiques : on se donne la fonctionnelle P = eiS , appele phase, o` S est la fonctionnelle daction dun syst`me e u e macroscopique et les trajectoires physiques microscopiques oscillent naturellement autour des trajectoires physiques classiques (qui correspondent aux phases stationnaires) avec l amplitude de probabilit donne par la phase P . e e

1.2.1

Probl`me variationnels lagrangiens e

On choisit pour commencer dutiliser une version simplie des probl`mes variationnels lae e grangiens, qui pourront tre mieux formaliss (point de vue cohomologique de Vinogradov et e e ses confr`res) dans la section 6.6.7. e Denition 3. Un probl`me variationnel lagrangien est un tuplet e (I, X, JHom(I, X), WX , L : JHom(I, X) max T I) form des donnes suivantes : e e 1. un espace I appel espace des param`tres pour les trajectoires. e e 2. un espace X appel espace des coordonnes. e e 3. un espace JHom(I, X) muni dune projection JHom(I, X) I X, souvent donn par un e espace de jets dapplications I X, et appel espace des histoires. Ses lments pourront e ee . .. tre dcrits par des variables indpendantes de la forme (t, x, x, x, . . . ) ou (x, (x), (x), 2 (x), . . . ) e e e selon la situation.

10

CHAPITRE 1. INTRODUCTION 4. Une application J : Hom(I, X) Hom(I, JHom(I, X)) appele application des jets. e 5. un sous-espace WX Hom(I, X) appel espace des trajectoires du syst`me. Ce sous-espace e e peut tre une variable du probl`me, quon crira alors ventuellement WX,B , dtermine e e e e e e par des familles de conditions au bord du type (Jx)|b = Jb avec (a) B une famille de sous-espaces de lespace des param`tres pour les trajectoires I ape pele famille des bords, e (b) b B et Jb Hom(b, JHom(I, X)) des applications appeles jets aux bords. e 6. Une application appele densit lagrangienne e e L : JHom(I, X) max T I sur lespace des histoires ` valeurs dans les formes de degr maximal sur lespace de paa e ram`tres pour les trajectoires, ou plus gnralement une application e e e L : JHom(I, X) Dens(I) sur lespace des histoires ` valeurs dans lespace des densits sur I. a e

Un probl`me variationnel lagrangien tant donn, on peut naturellement lui associer la fonce e e tionnelle S : WX R donne par e S() =
I

L() :=
I

L J().

Lexemple le plus simple est celui o` I = [0, 1]. On a alors une identication entre JHom1 (I, X) u et la varit I T X. Le lagrangien est donc dans ce cas une fonction ee L : I TX R et si x : I X est un chemin, on lui associe une application I I T X donne par t e I R. Cest cette section que les (t, x(t), dt x.v1 ) o` v1 est un vecteur de base x de T I = u e . physiciens notent (x, x). On pourra aussi, pour avoir plus de exibilit, parfois remplacer lanneau R des valeurs pour e la densit lagrangienne par une autre R-alg`bre A, munie dune trace Tr : A R et/ou dune e e norme |.| : A R.

1.2.2

Principe de moindre action

Laction associe ` un probl`me variationnel lagrangien est la fonctionnelle S : WX A e a e donne par e S(x) =
I

L(x).

Principe 1. (de moindre action) Les trajectoires physiques macroscopiques dun syst`me e variationnel lagrangien sont celles qui minimisent (ou plus exactement les extrmales locales de) e la fonctionnelle daction S, cest ` dire les solutions x de lquation aux drives partielles a e e e
S x (x)

=0

 1.2. MODELISATION ET DEUX PRINCIPES DE LA PHYSIQUE

11

1.2.3

Principe doscillation

La phase lagrangienne associe ` un probl`me variationnel lagrangien est la fonctionnelle e a e eiS : WX A donne par exponentiation complexe de laction. On suppose que S se dcompose e e en S = Slibre + Sint avec Slibre quadratique en les champs et leurs drives. e e Principe 2. (doscillation) Les trajectoires physiques microscopiques dun syst`me variatione iS reprsente lamplitude nel lagrangien sont toutes les trajectoires. La fonctionnelle de phase e e de probabilit dobservation des trajectoires. Plus prcisment, la valeur moyenne quantique dun e e e observable classique F : WX A est donne par lintgrale fonctionnelle e e F =
R F (x)eiS(x) [dx] R eiS(x) [dx]

:=

(F.eiSint )( J ).e 2 J.Slibre .J i J.S 1 .J eiSint ( J ).e 2 libre

.
J=0

La dnition formelle prcise de cette expression est tr`s dicile ` formuler (` cause du e e e a a 1 calcul de Slibre et des drives fonctionnelles formelles, qui ncessitent une rgularisation et des e e e e renormalisations compliques) et sera donne dans la section 4. e e

12

CHAPITRE 1. INTRODUCTION

Chapitre 2

Physique classique
On pourra avantageusement ouvrir le livre [Bh06] qui donne une tr`s bonne introduction u e mathmatique aux divers aspects de la mcanique classique. e e

2.1
2.1.1

Mcanique e
Version lagrangienne

Lexemple le plus simple de probl`me lagrangien est celui fourni par la mcanique lagrane e gienne classique : 1. On pose I = [0, 1] et on se xe une section unit de I {1} de T I I R. e = 2. Lespace des coordonnes X est une varit C , par exemple lespace euclidien R3 , la e ee sph`re S 2 o` lespace lorentzien R3,1 . e u 3. Le br JX = T X X est le br tangent. e e 4. Lespace des chemins WX sidentie ` C (I, X) (car une application x : I X induit une a application tangente T x : T I T X dont on peut prendre la valeur en la section unit e . pour obtenir (x, x) : I T X). 5. La densit Lagrangienne L = L : T X R.I est un lagrangien classique indpendant du e e temps, i.e., une fonction indpendante de la variable dans I (quon multiplie par la mesure e de Lebesgue I pour obtenir une densit). e Dans ce cadre, laction est donne par e
1

S(x) =
0

(L x)(t)dt

et on peut trouver ses extrmales en rsolvant lquation dEuler-Lagrange correspondante (si e e e le Lagrangien est susamment convexe : voir cours de Pansu). Ceci met essentiellement toutes les quation classiques des mcaniques newtoniennes et relativiste dans un cadre Lagrangien. e e On peut aussi formaliser la mcanique de la relativit restreinte dans ce cadre : lespace I est e e alors R+ (reprsentant le temps propre, i.e., celui que vous mesurez ` votre montre) et lespace e a 13

14

CHAPITRE 2. PHYSIQUE CLASSIQUE

des phases X est lespace de Minkowski. Le lagrangien est la fonction L : T X R donne par e L(x, x) =
.

g(x, x)

o` g : T X R est la mtrique de Minkowski g(t, x) = ct2 x2 . Cest le lagrangien dont u e les extrmales sont les godsiques dans lespace de Minkowski. Les particules en mouvement e e e suivent donc les godsiques, dont la longueur est exactement le temps propre de la particule. e e

2.1.2

Traduction hamiltonienne

On se rf`re ` [Wikipedia :mcanique hamiltonienne] pour formuler nos axiomes. Cette traee a e duction hamiltonienne est utile pour quantier la mcanique classique non relativiste. e Denition 4. Un probl`me variationnel hamiltonien est un tuplet e
(I, P, WP , H : P R, {, } : CP CP CP )

form par les donnes suivantes : e e 1. Un espace de param`tre pour les trajectoires I qui est souvent un intervalle de R mais e peut aussi tre lespace de Minkowski R3,1 . e 2. Un espace P appel espace des phases. Les fonctions sur P sont appeles les observables. e e 3. Un ensemble WX Hom(I, P ) de trajectoires dans lespace des phases. 4. Une fonction H : P R appel Hamiltonien, et qui reprsente lnergie du syst`me. e e e e 5. Un crochet de Poisson
1 {, } : CP CP CP .

Si x : I P est une trajectoire dans lespace des phases, et f C (P ) est un observable, les quations dHamilton pour f le long de x sont donnes par e e (f x) = {H, f } x. t De nombreux exemples de probl`mes variationnels hamiltoniens portent sur des trajectoires e dans un espace de phases P qui est lespace cotangent P = T X ` un espace X appel espace des a e coordonnes du syst`me. Dans ce cas, les points de P sont nots (q, p) et le crochet de Poisson e e e sur les fonctions sur lespace des phases est dni de la mani`re suivante. On munit P = T X e e de sa forme symplectique canonique donne par e : T (T X) T (T X) RT X , quon peut voir comme une section 2 (T X) de la forme = d avec 1 (T X) donne par (v) = D(v) R o` v T (T X) est une section du br tangent ` T X et e u e a X) T X est la direntielle de : T X X. Si f C (T X), on dnit le champ D : T (T e e de vecteur hamiltonien correspondant f T (T X) sur T X par lquation e (f , .) = df
1

Ou, de mani`re quivalente, un bivecteur 2 T M tel que [, ]SN = 0 (voir la section 6.2.7). e e

 2.2. THEORIE DES CHAMPS

15

dans 1 (T X). Le crochet de Poisson {., .} : C (T X) C (T X) C (T X) est alors donn e par la drive de Lie le long de f de g , i.e., e e {f, g} = Lf (g ). Denition 5. Si on se donne un probl`me variationnel lagrangien classique de type e (I, X, JX, WX , L : JX A) = (I, X, T X, WX , L : T X R) o` I est un intervalle de R, X est un espace de coordonnes et T X sont br tangent, et quon u e e suppose de surcroit que (hypoth`se de convexit du lagrangien) e e pour tout q X, lapplication L(q, .) : Tq X R, . . donne par q L(q, q) est convexe, e on peut lui associer naturellement un probl`me variationnel hamiltonien despace des phases e P = T X en posant . L(q, q) (q, p) = (q, ) . q . et H(q, p) la transforme de Legendre de L(q, q) donne par e e H(q, p) := sup p(q) L(q, q).
qTq X
.

Sous des hypoth`ses de convexit un peu plus fortes, on peut retrouver le lagrangien en e e refaisant une transforme de Legendre sur lhamiltonien. e

2.2
2.2.1

Thorie des champs e

Mcanique des champs classiques e

Un champ classique est une section dun br p : F M sur une varit M de dimension e ee n munie dune mesure. On notera F le faisceau des sections de F . Un champ est donc une section globale F(M ). Par exemple, le potentiel electromagnetique A est un tel champ classique section du br F = T M des 1-formes direntielles, i.e., A 1 (M ). e e Un probl`me variationnel de champs classiques sur (M, V ) est un probl`me variationnel e e lagrangien de la forme
n (I = M, X = F, JHom(X, F ) := Jp (X, F ), WX = p (X, F ), L : JHom(X, F ) n T M )

dans lequel 1. lespace de param`tre pour les trajectoires I est la varit M , le plus souvent Lorentzienne e ee (i.e., lespace temps). 2. lespace des coordonnes est lespace br X = F . e e 3. lespace des phases est JHom(X, F ) est lespace des jets de section du br p : F M e (dordre 1 ou 2, rarement plus). 4. lespace des trajectoires WX est lespace p (X, F ) des sections du br F sur X. e nT M . 5. la densit lagrangienne est une fonction L : JHom(X, F ) e

16

CHAPITRE 2. PHYSIQUE CLASSIQUE

2.2.2

Llectromagntisme local e e

Un exemple physique de telle donne lagrangienne est celle donne par le potentiel electroe e 1 (M ) sur lespace de Minkowski M = R4 (muni de sa mtrique lorentzienne magntique A e e g) avec F = T M . On peut le voir comme minimisant laction du lagrangien L de lelectromagntisme e Lem : J 1 (M, T M ) 4 T M. Les quations dEuler-Lagrange correspondantes sont les quations de Maxwell (sur le champ e e 2 (M ) qui drive du potentiel lectromagntique A) donnes par lectromagntique F = dA e e e e e e dF = 0 d F = J o` J 3 (M ) est une 3-forme qui dsigne la densit de charge-courant (vriant la loi de conseru e e e J = 0) et d : 2 3 est ladjoint de d pour la mtrique lorentzienne g, vation de la charge d e i.e., g(d , ) = g(, d). On suppose que F drive dun potentiel A 1 (M ), i.e., F = dA. Le e lagrangien de llectromagntisme est donn par e e e Lem (A, A) = ( A) ( A) + A J o` : 2 (M ) 2 (M ) est ladjonction pour la mtrique, i.e., g(()(v), w) = g(v, (w)). u e On relie ce mod`le ` lexprience en choisissant une dcomposition temps/espace M = T N e a e e de lespace temps et en dnissant les champs magntiques et lectriques EA 1 (N ) et BA e e e 2 (N ) par lquation e dA = BA dt EA . On obtient alors comme densit lagrangienne e L(A, A) = quand la source J vaut zro. e |EA |2 |BA |2 c2

2.2.3

La relativit gnrale e e e

Principe 3 (Principe de relativit). Lexpression du rsultat dune exprience physique ne e e e doit pas dpendre du rfrenciel dans lequel on lexprime et la vitesse de la lumi`re est une e ee e constante universelle. Si on formule ce principe pour des rfrenciels en mouvement uniforme ee (non acclr) les uns par rapport aux autres, il sappelle principe de la relativit restreinte. Pour ee e e les rfrenciels en mouvement acclr, on parle du principe de relativit gnrale. ee ee e e e e Une des consquences de ce principe est labandon de la notion de simultanit. e e e

 2.2. THEORIE DES CHAMPS La relativit gnrale dans le vide e e e

17

Pour la relativit gnrale, on consid`re le champ g F(M ) := Sym2 (1 )(M ) donn par e e e e e 3,1 une mtrique lorentzienne sur une varit M de dimension 4. On dnit ensuite le lagrangien de e ee e Einstein-Hilbert LEH : J 2 (M, F ) R donn par e
2 LEH (g, g, g) =

1 2 R(g, g, g) 2

e o` = 8G est une constante universelle et R est la courbure scalaire de g, et lquation u c4 dEinstein est lquation dEuler-Lagrange de ce lagrangien. Cest une quation non linaire en e e e 2 (g, g, g). Denition 6. Une varit mtrique est un couple (X, g) form dune varit X et dune mtrique ee e e ee e g sur le br tangent, cest ` dire une section globale du br Sym2 1 des 2-formes symtriques e a e e X non dgnres. e e ee Plus gnralement, une mtrique sur un br F est une section globale de Sym2 F . e e e e Rappelons quune connexion sur un br F sur une varit relative X/S est un morphisme e ee : F 1 OS F X/S tel que (gf ) = g (f ) + dg f. Une connexion ane est une connexion sur le br tangent dune varit. e ee Soit : T T 1 une connexion ane. On dit que la connexion ane est sans torsion si
xy

yx

= [x, y].

Ici, x End(T ) est dni par x := (evx idT ) o` evx : 1 = T RX est lvaluation e u e dune forme direntielle en le champ de vecteur x. e On dit quelle respecte la mtrique (ou que la mtrique est parall`le pour ) si e e e g = 0. Ceci signie quon fait la construction tensorielle (Sym2 1 , ) ` partir de (T , ) et quon a souhaite que la connexion induite sur cette construction tensorielle annule la section g correspondant ` la mtrique. Plus prcisment, pour tout champs de vecteurs X, Y et Z, on a a e e e dZ g(X, Y ) = g(
Z X, Y

) + g(X,

ZY

).

Thor`me 1. Il existe une unique connexion sans torsion et qui respecte la mtrique sur le e e e br tangent. e

18 Dmonstration. Comme g respecte la connexion e (X, Y, Z), on a dZ g(X, Y ) = g( dX g(Z, Y ) = g( dY g(X, Z) = g(

Z X, Y X Z, Y

CHAPITRE 2. PHYSIQUE CLASSIQUE , pour tout triplet de champs de vecteurs ) + g(X, ) + g(Z, + g(X,
ZY XY

) )

Y X, Z)

Y Z).

Si on fait la somme alterne de ces trois quations, on obtient lgalit e e e e dX g(Y, Z)+dY g(Z, X)dZ g(X, Y ) = g(
XY

Y X, Z)+g(

X Z

Z X, Y

)+g(

Y Z

Z Y, X)

dont on peut tirer, en utilisant le fait que la torsion est nulle, lquation e 2g(
X Y, Z)

= dX (g(Y, Z))+dY (g(Z, X))dZ (g(X, Y ))+g([X, Y ], Z)+g([Z, X], Y )g([Y, Z], X).

Comme g est non dgnre, ceci dtermine e e ee e de mani`re unique. On peut prciser cela en e e 1 donc on peut prendre son image par g 1 : 1 T pour obtenir disant que g( X Y, .) e X Y . On vrie alors que cest une connexion sans torsion et quelle respecte g. Cette connexion est appele la connexion de Levi-Civita ou encore connexion mtrique. e e On a donc construit une correspondance g
g

: T T 1 .

Maintenant, on associe ` ceci le tenseur de courbure de Riemann, not Rg . Cest la courbure a e usuelle de la connexion, cest ` dire a Rg :=
1

: T T OS 2 . X/S

On peut aussi voir Rg comme une 2-forme symtrique ` valeur dans End(T ) (car contrairee a ment ` la connexion de dpart, cest un oprateur OX -linaire), i.e., a e e e Rg End(T ) OX Sym2 1 . X La courbure de Ricci est simplement la trace Ric := Tr(Rg ) Sym2 1 . X On remarque que Sym2 1 HomO (Sym2 T , O) HomO (T 2 , O) HomO (T , 1 ) = = donc la courbure de Ricci donne un morphisme Ric : T 1 . X Dautre part, la mtrique g est un morphisme g : T 1 et son inverse g 1 : 1 T . La e courbure scalaire est obtenue en contractant la courbure de Ricci avec la mtrique, cest ` dire e a Rscal (g) := Tr(g 1 Ric)

 2.2. THEORIE DES CHAMPS avec g 1 Ric End(T ). Le lagrangien de Einstein-Hilbert dans le vide est donn par e
2 LEH,vide (g, g, g) = Rscal (g).

19

Il est aussi commun retirer ` ce lagrangien un terme constant R appel constante cosmoloa e gique. Ce terme permet de modliser le dcallage vers le rouge dans lobservation du dcalage e e e du spectre de lhydrog`ne des toiles lointaines que les physiciens interpr`tent comme un signe e e e de lexpansion de lunivers. Lquation dEuler-Lagrange de LEH,vide est appele quation dEinstein dans le vide et e e e scrit, dans Sym2 (1 ), par e 1 Ric(g) Rscal (g)g = 0. 2 Action de Palatini et de Cartan Remarquons quil nest pas ncessaire dutiliser la connexion de Levi-Civita pour calculer les e quations dEinstein. En eet, la courbure de Riemann peut-tre considre comme le terme de e e ee 2 g du jet dordre 2 de la mtrique g, qui est une section du br : Sym2 T X plus haut degr e e e X. Ce terme dordre 2 nest cependant pas canoniquement dni dans les sections de J 2 () X e donc il est peut tre ncessaire de considrer que le lagrangien dpend de deux donnes : une e e e e e mtrique et une connexion, et que les couples (g, ) extrmaux pour laction vrient = g . e e e Laction de Palatini porte sur un couple (g, ) form dune mtrique lorentzienne sur M et e e dune connexion sur le br tangent de M . Elle est gale ` laction dEinstein (ou on remplace e e a la connexion de Levi-Civita par la connexion donne) : e L(g, ) = Rg ( ) . La condition dannulation de la direntielle de S = L par rapport ` e a implique que si (g, ) est une trajectoire classique (point critique de S), la connexion est la connexion de Levi-Civita de g. La condition dannulation de la direntielle de S par rapport ` g implique e a les quations dEinstein pour g. Lavantage de laction de Palatini est quon peut lcrire sans e e conna lexistence et lunicit de la mtrique de Levi-Civita. Sa dnition ne ncessite donc tre e e e e aucun autre connaissance que celle de la notion de contraction dun tenseur par une mtrique e et de connexion sur le br tangent. e Laction de Cartan est tr`s proche de celle de Palatini et leurs donnes sont dailleurs e e quivalentes. La donne de la mtrique sur T M permet de considrer le O(n) br P O(T M,g) e e e e e des rep`res orthogonaux sur T M pour g donn par les isomtries entre les brs quadratiques e e e e (T M, g) et (M Rn , glorentz ). Cest un sous br du GLn -br PT M = Isom(T M, M Rn ) des e e rep`res de T M , qui est suppos O(n)-stable. La donne de ce sous-O(n)-br e e e e e : P O(T M,g) PT M est appele la donne dun rep`re mobile par Elie Cartan. On peut voir cela conceptuellement e e e en disant quun rep`re mobile est simplement un sous-O(n)-br principal e e e : P O PT M .

20

CHAPITRE 2. PHYSIQUE CLASSIQUE

Dans les notations de Cartan, on choisit un O(n)-br principal P O sur M , et on note V le br e e sur M associ ` la reprsentation standard de O(n). On peut ensuite associer au rep`re mobile ea e e e : P O PT M une application e : TM V que Cartan appelle le rep`re mobile. On garde la mme notation car les deux e sont des donnes e e e quivalentes. e Elle est quivalente ` celle dune mtrique sur T M car les sections locales de P(T M,g) sont des e a e isomorphismes de brs T U U Rn sur des ouverts U de M qui permettent de transporter e = la mtrique lorentzienne de Rn sur T U . La condition dtre un sous-O(n)-br garantit quon e e e peut recoller ces mtriques en une mtrique sur T M . e e La donne dune connexion sur T M induit une connexion A sur son br des rep`res PT M e e e et ces deux donnes sont quivalentes. e e On peut ensuite crire le lagrangien de la relativit gnrale en fonction du rep`re mobile e e e e e e : T M V et de sa connexion A par L(e, A) = (e e dA), avec une contraction naturelle lie ` la structure dalg`bre de Lie de O(n). A un changement e a e de variable pret, cette action de Cartan pour M de dimension 3 est quivalente ` laction de e a Chern-Simons (mme quations du mouvement) qui est une thorie topologique des champs (ne e e e dpendant pas dun choix de mtrique et invariante par diomorphisme de M ). Sa fonction de e e e rpartition donne des invariants topologiques, de type polynme de Jones, pour les varits de e o ee dimension 3. Un point intressant est quon peut gnraliser directement cette construction ` des brs e e e a e principaux sous le groupe spinoriel, ce qui permet dcrire le lagrangien de la gravit couple ` e e e a la mati`re fermionique. e La relativit gnrale avec mati`re e e e e Si (M, g) est une varit Lorentzienne, g Sym2 (1 ) tant xe, on peut se donner des ee e e champs de mati`re ou dinteraction, i.e., des sections dun br donn F sur M . Si le br a un e e e e M comme dans le cas du potentiel lectromagntique), lien avec la mtrique (par exemple, si F = T e e e on peut combiner les deux pour crire un lagrangien qui portera sur les jets de sections F(M ) e de F sur M . On a alors un lagrangien Lmat,g : JHom(M, F ) 4 T M qui dpend de g et de . On peut aussi tendre Lmat,g ` e e a Lmat : JHom(M, F Sym2 T M ) 4 T M, ce qui rend la dpendance en la mtrique plus claire. Si on lui ajoute le lagrangien de Einsteine e Hilbert dans le vide tendu au mme espace de jets, on obtient un lagrangien Ltot = Lmat +Lvide e e et une action S(, g) qui dpend de la mtrique g et du champ de mati`re/nergie . Rsoudre la e e e e e relativit gnrale en prsence de mati`re, cest trouver une extrmale (0 , g0 ) de cette action. Les e e e e e e

 2.2. THEORIE DES CHAMPS

21

quations dEuler-Lagrange, appeles quations dEinstein en prsence de mati`re, font intervenir e e e e e le tenseur dnergie impulsion T (g, ) Sym2 (1 ) dont la dnition dpend du lagrangien de e e e mati`re Lmat (g, ). Elles portent sur les sections (g, ) de Sym2 (1 ) F et scrivent e e 1 8 Ric(g) Rscal (g)g = 4 T. 2 c Applications physiques On se rf`re ` Arthur L. Besse [Bes08] chapitre 3, et Landau-Lifchitz [LL66] pour plus de ee a dtails sur les calculs des solutions des quations dEinstein. e e Les mod`les de Schwartzshild et de Kerr. Prihlie de Mercure et dcallage de la lumi`re e e e e e dune toile par le soleil. e On pose maintenant M = R4 (RB 3 ) o` RB 3 dcrit la trajectoire dun astre sphrique (le u e e soleil) de masse importante m. Lquation dEinstein dans le vide pour une mtrique ` symtrie e e a e sphrique autour de 0 R4 dnie sur M R4 ont t rsolues par Schwarzschild (1916) et leur e e ee e solution est donne par e ds
2

2Gm 1 rc2

c dt +

2Gm 1 rc2

dr2 + r2 d2

en coordonnes sphriques avec m la masse du soleil et G la constante cosmologique de Newton. e e Ltude des godsiques dans ce mod`le explique lexprience suivante : on attend une clipse e e e e e e solaire totale et on suppose que les astres du syst`me solaire ont une masse ngligeable par e e rapport au soleil. On observe la lumi`re de deux toiles tr`s loignes du syst`me solaire situes e e e e e e e derri`re le soleil. Lcartement entre les deux toiles semble tre plus important que celui quon e e e e observe dhabitude. Ceci vient du fait que les rayons lumineux des toiles suivent une godsique e e e de la mtrique de Schwarzschild au voisinage du soleil et que cette godsique rend leur trajectoire e e e courbe. On peut comprendre cette exprience de mani`re image en en prsentant une autre e e e e ralisable chez soi sans outillage important. On tend un lm plastique sur une poubelle circulaire e et on y dpose une bille de plomb (le soleil). Cette masse importante courbe lespace (le lm e plastique). Si on lance une bille de verre lg`re (la lumi`re) dans une direction sur le lm e e e plastique, sa trajectoire va se courber et suivre une godsique de la surface du lm plastique. e e On remarque qua partir dune certaine distance r0 du centre de lastre (attention, cette 2 distance nest pas observable et na donc rien de physique) telle que r0 c = 3m, les godsiques e e G de la mtrique sont incluses dans R S(0, 3m), i.e., se dplacent spacialement dans la sph`re e e e appele horizon du trou noir. Si un rayon de lumi`re part de lintrieur de cette sph`re, il est e e e e ncessairement dirig vers le centre de la sph`re, ce qui fait que toute godsique de type espace e e e e e a ` lintrieur du trou noir sera dirige vers le centre de lastre. e e

2.2.4

Thorie de Kaluza-Klein e

Le but de la thorie de Kaluza-Klein est de donner une combinaison de la thorie de la e e relativit gnrale avec la thorie de llectromagntisme. Cette construction utilise un espace e e e e e e de dimension 4 + 1 = 5 localement donn par un produit M S 1 . e

22

CHAPITRE 2. PHYSIQUE CLASSIQUE

Soit M une varit de dimension 4 munie dun U (1)-br principal p : P M . On se xe ee e une mtrique sur U (1) qui est U (1)-invariante. On munit P dune mtrique gP : T P T P RP e e quon suppose aussi U (1)-invariante. La longueur dune bre de P (isomorphe ` U (1)) pour cette a mtrique est note P . La mtrique sur P induit une connexion de Levi-Civita sur T P . Cette e e e connexion induit une dcomposition T P = T Ph T Pv o` T Pv = Ker(dp) sont les vecteurs e u tangents verticaux. On suppose que la restriction de gP aux bres de T Pv donne la mtrique e xe sur U (1) et que la restriction aux bres de T Ph T M est une mtrique lorenztienne g sur e e = M . Le lagrangien est donn par e L(gP ) = R(gP )vol(gP ) o` R est la courbure scalaire. La courbure scalaire se dcompose alors en coordonnes en u e e R(gP ) = p (R(g) et si on int`gre sur les bres, on obtient laction e S(gP ) :=
P

2 2 |F | ) 2

L(gP ) =
M

(R(g)

1 |F |2 )vol(g). 2

Si on xe g et quon varie cette action par rapport ` la primitive A de F , on obtient la thorie a e de Maxwell. Si on xe F et quon fait varier la mtrique g, on obtient lquation dEinstein avec e e tenseur dnergie lectromagntique. e e e

2.2.5

Sigma-mod`le e

Un sigma mod`le est dni en posant I = M (souvent lespace temps) comme espace de pae e ram`tres pour les trajectoires et X = A comme espace de coordonnes avec A une varit munie e e ee dune mtrique et appele espace darrive ou espace but. Le champ est alors une application e e e : M A, quon voit comme une trajectoire. Le lagrangien L : J(M A) R est dni par e 1 L(x) = g( x, x) V (x) 2 avec V : X R un potentiel et le lagrangien rond sur les champs est donn par e 1 L() = g( , ) V (). 2

2.2.6

Cordes classiques et lagrangien de Polyakov

Dans la thorie des cordes classiques (qui jouent le rle des champs), on pose I = une e o surface de Riemann et X = (Sym2 T )A avec A un espace darrive (par exemple M S 1 avec e M lespace temps usuel dans un cas comme Kaluza-Klein) muni dune mtrique G : T A T A e RA et (Sym2 T ) le br des mtriques g : T T R sur la surface . Les champs (ou e e trajectoires) sont les applications (g, x) : I = X = (Sym2 T ) A et le lagrangien de Polyakov est x x )G . L(g, x) = g ab ( a , b

 2.3. THEORIE DE JAUGE

23

On peut voir ceci algbriquement de la mani`re suivante. Soit G : T A T A et g : T T e e les (iso)-morphismes de brs induits par les mtriques. On note g 1 : T T linverse de g e e et x G = G (Dx Dx) : T T le tir en haut sur de G. On consid`re lendomorphisme e e 1 (x G) End(T ) (appel par les physiciens la contraction des mtriques lune sur lautre) g e e et Le lagrangien est donn par la formule e L(g, x) = Tr(g 1 (x G)) R , quon peut intgrer le long de la forme volume sur induite par G pour obtenir laction. e Si on xe x et quon fait varier g, les (x, g) qui minimisent laction sont ceux pour lesquels g = x G. Cependant, si on veut quantier, il est bon de pouvoir faire varier g et la voir comme une donne intrins`que ` la corde considre pour que sa valeur puisse osciller librement autour e e a ee de la phase stationnaire qui correspond ` g = x G. a On remarque ici que le lagrangien de Polyakov nest pas de mme nature que les lagrangiens e de la mcanique classique car il a vocation ` tre appliqu ` des surfaces de Riemann (et donc des e ae ea espaces de param`tres pour les trajectoires) I = variables. Il ncessite donc une formalisation e e plus gnrale que celle des probl`mes variationnels lagrangiens classiques. e e e

2.3

Thorie de Jauge e

La thorie de Jauge est une mthode qui permet de rendre les symtries des brs locales. e e e e Par exemple, le br trivial C M M admet pour groupe de symtries globales C . Une e e symtrie locale de ce br est une section locale du br C M , cest ` dire une fonction e e e a avec U M ouvert. g:U C La formalisation mathmatique de cette situation fait intervenir un br principal P M e e de bre C et une connexion sur P , cest ` dire une 1-forme A sur M ` valeurs dans Lie(G). Si a a on trivialise P sur un recouvrement ouvert Ui de M , la forme de connexion est une collection de sections des brs T Ui Lie(G) Ui qui sont relies entre elles par des actions locales e e de groupes gij : Ui Uj G sur les Ui Uj . Ces actions locales de groupes sont appeles les e transformations de Jauge.

2.3.1

Thorie de Yang-Mills e

Le champ lectromagntique F 2 (M ) nest en gnral que localement intgrable en un e e e e e potentiel A 1 (M ). La comprhension de ce qui se passe quand on passe dune primitive A ` e a une autre est appele thorie de Jauge par les physiciens. e e Denition 7. Une donne de Yang-Mills est un tuplet (M, g, G, P ) o` e u 1. (M, g) est une varit mtrique, ee e 2. G est un groupe de Lie, 3. P est un br principal homog`ne sous G sur M , e e On associe ` une donne de Yang-Mills le probl`me variationnel lagrangien donn par I = M , a e e e X = Conn(P )G = (T P R Lie(G))G et JX = J 1 Conn(P )G . Lespace des trajectoires est lespace

24

CHAPITRE 2. PHYSIQUE CLASSIQUE

WX = Hom(I, X) des sections de Conn(P )G , cest ` dire lespace des connexions G-principales a A 1 (P ) Lie(G). On note FA 2 (P ) Lie(G) la courbure dune telle connexion A. Le lagrangien L : JX C (M, R) est donn par e 1 L(A) = Tr(FA FA ), 2 o` Tr : Lie(G) R dsigne la trace sur lalg`bre de Lie. Laction correspondante est u e e S(A) = 1 2 Tr(FA FA )dg .
M

La trajectoire qui minimise cette action est un potentiel A (1 (P ) Lie(G))G . La thorie de llectromagntisme de Maxwell se formule avantageusement en la voyant e e e comme une thorie de Yang-Mills pour G = U (1) sur un U (1)-br principal donn P . Le e e e potentiel qui le minimise est le potentiel lectromagntique A. e e

2.3.2

Thorie de Jauge avec mati`re e e

Denition 8. Une thorie de Jauge avec mati`re est un tuplet e e (M, g, U, E, G, P, V, EV , Lloc , Ljauge ) o` u 1. (M, g) est une varit mtrique, ee e 2. U T MC est une structure spinorielle, i.e., un sous-br tel quon ait un isomorphisme e despaces quadratiques entre lespace hyperbolique (U U , gU ) et lespace quadratique (T MC , g) (on a alors que S = U est une reprsentation de lalg`bre de Cliord appele e e e reprsentation spinorielle double), e 3. E est un br vectoriel naturel sur M (i.e., un br dans la catgorie tensorielle engendre e e e e par T M et ResC/R U , et dont lextension de scalaires ` C est donc naturellement muni a dune mtrique induite par g et dune connexion), e 4. G est un groupe de Lie, 5. P est un br principal homog`ne sous G sur M , e e 6. V est une reprsentation de G respectant une forme bilinaire gV , e e 7. EV := (V P )/G est le br vectoriel associ ` la reprsentation V , e ea e
1 8. L : J (Conn(P ) M (E EV )) max T M est une densit lagrangienne de la forme e

L(A, V ) = Lloc (A, V ) + Ljauge (A) avec Ljauge (A) = 1 Tr(FA FA ) un lagrangien de Yang-Mills et Lloc (A, V ) un 2 lagrangien localement invariant de jauge dni en utilisant la drivation covariante e e
A,g

:=

id + id

: E EV E EV 1 , M

et la mtrique g. e

 2.3. THEORIE DE JAUGE

25

Dans le cas des particules bosoniques (voir plus loin), le lagrangien localement invariant de jauge est un lagrangien de Klein-Gordon de masse m de la forme 1 1 Lloc (A, V ) = g( A,g V , A,g V ) m2 g( V , V ). 2 2 On remarque que si on est sur lespace de Minkowski plat M muni de sa connexion canonique , on peut dcomposer le lagrangien localement invariant de jauge en utilisant +e.A e A,g = avec A la 1-forme de connexion et e la constante de couplage correspondante (coecient quil est utile de faire varier). Ceci donne Lloc (A, ) = Lglobal () + Lint (A, ) avec 1 Lglobal () = g( , 2 le lagrangien globalement invariant de jauge et Lint (A, ) = e.g(A, le lagrangien dinteraction.

1 ) m2 g(, ) 2 e2 .g(A, A) 2

) +

2.3.3

Le processus de xation de jauge

Fixer la jauge dans une thorie de Yang-Mills, cest se donner une section s : M P du e br principal de la thorie (qui si elle nexiste pas globalement va induire ce que les physiciens e e appellent une anomalie). Ceci permet de paramtrer les orbites du groupe de jauge sur les brs e e considrs par la section choisie, et dainsi crire des formules qui ne necssitent pas de travailler ee e e avec des classes dquivalences de champs modulo symtries de jauge, plus diciles ` manipuler. e e a Cependant, le fait de xer une section du br principal rend les constructions qui en e dpendent non invariantes par diomorphisme de lespace temps (on dit aussi non covariantes), e e et la correction de ce probl`me de covariance demande un travail important qui sera abord dans e e la section 4.3. On remarque au passage quune transformation de jauge est une transformation entre deux sections (ventuellement locales) donnes du br principal de la thorie de Yange e e e Mills, cest ` dire une fonction (eventuellement locale) f : M G permettant de passer de lune a a ` lautre par multiplication externe de G sur P . On remarque que du point de vue de lintgrale fonctionnelle, la xation de jauge est e donne par une quation (ou famille dquations) aux drives partielles qui rend la solution des e e e e e quations dEuler-Lagrange pour des conditions au bord donnes unique. En eet, lquation e e e dEuler-Lagrange dun lagrangien de Yang-Mills sans mati`re est de la forme e d (dA) = 0 et si on se xe des conditions au bord raisonnables, la solution de cette quation nest pas unique, e a ` cause des symtries de la situation. Il est ncessaire de se donner une condition additionnelle e e pour avoir une unique fonction de Green, condition quon appelle la xation de jauge, et qui peut prendre par exemple la forme div(A) = A = 0.

26

CHAPITRE 2. PHYSIQUE CLASSIQUE

2.4

Champs classiques fermioniques

On se rf`re ` la section 6.9.3 pour la thorie des alg`bres de Cliord. Lessentiel pour cette ee a e e section est le fait quon peut voir une section : M S du br spinoriel sur une varit e ee mtrique (M, g), appele champ fermionique, comme tant ` valeurs impaires. Ceci signie que e e e a lalg`bre des fonctions sur S est donne par (M, S ). e e Les physiciens consid`rent pour des raisons exprimentales que ces champs classiques ont e e des valeurs qui anticommutent. La quantication de tels champs est tr`s dirente de celle des e e champs bosoniques.

2.5

Particules classiques de mati`re et dinteraction e

On se rf`re au livre de Derdzinski [Der92] qui traite prcisment et de mani`re compl`te les ee e e e e champs de particules classiques du mod`le standard. On se base aussi sur lexpos plus court e e [Der93].

2.5.1

Un dictionnaire entre physique et gomtrie e e

On se donne une varit lorentzienne (M, g) appele espace temps. Les liens entre la physique ee e (classique) et la gomtrie peuvent tre rsums par le tableau suivant. e e e e e Physique Particule Etats (semi-)classiques de la particule (appels histoires par Feynman) e Etats physiques de la particule (appels solutions e ou espace des phases covariant) Symtries de lespace e Particule de mati`re libre e Geometrie Faisceau F sur M muni de structures gomtriques e e Sections du faisceau F Sections extrmales pour le lagrangien, e vriant les quations dEuler-Lagrange e e Le groupe de Lorentz SO(3, 1) Fibr vectoriel naturel complexe, i.e., e faisceau F localement libre sur CM,C Groupe spinoriel Spin(3, 1) SO(3, 1) (qui sidentie ` ResC/R SL2,C SO(Endherm,R (C2 ), ., . ), a Endherm,R (C2 ) = {B EndR (C2 )|(., B.) hermitienne}, : C2 C2 C la forme symplectique canonique) Poids (s1 , s2 ) de la reprsentation complexe e de Spin(3, 1)C SL2 = 2,C conjugu complexe du br F Fibr vectoriel F e e e somme directe F1 Fn morphisme surjectif F1 Fn F partant du produit tensoriel des brs e

Symtries des particules e

Spin dune particule Antiparticule dune particule de mati`re e Gnralisation de n particules e e Syst`me ` plusieurs particules e a

Pour pouvoir crire sereinement les lagrangiens libres des particules de mati`re, qui devraient e e

` 2.5. PARTICULES CLASSIQUES DE MATIERE ET DINTERACTION tre des applications e L : JHom (M, F ) max T M des jets de sections du br F M considr vers les formes intgrables sur M , ou encore e ee e L : JHom (M, F ) R, il convient de se donner une connexion

27

: F F 1 M

an de pouvoir dcrire concr`tement le jet dune section. On fera ce choix auxiliaire pour tous e e les brs vectoriels reprsentant les particules de mati`res rencontres. e e e e

2.5.2

Particules de spin 0

Si (F, ) est un br vectoriel naturel, et : 1 1 1 est une connexion (par exemple e celle de Levi-Civita de la mtrique g sur M ), son oprateur dAlembertien : F F est dni e e e par contraction de la drive seconde avec la mtrique : e e e () = Tr(g 1 ((

)).

Plus prcisment, linverse de la mtrique donne un isomorphisme g 1 : 1 TM et donc un e e e M isomorphisme g 1 id : 1 1 TM 1 End(TM ). M M M = Si on note

: F 1 F 1 1 , on peut crire e 1 M 1 M
g 1 id

loprateur e

:=

id + id )

((

End(TM ) F

et dappliquer la trace ` cette drive convariante seconde. Lquation de Klein-Gordon scrit a e e e e alors m2 c2 ( 2 ) = 0. Si on se donne une mtrique ., . (Riemannienne ou Hermitienne) sur F, on peut aussi crire le e e lagrangien de Klein-Gordon L() = 1 2

, +

m2 c2
2

Les particules de spin 0 et de parit 1 sont reprsentes par un br trivial CM et leurs tats e e e e e sont donc des fonctions. Les particules de spin 0 et de parit 1 sont reprsentes par le br e e e e en droite 4 ou par sa complexication 4 R C. Ces particules voluent selon lquation de e e M M Klein-Gordon.

28

CHAPITRE 2. PHYSIQUE CLASSIQUE

2.5.3

Particules de spin 1/2

Si (S, ) est un br naturel spinoriel, on dispose par dnition dune multiplication de e e Cliord c : 1 S S, M et loprateur de Dirac est simplement la composition e D =c

: S S.

On conviendra que la composition avec la multiplication de Cliord ou sa duale dun oprateur e D sera toujours note avec la barre de Feynman D. e Les particules de spin 1/2 qui distinguent une orientation de lespace vivent dans un br de e spineurs de Weyl Sw (i.e. demi-reprsentation complexe spinorielle du groupe spinoriel, contraie rement aux spineurs de Dirac qui sont dans la reprsentation standard complexe de lalg`bre de e e Cliord complexe, qui est une alg`bre de matrices) et vrient lquation de Weyl e e e D = 0 qui drive du lagrangien e 1 L() = Im (, D). 2 Les autres particules de spin 1/2 vivent dans un br de spineurs de Mayorana Sm (reprsentation e e relle du groupe spinoriel) et vrient lquation de Dirac e e e (D + qui drive du lagrangien e 1 mc L() = Im (, (D + )). 2 En pratique, sur M = R1,3 , Cli 1,3 (R) M2 (H) contient trois copies de ResC/R M2,C , dont = SL2,C . La reprsentation standard relle de Cli 1,3 lune contient le groupe spinoriel Spin(1, 3) = e e est H2 . Les matrices de Dirac, qui forment une base de lalg`bre de Cliord, sont donnes e e par une base de M2 (H). Un spineur de Dirac est un vecteur de la reprsentation standard e de Cli 1,3 (C) M4 (C), cest ` dire un lment de C4 . Cette reprsentation se dcompose en a ee e e = somme de deux reprsentations irrductibles C2 du groupe spinoriel Spin1,3 (R), quon appelle e e les spineurs de Weyl complexes droits et gauches. On remarque que la reprsentation C4 de e Cli 1,3 (C) peut-tre aussi vue comme lalg`bre extrieure sur un sous-espace H = C2 MC = C4 e e e qui rend la forme quadratique hyperbolique, i.e., tel que (MC , q1,3 ) (H H , ., . ). En eet, = End( H). On obtient ainsi dans cette situation, on a un isomorphisme naturel Cli 1,3 (C) = une autre mani`re de voir C4 comme e C2 [0 C2 2 C2 ] [1 C2 ] = [C C] [C2 ]. = La partie de degr impair de lalg`bre extrieure correspond aux spineurs de Weyl gauche et e e e celle de degr pair aux spineurs de Weyl droits. e mc ) = 0

` 2.5. PARTICULES CLASSIQUES DE MATIERE ET DINTERACTION

29

Le groupe spinoriel Spin(1, 3) est isomorphe ` ResC/R SL2,C (cest ` dire SL2 (C) vu comme a a groupe rel) et la representation spinorielle relle est S = ResC/R C2 (cest ` dire C2 vu comme ese e a pace vectoriel rel). Cest lespace vectoriel rel des spineurs de Majorana. On a donc Spin1,3,C e e = SL2,C SL2,C et SC = C2 C2 . Un champ de spineurs de Dirac est une fonction : M SC C4 = et laction de Spin(1, 3) sur ses valeurs le dcompose en ses deux composantes + : M C2 la e 2 particule (qui est un spineur de Weyl gauche complexe) et : M C lanti-particule (qui est un spineur de Weyl droit complexe). Un champ de spineurs de Majorana est une fonction :M S a ` valeurs dans les spineurs rels S = ResC/R C2 (qui sont accessoirement reprsents par des e e e couples de nombres complexes).

2.5.4

Interactions
sur un br principal P sous un groupe G. e

Une particule dinteraction est une connexion Elle doit extrmiser le lagrangien de Yang-Mills e L( ) =

1 Tr(R R ) 4g 2

avec g 2 une constante (qui ne sera parfois pas si constante que cela) appele constante de e couplage. La formulation des interactions se fait en utilisant le dictionnaire suivant, qui se base sur lide quon veut remplacer les symtries globales du lagrangien de mati`re, par exemple la phase e e e ei dans le lagrangien de Dirac pour les lectrons par des symtries locales ei(x) e e avec dpendant du point x de lespace temps. Si on se donne un br vectoriel naturel V e e avec action de Spin(3, 1) et une autre action du groupe de Jauge G (les symtries globales), ce e remplacement des symtries globales par des symtries locales se fait en remplaant V par e e c W = V G P avec P br principal sous G. Les sections de ce nouveau br sont dans (V C P)G avec V et e e P les sections locales de V et P , qui sont par exemple les champs dlectrons de lquation e e de Dirac et les champs de jauge lectromagntique (symtries locales). Ensuite, on construit le e e e lagrangien en utilisant une connexion variable sur le br principal, par exemple le champ de e photons A de llectromagntisme. e e Si on se donne une famille de lagrangiens libres (dcriture susamment simple) L1 (1 ), . . . , Ln (n ), e le lagrangien libre associ est obtenu en additionnant chacun des lagrangiens et il porte sur des e sections de la somme directe F1 Fn des brs considrs. Typiquement, parmi les champs, e ee il y aura des paires (, ) formes dun champ de mati`re et dun champ de jauge et si e e Llibre ()(x) = L0 ((x), (x)),

30 Physique

CHAPITRE 2. PHYSIQUE CLASSIQUE Geometrie Fibr vectoriel G non naturel sur M e (le br dinteraction) muni dune G-structure, e souvent dni comme br associ (V G P ) e e e avec P br principal sous G et V une e reprsentation (d`le) de G. e e Sections du br ane Conn(G) e des connexions G-quivariantes sur G e (ou de mani`re quivalente des connexions Conn(P ) e e sur le br principal P ). e Section de Conn(P ) dont les composantes le long des gnrateurs de lalg`bre de Lie sont toutes nulles sauf une. e e e Il y a autant de particules lmentaires dinteraction ee que de gnrateurs de lalg`bre de Lie du groupe de jauge. e e e Sections du br H(F, G) fonctoriel e en F et G, le plus souvent gal ` F G e a avec des connexions variable (champ de jauge)

Interaction

Transporteurs de linteraction

Particule lmentaire dinteraction ee

Particule de mati`re en interaction e

on obtient le lagrangien dinteraction en posant (une paire comme ci-dessus ayant t choisie) ee = avec une section du br non naturel G et e L(, ) = L0 (, (

))

1 R ,R 4

Chapitre 3

Physique quantique sans interactions

3.1 Premi`re quantication Hamiltonienne e

Pour des raisons historiques, on prsente les premi`res thories quantiques telles quelles e e e ont t penses par Heisenberg, Schrdinger et von Neumann entre autres. Ces mthodes de ee e o e quantication ncessitent des choix quun mathmaticien aura du mal ` trouver canoniques. e e a Le point de vue de lauteur est que les mthodes covariantes, qui sont plus fonctorielles et se e gnralisent mieux aux syst`mes relativistes ayant un nombre variable de particules, sont e e e plus satisfaisantes. Un passage par ces mthodes hamiltoniennes permet cependant une meilleur e comprhension des intuitions des physiciens. Le lecteur paresseux peut directement aller ` la e a section 3.3. On va utiliser systmatiquement la thorie spectrale dont un rsum se trouve dans la section e e e e 6.4.

3.1.1

Reprsentations des groupes de Lie et particules e

On utilise ici le dlicieux cours de Master de Bertrand Delamotte [Un soupon de thorie des e c e groupes : groupe des rotations et groupe de Poincar] ainsi que le livre de Derdzinski [Der92] e pour les cas des champs. Les groupes de Lie jouent un rle important de groupes de symtries des situations phyo e siques. Ils permettent dimposer des conditions si drastiques aux formules des lagrangiens quun lagrangien pour un type de particule donn est essentiellement unique, si on exige quil soit e invariant par les transformations donnes et quil soit le plus simple possible. e On rappelle que le groupe de Poincar est le produit semi-direct e P =V SO(V, g)

o` (V, g) est un espace vectoriel de dimension 4 avec une forme quadratique de type (1, 3). Les u physiciens utilisent sans doute sa version spinorielle donne par e Ps = V Spin(V, g). 31

32

CHAPITRE 3. PHYSIQUE QUANTIQUE SANS INTERACTIONS

Ses reprsentations irrductibles sont lies ` celles du groupe rel SU(2) R = Spin(3) R et e e e a e leur classication fait intervenir deux nombres quon appelle la masse (poids de laction de R ) et le spin (poids de la reprsentation de SU(2)). e La notation des physiciens pour les vecteurs des espaces de Hilbert est donne par les bra e et les kets : |x dsigne un vecteur dans un espace de Hilbert H et x| dsigne un vecteur dans e e le dual H (qui sidentie ` H par laccouplement sesquilinaire donn sur H). Les tats du a e e e syst`me sont alors des lments de lespace projectif de H, i.e., e ee P(H) := H/C . Lespace de Hilbert est muni doprateurs de projections Pi B(H) orthogonaux 2 ` 2 (ils e a projettent sur des sous-espaces dintersection nulle) appels r`gles de super-slections, tels que e e e les tats admissibles du syst`me ne puissent tre que dans limage dun de ces projecteurs. Un e e e exemple de tel oprateur est donn par la charge, car deux tats de charges direntes ne peuvent e e e e tre additionns (on ne peut observer deux charges direntes pour un mme syst`me). On peut e e e e e ainsi en gnral crire H = i Hi et les tats du syst`me sont les lments de lespace e e e e e ee P(Hi )
ens

car on ne peut additionner deux tats de super-selection (par exemple charge) dirente. e e Lespace de Hilbert H sera souvent muni de laction dun groupe de Lie G, i.e., dune application G L(H). Les vecteurs intressant de lespace de Hilbert H seront souvent donns e e par une sous-reprsentation R H. On notera par des kets {|x } une base choisie dans la e reprsentation R et par des bras la base duale { x|}. Les sous-reprsentations irrductibles de e e e R (ou les sommes de telles sous-reprsentations dun mme type x) sont ce que les physiciens e e e appellent les particules. Les invariants de ces reprsentations irrductibles (i.e., leurs plus haut e e poids) sont les invariants de la particule (par exemple, la masse, le spin,...).

3.1.2

Rappels de mcanique quantique Hamiltonienne e

On rappelle le point de vue de von Neumann/Schrdinger sur la mcanique quantique, quon o e peut trouver dans le bijou pdagogique de von Neumann [vN96]. Il est bon dinsister sur le fait e que la dnition dun syst`me quantique ne fait ` priori pas intervenir despace classique souse e a jacent. Le fait dassocier ` un syst`me hamiltonien classique (quon pourra voir comme un espace a e sous-jacent pour) un syst`me hamiltonien quantique est un art appel la quantication. e e Denition 9. Un syst`me de mcanique quantique est un tuplet e e (I, H, WH , H : H H, A) form des donnes suivantes : e e 1. un intervalle I de R qui param`tre lvolution dans le temps physique, e e 2. un espace de Hilbert H qui joue le rle de lespace des phases T X des probl`mes hamilo e toniens, et dont les lments de norme 1 sont les tats physiques du syst`me. ee e e

` 3.1. PREMIERE QUANTIFICATION HAMILTONIENNE

33

3. Une C*-alg`bre A Bsa (H) doprateurs borns autoadjoints sur H appels grandeurs, e e e e proprits ou observables du syst`me. ee e 4. deux ensembles dapplications WH Hom(I, H) et WA Hom(I, A) appels respectivee ment espace des volutions possibles pour les tats et les observables (analogue des espaces e e de trajectoires de la mcanique hamiltonienne classique). e 5. Un oprateur H : H H appel hamiltonien du syst`me. e e e Si A est un observable, les lments de son spectre Sp(A) R sont les mesures possibles pour ee la valeur de A, i.e., les nombres rels quon pourra obtenir en observant A avec une machine. Le e spectre Sp(A) est donc le spectre des mesures possibles pour la valeur de A. A partir dun syst`me de mcanique quantique, on dnit lespace E WH des volutions e e e e possibles des tats du syst`me comme les solutions de lquation de Schrdinger e e e o t0 = et t = Ht . 2i t

Ceci se traduit plus gnralement sur les volutions dobservables A. WA du syst`me par e e e e i A = [H, A], t

ce qui correspond ` la quantication na de la mcanique hamiltonienne obtenue en remplaant a ve e c le crochet de Poisson par les commutateurs (voir la section 3.1.3). On peut considrer que la mcanique quantique repose sur les principes physiques suivant, e e qui font le lien direct avec lexprience : e Principe 4. 1. Si A A B(H) est un observable (oprateur autoadjoint born) du syst`me e e e physique et [b, c] R est un intervalle, la probabilit quon trouve un nombre de lintervalle e [b, c] en mesurant avec un appareil la valeur de A B(H) sur le syst`me dans ltat H e e est P(A, [b, c]) := , 1[b,c] (A) . 2. Deux observables sont mesurables en mme temps si et seulement si ils commutent. e 3. Une mesure de lobservable A sur un tat change ltat en ltat A. e e e 4. Un projecteur P est un observable qui donne une proprit vraie ou fausse pour un tat ee e du syst`me. e Si R et S sont deux observables qui ne commutent pas, on leur associe loprateur P de e projection sur le noyau M du commutateur [R, S] (qui est un sous-espace ferm de H). Ce e projecteur correspond ` la proprit pour les deux oprateurs dtre mesurables simultanment. a ee e e e Si on suppose que M = {0}, ceci signie que R et S ne sont pas simultanment mesurables. On e peut se restreindre ` deux oprateurs comme les P et Q de la mcanique quantique qui sont lis a e e e par [P, Q] = 2i Id.

34

CHAPITRE 3. PHYSIQUE QUANTIQUE SANS INTERACTIONS

On peut alors valuer la dispersion des mesures de P et Q sur un tat en posant pour R = P, Q, e e d(R, ) = R R, . Ceci indique la dirence entre ltat R obtenu apr`s la mesure de R et ltat R, essene e e e tiellement quivalent ` (les tats physiques devant tre unitaires). On obtient alors la relation e a e e dincertitude dHeisenberg : 4 qui signie que moins la mesure de la valeur de P sur change ltat , plus la mesure de la e valeur de Q sur change ltat du syst`me donn. Ceci peut aussi se traduire en disant que e e e plus on mesure P avec prcision, moins on mesure Q avec prcision et rciproquement. e e e Remarquons que la thorie de llectromagntisme peut-tre vue comme une thorie quane e e e e tique en considrant que la forme direntielle A 1 (M ) sur lespace de Minkowski M qui e e donne le potentiel lectromagntique est une fonction donde sur R3 M qui dpend du temps e e e t. Lquation de Maxwell est alors tr`s similaire ` lquation de Schrdinger pour cette fonction e e a e o donde. d(P, ).d(Q, )

3.1.3

Quantication de Heisenberg/Schrdinger o

On dnit une ralisation classique du syst`me quantique Hq = (I, H, WH , WA , H : H H) e e e de la mani`re suivante : cest un syst`me lagrangien classique e e Lc = (R, I, X, T X, WX , L : T X R) comme dans la section 2.1.1, ou plutt le syst`me hamiltonien correspondant o e Hc = (R, I, X, T X, WX , H : T X R) comme dni dans la dnition 2.1.2 de la section 2.1.2, o` WX Hom(I, T X) est lespace des e e u trajectoires hamiltoniennes dans lespace des phases T X qui est une varit symplectique dont ee les fonctions sont munies dun crochet de poisson {., .} : C (T X) C (T X) R associ ` la forme symplectique . ea La relation entre les syst`mes classique et quantique Hc et Hq est donne par la mthode e e e suivante : 1. on pose H = L2 (X) et les tats sont les vecteurs de norme 1 dans H, e 2. on associe aux fonctions q C (X) les oprateurs (observables) Q = mq de multiplication e par q dans H. Les fonctions coordonnes sur X = R3 sont notes les qi . e e 3. on associe aux sections V T (X) du br tangent les oprateurs (observables) PV (.) = e e dV (.) de drivation de Lie le long du champ de vecteur V , donn par e e 2i dV (f ) = Df V : X R. Les drivations le long des coordonnes sont notes Pi . e e e

` 3.1. PREMIERE QUANTIFICATION HAMILTONIENNE 4. On souhaite plus gnralement disposer dun morphisme dalg`bres de Lie e e e : (A, {., .}) (End(H), [., .])

35

(o` A C (T X) est une sous-alg`bre des observables intressants du syst`me qui u e e e contient notamment lhamiltonien H, les fonctions coordonnes qi et les drives par rape e e . . port aux qi , quon peut voir comme les applications qi (x, ) = (qi x )) qui permette de quantier toutes les fonctions utiles sur lespace des phases et de retrouver les constructions prcdentes comme cas particulier. Ceci peut-tre dj` utilis dans des cas tr`s particuliers e e e ea e e pour calculer les commutateurs entre les quantis dobservables en posant e {a, b}. i Ce probl`me est dicile en gnral et rsolu en partie par la thorie de la quanticae e e e e tion par dformation. Cest la dicult prsente ici qui fait dire aux physiciens que la e e e quantication est un art. Ceci sera abord dans la section suivante. e 5. En particulier, on obtient le hamiltonien quantique en remplaant, quand cest possible, c les variables qi et pi de T X par les oprateurs Qi et Pi correspondants. e Lamplitude de probabilit de prsence de ltat f H du syst`me dans un borlien B de e e e e e lespace X est la valeur [A, B] = AB (f ) :=
B

|f |2 d.

3.1.4

Quantication de Weyl innitsimale et calcul pseudo-direntiel e e

On se donne une varit X et une mtrique g : T X T X RX sur X. Pour la quantication ee e de Weyl, on a besoin de transforme de Fourier et de structure linaire sur lespace. On va donc e e travailler sur lapproximation linaire de X, cest ` dire dans les bres de son br tangent T X. e a e On note (x, q) les coordonnes locales sur T X et (x, p) les coordonnes locales sur T X. On note e e ., . : T X T X RX laccouplement naturel donn par e (x, p), (x, q) = (x, p(q)). On dispose de la transforme de Fourier bre ` bre e a F : S(T X) S(T X) sur les espaces de Schwartz (fonctions ` dcroissance rapide le long des bres des brs considrs a e e ee avec leur mesure de Lebesgue et ` support compact sur la base X) donne pour f S(T X) a e par F(f )(x, q) =
Tx X

ei

p,q

f (x, p)dp.

Si on se donne un symbole H(x, p, q) S(T X X T X) (pour la quantication, ca sera typiquement lhamiltonien, qui ne dpendra que de p et q et pas de x) et une fonction f (x, q) de e S(T X), on peut lui associer le produit H.(f ) S(T X X T X) o` : T X X T X T X u est la projection.

36

CHAPITRE 3. PHYSIQUE QUANTIQUE SANS INTERACTIONS

Denition 10. On note L2 (T X) les fonctions sur T X lisses ` support compact sur X et de a ,c sur L2 (T X) associ ` H est alors donn par la carr intgrable dans les bres. Loprateur H e e e ea e ,c formule ei p,qq0 H(x, p, q).f (x, q0 )dg (q0 )dg (p). (H.f )(x, q) :=
Tx X
Tx X

Cette correspondance S(T X X T X) L(L2 (T X)) ,c H H sappelle la quantication de Weyl ou le calcul pseudo-direntiel innitsimal. e e La rapport avec le calcul pseudo-direntiel usuel est le suivant : si U Rn est un ouvert e et h : T U U Rn R est un symbole h(x, p) sur U , on lui associe une fonction H : = T U U T U R par H(x, p, q) := h(p, q) en identiant U ` un sous espace de la bre de son br tangent Rn , par le thor`me des fonctions a e e e implicites (cet espace tangent est un plan dans Rn Rn ). On obtient ainsi un oprateur H sur e 2 (T U ), qui est constant sur U et donne donc un oprateur sur L2 (Rn ). e L,c n , ce qui donne T X = Rn Rn et on peut alors En pratique, on suppose souvent X = R considrer des fonctions sur T X ne dpendant que de q dans les coordonnes (x, q) sur T X. Le e e e choix de cette dcomposition nest videmment pas canonique, mais la quantication de Weyl e e est souvent plutt dcrite comme une correspondance o e S(T X) L(L2 (X)) H H. Si on normalise convenablement la transforme de Fourier, la quantication de Weyl redonne e la quantication de Heisenberg dcrite dans la section 3.1.3. En eet, une coordonne linaire e e e est une fonction qn : T X R (coordonne dans les bres de T X) quon peut composer avec la e projection T : T X X T X T X, ce qui donne par quantication un oprateur e Qn := qn T dans C (X, L(L2 (T X))) qui est simplement la multiplication par la coordonne qn bre ` e a ,c bre. Si on se donne un champ de vecteur vn (X, T X) (drivation dans la direction dun e coordonne xn sur X, et non pas sur T X, cette fois-ci : cest ` cet endroit que lidentication entre e a les coordonnes sur X et celles sur T X, xn = qn utilise par les physiciens est non canonique), e e on peut le voir comme lapplication pn,h : T X C, donne par pn,h (x, p) = h p, vn , et e i X T X T X, ce qui donne par quantication un composable avec la projection T : T X oprateur e Pn := pn,h T dans C (X, L(S(T X))) qui nest autre que Pn =
1 2i qn .

` 3.1. PREMIERE QUANTIFICATION HAMILTONIENNE

37

3.1.5

Quantication de Connes et groupo tangent de

Soit M une varit, : M M M sa diagonale et i = (, 0) : M {0} M M R ee linclusion naturelle. On dnit le groupo tangent de M comme la varit algbrique relative e de ee e ) donne par lclatement G (voir [Hartshorne, p 163]) de M M R le long de sur (M, C e e lapplication i. Si I CM M R est lidal des fonctions qui sannulent sur limage de i, i.e., des e f telles que f i = 0, on dnit e G := Proj(nN I n ). Cette varit algbrique relative vrie la proprit universelle suivante : tout morphisme f : ee e e ee Y M M R relativement algbrique tel que f 1 I.OY soit un br inversible factorise par e e G M M R. On peut naturellement associer ` G une varit C qui sera aussi note a ee e R est le groupoide des G M M R. Par construction, la bre de G le long de R paires M M R . On obtient aussi par la proprit universelle applique ` T (M M ) = ee e a T (M M {0}) M M R un morphisme T (M M ) G et limage du br d : T M T (M M ) par cette application sidentie ` e(M {0}) o` e e a u est la section unit de la projection canonique G0 M {0}. On obtient ainsi une application e
M N = NM M := (T (M M ))/T M G0

qui est un isomorphisme et identie G0 avec le br normal ` la diagonale. e a On voit donc que G est une dformation de param`tre h R du groupo des paires e e de vers le br normal ` la diagonale G = N Gh = M M pour h R e a 0 pour h = 0. Le choix dun point x dans M fournit une application tx : M = {x} M M M donne par e tx (y) = (x, y) et permet de construire une identication dt : T M N et donc didentier G0 au br tangent T M = T ({x} M ). Cest plutt en ces termes quon consid`re le groupo G. e o e de Cest la C*-alg`bre C (G) qui va jouer le rle de la quantication de lalg`bre des fonctions e o e C (T M ). Pour cela, on utilise la transforme de Fourier e F : S(T M ) S(T M ) tendue convenablement pour identier les fonctions sur le cotangent aux fonctions sur le tane gent. Linclusion G0 G induit une suite exacte 0 A C (G) C0 (G0 ) 0 quon peut identier en utilisant la transforme de Fourier et le choix dun point x M ` la e a suite 0 C0 (R , K) C (G) C0 (T M ) 0 o` K dsignent les oprateurs compacts sur L2 (X). Une C*-quantication est le choix dune u e e section s de la projection C (G) C0 (T M ). On remarque que la construction des oprateurs pseudo-direntiels (quantication de Weyl) e e fournit une section s particuli`re. Elle a malheureusement un certain nombre de mauvaises e proprits. ee

38

CHAPITRE 3. PHYSIQUE QUANTIQUE SANS INTERACTIONS

3.2

Quantication canonique des champs libres

On se rf`re au superbe livre de Folland [Fol08] pour un traitement tr`s complet et dtaill ee e e e du contenu de cette section. Comme dit prcdemment, les mthodes hamiltoniennes prsentes e e e e e ici donnent ` la quantication un air peu canonique (quoique), qui lest encore moins quand a on passe aux interactions. Le point de vue de lauteur est que les mthodes covariantes sont e plus succeptibles de satisfaire les mathmaticiens car elles sont plus fonctorielles. Les mthodes e e hamiltoniennes ont cependant des atouts certains et une grande popularit ce qui les rends dife cilement contournables dans la littrature. Le lecteur paresseux est invit ` passer directement e ea a ` la section 3.3.

3.2.1

Quantication de loscillateur harmonique

Loscillateur harmonique quantique est ` la base de la thorie des champs quantiques libres. a e Sa rsolution par la mthode de lchelle (oprateurs de cration et dannihilation) est due ` e e e e e a Dirac [Dir82]. On se rf`re ` [Wikipedia : quantum harmonic oscillator]. ee a Loscillateur harmonique classique sur X = R est donn par le syst`me variationnel hamile e tonien dont les trajectoires sont des applications de R dans la varit de Poisson T X R R ee = (coordonnes (q, p) notes parfois (x, p) et appeles position et impulsion) et dont lhamiltonien e e e est la fonction H : T X R donne par e H(q, p) = 1 2 (p + m2 2 q 2 ). 2m

Rappelons que la solution classique des quations de Hamilton est ici donne par e e
q t p t p H = p = m = H = m 2 q, q

ce qui donne les quations du mouvement newtoniennes e 2q = 2 q. t2 La quantication canonique de ce syst`me hamiltonien est obtenue en considrant lespace de e e Hilbert (espace des phases quantiques) H = L2 (X) et en remplaant la position et limpulsion c par les oprateurs Q = mq de multiplication par la fonction q : X R et P = i q de e drivation par rapport ` q. e a On recherche ensuite le spectre de lHamiltonien (dont les lments sont les niveaux dnergie ee e possibles pour le syst`me) e 1 H(Q, P ) = (P 2 + m2 2 Q2 ), 2m cest ` dire, ` la rsolution de lquation aux valeurs propres a a e e H = E.

3.2. QUANTIFICATION CANONIQUE DES CHAMPS LIBRES

39

Pour dterminer les solutions de cette quation aux valeurs propres, on utilise, en suivant la e e mthode de lchelle due ` Dirac, deux oprateurs auxiliaires e e a e a = a = Ceci permet aussi dobtenir les relations x = a + a 2m m p = i a a 2 m 2 m 2 i P m i Q P m Q+

Thor`me 2. On peut rsoudre lquation aux valeurs propres pour loprateur H en utilisant e e e e e . Plus prcisment, on a : les oprateurs a et a e e e 1. On a H = a a + 1/2 . 2. Le spectre de a a est lensemble N des entiers naturels et celui de H est (N + 1/2). 3. Si 0 est non nul et tel que a0 = 0, on note n = (a )n 0 et 0 = | est appel ltat e e vide. On a alors Hn = (n + 1/2)n . 4. On a les relations de commutation a, a a , H = 1 = a

[a, H] = a
Remarquons que ltat vide 0 ` pour nergie (valeur propre) 2 et est donn par la fonction e a e e (solution de lquation direntielle en q du premier ordre a0 = 0) e e

0 (x) =

1 4

e 2

x2

On peut gnraliser ces rsultats ` un oscillateur harmonique de dimension n en utilisant n e e e a paires doprateurs de cration et dannihilation. e e

3.2.2

Quantication du champ scalaire libre

Le champ scalaire libre de masse m est une fonction sur lespace de Minkowski X = R3,1 , solution de lquation de Klein-Gordon e ( + m2 c2
2

) = (

1 2 m2 c2 2 t x + 2 ) = 0. c2

40

CHAPITRE 3. PHYSIQUE QUANTIQUE SANS INTERACTIONS

La transforme de Fourier partielle sur la variable espace x de (t, x), note (Fx )(t, ) vrie, e e e en chaque point R3 lquation direntielle de loscillateur harmonique classique e e ( 1 2 m2 c2 t + 2 + 2 )(Fx )(t, ) = 0 c2
2 4

dont lhamiltonien classique est la fonction h(q, p) = p2 + 2 q 2 avec pour x, 2 = 2 + m 2c , e q q = (Fx )(t, ) et p = t . La quantication du champ scalaire se fait essentiellement en remplaant cet oscillateur c harmonique classique par un oscillateur harmonique quantique dhamiltonien H (Q, P ) = P 2 + 2 Q2 agissant sur L2 (R3 ). On remarque que cet hamiltonien dpend de R3 qui est la variable e duale de Fourier de la position x dans lespace. Il existe une mani`re agrable de formaliser rigoureusement cette construction. On se place en e e units relativistes, i.e., c = = 1. Soit une distribution tempre sur R4 qui rsoud lquation e ee e e de Klein-Gordon ( + m2 ) = 0. Alors, sa transforme de Fourier est une distribution tempre qui vrie (p2 + m2 ) = 0 donc e ee e elle est supporte sur lhyperbolo a deux nappes e de Xm = {p R3,1 |p2 = m2 }
+ appel hyperbolo de masse. On peut dcomposer Xm en deux composantes Xm et Xm core de e + respondant au signe de la premi`re coordonne p0 (duale de Fourier du temps). On munit Xm e e de sa mesure normalise e d3 p d = (2)3 p

avec p = p0 =

|p|2 + m2 . On consid`re lespace de Hilbert e

+ H = L2 (Xm , ).

Denition 11. Lespace de Fock total (resp. bosonique, resp. fermionique) sur H, not F(H) e 0 (resp. Fs (H), Fa (H)) est le complt de lalg`bre tensorielle F 0 (H) (resp. symtrique Fs (H) := ee e e 0 SymC (H), resp. extrieure Fa (H) := C H). Les sous-espaces donns par les sommes directes e e 0 , F 0 et F 0 sont appels sous-espaces des particules nies. algbriques F e e s a On dnit loprateur de nombre N sur F 0 (H) par e e N = kI sur k H. Pour v H, on dnit les oprateurs B et B sur F 0 (H) par e e B(v)(u1 uk ) =

v|u1 .u2 uk ,

B(v) (u1 uk ) = v u1 uk ,
et on voit facilement que ces deux oprateur sont adjoint pour v H x. Loprateur B(v)ne e e e 0 (H) mais B(v) le prserve. On dnit aussi A(v) = B(v) N prserve pas lespace symtrique Fs e e e e

3.2. QUANTIFICATION CANONIQUE DES CHAMPS LIBRES

41

0 et on note A (v) ladjoint de loprateur A(v) sur lespace de Fock bosonique Fs (H). On peut e aussi le voir comme loprateur e

A(v) = Ps B(v) N + 1Ps

0 avec Ps : F 0 (H) F 0 (H) la projection sur le sous-espace bozonique Fs (H). On a les relations de commutation entre oprateurs sur lespace de Fock bosonique [A(v), A(w) ] = e v|w I et [A(v), A(w)] = [A(v) , A(w) ] = 0. On a une application naturelle R : S(R4 ) H dnie par e

+ Rf = f|Xm avec f (p) = eip x f (x)d4 x la transforme de Fourier Lorentz-covariante. e

Denition 12. Le champ scalaire neutre quantique libre de masse m est la distribution sur R4 0 a ` valeurs dans les oprateurs sur lespace de Fock bosonique des particules nies Fs (H) donn e e par 1 (f ) = A(Rf ) + A(Rf ) . 2 On remarque que est une distribution solution de lquation de Klein-Gordon, i.e., (( + e 4 ) car (p2 + m2 )f = 0 sur X + . = 0 pour tout f S(R m Dans le cas dun champ scalaire charg (i.e. ` valeurs complexes), il est ncessaire dutiliser e a e + les deux espaces de Hilbert H+ = L2 (Xm ) et H = L2 (Xm ) et loprateur anti-unitaire C : e H H donn par Cu(p) = u(p) . On dnit les oprateurs dannihilation et de cration e e e e pour v H sur H+ par B(v) = A(Cv) et B(v) = A(Cv) . m2 )f )
0 Maintenant, attention ` lastuce. On consid`re comme avant lespace de Fock Fs (H+ ) et on a e 0 (H ). Les oprateurs B(v) et B(v) sont le voit comme dni sur R en considrant ResC/R Fs + e e e bien R-linaires car loprateur C : H H lest, et cest exactement pour cela quon restreint e e les scalaires. Ensuite, on tend ` nouveau les scalaires de R ` C en appliquant . R C pour obtenir un e a a 0 , et qui peut tre dcompos comme produit tensoriel de deux espaces espace quon va noter Fs e e e de Fock isomorphes ` Fs (H+ ), et changs par un automorphisme induit par la conjugaison a 0 e e complexe. On dnit alors, pour f S(R4 ), deux applications R : S(R4 ) H par e

R f = f|Xm . Denition 13. Le champ quantique scalaire libre charg de masse m est la donne des deux e e 0 e distributions sur R4 ` valeurs dans les oprateurs sur lespace de Fock Fs dnies par a e (f ) = (f ) =
1 2 1 2

A(R+ f ) + B(R f ) , A(R+ f ) + B(R f ) .

42

CHAPITRE 3. PHYSIQUE QUANTIQUE SANS INTERACTIONS

3.2.3

Quantication innitsimale des champs classiques e

Dans cette section, dont les objectifs sont plutt de nature pistmologique, on consid`re o e e e que les physiciens, quand ils font de la physique quantique, ne travaillent pas dans lespace usuel mais dans son espace tangent en un point, qui permet dexprimer les choses ` petite chelle. Le a e gros avantage de cet espace tangent est que, contrairement ` un espace temps relativiste gnral, a e e il est linaire. Ceci permet de parler de transforme de Fourier sur ce dernier. Avec le fait que e e cela nous fournit une mani`re lgante de relier les champs classiques aux champs quantiques, e ee cest ce qui justie notre travail bre ` bre sur le br cotangent T M . a e Soit E M un br vectoriel rel sur lespace temps (quon pense comme ` un type e e a de particule de mati`re), muni dune action du groupe spinoriel Spin(3, 1) sur ses bres. Les e sections dun tel br sont ce quil est souvent convenu dappeler des champs classiques. On va e essentiellement sintresser au cas E = T M , correspondant au photon, et E = S le br spinoriel e e (donn par la reprsentation standard ResC/R C2 de Spin(3, 1) = ResC/R SL2,C ) correspondant ` e e a llectron. e On se donne une quation du mouvement D = 0 donne par un oprateur direntiel relatif e e e e a ` la projection p : T M M sur les sections du br p E T M ,i.e., e
D DT M/M CT M p E.

Ceci permet de travailler bre ` bre sur un espace vectoriel de Minkowski qui est lespace a tangent Tx M . On peut maintenant dnir la transforme de Fourier e e F : S(T M ) S(T M ) par la formule F(f )(x, ) =
Tx M

ei

,v

f (x, v)dv

avec dv la mesure induite par la mtrique de lorentz sur Tx M . e On utilise la dualit induite par la mtrique g : T M T M pour dnir un br E := e e e e 1 ) p (E C) sur T M ` partir de p E T M . (g a R Maintenant, on consid`re dans T M le support des solutions de la transforme de Fourier e e p E. de lquation direntielle D = 0 donne par loprateur D DT M/M CT M e e e e Si E est le br cotangent T M (photon) o` E est le br spinoriel S (lectron), loprateur e u e e e 2 ou celui de Dirac iD m qui sont relis par D est loprateur de Klein-Gordon + m e e + m2 = (iD + m)(iD m). Le support de leur transforme de Fourier est alors simplement lhyperbolo de masse e de Xm = {(x, p) T M |p2 = m2 }
+ qui se dcompose en deux parties (une fois un feuilletage de temps x {(x, p0 )} T M ) Xm et e e comme avant. Xm

3.2. QUANTIFICATION CANONIQUE DES CHAMPS LIBRES

43

On dnit H comme le br sur lespace temps M en espaces de Hilbert donn par H := e e e + + L2 (Xm , i (E R C)) avec i : Xm T M linclusion canonique et on peut aussi dnir son e espace de Fock F qui sera un br en espaces de Hilberts sur M . La transforme de Fourier e e bre ` bre F : S(T M ) S(T M ) permet de dnir une application R : S(T M ) L(H) vers a e les oprateurs sur H donne par e e + R(f ).v := f|Xm .v. Le champ quantique libre associ au br E M est la distribution sur lespace T M ` e e a valeurs dans les oprateurs bre ` bre sur lespace de Fock Fs donne par e a e 1 (f ) = A(Rf ) + A(Rf ) 2 dans le cas dun champ de particules bosoniques (par exemple le photon donn par E = T M ). e Pour les particules fermioniques la construction est sans doute similaire. Le probl`me de cette construction est quelle ne permet pas ` priori de se localiser sur e a + lespace. On peut relier ceci aux constructions prcdentes en identiant tous les L2 (Xm ) entre e e eux et ` celui qui tait dni sur lespace des moments de Fourier de lespace de base M et a e e cest par cette mthode quon peut retrouver le champ quantique de Wightman qui est une e distribution sur lespace temps plat.

3.2.4

Les axiomes de Wightman

Soit M = R3,1 lespace de Minkowski. Denition 14. Une thorie des champs quantiques libres sur M est la donne dun espace de e e Hilbert F muni de 1. un sous-espace dense D, 2. un ensemble 1 , . . . , N de distributions sur M ` valeurs oprateurs, a e 3. une reprsentation unitaire U du groupe de Poincar spinoriel R4 e e 4. une reprsentation (non unitaire) S de SL2,C sur e CN . SL2 (C), et

Comme les oprateurs U (a, id) commutent tous pour a R4 , ils ont une rsolutions spece e trale commute, i.e., il existe une mesure ` valeurs projections sur R4 telle que U (a, id) = a eip x dE(p). Les axiomes sont les suivants : 1. Chaque n est une application de S(M ) vers les oprateurs linaires sur F telle que e e (a) Pour tout f S(M ), on a D Dom(n (f ))Dom(n (f ) ), n (f )D n (f ) D D ; (b) pour tout , D, lapplication f |n (f )| est une distribution tempre sur ee M. 2. Il existe un vecteur unitaire D (ltat vide) unique ` une phase pr`s tel que U (a, A) = e a e pour tout (a, A) R4 SL2,C . 3. Lensemble des vecteurs de la forme n1 (f1 ) . . . nk (fk ) avec k 0, nj {1, . . . , N }, et fj S(M ) est dense dans F.

44

CHAPITRE 3. PHYSIQUE QUANTIQUE SANS INTERACTIONS 4. Pour tout f S(M ) (a, A) R4 SL2,C et n {1, . . . , N },
N 1

U (a, A)n (f )U (a, A)

=
m=1

S(A1 )m m ((a, A).f ) n

comme oprateurs sur D, o` [(A, a).f ](x) = f (p(A)1 (x a)) avec p : SL(2, C) SO(1, 3) e u est la projection naturelle. 5. Le support de la mesure ` valeurs projections E est contenue dans la rgion {(p0 , p)|p0 a e |p|} dans le cne de lumi`re. o e 6. Si f et g sont dans S(M ) et le support de f et g sont spars dans lespace (i.e., x y est e e de type espace quand f (x).g(y) = 0) et m, n {1, . . . , N }, alors comme oprateurs sur D, e soit [m (f ), n (g)] = [m (f ), n (g) ] = 0, soit {m (f ), n (g)} = {m (f ), n (g) } = 0.

3.3

Quantication covariante des champs libres

La quantication covariante est une mthode alternative pour calculer les nombres de la e thorie quantique des champs sans choisir de coordonne temps spcique avant la n des e e e calculs (ce qui est ncessaire dans le point de vue hamiltonien), avec pour avantage princie pal dtre une construction intrinsquement invariante sous le groupe de Lorentz, et disons e e mme, compl`tement fonctorielle (do` le mot covariant). Elle ne se base pas sur un formalisme e e u opratoriel, mais sur la notion dintgrale et de drive fonctionnelle. e e e e Pour un traitement mathmatique agrable de lintgrale fonctionnelle, on se rf`re au livre e e e ee de Cartier et Dewitt-Morette [CDM06], ainsi qua ceux de Zinn-Justin [ZJ05] et surtout [ZJ93], chapitre 4.

3.3.1

Espace des phases covariant

Dans la perspective de quantier les champs libres sans utiliser le formalisme hamiltonien, il est possible de dnir un crochet de Poisson sur les fonctionnelles dnies sur lespace des e e solutions classiques dun probl`me variationnel lagrangien appel crochet de Dewitt/Peierls, et e e amplement utilis par Dewitt dans son livre [DeW03] (voir aussi [DDM04] et [Pei52]). e Son gros avantage sur le crochet de Poisson du point de vue hamiltonien est que sa dnition e ne ncessite pas le choix dune coordonne temps privilgie, ce qui en fait un objet intrins`quement e e e e e covariant sous les transformations de Lorentz. Cest de plus un objet non pas statique mais de nature dynamique puisquil dpend par dnition de la fonctionnelle daction qui rgit les quations e e e e du mouvement. On peut penser ` cet objet de la mani`re suivante. On se donne un probl`me variationnel a e e lagrangien dont les trajectoires sont des sections dun br F sur lespace temps M et la e fonctionnelle daction est note S : Cb (M, F ) R (b dsigne ici des conditions au bord xant e e la valeur des champs sur deux hypersurfaces de type espace). Par drivation fonctionnelle, e on associe ` S lquation dEuler-Lagrange E. Lespace de ses solutions X Cb (M, F ) (quon a e peut plonger si ncessaire dans un espace plus gros que celui des fonctions lisses), muni de ses e

3.3. QUANTIFICATION COVARIANTE DES CHAMPS LIBRES

45

fonctionnelles locales CX (qui sont des fonctionnelles F : X R dont une classe prcise est e dicile ` donner et qui ne dpendent que dun nombre ni de drives des champs) est appel a e e e e espace des phases covariant. Cette dnomination vient du fait quil est possible de dnir un e e crochet sur CX par la formule {A, B} = DA B DB A

o` DA B dsigne la variation innitsimale de B obtenue en changeant laction S en S + A. u e e La dnition prcise de cette variation innitsimale et donc de lespace des phases covariant e e e peut tre aborde de plusieurs mani`res et demande des eorts dabstraction mathmatique e e e e que nous traiterons dans les sections sur le formalisme multisymplectique 6.8 et sur le calcul direntiel secondaire 6.6.9. e

3.3.2

Calcul direntiel sur les fonctionnelles locales e

On dispose de plusieurs approches complmentaires au calcul direntiel sur les fonctionnelles e e (fonctions sur des espaces de fonctions). Lapproche utilisant les direntielles de Gteaux et e a direntielles de Freschet ` son importance (voir section 6.7.2). On pourra aussi utiliser le point e a de vue gomtrique sur les jets (voir section 6.6.8). e e On retiendra dans cette section la dnition approximative suivante : si X est un espace e linaire de fonctions gnralises contenant les distributions de Dirac sur un espace de base M e e e e et F : X C est une fonctionnelle (non ncessairement linaire), la drive fonctionnelle de F e e e e est dnie par e F (f ) F (f ) F (f + x ) F (f ) := = lim . 0 f (x) (x ) Cest donc essentiellement la drive de Gteaux de F le long de x comme dnie dans la e e a e section 6.7.2. Les drives fonctionnelles les plus utiles pour la thorie des champs sont fournies dans la e e e proposition suivante (quon peut trouver dans le livre de Folland [Fol08], page 269). Proposition 1. On dispose des rsultats suivants pour les calculs de drives fonctionnelles de e e e fonctionnelles remarquables :

Nature de la fonctionnelle Intgrale e Exponentielle dintgrale e Intgrale quadratique e Exponentielle quadratique

Formule F (f ) = exp F (f ) = F (f ) = exp f (y)h(y)dy f (y)h(y)dy f (x)K(x, y)g(y)dxdy f (x)K(x, y)g(y)dxdy

Drive fonctionnelle e e
F (f ) f (x) J F (f ) f (x1 )...f (xJ ) F (f ) f (u) F (f ) f (u)

= h(x)

= h(x1 ) . . . h(xJ )F (f )

= 2 K(u, z)f (z)dz

= 2 K(u, z)f (z)dz F (f )

Dmonstration. On va donner la preuve pour les deux premi`res intgrales. La fonctionnelle e e e F (f ) = f (y)h(y)dy se prolonge de S(R) aux distributions f sur S(R) par F (f ) = f (h) :

46

CHAPITRE 3. PHYSIQUE QUANTIQUE SANS INTERACTIONS

cest simplement lvaluation des distributions en la fonction h donne. Cest une fonctionnelle e e linaire en la distribution f . On peut ainsi calculer F (f + x ) = F (f ) + F (x ) et on obtient e F (f ) = x (h) = h(x). (x ) De mme, pour F (f ) = exp e exp(f (h)), on obtient F (f ) (x ) f (y)h(y)dy , quon peut tendre aux distributions par F (f ) = e exp(f (h) + x (h)) exp(f (h)) exp( x (h)) 1

= lim

= lim exp(f (h)).

0

= h(x) exp(f (h)). Les autres galits sobtiennent de mani`re similaire. e e e

3.3.3

Lintgrale fonctionnelle des physiciens e

Dun point de vue de physicien, un champ quantique est une distribution sur lespace temps a ` valeurs oprateurs (sur un espace de Hilbert H non dtermin ` priori, dans le cas des intere e ea actions, et bien dtermin comme vu dans la section 3.2.2, dans le cas des champs libres). On e e peut avantageusement le voir comme tant dtermin par la donne dun tat vide |0 H et e e e e e de ses fonctions de Green G(x1 , . . . , xn ) = 0|T (x1 ) . . . (xn )|0 , avec T loprateur dordonnancement dans les temps t = x0 croissants. e Feynman a donn un procd heuristique pour calculer explicitement les fonctions de Green : e e e elles sont dcrites par une intgrale fonctionnelle (notation formelle qui ne dsigne pas exactee e e ment une intgrale mais une famille de r`gles de calculs bien dnies dduites dune analogie e e e e avec la thorie des intgrales gaussiennes) sur lespace des champs classique : e e G(x1 , . . . , xn ) = N 1 [d]eiS() (x1 ) . . . (xn )

o` S() est laction classique et N = [d]eiS() est un facteur de normalisation assurant que u 0|0 = 1. Les expressions (xi ) et eiS() doivent ici tre penses comme des fonctionnelles e e sur lespace de tous les champs classiques, appel aussi espace des histoires, et lexpression e O O = N 1 [d]eiS() O() est une notation formelle dont la variable est une fonctionnelle O sur lespace des champs et dont il faut expliciter le sens de mani`re indirecte. Une expression e de la forme O = N 1 [d]O()eiS() dsigne la valeur quantique (le plus souvent donne par une srie formelle) dun observable e e e classique O.

3.3. QUANTIFICATION COVARIANTE DES CHAMPS LIBRES

47

3.3.4

Lintgrale fonctionnelle formelle e

On se donne un probleme variationnel lagrangien au sens de la section 1.2.1 quon suppose dordre 1. Ainsi, les trajectoires sont les sections dun br (disons vectoriel) E sur lespace e temps M . Ceci signie que la densit lagrangienne est une application e L : J 1 E 4 T M. On suppose de surcroit que E est muni dune forme quadratique g : E E RM quon peut aussi tendre ` J 1 E E T M E en utilisant la forme quadratique xe par la relativit e a e e = M . On se donne une connexion 1 (E) compatible aux mtriques gnrale sur T e e : (E) M e donnes. e Il est aussi utile de dnir un espace des histoires de Feynman correspondant ` une exprience e a e donne. La donne dun exprimentateur permet de xer une dcomposition (au moins locale) e e e e M = R M3 de lespace temps fournie par la ligne de temps dudit personnage. On suppose ensuite que lexprimentateur sait mesurer le champ classique (t, x) au dpart t0 de lexprience e e e et ` larrive t1 . En fait, en pratique, il mesure plutt (t, x) pour un intervalle de temps avant a e o le dpart t0 de lexprience (ce qui permet de conna la masse de la particule correspondante) e e tre et il me sure aussi (t, x) pour un intervalle de temps apr`s le dpart t1 de lexprience. e e e Ceci nous donne pour espace des histoires dune exprience donne dmarre au temps t0 e e e e pour lexprimentateur et nie au temps t1 par e H = H{t0 ,0 ;t1 ,1 } := { : M E, (t0 , .) = 0 , (t1 , .) = 1 , (t0 , .) = 0, (t1 , .) = 0}. On peut retrouver la trajectoire libre de avant le temps t0 (resp. apr`s le temps t1 ) comme e fonction de Green retarde (resp. avance) pour lquation du mouvement libre avec condition e e e au bord 0 (resp. 1 ), mais la connaissance de cette quation du mouvement libre correspond e essentiellement ` la connaissance de la masse de la particule considre, qui ne peut tre mesure a ee e e que sur un intervalle de temps. On impose ` L dtre somme dun terme quadratique en et = , not L0 , et dun a e e terme polynmial en , not P (). On appelle L0 la densit lagrangienne libre et P () le o e e potentiel ou densit lagrangienne dinteraction. On doit donc pouvoir crire e e 1 L0 () = (x).D.(x)dx 2 avec D un oprateur direntiel linaire essentiellement donn par lquation dEuler-Lagrange e e e e e du probl`me variationnel. On consid`re lespace des histoires F comme permettant de dnir e e e les conditions de Cauchy pour trouver la fonction (ou distribution) de Green de loprateur e direntiel D. e On note J une section quelconque de E sur M . On associe ` ces donnes une action classique a e S = S0 + S1 donne par S0 () = L0 () et S1 () = P () et une action avec terme de source e (quon peut aussi appeler action gnratrice) donne par e e e S(, J) := S0 () + J. + S1 ().

48

CHAPITRE 3. PHYSIQUE QUANTIQUE SANS INTERACTIONS

Cest cette action l` qui est succeptible dtre utilise pour dnir axiomatiquement lintgrale a e e e e fonctionnelle, en utilisant la formule calculant les gaussiennes normalises avec terme de source e en dimension nie comme dnition. On remarque que S0 () peut-tre symboliquement not e e e 1 son inverse .K. avec K la fonctionnelle quadratique donne par hypoth`se. On notera K e e (quil sera ncessaire de calculer au cas par cas mais qui est toujours fourni par une fonction e de Green de loprateur direntiel linaire D relative aux conditions au bords donnes par e e e e dnition de lespace F des histoires de lexprience). e e Denition 15. Si F est une fonctionnelle locale en , on dnit sa fonctionnelle gnratrice e e e normalise par e F La valeur moyenne F F J.
J

e 2 .K.+iJ. d e
i .K. 2

F () := F

e 2 JK

1 J

de F est la valeur en J = 0 de la fonctionnelle gnratrice normalise e e e

On doit prciser que lnorme expression entre crochets est ici considre comme un symbole e e ee formel encodant la transforme de Fourier-Laplace dune mesure Gaussienne normalise associe e e e a ` la fonctionnelle quadratique .K, le terme de source jouant le rle de variable de la transo forme de Fourier-Laplace. Les expressions obtenues sont en gnral des drives fonctionnelles e e e e e dexponentielles dintgrales de dimension nie, qui malheureusement ont le mauvais got de e u souvent diverger, ce qui impose de les renormaliser. Cette dnition permet de calculer, dans le cas dun champ libre, i.e., S1 = 0, les valeurs e moyennes par la formule 0|T [(x1 ) . . . (xn )]|0 = evx1 . . . evxn
0

:= (i)n

i n 1 e 2 JK J J(x1 ) . . . J(xn )

J=0

En particulier, dans le cas dune valeur moyenne ` 2 points x et y, on obtient simplement a evx evy = K 1 (x y) la fonction de Green de loprateur direntiel K. e e On remarque, en suivant Dewitt [DDM04], postulat 25, quil peut tre utile dajouter ` e a laction classique S() avec terme de source J un terme supplmentaire de la forme i ln () e avec () une fonctionnelle dtermine par laction classique S, tel que les quations dynamiques e e e opratorielles prennent la forme e T {S() i ln ()} = J

au lieu de lquation habituellement utilise e e T {S()} = J

qui donne lquation dEuler-Lagrange ordonance dans le temps e e T {S()} =0

3.3. QUANTIFICATION COVARIANTE DES CHAMPS LIBRES

49

en labscence du terme de source. Ceci permet dune part de corriger le fait que lordonancement dans le temps de lquation e dEuler-Lagrange T (S) ne soit pas un oprateur autoadjoint (du point de vue de lintgrale e e fonctionnelle). On obtient aussi une justication de la rotation de Wick.

3.3.5

Le mod`le ludique du champ scalaire libre e

On va maintenant appliquer les mthodes formelles de la section 3.3.4 dans le cas particulier e dun champ scalaire libre dont la densit lagrangienne avec terme de source J est donne par e e L(J, ) = 1 ()2 m2 2 + J.. 2

La fonctionnelle gnratrice normalise, pour prendre un sens prcis, va dpendre dun param`tre e e e e e e , qui donne un terme supplmentaire dans laction. On va donc considrer laction e e S(J, , ) :=
M

L(J, ) i 2 =
M

1 ()2 (m2 i )2 + J.. 2

An de bien faire appara la partie quadratique de laction, on utilise lintgration par partie tre e ()2 =
M M

dans laquelle on ignore les termes de bord en les supposant nuls (conditions au bord de lintgrale e daction). On obtient alors lexpression S(J, , ) = 1 ( 2 + m2 i ) + J. 2 M

qui fait clairement appara la composante quadratique de laction donne par K = ( 2 + m2 tre e i ). Si F est une fonctionnelle locale des champs (observable), on lui associe alors formellement sa fonctionnelle gnratrice normalise e e e F
J

e 2 .K.+iJ. d [ e
i .K. 2

F () := F

d]

e 2 JK

1 J

avec K 1 linverse de loprateur direntiel K = ( 2 + m2 i ), i.e., sa fonction de Green F e e appele propagateur de Feynman. e Il sut donc de calculer lexponentielle e 2 JK
i 1 J

= exp

i 2

F (x)F (x, y)F (y) .

M M

Si loprateur direntiel K est ` coecients constants sur M (ce qui est en pratique souvent e e a le cas quand la mtrique est xe, par exemple sur lespace de Minkowski plat), on peut utiliser e e la transforme de Fourier et une mthode de rgularisation analytique comme le polynme de e e e o

50

CHAPITRE 3. PHYSIQUE QUANTIQUE SANS INTERACTIONS

Sato-Bernstein pour obtenir F (x, y) en comme un noyau distribution tempre (cest une des ee dmonstrations du thor`me de Malgrange-Ehrenpreis qui dit que toute quation aux drives e e e e e e partielles ` coecients rels constants admet une solution fondamentale). On peut aussi si lon a e prf`re xer une coordonne temps et rsoudre lquation direntielle ordinaire obtenue par ee e e e e une transforme de Fourier sur lespace (mthode bien adapte au oprateurs direntiels hye e e e e perboliques ` coecients constants omniprsents en thorie des champs). a e e Si loprateur direntiel K nest pas ` coecients constants, il est utile dutiliser une e e a mthode similaire ` celle du prsent mod`le ludique, cest ` dire dajouter ` loprateur dEulere a e e a a e Lagrange libre autoadjoint mais pas inversible, un terme de la forme i , qui le rend inversible. Il faut ensuite passer ` la limite 0, ce qui peut poser de nouveaux probl`mes. En fait, le a e cas particulier des oprateurs hyperboliques du type dAlembertien perturb par un champ de e e vecteur sur une varit Lorentzienne sont traits en utilisant des estimes et leur rsolution par ee e e e Cauchy-Kowalewskaia dans le cas des coecients analytiques rels approchant des coecients e moins rguliers. e En gnral, cependant, la mthode de rgularisation utilise par les physiciens est plus ne e e e e e et fait appel ` une combinaison de la rgularisation analytique (sur la dimension d) et ` la a e a dcomposition combinatoire des diagrammes de Feynman. e

3.3.6

Les propagateurs des quations de Klein-Gordon et de Dirac e

On a vu ci-dessus que le calcul des intgrale fonctionnelles ncessitait dinverser des oprateurs e e e direntiels. Du point de vue mathmatique, on appelle un tel inverse une solution fondamentale e e de loprateur. On va utiliser ici le thor`me des noyaux de Schwartz comme dans la th`se de e e e e Susama Agarwala. On utilise aussi la page [propagators, english wikipedia]. Soit E un br vectoriel sur lespace temps M . Le br des densits DensM sur M est le e e e br des applications : max T M RM telles que () = ||() pour toute fonction . e e a e + On note Dens+ le sous-br des applications ` valeurs dans (R )M . Cest un br R -principal + M tel que le br vectoriel associ ` la reprsentation de R sur R est DensM . e ea e + Soient E et F deux brs vectoriels sur M et D : (E) (F ) un oprateur direntiel e e e (F ) donne par linaire. On a une application naturelle i : c (F DensM ) e e i( ), = , d

o` d est la mesure sur M associe ` (cest localement une mesure ` densit, i.e., de la forme u e a a e f d avec f lisse). Ceci nous permet de prolonger D en un oprateur e D : c (E DensM ) (F ). Le thor`me des noyaux de Schwartz arme quil existe une distribution section K du br e e e (E DensM ) F qui est un noyau de loprateur D au sens o` e u D(, ), = K( ).

Si D est un oprateur direntiel sur les section dun br trivial E = R M sur lespace de e e e Minkowski, et (x,y) est la distribution sur M M ` valeurs dans R qui associe ` une fonction sa a a

3.3. QUANTIFICATION COVARIANTE DES CHAMPS LIBRES

51

valeur en x M , on dnit un propagateur (fonction de Green) pour D comme une distribution e G sur M M telle que Dx G(x, y) = (x,y) o` Dx dsigne loprateur D appliqu ` la coordonne x. On note souvent D1 loprateur sur u e e ea e e (M ) dni par C e D1 f = G(x, y), f (y) . En pratique, la dnition des propagateurs nest pas unique. e Par exemple, si D = + m2 est loprateur de Klein-Gordon, on peut calculer sa fonction e de Green en utilisant la transforme de Fourier Lorentz-quivariante. Loprateur transform D e e e e 2 + m2 . On aurait donc envie dcrire est simplement la multiplication par p e G(x, y) = 1 (2)4 d4 p eip(xy) p2 m2

malheureusement, ceci na pas de sens car p2 m2 sannule et la fonction correspondante nest e pas une distribution tempre. Les deux ples sont pour p0 := p2 + m2 . On peut rgulariser ee o lintgrale en contournant ces ples. Ceci permet de construire un inverse distributionnel pour D e o de plusieurs mani`res et ` chaque mani`re correspond un propagateur dirent pour loprateur e a e e e D. Par exemple, le propagateur de Feynman est donn par e G(x, y) = lim 1 0 (2)4 d4 p eip(xy) . p2 m2 + i

Il correspond ` tourner une fois dans le sens des aiguilles dune montre et lautre fois dans le a sens inverse autour des deux ples. En termes de champs quantiques, on crit o e G(x, y) = 0|T ((x), (y))|0 . De mani`re similaire, on dnit le propagateur retard (obtenu en tournant deux fois dans le e e e sens direct) 1 eip(xy) Gret (x, y) = lim d4 p , 0 (2)4 (p0 + i )2 p2 m2 et le propagateur avanc (obtenu en tournant deux fois dans le sens indirect) e Gav (x, y) = lim 1 0 (2)4 d4 p eip(xy) . (p0 i )2 p2 m2

En termes de champs quantiques, on crit e Gret (x, y) = 0|[(x), (y)]|0 H(x0 y0 ) et Gav (x, y) = 0|[(x), (y)]|0 H(y0 x0 ) avec H la fonction de Heaviside sur R.

52

CHAPITRE 3. PHYSIQUE QUANTIQUE SANS INTERACTIONS Le propagateur de Dirac est donn par e SF (x y) = lim d4 p ip(xy) ( p + m) e . (2)4 p2 m2 + i

Il est reli au propagateur de Feynman par lquation e e SF (x y) = (i + m)GF (x y). /

Chapitre 4

Physique quantique avec interactions

4.1 Les quations du mouvement quantique de Dyson-Schwinger e

Pour cette section, on utilisera sans la dtailler la notion despace des champs prsente dans e e e larticle [Pau10]. Pour comprendre les calculs ci-dessous, le plus simple est de penser ` lespace a des champs comme un espace vectoriel de dimension nie X et ` la fonctionnelle gnratrice a e e comme ` la transforme de Fourier-Laplace dune gaussienne sur X. a e Lquation de Dyson-Schwinger est lquation de dnition de la fonctionnelle gnratrice e e e e e (i.e., de lintgrale fonctionnelle sur lespace des champs), dont on peut trouver la version phye sique dans larticle de Dewitt-Dewitt-Morette [DDM04] et le livre de Cvitanovi [Cvi04] et une c version plus mathmatique dans le livre de Zinn-Justin [ZJ93] ainsi que celui de Rivers [Riv90]. e La fonctionnelle gnratrice Z(J) vrie les quations du mouvement de Dyson-Schwinger e e e e S (x) i J(x) J(x) .Z(J) = 0.

Il est dicile de donner un sens mathmatique prcis ` ces quations, car laction S utilise e e a e e doit tre renormalise par lajout dune fonctionnelle de mesure i ln(()) (contretermes) et doit e e dpendre dun param`tre dchelle (cut-o ou param`tre de rgularisation), telle que e e e e e Sef f, () := S () i ln( ()) soit ce quon appelle une action eective, mais elles ont lavantage de donner une formulation uniforme de la thorie des champs quantiques pour les fermions et les bosons. e Plus prcisment, considrons une varit M et une bration : E M . On consid`re le e e e ee e faisceau sur les alg`bres (M, E) donn par les sections paramtres par des spectres dalg`bres e e e e e s : M Spec(A) E. On se donne une action locale S : (M, E) R. On pose X = (M, E) pour simplier les notations. La direntielle de S e DS : T X T R 53

54

CHAPITRE 4. PHYSIQUE QUANTIQUE AVEC INTERACTIONS

est aussi donne par un calcul local (voir [Pau10]). On peut ventuellement aussi considrer la e e e direntielle e dS 1 , X selon les besoins, mais la dualit entre DS et dS peut poser probl`me en raison de la dimension e e innie. Lquation dEuler-Lagrange sur X est simplement donne par la condition e e h T X, D S.h = 0. On consid`re maintenant lespace Y = Hom(X, R) des fonctions lisses sur X. Un lment de e ee cet espace sera not J. On peut ventuellement se restreindre ` lespace Yloc des fonctionnelles e e a locales sur X. On pense notamment, si E M est un br vectoriel et j est une section du e br dual twist Hom(E, n ) M , ` J Y dni par e e a e M J() :=
M

j, .

Cest un terme de source pour le lagrangien, et on note Ylin,loc le sous-espace de Y des fonctionnelles de cette forme. On peut aussi considrer des lments plus gnraux de Y comme e ee e e J() := ln(A()) +
M

j,

avec A un observable. La fonctionnelle gnratrice est une fonction Z sur Y (ou Yloc,lin ), dont les valeurs sont e e notes Z(J), pour J Y . Elle est obtenue de mani`re informelle par lintgration fonctionnelle e e e normalise e eS()+J() [d].
X

Si h : X T X est un champ de vecteurs, on note S h () := D S.h().

De la mme mani`re, pour k : Y T Y un champ de vecteur, on note e e Z k (J) := DJ Z.k(J).

Lquation de Dyson-Schwinger est obtenue de mani`re informelle par intgration fonctione e e nelle et analogie avec les mesures gaussiennes : lintgrale dune divergence tant nulle, on a e e
X

eS()+J() [d] = 0,

ce qui donne S
X

() +

J h

() eS()+J() [d] = 0

 4.1. LES EQUATIONS DU MOUVEMENT QUANTIQUE DE DYSON-SCHWINGER

55

puis, si on pense ` une transforme de Fourier-Laplace par rapport ` la variable de source J() a e a (qui transforme la multiplication par une fonction en lapplication dun oprateur direntiel) e e S h + J h S h k J h .
X

eS()+J() [d] = 0.

Finalement, lquation de Dyson-Schwinger peut scrire e e + [DY ] .Z(J) = 0

o` DY dsigne ici un oprateur de direntiation fonctionnelle universelle du type de sur u e e e k Hom(Y, R) (on pense ici ` lanalogue de loprateur D sur C (Rn , R) ` valeurs dans C (Rn , Rn ) a e a donn par D = (1 , . . . , n ) tel que tout oprateur direntiel linaire scrive P (D) avec P un e e e e e polynme ` plusieurs variables ` coecients dans C (Rn )). o a a On rappelle que, dans cette expression Z : Y R, k : Y T Y est un champ de vecteurs, h : X T X aussi. Lexpression S J F = + h h est a priori une fonction F : X R qui sait donner limage F () dun champ. ` On doit donc disposer, pour crire les quations de Dyson-Schwinger, dun sous-espace AX e e C (X) de fonctions et dune composition avec loprateur direntiel universel DY sur Y e e quant : AX Hom(C (Y ), C (Y )) permettant dassocier ` une fonction F sur X et au champ de vecteur universel k sur Y un a oprateur de direntielle fonctionnelle partielle e e quant(F ) =: F k .

Dans le cas o` le br considr E M est linaire, on utilise pour Y le sous-espace donn par u e ee e e les courants externes obtenus a partir de sections de Hom(E, max ) M . Lidentication des M espaces tangents des espaces linaires ` eux-mme permet dobtenir lquation utilise par les e a e e e physiciens. En particulier, si F est un polynme en , on prend ses monmes et on les remplace o o par des puissances multi-indices de loprateur e e DY : C (Y ) Hom(Der(C (Y )), C (Y )) Z [D D(Z)]. Il est ncessaire de modier laction S par les mthodes de la renormalisation, ce qui e e fournit une action eective Sef f , pour dnir les quations de Dyson-Schwinger renormalises e e e dont une solution perturbative est la fonctionnelle gnratrice physique, relie directement aux e e e expriences. e Il serait bon de savoir si dune part, ces quations se gnralisent aux fonctionnelles gnratrices dobservables e e e e e Z(J, F ) avec F une fonctionnelle des histoires : oui, dautre part, elles sont formulables purement en terme de calcul dierentiel secondaire sur les jets : non.

56

CHAPITRE 4. PHYSIQUE QUANTIQUE AVEC INTERACTIONS

4.2

Quantication perturbative des champs de mati`re en ine teraction

On pense procder pour cette partie tr`s dicile dun point de vue lagrangien ` la Feyne e a man/Dirac et covariant dans lesprit du livre de Dewitt [DeW03] et de celui de Cartier-Dewitt [CDM06]. On pourra aussi utiliser larticle de Dewitt-Dewitt-Morette [DDM04] ainsi que le livre de Zinn-Justin [ZJ93].

4.2.1

Axiomatique minimale pour les champs quantiques perturbatifs

On utilise la dnition des probl`mes variationnels lagrangien donne dans la section 1.2.1. e e e Denition 16. Une thorie quantique des champs S = (Slibre , Spert ),est la donne : e e 1. dun probl`me variationnel lagrangien e Slibre = (M, E, JHom(M, E), WE , Llibre : JHom(M, E) max T M ) appel probl`me libre, portant sur les sections dun br (vectoriel ou ane) E M , et e e e dont est suppose parfaitement connue la solution = {X0 ,0 ,X1 ,1 } de lquation du e e mouvement avec conditions au bord (a) |X0 = 0, |X1 = 0, (b) |X0 = 0 et |X1 = 1 , o` X0 et X1 sont deux hypersurfaces de type espace disjointes dans lespace M , quon ` u a suppos muni dune mtrique Lorentzienne. En pratique, lquation dEuler-Lagrange de e e e Slibre est suppose linaire, ce qui quivaut ` supposer laction quadratique en les champs. e e e a 2. dun probl`me variationnel lagrangien e Spert = (M, E, JHom(M, E), WE , Lpert : JHom(M, E) max T M ), appele probl`me perturb et dont la densit lagrangienne scrit Lpert = Llibre + Lint . e e e e e Lidal, dun point de vue mathmatique, serait de pouvoir tudier la thorie quantique e e e e des champs en se passant de linformation fournie par le probl`me libre Slibre et en tudiant e e directement le probl`me Spert . Ce nest malheureusement pas possible avec les technologies e actuelles, qui ne permettent que dtudier le probl`me Spert comme une perturbation du probl`me e e e Slibre . Cest pour cette raison quon a inclus ce terme libre dans les donnes de la thorie. On e e supposera en fait quon peut crire laction libre e
X1

Slibre (X0 , X1 ; ) :=
X0 X

L j()

sous la forme Slibre (X0 , X1 ; ) = X01 E avec E loprateur direntiel linaire (` coecients e e e a constants) hyperbolique donn par lquation dEuler-Lagrange du probleme variationnel libre. e e

` 4.2. QUANTIFICATION PERTURBATIVE DES CHAMPS DE MATIERE EN INTERACTION57 Denition 17. Une exprience de la thorie quantique des champs S = (Slibre , Spert ) est la e e donne B de conditions au bord garantissant lunicit des solutions de Slibre , conditions qui en e e pratique scrivent B = (X0 , 0 ; X1 , 1 ) avec X0 et X1 deux hypersurfaces de type espace dans e M et 0 et 1 des sections respectives de E|X0 et E|X1 . Lespace des histoires de lexprience B e est lespace H des sections de E nulles aux bords et vriant |X0 = 0 et |X1 = 1 . Si e F : H R est une fonctionnelle locale sur les histoires, on dnit sa fonctionnelle gnratrice e e e libre par i i e 2 Slibre ()+iJ. d F J= F () := F i e 2 J..J , i Slibre () J H e2 d o` (., .) est lunique solution fondamentale au probl`me au bord B prescrit par lexprience u e e pour loprateur direntiel E. e e

4.2.2

Dveloppements perturbatifs e

On se donne une action non libre avec source de la forme S(, J) = S0 () + J. + V ()

1 o` S0 () est un terme quadratique quon peut noter symboliquement 2 .K. et V () = P () u avec P un polynme en et ses drives. o e e Le point central est que le potentiel est une intgrale de fonctionnelle locale (valuations). e e Si F est une fonctionnelle locale, on ne peut utiliser telle quelle la fonctionnelle gnratrice e e normalise e i i e 2 .K.+iJ. d 1 F J= e 2 JK J . F () := F i J e 2 .K. d

car elle ne tient pas compte du potentiel dinteraction V (qui nest pas quadratique et na donc aucune raison dtre reli au calcul Gaussien). e e Il nous faut donc donner un sens ` un symbole de la forme a F = e 2 .K.+iJ.+V () d e 2 .K.+V () d
i i

J,V

F ().

On remarque que mme la normalisation fait intervenir le potentiel dinteraction V = Lint . e La mthode standard est alors de remplacer V par V avec variable formelle et dappliquer e la formule

eiV

J,f or

= eiV ( J ) e 2 JK

1 J

:=
k=0

(i)k k!

...
k termes

Lint

e 2 JK

1 J

dx1 . . . .

en terme de srie formelle en , ce qui permet dobtenir une srie formelle quon pourra quotiene e ter par la srie formelle eV 0,f or . On remarque que la formule dnissant le dveloppement e e e perturbatif est obtenue en changeant formellement le signe de lintgrale fonctionnelle avec celui e e

58

CHAPITRE 4. PHYSIQUE QUANTIQUE AVEC INTERACTIONS

de lintgrale usuelle. Lide tant simplement que le terme de potentiel V nest pas une fonce e e tionnelle locale (ce qui nous interdit de calculer directement sa fonctionnelle gnratrice) mais e e cest lintgrale de la fonctionnelle locale Lint donne par la densit lagrangienne dinteraction. e e e Si on le souhaite, on peut aussi faire intervenir une fonctionnelle locale F (par exemple un produit dvaluations) dans la srie formelle au numrateur. Le quotient des deux sries formelles e e e e a pour coecients des valeurs moyennes dobservables pour les champs libres (sans interactions) qui sont calculables par lintgration fonctionnelle formelle explique dans la section 3.3.4. e e Par les calculs de drives fonctionnelles fournies dans la section 3.3.2, on obtient nalement e e les fonctions de correlations avec interactions comme quotient de deux sries formelles dont les e coecients sont des valeurs moyennes dobservables libres.

4.2.3

Le mod`le ludique 4 e

On se rf`re au sminaire Bourbaki de Louis Boutet de Monvel sur les travaux de Connes et ee e Kreimer [dM98] ainsi quau livre de Connes et Marcolli [CM08]. On se donne maintenant une action S() = S0 () + Sint () dcompose en sa partie libre e e S0 () qui est en gnral de la forme S0 () = M L0 () avec M lespace temps et L0 () au plus e e quadratique en et ses drives premi`res, par exemple e e e 1 m2 2 L0 () = ()2 2 2 pour un champ scalaire libre de masse m. Le lagrangien dinteraction Lint (tel que Sint () = e e e e a e e e M Lint ()) est en gnral polynomial de degr suprieur ` 2 en et ses drives premi`res et chacun de ses monmes dpend dune constante de couplage note g, ou avec des indices si o e e ncessaire. e Dans le cas du champ scalaire en interaction, on dveloppe dexponentielle eiSint () en srie e e pour obtenir une version dite perturbative des fonctions de Green G(x1 , . . . , xn ) = N 1
n

in n! in n!

[d]eiS0 () (Sint ())n (x1 ) . . . (xn )

avec N =
n

[d]eiS0 () (Sint ())n .

4.3

Quantication covariante des thories de Jauge e

Les thories de Jauge sont les lments essentiels de la description moderne des interactions, e ee et notamment des diverses thories quantiques des champs utilises dans la description des e e exprimentations sur accelrateurs. Leur quantication par lintgrale fonctionnelle est similaire e e e a ` celle des thories des champs bosoniques, mais elle exige cependant lintroduction de mthodes e e cohomologiques pour traiter les espaces de champs invariants par symtries de jauge, qui ont e des degrs de libert en trop, ce qui signie que lintgrale fonctionnelle na ne peut jamais e e e ve tre dnie et quil est ncessaire de modier laction pour tenir compte des symtries. e e e e On se rf`re ` louvrage tr`s complet [HT92] pour un traitement plus dtaill de cette thorie ee a e e e e dicile.

 4.3. QUANTIFICATION COVARIANTE DES THEORIES DE JAUGE

59

4.3.1

Lespace des phases covariant en prsence de libert de jauge e e

Rappelons que si un probl`me variationnel lagrangien classique portant sur les sections dun e br vectoriel (particule de mati`re) est donn, on lui associe son espace des phases covariant P, e e e qui joue le rle de la varit des solutions de son quation dEuler-Lagrange. On va raisonner, o ee e dans cette section et la suivante, en supposant que lespace P et lespace des histoires H sont dans une catgorie despace similaire ` celle des varits direntiables (pour plus de dtails, e a ee e e voir la section 3.3.1). Lespace des phases covariant P est un sous-espace algbrique de lespace H des histoire, qui e joue, lui, le rle de la varit de tous les champs. Ceci signie que si C (H) dnit lespace o ee e des fonctions lisses (ou fonctionnelles locales) sur les histoires, il existe un idal I C (H) e (essentiellement engendr par lquation dEuler-Lagrange) tel que e e 1. lespace des fonctions lisses sur lespace des phases covariant scrive C (P) = C (H)/I e et 2. P H soit exactement lensemble des zros des fonctions de lidal I. e e Dans la situation des thories de jauge, les solutions du probl`me variationnel sont munies e e dune action du groupe de jauge, qui est typiquement un groupe G de fonctions f : M G (des ouverts) de la varit de base ` valeur dans le groupe de Lie de symtries globales de la ee a e thorie. Dans ce cas, lespace des phases covariant nest pas dni comme lespace des solutions e e des quations du mouvement, mais comme lespace quotient de ces solutions par les symtrie de e e Jauge. Ceci signie quil existe un idal I C (H) tel que e 1. lespace des fonctions lisses sur lespace des phases covariant scrive C (P) = (C (H)/I)G e (invariants de lalg`bre quotient) et e 2. P est le quotient par le groupe G (espace des orbites de jauge) de lensemble des zros de e lidal I dans H. e Pour pouvoir appliquer les mthodes dintgration fonctionnelle aux champs de jauge, il e e convient de xer la jauge, ce qui brise la symtrie et rend les intgrales fonctionnelles divergentes e e par nature. La mthode pour rsoudre ce probl`me est dajouter au lagrangien des termes quon e e e obtient en combinant une rsolution cohomologique du quotient C (H)/I avec une rsolution e e cohomologique des invariants par G. Lune des rsolutions sappelle la mthode des antichamps et e e lautre la rsolution par les fantmes. Lensemble de ce formalisme sappelle la mthode BRSTe o e BV (Becchi-Rouet-Stora-Tyutin, adapte aux thories de jauge ayant un formalisme hamitonien e e contraint par un groupe de Lie, et sa gnralisation Batalin-Vilkovisky, adapte au thories de e e e e jauge plus gnrales). e e

4.3.2

Antichamps et rsolution de la surface stationnaire e

On se rf`re ` la section 6.6.4 sur le calcul direntiel hors coquillage ainsi quau livre [HT92] ee a e de Henneaux et Teitelboim et ` larticle court [Hen94] pour des exemples spciques. a e On se donne une densite lagrangienne L portant sur les sections dun br E sur lespace e temps M de dimension m. On note (x, ua, ) les coordonnes sur le br J E avec Nm e e des multi-indices. On note A lalg`bre C (J E). Lespace des phases covariant est lespace des e

60

CHAPITRE 4. PHYSIQUE QUANTIQUE AVEC INTERACTIONS

L u

zros de lidal I = (D L ) engendr par lquation dEuler lagrange e e e e u direntielles. e Une relation non triviale L R .D =0 u

et ses consquences e

entre les gnrateurs de lidal I est appele une identit de Noether. On peut montrer (voir e e e e e [FLS02], section 3) quune telle identit induit une symtrie de jauge. e e Si E est un br vectoriel et L est un lagrangien de mati`re bosonique libre e e L(, d) = d d, on peut montrer quil ny a pas de relations non triviales entre les gnrateurs de lidal I car de e e e L telles relations induiraient des symtries de jauge. Les u := D u , appels les antichamps, sont e e donc linairement indpendants sur A et le A-module I est isomorphe au module libre A({u }) . e e On a ainsi obtenu une suite exacte 0 A({u }) A A/I 0. Les u sont appels les antichamps dans la littrature physique. On complique ensuite un peu les e e choses (cest inutile mais mieux vaut le faire tout de mme pour obtenir une alg`bre de champs) e e A({u }) munie de sa direntielle de en considrant lalg`bre extrieure sur les antichamps e e e e Koszul dnie dans la section 6.10.5. La cohomologie de degr 0 de cette direntielle est A/I e e e et toutes les autres cohomologies sont nulles. Cette alg`bre est munie dun anticrochet, qui e ressemble fort au crochet de Schouten-Nijenhuis sur les multivecteurs. Ceci nest pas un ha sard car les antichamps peuvent tre aussi paramtrs par les oprateurs variationnels D u e e e e (lvaluation en L fournit cette paramtrisation). On pourrait donc aussi noter u := D u . e e Une autre mani`re agrable de procder est de considrer les antichamps comme des champs de e e e e vecteurs verticaux u sur E et de remplacer E par le br V E M des tels champs de vecteurs, e ). On voit cette varit plutt comme une supervarit donc les coordonnes sont notes (x, u, u e e ee o ee dont les coordonnes forment une alg`bre B contenant A essentiellement de la forme A(u) . e e Dans le cas dun lagrangien de Yang-Mills sans mati`re e L(A, dA) = dA dA portant sur une connexion A sur un br principal P sur lespace temps M de groupe structurel e G, la situation se complique. En eet, les symtries de jauge induisent des relations non triviales e de la forme L R .D = 0, u ce qui fait que lidal I nest pas un A-module libre. e On est donc amen ` construire une rsolution libre de A/I en tant que A-module, qui va tre ea e e un complexe (M , d) de A-module libre. On dnit alors lalg`bre B des antichamps gnraliss e e e e e (appels aussi antifantmes, fantmes des antifantmes, etc...) comme lalg`bre gradue come o o o e e mutative libre B = Lsc,A M .

 4.3. QUANTIFICATION COVARIANTE DES THEORIES DE JAUGE

61

On peut raisonnablement tendre la direntielle d en la combinant avec la direntielle de e e e Koszul sur le produit extrieur pour obtenir une direntielle dite de Koszul-Tate sur B . On e e dnit aussi sur cette alg`bre des drivations variationnelles gauche et droite (` voir) et un e e e a crochet (la sommation tant omise) par e (A, B) = D A GA D A GA . u u u u

On dispose aussi dune drivation gradue donne ventuellement par e e e e (F ) = D F GF . u u

4.3.3

Fantmes et rsolution des invariants de jauge o e

On se donne une densite lagrangienne L portant sur les sections dun br E sur lespace e temps. On note (x, ua, ) les coordonnes sur le br J E avec des multi-indices. On note A e e lalg`bre C (J E). Les symtries de jauge sont des applications A Varsym(L) de la forme e e Ri :
,a ,a Ri (D )

. ua

,a avec (Ri )iI = (Ri )iI des familles de fonctionnelles locales qui param`trent les-dites symtries. e e En pratique, dans une thorie de Yang-Mills, les symtries de Jauge sont donnes par des champs e e e a de vecteurs verticaux sur E de la forme A A avec : M g une fonction ` valeur dans lalg`bre de Lie. e Pour chaque telle famille Ri , i I tant x, on se donne un champ supplmentaire C i e e e appel fantme de la symtrie de jauge correspondante et de mme nature que . On associe e o e e ensuite aux relations entre ces symtries dautres champs appels les fantmes de fantmes et e e o o . Et on continue ainsi pour construire une resolution libre des invariants de jauge. On nots c e note maintenant F le br gradu donn par la somme de E avec les brs fantmatiques et e e e e o les coordonnes sur J E sont notes (x, vb, ). e e On utilise ensuite la rsolution libre de lidal I A engendr par les consquences direntielles e e e e e D L des quations dEuler-Lagrange, dont les gnrateurs sont appels les antichamps, puis e e e e u les antifantmes (qui sont aussi les fantmes dantichamps) et ainsi de suite. On construit ainsi o o un br gradu G . e e Les identits de Noether fournissent une relation directe entre les antifantmes (qui encodent e o les relations entre les consquences direntielles des quations dEuler-Lagrange) et les fantmes e e e o (qui encodent les symtries de jauge). Ceci permet, dans les cas les plus rguliers (par exemple pas e e de relations suprieures) et en utilisant les deux rsolutions de Koszul (de I et des symtries de e e e jauge) de construire une alg`bre de Gerstenhaber (A , (., .)) qui contient lalg`bre des observables e e classiques A et qui est munie dune direntielle intrieure, i.e, telle quil existe Lmc vriant e e e 2 = 0, i.e., (.) = (Lmc , .) et lquation ma e tresse classique

(Lmc , Lmc ) = 0.

62

CHAPITRE 4. PHYSIQUE QUANTIQUE AVEC INTERACTIONS

Dans le cas de la thorie de Yang-Mills libre, si on note par une toile le produit de Hodge, e e on obtient la densit lagrangienne e 1 Lmc = dA dA + A 4
AC

1 + C [C, C], 2

avec A 1 (g) le champ de jauge, C 0 (M, g) le fantme, On doit penser ` [C, C] comme un o a anticrochet et non pas comme le crochet de Lie induit par celui de lalg`bre de Lie (qui serait e nul). On est ensuite amen ` rsoudre dans A lquation ma e a e e tresse quantique portant sur une fonctionnelle Lmq A [[ ]] avec Lmq,0 = Lmc et donne par e (e o` en dautres termes u
i

)=0

1 (W, W ) i (W ) = 0. 2 Les intgrales fonctionnelles ` calculer seront alors de la forme e a F (, )[d] = F (, = )[d]

avec une fonctionnelle choisie telle que = et F une fonctionnelle invariante par BRST au sens o` u (F ) := (Scl , F ) = 0. Cette derni`re condition est ncessaire pour garantir lindpendance de lintgrale fonctionnelle e e e e considre par rapport au choix de . ee

4.3.4

Actions fantmatiques o

On donne maintenant des prcisions sur la mthode gnrale pour construire une action e e e e fantmatique vriant lquation ma o e e tresse quantique ` partir dune action classique. a

4.4

Renormalisation

On se base ici sur le livre de Connes-Marcolli [CM08] pour le formalisme mathmatique de la e renormalisation ainsi que sur le travaux de van Suijlekom [van08a] et [van08b] pour les aspects plus spciques aux thories de Jauge. e e

4.4.1

Le groupe de renormalisation de Connes et Kreimer

Rappelons que la mthode des antichamps permet, ` partir dune thorie physique classique e a e (E M, L) ventuellement munie de symtries de jauge, de construire : e e 1. une alg`bre gradue B sur lalg`bre A des fonctionnelles locales sur les champs (fonctions e e e lisses sur les jets de champs, appeles observables classiques hors coquillage), e

4.4. RENORMALISATION 2. un crochet (., .) : B B B ,

63

0 3. un lment Sc B tel que (.) := (S, .) soit une drivation de carr nul de B , Sc = S et ee e e 1 soient dtermins et non triviaux, les premiers termes de Sc e e

4. un lment Sq B [[ ]] tel que ee 1 (Sq , Sq ) = i Sq . 2 Modulo le choix dune fonctionnelle locale B 1 appele xation de jauge, on peut appliquer e les mthodes classiques dintgration fonctionnelle avec la mesure donne par e e e [d]e
i

Sq (, )

Cette mesure ne sapplique quaux extensions Aq des observables classiques A A

4.4.2 4.4.3

Relation avec la thorie de Galois direntielle e e Renormalisation des thories de Jauge e

64

CHAPITRE 4. PHYSIQUE QUANTIQUE AVEC INTERACTIONS

Chapitre 5

Thories quantiques des champs e

5.1 Llectrodynamique quantique e

Cette thorie physique dcrit linteraction entre les lectrons entre eux, qui est porte par e e e e linteraction lectromagntique, i.e., par les photons. e e On consid`re la thorie de Jauge avec interactions e e (M, g, U, E, G, P, V, EV , Lloc , Ljauge ) sur lespace de Minkowski (M, g), muni de son br spinoriel S ResC/R C2 M M . e = Le br naturel de mati`re libre E est x comme tant gal ` S. Il reprsente le couple e e e e e a e lectron/antilectron libre. Le groupe de jauge est G = U (1) et on se donne le br princie e e pal trivial P = U (1) M M sur M . On consid`re la reprsentation standard V = ResC/R C e e de U (1) et son br vectoriel associ EV = ResC/R C M M . Le champ de jauge A est une e e section du br Conn(P ) des connexions sur P et induit sur EV une connexion hermitienne (car e elle respecte laction de U (1)). Le lagrangien de jauge est comme dhabitude dni par e 1 Ljauge (A) = F F 4 avec loprateur de Hodge dni par la structure Hermitienne fournie par laction de U (1). Le e e lagrangien local est donn par e mc 1 Lloc (A, V ) = Im( V , (DA + ) V ), 2 avec DA la drivation covariante sur S E, donne par tensorisation de la drivation de Levie e e Civita de la mtrique g sur les sections de S avec la connexion A induite sur les sections de e EV par le champ de jauge A.

5.2

Linteraction faible

Cette thorie physique dcrit linteraction entre les nuclons (neutrons et protons) et les e e e lectrons (et anti-lectrons appels aussi positrons) et explique les ractions de radioactivit e e e e e beta, dans laquelle des neutrons/protons mettent des lectrons et positrons. e e 65

66

CHAPITRE 5. THEORIES QUANTIQUES DES CHAMPS

On consid`re une thorie de jauge avec interactions sur lespace de Minkowski muni de son e e br spinoriel S. Le br de mati`re libre E est x comme tant gal ` S. Le groupe de jauge e e e e e e a est gal ` SU(2) et on se donne le br principal trivial sur M . On consid`re deux copies de la e a e e reprsentation standard V de SU(2) et le br vectoriel associ EV . e e e Les gnrateurs de lalg`bre de Lie de SU(2) sont les bosons dinteraction. Les deux produits e e e tensoriels SC V correspondent ` deux couples particule/antiparticule. a Le lagrangien est un lagrangien de Yang-Mills avec interactions standard.

5.3

Linteraction lectrofaible e

Il a t observ exprimentalement qua certaines nergies, il ntait plus possible de direntier ee e e e e e linteraction lectromagntique de linteraction faible. Ceci se traduit en considrant une thorie e e e e de jauge pour le groupe U (2), avec un br de mati`re fournit par trois copies de la reprsentation e e e standard V de U (2), et le br de mati`re libre toujours donn par le br des spineurs S. e e e e On obtient ainsi trois couples particule/antiparticule correspondant aux trois produits tensoriels V S. Pour expliquer la sparation aux plus bases nergies des interactions faibles et lectromagntiques, e e e e on utilise une brisure de symtries, cest ` dire quon se restreint ` des sous-groupes SU(2) et e a a U (1) dans U (2). A mieux regarder dans Derdzinski.

5.4

La chromodynamique quantique

La chromodynamique quantique dcrit linteraction forte entre des particules de mati`re hye e pothtiques appeles les quarks. Ces objets sont les composantes des nuclons et leurs intractions e e e e fortes expliquent la cohsion du noyau qui devrait tre compromise par lintraction lectromagntique e e e e e (rpulsion des protons chargs entre eux). e e Cest une thorie de jauge pour le groupe SU(3). e

5.5

Le mcanisme de Higgs e

Le mcanisme de Higgs (appel aussi mcanisme de Englert-Brout-Higgs-Guralnik-Hagene e e Kibble sur scholarpedia) est un procd qui permet de donner une masse aux bosons de jauge des e e thories de Yang-Mills avec une brisure spontane de symtrie. La mthode prend ses origines e e e e dans la thorie de la supraconductivit. e e Lide de dpart de la brisure spontane de symtrie est classique : mme si une action e e e e e classique S est invariante de Jauge sous un groupe de Lie G, ses extrmas peuvent tre invariants e e sous un plus petit groupe H. Les gnrateurs de G qui ne sont pas dans H introduisent alors de e e nouvelles particules (bosons de Higgs) qui ont le bon got, en pratique, de permettre de donner u une masse aux champs dinteraction (bosons de jauge), qui a priori nen ont pas.

` 5.6. LE MODELE STANDARD

67

5.6

Le mod`le standard e

Le mod`le standard est la combinaison de lintraction lectrofaible, et de la chromodynae e e mique quantique, du mcanisme de Higgs et des mthodes de renormalisation des thories de e e e Jauge.

68

CHAPITRE 5. THEORIES QUANTIQUES DES CHAMPS

Chapitre 6

Outils mathmatiques e
6.1
6.1.1

Formules fondamentales pour les gaussiennes

Intgrales gaussiennes avec source e

Pour comprendre les notations utilises par les physiciens, il est bon de reprendre leurs e mthodes de normalisation. On peut cependant utiliser dautres normalisations pour chapper e e au probl`me de linnitude de la normalisation en dimension innie. Ceci est expliqu en dtails e e e dans le livre de Cartier et DeWitt-Morette [CDM06] et repris dans le cas des champs dans la th`se de J. Lachapelle. e On reprend essentiellement le chapitre 1.2.2 du livre de Zinn-Justin [ZJ05]. Soit A une matrice symtrique dnie positive qui induit une forme quadratique q sur Rd et = A1 son e e inverse (quon appelera plus tard le propagateur) qui induit forme quadratique w sur (Rd ) . Pour b (Rd ) une forme linaire, on note e Z(A, b) =
Rd

1 exp q(x) + b.x dx. 2

Le changement de variable x = y + .b donne que cette intgrale vaut e Z(A, b) = exp 1 w(b) 2 1 exp q(y) 2 Rd = exp 1 w(b) Z(A, 0). 2

La valeur de Z(A, 0) sobtient par diagonalisation ` partir de la dimension 1 et donne a Z(A, 0) = (2)d/2 det(A) .

On remarque que la limite quand d tend vers linni de Z(A, b) na pas de sens mais que celle Z(A,b) du quotient Z(A,0) peut en avoir une, car on a la formule Z(A, b) = exp Z(A, 0) 69 1 w(b) . 2

70

CHAPITRE 6. OUTILS MATHEMATIQUES Si F est une fonction sur Rn , sa valeur moyenne est donne par e F :=
Rn

F (x)e 2 q(x) dx . Z(A, 0)

Remarquons quon a en particulier exp(b.x) = Z(A, b) . Z(A, 0)

Si on note b.x = bi .xi , on peut trouver les valeurs moyennes des monmes en dveloppant o e exp(b.x) en srie enti`re : e e xk1 . . . xkr = Z(A, b) ... bk1 bkr Z(A, 0) =
b=0

1 ... exp( w(b)) bk1 bkr 2

.
b=0

e e Chaque drive partielle bk peut soit faire sortir un facteur linaire bi , soit en direntier un e e i dj` prsent. Le rsultat est non nul sil y a autant doprations des deux types, ce qui donne ea e e e

xk1 . . . xkr =
appariemments dindices

wij1 ,ij2 . . . wijl1 ,ijl

avec wi,j les coecients de la matrice w. Cette formule sappelle formule de Wick. Plus gnralement, si F est une srie enti`re en les xi , on trouve lidentit e e e e e F = F b exp 1 w(b) 2 .
b=0

Cest cette fonctionnelle valeur moyenne dont les physiciens utilisent une gnralisation fore e melle ` la dimension innie. La forme linaire auxiliaire b est souvent note J et appele une a e e e source externe.

6.1.2

Diagrammes de Feynman en dimension nie

On se rf`re ` larticle introductif [Phi01]. Le but des diagrammes de Feynman est dencoder ee a la combinatoire des calculs de valeurs moyennes F = F b exp 1 w(b) 2

b=0

de fonctions pour une mesure gaussienne. Pour calculer ces valeurs dans le cas o` F est un monme, on dveloppe lexponentielle u o e exp 1 w(b) en srie formelle : e 2 exp 1 w(b) 2 =
n

w(b)n = 2n n!

1 2n n!

n wi,j bi bj .

i,j=1

6.1. FORMULES FONDAMENTALES POUR LES GAUSSIENNES

71

Les termes de cette srie sont homog`nes en les bi de degr 2n. Si on direntie k fois un tel e e e e monme et quon lvalue en 0, on obtient 0, sauf si k = 2n. Il sagit donc dtudier la valeur de o e e 2n direntiations sur un mnome de la forme ( d e o wi,j bi bj )n . i,j=1 La direntiation la plus frquemment utilise dans ce calcul est e e e d d 1 = wi,j bi bj wi,j bi , bk 2
i,j=1 i=1

o` on utilise la symtrie de la matrice de la forme quadratique w, inverse de la forme quadratique u e q. On va noter i = bi . Calculons quelques exemples : 1. Le terme dordre n = 1 donne x1 x2 = 2 1 1 2
j

d i,j=1

w1,j bj = w1,2

wi,j bi bj = 2

en utilisant la symtrie de la matrice w, et e 1 x1 x1 = 1 1 2 2. Le terme dordre n = 2 donne x1 x2 x3 x4 =

d i,j=1

wi,j bi bj = w1,1 .

4 3 2 1

1 22 2!

d i,j=1 wi,j bi bj

= 4 3 2 1 ( wi,j bi bj )( w1,j bj 2 1 = 4 3 ( w2,j bj )( w1,j bj ) + 2 ( wi,j bi bj )w1,2 = 4 [w2,3 ( w1,j bj ) + w1,3 ( w2,j bj ) + w1,2 ( w3,j bj ))] = w2,3 w1,4 + w2,4 w1,3 + w3,4 w1,2 . On trouve de mani`re similaire que e x1 x1 x3 x4 x1 x1 x1 x4 x1 x1 x4 x4 x1 x1 x1 x1 = 4 3 1 1 = 4 1 1 1 = 4 4 1 1 = 1 1 1 1
1 22 2! 1 22 2! 1 22 2! 1 22 2! d i,j=1 wi,j bi bj d i,j=1 wi,j bi bj d i,j=1 wi,j bi bj d i,j=1 wi,j bi bj 2

= 2w1,4 w1,3 + w3,4 w1,1 ,

2

=
2 2

3w1,4 w1,1 ,

= 2w1,4 w1,4 + w4,4 w1,1 , = 3w1,1 w1,1 .

La combinatoire de ces calculs tant assez complexe, il est pratique de reprsenter chacun e e des produits y apparaissant comme un graphe, dont les sommets correspondent aux indices des coordonnes xi appara e ssant dans les fonctions dont ont calcule la valeur moyenne et chaque wi,j devient une arte entre le sommet i et le sommet j. e On obtient ainsi les diagrammes suivants :

72 x1 x1 x2 x3 x4 = x2 x1 x1 x1 x3 x4 = 2. x1 x1 x1 x1 x4 = 3. x4 x4 x4 x3 x3

CHAPITRE 6. OUTILS MATHEMATIQUES x3 x3 x1 x2 + x2 x1 + x4 x4 x3 + x1 x4

x1 x1 x1 x4 x4 = 2. x1 x4 +

x4

x1 x1 x1 x1

3. x1

6.1.3

Les r`gles de Feynman en dimension nie e

On conserve les notations des sections prcdentes et on se donne un polynme V en les e e o coordonnes x1 , . . . , xd . Les intgrales dont les gnralisations sont intressantes pour la physique e e e e e sont de la forme 1 Z(A, V ) := exp q(x) + V (x) dx, 2 d R que lon rcrit sous la forme ee Z(A, V ) = 1 exp q(x) 2 Rd 1 ( V (x))n dx. n!

On peut valuer ces intgrales comme prcdemment en utilisant la formule formelle e e e e Z(A, V ) = Z(A, 0) exp V b exp 1 w(b) 2 ,
b=0

dont le dveloppement en srie se calcule en utilisant les calculs prcdents pour les fonctions e e e e a ` n-points. La combinatoire de ces calculs est encode par des diagrammes dont les sommets e correspondent aux coecients ai1 ,...,id des monmes du polynme V = iNd ai xi et les artes o o e aux coecients wi,j de la forme quadratique apparaissant dans la formule de Wick pour les-dits monmes. o Par exemple, on peut considrer un polynme de la forme V (x) = i,j,k vijk xi xj xk (situation e o 3 ) et calculer similaire au mod`le ludique e Z(A, V ) =
Rd

exp 1 q(x) + 2

i,j,k vijk xi xj xk

dx
b=0

= Z(A, 0) exp

i,j,k vijk i j k

exp

1 2 w(b)

 6.2. RAPPELS DE GEOMETRIE DIFFERENTIELLE Calculons les termes de degr 2 en . Ces termes comportent 6 drives et leur somme est e e e vijk vi j k i j k i j k exp
i,j,k i ,j ,k

73

1 w(b) 2

.
b=0

Par le thor`me de Wick, on peut rcrire cette somme comme e e ee wi1 ,i2 wi3 ,i4 wi5 ,i6 vijk vi j k
i,j,k i ,j ,k

o` la somme interne est prise sur tous les appariements {(i1 , i2 ), (i3 , i4 ), (i5 , i6 )} de {i, j, k, i , j , k }. u On associe ` ces appariements des graphes dont les sommets trivalents correspondent aux faca teurs vijk et les artes correspondent aux wi,j . Dans ce cas, on obtient exactement deux graphes e distincts nomms respectivement halt`re et ttard : e e e

Il convient ensuite de numroter les artes au niveau de chaque sommet pour encoder le e e monme correspondant. o

6.2

Rappels de gomtrie direntielle e e e

On utilisera librement lappendice 6.10 sur les catgories et foncteurs dans cette section, mais e lessentiel de ce paragraphe peut tre lu sans connaissances pralables sur ces notions. e e Notre approche est relativement abstraite car on souhaite pouvoir lappliquer directement aux jets innis. Pour une approche plus lmentaire et relativement compl`te du calcul direntiel ee e e n ), on pourra se rfrer au livre de Taylor [Tay96]. local (sur les ouverts de R ee

6.2.1 6.2.2

Dnition par les cartes des varits et brs direntiables e e e e e Faisceaux, varits et brs e e e

On donne maintenant une dnition plus intris`que de la notion de varit, base sur la e e ee e notion de faisceau. Ce point de vue est relativement incontournable pour donner une dnition e des invariants direntiels par leur proprit universelle. e ee Denition 18. Soit X un espace topologique. Un faisceau F sur X est la donne e 1. pour chaque ouvert U X dun ensemble F(U ) appel les sections du faisceau, e 2. pour chaque inclusion V U douverts dune application appele restriction des sections e U,V : F(U ) F(V ) quon notera f f|V .

74

CHAPITRE 6. OUTILS MATHEMATIQUES 3. (condition de recollement) pour chaque recouvrement {Ui } dun ouvert U , si fi F(Ui ) sont des sections dont les restrictions (fj )|Ui Uj = (fi )|Ui Uj sont gales sur les intersections e des Ui , il existe une unique section f F(U ) dont les restrictions fUi = fi aux Ui est gale e aux sections donnes au dpart. e e

Plus gnralement, si C est une catgorie dont les objets sont des ensembles munis de structures e e e supplmentaires (par exemple les anneaux ou les groupes abliens), un faisceau sur X ` valeurs e e a dans les C est un foncteur contravariant F : Ouv(X)op C de la catgorie Ouv(X) des ouverts e de X munis des morphismes donns par les inclusions dans la catgorie C vriant la condition e e e de recollement ci-dessus. Un morphisme de faisceaux sur X est une transformation naturelle entre les foncteurs correspondants. Par exemple, si U est un ouvert de Rn , les fonctions C sur les ouverts de U ` valeurs relles a e forment un faisceau sur U not CU . Un mod`le local lisse est un couple (U, CU ). Si I CU est e e un idal (sous-module), on appelle le couple (U, CU /I) un mod`le local lisse gnral. On dnit e e e e e de mani`re analogue le faisceau Hol des fonctions holomorphes sur un ouvert U de Cn et des e mod`les locaux holomorphe et holomorphes gnraux. e e e Denition 19. Un espace annel est un couple (X, OX ) form dun espace topologique X et dun e e faisceau danneaux OX sur X. Un morphisme entre deux espaces annels X et Y est un couple e (f, f + ) form dune application continue f : X Y et dun morphisme f + : f 1 OY OX . e Une varit lisse (resp. lisse gnrale, resp. holomorphe, resp. holomorphe gnrale) est un espace ee e e e e annel (X, O) localement isomorphe ` un mod`le local lisse (resp. lisse gnral, resp. holomorphe, e a e e e resp. holomorphe gnral). e e Soit X = (X, OX ) est un espace annel. La catgorie (Affine)X des schmas anes sur X e e e est la catgorie oppose ` celle des faisceaux A en O-alg`bres sur X. On note Spec(A) lobjet e e a e correspondant de cette catgorie. On identie cette catgorie ` une sous-catgorie de sa duale e e a e (Affine) = (Fonct)((Affine)X , (Ens)) par le plongement de Yoneda : X (Affine)X Spec(A) (Affine) X Hom(., Spec(A)).

Soit S un objet de (Affine) . Un sous-foncteur U S sera dit ouvert si pour tout schma e X ane Spec(A) S, la bre de U S est plate (respecte les suites exactes de modules) et de prsentation nie (commute aux limites inductives). Un objet S de (Affine) sera appel un e e X schma sil peut-tre recouvert par des ouverts isomorphes ` des ouverts anes. e e a Si F est un faisceau en O-modules de prsentation nie sur X, on note V (F) le schma ane e e sur X donn par le spectre de la O-alg`bre symtrique SymO (F ). e e e Si (X, O) = (X, C ) est une varit C , i.e., un espace annel localement isomorphe ` un ee e a ouvert de Rn muni de ses fonctions C et F est un C -module localement libre de rang ni sur X, on peut associer au schma V (F) sur X une varit C obtenue en identiant les sections e ee (U ) = (C )n , ce qui donne V (F) sur un petit ouvert U de X ` F a |U = Spec(C [X1 , . . . , Xn ]), donne par qui reprsente lespace ane de dimension n sur U , cest ` dire la varit C e a ee e U Rn U.

 6.2. RAPPELS DE GEOMETRIE DIFFERENTIELLE

75

On peut dnir une varit lisse sur X note aussi V (F) et dont la bre au dessus de U est e ee e U Rn U . Un F X de la forme V (F) est appel un br vectoriel. La correspondance e e F V (F) est une quivalence de catgories entre la catgorie des faisceaux localement libres et celle des e e e brs vectoriels (munis des morphismes linaires sur les bres). e e Une autre approche possible aux varits lisses est celle des spectres ` valeurs relles dalg`bres ee a e e lisses, traite dans le livre de Nestruev [Nes03]. Ces mthodes jouent un rle important dans la e e o formulation algbrique du calcul direntiel sur les varits lisses. e e ee

6.2.3

Points de vue fonctoriel sur le calcul direntiel e

Une mthode ecace pour aborder le calcul direntiel est fournie par Nestruev [Nes03] e e dans le cadre de lalg`bre commutative. Les formes direntielles et jets sont dnis comme e e e reprsentant les foncteurs drivations et oprateurs direntiels. Ceci permet de traiter sur un e e e e pied dgalit les alg`bres de fonctions sur les varits C (formes direntielles lisses) et les e e e ee e schmas anes (formes direntielles de Khler). e e a Dans la suite, tous les anneaux sont supposs commutatifs unitaires. Soit K un anneau. e Denition 20. Soit A une K-alg`bre et P un A-module. Une K-drivation de A ` valeurs dans e e a P est une application K-linaire : A P qui vrie la r`gle de Leibniz e e e (f g) = f (g) + g(f ) f, g A. Lespace des telles drivations est not Der(A, P ). e e On pense aux drivations dans Der(A, A) comme ` des champs de vecteurs sur le spectre e a de A. Si P est le A-module donn par un K-point x : A K (morphisme de K-alg`bre), les e e drivations de Der(A, P ) sont les vecteurs tangents au spectre de A en le point x. e Denition 21. Soit A une K-alg`bre, P et Q deux A-modules et : P Q une application e K-linaire. Pour a A, on note a () = [, a] : P Q lapplication dnie par a ()(p) = e e (ap) a(p) pour p P . On dit que : P Q est un oprateur direntiel dordre l si e e pour tous a0 , . . . , al A, on a (a0 al )() = 0. On note Di l (P, Q) lensemble des tels oprateurs muni de la structure de A-module ` gauche. e a Denition 22. Soit A une alg`bre commutative unitaire et M une sous-catgorie de la catgorie e e e des A-modules. Les formes direntielles relatives ` M sur A sont donnes par le A-module 1 e a e A,M de M (sil existe) reprsentant le foncteur Der(A, .) : M M. Soit P un A-module dans M. e l Les jets dlments de P dordre l sur A relatives ` M sont donns par le A-module JP,M (sil ee a e existe) reprsentant le foncteur Di l (P, .) : M M. e En gomtrie algbrique, on utilisera la catgorie M de tous les modules sur A pour obtenir e e e e les direntielles de Khler et les jets de fonctions algbriques. En gomtrie direntielle, on e a e e e e utilise la catgorie des modules gomtriques (voir [Nes03] pour plus de dtails) sur A = C (M ). e e e e

76

CHAPITRE 6. OUTILS MATHEMATIQUES

On introduit maintenant la notion fonctorielle de connexion de Ehresman (pour laquelle on se rf`re ` [KV98], 5.2) qui sera utile pour ltude cohomologique des brs ` connexion. Soit ee a e e a f : A B un morphisme danneaux et P un B-module. On note Der(A, P ) le B-module des drivations P -values A P et Der(P ) le B-module des drivations P -values B P . e e e e Denition 23. Une connexion (de Ehresman algbrique) sur le morphisme f : A B est une e transformation naturelle : Der(A, .) Der(.) entre les endofoncteurs Der(A, .) et Der(.) de la catgorie des B-modules telle que e pour tout X Der(A, P ).
P (X) |A

=X

6.2.4

Jets de fonctions et formes direntielles e

On va maintenant donner une version algbrique de la notion de jets pour des fonctions e sur une varit relative. Cette dnition, quon peut trouver dans EGA [Gro67], a lavantage ee e de pouvoir se gnraliser ` des situations o` X et Y sont des espaces de modules munis de e e a u structures de varits virtuelles diciles ` dcrire explicitement. ee a e Lide de dpart pour dnir algbriquement les objets innitsimaux sur une varit X e e e e e ee est dutiliser des points (x, y) X X qui sont innitsimalement proches (en gomtrie e e e direntielle, on crit souvent x y = h avec h petit, et on calcule la drive comme une e e e e limite quand h tend vers 0 de f (x)f (y) ). Ceci se formalise naturellement en utilisant les voisixy nages innitsimaux de la diagonale = {(x, x)} X X. On pense ainsi ` un point dun tel e a voisinage comme ` deux points (x, y) X X qui sont innitsimalement proches ` un certain a e a ordre. Soit f : X S un morphisme de varits. Soit X/S : X X S X le morphisme diagonal ee donn par X/S (x) := (x, x) pour x X. Soit I OXS X lidal de ce morphisme donn par e e e I := {f OXS X |f = 0X }. On suppose que le morphisme naturel (OXS X /I) OX est un isomorphisme. Denition 24. Lanneau (non rduit) des parties principales dordre n de X/S est dni par e e
n PX/S := (OXS X /I n+1 ). X/S

Cet anneau est muni de deux structures (appeles respectivement structure gauche pour e i = 0 et droite pour i = 1)
n di : OX = id OX = (p OX ) PX/S X X/S i

de OX -alg`bre donnes par les deux projections p0 , p1 : XS X X, et par lgalit pi = idX . e e e e Elle est ltre par les puissances de I. Le couple e
n X/S = (X, PX/S ) (n)

est appel voisinage innitsimal de X/S dordre n dans sa diagonale. e e

 6.2. RAPPELS DE GEOMETRIE DIFFERENTIELLE

77

n Denition 25. Le br sur X correspondant au OX -module PX/S est appel br des jets de e e e fonctions pour le morphisme f et not e n JX/S X. n On remarque que les jets classiques de fonctions JX sont obtenus en supposant S rduit au e n sont alors donns par J n = J n point, i.e., S = Spec(R). Les jets JX e . On a en particulier X X/Spec(R) 0 PX = OX donc 0 JX = X R.

Si F est un OX -module, on note Sym X (F) lalg`bre symtrique sur F. On dnit les formes e e e O direntielles par e 1 := (I/I 2 ). X/S X/S et la suite exacte de OXS X -modules 0 I/I 2 OXS X /I 2 OXS X /I 0 induit (ceci peut ventuellement tre une hypoth`se sur : X X S X lie ` la lissit de e e e e a e X S) une suite exacte de OX -modules
1 0 1 PX/S OX 0 X/S 1 qui induit un morphisme canonique (la structure de OX -alg`bre sur PX/S tant induite par e e n ) d0 : OX PX/S 1 Sym X (1 ) PX/S O X/S

qui factorise par Sym X (1 )/(1 )2 et donne ainsi dans les bons cas un isomorphisme O X/S X/S canonique 1 a : Sym X (1 )/(1 )2 PX/S . O X/S X/S Plus gnralement, on a le rsultat suivant. e e e Proposition 2. Le choix
1

dune section s de la projection (I/I n+1 ) (I/I 2 ) = 1 X/S

permet de dnir un morphisme e

n as : Sym X (1 )/(1 )n+1 PX/S O X/S X/S

qui est un isomorphisme si X/S est lisse. Ceci permet de voir les jets comme des polynmes en o les formes direntielles. e Le fait que cest un isomorphisme si X/S est lisse peut se vrier localement sur un ouvert e n , et ceci dcoule alors de la description locale des jets comme dveloppement limits des de R e e e fonctions.
1 Ce choix est non canonique pour n > 1, mais il est possible si X/S est lisse car 1 X/S est alors localement libre donc projectif sur OX .

78

CHAPITRE 6. OUTILS MATHEMATIQUES

Exemple 1. Si on pose X = R et S = {.}, les parties principales dordre 1 sur X sont donnes e par la R[X]-alg`bre R[X, X0 ]/I 2 avec I 2 = ({P |P (X, X) = 0})2 = ((X X0 )2 ). On remarque e que lapplication des jets envoie un polynme P (X) R[X] sur le polynme o o JP := P (X0 ) + P (X0 )(X X0 ), X

1 qui est une section de PX sur X. Du point de vue des brs vectoriels, un point du br JR R e e 1 est dni par des coordonnes (x, a0 , a1 ) avec x X = R, (a0 , a1 ) R R. On remarque ici e e que les coordonnes a0 et a1 dans lespace des jets sont en gnral compl`tement indpendantes. e e e e e Si f : R R est une fonction, son jet dordre 1 est une section du br JR R donn par e 1 e x (x, a0 = f (x), a1 = f (x)).

Les parties principales PX/S (resp. jets JX/S ) sont la limite projective (resp. projective) des parties principales (resp. jets) dordre ni.

6.2.5

Champs de vecteurs et oprateurs direntiels e e

2

Denition 26. Les oprateurs direntiels dordre n sur X/S sont dnis e e e
n n DX/S := HomOX (PX/S , OX ).

par dualit : e

Les oprateurs direntiels DX/S sont la limite inductive des oprateurs direntiels dordre ni. e e e e
n+m n m Le morphisme naturel PX/S PX/S OX PX/S induit par les deux projections permet de n+m n m dnir la compose DD DX/S de deux oprateurs direntiels D DX/S et D DX/S en e e e e posant n+m n m n DD : PX/S PX/S OX PX/S PX/S OX . idD D

On a deux morphisme naturels

n i0 , i1 : DX/S EndOS (OX ) n donns par composition dun oprateur direntiel D : PX/S OX avec les applications natue e e relles n d0 , d1 : OX PX/S .

On a une application OS -linaire e

1 d = d1 d0 : OX 1 PX/S X/S

donne par le fait que (p1 p0 ) X/S = 0 o` pi : p OX OXS X sont les deux morphismes e u i naturels. Denition 27. Les champs de vecteurs (sections du br tangent) sont dnis par dualit : e e e TX/S := HomOX (1 , OX ). X/S
2 n Les deux structures dalg`bres d0 , d1 induisent la mme structure de OX -module sur PX/S , ce qui rend cette e e dnition intrins`que. e e

 6.2. RAPPELS DE GEOMETRIE DIFFERENTIELLE

79

On dispose dun morphisme naturel des oprateurs direntiels dordre 1 dans les champs e e de vecteurs 1 1 princ : DX/S TX/S qui donne le symbole principal dun oprateur direntiel dordre 1. Mieux encore, on a un e e morphisme canonique 1 DX/S OX TX/S qui est un isomorphisme si X/S est lisse. [n] [n] [n] Plus gnralement, si on note PX/S := (I n /I n+1 ) et TX/S := HomOX (PX/S , OX ), on e e X/S a un morphisme naturel [n] n PX/S PX/S induit par linclusion I n OX et le morphisme dual donne un morphisme naturel
n n princ : DX/S TX/S [n]

appel symbole principal des oprateurs direntiels dordre n. e e e

6.2.6

Connexions

Une connexion sur un br F sur une varit X est un outil permettant de dire si une section e ee du br est constante le long dun chemin donn dans X. On dispose de plusieurs dnitions e e e mathmatiques prcises de cette notion intuitive : les connexions de Koszul, de Ehresman et de e e Grothendieck. La dnition suivante se trouve dans larticle de Katz [Kat70]. e Denition 28. Soit f : X S un morphisme de varits et F un faisceau en O-modules sur ee X. Une connexion (de Koszul) relative sur X/S (appele aussi drivation covariante) est un e e morphisme f OS -linaire e : F F OX 1 X/S tel que pour f O et s F, on ait la relation de Leibniz (f.s) = f. (s) + df s. On associe ` a des morphismes
n

:= idF d + (1)n

id1 : F n F n+1 .

La suite des

forme un complexe si et seulement si la connexion est plate, i.e., sa courbure C( ) :=

1

: F F 2

est nulle. Si (E, par

E)

et (F,

F)

sont deux modules ` connexion, on dnit une connexion sur E F a e

EF

idF +

idE

80 et sur Hom(E, F) par

Hom (E, F)()

CHAPITRE 6. OUTILS MATHEMATIQUES

( id1 )

E.

Le point de vue de Grothendieck sur les connexions en termes de voisinage innitsimal de e la diagonale permet de gnraliser la notion de connexion ` tout type dobjet (varit, faisceau e e a ee en groupes,...) sur une varit f : X S. ee Denition 29. Si f : X S est une application et F est un O-module, une connexion de Grothendieck sur F est la donne dun isomorphisme e : p F p F = 2 1
1 sur (1) se rduisant ` lidentit sur X, o` (1) := (X, PX/S ) est le voisinage innitsimal e a e u e dordre 1 de X dans sa diagonale et p1 , p2 : (1) X sont les deux projections canoniques.

Si on note p1,2 , p2,3 , p1,3 : X S X S X X S X les 3 projections naturelles, la connexion est dite plate si elle vrie la condition de cocyle e p p p 1,2 2,3 = 1,3 et si cest le cas, cette connexion se rel`ve en des isomorphismes e n : p F p F 1,(n) 2,(n) sur les voisinages X/S dordre n de la diagonale de X/S. On remarque quune connexion plate sur le br tangent devrait permettre de donner une e description des oprateurs direntiels utilisant cette connexion. e e Proposition 3. Soit F un O-module. Les donnes dune connexion de Koszul et dune connexion e de Grothendieck sur F sont quivalentes. e Dmonstration. On se rf`re ` [BO78] pour plus de dtails sur le lien entre connexions et voisie ee a e nages innitsimaux. Rappelons que la direntiel extrieure est une application d : OX 1 e e e X 1 PX . Si : P 1 F F P 1 est une connexion de Grothendieck, et d1,F := didF : F F 1 , le morphisme = d1,F : F F P 1 nous permet de construire une connexion de Koszul par (f ) = (f ) f 1. En eet, on a (f ) F 1 car est lidentit sur X. Lassociation e repose sur une suite de proprits universelles qui la rendent biunivoque. ee On peut directement gnraliser cette dnition aux brs principaux sur une varit sous e e e e ee un groupe G ou plus gnralement aux varits quelconques sur X/S. Dans le cas dun br e e ee e principal P X, une connexion est un isomorphisme G-quivariant e : p P p P = 2 1 avec p1 , p2 : (1) X les deux projections naturelles. Une telle connexion sur P dnit naturellee ment une connexion sur tous les brs V := V G P associs aux reprsentations : G GL(V ) e e e de G sur un espace vectoriel par fonctorialit de P V G P . e Si p : E X est un br sur X, E dsigne le faisceau de ses sections, et dp : TE/S p TX/S e e est la direntielle sur les sections, on note VE/S le noyau de dp. e
(n)

 6.2. RAPPELS DE GEOMETRIE DIFFERENTIELLE

81

Denition 30. Une connexion (de Ehresman) sur E est une section de la suite exacte donne e par 0
/ VE/S / TE/S r

/ p TX/S

/ 0,

cest ` dire une dcomposition T E HE V E si X est lisse. Cette connexion est dite linaire a e e = si elle est OE -linaire. e Si E est un br vectoriel, et si la connexion est linaire, lespace vertical VE/S est canoe e E. Si on se donne une section s E, on a ds : T niquement isomorphe ` p a X/S s TE/S et si : TE/S VE/S est la section correspondant ` la connexion, on a a s ds : TX/S s p E E = et par dualit e s ds E 1 X/S ce qui dnit bien une drivation covariante : E E 1 par (e) = (s ds)(e). e e Rciproquement, si E est un br vectoriel et : E E 1 est une connexion (de Koszul) e e sur E, on lui associe une connexion de Ehresman : p TX TE en posant (e D) = e. D Der(Sym(E )) pour e C (E) et D Der(OX ). On introduit maintenant une notion plus fonctorielle de connexion de Ehresman (pour laquelle on se rf`re ` [KV98], 5.2) qui sera utile pour ltude cohomologique des brs ` connexion. ee a e e a Soit f : A B un morphisme danneaux et P un B-module. On note Der(A, P ) le B-module des drivations P -values A P et Der(P ) le B-module des drivations P -values B P . e e e e Denition 31. Une connexion (de Ehresman algbrique) sur le morphisme f : A B est une e transformation naturelle : Der(A, .) Der(.) entre les endofoncteurs Der(A, .) et Der(.) de la catgorie des B-modules telle que e pour tout X Der(A, P ).
P (X) |A

=X

Si A et B sont respectivement les fonctions sur une varit X et sur un br p : E X, ee e cette dnition se rduit ` la dnition usuelle de connexion de Ehresman car lapplication e e a e Der(A) Der(A, B) Der(B) permet de relever un champ de vecteur sur X en un champ de vecteur p-projectable sur E. Rciproquement, comme Der(A, P ) P A Der(A) et Der(P ) P B Der(B) pour un B-module e = = arbitraire, on peut tendre lapplication ci-dessus en une transformation naturelle dendofonce teurs par tensorisation. Denition 32. Soit P un br principal sous un groupe de Lie G. Une connexion de Cartan e sur P est une 1-forme sur P ` valeurs dans Lie(G) invariante par laction adjointe de G. a
B

82

CHAPITRE 6. OUTILS MATHEMATIQUES

6.2.7

Varits symplectiques et varits de Poisson e e e e

La structure de varit de Poisson est un outil tr`s utile en dynamique hamiltonienne et ee e les structures qui en dcoulent (crochet de Schouten-Nijenhuis par exemple) fournissent des e exemples important en dimension nie des objets des thories quantiques des champs, et noe tamment du formalisme des antichamps. Denition 33. Une varit symplectique est la donne dun couple (P, ) form dune varit ee e e ee et dune 2-forme ferme non dgnre 2 (P ). e e e ee Lexemple standard dune varit symplectique est celle du br cotangent P = T M ` une ee e a varit M . On munit P = T M de sa forme symplectique canonique donne par ee e : T (T M ) T (T M ) RT M , quon peut voir comme une section 2 (T M ) de la forme = d avec 1 (T M ) donne par (v) = D(v) R o` v T (T M ) est une section du br tangent ` T M et e u e a D : T (T M ) T M est la direntielle de : T M M . e Si f C (P ), on dnit le champ de vecteur hamiltonien correspondant Xf T (P ) sur P e par lquation e (Xf , .) = df dans 1 (P ). Le crochet de Poisson {., .} : C (P ) C (P ) C (P ) est alors donn par la e drive de Lie le long de Xf de Xg , i.e., e e {f, g} = LXf (Xg ). Revenons maintenant ` une varit P quelconque. a ee Denition 34. Lalg`bre des multivecteurs sur P est lalg`bre antisymtrique ( T P ) sur les e e e champs de vecteurs. Proposition 4. Il existe une unique extension [., .]SN : ( T P ) ( T P ) ( T P ) du crochet de Lie des champs de vecteurs qui est une drivation bigradue. Ce crochet sappelle e e crochet de Schouten-Nijenhuis et munit les multivecteurs dune structure dalg`bre de Gerstene haber (alg`bre gradue anti-commutative munie dun crochet de Lie gradu), i.e., vrie les e e e e conditions suivantes : 1. Identit de Jacobi gradue : e e [X, [Y, Z]] = [[X, Y ], Z] + (1)(|X|1)(|Y |1) [Y, [X, Z]], 2. Drivation bigradue : e e [X, Y Z] = [X, Y ] Z + (1)(|X|1)|Y | Y [X, Z],

 6.3. EQUATIONS AUX DERIVEES PARTIELLES LINEAIRES 3. Anticommutativit gradue : e e [X, Y ] = (1)(|X|1)(|Y |1) [Y, X]

83

Denition 35. Une varit de Poisson est un couple (P, ) form dune varit P et dun ee e ee 2 T P ) dont le crochet de Schouten-Nijenjuis avec lui mme bivecteur ( e [, ]SN = 0 est nul. Si f, g C (P ) sont des fonctions, on dnit leur crochet de Poisson par e {f, g} := , df dg . Remarquons que la condition sur est quivalente ` la combinaison de lidentit de Jacobi et e a e de la proprit de drivation du crochet de Poisson des fonctions. Si on note : T P T P le ee e morphisme induit par , on associe ` une fonction f C (P ) le champ de vecteur hamiltonien a Xf := (df ) (T P ). Si est inversible, on dnit une 2-forme 2 (P ) par e := ( )1 : T P T P. La nullit du crochet de Schauten-Nijenhuis implique que est une forme ferme. e e La notion de structure de Poisson non dgnre est donc essentiellement quivalente ` la e e ee e a notion de structure symplectique.

6.3

Equations aux drives partielles linaires e e e

On rassemble ici quelques mthodes et rsultats classiques ncessaires ` la comprhension e e e a e des quations aux drives partielles de la physique des particules, quon pourra trouver par e e e exemple dans le livre de Taylor [Tay96] et dans les volumes de Gelfand-Chilov [GC62].

6.3.1

Distributions, th`or`me des noyaux e e

Lespace des fonctions test sur un ouvert U de Rn ` valeurs dans Rm est lespace Cc (U, Rm ) a des fonctions lisses ` support compact munie de la topologie limite inductive des topologies sur a les espaces C (K, Rm ) de fonctions lisses sur un compact K U induites par les normes

NK,k (f ) =

sup
xK,||k

| f (x)|.

Une distribution sur U ` valeurs dans Rm est une forme linaire continue sur Cc (U, Rm ). Lespace a e des distributions est not C (U, Rm ) ou plus simplement C (U ) si m = 1. e On dispose dune injection naturelle

i : C (K, Rm ) C (U, (Rm ) )

84

CHAPITRE 6. OUTILS MATHEMATIQUES

donne par i(f ), g = U g, f d avec la mesure de Lebesgue. e Si T C (U, Rm ) est une distribution, on dnit sa drive par rapport ` xi , i = 1, . . . , m e e e a par T , = T, xi xi (U, Rm ) et plus gnralement, si Nn est un multi-indice, pour tout Cc e e T, = (1)|| T, . Si E M est un br vectoriel sur une varit M , lespace c (E) des sections ` support e ee a compact de E sur M est muni de la topologie limite inductive des topologies des espaces de sections ` support dans les compacts K U de cartes U de M (dnie ci-dessus). Lespace des a e sections distributions de E est le dual topologique de lespace c (E). On le note (E). Pour dnir la section distribution associe ` une section, on a besoin de la notion de densit. e e a e Si C est un nombre complexe, le br des -densits DensM sur M est le br des e e e applications : max T M RM telles que () = || () pour toute fonction . On note e a e + Dens+ le sous-br de Dens1 des applications ` valeurs dans (R )M . Cest un br R -principal + M M sur R est Dens1 . tel que le br vectoriel associ ` la reprsentation de R+ e ea e M On dispose dune application naturelle
1 i : c (E Dens ) (E DensM ) M

donne par i( ), = , d() o` d() est la mesure sur M associe ` la 1-densit e u e a e (cest localement une mesure ` densit, i.e., de la forme f dx avec f lisse et dx la mesure de a e Lebesgue). Si on munit E dune connexion : (E) (E T M ), on peut dnir les drives des e e e distributions le long de champs de vecteurs X (T M ), et on notera la drivation correspone dante (E) (E). X : Soient E et F deux brs vectoriels sur M et D : (E) (F ) un oprateur direntiel e e e 1/2 (F Dens1/2 ), on linaire. En utilisant lapplication naturelle i : c (F DensM ) e M prolonge D en un oprateur linaire continu e e D : c (E DensM ) (F DensM ). Lnonc suivant se trouve dans le livre de Hrmander [Hr07], page 93. e e o o Thor`me 3. (des noyaux de Schwartz) Soit D : c (E DensM ) (F DensM ) une e e 1/2 application linaire continue. Il existe une section distribution K du br (E F ) DensM M e e qui est un noyau de loprateur D au sens o` e u D( ), = K ([ , ()] ) ( ) .
1/2 1/2 1/2 1/2

Ce th`or`me permet de considrer tous les oprateurs linaires continus comme des convoe e e e e lutions par des distributions. Par exemple, loprateur identique id : (E) (E) induit un e oprateur id : c (E Dens1/2 ) (E Dens1/2 ) dont le noyau est une section distribution e 1/2 sur M M de (E E ) DensM M .

 6.4. THEORIE SPECTRALE

85

6.3.2

Transforme de Fourier e

La transforme de Fourier est une construction qui porte ncessairement sur un espace M e e linaire. Pour la prolonger aux varits, il convient dont de la construire sur les bres du br e ee e tangent.

6.3.3 6.3.4 6.3.5 6.3.6 6.3.7 6.3.8 6.3.9

Solutions fondamentales Probl`me de Cauchy pour les syst`mes hyperboliques e e Equation des ondes Equation de Klein-Gordon Equation de Maxwell Equation de Dirac Equation de Schrdinger o

6.4

Thorie spectrale e

La mcanique quantique tant essentiellement base sur la thorie spectrale des oprateurs e e e e e sur les espaces de Hilbert, on va en rappeler ici les lignes essentielles. Cette thorie est une e gnralisation ` la dimension innie de la thorie de la diagonalisation des matrices hermitiennes e e a e complexes. Denition 36. Un espace de Hilbert complexe est un couple H = (H, ., . ) form dun espace e vectoriel topologique complexe H et dun accouplement sesquilinaire ., . : H H C tel que e H soit complet pour la norme f = f, f . Lobjet principal de la thorie spectrale est ltude du spectre dun oprateur sur un espace e e e de Hilbert. Denition 37. Si A : H H est un oprateur, son spectre Sp(A) est le sous-ensemble de C e dni par e Sp(A) = { C| A .Id non inversible}. Denition 38. Si A : H H est un oprateur, son adjoint A est dnit par e e Af, g = f, A g . On dnit maintenant plusieurs classes doprateurs sur lespace de Hilbert H. e e Denition 39. Soit A : H H un oprateur linaire. e e 1. On dit que A est born si il existe une constante C 0 telle que e Ax C x , et une telle constante C minimale sera note A . e

86

CHAPITRE 6. OUTILS MATHEMATIQUES 2. On dit que A est (born) positif si Sp(A) [0, +[ C. e 3. On dit que A est compact si limage de la boule unite B(0, 1) = {f H| f 1} de H e par A est dadhrence compacte, i.e., e A(B(0, 1)) compacte. 4. On dit que A est autoadjoint si A = A. 5. On dit que A est une projection si A est born et e A = A = A2 .

On note B(H) (resp. B(H)+ , resp. K(H), resp. Proj(B(H)), resp. B sa (H)) les oprateur borns e e (resp. positifs, resp. compacts, resp. les projections, resp. borns autoadjoints) sur H. Si A, B e B(H) sont deux oprateurs borns, on dit que A est infrieur ` B si B A est positif, i.e., e e e a A B B A B(H)+ . Thor`me 4. Soit A : H H un oprateur born. On a une inclusion Sp(A) R si et e e e e seulement si A est autoadjoint. Si A K(H) est compact alors Sp(A) C est discret. Denition 40. On note Borel(Sp(A)) la tribu des borliens sur lespace topologique Sp(A). e Une mesure spectrale pour un oprateur born A B(H) est une mesure multiplicative sur le e e spectre de A ` valeurs projecteurs. Plus prcisment, cest une application a e e E : Borel(Sp(A)) Proj(B(H)) B E(B) telle que 1. E() = 0, 2. E(Sp(A)) = 1, 3. E est sigma-additive, i.e.,

E
i=1

Bi

=
i=1

E(Bi ),

4. E est multiplicative, i.e., E(B C) = E(B).E(C). Le thor`me spectral, qui est une gnralisation ` la dimension innie du thor`me de diae e e e a e e gonalisation des endomorphismes smtriques ou hermitiens, peut se formuler alors comme suit. y e Thor`me 5. Soit A B(H) un oprateur born quon suppose de surcroit autoadjoint. Il existe e e e e une unique mesure spectrale EA : Borel(Sp(A)) Proj(B(H)) telle que A=
Sp(A)

dEA ().

 6.5. GEOMETRIE DES JETS ET EQUATIONS AUX DERIVEES PARTIELLES

87

Ce thor`me est aussi valable pour un oprateur autoadjoint non born (densment dni) e e e e e e et sa dmonstration se trouve dans Reed-Simon [RS80], chapitres VII.2 et VIII.3. e Lintrt majeur de ce thor`me est quil fournit le calcul fonctionnel borlien, qui permet ee e e e par exemple dvaluer une fonction mesurable positive f : R R+ sur un oprateur born e e e autoadjoint A par f (A) =
Sp(A)

f ()dEA ().

Ce type de calcul est notamment tr`s utile en mcanique quantique pour les fonctions indicatrices e e 1[a,b] : R R, qui permettre de se restreindre aux valeurs du spectre contenues dans un intervalle. On a aussi le thor`me suivant : e e Thor`me 6. Si deux oprateurs A et B de B(H) commutent, il existe un oprateur R B(H) e e e e et deux fonctions mesurables f, g : C C telles que A = f (R) et B = g(R).

Le thor`me de Stone permet de ramener ltude des oprateurs autoadjoints (non borns) ` e e e e e a celle des groupes ` un param`tre doprateurs borns. On trouve sa dmonstration dans Reeda e e e e Simon [RS80], chapitre VIII.4. Thor`me 7. La donne dune famille fortement continue ` un param`tre dunitaires dans H, e e e a e i.e., un morphisme de groupe U : R U(H) vriant e

si H et t t0 dans R, alors U (t) U (t0 ), est quivalente ` celle dun oprateur autoadjoint A, par lapplication A eitA . e a e

6.5

Gomtrie des jets et quations aux drives partielles e e e e e

Cette section doit tre compl`tement rerdige pour des raisons pdagogiques mais aussi e e e e e esthtiques, en utilisant les D-schmas et en introduisant dabord le calcul concret des symtries e e e et des lois de conservations, pour ensuite dcrire en dtails la suite spectrale variationnelle. Ces e e modications sont dues ` la participation de lauteur ` une cole des dits, et notamment au a a e ee cours de Luca Vitagliano, ainsi qua la lecture du livre de Beilinson-Drinfeld [BD04].

88

CHAPITRE 6. OUTILS MATHEMATIQUES

6.5.1 6.5.2 6.5.3 6.5.4 6.5.5 6.5.6 6.5.7

D-schmas et equations aux drives partielles e e e Champs de vecteurs volutionnaires et symtries e e Lois de conservation Bicomplexe et suite spectrale variationnelle Calcul direntiel secondaire sur les fonctionnelles locales e Lespace des phases covariant lagrangien Lespace des phases covariant multisymplectique

6.6

Gomtrie des jets et quations aux drives partielles e e e e e

La gomtrie des jets permet de formaliser de nombreuses informations (symtries, transe e e formations) concernant les quations direntielles et les probl`mes variationnels lagrangiens de e e e mani`re tr`s compacte. e e

6.6.1

Jets dapplications et jets de sections

Soient X et Y deux varits. On peut dnir la bration ee e J n (X, Y ) X Y des jets dordre n dapplications X Y comme lespace dont les points sont des classes dquivalences [x, f, U ]n de triplets (x, f, U ) o` U X est un ouvert, x U et f : U Y e u est un morphisme, et deux tels triplets (x, f, U ) et (x , f , U ) sont quivalents si x = x , et pour e toute application lisse sur : X R, f et f ont toutes leurs drives jusqua lordre r e e en x gales. A chaque fonction f : X Y , on peut associer le jet j n f , qui est une section de e J n (X, Y ) M donne pour chaque x X par la classe dquivalence e e j n f (x) := [U, f, x]n avec U une carte autour de x. On va maintenant donner une dnition plus intrins`que des jets dapplications. Soient X et e e n Y deux varits (sur une base S quon va omettre pour simplier les notations). On munit PX et ee n de leurs structures gauches de O et O -alg`bres, fournies par les morphismes d : O P n PY e 0 X Y X X n et d0 : OY PY . On note pX : X Y X et pY : X Y Y les projections canoniques. On pose
n n P n (X, Y ) := HomOXY Alg (p PY , p PX ) Y X

les germes de morphismes de OXY -alg`bres. e Denition 41. On appelle P n (X, Y ) le faisceau sur X Y des parties principales de morphismes X Y . Si P n (X, Y ) est un OXY -module localement libre, le br vectoriel associ ` P n (X, Y ) e ea est not J n (X, Y ) X Y et appel br des jets dapplications X Y . e e e

 6.6. GEOMETRIE DES JETS ET EQUATIONS AUX DERIVEES PARTIELLES

89

0 0 Avec cette dnition, comme p PX = p OX = OXY et p PY = OXY , on obtient e X X Y directement un isomorphisme

P 0 (X, Y ) := HomOXY alg (OXY , OXY ) = {id} donc J 0 (X, Y ) = X Y . On remarque quil est possible de composer les jets de la mani`re suivante. Si f P n (X, Y ) e n (Y, Z), on va dnir la composition f g comme une section sur X Y Z de et g P e p P n (X, Z). Considrons le diagramme e XZ
jjjj jjjj pXZ jjjj  tjjjj
pXY

X Y GG GG GG pX GGG #

ss ss ss X ss p yss

X Y ZT T TT TTTT Z pY TTTT TTTT ) X Z Y Z K

;Y c KK p KK Z KK KK K%

x xx xx xx {xx
pZ

pY

pY

dans lequel on a crit plusieurs fois des ches distinctes par le mme symbole pour des raisons e e e de simplicit de la notation. On remarque dabord quon a les galits e e e pX pXZ = pX pXY , ce qui permet de dire que
n n p Z (g) Hom(p Y XZ pZ PZ , pXY pY PY ) et n n (f ) Hom(p p XY pY PY , pXZ pX PX ), XY

pZ pXZ = pZ pY Z ,

pY pY Z = pY pXY ,

donc on peut dnir e

n f g := p Z (g) p Y XY (f ) pXZ P (X, Z).

Proposition 5. On dispose dune application naturelle J : Hom(X, Y ) (X, pX, P n (X, Y )) quon peut aussi voir
3

comme une application J : Hom(X, Y ) Hom(X, J n (X, Y )),

qui envoie une application f : X Y sur une section Jf sur X du br J n (X, Y ) X. e

3

Si les parties principales sont les sections dun br vectoriel sur X Y e

90

CHAPITRE 6. OUTILS MATHEMATIQUES

Dmonstration. Si f : X Y est un morphisme, on lui associe (par fonctorialit des parties e e principales de fonctions) f : f PY PX , i.e., f HomOX Alg (f PY , PX ). Dans la suite de cette preuve, on utilisera uniquement des morphismes dalg`bres en omettant le symbole Alg dans les notations des homomorphismes. e Soit f : X X Y lapplication graphe donne par f (x) = (x, f (x)). On a le diagramme e commutatif X GG
/X Y GG GG pX G idX GG  #
f

pY

qui correspond aux galits f = pY f et idX = pX f . On a des bijections naturelles e e densembles de morphismes HomOX (f PY , PX ) = HomOX ( (p PY ), PX ) HomOXY (p PY , f, PX ), = Y f Y celle de gauche tant donne par f = pY f et celle de droite par ladjonction de limage directe e e et image inverse par pY : X Y Y . Par image directe par pX , on obtient une application HomOXY (p PY , f, PX ) HomOX (pX, p PY , pX, f, PX ) = HomOX (pX, p PY , PX ), Y Y Y la derni`re galit tant donne par idX = pX f . Pour toute OX -alg`bre A, on a par image e e ee e e inverse par pX un morphisme naturel
pX HomOX (A, PX ) HomOXY (p A, p PX ) HomOXY (A, pX, p PX ), = X X X

adj

pX,

adj

ce qui donne, appliqu ` la situation prcdente avec A = pX, p PY , ea e e Y

X HomOX (pX, p PY , PX ) HomOX (pX, p PY , pX, p PX ). Y Y X

On remarque maintenant que nous avons obtenu une application HomOX (f PY , PX ) X HomOX (pX, p PY , pX, p PX ) Y X et on dispose dune application naturelle HomOX (pX, p PY , pX, p PX ) Y X
n n / (X, pX, HomO ((pY ) PY , (pX ) PX )) XY p pX,

(X, pX, P n (X, Y )).

 6.6. GEOMETRIE DES JETS ET EQUATIONS AUX DERIVEES PARTIELLES

91

Lapplication f Jf := p pX, (f ) nous permet ainsi dassocier ` toute fonction f : X Y a X une section Jf (X, pX, P n (X, Y )), cest ` dire une section a Jf : X J n (X, Y ) de la projection canonique J n (X, Y ) X. Denition 42. Soit : Y X un morphisme de varits. Le faisceau des parties principales ee de sections de est le sous-faisceau
n P (X, Y ) P n (X, Y ) n n donn par les morphismes f : p PY p PX de OXY -alg`bres tels que e e Y X n n f J() = id pY, p Hom(PX , PX ). X

Pour donner un sens prcis ` lgalit de cette dnition, on remarque que J() pY, P n (Y, X) e a e e e et quon a par adjonction une identication
n n n n pY, P n (Y, X) := Hom(pY, p PX , pY, p PY ) Hom(p pY, p PX , p PY ), = X Y Y X Y

ce qui permet, par une nouvelle adjonction, didentier f J() a une section de
n n n n Hom(p pY, p PX , p PX ) pY, p Hom(PX , PX ). = Y X X X

On va maintenant donner le lien entre la dnition faisceautique des jets et celle qui est e fournie dans le prcis de gomtrie direntielle de Nicolas Bourbaki. e e e e Proposition 6. Si X et Y sont lisses et sX et sY sont des sections des projections (I/I n+1 ) (I/I 2 ) = 1 canoniques associes ` X et Y , on a un isomorphisme e a sX ,sY : P n (X, Y )
i=0 n

HomOXY Mod (Symi XY (p TX ), p TY ) O X Y

qui montre que P n (X, Y ) est localement libre de rang ni sur OXY . Dmonstration. On sait par la proposition 2 que les deux sections sX et sY dnissent des e e isomorphismes
n aX : Sym X (1 )/(1 )n+1 PX , O X X n aY : Sym Y (1 )/(1 )n+1 PY . O Y Y

On a alors
n n P n (X, Y ) := HomOXY Alg (p PY , p PX ) Y X = HomOXY Alg (Sym XY (p 1 )/(p 1 )n+1 , Sym XY (p 1 )/(p 1 )n+1 ), O Y Y Y Y O X X X X

92

CHAPITRE 6. OUTILS MATHEMATIQUES

et par la proprit universelle de lalg`bre symtrique et du quotient, on obtient que le faisceau ee e e des parties principales P n (X, Y ) HomOXY Mod (p 1 , Sym XY (p 1 )/(p 1 )n+1 ) Y Y O X X X X sidentie au faisceau des morphismes tels que pour tout 0 , . . . , n p 1 , on ait n f (i ) = i=0 Y Y 0. Pour des raisons de degr des polynmes considrs (qui ont un sens car 1 est localement e o ee libre), une condition ncessaire pour ces galits est que f (p 1 ) soit inclus dans lidal (p 1 ), e e e e Y Y X X et cest alors aussi une condition susante. On obtient donc un isomorphisme P n (X, Y ) HomOXY Mod (p 1 , Sym XY (p 1 )/(p 1 )n+1 ). = Y Y O X X X X On a suppos que 1 est localement libre, donc le morphisme naturel e X n Symi XY (p 1 ) Sym XY (p 1 )/(p 1 )n+1 i=0 O X X O X X X X est un isomorphisme. Par transposition, i.e., application de la dualit OXY -linaire, on obtient e e P n (X, Y ) HomOXY Mod (n Symi XY (p TX ), p TY ) = i=0 O X Y et par proprit universelle de la somme, on conclut que ee
n

P n (X, Y ) =
i=0

HomOXY Mod (Symi XY (p TX ), p TY ). O X Y

La proposition prcdente permet de faire le lien entre notre dnition des jets et celle quon e e e peut trouver dans le fascicule de rsultats de gomtrie direntielle de Nicolas Bourbaki. e e e e Corollaire 1. Si U et V sont des ouverts de Rn , le choix de trivialisations de leurs brs e tangents donne un isomorphisme J n (U, V ) = U V
0kn

HomRmod (Symk (Rn ), Rm ). R

6.6.2

Gomtrie sur les jets innis e e

Si X et Y sont des varits lisses, on dnit les jets innis dapplications entre X et Y comme ee e la pro-varit lisse ee (J (X, Y ), C ) := lim (J n (X, Y ), C ).
n

Lespace topologique sous-jacent est simplement la limite projective usuelle des espaces topologiques des jets dordre nis. Les fonctions sont donnes par la limite inductive des fonctions e lisses sur les espaces de jets dordre nis. On peut appliquer ` lespace annel (J (X, Y ), C ) a e toutes les constructions prcdentes (en tenant cependant compte partout de la ltration sur e e les fonctions induite par la limite inductive) et ainsi tudier ses proprits gomtriques et e ee e e direntielles. On va en gnral considrer toutes les donnes fonctionnelles comme ltres par e e e e e e les donnes dordre ni. e

 6.6. GEOMETRIE DES JETS ET EQUATIONS AUX DERIVEES PARTIELLES

93

6.6.3

Distribution de Cartan et quations direntielles e e

Un des objets centraux de la thorie gomtrique des quations direntielles est la distrie e e e e bution de Cartan. Soient X et Y deux varits lisses et n un entier ventuellement inni. Pour ee e tout U X, on dispose dune application des jets JU : Hom(U, Y ) Hom(U, J n (X, Y )). On consid`re le sous-faisceau e C n (X,Y ) n (X,Y ) J J des formes direntielles sur J n (X, Y ) telles que pour tout ouvert U et tout f Hom(U, Y ), e on ait J(f ) = 0 . U Ce faisceau est le faisceau des formes direntielles de contact qui sannulent sur la distribution e de Cartan CTJ n (X,Y ) TJ n (X,Y ) , localement engendre par les images des direntielles e e D(JU (f )) : JU (f ) TU TJ n (X,Y ) des jets de fonctions f : U Y . Soit u : J 1 (X, R) RX R la coordonne relle et 1 X la forme direntielle e e e T canonique. La distribution de Cartan sur J 1 (X, R) T X RX est engendre par la 1-forme e = de Cartan c = du 1 1 (X,R) . J Une section s = (, v) : X J 1 (X, R) est le jet dune fonction f : X R si et seulement si c df = 0, et on voit que ceci est quivalent ` = dv 1 . e a X Denition 43. Soient X et Y deux varits lisses. Une quation direntielle dordre n sur ee e e les applications X Y est un couple (E, CT ) form dune sous-varit 4 de lespace des jets e ee E J n (X, Y ), munie de la restriction CT = CT|E TE de la distribution de Cartan ` E. Une a n (f )(X) E. Une sous-varit F de fonction f : X Y est une solution de lquation E si J e ee E localement intgrale maximale pour la distribution de Cartan CT|E est appele une solution e e gnralise de lquation direntielle E. e e e e e
Si une quation E J n (X, Y ) est le support dun idal I CJ n (X,Y ) , le plongement e e CJ n (X,Y ) CJ (X,Y ) permet de prolonger E ` une quation E,n sur J (X, Y ) donne par a e e lidal I.CJ (X,Y ) . Il convient ensuite de prendre sa cloture direntielle pour les direntielles e e e totales DI (voir la section suivante) pour obtenir lquation prolonge E de E au jets innis. e e On peut ainsi considrer quune quation direntielle est toujours un couple e e e

(E, CT ) form dune sous-varit de J (X, Y ) et de sa distribution de Cartan restreinte de celle des jets. e ee
On pense ici ` priori ` des zros locaux (i.e., le support dun faisceau didaux) de fonctions sur J n (X, Y ), mais a a e e il nest pas draisonnable de considrer, dans les cas analytiques ou algbriques rels, des varits plus gnrales e e e e e e e e donnes par exemple par des inquations algbriques, i.e. des domaines algbriques rels, ou des inquations sur e e e e e e les valeurs absolues de fonctions, i.e., des domaines analytiques.
4

94

CHAPITRE 6. OUTILS MATHEMATIQUES

6.6.4

Le calcul direntiel fonctionnel hors coquillage e

Une premi`re approche au calcul direntiel fonctionnel local est de le formuler en terme de e e calcul direntiel usuel sur les jets. Il est ensuite ncessaire de tenir compte de la distribution e e de Cartan pour tudier les solutions formelles des quations direntielles considres, mais on e e e ee va commencer par prsenter les dnitions formelles de quelques oprateurs qui jouent un rle e e e o important pour cette tude plus dtaille. On se rf`re ` larticle [FLS02] pour le contenu de e e e ee a cette section. On se place pour simplier sur un br trivial : E = Rm M M sur une varit. On e ee m . Les coordonnes note (xi )i=1,...,n les coordonnes sur M , (uk )k=1,...,m les coordonnes sur R e e e sur le br des jets J E sont donnes par les familles e e (x, u )Nn = (xi , uk, )i=1,...,m;k=1,...,m;Nm indexes notamment par les multi-indices Nm . On pense aux coordonnes uk, comme e e uk reprsentant les drives partielles uk := x et si u : M E est une section de E, son jet e e e inni est la fonction j (u) : M J E donne par e j (u)(x) = (x, u)Nm . Les fonctionnelles locales C (J E) sont les fonctions lisses qui ne dpendent que dun e nombre ni de coordonnes, i.e., qui viennent de fonctions lisses sur un J r E pour r N. e Denition 44. Les oprateurs de drivation totale sur C (J E) sont les oprateurs e e e Di = + xi uk,i
k,

uk,

avec uk,i la coordonne de multi-indice 1i + Nn (` laquelle on pense formellement comme e a a ` xi uk, ). Si Nn est un multi-indice, la drive totale correspondante est dnie par e e e D = Di1 Din . Loprateur dEuler-Lagrange (aussi appel la drive fonctionnelle ou variationnelle, attention e e e e a ` ne pas confondre avec la drive partielle uk ) sur C (J E) est e e := uk (1)|| D
Nn

. uk,

On remarque que les oprateurs de drivation totale Di engendrent la distribution de Cartan e e E . CTJ Si I C (J k E) est un idal reprsentant une quation aux drives partielles, lidal e e e e e e I := C (J E). ({D P }P I,Nn ) engendr par les drives totales de ses lments reprsente une quation aux drives pare e e ee e e e e tielles sur J E appele la prolongation innie de lquation de dpart. Si L J E est une e e e

 6.6. GEOMETRIE DES JETS ET EQUATIONS AUX DERIVEES PARTIELLES

95

fonctionnelle locale, son espace des phases covariant P est lquation direntielle prolonge de e e e lquation e L I= uk k=1,...,m engendre par les quations dEuler-Lagrange. Cest donc une sous-varit algbrique P J E e e ee e dont les fonctions sont C (P) = C (J E)/I . Considrons lespace A DJ engendr par les oprateurs D uk sur J E obtenus par e e e composition des drives totales avec les drives variationnelles et dont lvaluation en L est e e e e e non nulle. Leurs valuations en L donnent donc les gnrateurs de lidal I . Ces oprateurs e e e e e sont appels les antichamps et nots e e u = D k, . uk

On consid`re ensuite le sous-module I,1 A donn par le noyau (relations entre les u (L)) e e k, de lvaluation en L. Les gnrateurs de ce noyau, nots ci sont appels les anti-fantmes et sont e e e e e o simplement les identits de Noether associes au lagrangien L. e e Notons A = C (J E) et I = I . Si on continue ainsi, on construit un complexe A qui donne une rsolution de lalg`bre A/I en tant que A-module. En dautres termes, on dispose e e dun quasi-isomorphisme de complexes de A-modules A A/I. = Par les rsultats gnraux de la thorie de lhomotopie, on munit A dune structure de A e e e e alg`bre -commutative et dune -structure de Poisson. e
qis

6.6.5

Champs de vecteurs volutionnaires et symtries de jauge e e

On se rf`re aux sections 2 et 3 de [FLS02]. ee

Denition 45. Un champ de vecteur volutionnaire sur E est une section Q du faisceau VE e avec : J E E la projection et VE TE le br des champs de vecteurs verticaux sur e E. La prolongation Q dun champ de vecteur evolutionnaire Q est lunique champ de vecteur Q sur J E tel que D (Q ) = Q et Q stabilise la distribution de Cartan C TJ , i.e., LQ C C. Localement, un champ de vecteurs vertical volutionnaire scrit Q = e e Qa ua avec ua les (J E). Sa prolongation scrit coordonnes verticales sur (i.e., dans les bres de) E et Qa C e e alors . Q = (D Qa ) ua, n N

On peut aussi voir (Qa ) comme une section du br E sur J E quon appellera alors la e section gnratrice du champ de vecteur volutionnaire. e e e

96

CHAPITRE 6. OUTILS MATHEMATIQUES

Si un groupe de Lie G agit par automorphismes sur un br vectoriel E M en laissant e xe laction S dun lagrangien L C (J E), cette action induit une application g VE de lalg`bre de Lie g de G dans les champs de vecteurs verticaux VE TE sur E. La prolongation e de limage m dun lment m de g donne un lment m des champs de vecteurs sur J E tel ee ee que dL(m )volM soit dh -exacte avec dh la direntielle horizontale. Cette prolongation m est e relativement simple car les coordonnes ma de m sont constantes le long des variables verticales e donc la drive totale D se restreint ` la drive partielle par rapport ` la variable x M . e e a e e a Denition 46. Un champ de vecteur volutionnaire Q sur E est appel une symtrie variatione e e nelle du lagrangien L si dL(Q )volM est dh -exacte. On note Varsym(L) le faisceau des symtries e variationnelles de L. En coordonnes locales, Q est une symtrie variationnelle si il existe des fonctionnelles locales e e j telles que L D (Q ) D j . = ua, Denition 47. Une symtrie de Jauge du lagrangien L est une application linaire e e R : C (J E) Varsym(L) donne localement par le choix de fonctionnelles Ra, C (J E) et par la formule e R( ) :=
a,

Ra, (D )

. ua,

On trouvera dans la section 3 de [FLS02] une dmonstration de lquivalence portant sur une e e (J E) entre le fait quelles dnissent une symtrie de jauge famille de fonctionnelles Ra, C e e et le fait quelles induisent des identits de Noether. Cest le deuxi`me thor`me de Noether. e e e e Exemple 2. Dans le cas dune thorie de Yang-Mills classique munie dune alg`bre de jauge g, e e lquation dEuler-Lagrange est e A F = 0, les identits de Noether sont e
A A

F =0

et les symtries de Jauge correspondantes sont e AA+

A

avec : M g une fonction arbitraire (donc A 1 g est bien de mme nature que e M A). On remarque que lalg`bre de Lie des symtries de jauge est dnie hors coquillage (au sens e e e ou le crochet de Lie de deux symtries de jauge est une symtrie de jauge). Il peut exister des e e situations o` le crochet de Lie de deux symtries de jauge est une symtrie de jauge seulement u e e dans le coquillage, cest ` dire si les quations du mouvement sont vries. Lapplication linaire a e e e e correspondante R : C (J E) Varsym(L) est dnie par prolongation de la drivation e e
A

aux jets innis.

 6.6. GEOMETRIE DES JETS ET EQUATIONS AUX DERIVEES PARTIELLES

97

6.6.6

Connexion de Cartan et bicomplexe variationnel

On se rf`re ` [KV98], 5.2 pour une prsentation formelle concise du bicomplexe variationnel. ee a e

6.6.7

La suite spectrale variationnelle

Cette suite spectrale dcouverte par Vinogradov est nomme par lui the C-spectral sequene e ce. On prf`re lui donner un nom plus suggestif, et qui permet de mieux situer le rle quelle ee o joue dans la formalisation mathmatique des probl`mes variationnels. e e Lide de dpart dans la dnition de cette suite (qui sert ` tudier le complexe variationnel) e e e ae est quon dispose dun complexe {Champs de vecteurs}
Div

/ {Lagrangiens}Euler-Lagrange/ {Equations direntielles} e 

Hemholtz

{Oprateurs direntiels} e e qui permet de comprendre quels lagrangiens ont une quation dEuler-Lagrange triviale et quelles e quations direntielles ont une chance de dcouler dun probl`me variationnel (probl`me variae e e e e tionnel inverse). Le complexe de de Rham des jets ( (X,Y ) , d) est naturellement ltr par les puissances e J i de lidal C des formes de contact (qui sannulent sur la distribution de extrieures C e e (X, Y ) est une quation direntielle, on peut restreindre le complexe Cartan). Si S J e e variationnel ltr ` cette quation et on notera ( , C ) cette restriction. ea e S S On se rf`re ` lappendice 6.10.4 pour la dnition de la suite spectrale associe ` un complexe ee a e e a ltr. e
p,q Denition 48. La suite spectrale Er (S) associe au complexe ltr ( , d, C ) est appele e e S e S la suite spectrale variationnelle.

On remarque dabord que, par dnition de la suite spectrale dun complexe ltr, la limite e e de cette suite est p+q p,q E (S) = grp H p+q ( ) = grp HdR (S). S Le complexe de de Rham vertical est le complexe quotient de par les formes de contact S S qui sannulent sur la distribution de Cartan, muni de la direntielle induite par la direntielle e e extrieure. La cohomologie de de Rham vertical HdR (S) est la cohomologie de ce complexe. Le e ,n i,n i+1,n complexe dEuler (L , E ) est le complexe (E1 , di,n : E1 E1 ). Le complexe variationnel 1 est le complexe obtenu en recollant le complexe dEuler au complexe de de Rham vertical S S 0 0 n L1 L2 . . . , par lapplication naturelle
d1 S n n HdR (S) L1 .
0,n

98

CHAPITRE 6. OUTILS MATHEMATIQUES

Un champ de vecteur X TS est appel un champ variationnel sil respecte la distribution e de Cartan, i.e., [X, CTS ] CTS . On crit alors X TC,S TS . Les champs de vecteurs verticaux sont donns par lespace e e TS := TC,S /CTS . Cet espace est aussi appel espace des symtries (innitsimales) suprieures de S et not e e e e e Sym(S). Dans le cas S = J (E) avec : E M un br vectoriel, on peut donner de Sym(S) une e description explicite. On consid`re le br tangent vertical VE TE ` E, noyau de la direntielle e e a e T (E) E est la projection canonique, on dnit V comme D : TE M et si p,0 : S = J e S le br VS := p (VE ) sur S = J E. On a un morphisme naturel TS p (TE ) et limage e ,0 ,0 des champs de vecteurs variationnels TC,S TS sidentie ` VS , ce qui induit un isomorphisme a Sym(S) VS . Si E est un br vectoriel de rang n sur M , VS est aussi un br vectoriel (faisceau localement e e libre) de rang n sur S. La proposition suivante est extraite de la section 4.3 du livre [Vin01] de Vinogradov. Proposition 7. Les premiers termes de la suite spectrale variationnelle sont donns par : e
0,q 0,q q 1. Pour tout q 0, les termes E0 (S) = q et E1 (S) = HdR (S) donnent respectivement le S complexe et la cohomologie de de Rham verticaux. 1,n 2. Si S est libre, i.e., une sous-varit ouverte de lespace des jets innis, Le terme L1 = E1 ee est donn par HomCS (VS , n ) (module localement libre de rang n sur CS ). e S p,q 3. Pour tout q < 0 et p Z, on a E0 (S) = 0. 4. Si s = 0 pour un s 0 (type de condition vrie sur les quations direntielles dordre e e e e S p,q s), alors E0 (S) = 0 pour tout q > s.

Denition 49. Soit : E M un br vectoriel sur une varit de dimension n et soit e ee S J (M, E) une sous-varit des jets de sections de . Une action lagrangienne cohomologique ee sur S est un lment L de ee 0,n n E1 (S) = HdR (S). Lquation dEuler-Lagrange associe est la section e e
1,n S E(L) := d0,n (L) E1 = HomCS (TS , n ) 1

image de L par la direntielle de la suite spectrale variationnelle. Cette section dun br e e L vectoriel de rang n sur J E a pour composantes locales les drives variationnelles u avec u e e les sections gnratrices du br E M . e e e

 6.6. GEOMETRIE DES JETS ET EQUATIONS AUX DERIVEES PARTIELLES

99

Remarquons quun lagrangien est ainsi toujours reprsent localement par des n-formes e e direntielles verticales, mais pas toujours globalement. Le complexe variationnel permet dtudier e e les lagrangiens, leurs quations dEuler-Lagrange et le probl`me variationnel inverse dun point e e de vue cohomologique. Lintrt principal de ce point de vue est dtre bien covariant comme ee e il faut et de permettre un traitement tr`s ecace de la thorie des invariants et des symtries e e e (thor`me de Noether gnralis). e e e e e Pour faire le lien avec un lagrangien classique
L : J (M, E) n , M

on remarque que L p n et quon peut toujours lui associer son image par M : p n n (M,E) M J
avec p : J (M, E) M la projection canonique. Ensuite, en prenant la classe modulo les formes de contact, on obtient une forme direntielle verticale e

(L) J (M,E) := n (M,E) /C n n , J dont le bord par d est nul par construction, ce qui donne une classe
n [L] HdR (J (E, M ))

qui est justement le lagrangien cohomologique correspondant.

6.6.8

Calcul direntiel secondaire sur les fonctionnelles locales e

La calcul direntiel secondaire, ainsi nomm par Vinogradov, se base sur lide que la e e e p,q e suite spectrale variationnelle Er (S) associe au complexe ltr ( , d, C ) dune quation e e S S direntielle S J (X, Y ), est un analogue pour les quations aux drives partielles (i.e. en e e e e dimension innie) du complexe de de Rham dune varit direntiable de dimension nie. On ee e consid`re le cas o` Y X est un br et les jets sont les jets de section et la varit de base X e u e ee est de dimension n. Le calcul de la suite spectrale variationnelle expliqu dans la proposition 7 permet de mettre e en place cette analogie. 0, a Le complexe donne par le terme E1 (S) de la suite spectrale variationnelle sidentie ` e la cohomologie du quotient du complexe de de Rham de S par la distribution de Cartan. Ce complexe est appel complexe de de Rham vertical et sa cohomologie la cohomologie de de Rham e verticale de lquation S. e n1 sont appeles les courants conservs et leurs Denition 50. Les formes lments de S ee e e n (S) sont les lois de conservations de lquation S. Les champs classes de cohomologie dans HdR e de vecteurs verticaux (quotient des champs de vecteurs par ceux qui prservent la distribution e de Cartan), nots TS sont appels les symtries suprieures innitsimales de lquation. e e e e e e On va maintenant prciser la dnition des objets secondaires. On peut penser au complexe de e e de Rham vertical, ou selon les got, ` sa cohomologie, comme ` lespace des fonctions secondaires u a a sur lespace reprsent par lquation S. e e e

100

CHAPITRE 6. OUTILS MATHEMATIQUES

Denition 51. Lespace des fonctions secondaires est lespace gradu e

0, C (S) := E1 = HdR (S)

de cohomologie de de Rham verticale sur S J (X, Y ). Lespace des p-formes direntielles e secondaires est lespace gradu e p, p (S) := E1 (S). Les lments de (S)n sont appeles formes variationnelles dans la littrature. ee e e On dnit aussi un complexe ` partir des champs de vecteurs verticaux sur S, donn par e a e
S S 0 TS TS q (S) TS q+1 (S)

avec S(X ) := S(X) + X d et S(X)(Y ) := [Y, X]. Denition 52. La cohomologie du complexe TS (S) est appele espace des champs de e . vecteurs secondaires sur S et note TS e

6.6.9

Lespace des phases covariant lagrangien

On se rf`re ` larticle de Vitagliano [Vit08]. ee a Denition 53. Soit : Y X un br avec X de dimension n. On se donne une sous-varit e ee H J () (qui donnera typiquement les conditions aux bords pour le probl`me variationnel). e n e e La donne dun triplet (, H, S) avec S HdR (H) est appele une thorie des champs lagrane gienne. Lespace H est appel espace des histoires et lespace des phases covariant associ est la e e sous-varit P H donne par lquation dEuler-Lagrange correspondante ee e e E(L) = 0. On supposera maintenant H = J () mais la dnition plus gnrale ci-dessus est utile pour e e e prendre en compte les donnes au bord ncessaires ` la dnition des intgrales fonctionnelles. e e a e e On remarque que par dnition, si L est une forme verticale reprsentant laction S, on a e e dV L E(L) = d avec C1 (J ) n1 (J ) appele forme de legendre. e Thor`me 8. (Zuckerman) Il existe une 2-forme direntielle secondaire sur P canoniquee e e ment dtermine par (, S). e e Dmonstration. On pose := i (dV ) C2 (E) n1 (E). On vrie que d = 0 et que la e e E classe de dans 2 (P)n1 ne dpend pas du choix de L car deux formes de Legendre di`rent e e par un cobord. 1 (P) ), On remarque que si cette forme est non-dgnre (i.e. induit un isomorphisme TP e e ee elle induit un crochet de Poisson sur les fonctions secondaires C (P) .

 6.7. CALCUL DIFFERENTIEL SUR LES ESPACES FONCTIONNELS

101

6.6.10

Calcul direntiel secondaire gradu et champs fermioniques e e

6.7
6.7.1

Calcul direntiel sur les espaces fonctionnels e

Points de vue diologique sur les espaces fonctionnels e

Ce point de vue est tr`s proche, en pratique, de celui utilis par les physiciens pour faire du e e calcul fonctionnel sur un espace de champs. Lide, si E est un br vectoriel trivial sur lespace e e temps M , est de considrer des familles st de sections de E paramtres par t [1, 1] et ` e e e a driver F (st ) par rapport ` t. e a Rappelons quune varit direntiable M dnit un foncteur des points M sur la catgorie ee e e e Ouv des ouverts de Rn pour n variable par M (U ) := Hom(U, M ). Ce foncteur est en fait un faisceau sur la catgorie Ouv et la catgorie des varits se plonge ainsi e e ee pleinement d`lement dans celle des faisceaux. Ce plongement a aussi le bon go`t de respecter e u les limites projectives (prfaisceaux) et les limites inductives (faisceaux), quand elles existent e dans les varits. La catgorie des faisceaux contient toutes les limites et colimites ainsi que des ee e homomorphismes internes donns par e Hom(M, N )(U ) := HomU (M U, N U ) = Hom(M U, N ). Une diologie est un tel faisceau. Ceci permet de parler despace des fonctions entre deux e varits ou de sections dun br. Si on souhaite faire du calcul direntiel, on peut utiliser ee e e comme catgorie de dpart (blocs de base) pour les faisceaux la catgorie des alg`bres de la e e e e forme C (U )/I avec U Ouv et I un ideal. Soit E M un br sur lespace temps. Lespace des champs est la diologie X = (M, E). e e Si F : (M, E) R est un morphisme de faisceau sur Ouv (observable rel), on peut le e direntier en regardant le morphisme e U [T F (U ) : T (M, E)(U ) := (M, E)(U [ ]) Hom(U [ ], R) =: T R(U )] avec U [ ] donn par lalg`bre C (U )[ ]/( 2 ). e e

6.7.2

Direntielles de Gteaux e a

On se place dans le cadre relativement gnral dun espace vectoriel topologique localement e e convexe X dont la topologie est dnie par une famille de semi-normes (pi )iI . On pense ici ` e a un espace vectoriel topologique de fonctions, de sections de brs vectoriels, ou de distributions, e ventuellement solutions dune quation aux drives partielles, vriant certaines conditions e e e e e au bord. On prend volontairement une notation proche de celle des physiciens. Cette approche permet de faire du calcul fonctionnel uniquement sur des sections de brs vectoriels (objets e linaires) car elle ncessite une addition sur les fonctions considres. Pour disposer de drives e e ee e e pour des fonctionnelles ` valeurs relles sur des espaces dapplications plus gnraux, on pourra a e e e utiliser les mthodes de la section 6.6.8, ou la drivation de Wiener dnie dans la section 6.7.3. e e e

102

CHAPITRE 6. OUTILS MATHEMATIQUES

Denition 54. Soient (X, (pi )iI ) et (V, (qj )jJ ) des espaces vectoriels topologiques localement convexes. Soit F : X V une application et f, g X deux vecteurs. La drive de Gteaux de e e a F en f le long de g (appele aussi drive fonctionnelle de F en f dans la direction de g) est la e e e limite F F (f + .g) F (f ) [f ] := lim . 0 g Si cette limite existe pour tout g X, on dit que F est Gteaux direntiable en f de a e direntielle e F [f ], . : X V donne par F [f ], g := e
F g (f ).

Si F [f ], . est linaire, on lappelle la drive de Gteaux. e e e a

On peut notamment appliquer ceci aux espaces de fonctions test X = Cc (Rn ) et X = S(Rn ) (munis de la topologie donne par la famille usuelle de seminormes) ainsi quaux espaces de e distributions (munis de la topologie donnes par les seminormes . : D | F, |). Ainsi, la e drive de Gteaux dune fonctionnelle F : S (Rn ) R le long de la distribution de Dirac x e e a (quon trouve souvent dans les livres de physique), si elle existe, dnit une application e

F [.], x : S (Rn ) R, associant par exemple ` chaque fonction localement intgrable une drive a e e e F [], x = F () R (x )
F ((y)) ((x)) .

de F en le long de la distribution de Dirac, note par les physiciens e

Exemple 3. Si on consid`re par exemple la fonctionnelle F = evx : S(Rn ) R donne par e e lvaluation f f (x), on a e F F (f + .g) F (f ) f (x) + .g(x) f (x) [f ] := lim = lim = g(x) 0 0 g donc pour tout f S(Rn ) la drive fonctionnelle de F en f existe est vaut e e F [f ], . = F, . . On voit ici que la drive fonctionnelle na rien ` voir avec la drive des distributions car mme e e a e e e si F = x , on a F [f ], g = F, g = g(x) = g (x) = x (g). On remarque aussi que la fonction F = evx ne stend pas aux distributions tempres et quon e e e F ne peut donc pas calculer la drive fonctionnelle de F le long de x , note (x ) car F (x ) = e e e evx (x ) nest pas bien dnie. Cest une des explications de lapparition dinnis dans les calculs e dintgrales fonctionnelles, ce qui impose la renormalisation desdites intgrales. e e

 6.7. CALCUL DIFFERENTIEL SUR LES ESPACES FONCTIONNELS

.

103

Exemple 4. Soit L : [a, b]Rn Rn R une fonction des variables notes (t, x, x) RRn Rn e et X Cs,e ([a, b], Rn ) lespace des chemins x : [a, b] Rn dextrmits xes s = x(a) et e e e e = x(b), muni de sa topologie de frchet (cette situation sappelle un probl`me variationnel e e lagrangien pour des chemins dans Rn ). Considrons la fonctionnelle daction S : X R donne e e par
b

S(x) :=
a

L(t, x(t), x(t)).

Pour x, u X avec u(a) = u(b) = 0, on a alors, par drivation sous lintgrale et intgration e e e par parties, les galits e e F [x], u := lim =
a b

F (x + .u) F (x) F F (t, x(t), x(t)).u(t) + . (t, x(t), x(t)). u(t) dt x x F d (t, x(t), x(t)) x dt F . (t, x(t), x(t)) x .u(t)dt.

0 b

=
a

On a ainsi obtenu lgalit e e F [x] = F d (t, x(t), x(t)) x dt F . (t, x(t), x(t)) , x

et x est un extrmum de F si et seulement si F [x] = 0, ce qui est lquation dEuler-Lagrange e e qui donne les extrmales de laction S. e Denition 55. Soit X S (Rn ) un ensemble ni de distributions et F : S(Rn ) C une n C {{X}} convergente dans fonctionnelle dnie par une srie formelle F = e e nNX an X n ). Loprateur de drivation fonctionnelle correspondant sur les fonctionnelles G sur S (Rn ) S (R e e est donn par e n F := an . X X X
nN

On remarque que cette dnition impose que F et G soient toutes les deux des fonctionnelles e des distributions. Dans la pratique, la fonctionnelle ` driver est plutt une fonctionnelle sur a e o n ), ce introduit des dicults car le calcul de sa drive fonctionnelle impose de ltendre S(R e e e e aux distributions. Si par exemple X ne contient quune distribution note x et F = x, on obtient, e par application ` une fonction G, la fonctionnelle a F qui associe ` une distribution f la limite a G G(f + x) G(f ) (f ) = lim . 0 x x (G) = G x

104

CHAPITRE 6. OUTILS MATHEMATIQUES

6.7.3

Drivation de Wiener e

Soit X un espace topologique (on pense par exemple ` lespace des sections locales dun br a e principal sous un groupe de Lie sur une varit direntiable) et (V, (pi )iI ) un espace vectoriel ee e topologique localement convexe (souvent, on a simplement V = R). Soit F : X V une application. On note WX,F lespace des applications continues c : R X telles que F c : R V soit direntiable en 0. e La direntielle de Wiener de F est lapplication e F : WX,F V qui envoie un chemin c sur c F := lim (F c)(t) (F c)(0) . t0 t

On remarque que si X est un espace localement convexe et F est Gteaux direntiable en f , a e on a une injection naturelle if : X WX,F donne par les chemins linaires if (g) : t f + t.g le long de g et passant par f en t = 0, et la e e direntielle de Wiener contient la direntielle de Gteaux car on a alors par dnition e e a e if (g) F = F [f ]. g

6.8

Formalisme multisymplectique

On va prsenter la construction du crochet de Peierls dans le cas dune thorie lagrangienne e e dordre 1 sur un br vectoriel (particules de mati`re), en utilisant le formalisme multisymplece e tique. On se rf`re ` larticle de Forger et Romero [FR05] ainsi quau survol [GIMM98] pour des ee a rfrences plus prcises. ee e

6.8.1

Oprateur dEuler-Lagrange e

1 J (M, E)

Soit M une varit et : E M une bration localement triviale. Lespace J 1 E := ee des jets dordre 1 de sections de E est un br ane sur E homog`ne sous le br e e e M V E avec V E T E lespace des vecteurs tangents verticaux, dni comme le vectoriel T e noyau de la direntielle D : T E T M . e On va noter J 1 E := HomA/E (J 1 E, (n T M )) lespace des applications anes relatives de base E des jets de sections de E dans les formes direntielles sur T M . Cet espace sappelle lespace des multiphases tendu. e e Cest un espace ane homog`ne sous le br vectoriel e e T M V E (n T M )

6.8. FORMALISME MULTISYMPLECTIQUE de base E. Un lagrangien dordre 1 est un morphisme despaces brs sur E e L : J 1 E (n T M ). La transforme de Legendre est le morphisme e FL : J 1 E J 1 E

105

despaces brs sur E encodant le dveloppement de Taylor au premier ordre de L le long des e e 1 bres, dni pour Je E par lapplication relativement ane sur E de J 1 E vers (n T M ) e donne par e d FL(). := L() + L( + ( )||=0 pour J 1 E. d On dispose sur lespace des multiphases tendu J 1 E dune forme canonique n et dune e forme symplectique n+1 donne par = d. Dnissons prcisment en suivant larticle e e e e n+1 T E sur E. On consid`re le sous-br Z de base E dont [GIMM98]. On note le br e e e la br en e E est donne par e e Zy = {z n+1 T E | iv iw z = 0 pour tous v, w Vy Y } o` iv dsigne linsertion ` gauche du champ de vecteur v. On dnit une application : Z u e a e 1 E par J (z), = z n+1 T M x
1 avec z Ze , Jy E, x = (e) et ., . est laccouplement de dualit ane. Lapplication ainsi e construite est un isomorphisme (voir loc. cit.) comme on peut le vrier en coordonnes. La e e (n + 1)-forme canonique sur est dnie par e (z)(u1 , . . . , un+1 ) = (,E z)(u1 , . . . , un+1 ),

o` z et u1 , . . . , un+1 Tz . On utilise ensuite linclusion i : Z et lisomorphisme u 1 : J 1 E Z pour dnir la (n + 1)-forme canonique sur J 1 E par e = (i 1 ) . On obtient les formes de Poincar-Cartan sur J 1 E en tirant ces formes le long de la transe forme de Legendre FL : J 1 E J 1 E pour obtenir e L := FL et L := FL . On note V E := HomA/E (V E, (n T M )) le dual ane de lespace des vecteurs verticaux V E T E. Denition 56. Loprateur dEuler-Lagrange associe ` la densit Lagrangienne L est lapplie e a e cation DL : J 2 E V E

106

CHAPITRE 6. OUTILS MATHEMATIQUES

de brs vectoriels sur J 1 E qui associe ` chaque 2-jet de E sur M et chaque champ de vecteur e a vertical V sur E la n-forme sur M dnie par e DL (, , 2 ).V = (, ) (iV L ) o` V est un champ de vecteur vertical sur J 1 E qui se projette sur le champ de vecteur vertical V u donn sur E. On remarque que est une solution de lquation dEuler-Lagrange si et seulement e e 2 ) est nul. si DL (, ,

6.8.2

Champs de Jacobi dans le formalisme multisymplectique

On dnit tr`s bri`vement loprateur de Jacobi. Les dtails de cette construction ainsi que e e e e e des calculs en coordonnes sont disponibles dans larticle de Forger et Romero [FR05]. e Loprateur de Jacobi est un oprateur direntiel linaire du second ordre e e e e JL [] : ( V E) ( V E) obtenu en linarisant loprateur dEuler-Lagrange DL autour dune solution donne (E) e e e des quations du mouvement, i.e., un champ vriant e e DL (, , 2 ) = 0. On consid`re pour chaque R petit variation de . Lvaluation de DL ( , , 2 ) e e pour chaque est une section de V E. On pose alors = =0 . On a V E. On dispose dune projection canonique : VM (V E)|0 V E du tir en haut le long de la section nulle 0 : M E du br vertical relatif ` la projection e e a E M sur V E. V Si est une solution de lquation dEuler-Lagrange, loprateur de Jacobi en est dni e e e par JL []. := DL ( , , 2 ) =0

6.8.3

Lespace des phases covariant

Cette section est rdige de mani`re tr`s succinte et le lecteur est invit ` se rfrer ` larticle e e e e ea ee a de Forger et Romero [FR05] qui la inspir pour plus de dtails. e e On pense ` lespace des phases covariant P comme le sous-ensemble de lespace des histoires H a (champs quelconques ou avec des conditions au bord) donn par les points critiques de laction : e P = { H| S [] = 0}. Formellement, on peut penser ` P comme la sous-varit de H dont lespace tangent en un a ee point P est le sous-espace T P de T H donn par les solutions des quations du mouvee e ment linarises (o` la linarisation est faite autour dune solution donne des quations du e e u e e e

6.8. FORMALISME MULTISYMPLECTIQUE

107

mouvement), quon dnit prcisment comme les section de V E qui sont dans le noyau de e e e loprateur de Jacobi J [] : ( V E) ( V E) : e T P := ker J []. On suppose maintenant que les champs de Jacobi forment un syst`me doprateurs direntiels e e e hyperboliques du second ordre. Ceci garantit lexistence et lunicit des fonctions de Green e avances et rtardes G vriant e e e e Jx [].G (x, y) = (x, y) Ces fonctions sannulent respectivement dans le cne de pass et davenir, i.e., vrient G (x, y) = o e e (y))c . La fonction de Green causale aussi appele propagateur est donne par 0 pour x (C / e e G = G G+ . Elle vrie les quations de Jacobi homog`nes e e e Jx [].G (x, y) = 0, Jy [].G (x, y) = 0. On souhaite ensuite dnir les analogues des champs de vecteurs hamiltoniens dans ce contexte e covariant. Ce sont les solutions (distributionnelles) XF [] des quations de Jacobi non homog`nes e e J [].XF [] = F [] avec F : P R une fonctionnelle (lisse et locale en temps) sur lespace des phases covariant. Pour liminer lambiguit de cette quation qui vient du fait que la drive fonctionnelle F [] e e e e e P, qui est seulement un espace quotient de limage de loprateur de Jacobi est dans lespace T e e dans lespace T H, on tend la fonctionnelle F en une fonctionnelle F sur lespace des histoires H, dont la drive fonctionnelle F [] appartient ` lespace T H := ( V E). Les fonctions e e a de Green introduites ci-dessus permettent dassocier ` chaque solution P des quations du a e e mouvement des sections (distributionnelles) XF [] qui satisfont les quations
J [].XF [] = F []

ainsi que XF [] satisfaisant lquation e J [].XF [] = 0. Le point est que XF ne dpend pas de lextension F de F ` H et quon peut donc le noter XF . e a Ce champ de vecteur formel joue le rle du champ hamiltonien associ ` la fonctionnelle F sur o ea lespace des phases covariant P. Plus prcisment, on peut lutiliser pour crire le crochet de e e e Poisson entre deux fonctionnelles F et G sur P par {F, G}[] = F [].XG [] = G [].XF []. Ce crochet est bien dni modulo certaines hypoth`ses de support et de localit pour F et G e e e que nous ne donnerons pas ici.

108

CHAPITRE 6. OUTILS MATHEMATIQUES

Cest essentiellement le mme crochet que celui dni par Peierls [Pei52] et tudi en dtails e e e e e par Dewitt [DeW03], [DDM04]. Une des proprit inhrente ` ce crochet est quil est de nature ee e a dynamique par construction : le crochet entre deux fonctionnelles dpend de la dynamique e sous-jacente des champs. Dans le cas o` les quations du mouvement son linaires, loprateur u e e e de Jacobi et la fonction de Green causale ne dpend pas de la solution des quations du e e mouvement. On remarque enn que le point de vue de la suite spectrale variationnelle sur lespace des phases covariant donn dans la section 6.6.9 (et celui des formes direntielles locales de e e Zuckerman-Witten-Crnkovi [Zuc87]) sur le crochet de Poisson est tr`s proche de celui propos c e e ici.

6.9
6.9.1

Groupes algbriques linaires e e

Structure des groupes algbriques e

On utilisera ici uniquement des groupes algbriques anes. On notera maintenant R un des e anneaux Q, R ou C. Le fait dutiliser des groupes rels non scinds (par exemple le groupe e e spinoriel Spin(3, 1)R tr`s utilis dans la description des particules lmentaires) rend ncessaire e e ee e le travail avec des groupes algbriques sur des corps non algbriquement clos. On choisit volone e tairement dutiliser la mthode qui nous semble la plus prcise tout en tant tr`s exible pour e e e e expliquer cette situation, en suivant les rfrences [DG62], [Wat79] et [Spr98]. Ce point de vue ee abstrait pourra cependant tre avantageusement remplac par un lecteur aimant la simplicit e e e par la thorie habituelle des groupes et alg`bres de Lie tels quils sont prsents par exemple e e e e dans la rfrence [Bou75]. ee Denition 57. Un groupe algbrique (ane) est la donne dun anneaux commutatif unitaire e e AG tel que le foncteur (appel foncteur des points du groupe) e G : (Anneaux) (Ens) B Hom(Anneaux) (AG , B) factorise par la catgorie (Grp) des groupes. Si on remplace la catgorie des anneaux par la e e catgorie des R-alg`bres, on obtient la notion de groupe algbrique sur R. Un morphisme de e e e groupe algbrique est un morphisme de foncteur ` valeurs dans les groupes (ce qui est quivalent e a e a ` un morphisme dalg`bres induisant des morphismes de groupes sur les points) et on note e (Gralg) la catgorie ainsi obtenue. e Le groupe algbrique le plus connu est le groupe GLn,R des matrices inversibles. Cest le e groupe associ ` lalg`bre ea e AGLn := Z[X, Y ]/(XY = Y X = I) avec X = (Xi,j )1i,jn et Y = (Yi,j )1i,jn deux familles de variables reprsentant les coecients e matriciels de deux matrices abstraites. Ses points sont donns par e GLn (A) = {(X, Y ) Mn (A)|XY = Y X = I}.

 6.9. GROUPES ALGEBRIQUES LINEAIRES

109

Une reprsentation dun groupe algbrique G est un morphisme de groupes algbriques G e e e GLn . Plus gnralement, si V est un R-module libre, on dnit e e e GL(V ) := GSymR (End(V )2 )/(XY =Y X=I) et une reprsentation de G, appele aussi G-module, est un morphisme e e G GL(V ) avec V module libre de rang ni. On dnit aussi le groupe additif Ga par AGa := R[X]. Ses points dans un anneaux A e donnent lensemble A muni de sa loi daddition. Denition 58. Un groupe algbrique est dit rductif si la catgorie de ses reprsentations sur e e e e des R-modules libres est semi-simple, i.e., toute suite exacte 0U V W 0 de G-modules est scinde, i.e., induit une dcomposition en somme directe e e V W U. = Un groupe algbrique est dit unipotent sil est extension successive de groupes additifs. Un e G-module simple est un G-module qui ne contient pas de sous-module non trivial. On remarque que si G est un groupe rductif, un G-module qui ne peut scrire comme e e somme de deux sous-modules (on dit quil est irrductible) est automatiquement simple. En e dautres termes, un G-module est simple si et seulement sil est irrductible. e Un tore est un groupe algbrique T sur R qui, sil est tendu ` une extension algbrique S e e a e de R par ATS := AT R S, devient isomorphe ` GLn (on dit que le tore se scinde sur S). a 1 Soit T un tore. Son groupe de caract`res est le foncteur e X (T ) : (Anneaux) (Grp) B Hom(Gralg) (TB , GL1,B ) a ` valeur dans la catgorie des groupes abliens et son groupe de cocaract`res est le foncteur e e e X (T ) : (Anneaux) (Grp) B Hom(Gralg) (GL1,B , TB ). On dispose dun accouplement parfait ., . : X (T ) X (T ) Z donn par (r, s) r s avec Z le foncteur qui associe ` une alg`bre A = e a e simples Ai le groupe Z. Ai produit dalg`bres e

Lemme 1. Si T = GLn , une reprsentation T GL(V ) se dcompose en somme de caract`res : e e e 1 V i avec i X (T ). =

110 Lalg`bre de Lie du groupe G est le foncteur e

CHAPITRE 6. OUTILS MATHEMATIQUES

Lie(G) : (Anneaux) (Grp) B {X Hom(Anneaux) (AG B, B[ ]/( 2 )|X

mod

= I}.

On peut penser ` ses lments comme des points I + X G(B[ ]/( 2 )) o` X joue le rle dun a ee u o vecteur tangent ` G en lidentit. Elle est munie dune opration naturelle appele crochet de a e e e Lie [., .] : Lie(G) Lie(G) Lie(G) donne pour X G(R[ 1 ]/( 2 )) et Y G(R[ 2 ]/( 2 )) par le commutateur e 1 2 XY X 1 Y 1 = I +
1 2 [X, Y 2 1 2 ]/( 1 2 ) )

] G(R[

G(R[ ]/( 2 )). =

On dispose dune action du groupe G sur son alg`bre de Lie appele action adjointe e e ad : G GL(Lie(G)) dnie par e g X G(R[ ]/( 2 )) g 1 Xg G(R[ ]/( 2 )) . Elle est aussi munie dune structure naturelle de module sur lanneau A (espace ane sur R) de points A(B) = B pour laquelle le crochet de Lie est linaire. e Proposition 8. Soit G un groupe rductif. La famille des sous-tores T G admet des lments e ee maximaux, quon appelera les tores maximaux de G. Le premier thor`me de structure nous donne un dvissage des groupes anes gnraux en e e e e e groupes unipotents et groupes rductifs. e Thor`me 9. Soit P un groupe algbrique ane. Il existe un plus grand sous-groupe distingu e e e e unipotent Ru P de P appel radical unipotent de P et le quotient P/Ru P est rductif. e e Pour tudier en dtails la structure des groupes rductifs, on dnit des invariants du groupe e e e e appels racines. e Denition 59. Soit G un groupe rductif et T un tore maximal de G. Les racines du groupe e (G, T ) sont les poids de T dans la reprsentation adjointe de G sur son alg`bre de Lie. Plus e e (T ) des cocaract`res dont les points prcisment, elles forment un sous-foncteur du groupe X e e e sont R = { X (T )| ad (t)(X) = (t).X}. Les coracines R X (T ) sont les cocaract`res duaux des racines pour laccouplement naturel e entre caract`res et cocaract`res de T . Le quadruplet (G, T ) = (X (T ), R , X (T ), R , ., . ) est e e appel la donne de racine du couple (G, T ). e e Le thor`me central de la thorie de classication des groupes rductifs dit que le syst`me de e e e e e racines dtermine le groupe et que tout syst`me de racine (non tordu) vient dun groupe rductif e e e (dont le tore maximal est scind). On ne va pas rentrer en dtails dans la thorie des syst`mes e e e e de racines abstraits donc on nonce seulement la premi`re partie du thor`me de classication. e e e e Thor`me 10. Le foncteur (G, T ) (G, T ) des groupes rductifs dans les donnes de racines e e e e est conservatif : si deux groupes ont mme donne de racine, ils sont isomorphes. e e

 6.9. GROUPES ALGEBRIQUES LINEAIRES

111

6.9.2

Reprsentations des groupes algbriques rductifs e e e

Ordre sur les racines, rseau des poids, voir larticle de Borel. e

6.9.3

Alg`bre de Cliord et groupes spinoriels e

Ce paragraphe est trait en dtail dans le livre des involutions [KMRT98]. La motivation e e physique de ltude de lalg`bre de Cliord est la ncessit de fabriquer une racine carre du e e e e e laplacien (ou plutt du DAlembertien), comme lexplique tr`s bien Penrose [Pen05], section o e 24.6. Soit A un anneau commutatif unitaire, M un A-module et q Bilsym(M, M ; A) une forme A-bilinaire symtrique sur M M ` valeurs dans A. Lalg`bre de Cliord Cli(M, q) de lespace e e a e bilinaire (M, q) est la A-alg`bre associative unitaire universelle contenant M et dans laquelle q e e est la multiplication des vecteurs de M . Plus prcisment, elle vrie la proprit universelle e e e ee HomAalg (Cli(M, q), B) {j HomAM od (M, B)|j(v).j(w) = q(v, w).1B } = pour toute A-alg`bre associative B. e On montre facilement que Cli(M, q) est le quotient de lalg`bre tensorielle T (M ) par lidal e e bilat`re engendr par les expressions de la forme m n q(m, n).1 avec m, n M . e e On suppose maintenant que A = K est un corps de caractristique nulle et que la forme e bilinaire q est non dgnre (i.e. induit un isomorphisme M M de M avec son dual). On e e e ee a alors dimK (Cli(M, q)) = 2dimK M . Lautomorphisme : M M donn par m m induit e 2 = id. On en dduit une dcomposition un automorphisme : Cli(M ) Cli(M ) tel que e e Cli(M, q) = Cli 0 (M, q) Cli 1 (M, q). Le groupe de Cliord de (M, q) est le groupe (M, q) := {c Cli(M, q) |cv(c)1 v for all v M }. On a par dnition une action naturelle (par conjugaison) de ce groupe sur M qui induit un e morphisme (M, q) O(M, q). Le groupe de Cliord spcial de (M, q) est le sous-groupe + (M, q) des lments pairs dans e ee (M, q) donn par e + (M, q) = {c Cli(M, q) |cv(c)1 v for all v M }. 0 Lalg`bre tensorielle T (M ) est naturellement munie dun anti-automorphisme donn par e e m1 mk mk m1 sur la composante de degr k. Lidal bilat`re dnissant e e e e lalg`bre de Cliord tant stable par cet anti-automorphisme (car q est symtrique), on obtient e e e t c. Le groupe spinoriel un anti-automorphisme de Cli(M, q) appel la transposition et not c e e est le sous-groupe de + (M, q) dni par e Spin(M, q) = {c + (M, q)| t cc = 1}.

112

CHAPITRE 6. OUTILS MATHEMATIQUES

On dispose dune action naturelle (par multiplication) de Spin(M, q) sur le K-espace vectoriel Cli(M, q) qui commute ` lidempotent : Cli(M, q) Cli(M, q) et se dcompose donc en a e deux reprsentations Cli 0 (M, q) et Cli 1 (M, q). e La structure des alg`bres de Cliord paires est donne par le thor`me suivant, quon peut e e e e trouver dans le livre des involutions [KMRT98], page 88. Thor`me 11. Soit K un corps et (M, q) un espace quadratique non dgnr. Si dim(M ) = 2m e e e e e e est pair, le centre de Cli 0 (M, q) est une K-alg`bre Z tale de degr 2 (i.e., une extension e e e quadratique de K ou K K). Si Z est un corps, Cli 0 (M, q) est une alg`bre centrale simple sur e Z de degr 2m1 . Si Z K K, Cli 0 (M, q) est un produit direct de deux alg`bres centrales e e = m1 . simples sur K de degr 2 e On peut aussi comprendre la structure des alg`bres paires en se plaant sur un corps e c algbriquement clos. Sur un tel corps, un espace quadratique (M, q) avec M de dimension 2m e est isomorphe ` un espace quadratique hyperbolique de la forme (H(U ), qh ) avec U un espace a de dimension m, U sont dual et H(U ) = U U son espace quadratique hyperbolique muni de la forme qh (v ) = (v). Dans ce cas, on montre facilement que Cli 0 (H(U ), qh ) End(U ). = Dans le cas particulier de la forme Lorenzienne q(t, x) = c2 t2 + x2 sur lespace de Minkowski M = R3,1 , le centre Z de Cli 0 (M, q) sidentie ` C/R et lalg`bre Cli 0 (M, q) est a e lalg`bre ResC/R M2,C des matrices complexes vue comme alg`bre sur R. Le groupe Spin(3, 1) := e e Spin(M, q) sidentie alors au groupe ResC/R SL2,C des matrices complexes de dterminant 1 vu e comme groupe sur R. On a une reprsentation naturelle de ResC/R M2,C sur ResC/R C2 et cest e cette reprsentation de Spin(3, 1) quon va appeler la reprsentation spinorielle. Son extension e e a ` C se dcompose en deux reprsentations isomorphes ` C2 et changes par la conjugaison e e a e e complexe. Ces deux reprsentations sont appeles les reprsentations demi-spinorielles. e e e Pour une explication dtaille de la mani`re de relier Spin(3, 1) ` SL2,C , on se rf`re ` e e e a ee a Derdzinski [Der92]. Pour un point de vue plus concret et motiv, on consultera avec plaisir la e section 24.6 du livre de Penrose [Pen05].

6.10
6.10.1

Catgories : la covariance en mathmatiques e e

Catgories et foncteurs e

La notion de catgorie est un outil mathmatique tr`s pratique pour encoder la notion de e e e covariance physique. On peut considrer que si un objet mathmatique de la physique est donn e e e par une proprit universelle, sa dnition est covariante au sens des physiciens. Le langage ee e des catgories est donc aux mathmaticiens ce quest lhomognit (` une masse, ` une vie e e e e a a tesse) des valeurs physiques si ch`re aux physiciens. Nous prendrons donc pour parti dutiliser e systmatiquement ce langage. e Denition 60. Une catgorie C est la donne e e 1. dune classe Ob(C) dont les lments sont appels les objets de C. ee e

 6.10. CATEGORIES : LA COVARIANCE EN MATHEMATIQUES

113

2. pour chaque paire (X, Y ) dobjets de C, dun ensemble Hom(X, Y ) appel ensemble de e morphismes. On note ses lments f : X Y . ee 3. pour chaque objet X de C, dun morphisme particulier idX Hom(X, X) appel identit e e de X. 4. pour chaque triplet (X, Y, Z) dobjets de C, les paires (f, g) Hom(X, Y ) Hom(Y, Z) sont appels morphismes composables et on se donne une application e Hom(X, Y ) Hom(Y, Z) Hom(X, Z) (f, g) gf appele composition. e On impose que la composition de morphismes composables soit associative : (f g) h = f (g h) et que le morphisme identique soit une unit pour la composition, i.e., si f : X Y est un e morphisme, on a f idX = f et idY f = f . On dnit alors un isomorphisme f : X Y comme e un morphisme inversible pour la composition, cest ` dire pour lequel il existe g : Y X tel a que g f = idX et f g = idY . Il ny a pas de raison de direntier deux objets dune catgorie sils sont isomorphes. On e e peut aussi considrer que les morphismes sont un moyen de comparer les objets entre eux. Les e exemples de catgories bien connues de tous sont nombreux : e la catgorie (Ens) des ensembles dont les objets sont les ensembles et les morphismes sont e les application. la catgorie (Grp) des groupes donc les objets sont les groupes et les morphismes sont les e applications. la catgorie (Top) des espaces topologiques dont les objets sont les espaces topologiques e et les morphismes les applications continues. la catgorie (Anneaux) des anneaux commutatifs unitaires muni des morphismes dane neaux unitaires. Une foi dnie la notion de catgorie, on peut se poser la question de comparer les catgories e e e entre elles, cest ` dire de dnir une notion de morphisme entre catgories. On aboutit alors ` a e e a la notion de foncteur. Denition 61. Soit C et D deux catgories. Un foncteur F : C D est la donne e e 1. Pour chaque objet X de C, dun objet F (X) de D. 2. Pour chaque morphisme f : X Y de C, dun morphisme F (f ) : F (X) F (Y ). On suppose de surcroit que F respecte la composition et lidentit, i.e., e 1. si f et g sont deux morphismes composables, on a lgalit F (f g) = F (f ) F (g), e e 2. F (idX ) = idF (X) .

114

CHAPITRE 6. OUTILS MATHEMATIQUES

Les foncteurs les plus simples sont les foncteurs doubli de structure. Par exemple, on a un foncteur doubli (Top) (Ens) (resp. (Grp) (Ens), resp. (Anneaux) (Ens)) qui associe ` un espace topologique (resp. un groupe, resp un anneau commutatif unitaire) a lensemble sous-jacent. On va voir dans la suite que la plupart des constructions (covariantes) dobjets mathmatiques peuvent-tre considres comme des foncteurs. e e ee On peut aussi comparer les foncteurs entre eux, en dnissant des morphismes entre fonce teurs, quon appelle transformations naturelles (qui elle aussi sont comparables entre elles, et ainsi de suite...). On remarque que ces nouveaux types de morphismes ne forment plus des ensembles et que les foncteurs munis de ces morphismes ne forment donc pas une catgorie au sens e strict du terme. On ngligera ce probl`me dans la suite. e e Denition 62. Soit F, G : C D deux foncteurs. Une transformation naturelle : F G est la donne e 1. Pour chaque objet X de C dun morphisme X : F (X) G(X). 2. Pour chaque morphisme f : X Y dans C dun morphisme (f ) : X Y entre morphismes, i.e. dun diagramme commutatif dans la catgorie D de la forme e F (X)
F (f ) X

/ G(X) 
G (f )

F (Y )

/ G(Y ).

Ces donnes tant aussi compatibles ` la composition et au morphisme identique. On note e e a (Fonct)(C, D) la catgorie dont les objets sont les foncteurs F : C D et donc les e morphismes Hom(F, G) sont les transformations naturelles.

6.10.2

Proprits universelles et foncteurs reprsentables e e e

Les catgories peuvent-tre considres comme un outil pour comparer entre eux les objets e e ee mathmatiques (en utilisant les morphismes). Dans cette perspective, on peut considrer que si e e lon sait comparer un objet A dune catgorie C ` tous les autres objets de C, on connait lobjet e a A ` isomorphisme unique pr`s. Cest cet nonc, appel lemme de Yoneda, qui est ` la base de a e e e e a la notion de proprit universelle. ee Si C est une catgorie, on note C la catgorie (Fonct)(C, (Ens)) donc les objets sont les e e foncteurs F : C (Ens). Lemme 2. (Yoneda) Soit A un objet de la catgorie C. Le foncteur e FA := Hom(A, .) : C U f :U V C FA (U ) := Hom(A, U ) Hom(A, f ) : Hom(A, U ) Hom(A, V ) g f g

est pleinement d`le, i.e., lapplication induite e Hom(U, V ) Hom(FA (U ), FA (V )) pour toute paire (U, V ) dobjets de C est bijective.

 6.10. CATEGORIES : LA COVARIANCE EN MATHEMATIQUES

115

On peut traduire cet nonc en disant que la connaissance dun objet dune catgorie est e e e quivalente ` la connaissance des ensembles de morphismes de cet objet dans tous les autres e a objets de ladite catgorie et de leurs compatibilits. On peut maintenant noncer ladage de e e e Grothendieck : Les objets mathmatiques en eux mme nont pas dimportance : e e ce qui compte, ce sont les relations quils entretiennent, i.e., les morphismes. Denition 63. Une proprit universelle pour un objet A dune catgorie C est la donne dun ee e e foncteur explicite F : C (Ens) et dun isomorphisme de foncteur : F FA = Hom(A, .). On dit alors que lobjet A reprsente le foncteur F . e Pour illustrer lutilisation de ces mthodes, on peut dnir dirents objets mathmatiques e e e e en donnant leur proprit universelle : ee 1. lensemble vide est lobjet initial de la catgorie (Ens) des ensembles : lensemble Hom(, X) e est rduit ` linclusion F (X) = { X} pour tout ensemble X. e a 2. lensemble ` un lment {1} (le point) est lobjet nal de la catgorie (Ens) : Hom(X, {1}) = a ee e F{1} (X) = {pX : x 1} est aussi rduit ` un lment donn par la projection naturelle. e a ee e 3. lanneau des entiers Z est lobjet initial de la catgorie (Anneaux) : Hom(Z, A) = FZ (A) = e {i : Z A} est rduit au morphisme canonique donn par i(n.1) = n.1A . e e 4. lanneau nul 0 est lobjet nal de la catgorie des anneaux : Hom(A, 0) = F0 (A) = {0 : e A 0}. 5. lanneau norm (R, |.| : R R+ ) est la completion de lanneau norm (Q, |.| : Q R+ ) : e e les homomorphismes borns danneaux norms de (R, |.|) dans un anneau norm complet e e e (A, |.|) sont identis aux homomorphismes danneaux norms de Q dans cet anneau norm e e e complet (remarquons que le semi-anneau ordonn R+ utilis dans cette dnition peut lui e e e aussi tre dni par une proprit universelle faisant intervenir la notion de compltion e e ee e pour la borne suprieure). e 6. lespace vectoriel norm (L2 (R, C), . 2 ) est la completion de lespace vectoriel norm e e (Cc (R, C), . 2 ) des fonctions continues ` support compact sur R ` valeurs complexes a a pour la norme f
2

2 R |f (x)| dx.

Le lemme de Yoneda permet donc de considrer que tout objet mathmatique peut-tre e e e dni par une proprit universelle. Lavantage vident de ce type de dnition est quelle permet e ee e e exactement de dire ce quon peut faire avec ledit objet mathmatique, alors quune dnition e e ` la main ne met pas en vidence les limites implicites mises ` lutilisation de ce dernier. a e a

6.10.3

Gomtrie virtuelle et espaces de modules e e

De nombreux objets gomtriques de la physique ont une structure riche mais ne peuvent tre e e e considrs comme des varits car leurs proprits na ont un mauvais comportement : varits ee ee ee ve ee

116

CHAPITRE 6. OUTILS MATHEMATIQUES

de dimension innie, espace ne possdant pas de structure na de varit, etc... La gomtrie e ve ee e e virtuelle, invente par Grothendieck pour les besoins de la gomtrie algbrique, permet de e e e e remdier partiellement ` ces probl`mes de dnitions. Voici comment on proc`de : e a e e e Soit (ModLoc) une catgorie appele catgorie des mod`les locaux. On prendra par exemple e e e e la catgorie des ouverts direntiables dont les objets sont des ouverts U Rn avec n variable e e et dont les morphismes sont les applications inniment direntiables f : U V entre iceux (ou e encore celle des ouverts direntiables mesurs dont les objets sont les couples (U, ) forms dun e e e ouvert U de Rn et de la mesure induite par linclusion, et les morphismes sont les applications mesures, cest ` dire qui prservent la mesure). Prenons le cas o` (ModLoc) est la catgorie e a e u e des ouverts direntiables. e Une varit direntiable S comme dnie prcdemment dnit alors un foncteur ee e e e e e S : (ModLoc) (ModLoc) par U C (U, S) appel foncteur des points de S ` valeurs dans les mod`les locaux. Le e a e e recouvrement de i Ui S de S par un atlas de mod`les locaux permet de montrer que la varit S est uniquement dtermine par le foncteur S. Ce foncteur vrie dailleurs une proprit ee e e e ee relativement ne : cest un faisceau sur la catgorie (ModLoc) pour ce quon appelle une e topologie de Grothendieck (dont les recouvrements sont donns par les recouvrements ouverts). e Un foncteur plus gnral M de (ModLoc) pourra ainsi, sil vrie la proprit dtre un e e e ee e faisceau pour la topologie ouverte, tre considr comme une varit virtuelle ayant les objets e ee ee de (ModLoc) comme mod`les locaux. e Denition 64. Une varit virtuelle sur une catgorie ((ModLoc), ) munie dune topologie ee e de Grothendieck est un foncteur S de (ModLoc) qui est un faisceau pour la topologie . La force de cette construction est que la plupart des proprits et invariants dune varit ee ee donne S peuvent tre dnis en utilisant uniquement la varit virtuelle sous-jacente S sur e e e ee les mod`les locaux et les proprits et invariants des mod`les locaux. Ceci permet par exemple e ee e de donner des dnitions prcises ` de nombreux espaces considrs par les physiciens, comme e e a ee lespace des sous-varits de type espace dun espace temps (M, g). ee Si on veut considrer des invariants innitsimaux, il est utile de disposer de foncteurs pas e e seulement dans (ModLoc) mais plutt o S : (ModLoc) (Anneaux)(Ens) de la forme U [f Hom(U, S) f OS (U )].

6.10.4

Cohomologie et suites spectrales

Denition 65. Une catgorie additive est une catgorie telle que e e 1. les ensembles de morphismes sont munis de structures de groupes abliens, e 2. les compositions sont des applications Z-bilinaires, e 3. les produits et coproduits nis existent.

 6.10. CATEGORIES : LA COVARIANCE EN MATHEMATIQUES

117

Une catgorie ablienne est une catgorie additive dans laquel tous les morphismes admettent un e e e noyau et un conoyau, et telle que les monomorphismes (resp. epimorphismes) soient des noyaux. Un complexe C = (Cn , dn )nZ dans une catgorie ablienne A est une famille dobjets Cn e e de A indexs par les entiers et une famille de morphismes appels morphismes de cobords e e dn : Cn Cn+1 tels que dn+1 dn = 0. Un morphisme f : C D de complexes est une famille dapplications fn : Cn Dn qui commute aux morphismes de cobords. La cohomologie du complexe est la famille dobjets H n (C) indexe par les entiers donne par les quotients e e H n (C) = Ker(dn )/Im(dn1 ). Lutilisation du lemme du serpent permet dassocier ` toute suite exacte de complexes a 0LM N 0 une suite exacte longue H n (L) H n (M ) H n (N ) H n+1 (L) H n+1 (M ) appele suite exacte longue de cohomologie. Les suites spectrales sont des gnralisations natue e e relles des suites exactes longues de cohomologie. Denition 66. Une suite spectrale dans une catgorie ablienne est la donne e e e 1. dune famille indexe par r Z dobjet bigradus e e Er =
p,qZ p,q Er

appels les feuilles de la suite spectrale, e e 2. dendomorphismes dr : Er Er tels que d2 = 0 (en pratique, ils seront de bidegr r (r, 1 r)), 3. disomorphismes Er+1 H(Er ) entre la (r + 1)-i`me feuille et la cohomologie de la r-i`me e e = feuille.
p,q On dit que la suite spectrale converge vers E si pour tout p, q, il existe r(p, q) tel que pour tout r r(p, q), les direntielles partant et aboutissant ` Er (donnes par dpr,q+r1 et dp,q ) e a p,q e r r sont nulles.

Si C est un complexe, on lui associe la suite spectrale dont la 0-feuille est

0,q E0 = qZ E0 = qZ Cq 0,q 0,q+1 et la premi`re direntielle d : E0 = Cq Cq+1 = E0 e e est celle du complexe. La 1-feuille et toutes les autres sont alors donnes par la cohomologie H (C) munie des direntielles nulles. e e C) form dun complexe et dune ltration dcroissante Un complexe ltre est un couple (C, F e e F p C F p+1 C dcroissante (exhaustive et spare, i.e. lintersection de tous les termes de la e e e ltration est nulle et leur runion est le complexe C). e

118

CHAPITRE 6. OUTILS MATHEMATIQUES

Denition 67. Soit (C, F C) un complexe ltr. On pose e

p,q 1. Z0 = F p C p+q , p,q 2. B0 = 0, p,q 3. Zr = Ker(d : F p C p+q C p+q+1 /F p+r C p+q+1 ), p,q 4. Br = F p C p+q Im(d : F pr C r+q1 C p+q ).

La suite spectrale associe au complexe ltr (C, F C) est e e

p,q (Er := p,q Zr p,q p+1,q1 Br + Zr p,q p+r,qr+1 , dr := d : Er Er ).

On vrie aisment que Er+1 donne bien la cohomologie de Er . Si le complexe et la ltration e e sont tous les deux borns ` gauche : e a
p,q E = grp H p+q (C).

La dicult majeure dans lutilisation des suites spectrales est dexpliciter les direntielles e e et les termes de la suite dans des cas particuliers. La suite spectrale associe ` un complexe seul correspond ` la ltration triviale 0 C. Si on e a a se donne une suite exacte 0LM N 0 de complexes, on peut poser F 0 M = M , F 1 M = L et F 2 M = 0 et la suite spectrale correspondante ` pour seuls termes non nuls dans la premi`re feuille a e
1,q 0,q E1 = H q (N ) et E1 = H q+1 (L).

La direntielle donne lapplication de bord de la suite exacte longue de cohomologie et la e dgnrescence de la suite spectrale ` la deuxi`me feuille permet aussi de dmontrer lexactitude e e e a e e de ladite longue suite.

6.10.5

Rsolutions classiques e

Soit A une alg`bre sur un corps K et I A un idal. Lobjectif est de dnir une rsolution e e e e libre explicite du quotient A/I en tant que A-module. Ceci permet de calculer le foncteur TorA (., A/I) driv du foncteur . A A/I. e e La mthode gnrale nutilisant aucune hypoth`se sur lidal I est de considrer un syst`me e e e e e e e gnrateur S1 de lidal I et de considrer lapplication A(S1 ) A qui envoie les lments de e e e e ee S1 sur leur image dans I. Ensuite, on consid`re un syst`me gnrateur S2 du noyau de cette e e e e application et on construit lapplication A(S2 ) A(S1 ) aussi par une simple valuation. Si on e pose S0 = 0, on obtient par rcurrence un complexe exact A(S. ) de A-modules qui donne une e rsolution libre du A-module A/I. e Si lidal est rgulier (voir ci-dessous), on peut construire une rsolution plus simple et qui e e e dpend de moins de choix, appele rsolution de Koszul. On se rf`re au chapitre XII, 4 du e e e ee livre de Lang [Lan93] pour ltude dtaille de cette rsolution. e e e e Un syst`me ni S = {x1 , . . . , xn } de gnrateurs de I est rgulier si e e e e

 6.10. CATEGORIES : LA COVARIANCE EN MATHEMATIQUES A/I = 0, x1 nest pas un diviseur de zro dans A, e pour i 2, xi nest pas un diviseur de zro dans A/(x1 , . . . , xi1 ). e (S) le module libre sur A engendr par lensemble S. On note A e

119

Denition 68. Le complexe de Koszul du couple (A, S) est le complexe A(S) muni de la direntielle e d : p A(S) p1 A(S) donne par d(xi ) = xi sur A(S) , et plus gnralement par e e e
p

d(ei1 eip ) =
j=1

(1)j1 xij .ei1 ej eip i

sur p A(S) . Le complexe A(S) est une rsolution libre du quotient A/I. e

6.10.6

Cohomologie de groupe et dalg`bre de Lie e

Si g est une alg`bre de Lie sur un anneau A, son alg`bre enveloppante A(g) est lalg`bre e e e associative universelle qui la contient. Plus prcisment, cest le quotient de lalg`bre tensorielle e e e TA (g) = gn par lidal engendr par les relations [a, b] = ab ba pour a, b g. Si M est un e e g-module, on peut le munir dune structure de A(g)-module ` gauche. La cohomologie dalg`bre a e de Lie de g ` coecients dans le module M est le groupe a H (g, M ) := Ext (A, M ) A(g) o` A est muni de laction triviale de M . u De mani`re similaire, si G est un groupe agissant sur un A-module M , sa cohomologie est e dnie par e H (G, M ) := Ext (A, M ) A[G] avec A[G] lag`bre du groupe, i.e., lalg`bre associative universelle sur le groupe G, dnie comme e e e (G) ) par lidal le quotient de lalg`bre tensorielle sur le module libre engendr par G note TA (A e e e e engendr par les relations g1 g2 = g1 . g2 et 1G = 1. Lapplication A(G) A[G] est une bijection e
G

et identie lalg`bre de groupe au module libre muni de la multiplication par convolution. e Dans ces deux cadres, on voit le module trivial comme un quotient du module libre A(g) (resp. A[G]) sur lalg`bre associative des symtries par un idal I. Ceci permet dutiliser les e e e rsolutions libres standard de la section 6.10.5 pour calculer la cohomologie. e Le cas le plus simple est celui de la cohomologie dalg`bre de Lie. Lidal I A(g) est lidal e e e engendr par le syst`me gnrateur rgulier donn par une base de g et la rsolution libre de e e e e e e e A = A(g)/(g) en tant que A(g)-module est la rsolution de Koszul g. La cohomologie de g ` e a coecients dans un module M est alors donne par le complexe e HomA ( g, M ) g A M =

120

CHAPITRE 6. OUTILS MATHEMATIQUES

quon peut dcrire explicitement comme suit. La premi`re direntielle d : M g M est e e e donne par e (dm)(g) = gm. On tend cette application en d : p g M p+1 g M par e d( m) = d m + (1)p dm. En degr 0, on obtient bien e H 0 (g, M ) = {m M | gm = 0, g g} = M g .

6.10.7

Alg`bres de Lie direntielles gradues et dformations e e e e

Bibliographie
[BD04] Alexander Beilinson and Vladimir Drinfeld. Chiral algebras, volume 51 of American Mathematical Society Colloquium Publications. American Mathematical Society, Providence, RI, 2004. Arthur L. Besse. Einstein manifolds. Classics in Mathematics. Springer-Verlag, Berlin, 2008. Reprint of the 1987 edition. Pierre Berthelot and Arthur Ogus. Notes on crystalline cohomology. Princeton University Press, Princeton, N.J., 1978. e N. Bourbaki. Elments de mathmatique. Hermann, Paris, 1975. Fasc. XXXe VIII : Groupes et alg`bres de Lie. Chapitre VII : Sous-alg`bres de Cartan, lments e e ee rguliers. Chapitre VIII : Alg`bres de Lie semi-simples dployes, Actualits Sciene e e e e tiques et Industrielles, No. 1364. Oliver Bhler. A brief introduction to classical, statistical, and quantum mechanics, u volume 13 of Courant Lecture Notes in Mathematics. New York University Courant Institute of Mathematical Sciences, New York, 2006. P. Cartier and C. DeWitt-Morette. Functional integration : action and symmetries. Cambridge Monographs on Mathematical Physics. Cambridge University Press, Cambridge, 2006. Appendix D contributed by Alexander Wurm. Alain Connes and Matilde Marcolli. Noncommutative geometry, quantum elds and motives, volume 55 of American Mathematical Society Colloquium Publications. American Mathematical Society, Providence, RI, 2008. P. Cvitanovi. Field Theory. ChaosBook.org/FieldTheory. Niels Bohr Institute, c Copenhagen, 2004. Bryce DeWitt and Ccile DeWitt-Morette. From the Peierls bracket to the Feynman e functional integral. Ann. Physics, 314(2) :448463, 2004. Andrzej Derdziski. Geometry of the standard model of elementary particles. Texts n and Monographs in Physics. Springer-Verlag, Berlin, 1992. Andrzej Derdziski. Geometry of elementary particles. In Dierential geometry : n geometry in mathematical physics and related topics (Los Angeles, CA, 1990), volume 54 of Proc. Sympos. Pure Math., pages 157171. Amer. Math. Soc., Providence, RI, 1993. 121

[Bes08] [BO78] [Bou75]

[Bh06] u

[CDM06]

[CM08]

[Cvi04] [DDM04] [Der92] [Der93]

122 [DeW03]

BIBLIOGRAPHIE Bryce DeWitt. The global approach to quantum eld theory. Vol. 1, 2, volume 114 of International Series of Monographs on Physics. The Clarendon Press Oxford University Press, New York, 2003. M. Demazure and A. Grothendieck. SGA 3 : Schmas en groupes. Springer-Verlag, e Lecture Notes in Mathematics, 152, 1962. P. A. M. Dirac. The Principles of Quantum Mechanics (International Series of Monographs on Physics). Oxford University Press, USA, February 1982. Louis Boutet de Monvel. Renormalisation (daprs connes et kreimer). Sminaire Bourbaki, 1998. Ron Fulp, Tom Lada, and Jim Stashe. Noethers variational theorem ii and the bv formalism. arXiv, 2002. Gerald B. Folland. Quantum eld theory : a tourist guide for mathematicians, volume 149 of Mathematical Surveys and Monographs. American Mathematical Society, Providence, RI, 2008. Michael Forger and Sandro Vieira Romero. Covariant Poisson brackets in geometric eld theory. Comm. Math. Phys., 256(2) :375410, 2005. I. M. Guelfand and G. E. Chilov. Les distributions. Traduit par G. Rideau. Collection Universitaire de Mathmatiques, VIII. Dunod, Paris, 1962. e

[DG62] [Dir82] [dM98] [FLS02] [Fol08]

[FR05] [GC62]

[GIMM98] Mark J. Gotay, James Isenberg, Jerrold E. Marsden, and Richard Montgomery. Momentum maps and classical relativistic elds. part i : Covariant eld theory. 1998. e [Gro67] A. Grothendieck. Elments de gomtrie algbrique. IV. Etude locale des schmas e e e e et des morphismes de schmas IV. Inst. Hautes Etudes Sci. Publ. Math., (32) :361, e 1967. [Hen94] [Hr07] o M. Henneaux. Spacetime locality of the antield formalism : a mise au point, 1994. Lars Hrmander. The analysis of linear partial dierential operators. III. Classics in o Mathematics. Springer, Berlin, 2007. Pseudo-dierential operators, Reprint of the 1994 edition. Marc Henneaux and Claudio Teitelboim. Quantization of gauge systems. Princeton University Press, Princeton, NJ, 1992. Nicholas M. Katz. Nilpotent connections and the monodromy theorem : Applications of a result of Turrittin. Inst. Hautes Etudes Sci. Publ. Math., (39) :175232, 1970.

[HT92] [Kat70]

[KMRT98] Max-Albert Knus, Alexander Merkurjev, Markus Rost, and Jean-Pierre Tignol. The book of involutions. American Mathematical Society, Providence, RI, 1998. With a preface in French by J. Tits. [KV98] [Lan93] Joseph Krasilshchik and Alexander Verbovetsky. Homological methods in equations of mathematical physics. arXiv, 1998. Serge Lang. Algebra. Addison-Wesley, New York, third edition, 1993.

BIBLIOGRAPHIE [LL66]

123

L. Landau and E. Lifchitz. Physique thorique. Tome II : Thorie du champ. e e Deuxi`me dition revue. Traduit du russe par Edouard Gloukhian. Editions Mir, e e Moscow, 1966. Jet Nestruev. Smooth manifolds and observables, volume 220 of Graduate Texts in Mathematics. Springer-Verlag, New York, 2003. Joint work of A. M. Astashov, A. B. Bocharov, S. V. Duzhin, A. B. Sossinsky, A. M. Vinogradov and M. M. Vinogradov, Translated from the 2000 Russian edition by Sossinsky, I. S. Krasil schik and Duzhin. F Paugam. Histories and observables in covariant eld theory. Paris, pages 1..., 2010. R. E. Peierls. The commutation laws of relativistic eld theory. Proc. Roy. Soc. London. Ser. A., 214 :143157, 1952. Roger Penrose. The road to reality. Alfred A. Knopf Inc., New York, 2005. A complete guide to the laws of the universe. Tony Phillips. Finite dimensional feynman diagrams. http ://www.ams.org/featurecolumn/archive/feynman1.html :17, 2001. AMS,

[Nes03]

[Pau10] [Pei52] [Pen05] [Phi01] [Riv90]

R. J. Rivers. Path integral methods in quantum eld theory. Cambridge Monographs on Mathematical Physics. Cambridge University Press, Cambridge, second edition, 1990. Michael Reed and Barry Simon. Methods of modern mathematical physics. I. Academic Press Inc. [Harcourt Brace Jovanovich Publishers], New York, second edition, 1980. Functional analysis. T. A. Springer. Linear algebraic groups. Birkhuser Boston Inc., Boston, MA, second a edition, 1998. Michael E. Taylor. Partial dierential equations, volume 23 of Texts in Applied Mathematics. Springer-Verlag, New York, 1996. Basic theory. Walter D. van Suijlekom. Renormalization of gauge elds using hopf algebras, 2008. Walter D. van Suijlekom. The structure of renormalization hopf algebras for gauge theories i : Representing feynman graphs on bv-algebras, 2008. A. M. Vinogradov. Cohomological analysis of partial dierential equations and secondary calculus, volume 204 of Translations of Mathematical Monographs. American Mathematical Society, Providence, RI, 2001. Translated from the Russian manuscript by Joseph Krasil shchik. L. Vitagliano. Secondary calculus and the covariant phase space. arXiv, 2008. John von Neumann. Mathematical foundations of quantum mechanics. Princeton Landmarks in Mathematics. Princeton University Press, Princeton, NJ, 1996. Translated from the German and with a preface by Robert T. Beyer, Twelfth printing, Princeton Paperbacks. William C. Waterhouse. Introduction to ane group schemes. Springer-Verlag, New York, 1979.

[RS80]

[Spr98] [Tay96] [van08a] [van08b] [Vin01]

[Vit08] [vN96]

[Wat79]

124 [ZJ93]

BIBLIOGRAPHIE J. Zinn-Justin. Quantum eld theory and critical phenomena, volume 85 of International Series of Monographs on Physics. The Clarendon Press Oxford University Press, New York, second edition, 1993. Oxford Science Publications. J. Zinn-Justin. Path integrals in quantum mechanics. Oxford Graduate Texts. Oxford University Press, Oxford, 2005. Gregg J. Zuckerman. Action principles and global geometry. In Mathematical aspects of string theory (San Diego, Calif., 1986), volume 1 of Adv. Ser. Math. Phys., pages 259284. World Sci. Publishing, Singapore, 1987.

[ZJ05] [Zuc87]