Axiomatique Physique

Les mathematiques
de la physique moderne
Frederic Paugam
c Brouillon
du 8 decembre 2009
Notes en preparation dont les destinataires eventuels seront les (malheureux?) etudiants en master
de mathematiques qui feront le voeux (pieux?) de comprendre les modelisations modernes de la physique
des particules elementaires.
Table des mati`

eres
1 Introduction
1.1 Le problème de la definition . . . . . . . . . .
1.2 Modelisation et deux principes de la physique
1.2.1 Problème variationnels lagrangiens . .
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
3 Physique quantique sans interactions

3.1 Première quantification Hamiltonienne . . . . . . . . . . . . . . . . . . . . . . . .
3.1.1 Representations des groupes de Lie et particules . . . . . . . . . . . . . .
3.1.2 Rappels de mecanique quantique Hamiltonienne . . . . . . . . . . . . . .
31
31
31
32
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
2 Physique classique
2.1 Mecanique . . . . . . . . . . . . . . . . . . . . . . .
2.1.1 Version lagrangienne . . . . . . . . . . . . .
2.1.2 Traduction hamiltonienne . . . . . . . . . .
2.2 Theorie des champs . . . . . . . . . . . . . . . . .
2.2.1 Mecanique des champs classiques . . . . . .
2.2.2 Lelectromagnetisme local . . . . . . . . . .
2.2.3 La relativite generale . . . . . . . . . . . . .
2.2.4 Theorie de Kaluza-Klein . . . . . . . . . . .
2.2.5 Sigma-modèle . . . . . . . . . . . . . . . . .
2.2.6 Cordes classiques et lagrangien de Polyakov
2.3 Theorie de Jauge . . . . . . . . . . . . . . . . . . .
2.3.1 Theorie de Yang-Mills . . . . . . . . . . . .
2.3.2 Theorie de Jauge avec matière . . . . . . .
2.3.3 Le processus de fixation de jauge . . . . . .
2.4 Champs classiques fermioniques . . . . . . . . . . .
2.5 Particules classiques de matière et dinteraction . .
2.5.1 Un dictionnaire entre physique et geometrie
2.5.2 Particules de spin 0 . . . . . . . . . . . . .
2.5.3 Particules de spin 1/2 . . . . . . . . . . . .
2.5.4 Interactions . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
`
TABLE DES MATIERES
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
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
6 Outils math
ematiques
6.1 Formules fondamentales pour les gaussiennes . . . . . . . . . . . . . . . . . . . .
6.1.1 Integrales gaussiennes avec source . . . . . . . . . . . . . . . . . . . . . .
6.1.2 Diagrammes de Feynman en dimension finie . . . . . . . . . . . . . . . . .
69
69
69
70
3.2
3.3
3.1.3 Quantification de Heisenberg/Schrodinger . . . . . . . . . . . . .

3.1.4 Quantification de Weyl infinitesimale et calcul pseudo-differentiel
3.1.5 Quantification de Connes et groupode tangent . . . . . . . . . .
Quantification canonique des champs libres . . . . . . . . . . . . . . . .
3.2.1 Quantification de loscillateur harmonique . . . . . . . . . . . . .
3.2.2 Quantification du champ scalaire libre . . . . . . . . . . . . . . .
3.2.3 Quantification infinitesimale des champs classiques . . . . . . . .
3.2.4 Les axiomes de Wightman . . . . . . . . . . . . . . . . . . . . . .
Quantification covariante des champs libres . . . . . . . . . . . . . . . .
3.3.1 Espace des phases covariant . . . . . . . . . . . . . . . . . . . . .
3.3.2 Calcul differentiel sur les fonctionnelles locales . . . . . . . . . .
3.3.3 Lintegrale fonctionnelle des physiciens . . . . . . . . . . . . . . .
3.3.4 Lintegrale fonctionnelle formelle . . . . . . . . . . . . . . . . . .
3.3.5 Le modèle ludique du champ scalaire libre . . . . . . . . . . . . .
3.3.6 Les propagateurs des equations de Klein-Gordon et de Dirac . .
4 Physique quantique avec interactions

4.1 Les equations du mouvement quantique de Dyson-Schwinger . . . . . .
4.2 Quantification perturbative des champs de matière en interaction . . .
4.2.1 Axiomatique minimale pour les champs quantiques perturbatifs
4.2.2 Developpements perturbatifs . . . . . . . . . . . . . . . . . . .
4.2.3 Le modèle ludique 4 . . . . . . . . . . . . . . . . . . . . . . .
4.3 Quantification covariante des theories de Jauge . . . . . . . . . . . . .
4.3.1 Lespace des phases covariant en presence de liberte de jauge .
4.3.2 Antichamps et resolution de la surface stationnaire . . . . . . .
4.3.3 Fantomes et resolution des invariants de jauge . . . . . . . . .
4.3.4 Actions fantomatiques . . . . . . . . . . . . . . . . . . . . . . .
4.4 Renormalisation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.4.1 Le groupe de renormalisation de Connes et Kreimer . . . . . .
4.4.2 Relation avec la theorie de Galois differentielle . . . . . . . . .
4.4.3 Renormalisation des theories de Jauge . . . . . . . . . . . . . .
5 Th
eories quantiques des champs
5.1 Lelectrodynamique quantique . .
5.2 Linteraction faible . . . . . . . .
5.3 Linteraction electrofaible . . . .
5.4 La chromodynamique quantique
5.5 Le mecanisme de Higgs . . . . .
5.6 Le modèle standard . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
`
TABLE DES MATIERES
6.2
6.3
6.4
6.5
6.6
6.7
6.8
6.1.3 Les règles de Feynman en dimension finie . . . . . . . . . . .

Rappels de geometrie differentielle . . . . . . . . . . . . . . . . . . .
6.2.1 Definition par les cartes des varietes et fibres differentiables .
6.2.2 Faisceaux, varietes et fibres . . . . . . . . . . . . . . . . . . .
6.2.3 Points de vue fonctoriel sur le calcul differentiel . . . . . . . .
6.2.4 Jets de fonctions et formes differentielles . . . . . . . . . . . .
6.2.5 Champs de vecteurs et operateurs differentiels . . . . . . . . .
6.2.6 Connexions . . . . . . . . . . . . . . . . . . . . . . . . . . . .
6.2.7 Varietes symplectiques et varietes de Poisson . . . . . . . . .
Equations aux derivees partielles lineaires . . . . . . . . . . . . . . .
6.3.1 Distributions, thèorème des noyaux . . . . . . . . . . . . . . .
6.3.2 Transformee de Fourier . . . . . . . . . . . . . . . . . . . . .
6.3.3 Solutions fondamentales . . . . . . . . . . . . . . . . . . . . .
6.3.4 Problème de Cauchy pour les systèmes hyperboliques . . . .
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 Schrodinger . . . . . . . . . . . . . . . . . . . . .
Theorie spectrale . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Geometrie des jets et equations aux derivees partielles . . . . . . . .
6.5.1 D-schemas et equations aux derivees partielles . . . . . . . .
6.5.2 Champs de vecteurs evolutionnaires et symetries . . . . . . .
6.5.3 Lois de conservation . . . . . . . . . . . . . . . . . . . . . . .
6.5.4 Bicomplexe et suite spectrale variationnelle . . . . . . . . . .
6.5.5 Calcul differentiel secondaire sur les fonctionnelles locales . .
6.5.6 Lespace des phases covariant lagrangien . . . . . . . . . . . .
6.5.7 Lespace des phases covariant multisymplectique . . . . . . .
Geometrie des jets et equations aux derivees partielles . . . . . . . .
6.6.1 Jets dapplications et jets de sections . . . . . . . . . . . . . .
6.6.2 Geometrie sur les jets infinis . . . . . . . . . . . . . . . . . .
6.6.3 Distribution de Cartan et equations differentielles . . . . . . .
6.6.4 Le calcul differentiel fonctionnel hors coquillage . . . . . . . .
6.6.5 Champs de vecteurs evolutionnaires et symetries de jauge . .
6.6.6 Connexion de Cartan et bicomplexe variationnel . . . . . . .
6.6.7 La suite spectrale variationnelle . . . . . . . . . . . . . . . . .
6.6.8 Calcul differentiel secondaire sur les fonctionnelles locales . .
6.6.9 Lespace des phases covariant lagrangien . . . . . . . . . . . .
6.6.10 Calcul differentiel secondaire gradue et champs fermioniques
Calcul differentiel sur les espaces fonctionnels . . . . . . . . . . . . .
6.7.1 Points de vue diffeologique sur les espaces fonctionnels . . . .
6.7.2 Differentielles de Gateaux . . . . . . . . . . . . . . . . . . . .
6.7.3 Derivation de Wiener . . . . . . . . . . . . . . . . . . . . . .
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
`
TABLE DES MATIERES
6.8.1 Operateur dEuler-Lagrange . . . . . . . . . . . . . . . .
6.8.2 Champs de Jacobi dans le formalisme multisymplectique
6.8.3 Lespace des phases covariant . . . . . . . . . . . . . . .
6.9 Groupes algebriques lineaires . . . . . . . . . . . . . . . . . . .
6.9.1 Structure des groupes algebriques . . . . . . . . . . . . .
6.9.2 Representations des groupes algebriques reductifs . . . .
6.9.3 Algèbre de Clifford et groupes spinoriels . . . . . . . . .
6.10 Categories : la covariance en mathematiques . . . . . . . . . . .
6.10.1 Categories et foncteurs . . . . . . . . . . . . . . . . . . .
6.10.2 Proprietes universelles et foncteurs representables . . . .
6.10.3 Geometrie virtuelle et espaces de modules . . . . . . . .
6.10.4 Cohomologie et suites spectrales . . . . . . . . . . . . .
6.10.5 Resolutions classiques . . . . . . . . . . . . . . . . . . .
6.10.6 Cohomologie de groupe et dalgèbre de Lie . . . . . . .
6.10.7 Algèbres de Lie differentielles graduees et deformations .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
104
106
106
108
108
111
111
112
112
114
115
116
118
119
120
Chapitre 1
Introduction
Ce document est destine à des mathematiciens. Lauteur se libère, au moins provisoirement,
de la responsabilite des eventuels desagrements quun physicien pourrait subir en lisant ce texte.
1.1
Le probl`
eme de la d
efinition
Une des difficultes principale à laquelle est confronte un mathematicien (etudiant ou chercheur) sil sinteresse à la physique est ce que lon appellera le problème de la definition :
quelle est la definition mathematique precise de lobjet qui modelise une situation physique
donnee. La resolution complète et detaillee de ce problème somme toute anodin est souvent
consideree comme inutile voir allienante pour un physicien (admettons que le physicien et le
mathematicien soient deux personnes distinctes, ce qui semble etre une hypothèse raisonnable
dans la communaute scientifique francaise, mais peut-etre considere comme peu pertinent si on
travaille, par exemple, à Moscou). On pourrait, en caricaturant un peu, dire que le travail du
mathematicien est justement, de resoudre ledit problème. Le resultat de ce travail est dailleurs
souvent aussi utile aux physiciens. On peut souhaiter se convaincre que la resolution du problème
de la definition donnera au mathematicien des outils precieux, qui lui permettront de discuter
avec le physicien, sans sexposer au risque de le vexer, par exemple par une affirmation à lemporte pièce du type :
Mais bon sang ! Tout ceci nest pas bien defini !.
En tout cas, cest ce problème de la definition que ce document se propose de resoudre, en
presentant, dans des termes mathematiques pragmatiques et sans pretention à la nouveaute, les
modèles mathematiques de la physique (experimentale) moderne. Ce travail se veut accessible
au plus grand nombre, dans la limite du raisonnable, cest à dire aux etudiants et chercheurs en
mathematiques à partir du Master. Les outils mathematiques necessaires à la comprehension du
texte sont fournis dans un chapitre separe, pour ne pas alourdir la presentation.
Il est bon de commencer par une definition mathematique de la notion de theorie physique,
qui na aucune valeur philosophique ni epistemologique, mais qui sera suffisamment precise pour
les besoins de cette introduction. Notre but est ici de preciser ce que ce document propose et ce
quil ne fournit pas.
7
CHAPITRE 1. INTRODUCTION
Definition 1. Une experience est un couple E = (A, O) forme dune liste A dactions à realiser
et dune liste O dobservations (ou mesures) à faire pendant ou après ces actions qui porteront
sur des objets ou phenomènes de la nature, et qui ont ete realisees et peuvent-etre repetees. On
considère quune liste (necessairement finie car realisee) dexperiences est aussi une experience.
Une modelisation M de lexperience E est un objet mathematique qui contient des informations
sur les actions et les observations de lexperience, lien quon notera E M. Un principe physique
P est un enonce qui porte sur la modelisation M dune experience E, et notamment sur les liens
entre les ensembles M(A) et M(O) dinformations modelisant les dactions et observations
de lexperience. Une theorie physique est un quadruplet T = (E M, P) forme dune (liste
d)experience(s) E, liee(s) par un lien à une modelisation M, et dun principe physique P
portant sur M tel que le principe physique soit conforme à lexperience, i.e., tel que le lien
fourni entre les informations sur les actions et celles sur les observations par le principe ne
soit pas contradictoire avec les experiences dejà realisees. Une bonne 1 theorie physique est une
theorie qui permet de predire, en appliquant le principe P à la modelisation M le resultat de
lexperience E.
Lart de la physique est donc de trouver une modelisation pour les experiences ainsi quun
principe physique qui permettra de faire des predictions. On considère que la description precise
du lien entre la modelisation mathematique M et lexperience E (ordres de grandeur, simplifications, etc...), si elle na pas de justification mathematique theorique liee au modèle considere,
est du ressort du physicien.
On peut maintenant definir la physique navement de la manière suivante.
Definition 2. La physique est laccumulation des theories physiques T = (E M, P) et de
lensemble des concepts qui permettent de les relier.
Un outil precieux pour le physicien theoricien est, à notre go
ut, lactivite dintuiter les
concepts qui permettent de relier les differentes theories physiques entre elles.
Un exemple typique de concept physique dune richesse exceptionnelle est le concept de particule. La dualite onde-corpuscule montre à quel point ce concept relie des theories/experiences
qui a` priori nont pas grand chose en commun. Les concepts datomes, delectrons, de protons
et de neutrons fournissent aussi les liens entre de nombreuses theories dont les experiences nont
pas de lien evident, comme par exemple, la chimie moleculaire, lelectronique, et la radioactivite.
Notre definition de theorie physique etant donnee, on peut dire que ce document ne presente
que très partiellement les theories physiques quil aborde. Son objectif est de fournir à ses lecteurs
mathematiciens les outils pour comprendre les objets mathematiques qui apparaissent dans les
modelisations M de certaines theories de la physique moderne T = (E M, P), ainsi que les
enonces des principes P de ces theories. On donnera de breves indications sur les experiences
qui permettent de valider les principes de ces theories et de les utiliser dans la vie courante.
Pour une introduction plus physique, relativement complète, aux bases mathematiques de la
physique, on se refère au bel ouvrage de Penrose [Pen05]. On utilisera aussi enormement le livre
1
On sinteresse uniquement ici `

a la qualite formelle. On pourra ajouter `
a la definition dune bonne theorie
physique les conditions plus subjectives suivantes : elle est acceptee par les pairs, elle est plus simple et compacte
que les theories precedentes avec de meilleures predictions et elle englobe un ensemble plus grand dexperiences.

1.2. MODELISATION
ET DEUX PRINCIPES DE LA PHYSIQUE
de Folland [Fol08] pour aborder les aspects mathematiques des theories quantiques des champs.
Remerciements : Lauteur remercie M. Bermudez de lui avoir (re)donne go
ut à la physique à
la faveur de discussions tumultueuses. Il a aussi beneficie de cours dA. Connes au collège de
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. Oesterle,
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.
Bermudez, L. Boutet de Monvel, P. Cartier, O. Gabriel, G. Godefroy, F. Helein, B. Jacob, L.
Vitagliano, W. van Suijlekom. Il remercient enfin lequipe Algèbres dOperateurs ainsi que
lInstitut de Mathematiques de Jussieu pour une ambiance stimulante et des conditions de
travail exceptionnelles.
1.2
Mod
elisation et deux principes de la physique
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, appelee action, qui depend naturellement des trajectoires possibles
pour un système physique et les trajectoires physiques classiques sont celles qui minimisent
(ou extremisent) laction. Cest la formulation lagrangienne de la physique classique.
2. Le principe doscillation, qui sapplique aux situations microscopiques : on se donne la
fonctionnelle P = eiS , appelee phase, o`
u S est la fonctionnelle daction dun système
macroscopique et les trajectoires physiques microscopiques oscillent naturellement autour
des trajectoires physiques classiques (qui correspondent aux phases stationnaires) avec l
amplitude de probabilite donnee par la phase P .
1.2.1
Probl`
eme variationnels lagrangiens
On choisit pour commencer dutiliser une version simplifiee des problèmes variationnels lagrangiens, qui pourront etre mieux formalises (point de vue cohomologique de Vinogradov et
ses confrères) dans la section 6.6.7.
Definition 3. Un problème variationnel lagrangien est un tuplet
(I, X, JHom(I, X), WX , L : JHom(I, X) max T I)
forme des donnees suivantes :
1. un espace I appele espace des paramètres pour les trajectoires.
2. un espace X appele espace des coordonnees.
3. un espace JHom(I, X) muni dune projection JHom(I, X) I X, souvent donne par un
espace de jets dapplications I X, et appele espace des histoires. Ses elements pourront
. ..
etre decrits par des variables independantes de la forme (t, x, x, x, . . . ) ou (x, (x), (x), 2 (x), . . . )
selon la situation.
10
4. Une application J : Hom(I, X) Hom(I, JHom(I, X)) appelee application des jets.
5. un sous-espace WX Hom(I, X) appele espace des trajectoires du système. Ce sous-espace
peut etre une variable du problème, quon ecrira alors eventuellement WX,B , determinee
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 appelee famille des bords,
(b) b B et Jb Hom(b, JHom(I, X)) des applications appelees jets aux bords.
6. Une application appelee densite lagrangienne
L : JHom(I, X) max T I
sur lespace des histoires à valeurs dans les formes de degre maximal sur lespace de paramètres pour les trajectoires, ou plus generalement une application
L : JHom(I, X) Dens(I)
sur lespace des histoires à valeurs dans lespace des densites sur I.
Un problème variationnel lagrangien etant donne, on peut naturellement lui associer la fonctionnelle S : WX R donnee par
S() =
L() :=
I
L J().
I
Lexemple le plus simple est celui o`

u I = [0, 1]. On a alors une identification entre JHom1 (I, X)
et la variete I T X. Le lagrangien est donc dans ce cas une fonction
L : I TX R
et si x : I X est un chemin, on lui associe une application I I T X donnee par t
(t, x(t), dt x.v1 ) o`
u v1 est un vecteur de base fixe de T I
= I R. Cest cette section que les
.
physiciens notent (x, x).
On pourra aussi, pour avoir plus de flexibilite, parfois remplacer lanneau R des valeurs pour
la densite lagrangienne par une autre R-algèbre A, munie dune trace Tr : A R et/ou dune
norme |.| : A R.
1.2.2
Principe de moindre action
Laction associee à un problème variationnel lagrangien est la fonctionnelle S : WX A

donnee par
S(x) =
L(x).
I
Principe 1. (de moindre action) Les trajectoires physiques macroscopiques dun système
variationnel lagrangien sont celles qui minimisent (ou plus exactement les extremales locales de)
la fonctionnelle daction S, cest `
a dire les solutions x de lequation aux derivees partielles
S
x (x)
=0

1.2. MODELISATION
ET DEUX PRINCIPES DE LA PHYSIQUE
1.2.3
11
Principe doscillation
La phase lagrangienne associee à un problème variationnel lagrangien est la fonctionnelle

eiS : WX A donnee par exponentiation complexe de laction. On suppose que S se decompose
en S = Slibre + Sint avec Slibre quadratique en les champs et leurs derivees.
Principe 2. (doscillation) Les trajectoires physiques microscopiques dun système variationnel lagrangien sont toutes les trajectoires. La fonctionnelle de phase eiS represente lamplitude
de probabilite dobservation des trajectoires. Plus precisement, la valeur moyenne quantique dun
observable classique F : WX A est donnee par lintegrale fonctionnelle
F =
F (x)eiS(x) [dx]
R
eiS(x) [dx]
:=
(F.eiSint )( J ).e 2 J.Slibre .J

1
i
eiSint ( J
).e 2 J.Slibre .J
.
J=0
La definition formelle precise de cette expression est très difficile à formuler (à cause du
1
calcul de Slibre
et des derivees fonctionnelles formelles, qui necessitent une regularisation et des
renormalisations compliquees) et sera donnee dans la section 4.
12
Chapitre 2
Physique classique
On pourra avantageusement ouvrir le livre [B
uh06] qui donne une très bonne introduction
mathematique aux divers aspects de la mecanique classique.
2.1
2.1.1
M
ecanique
Version lagrangienne
Lexemple le plus simple de problème lagrangien est celui fourni par la mecanique lagrangienne classique :
1. On pose I = [0, 1] et on se fixe une section unite de I {1} de T I
= I R.
2. Lespace des coordonnees X est une variete C , par exemple lespace euclidien R3 , la
sphère S 2 o`
u lespace lorentzien R3,1 .
3. Le fibre JX = T X X est le fibre tangent.
4. Lespace des chemins WX sidentifie à C (I, X) (car une application x : I X induit une
application tangente T x : T I T X dont on peut prendre la valeur en la section unite
.
pour obtenir (x, x) : I T X).
5. La densite Lagrangienne L = L : T X R.I est un lagrangien classique independant du
temps, i.e., une fonction independante de la variable dans I (quon multiplie par la mesure
de Lebesgue I pour obtenir une densite).
Dans ce cadre, laction est donnee par
1
(L x)(t)dt
S(x) =
0
et on peut trouver ses extremales en resolvant lequation dEuler-Lagrange correspondante (si

le Lagrangien est suffisamment convexe : voir cours de Pansu). Ceci met essentiellement toutes
les equation classiques des mecaniques newtoniennes et relativiste dans un cadre Lagrangien.
On peut aussi formaliser la mecanique de la relativite restreinte dans ce cadre : lespace I est
alors R+ (representant le temps propre, i.e., celui que vous mesurez à votre montre) et lespace
13
14
CHAPITRE 2. PHYSIQUE CLASSIQUE
des phases X est lespace de Minkowski. Le lagrangien est la fonction L : T X R donnee par
.
L(x, x) =
g(x, x)
o`
u g : T X R est la metrique de Minkowski g(t, x) = ct2 x2 . Cest le lagrangien dont
les extremales sont les geodesiques dans lespace de Minkowski. Les particules en mouvement
suivent donc les geodesiques, dont la longueur est exactement le temps propre de la particule.
2.1.2
Traduction hamiltonienne
On se refère à [Wikipedia :mecanique hamiltonienne] pour formuler nos axiomes. Cette traduction hamiltonienne est utile pour quantifier la mecanique classique non relativiste.
Definition 4. Un problème variationnel hamiltonien est un tuplet
(I, P, WP , H : P R, {, } : CP CP CP )
forme par les donnees suivantes :
1. Un espace de paramètre pour les trajectoires I qui est souvent un intervalle de R mais
peut aussi etre lespace de Minkowski R3,1 .
2. Un espace P appele espace des phases. Les fonctions sur P sont appelees les observables.
3. Un ensemble WX Hom(I, P ) de trajectoires dans lespace des phases.
4. Une fonction H : P R appele Hamiltonien, et qui represente lenergie du système.
5. Un crochet de Poisson
{, } : CP CP CP .
Si x : I P est une trajectoire dans lespace des phases, et f C (P ) est un observable, les
equations dHamilton pour f le long de x sont donnees par
(f x)
= {H, f } x.
t
De nombreux exemples de problèmes variationnels hamiltoniens portent sur des trajectoires
dans un espace de phases P qui est lespace cotangent P = T X à un espace X appele espace des
coordonnees du système. Dans ce cas, les points de P sont notes (q, p) et le crochet de Poisson
sur les fonctions sur lespace des phases est defini de la manière suivante. On munit P = T X
de sa forme symplectique canonique donnee par
: 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)
donnee par (v) = D(v) R o`
u v T (T X) est une section du fibre tangent à T X et
D : T (T X) T X est la differentielle de : T X X. Si f C (T X), on definit le champ
de vecteur hamiltonien correspondant f T (T X) sur T X par lequation
(f , .) = df
1
Ou, de manière equivalente, un bivecteur 2 T M tel que [, ]SN = 0 (voir la section 6.2.7).

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 donne

par la derivee de Lie le long de f de g , i.e.,
{f, g} = Lf (g ).
Definition 5. Si on se donne un problème variationnel lagrangien classique de type
(I, X, JX, WX , L : JX A) = (I, X, T X, WX , L : T X R)
o`
u I est un intervalle de R, X est un espace de coordonnees et T X sont fibre tangent, et quon
suppose de surcroit que
(hypothèse de convexite du lagrangien)
pour tout q X, lapplication L(q, .) : Tq X R,
.
.
donnee par q L(q, q) est convexe,
on peut lui associer naturellement un problème variationnel hamiltonien despace des phases
P = T X en posant
.
L(q, q)
(q, p) = (q,
)
.
q
.
et H(q, p) la transformee de Legendre de L(q, q) donnee par
.
H(q, p) := sup p(q) L(q, q).

.
qTq X
Sous des hypothèses de convexite un peu plus fortes, on peut retrouver le lagrangien en
refaisant une transformee de Legendre sur lhamiltonien.
2.2
2.2.1
Th
eorie des champs
M
ecanique des champs classiques
Un champ classique est une section dun fibre p : F M sur une variete M de dimension
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 fibre F = T M des 1-formes differentielles, i.e., A 1 (M ).
Un problème variationnel de champs classiques sur (M, V ) est un problème variationnel
lagrangien de la forme
(I = M, X = F, JHom(X, F ) := Jpn (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 variete M , le plus souvent Lorentzienne
(i.e., lespace temps).
2. lespace des coordonnees est lespace fibre X = F .
3. lespace des phases est JHom(X, F ) est lespace des jets de section du fibre p : F M
(dordre 1 ou 2, rarement plus).
4. lespace des trajectoires WX est lespace p (X, F ) des sections du fibre F sur X.
5. la densite lagrangienne est une fonction L : JHom(X, F ) n T M .
16
2.2.2
L
electromagn
etisme local
Un exemple physique de telle donnee lagrangienne est celle donnee par le potentiel electromagnetique A 1 (M ) sur lespace de Minkowski M = R4 (muni de sa metrique lorentzienne
g) avec F = T M . On peut le voir comme minimisant laction du lagrangien L de lelectromagnetisme
Lem : J 1 (M, T M ) 4 T M.
Les equations dEuler-Lagrange correspondantes sont les equations de Maxwell (sur le champ
electromagnetique F = dA 2 (M ) qui derive du potentiel electromagnetique A) donnees par
dF = 0
d F = J
o`
u J 3 (M ) est une 3-forme qui designe la densite de charge-courant (verifiant la loi de conservation de la charge d J = 0) et d : 2 3 est ladjoint de d pour la metrique lorentzienne g,
i.e., g(d , ) = g(, d). On suppose que F derive dun potentiel A 1 (M ), i.e., F = dA. Le
lagrangien de lelectromagnetisme est donne par
Lem (A, A) = ( A) ( A) + A J
o`
u : 2 (M ) 2 (M ) est ladjonction pour la metrique, i.e., g(()(v), w) = g(v, (w)).
On relie ce modèle à lexperience en choisissant une decomposition temps/espace M = T N
de lespace temps et en definissant les champs magnetiques et electriques EA 1 (N ) et BA
2 (N ) par lequation
dA = BA dt EA .
On obtient alors comme densite lagrangienne
L(A, A) =
|EA |2
|BA |2
c2
quand la source J vaut zero.
2.2.3
La relativit
e g
en
erale
Principe 3 (Principe de relativit

e). Lexpression du resultat dune experience physique ne
doit pas dependre du referenciel dans lequel on lexprime et la vitesse de la lumière est une
constante universelle. Si on formule ce principe pour des referenciels en mouvement uniforme
(non accelere) les uns par rapport aux autres, il sappelle principe de la relativite restreinte. Pour
les referenciels en mouvement accelere, on parle du principe de relativite generale.
Une des consequences de ce principe est labandon de la notion de simultaneite.

2.2. THEORIE
DES CHAMPS
17
La relativit
e g
en
erale dans le vide
Pour la relativite generale, on considère le champ g F(M ) := Sym23,1 (1 )(M ) donne par
une metrique lorentzienne sur une variete M de dimension 4. On definit ensuite le lagrangien de
Einstein-Hilbert
LEH : J 2 (M, F ) R
donne par
LEH (g, g, 2 g) =
1
R(g, g, 2 g)
2
est une constante universelle et R est la courbure scalaire de g, et lequation

o`
u = 8G
c4
dEinstein est lequation dEuler-Lagrange de ce lagrangien. Cest une equation non lineaire en
(g, g, 2 g).
Definition 6. Une variete metrique est un couple (X, g) forme dune variete X et dune metrique
g sur le fibre tangent, cest à dire une section globale du fibre Sym2 1X des 2-formes symetriques
non degenerees.
Plus generalement, une metrique sur un fibre F est une section globale de Sym2 F .
Rappelons quune connexion sur un fibre F sur une variete relative X/S est un morphisme
: F 1X/S OS F
tel que
(gf ) = g(f ) + dg f.
Une connexion affine est une connexion sur le fibre tangent dune variete.
Soit : T T 1 une connexion affine. On dit que la connexion affine est sans torsion si
x y y x = [x, y].
Ici, x End(T ) est defini par x := (evx idT ) o`
u evx : 1 = T RX est levaluation
dune forme differentielle en le champ de vecteur x.
On dit quelle respecte la metrique (ou que la metrique est parallèle pour ) si
g = 0.
Ceci signifie quon fait la construction tensorielle (Sym2 1 , ) à partir de (T , ) et quon
souhaite que la connexion induite sur cette construction tensorielle annule la section g correspondant à la metrique. Plus precisement, pour tout champs de vecteurs X, Y et Z, on a
dZ g(X, Y ) = g(Z X, Y ) + g(X, Z Y ).
Th
eor`
eme 1. Il existe une unique connexion sans torsion et qui respecte la metrique sur le
fibre tangent.
18
Demonstration. Comme g respecte la connexion , pour tout triplet de champs de vecteurs

(X, Y, Z), on a
dZ g(X, Y ) = g(Z X, Y ) + g(X, Z Y )
dX g(Z, Y ) = g(X Z, Y ) + g(Z, X Y )
dY g(X, Z) = g(Y X, Z) + g(X, Y Z).
Si on fait la somme alternee de ces trois equations, on obtient legalite
dX g(Y, Z)+dY g(Z, X)dZ g(X, Y ) = g(X Y +Y X, Z)+g(X ZZ X, Y )+g(Y ZZ Y, X)
dont on peut tirer, en utilisant le fait que la torsion est nulle, lequation
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 degeneree, ceci determine de manière unique. On peut preciser cela en
disant que g(X Y, .) 1 donc on peut prendre son image par g 1 : 1 T pour obtenir
X Y . On verifie alors que cest une connexion sans torsion et quelle respecte g.
Cette connexion est appelee la connexion de Levi-Civita ou encore connexion metrique.
On a donc construit une correspondance
g g : T T 1 .
Maintenant, on associe à ceci le tenseur de courbure de Riemann, note Rg . Cest la courbure
usuelle de la connexion, cest à dire
Rg := 1 : T T OS 2X/S .
On peut aussi voir Rg comme une 2-forme symetrique à valeur dans End(T ) (car contrairement à la connexion de depart, cest un operateur OX -lineaire), i.e.,
Rg End(T ) OX Sym2 1X .
La courbure de Ricci est simplement la trace
Ric := Tr(Rg ) Sym2 1X .
On remarque que
Sym2 1
= HomO (T , 1 )
= HomO (Sym2 T , O) HomO (T 2 , O)
donc la courbure de Ricci donne un morphisme
Ric : T 1X .
Dautre part, la metrique g est un morphisme g : T 1 et son inverse g 1 : 1 T . La
courbure scalaire est obtenue en contractant la courbure de Ricci avec la metrique, cest à dire
Rscal (g) := Tr(g 1 Ric)

2.2. THEORIE
DES CHAMPS
19
avec g 1 Ric End(T ).

Le lagrangien de Einstein-Hilbert dans le vide est donne par
LEH,vide (g, g, 2 g) = Rscal (g).
Il est aussi commun retirer à ce lagrangien un terme constant R appele constante cosmologique. Ce terme permet de modeliser le decallage vers le rouge dans lobservation du decalage
du spectre de lhydrogène des etoiles lointaines que les physiciens interprètent comme un signe
de lexpansion de lunivers.
Lequation dEuler-Lagrange de LEH,vide est appelee equation dEinstein dans le vide et
secrit, dans Sym2 (1 ), par
1
Ric(g) Rscal (g)g = 0.
2
Action de Palatini et de Cartan
Remarquons quil nest pas necessaire dutiliser la connexion de Levi-Civita pour calculer les
equations dEinstein. En effet, la courbure de Riemann peut-etre consideree comme le terme de
plus haut degre 2 g du jet dordre 2 de la metrique g, qui est une section du fibre : Sym2 T X
X. Ce terme dordre 2 nest cependant pas canoniquement defini dans les sections de J 2 () X
donc il est peut etre necessaire de considerer que le lagrangien depend de deux donnees : une
metrique et une connexion, et que les couples (g, ) extremaux pour laction verifient = g .
Laction de Palatini porte sur un couple (g, ) forme dune metrique lorentzienne sur M et
dune connexion sur le fibre tangent de M . Elle est egale à laction dEinstein (ou on remplace
la connexion de Levi-Civita par la connexion donnee) :
L(g, ) = Rg () .
La condition dannulation de la differentielle de S = L par rapport à 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 differentielle de S par rapport à g implique
les equations dEinstein pour g. Lavantage de laction de Palatini est quon peut lecrire sans
connatre lexistence et lunicite de la metrique de Levi-Civita. Sa definition ne necessite donc
aucun autre connaissance que celle de la notion de contraction dun tenseur par une metrique
et de connexion sur le fibre tangent.
Laction de Cartan est très proche de celle de Palatini et leurs donnees sont dailleurs
equivalentes. La donnee de la metrique sur T M permet de considerer le O(n) fibre P O(T M,g)
des repères orthogonaux sur T M pour g donne par les isometries entre les fibres quadratiques
(T M, g) et (M Rn , glorentz ). Cest un sous fibre du GLn -fibre PT M = Isom(T M, M Rn ) des
repères de T M , qui est suppose O(n)-stable. La donnee de ce sous-O(n)-fibre
e : P O(T M,g) PT M
est appelee la donnee dun repère mobile par Elie Cartan. On peut voir cela conceptuellement
en disant quun repère mobile est simplement un sous-O(n)-fibre principal
e : P O PT M .
20
Dans les notations de Cartan, on choisit un O(n)-fibre principal P O sur M , et on note V le fibre
sur M associe à la representation standard de O(n). On peut ensuite associer au repère mobile
e : P O PT M une application
e : TM V
que Cartan appelle le repère mobile. On garde la meme notation car les deux e sont des donnees
equivalentes.
Elle est equivalente à celle dune metrique sur T M car les sections locales de P(T M,g) sont des
isomorphismes de fibres T U
= U Rn sur des ouverts U de M qui permettent de transporter
la metrique lorentzienne de Rn sur T U . La condition detre un sous-O(n)-fibre garantit quon
peut recoller ces metriques en une metrique sur T M .
La donnee dune connexion sur T M induit une connexion A sur son fibre des repères PT M
et ces deux donnees sont equivalentes.
On peut ensuite ecrire le lagrangien de la relativite generale en fonction du repère mobile
e : T M V et de sa connexion A par
L(e, A) = (e e dA),
avec une contraction naturelle liee à la structure dalgèbre de Lie de O(n). A un changement
de variable pret, cette action de Cartan pour M de dimension 3 est equivalente à laction de
Chern-Simons (meme equations du mouvement) qui est une theorie topologique des champs (ne
dependant pas dun choix de metrique et invariante par diffeomorphisme de M ). Sa fonction de
repartition donne des invariants topologiques, de type polynome de Jones, pour les varietes de
dimension 3.
Un point interessant est quon peut generaliser directement cette construction à des fibres
principaux sous le groupe spinoriel, ce qui permet decrire le lagrangien de la gravite couplee à
la matière fermionique.
La relativit
e g
en
erale avec mati`
ere
Si (M, g) est une variete Lorentzienne, g Sym2 (1 ) etant fixee, on peut se donner des
champs de matière ou dinteraction, i.e., des sections dun fibre donne F sur M . Si le fibre a un
lien avec la metrique (par exemple, si F = T M comme dans le cas du potentiel electromagnetique),
on peut combiner les deux pour ecrire un lagrangien qui portera sur les jets de sections F(M )
de F sur M . On a alors un lagrangien
Lmat,g : JHom(M, F ) 4 T M
qui depend de g et de . On peut aussi etendre Lmat,g à
Lmat : JHom(M, F Sym2 T M ) 4 T M,
ce qui rend la dependance en la metrique plus claire. Si on lui ajoute le lagrangien de EinsteinHilbert dans le vide etendu au meme espace de jets, on obtient un lagrangien Ltot = Lmat +Lvide
et une action S(, g) qui depend de la metrique g et du champ de matière/energie . Resoudre la
relativite generale en presence de matière, cest trouver une extremale (0 , g0 ) de cette action. Les

2.2. THEORIE
DES CHAMPS
21
equations dEuler-Lagrange, appelees equations dEinstein en presence de matière, font intervenir

le tenseur denergie impulsion T (g, ) Sym2 (1 ) dont la definition depend du lagrangien de
matière Lmat (g, ). Elles portent sur les sections (g, ) de Sym2 (1 ) F et secrivent
1
8
Ric(g) Rscal (g)g = 4 T.
2
c
Applications physiques
On se refère à Arthur L. Besse [Bes08] chapitre 3, et Landau-Lifchitz [LL66] pour plus de
details sur les calculs des solutions des equations dEinstein.
Les modèles de Schwartzshild et de Kerr. Perihelie de Mercure et decallage de la lumière
dune etoile par le soleil.
On pose maintenant M = R4 (RB 3 ) o`
u RB 3 decrit la trajectoire dun astre spherique (le
soleil) de masse importante m. Lequation dEinstein dans le vide pour une metrique à symetrie
spherique autour de 0 R4 definie sur M R4 ont ete resolues par Schwarzschild (1916) et leur
solution est donnee par
2
ds
2Gm
1
rc2
c dt +
2Gm
1
rc2
dr2 + r2 d2
en coordonnees spheriques avec m la masse du soleil et G la constante cosmologique de Newton.

Letude des geodesiques dans ce modèle explique lexperience suivante : on attend une eclipse
solaire totale et on suppose que les astres du système solaire ont une masse negligeable par
rapport au soleil. On observe la lumière de deux etoiles très eloignees du système solaire situees
derrière le soleil. Lecartement entre les deux etoiles semble etre plus important que celui quon
observe dhabitude. Ceci vient du fait que les rayons lumineux des etoiles suivent une geodesique
de la metrique de Schwarzschild au voisinage du soleil et que cette geodesique rend leur trajectoire
courbe. On peut comprendre cette experience de manière imagee en en presentant une autre
realisable chez soi sans outillage important. On tend un film plastique sur une poubelle circulaire
et on y depose une bille de plomb (le soleil). Cette masse importante courbe lespace (le film
plastique). Si on lance une bille de verre legère (la lumière) dans une direction sur le film
plastique, sa trajectoire va se courber et suivre une geodesique de la surface du film plastique.
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 r0Gc = 3m, les geodesiques
de la metrique sont incluses dans R S(0, 3m), i.e., se deplacent spacialement dans la sphère
appelee horizon du trou noir. Si un rayon de lumière part de linterieur de cette sphère, il est
necessairement dirige vers le centre de la sphère, ce qui fait que toute geodesique de type espace
a linterieur du trou noir sera dirigee vers le centre de lastre.
`
2.2.4
Th
eorie de Kaluza-Klein
Le but de la theorie de Kaluza-Klein est de donner une combinaison de la theorie de la

relativite generale avec la theorie de lelectromagnetisme. Cette construction utilise un espace
de dimension 4 + 1 = 5 localement donne par un produit M S 1 .
22
Soit M une variete de dimension 4 munie dun U (1)-fibre principal p : P M . On se fixe

une metrique sur U (1) qui est U (1)-invariante. On munit P dune metrique gP : T P T P RP
quon suppose aussi U (1)-invariante. La longueur dune fibre de P (isomorphe à U (1)) pour cette
metrique est notee P . La metrique sur P induit une connexion de Levi-Civita sur T P . Cette
connexion induit une decomposition T P = T Ph T Pv o`
u T Pv = Ker(dp) sont les vecteurs
tangents verticaux. On suppose que la restriction de gP aux fibres de T Pv donne la metrique
fixee sur U (1) et que la restriction aux fibres de T Ph
= T M est une metrique lorenztienne g sur
M . Le lagrangien est donne par
L(gP ) = R(gP )vol(gP )
o`
u R est la courbure scalaire. La courbure scalaire se decompose alors en coordonnees en
R(gP ) = p (R(g)
2 2
|F | )
2
et si on intègre sur les fibres, on obtient laction

L(gP ) =
S(gP ) :=
P
(R(g)
M
1
|F |2 )vol(g).
2
Si on fixe g et quon varie cette action par rapport à la primitive A de F , on obtient la theorie
de Maxwell. Si on fixe F et quon fait varier la metrique g, on obtient lequation dEinstein avec
tenseur denergie electromagnetique.
2.2.5
Sigma-mod`
ele
Un sigma modèle est defini en posant I = M (souvent lespace temps) comme espace de paramètres pour les trajectoires et X = A comme espace de coordonnees avec A une variete munie
dune metrique et appelee espace darrivee ou espace but. Le champ est alors une application
: M A, quon voit comme une trajectoire.
Le lagrangien L : J(M A) R est defini par
1
L(x) = g( x, x) V (x)
2
avec V : X R un potentiel et le lagrangien rond sur les champs est donne par
1
L() = g( , ) V ().
2
2.2.6
Cordes classiques et lagrangien de Polyakov
Dans la theorie des cordes classiques (qui jouent le role des champs), on pose I = une
surface de Riemann et X = (Sym2 T )A avec A un espace darrivee (par exemple M S 1 avec
M lespace temps usuel dans un cas comme Kaluza-Klein) muni dune metrique G : T A T A
RA et (Sym2 T ) le fibre des metriques g : T T R sur la surface . Les champs (ou
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 algebriquement de la manière suivante. Soit G : T A T A et g : T T

les (iso)-morphismes de fibres induits par les metriques. On note g 1 : T T linverse de g
et x G = G (Dx Dx) : T T le tire en haut sur de G. On considère lendomorphisme
g 1 (x G) End(T ) (appele par les physiciens la contraction des metriques lune sur lautre)
et Le lagrangien est donne par la formule
L(g, x) = Tr(g 1 (x G)) R ,
quon peut integrer le long de la forme volume sur induite par G pour obtenir laction.
Si on fixe x et quon fait varier g, les (x, g) qui minimisent laction sont ceux pour lesquels
g = x G. Cependant, si on veut quantifier, il est bon de pouvoir faire varier g et la voir comme
une donnee intrinsèque à la corde consideree pour que sa valeur puisse osciller librement autour
de la phase stationnaire qui correspond à g = x G.
On remarque ici que le lagrangien de Polyakov nest pas de meme nature que les lagrangiens
de la mecanique classique car il a vocation à etre applique à des surfaces de Riemann (et donc des
espaces de paramètres pour les trajectoires) I = variables. Il necessite donc une formalisation
plus generale que celle des problèmes variationnels lagrangiens classiques.
2.3
Th
eorie de Jauge
La theorie de Jauge est une methode qui permet de rendre les symetries des fibres locales.
Par exemple, le fibre trivial C M M admet pour groupe de symetries globales C . Une
symetrie locale de ce fibre est une section locale du fibre C M , cest à dire une fonction
g : U C avec U M ouvert.
La formalisation mathematique de cette situation fait intervenir un fibre principal P M
de fibre C et une connexion sur P , cest à dire une 1-forme A sur M à valeurs dans Lie(G). Si
on trivialise P sur un recouvrement ouvert Ui de M , la forme de connexion est une collection
de sections des fibres T Ui Lie(G) Ui qui sont reliees entre elles par des actions locales
de groupes gij : Ui Uj G sur les Ui Uj . Ces actions locales de groupes sont appelees les
transformations de Jauge.
2.3.1
Th
eorie de Yang-Mills
Le champ electromagnetique F 2 (M ) nest en general que localement integrable en un

potentiel A 1 (M ). La comprehension de ce qui se passe quand on passe dune primitive A à
une autre est appelee theorie de Jauge par les physiciens.
Definition 7. Une donnee de Yang-Mills est un tuplet (M, g, G, P ) o`
u
1. (M, g) est une variete metrique,
2. G est un groupe de Lie,
3. P est un fibre principal homogène sous G sur M ,
On associe à une donnee de Yang-Mills le problème variationnel lagrangien donne par I = M ,
X = Conn(P )G = (T P R Lie(G))G et JX = J 1 Conn(P )G . Lespace des trajectoires est lespace
24
WX = Hom(I, X) des sections de Conn(P )G , cest à dire lespace des connexions G-principales
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 donne par
1
L(A) = Tr(FA FA ),
2
o`
u Tr : Lie(G) R designe la trace sur lalgèbre de Lie. Laction correspondante est
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 theorie de lelectromagnetisme de Maxwell se formule avantageusement en la voyant
comme une theorie de Yang-Mills pour G = U (1) sur un U (1)-fibre principal donne P . Le
potentiel qui le minimise est le potentiel electromagnetique A.
2.3.2
Th
eorie de Jauge avec mati`
ere
Definition 8. Une theorie de Jauge avec matière est un tuplet

(M, g, U, E, G, P, V, EV , Lloc , Ljauge )
o`
u
1. (M, g) est une variete metrique,
2. U T MC est une structure spinorielle, i.e., un sous-fibre tel quon ait un isomorphisme
despaces quadratiques entre lespace hyperbolique (U U , gU ) et lespace quadratique
(T MC , g) (on a alors que S = U est une representation de lalgèbre de Clifford appelee
representation spinorielle double),
3. E est un fibre vectoriel naturel sur M (i.e., un fibre dans la categorie tensorielle engendree
par T M et ResC/R U , et dont lextension de scalaires à C est donc naturellement muni
dune metrique induite par g et dune connexion),
4. G est un groupe de Lie,
5. P est un fibre principal homogène sous G sur M ,
6. V est une representation de G respectant une forme bilineaire gV ,
7. EV := (V P )/G est le fibre vectoriel associe à la representation V ,
8. L : J1 (Conn(P ) M (E EV )) max T M est une densite lagrangienne de la forme
L(A, V ) = Lloc (A, V ) + Ljauge (A)
avec Ljauge (A) = 12 Tr(FA FA ) un lagrangien de Yang-Mills et Lloc (A, V ) un
lagrangien localement invariant de jauge defini en utilisant la derivation covariante
A,g := g id + id A : E EV E EV 1M ,
et la metrique g.

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 decomposer le lagrangien localement invariant de jauge en utilisant A,g = +e.A
avec A la 1-forme de connexion et e la constante de couplage correspondante (coefficient quil
est utile de faire varier). Ceci donne
Lloc (A, ) = Lglobal () + Lint (A, )
avec
1
1
Lglobal () = g( , ) m2 g(, )
2
2
le lagrangien globalement invariant de jauge et
Lint (A, ) = e.g(A, ) +
e2
.g(A, A)
2
le lagrangien dinteraction.
2.3.3
Le processus de fixation de jauge
Fixer la jauge dans une theorie de Yang-Mills, cest se donner une section s : M P du
fibre principal de la theorie (qui si elle nexiste pas globalement va induire ce que les physiciens
appellent une anomalie). Ceci permet de parametrer les orbites du groupe de jauge sur les fibres
consideres par la section choisie, et dainsi ecrire des formules qui ne necessitent pas de travailler
avec des classes dequivalences de champs modulo symetries de jauge, plus difficiles à manipuler.
Cependant, le fait de fixer une section du fibre principal rend les constructions qui en
dependent non invariantes par diffeomorphisme de lespace temps (on dit aussi non covariantes),
et la correction de ce problème de covariance demande un travail important qui sera aborde dans
la section 4.3. On remarque au passage quune transformation de jauge est une transformation
entre deux sections (eventuellement locales) donnees du fibre principal de la theorie de YangMills, cest à dire une fonction (eventuellement locale) f : M G permettant de passer de lune
a lautre par multiplication externe de G sur P .
`
On remarque que du point de vue de lintegrale fonctionnelle, la fixation de jauge est
donnee par une equation (ou famille dequations) aux derivees partielles qui rend la solution des
equations dEuler-Lagrange pour des conditions au bord donnees unique. En effet, lequation
dEuler-Lagrange dun lagrangien de Yang-Mills sans matière est de la forme
d (dA) = 0
et si on se fixe des conditions au bord raisonnables, la solution de cette equation nest pas unique,
a cause des symetries de la situation. Il est necessaire de se donner une condition additionnelle
`
pour avoir une unique fonction de Green, condition quon appelle la fixation de jauge, et qui
peut prendre par exemple la forme
div(A) =
A = 0.
26
2.4
Champs classiques fermioniques
On se refère à la section 6.9.3 pour la theorie des algèbres de Clifford. Lessentiel pour cette
section est le fait quon peut voir une section : M S du fibre spinoriel sur une variete
metrique (M, g), appelee champ fermionique, comme etant à valeurs impaires. Ceci signifie que
lalgèbre des fonctions sur S est donnee par (M, S ).
Les physiciens considèrent pour des raisons experimentales que ces champs classiques ont
des valeurs qui anticommutent. La quantification de tels champs est très differente de celle des
champs bosoniques.
2.5
Particules classiques de mati`

ere et dinteraction
On se refère au livre de Derdzinski [Der92] qui traite precisement et de manière complète les
champs de particules classiques du modèle standard. On se base aussi sur lexpose plus court
[Der93].
2.5.1
Un dictionnaire entre physique et g

eom
etrie
On se donne une variete lorentzienne (M, g) appelee espace temps. Les liens entre la physique
(classique) et la geometrie peuvent etre resumes par le tableau suivant.
Physique
Particule
Etats
(semi-)classiques de la particule
(appeles histoires par Feynman)
Etats
physiques de la particule
(appeles solutions
ou espace des phases covariant)
Symetries de lespace
Particule de matière libre
Symetries des particules
Spin dune particule

Antiparticule dune particule de matière
Generalisation de n particules
Système `
a plusieurs particules
ome
trie
Ge
Faisceau F sur M muni de structures geometriques
Sections du faisceau F
Sections extremales pour le lagrangien,
verifiant les equations dEuler-Lagrange
Le groupe de Lorentz SO(3, 1)
Fibre vectoriel naturel complexe, i.e.,
faisceau F localement libre sur CM,C

Groupe spinoriel Spin(3, 1) SO(3, 1)
(qui sidentifie à ResC/R SL2,C SO(Endherm,R (C2 ), ., . ),
Endherm,R (C2 ) = {B EndR (C2 )|(., B.) hermitienne},
: C2 C2 C la forme symplectique canonique)
Poids (s1 , s2 ) de la representation complexe
de Spin(3, 1)C
= SL22,C
Fibre vectoriel F conjugue complexe du fibre F
somme directe F1 Fn
morphisme surjectif F1 Fn F
partant du produit tensoriel des fibres
Pour pouvoir ecrire sereinement les lagrangiens libres des particules de matière, qui devraient
`
2.5. PARTICULES CLASSIQUES DE MATIERE
ET DINTERACTION
27
etre des applications

L : JHom (M, F ) max T M
des jets de sections du fibre F M considere vers les formes integrables sur M , ou encore
L : JHom (M, F ) R,
il convient de se donner une connexion
: F F 1M
afin de pouvoir decrire concrètement le jet dune section. On fera ce choix auxiliaire pour tous
les fibres vectoriels representant les particules de matières rencontrees.
2.5.2
Particules de spin 0
Si (F, ) est un fibre vectoriel naturel, et : 1 1 1 est une connexion (par exemple
celle de Levi-Civita de la metrique g sur M ), son operateur dAlembertien : F F est defini
par contraction de la derivee seconde avec la metrique :
() = Tr(g 1 (( ) )).
Plus precisement, linverse de la metrique donne un isomorphisme g 1 : 1M TM et donc un

isomorphisme
g 1 id : 1M 1M TM 1M
= End(TM ).
Si on note
: F 1 F 1 1
loperateur := id + id , on peut ecrire
(( ) )
1M
1M
g 1 id
End(TM ) F
et dappliquer la trace à cette derivee convariante seconde. Lequation de Klein-Gordon secrit

alors
m2 c2
( 2 ) = 0.
Si on se donne une metrique ., . (Riemannienne ou Hermitienne) sur F, on peut aussi ecrire le
lagrangien de Klein-Gordon
L() =
1
2
, +
m2 c2
2
et leurs
Les particules de spin 0 et de parite 1 sont representees par un fibre trivial CM
etats
sont donc des fonctions. Les particules de spin 0 et de parite 1 sont representees par le fibre
en droite 4M ou par sa complexification 4M R C. Ces particules evoluent selon lequation de
Klein-Gordon.
28
2.5.3
Particules de spin 1/2
Si (S, ) est un fibre naturel spinoriel, on dispose par definition dune multiplication de
Clifford
c : 1M S S,
et loperateur de Dirac est simplement la composition
D = c : S S.
On conviendra que la composition avec la multiplication de Clifford ou sa duale dun operateur
D sera toujours notee avec la barre de Feynman D.
Les particules de spin 1/2 qui distinguent une orientation de lespace vivent dans un fibre de
spineurs de Weyl Sw (i.e. demi-representation complexe spinorielle du groupe spinoriel, contrairement aux spineurs de Dirac qui sont dans la representation standard complexe de lalgèbre de
Clifford complexe, qui est une algèbre de matrices) et verifient lequation de Weyl
D = 0
qui derive du lagrangien
1
L() = Im (, D).
2
Les autres particules de spin 1/2 vivent dans un fibre de spineurs de Mayorana Sm (representation
reelle du groupe spinoriel) et verifient lequation de Dirac
(D +
mc
) = 0
qui derive du lagrangien

1
mc
L() = Im (, (D +
)).
2
En pratique, sur M = R1,3 , Cliff 1,3 (R)
= M2 (H) contient trois copies de ResC/R M2,C , dont
lune contient le groupe spinoriel Spin(1, 3) = SL2,C . La representation standard reelle de Cliff 1,3
est H2 . Les matrices de Dirac, qui forment une base de lalgèbre de Clifford, sont donnees
par une base de M2 (H). Un spineur de Dirac est un vecteur de la representation standard
de Cliff 1,3 (C)
= M4 (C), cest à dire un element de C4 . Cette representation se decompose en
somme de deux representations irreductibles C2 du groupe spinoriel Spin1,3 (R), quon appelle
les spineurs de Weyl complexes droits et gauches. On remarque que la representation C4 de
Cliff 1,3 (C) peut-etre aussi vue comme lalgèbre exterieure sur un sous-espace H = C2 MC = C4
qui rend la forme quadratique hyperbolique, i.e., tel que (MC , q1,3 )
= (H H , ., . ). En effet,
dans cette situation, on a un isomorphisme naturel Cliff 1,3 (C)
= End( H). On obtient ainsi
4
une autre manière de voir C comme
C2
= [0 C2 2 C2 ] [1 C2 ] = [C C] [C2 ].
La partie de degre impair de lalgèbre exterieure correspond aux spineurs de Weyl gauche et
celle de degre pair aux spineurs de Weyl droits.
`
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
groupe reel) et la representation spinorielle reelle est S = ResC/R C2 (cest à dire C2 vu comme espace vectoriel reel). Cest lespace vectoriel reel des spineurs de Majorana. On a donc Spin1,3,C
=
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 decompose en ses deux composantes + : M C2 la
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
` valeurs dans les spineurs reels S = ResC/R C2 (qui sont accessoirement representes par des
a
couples de nombres complexes).
2.5.4
Interactions
Une particule dinteraction est une connexion sur un fibre principal P sous un groupe G.
Elle doit extremiser le lagrangien de Yang-Mills
L() =
1
Tr(R R )
4g 2
avec g 2 une constante (qui ne sera parfois pas si constante que cela) appelee constante de
couplage.
La formulation des interactions se fait en utilisant le dictionnaire suivant, qui se base sur
lidee quon veut remplacer les symetries globales du lagrangien de matière, par exemple la phase
ei dans le lagrangien de Dirac pour les electrons par des symetries locales ei(x)
avec dependant du point x de lespace temps. Si on se donne un fibre vectoriel naturel V
avec action de Spin(3, 1) et une autre action du groupe de Jauge G (les symetries globales), ce
remplacement des symetries globales par des symetries locales se fait en remplacant V par
W = V G P
avec P fibre principal sous G. Les sections de ce nouveau fibre sont dans (V C P)G avec V et
P les sections locales de V et P , qui sont par exemple les champs delectrons de lequation
de Dirac et les champs de jauge electromagnetique (symetries locales). Ensuite, on construit le
lagrangien en utilisant une connexion variable sur le fibre principal, par exemple le champ de
photons A de lelectromagnetisme.
Si on se donne une famille de lagrangiens libres (decriture suffisamment simple) L1 (1 ), . . . , Ln (n ),
le lagrangien libre associe est obtenu en additionnant chacun des lagrangiens et il porte sur des
sections de la somme directe F1 Fn des fibres consideres. Typiquement, parmi les champs,
il y aura des paires (, ) formees dun champ de matière et dun champ de jauge et si
Llibre ()(x) = L0 ((x), (x)),
30

Physique
Interaction
Transporteurs de linteraction
Particule elementaire dinteraction
Particule de matière en interaction
ome
trie
Ge
Fibre vectoriel G non naturel sur M
(le fibre dinteraction) muni dune G-structure,
souvent defini comme fibre associe (V G P )
avec P fibre principal sous G et V une
representation (fidèle) de G.
Sections du fibre affine Conn(G)
des connexions G-equivariantes sur G
(ou de manière equivalente des connexions Conn(P )
sur le fibre principal P ).
Section de Conn(P ) dont les composantes le long
des generateurs de lalgèbre de Lie sont toutes nulles sauf une.
Il y a autant de particules elementaires dinteraction
que de generateurs de lalgèbre de Lie du groupe de jauge.
Sections du fibre H(F, G) fonctoriel
en F et G, le plus souvent egal à F G
avec des connexions

variable (champ de jauge)
on obtient le lagrangien dinteraction en posant (une paire comme ci-dessus ayant ete choisie)
= avec une section du fibre non naturel G et
L(, ) = L0 (, ( ))
1
R ,R .
4
Chapitre 3
Physique quantique sans interactions

3.1
Premi`
ere quantification Hamiltonienne
Pour des raisons historiques, on presente les premières theories quantiques telles quelles
ont ete pensees par Heisenberg, Schrodinger et von Neumann entre autres. Ces methodes de
quantification necessitent des choix quun mathematicien aura du mal à trouver canoniques.
Le point de vue de lauteur est que les methodes covariantes, qui sont plus fonctorielles et se
generalisent mieux aux systèmes relativistes ayant un nombre variable de particules, sont
plus satisfaisantes. Un passage par ces methodes hamiltoniennes permet cependant une meilleur
comprehension des intuitions des physiciens. Le lecteur paresseux peut directement aller à la
section 3.3.
On va utiliser systematiquement la theorie spectrale dont un resume se trouve dans la section
6.4.
3.1.1
Repr
esentations des groupes de Lie et particules
On utilise ici le delicieux cours de Master de Bertrand Delamotte [Un soupcon de theorie des
groupes : groupe des rotations et groupe de Poincare] ainsi que le livre de Derdzinski [Der92]
pour les cas des champs.
Les groupes de Lie jouent un role important de groupes de symetries des situations physiques. Ils permettent dimposer des conditions si drastiques aux formules des lagrangiens quun
lagrangien pour un type de particule donne est essentiellement unique, si on exige quil soit
invariant par les transformations donnees et quil soit le plus simple possible.
On rappelle que le groupe de Poincare est le produit semi-direct
P =V
SO(V, g)
o`
u (V, g) est un espace vectoriel de dimension 4 avec une forme quadratique de type (1, 3). Les
physiciens utilisent sans doute sa version spinorielle donnee par
Ps = V
Spin(V, g).
31
32
CHAPITRE 3. PHYSIQUE QUANTIQUE SANS INTERACTIONS
Ses representations irreductibles sont liees à celles du groupe reel SU(2) R = Spin(3) R et
leur classification fait intervenir deux nombres quon appelle la masse (poids de laction de R )
et le spin (poids de la representation de SU(2)).
La notation des physiciens pour les vecteurs des espaces de Hilbert est donnee par les bra
et les kets : |x designe un vecteur dans un espace de Hilbert H et x| designe un vecteur dans
le dual H (qui sidentifie à H par laccouplement sesquilineaire donne sur H). Les etats du
système sont alors des elements de lespace projectif de H, i.e.,
P(H) := H/C .
Lespace de Hilbert est muni doperateurs de projections Pi B(H) orthogonaux 2 à 2 (ils
projettent sur des sous-espaces dintersection nulle) appeles règles de super-selections, tels que
les etats admissibles du système ne puissent etre que dans limage dun de ces projecteurs. Un
exemple de tel operateur est donne par la charge, car deux etats de charges differentes ne peuvent
etre additionnes (on ne peut observer deux charges differentes pour un meme système). On peut
ainsi en general ecrire H = i Hi et les etats du système sont les elements de lespace
P(Hi )
ens
car on ne peut additionner deux etats de super-selection (par exemple charge) differente.
Lespace de Hilbert H sera souvent muni de laction dun groupe de Lie G, i.e., dune application G L(H). Les vecteurs interessant de lespace de Hilbert H seront souvent donnes
par une sous-representation R H. On notera par des kets {|x } une base choisie dans la
representation R et par des bras la base duale { x|}. Les sous-representations irreductibles de
R (ou les sommes de telles sous-representations dun meme type fixe) sont ce que les physiciens
appellent les particules. Les invariants de ces representations irreductibles (i.e., leurs plus haut
poids) sont les invariants de la particule (par exemple, la masse, le spin,...).
3.1.2
Rappels de m
ecanique quantique Hamiltonienne
On rappelle le point de vue de von Neumann/Schrodinger sur la mecanique quantique, quon

peut trouver dans le bijou pedagogique de von Neumann [vN96]. Il est bon dinsister sur le fait
que la definition dun système quantique ne fait à priori pas intervenir despace classique sousjacent. Le fait dassocier à un système hamiltonien classique (quon pourra voir comme un espace
sous-jacent pour) un système hamiltonien quantique est un art appele la quantification.
Definition 9. Un système de mecanique quantique est un tuplet
(I, H, WH , H : H H, A)
forme des donnees suivantes :
1. un intervalle I de R qui paramètre levolution dans le temps physique,
2. un espace de Hilbert H qui joue le role de lespace des phases T X des problèmes hamiltoniens, et dont les elements de norme 1 sont les etats physiques du système.
`
3.1. PREMIERE
QUANTIFICATION HAMILTONIENNE
33
3. Une C*-algèbre A Bsa (H) doperateurs bornes autoadjoints sur H appeles grandeurs,
proprietes ou observables du système.
4. deux ensembles dapplications WH Hom(I, H) et WA Hom(I, A) appeles respectivement espace des evolutions possibles pour les etats et les observables (analogue des espaces
de trajectoires de la mecanique hamiltonienne classique).
5. Un operateur H : H H appele hamiltonien du système.
Si A est un observable, les elements de son spectre Sp(A) R sont les mesures possibles pour
la valeur de A, i.e., les nombres reels quon pourra obtenir en observant A avec une machine. Le
spectre Sp(A) est donc le spectre des mesures possibles pour la valeur de A.
A partir dun système de mecanique quantique, on definit lespace E WH des evolutions
possibles des etats du système comme les solutions de lequation de Schrodinger
t0 = et
t
= Ht .
2i t
Ceci se traduit plus generalement sur les evolutions dobservables A. WA du système par
i
A
= [H, A],
t
ce qui correspond à la quantification nave de la mecanique hamiltonienne obtenue en remplacant

le crochet de Poisson par les commutateurs (voir la section 3.1.3).
On peut considerer que la mecanique quantique repose sur les principes physiques suivant,
qui font le lien direct avec lexperience :
Principe 4.
1. Si A A B(H) est un observable (operateur autoadjoint borne) du système
physique et [b, c] R est un intervalle, la probabilite quon trouve un nombre de lintervalle
[b, c] en mesurant avec un appareil la valeur de A B(H) sur le système dans letat H
est
P(A, [b, c]) :=
, [b,c] (A) .
2. Deux observables sont mesurables en meme temps si et seulement si ils commutent.
3. Une mesure de lobservable A sur un etat change letat en letat A.
4. Un projecteur P est un observable qui donne une propriete vraie ou fausse pour un etat
du système.
Si R et S sont deux observables qui ne commutent pas, on leur associe loperateur P de
projection sur le noyau M du commutateur [R, S] (qui est un sous-espace ferme de H). Ce
projecteur correspond à la propriete pour les deux operateurs detre mesurables simultanement.
Si on suppose que M = {0}, ceci signifie que R et S ne sont pas simultanement mesurables. On
peut se restreindre à deux operateurs comme les P et Q de la mecanique quantique qui sont lies
par
[P, Q] =
2i
Id.
34
On peut alors evaluer la dispersion des mesures de P et Q sur un etat en posant pour R = P, Q,
d(R, ) = R R, .
Ceci indique la difference entre letat R obtenu après la mesure de R et letat R, essentiellement equivalent à (les etats physiques devant etre unitaires). On obtient alors la relation
dincertitude dHeisenberg :
d(P, ).d(Q, )
4
qui signifie que moins la mesure de la valeur de P sur change letat , plus la mesure de la
valeur de Q sur change letat du système donne. Ceci peut aussi se traduire en disant que
plus on mesure P avec precision, moins on mesure Q avec precision et reciproquement.
Remarquons que la theorie de lelectromagnetisme peut-etre vue comme une theorie quantique en considerant que la forme differentielle A 1 (M ) sur lespace de Minkowski M qui
donne le potentiel electromagnetique est une fonction donde sur R3 M qui depend du temps
t. Lequation de Maxwell est alors très similaire à lequation de Schrodinger pour cette fonction
donde.
3.1.3
Quantification de Heisenberg/Schr
odinger
On definit une realisation classique du système quantique Hq = (I, H, WH , WA , H : H H)

de la manière suivante : cest un système lagrangien classique
Lc = (R, I, X, T X, WX , L : T X R)
comme dans la section 2.1.1, ou plutot le système hamiltonien correspondant
Hc = (R, I, X, T X, WX , H : T X R)
comme defini dans la definition 2.1.2 de la section 2.1.2, o`
u WX Hom(I, T X) est lespace des
trajectoires hamiltoniennes dans lespace des phases T X qui est une variete symplectique dont
les fonctions sont munies dun crochet de poisson
{., .} : C (T X) C (T X) R
associe à la forme symplectique .
La relation entre les systèmes classique et quantique Hc et Hq est donnee par la methode
suivante :
1. on pose H = L2 (X) et les etats sont les vecteurs de norme 1 dans H,
2. on associe aux fonctions q C (X) les operateurs (observables) Q = mq de multiplication
par q dans H. Les fonctions coordonnees sur X = R3 sont notees les qi .
3. on associe aux sections V T (X) du fibre tangent les operateurs (observables) PV (.) =
erivation de Lie le long du champ de vecteur V , donne par
2i dV (.) de d
dV (f ) = Df V : X R.
Les derivations le long des coordonnees sont notees Pi .
`
3.1. PREMIERE
35
4. On souhaite plus generalement disposer dun morphisme dalgèbres de Lie

: (A, {., .}) (End(H), [., .])
(o`
u A C (T X) est une sous-algèbre des observables interessants du système qui
contient notamment lhamiltonien H, les fonctions coordonnees qi et les derivees par rap.
.
port aux qi , quon peut voir comme les applications qi (x, ) = (qi x )) qui permette de
quantifier toutes les fonctions utiles sur lespace des phases et de retrouver les constructions
precedentes comme cas particulier. Ceci peut-etre dejà utilise dans des cas très particuliers
pour calculer les commutateurs entre les quantifies dobservables en posant
{a, b}.
i
Ce problème est difficile en general et resolu en partie par la theorie de la quantification par deformation. Cest la difficulte presente ici qui fait dire aux physiciens que la
quantification est un art. Ceci sera aborde dans la section suivante.
5. En particulier, on obtient le hamiltonien quantique en remplacant, quand cest possible,
les variables qi et pi de T X par les operateurs Qi et Pi correspondants.
Lamplitude de probabilite de presence de letat f H du système dans un borelien B de
lespace X est la valeur
[A, B] =
|f |2 d.
AB (f ) :=
B
3.1.4
Quantification de Weyl infinit

esimale et calcul pseudo-diff
erentiel
On se donne une variete X et une metrique g : T X T X RX sur X. Pour la quantification

de Weyl, on a besoin de transformee de Fourier et de structure lineaire sur lespace. On va donc
travailler sur lapproximation lineaire de X, cest à dire dans les fibres de son fibre tangent T X.
On note (x, q) les coordonnees locales sur T X et (x, p) les coordonnees locales sur T X. On note
., . : T X T X RX
laccouplement naturel donne par
(x, p), (x, q) = (x, p(q)).
On dispose de la transformee de Fourier fibre à fibre
F : S(T X) S(T X)
sur les espaces de Schwartz (fonctions à decroissance rapide le long des fibres des fibres consideres
avec leur mesure de Lebesgue et à support compact sur la base X) donnee pour f S(T X)
par
ei
F(f )(x, q) =
p,q
f (x, p)dp.
Tx X
Si on se donne un symbole H(x, p, q) S(T X X T X) (pour la quantification, ca sera

typiquement lhamiltonien, qui ne dependra que de p et q et pas de x) et une fonction f (x, q) de
S(T X), on peut lui associer le produit H.(f ) S(T X X T X) o`
u : T X X T X T X
est la projection.
36
Definition 10. On note L2,c (T X) les fonctions sur T X lisses à support compact sur X et de
sur L2 (T X) associe à H est alors donne par la
carre integrable dans les fibres. Loperateur H
,c
formule
)(x, q) :=
ei p,qq0 H(x, p, q).f (x, q0 )dg (q0 )dg (p).
(H.f
Tx X
Tx X
Cette correspondance
S(T X X T X) L(L2,c (T X))
H
sappelle la quantification de Weyl ou le calcul pseudo-differentiel infinitesimal.
La rapport avec le calcul pseudo-differentiel usuel est le suivant : si U Rn est un ouvert
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 identifiant U à un sous espace de la fibre de son fibre tangent Rn , par le theorème des fonctions
sur
implicites (cet espace tangent est un plan dans Rn Rn ). On obtient ainsi un operateur H
2
n
2
L,c (T U ), qui est constant sur U et donne donc un operateur sur L (R ).
En pratique, on suppose souvent X = Rn , ce qui donne T X = Rn Rn et on peut alors
considerer des fonctions sur T X ne dependant que de q dans les coordonnees (x, q) sur T X. Le
choix de cette decomposition nest evidemment pas canonique, mais la quantification de Weyl
est souvent plutot decrite comme une correspondance
S(T X) L(L2 (X))
H.
Si on normalise convenablement la transformee de Fourier, la quantification de Weyl redonne
la quantification de Heisenberg decrite dans la section 3.1.3. En effet, une coordonnee lineaire
est une fonction qn : T X R (coordonnee dans les fibres de T X) quon peut composer avec la
projection T : T X X T X T X, ce qui donne par quantification un operateur
Qn := qn T
dans C (X, L(L2,c (T X))) qui est simplement la multiplication par la coordonnee qn fibre à
fibre.
Si on se donne un champ de vecteur vn (X, T X) (derivation dans la direction dun
coordonnee xn sur X, et non pas sur T X, cette fois-ci : cest à cet endroit que lidentification entre
les coordonnees sur X et celles sur T X, xn = qn utilisee par les physiciens est non canonique),
on peut le voir comme lapplication pn,h : T X C, donnee par pn,h (x, p) = hi p, vn , et
composable avec la projection T : T X X T X T X, ce qui donne par quantification un
operateur
Pn := pn,h T
dans C (X, L(S(T X))) qui nest autre que Pn =
1
2i qn .
`
3.1. PREMIERE
3.1.5
37
Quantification de Connes et groupode tangent
Soit M une variete, : M M M sa diagonale et i = (, 0) : M {0} M M R

linclusion naturelle. On definit le groupode tangent de M comme la variete algebrique relative
sur (M, C ) donnee par leclatement G (voir [Hartshorne, p 163]) de M M R le long de
lapplication i. Si I CM
eal des fonctions qui sannulent sur limage de i, i.e., des
M R est lid
f telles que f i = 0, on definit
G := Proj(nN I n ).
Cette variete algebrique relative verifie la propriete universelle suivante : tout morphisme f :
Y M M R relativement algebrique tel que f 1 I.OY soit un fibre inversible factorise par
G M M R. On peut naturellement associer à G une variete C qui sera aussi notee
G M M R. Par construction, la fibre de G le long de R R est le groupoide des
paires M M R . On obtient aussi par la propriete universelle appliquee à T (M M ) =
T (M M {0}) M M R un morphisme
T (M M ) G
et limage du fibre d : T M T (M M ) par cette application sidentifie à e(M {0}) o`
ue
est la section unite de la projection canonique G0 M {0}. On obtient ainsi une application
M M
:= (T (M M ))/T M G0
N = NM
qui est un isomorphisme et identifie G0 avec le fibre normal à la diagonale.

On voit donc que G est une deformation de paramètre h R du groupode des paires
Gh = M M pour h R vers le fibre normal à la diagonale G0 = N pour h = 0. Le
choix dun point x dans M fournit une application tx : M = {x} M M M donnee par
tx (y) = (x, y) et permet de construire une identification dt : T M N et donc didentifier G0

au fibre tangent T M = T ({x} M ). Cest plutot en ces termes quon considère le groupode G.
Cest la C*-algèbre C (G) qui va jouer le role de la quantification de lalgèbre des fonctions
C (T M ). Pour cela, on utilise la transformee de Fourier
F : S(T M ) S(T M )
etendue convenablement pour identifier les fonctions sur le cotangent aux fonctions sur le tangent. Linclusion G0 G induit une suite exacte
0 A C (G) C0 (G0 ) 0
quon peut identifier en utilisant la transformee de Fourier et le choix dun point x M à la
suite
0 C0 (R , K) C (G) C0 (T M ) 0
o`
u K designent les operateurs compacts sur L2 (X). Une C*-quantification est le choix dune
section s de la projection C (G) C0 (T M ).
On remarque que la construction des operateurs pseudo-differentiels (quantification de Weyl)
fournit une section s particulière. Elle a malheureusement un certain nombre de mauvaises
proprietes.
38
3.2
Quantification canonique des champs libres
On se refère au superbe livre de Folland [Fol08] pour un traitement très complet et detaille
du contenu de cette section. Comme dit precedemment, les methodes hamiltoniennes presentees
ici donnent à la quantification un air peu canonique (quoique), qui lest encore moins quand
on passe aux interactions. Le point de vue de lauteur est que les methodes covariantes sont
plus succeptibles de satisfaire les mathematiciens car elles sont plus fonctorielles. Les methodes
hamiltoniennes ont cependant des atouts certains et une grande popularite ce qui les rends difficilement contournables dans la litterature. Le lecteur paresseux est invite à passer directement
a la section 3.3.
`
3.2.1
Quantification de loscillateur harmonique
Loscillateur harmonique quantique est à la base de la theorie des champs quantiques libres.
Sa resolution par la methode de lechelle (operateurs de creation et dannihilation) est due à
Dirac [Dir82]. On se refère à [Wikipedia : quantum harmonic oscillator].
Loscillateur harmonique classique sur X = R est donne par le système variationnel hamiltonien dont les trajectoires sont des applications de R dans la variete de Poisson T X
=RR
(coordonnees (q, p) notees parfois (x, p) et appelees position et impulsion) et dont lhamiltonien
est la fonction H : T X R donnee par
H(q, p) =
1 2
(p + m2 2 q 2 ).
2m
Rappelons que la solution classique des equations de Hamilton est ici donnee par
q
t
p
t
p
H
=
p = m
2
= H
q = m q,
ce qui donne les equations du mouvement newtoniennes

2q
= 2 q.
t2
La quantification canonique de ce système hamiltonien est obtenue en considerant lespace de
Hilbert (espace des phases quantiques) H = L2 (X) et en remplacant la position et limpulsion
par les operateurs Q = mq de multiplication par la fonction q : X R et P = i q de
derivation par rapport à q.
On recherche ensuite le spectre de lHamiltonien (dont les elements sont les niveaux denergie
possibles pour le système)
1
H(Q, P ) =
(P 2 + m2 2 Q2 ),
2m
cest à dire, à la resolution de lequation aux valeurs propres
H = E.
3.2. QUANTIFICATION CANONIQUE DES CHAMPS LIBRES
39
Pour determiner les solutions de cette equation aux valeurs propres, on utilise, en suivant la
methode de lechelle due à Dirac, deux operateurs auxiliaires
m
2
m
2
a =
a =
i
P
m
i
Q
P
m
Q+
Ceci permet aussi dobtenir les relations

a + a
2m
m
p = i
a a
2
x =
Th
eor`
eme 2. On peut resoudre lequation aux valeurs propres pour loperateur H en utilisant
les operateurs a et a . Plus precisement, on a :
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 appele letat
vide. On a alors
Hn = (n + 1/2)n .
4. On a les relations de commutation
a, a
a , H
= 1
=
[a, H] = a
Remarquons que letat vide 0 à pour energie (valeur propre) 2 et est donne par la fonction
(solution de lequation differentielle en q du premier ordre a0 = 0)
0 (x) =
1
4
e 2
x2
On peut generaliser ces resultats à un oscillateur harmonique de dimension n en utilisant n

paires doperateurs de creation et dannihilation.
3.2.2
Quantification du champ scalaire libre
Le champ scalaire libre de masse m est une fonction sur lespace de Minkowski X = R3,1 ,
solution de lequation de Klein-Gordon
( +
m2 c2
2
) = (
1 2
m2 c2
2
+
) = 0.
x
2
c2 t
40
La transformee de Fourier partielle sur la variable espace x de (t, x), notee (Fx )(t, ) verifie,
en chaque point R3 lequation differentielle de loscillateur harmonique classique
(
1 2
m2 c2
2
+
)(Fx )(t, ) = 0
t
2
c2
2 4
dont lhamiltonien classique est la fonction h(q, p) = p2 + 2 q 2 avec pour fixe, 2 = 2 + m 2c ,

q = (Fx )(t, ) et p = q
t .
La quantification du champ scalaire se fait essentiellement en remplacant cet oscillateur
harmonique classique par un oscillateur harmonique quantique dhamiltonien H (Q, P ) = P 2 +
2 Q2 agissant sur L2 (R3 ). On remarque que cet hamiltonien depend de R3 qui est la variable
duale de Fourier de la position x dans lespace.
Il existe une manière agreable de formaliser rigoureusement cette construction. On se place en
unites relativistes, i.e., c = = 1. Soit une distribution temperee sur R4 qui resoud lequation
de Klein-Gordon
( + m2 ) = 0.
Alors, sa transformee de Fourier est une distribution temperee qui verifie (p2 + m2 ) = 0 donc
elle est supportee sur lhyperbolode a deux nappes
Xm = {p R3,1 |p2 = m2 }
+ et X corappele hyperbolode de masse. On peut decomposer Xm en deux composantes Xm
m
+
respondant au signe de la première coordonnee p0 (duale de Fourier du temps). On munit Xm
de sa mesure normalisee
d3 p
d =
(2)3 p
avec p = p0 =
|p|2 + m2 . On considère lespace de Hilbert

+
H = L2 (Xm
, ).
Definition 11. Lespace de Fock total (resp. bosonique, resp. fermionique) sur H, note F(H)
(resp. Fs (H), Fa (H)) est le complete de lalgèbre tensorielle F 0 (H) (resp. symetrique Fs0 (H) :=
SymC (H), resp. exterieure Fa0 (H) := C H). Les sous-espaces donnes par les sommes directes
algebriques F 0 , Fs0 et Fa0 sont appeles sous-espaces des particules finies.
On definit loperateur de nombre N sur F 0 (H) par
N = kI sur k H.
Pour v H, on definit les operateurs B et B sur F 0 (H) par
B(v)(u1 uk ) =
v|u1 .u2 uk ,
B(v) (u1 uk ) = v u1 uk ,
ne
et on voit facilement que ces deux operateur sont adjoint pour v H fixe. Loperateur B(v)
0
preserve pas lespace symetrique Fs (H) mais B(v) le preserve. On definit aussi A(v) = B(v) N
41
et on note A (v) ladjoint de loperateur A(v) sur lespace de Fock bosonique Fs0 (H). On peut
aussi le voir comme loperateur
A(v) = Ps B(v) N + 1Ps

avec Ps : F 0 (H) F 0 (H) la projection sur le sous-espace bozonique Fs0 (H).
On a les relations de commutation entre operateurs sur lespace de Fock bosonique [A(v), A(w) ] =
v|w I et [A(v), A(w)] = [A(v) , A(w) ] = 0.
On a une application naturelle R : S(R4 ) H definie par
Rf = f|Xm
+
avec f(p) =
eip x f (x)d4 x la transformee de Fourier Lorentz-covariante.
Definition 12. Le champ scalaire neutre quantique libre de masse m est la distribution sur R4
a valeurs dans les operateurs sur lespace de Fock bosonique des particules finies Fs0 (H) donne
`
par
1
(f ) = A(Rf ) + A(Rf ) .
2
On remarque que est une distribution solution de lequation de Klein-Gordon, i.e., (( +
+.
= 0 pour tout f S(R4 ) car (p2 + m2 )f = 0 sur Xm
Dans le cas dun champ scalaire charge (i.e. à valeurs complexes), il est necessaire dutiliser
+ ) et H = L2 (X ) et lop
les deux espaces de Hilbert H+ = L2 (Xm
erateur anti-unitaire C :
H H donne par Cu(p) = u(p) . On definit les operateurs dannihilation et de creation

pour v H sur H+ par
B(v) = A(Cv) et B(v) = A(Cv) .
m2 )f )
Maintenant, attention à lastuce. On considère comme avant lespace de Fock Fs0 (H+ ) et on
le voit comme defini sur R en considerant ResC/R Fs0 (H+ ). Les operateurs B(v) et B(v) sont
bien R-lineaires car loperateur C : H H lest, et cest exactement pour cela quon restreint
les scalaires.
Ensuite, on etend à nouveau les scalaires de R à C en appliquant . R C pour obtenir un
espace quon va noter Fs0 , et qui peut etre decompose comme produit tensoriel de deux espaces
de Fock isomorphes à Fs0 (H+ ), et echanges par un automorphisme induit par la conjugaison
complexe. On definit alors, pour f S(R4 ), deux applications R : S(R4 ) H par
R f = f|Xm
.
Definition 13. Le champ quantique scalaire libre charge de masse m est la donnee des deux
distributions sur R4 à valeurs dans les operateurs sur lespace de Fock Fs0 definies par
(f ) =
(f ) =
1
2
1
2
A(R+ f ) + B(R f ) ,
A(R+ f ) + B(R f ) .
42
3.2.3
Quantification infinit
esimale des champs classiques
Dans cette section, dont les objectifs sont plutot de nature epistemologique, on considère
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 echelle. Le
gros avantage de cet espace tangent est que, contrairement à un espace temps relativiste general,
il est lineaire. Ceci permet de parler de transformee de Fourier sur ce dernier. Avec le fait que
cela nous fournit une manière elegante de relier les champs classiques aux champs quantiques,
cest ce qui justifie notre travail fibre à fibre sur le fibre cotangent T M .
Soit E M un fibre vectoriel reel sur lespace temps (quon pense comme à un type
de particule de matière), muni dune action du groupe spinoriel Spin(3, 1) sur ses fibres. Les
sections dun tel fibre sont ce quil est souvent convenu dappeler des champs classiques. On va
essentiellement sinteresser au cas E = T M , correspondant au photon, et E = S le fibre spinoriel
(donne par la representation standard ResC/R C2 de Spin(3, 1) = ResC/R SL2,C ) correspondant à
lelectron.
On se donne une equation du mouvement D = 0 donnee par un operateur differentiel relatif
a la projection p : T M M sur les sections du fibre p E T M ,i.e.,
`
D DT M/M CTM p E.
Ceci permet de travailler fibre à fibre sur un espace vectoriel de Minkowski qui est lespace
tangent Tx M .
On peut maintenant definir la transformee de Fourier
F : S(T M ) S(T M )
par la formule
ei
F(f )(x, ) =
,v
f (x, v)dv
Tx M
avec dv la mesure induite par la metrique de lorentz sur Tx M .

On utilise la dualite induite par la metrique g : T M T M pour definir un fibre E :=
1
(g ) p (E R C) sur T M à partir de p E T M .
Maintenant, on considère dans T M le support des solutions de la transformee de Fourier
de lequation differentielle D = 0 donnee par loperateur D DT M/M CTM p E.
Si E est le fibre cotangent T M (photon) o`
u E est le fibre spinoriel S (electron), loperateur
2
D est loperateur de Klein-Gordon + m ou celui de Dirac iD m qui sont relies par
+ m2 = (iD + m)(iD m).
Le support de leur transformee de Fourier est alors simplement lhyperbolode de masse
Xm = {(x, p) T M |p2 = m2 }
+ et
qui se decompose en deux parties (une fois un feuilletage de temps fixe {(x, p0 )} T M ) Xm
Xm comme avant.
43
On definit H comme le fibre sur lespace temps M en espaces de Hilbert donne par H :=
+ , i (E C)) avec i : X + T M linclusion canonique et on peut aussi d
L2 (Xm
efinir son
R
m
espace de Fock F qui sera un fibre en espaces de Hilberts sur M . La transformee de Fourier
fibre à fibre F : S(T M ) S(T M ) permet de definir une application R : S(T M ) L(H) vers
les operateurs sur H donnee par
R(f ).v := f|Xm
+ .v.
Le champ quantique libre associe au fibre E M est la distribution sur lespace T M à
valeurs dans les operateurs fibre à fibre sur lespace de Fock Fs donnee par
1
(f ) = A(Rf ) + A(Rf )
2
dans le cas dun champ de particules bosoniques (par exemple le photon donne par E = T M ).
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
+ ) entre
lespace. On peut relier ceci aux constructions precedentes en identifiant tous les L2 (Xm
eux et à celui qui etait defini sur lespace des moments de Fourier de lespace de base M et
cest par cette methode quon peut retrouver le champ quantique de Wightman qui est une
distribution sur lespace temps plat.
3.2.4
Les axiomes de Wightman
Soit M = R3,1 lespace de Minkowski.

Definition 14. Une theorie des champs quantiques libres sur M est la donnee dun espace de
Hilbert F muni de
1. un sous-espace dense D,
2. un ensemble 1 , . . . , N de distributions sur M à valeurs operateurs,
3. une representation unitaire U du groupe de Poincare spinoriel R4
4. une representation (non unitaire) S de SL2,C sur
SL2 (C), et
CN .
Comme les operateurs U (a, id) commutent tous pour a R4 , ils ont une resolutions spectrale commute, i.e., il existe une mesure à valeurs projections sur R4 telle que U (a, id) =
eip x dE(p). Les axiomes sont les suivants :

1. Chaque n est une application de S(M ) vers les operateurs lineaires sur F telle que
(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 temperee sur
M.
2. Il existe un vecteur unitaire D (letat vide) unique à une phase près tel que U (a, A) =
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

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)
S(A1 )m
n m ((a, A).f )
=
m=1
comme operateurs sur D, o`

u [(A, a).f ](x) = f (p(A)1 (x a)) avec p : SL(2, C) SO(1, 3)
est la projection naturelle.
5. Le support de la mesure à valeurs projections E est contenue dans la region {(p0 , p)|p0
|p|} dans le cone de lumière.
6. Si f et g sont dans S(M ) et le support de f et g sont separes dans lespace (i.e., x y est
de type espace quand f (x).g(y) = 0) et m, n {1, . . . , N }, alors comme operateurs sur D,
soit [m (f ), n (g)] = [m (f ), n (g) ] = 0,
soit {m (f ), n (g)} = {m (f ), n (g) } = 0.
3.3
Quantification covariante des champs libres
La quantification covariante est une methode alternative pour calculer les nombres de la
theorie quantique des champs sans choisir de coordonnee temps specifique avant la fin des
calculs (ce qui est necessaire dans le point de vue hamiltonien), avec pour avantage principal detre une construction intrinsequement invariante sous le groupe de Lorentz, et disons
meme, complètement fonctorielle (do`
u le mot covariant). Elle ne se base pas sur un formalisme
operatoriel, mais sur la notion dintegrale et de derivee fonctionnelle.
Pour un traitement mathematique agreable de lintegrale fonctionnelle, on se refère au livre
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 quantifier les champs libres sans utiliser le formalisme hamiltonien,
il est possible de definir un crochet de Poisson sur les fonctionnelles definies sur lespace des
solutions classiques dun problème variationnel lagrangien appele crochet de Dewitt/Peierls, et
amplement utilise par Dewitt dans son livre [DeW03] (voir aussi [DDM04] et [Pei52]).
Son gros avantage sur le crochet de Poisson du point de vue hamiltonien est que sa definition
ne necessite pas le choix dune coordonnee temps privilegiee, ce qui en fait un objet intrinsèquement
covariant sous les transformations de Lorentz. Cest de plus un objet non pas statique mais de nature dynamique puisquil depend par definition de la fonctionnelle daction qui regit les equations
du mouvement.
On peut penser à cet objet de la manière suivante. On se donne un problème variationnel
lagrangien dont les trajectoires sont des sections dun fibre F sur lespace temps M et la
fonctionnelle daction est notee S : Cb (M, F ) R (b designe ici des conditions au bord fixant
la valeur des champs sur deux hypersurfaces de type espace). Par derivation fonctionnelle,
on associe à S lequation dEuler-Lagrange E. Lespace de ses solutions X Cb (M, F ) (quon
peut plonger si necessaire dans un espace plus gros que celui des fonctions lisses), muni de ses
3.3. QUANTIFICATION COVARIANTE DES CHAMPS LIBRES
45
fonctionnelles locales CX (qui sont des fonctionnelles F : X R dont une classe precise est
difficile à donner et qui ne dependent que dun nombre fini de derivees des champs) est appele
espace des phases covariant. Cette denomination vient du fait quil est possible de definir un
crochet sur CX par la formule
{A, B} = DA B DB A
o`
u DA B designe la variation infinitesimale de B obtenue en changeant laction S en S + A.
La definition precise de cette variation infinitesimale et donc de lespace des phases covariant
peut etre abordee de plusieurs manières et demande des efforts dabstraction mathematique
que nous traiterons dans les sections sur le formalisme multisymplectique 6.8 et sur le calcul
differentiel secondaire 6.6.9.
3.3.2
Calcul diff
erentiel sur les fonctionnelles locales
On dispose de plusieurs approches complementaires au calcul differentiel sur les fonctionnelles

(fonctions sur des espaces de fonctions). Lapproche utilisant les differentielles de Gateaux et
differentielles de Freschet à son importance (voir section 6.7.2). On pourra aussi utiliser le point
de vue geometrique sur les jets (voir section 6.6.8).
On retiendra dans cette section la definition approximative suivante : si X est un espace
lineaire de fonctions generalisees contenant les distributions de Dirac sur un espace de base M
et F : X C est une fonctionnelle (non necessairement lineaire), la derivee fonctionnelle de F
est definie par
F (f )
F (f )
F (f + x ) F (f )
:=
= lim
.
0
f (x)
(x )
Cest donc essentiellement la derivee de Gateaux de F le long de x comme definie dans la
section 6.7.2.
Les derivees fonctionnelles les plus utiles pour la theorie des champs sont fournies dans la
proposition suivante (quon peut trouver dans le livre de Folland [Fol08], page 269).
Proposition 1. On dispose des resultats suivants pour les calculs de derivees fonctionnelles de
fonctionnelles remarquables :
Nature de la fonctionnelle
Integrale
Exponentielle dintegrale
Integrale quadratique
Exponentielle quadratique
Formule
F (f ) =
exp
F (f ) =
F (f ) = exp
Derivee fonctionnelle
F (f )
f (x)
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
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 )
Demonstration. On va donner la preuve pour les deux premières integrales. La fonctionnelle

F (f ) = f (y)h(y)dy se prolonge de S(R) aux distributions f sur S(R) par F (f ) = f (h) :
46
cest simplement levaluation des distributions en la fonction h donnee. Cest une fonctionnelle
lineaire en la distribution f . On peut ainsi calculer F (f + x ) = F (f ) + F (x ) et on obtient
F (f )
= x (h) = h(x).
(x )
De meme, pour F (f ) = exp
exp(f (h)), on obtient
F (f )
(x )
f (y)h(y)dy , quon peut etendre aux distributions par F (f ) =
= lim
exp(f (h) + x (h)) exp(f (h))
= lim exp(f (h)).
exp( x (h)) 1
= h(x) exp(f (h)).

Les autres egalites sobtiennent de manière similaire.
3.3.3
Lint
egrale fonctionnelle des physiciens
Dun point de vue de physicien, un champ quantique est une distribution sur lespace temps
` valeurs operateurs (sur un espace de Hilbert H non determine à priori, dans le cas des intera
actions, et bien determine comme vu dans la section 3.2.2, dans le cas des champs libres). On
peut avantageusement le voir comme etant determine par la donnee dun etat vide |0 H et
de ses fonctions de Green
G(x1 , . . . , xn ) = 0|T (x1 ) . . . (xn )|0 ,
avec T loperateur dordonnancement dans les temps t = x0 croissants.
Feynman a donne un procede heuristique pour calculer explicitement les fonctions de Green :
elles sont decrites par une integrale fonctionnelle (notation formelle qui ne designe pas exactement une integrale mais une famille de règles de calculs bien definies deduites dune analogie
avec la theorie des integrales gaussiennes) sur lespace des champs classique :
G(x1 , . . . , xn ) = N 1
[d]eiS() (x1 ) . . . (xn )
o`
u S() est laction classique et N = [d]eiS() est un facteur de normalisation assurant que
0|0 = 1.
Les expressions (xi ) et eiS() doivent ici etre pensees comme des fonctionnelles
sur lespace de tous les champs classiques, appele aussi espace des histoires, et lexpression
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
de la forme
O = N 1 [d]O()eiS()
designe la valeur quantique (le plus souvent donnee par une serie formelle) dun observable
classique O.
3.3.4
47
Lint
egrale fonctionnelle formelle
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 fibre (disons vectoriel) E sur lespace
temps M . Ceci signifie que la densite lagrangienne est une application
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 etendre à J 1 E
= E T M E en utilisant la forme quadratique fixee par la relativite
generale sur T M . On se donne une connexion : (E) 1M (E) compatible aux metriques
donnees.
Il est aussi utile de definir un espace des histoires de Feynman correspondant à une experience
donnee. La donnee dun experimentateur permet de fixer une decomposition (au moins locale)
M = R M3 de lespace temps fournie par la ligne de temps dudit personnage. On suppose
ensuite que lexperimentateur sait mesurer le champ classique (t, x) au depart t0 de lexperience
et `
a larrivee t1 . En fait, en pratique, il mesure plutot (t, x) pour un intervalle de temps avant
le depart t0 de lexperience (ce qui permet de connatre la masse de la particule correspondante)
et il me sure aussi (t, x) pour un intervalle de temps après le depart t1 de lexperience.
Ceci nous donne pour espace des histoires dune experience donnee demarree au temps t0
pour lexperimentateur et finie au temps t1 par
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
fonction de Green retardee (resp. avancee) pour lequation du mouvement libre avec condition
au bord 0 (resp. 1 ), mais la connaissance de cette equation du mouvement libre correspond
essentiellement à la connaissance de la masse de la particule consideree, qui ne peut etre mesuree
que sur un intervalle de temps.
On impose à L detre somme dun terme quadratique en et = , note L0 , et dun
terme polynomial en , note P (). On appelle L0 la densite lagrangienne libre et P () le
potentiel ou densite lagrangienne dinteraction. On doit donc pouvoir ecrire
1
L0 () = (x).D.(x)dx
2
avec D un operateur differentiel lineaire essentiellement donne par lequation dEuler-Lagrange
du problème variationnel. On considère lespace des histoires F comme permettant de definir
les conditions de Cauchy pour trouver la fonction (ou distribution) de Green de loperateur
differentiel D.
On note J une section quelconque de E sur M . On associe à ces donnees une action classique
S = S0 + S1 donnee par S0 () = L0 () et S1 () = P () et une action avec terme de source
(quon peut aussi appeler action generatrice) donnee par
S(, J) := S0 () +
J. + S1 ().
48
Cest cette action là qui est succeptible detre utilisee pour definir axiomatiquement lintegrale
fonctionnelle, en utilisant la formule calculant les gaussiennes normalisees avec terme de source
en dimension finie comme definition. On remarque que S0 () peut-etre symboliquement note
.K. avec K la fonctionnelle quadratique donnee par hypothèse. On notera K 1 son inverse
(quil sera necessaire de calculer au cas par cas mais qui est toujours fourni par une fonction
de Green de loperateur differentiel lineaire D relative aux conditions au bords donnees par
definition de lespace F des histoires de lexperience).
Definition 15. Si F est une fonctionnelle locale en , on definit sa fonctionnelle generatrice
normalisee par
i
F
La valeur moyenne F
F 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 generatrice normalisee
On doit preciser que lenorme expression entre crochets est ici consideree comme un symbole
formel encodant la transformee de Fourier-Laplace dune mesure Gaussienne normalisee associee
a la fonctionnelle quadratique .K, le terme de source jouant le role de variable de la trans`
formee de Fourier-Laplace. Les expressions obtenues sont en general des derivees fonctionnelles
dexponentielles dintegrales de dimension finie, qui malheureusement ont le mauvais go
ut de
souvent diverger, ce qui impose de les renormaliser.
Cette definition permet de calculer, dans le cas dun champ libre, i.e., S1 = 0, les valeurs
moyennes par la formule
0|T [(x1 ) . . . (xn )]|0 = evx1 . . . evxn
:= (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

evx evy = K 1 (x y) la fonction de Green de loperateur differentiel K.
On remarque, en suivant Dewitt [DDM04], postulat 25, quil peut etre utile dajouter à
laction classique S() avec terme de source J un terme supplementaire de la forme i ln ()
avec () une fonctionnelle determinee par laction classique S, tel que les equations dynamiques
operatorielles prennent la forme
T
{S() i ln ()}
= J
au lieu de lequation habituellement utilisee

T
{S()}
= J
qui donne lequation dEuler-Lagrange ordonancee dans le temps

T
{S()}
=0
49
en labscence du terme de source.

Ceci permet dune part de corriger le fait que lordonancement dans le temps de lequation
dEuler-Lagrange T (S) ne soit pas un operateur autoadjoint (du point de vue de lintegrale
fonctionnelle). On obtient aussi une justification de la rotation de Wick.
3.3.5
Le mod`
ele ludique du champ scalaire libre
On va maintenant appliquer les methodes formelles de la section 3.3.4 dans le cas particulier
dun champ scalaire libre dont la densite lagrangienne avec terme de source J est donnee par
L(J, ) =
1
()2 m2 2 + J..
2
La fonctionnelle generatrice normalisee, pour prendre un sens precis, va dependre dun paramètre
, qui donne un terme supplementaire dans laction. On va donc considerer laction
L(J, ) i 2 =
S(J, , ) :=
M
1
()2 (m2 i )2 + J..
2
Afin de bien faire apparatre la partie quadratique de laction, on utilise lintegration par partie
()2 =
M
2
M
dans laquelle on ignore les termes de bord en les supposant nuls (conditions au bord de lintegrale
daction). On obtient alors lexpression
S(J, , ) =
1
( 2 + m2 i ) + J.
2
M
qui fait clairement apparatre la composante quadratique de laction donnee par K = ( 2 + m2

i ).
Si F est une fonctionnelle locale des champs (observable), on lui associe alors formellement
sa fonctionnelle generatrice normalisee
i
e 2 .K.+iJ. d
[ e
i
.K.
2
F () := F
d]
e 2 JK
1 J
avec K 1 linverse de loperateur differentiel K = ( 2 + m2 i ), i.e., sa fonction de Green F

appelee propagateur de Feynman.
Il suffit donc de calculer lexponentielle
i
e 2 JK
1 J
= exp
i
2
F (x)F (x, y)F (y) .

M
Si loperateur differentiel K est à coefficients constants sur M (ce qui est en pratique souvent
le cas quand la metrique est fixee, par exemple sur lespace de Minkowski plat), on peut utiliser
la transformee de Fourier et une methode de regularisation analytique comme le polynome de
50
Sato-Bernstein pour obtenir F (x, y) en comme un noyau distribution temperee (cest une des
demonstrations du theorème de Malgrange-Ehrenpreis qui dit que toute equation aux derivees
partielles à coefficients reels constants admet une solution fondamentale). On peut aussi si lon
prefère fixer une coordonnee temps et resoudre lequation differentielle ordinaire obtenue par
une transformee de Fourier sur lespace (methode bien adaptee au operateurs differentiels hyperboliques à coefficients constants omnipresents en theorie des champs).
Si loperateur differentiel K nest pas à coefficients constants, il est utile dutiliser une
methode similaire à celle du present modèle ludique, cest à dire dajouter à loperateur dEulerLagrange 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
cas particulier des operateurs hyperboliques du type dAlembertien perturbe par un champ de
vecteur sur une variete Lorentzienne sont traites en utilisant des estimees et leur resolution par
Cauchy-Kowalewskaia dans le cas des coefficients analytiques reels approchant des coefficients
moins reguliers.
En general, cependant, la methode de regularisation utilisee par les physiciens est plus fine
et fait appel à une combinaison de la regularisation analytique (sur la dimension d) et à la
decomposition combinatoire des diagrammes de Feynman.
3.3.6
Les propagateurs des

equations de Klein-Gordon et de Dirac
On a vu ci-dessus que le calcul des integrale fonctionnelles necessitait dinverser des operateurs
differentiels. Du point de vue mathematique, on appelle un tel inverse une solution fondamentale
de loperateur. On va utiliser ici le theorème des noyaux de Schwartz comme dans la thèse de
Susama Agarwala. On utilise aussi la page [propagators, english wikipedia].
Soit E un fibre vectoriel sur lespace temps M . Le fibre des densites DensM sur M est le
fibre des applications : max T M RM telles que () = ||() pour toute fonction .
e des applications à valeurs dans (R+ )M . Cest un fibre R+ -principal
On note Dens+
M le sous-fibr
tel que le fibre vectoriel associe à la representation de R+ sur R est DensM .
Soient E et F deux fibres vectoriels sur M et D : (E) (F ) un operateur differentiel
lineaire. On a une application naturelle i : c (F DensM ) (F ) donnee par
i( ), =
, d
o`
u d est la mesure sur M associee à (cest localement une mesure à densite, i.e., de la forme
f d avec f lisse). Ceci nous permet de prolonger D en un operateur
D : c (E DensM ) (F ).
Le theorème des noyaux de Schwartz affirme quil existe une distribution section K du fibre
(E DensM ) F qui est un noyau de loperateur D au sens o`
u
D(, ), = K(
).
Si D est un operateur differentiel sur les section dun fibre trivial E = R M sur lespace de
Minkowski, et (x,y) est la distribution sur M M à valeurs dans R qui associe à une fonction sa
51
valeur en x M , on definit un propagateur (fonction de Green) pour D comme une distribution

G sur M M telle que
Dx G(x, y) = (x,y)
o`
u Dx designe loperateur D applique à la coordonnee x. On note souvent D1 loperateur sur
C (M ) defini par
D1 f = G(x, y), f (y) .
En pratique, la definition des propagateurs nest pas unique.
Par exemple, si D = + m2 est loperateur de Klein-Gordon, on peut calculer sa fonction
de Green en utilisant la transformee de Fourier Lorentz-equivariante. Loperateur transforme D

2
2
est simplement la multiplication par p + m . On aurait donc envie decrire
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

pas une distribution temperee. Les deux poles sont pour p0 := p2 + m2 . On peut regulariser
lintegrale en contournant ces poles. Ceci permet de construire un inverse distributionnel pour D
de plusieurs manières et à chaque manière correspond un propagateur different pour loperateur
D.
Par exemple, le propagateur de Feynman est donne par
1
0 (2)4
G(x, y) = lim
d4 p
eip(xy)
.
p2 m2 + i
Il correspond à tourner une fois dans le sens des aiguilles dune montre et lautre fois dans le
sens inverse autour des deux poles. En termes de champs quantiques, on ecrit
G(x, y) = 0|T ((x), (y))|0 .
De manière similaire, on definit le propagateur retarde (obtenu en tournant deux fois dans le
sens direct)
1
eip(xy)
4
Gret (x, y) = lim
d
p
,
0 (2)4
(p0 + i )2 p2 m2
et le propagateur avance (obtenu en tournant deux fois dans le sens indirect)
1
0 (2)4
Gav (x, y) = lim
d4 p
eip(xy)
.
(p0 i )2 p2 m2
En termes de champs quantiques, on ecrit

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

Le propagateur de Dirac est donne par
SF (x y) = lim
d4 p ip(xy) ( p + m)
e
.
(2)4
p2 m2 + i
Il est relie au propagateur de Feynman par lequation

SF (x y) = (i/ + m)GF (x y).
Chapitre 4
Physique quantique avec interactions

4.1
Les
equations du mouvement quantique de Dyson-Schwinger
Pour cette section, on utilisera sans la detailler la notion despace des champs presentee dans
larticle [Pau10]. Pour comprendre les calculs ci-dessous, le plus simple est de penser à lespace
des champs comme un espace vectoriel de dimension finie X et à la fonctionnelle generatrice
comme à la transformee de Fourier-Laplace dune gaussienne sur X.
Lequation de Dyson-Schwinger est lequation de definition de la fonctionnelle generatrice
(i.e., de lintegrale fonctionnelle sur lespace des champs), dont on peut trouver la version physique dans larticle de Dewitt-Dewitt-Morette [DDM04] et le livre de Cvitanovic [Cvi04] et une
version plus mathematique dans le livre de Zinn-Justin [ZJ93] ainsi que celui de Rivers [Riv90].
La fonctionnelle generatrice Z(J) verifie les equations du mouvement de Dyson-Schwinger
S
(x)
J(x)
J(x) .Z(J) = 0.
Il est difficile de donner un sens mathematique precis à ces equations, car laction S utilisee
doit etre renormalisee par lajout dune fonctionnelle de mesure i ln(()) (contretermes) et doit
dependre dun paramètre dechelle (cut-off ou paramètre de regularisation), telle que
Sef f, () := S () i ln( ())
soit ce quon appelle une action effective, mais elles ont lavantage de donner une formulation
uniforme de la theorie des champs quantiques pour les fermions et les bosons.
Plus precisement, considerons une variete M et une fibration : E M . On considère le
faisceau sur les algèbres (M, E) donne par les sections parametrees par des spectres dalgèbres
s : M Spec(A) E. On se donne une action locale
S : (M, E) R.
On pose X = (M, E) pour simplifier les notations. La differentielle de S
DS : T X T R
53
54
CHAPITRE 4. PHYSIQUE QUANTIQUE AVEC INTERACTIONS
est aussi donnee par un calcul local (voir [Pau10]). On peut eventuellement aussi considerer la
differentielle
dS 1X ,
selon les besoins, mais la dualite entre DS et dS peut poser problème en raison de la dimension
infinie.
Lequation dEuler-Lagrange sur X est simplement donnee par la condition
h T X, D S.h = 0.
On considère maintenant lespace Y = Hom(X, R) des fonctions lisses sur X. Un element de
cet espace sera note J. On peut eventuellement se restreindre à lespace Yloc des fonctionnelles
locales sur X. On pense notamment, si E M est un fibre vectoriel et j est une section du
fibre dual twiste Hom(E, nM ) M , à J Y defini par
j, .
J() :=
M
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 considerer des elements plus generaux de Y comme
j,
J() := ln(A()) +
M
avec A un observable.
La fonctionnelle generatrice est une fonction Z sur Y (ou Yloc,lin ), dont les valeurs sont
notees Z(J), pour J Y . Elle est obtenue de manière informelle par lintegration fonctionnelle
normalisee
eS()+J() [d].
X
Si h : X T X est un champ de vecteurs, on note

S
h
() := D S.h().
De la meme manière, pour k : Y T Y un champ de vecteur, on note

Z
k
(J) := DJ Z.k(J).
Lequation de Dyson-Schwinger est obtenue de manière informelle par integration fonctionnelle et analogie avec les mesures gaussiennes : lintegrale dune divergence etant nulle, on a
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 transformee de Fourier-Laplace par rapport à la variable de source J()
(qui transforme la multiplication par une fonction en lapplication dun operateur differentiel)
S
h
eS()+J() [d] = 0.
.
X
Finalement, lequation de Dyson-Schwinger peut secrire

S
h
J
h
[DY ] .Z(J) = 0
o`
u DY designe ici un operateur de differentiation fonctionnelle universelle du type de sur
k
Hom(Y, R) (on pense ici à lanalogue de loperateur D sur C (Rn , R) à valeurs dans C (Rn , Rn )
donne par D = (1 , . . . , n ) tel que tout operateur differentiel lineaire secrive P (D) avec P un
polynome à plusieurs variables à coefficients dans C (Rn )).
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 ecrire les equations de Dyson-Schwinger, dun sous-espace AX
C (X) de fonctions et dune composition avec loperateur differentiel universel DY sur Y
quant : AX Hom(C (Y ), C (Y ))
permettant dassocier à une fonction F sur X et au champ de vecteur universel k sur Y un
operateur de differentielle fonctionnelle partielle
quant(F ) =: F
Dans le cas o`
u le fibre considere E M est lineaire, on utilise pour Y le sous-espace donne par
les courants externes obtenus a partir de sections de Hom(E, max
M ) M . Lidentification des
espaces tangents des espaces lineaires à eux-meme permet dobtenir lequation utilisee par les
physiciens. En particulier, si F est un polynome en , on prend ses monomes et on les remplace
par des puissances multi-indicees de loperateur
DY : C (Y ) Hom(Der(C (Y )), C (Y ))
Z
[D D(Z)].
Il est necessaire de modifier laction S par les methodes de la renormalisation, ce qui
fournit une action effective Sef f , pour definir les equations de Dyson-Schwinger renormalisees
dont une solution perturbative est la fonctionnelle generatrice physique, reliee directement aux
experiences.
Il serait bon de savoir si
dune part, ces equations se generalisent aux fonctionnelles generatrices dobservables
Z(J, F ) avec F une fonctionnelle des histoires : oui,
dautre part, elles sont formulables purement en terme de calcul differentiel secondaire sur
les jets : non.
56
4.2
Quantification perturbative des champs de mati`

ere en interaction
On pense proceder pour cette partie très difficile dun point de vue lagrangien à la Feynman/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 definition des problèmes variationnels lagrangien donnee dans la section 1.2.1.
Definition 16. Une theorie quantique des champs S = (Slibre , Spert ),est la donnee :
1. dun problème variationnel lagrangien
Slibre = (M, E, JHom(M, E), WE , Llibre : JHom(M, E) max T M )
appele problème libre, portant sur les sections dun fibre (vectoriel ou affine) E M , et
dont est supposee parfaitement connue la solution = {X0 ,0 ,X1 ,1 } de lequation du
mouvement avec conditions au bord
(a) |X0 = 0, |X1 = 0,
(b) |X0 = 0 et |X1 = 1 ,
o`
u X0 et X1 sont deux hypersurfaces de type espace disjointes dans lespace M , quon à
suppose muni dune metrique Lorentzienne. En pratique, lequation dEuler-Lagrange de
Slibre est supposee lineaire, ce qui equivaut à supposer laction quadratique en les champs.
2. dun problème variationnel lagrangien
Spert = (M, E, JHom(M, E), WE , Lpert : JHom(M, E) max T M ),
appelee problème perturbe et dont la densite lagrangienne secrit Lpert = Llibre + Lint .
Lideal, dun point de vue mathematique, serait de pouvoir etudier la theorie quantique
des champs en se passant de linformation fournie par le problème libre Slibre et en etudiant
directement le problème Spert . Ce nest malheureusement pas possible avec les technologies
actuelles, qui ne permettent que detudier le problème Spert comme une perturbation du problème
Slibre . Cest pour cette raison quon a inclus ce terme libre dans les donnees de la theorie. On
supposera en fait quon peut ecrire laction libre
X1
L j()
Slibre (X0 , X1 ; ) :=
X0
X
sous la forme Slibre (X0 , X1 ; ) = X01 E avec E loperateur differentiel lineaire (à coefficients
constants) hyperbolique donne par lequation dEuler-Lagrange du probleme variationnel libre.
`
4.2. QUANTIFICATION PERTURBATIVE DES CHAMPS DE MATIERE
EN INTERACTION57
Definition 17. Une experience de la theorie quantique des champs S = (Slibre , Spert ) est la
donnee B de conditions au bord garantissant lunicite des solutions de Slibre , conditions qui en
pratique secrivent B = (X0 , 0 ; X1 , 1 ) avec X0 et X1 deux hypersurfaces de type espace dans
M et 0 et 1 des sections respectives de E|X0 et E|X1 . Lespace des histoires de lexperience B
est lespace H des sections de E nulles aux bords et verifiant |X0 = 0 et |X1 = 1 . Si
F : H R est une fonctionnelle locale sur les histoires, on definit sa fonctionnelle generatrice
libre par
i
i
e 2 Slibre ()+iJ. d
F J=
F () := F i
e 2 J..J ,
i
S
()
J
H
e 2 libre d
o`
u (., .) est lunique solution fondamentale au problème au bord B prescrit par lexperience
pour loperateur differentiel E.
4.2.2
D
eveloppements perturbatifs
On se donne une action non libre avec source de la forme

S(, J) = S0 () + J. + V ()
o`
u S0 () est un terme quadratique quon peut noter symboliquement 21 .K. et V () = P ()
avec P un polynome en et ses derivees.
Le point central est que le potentiel est une integrale de fonctionnelle locale (evaluations).
Si F est une fonctionnelle locale, on ne peut utiliser telle quelle la fonctionnelle generatrice
normalisee
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 detre relie au calcul Gaussien).
Il nous faut donc donner un sens à un symbole de la forme
i
J,V
e 2 .K.+iJ.+V () d
e 2 .K.+V () d
F ().
On remarque que meme la normalisation fait intervenir le potentiel dinteraction V = Lint .

La methode standard est alors de remplacer V par V avec variable formelle et dappliquer
la formule
eiV
J,f or
= eiV ( J ) e 2 JK
1 J
:=
k=0
(i)k
k!
...
Lint
e 2 JK
1 J
dx1 . . . .
k termes
en terme de serie formelle en , ce qui permet dobtenir une serie formelle quon pourra quotienter par la serie formelle eV 0,f or . On remarque que la formule definissant le developpement
perturbatif est obtenue en echangeant formellement le signe de lintegrale fonctionnelle avec celui
58
de lintegrale usuelle. Lidee etant simplement que le terme de potentiel V nest pas une fonctionnelle locale (ce qui nous interdit de calculer directement sa fonctionnelle generatrice) mais
cest lintegrale de la fonctionnelle locale Lint donnee par la densite lagrangienne dinteraction.
Si on le souhaite, on peut aussi faire intervenir une fonctionnelle locale F (par exemple un
produit devaluations) dans la serie formelle au numerateur. Le quotient des deux series formelles
a pour coefficients des valeurs moyennes dobservables pour les champs libres (sans interactions)
qui sont calculables par lintegration fonctionnelle formelle expliquee dans la section 3.3.4.
Par les calculs de derivees fonctionnelles fournies dans la section 3.3.2, on obtient finalement
les fonctions de correlations avec interactions comme quotient de deux series formelles dont les
coefficients sont des valeurs moyennes dobservables libres.
4.2.3
Le mod`
ele ludique 4
On se refère au seminaire Bourbaki de Louis Boutet de Monvel sur les travaux de Connes et
Kreimer [dM98] ainsi quau livre de Connes et Marcolli [CM08].
On se donne maintenant une action S() = S0 () + Sint () decomposee en sa partie libre
S0 () qui est en general de la forme S0 () = M L0 () avec M lespace temps et L0 () au plus
quadratique en et ses derivees premières, par exemple
1
m2 2
L0 () = ()2
2
2
pour un champ scalaire libre de masse m. Le lagrangien dinteraction Lint (tel que Sint () =
eneral polynomial de degre superieur à 2 en et ses derivees premières et
M Lint ()) est en g
chacun de ses monomes depend dune constante de couplage notee g, ou avec des indices si
necessaire.
Dans le cas du champ scalaire en interaction, on developpe dexponentielle eiSint () en serie
pour obtenir une version dite perturbative des fonctions de Green
G(x1 , . . . , xn ) = N 1
n
avec
N =
n
4.3
in
n!
in
n!
[d]eiS0 () (Sint ())n (x1 ) . . . (xn )
[d]eiS0 () (Sint ())n .
Quantification covariante des th

eories de Jauge
Les theories de Jauge sont les elements essentiels de la description moderne des interactions,
et notamment des diverses theories quantiques des champs utilisees dans la description des
experimentations sur accelerateurs. Leur quantification par lintegrale fonctionnelle est similaire
a celle des theories des champs bosoniques, mais elle exige cependant lintroduction de methodes
`
cohomologiques pour traiter les espaces de champs invariants par symetries de jauge, qui ont
des degres de liberte en trop, ce qui signifie que lintegrale fonctionnelle nave ne peut jamais
etre definie et quil est necessaire de modifier laction pour tenir compte des symetries.
On se refère à louvrage très complet [HT92] pour un traitement plus detaille de cette theorie
difficile.

4.3. QUANTIFICATION COVARIANTE DES THEORIES
DE JAUGE
4.3.1
59
Lespace des phases covariant en pr

esence de libert
e de jauge
Rappelons que si un problème variationnel lagrangien classique portant sur les sections dun
fibre vectoriel (particule de matière) est donne, on lui associe son espace des phases covariant P,
qui joue le role de la variete des solutions de son equation dEuler-Lagrange. On va raisonner,
dans cette section et la suivante, en supposant que lespace P et lespace des histoires H sont
dans une categorie despace similaire à celle des varietes differentiables (pour plus de details,
voir la section 3.3.1).
Lespace des phases covariant P est un sous-espace algebrique de lespace H des histoire, qui
joue, lui, le role de la variete de tous les champs. Ceci signifie que si C (H) definit lespace
des fonctions lisses (ou fonctionnelles locales) sur les histoires, il existe un ideal I C (H)
(essentiellement engendre par lequation dEuler-Lagrange) tel que
1. lespace des fonctions lisses sur lespace des phases covariant secrive C (P) = C (H)/I
et
2. P H soit exactement lensemble des zeros des fonctions de lideal I.
Dans la situation des theories de jauge, les solutions du problème variationnel sont munies
dune action du groupe de jauge, qui est typiquement un groupe G de fonctions f : M G
(des ouverts) de la variete de base à valeur dans le groupe de Lie de symetries globales de la
theorie. Dans ce cas, lespace des phases covariant nest pas defini comme lespace des solutions
des equations du mouvement, mais comme lespace quotient de ces solutions par les symetrie de
Jauge. Ceci signifie quil existe un ideal I C (H) tel que
1. lespace des fonctions lisses sur lespace des phases covariant secrive C (P) = (C (H)/I)G
(invariants de lalgèbre quotient) et
2. P est le quotient par le groupe G (espace des orbites de jauge) de lensemble des zeros de
lideal I dans H.
Pour pouvoir appliquer les methodes dintegration fonctionnelle aux champs de jauge, il
convient de fixer la jauge, ce qui brise la symetrie et rend les integrales fonctionnelles divergentes
par nature. La methode pour resoudre ce problème est dajouter au lagrangien des termes quon
obtient en combinant une resolution cohomologique du quotient C (H)/I avec une resolution
cohomologique des invariants par G. Lune des resolutions sappelle la methode des antichamps et
lautre la resolution par les fantomes. Lensemble de ce formalisme sappelle la methode BRSTBV (Becchi-Rouet-Stora-Tyutin, adaptee aux theories de jauge ayant un formalisme hamitonien
contraint par un groupe de Lie, et sa generalisation Batalin-Vilkovisky, adaptee au theories de
jauge plus generales).
4.3.2
Antichamps et r
esolution de la surface stationnaire
On se refère à la section 6.6.4 sur le calcul differentiel hors coquillage ainsi quau livre [HT92]
de Henneaux et Teitelboim et à larticle court [Hen94] pour des exemples specifiques.
On se donne une densite lagrangienne L portant sur les sections dun fibre E sur lespace
temps M de dimension m. On note (x, ua, ) les coordonnees sur le fibre J E avec Nm
des multi-indices. On note A lalgèbre C (J E). Lespace des phases covariant est lespace des
60
zeros de lideal I = (D L
e par lequation dEuler lagrange
u ) engendr
differentielles.
Une relation non triviale
L
R .D
=0
u
L
u
et ses consequences
entre les generateurs de lideal I est appelee une identite de Noether. On peut montrer (voir
[FLS02], section 3) quune telle identite induit une symetrie de jauge.
Si E est un fibre vectoriel et L est un lagrangien de matière bosonique libre
L(, d) = d d,
on peut montrer quil ny a pas de relations non triviales entre les generateurs de lideal I car de
telles relations induiraient des symetries de jauge. Les u := D L
es les antichamps, sont
u , appel
donc lineairement independants sur A et le A-module I est isomorphe au module libre A({u }) .
On a ainsi obtenu une suite exacte
0 A({u }) A A/I 0.
Les u sont appeles les antichamps dans la litterature physique. On complique ensuite un peu les
choses (cest inutile mais mieux vaut le faire tout de meme pour obtenir une algèbre de champs)
en considerant lalgèbre exterieure sur les antichamps A({u }) munie de sa differentielle de

Koszul definie dans la section 6.10.5. La cohomologie de degre 0 de cette differentielle est A/I
et toutes les autres cohomologies sont nulles. Cette algèbre est munie dun anticrochet, qui
ressemble fort au crochet de Schouten-Nijenhuis sur les multivecteurs. Ceci nest pas un ha
sard car les antichamps peuvent etre aussi parametres par les operateurs variationnels D u
(levaluation en L fournit cette parametrisation). On pourrait donc aussi noter u := D u

.
Une autre manière agreable de proceder est de considerer les antichamps comme des champs de
vecteurs verticaux u
sur E et de remplacer E par le fibre V E M des tels champs de vecteurs,
donc les coordonnees sont notees (x, u, u ). On voit cette variete plutot comme une supervariete
dont les coordonnees forment une algèbre B contenant A essentiellement de la forme A(u) .
Dans le cas dun lagrangien de Yang-Mills sans matière
L(A, dA) = dA dA
portant sur une connexion A sur un fibre principal P sur lespace temps M de groupe structurel
G, la situation se complique. En effet, les symetries de jauge induisent des relations non triviales
de la forme
L
R .D
= 0,
u
ce qui fait que lideal I nest pas un A-module libre.

On est donc amene à construire une resolution libre de A/I en tant que A-module, qui va etre
un complexe (M , d) de A-module libre. On definit alors lalgèbre B des antichamps generalises
(appeles aussi antifantomes, fantomes des antifantomes, etc...) comme lalgèbre graduee commutative libre
B = Lsc,A M .

4.3. QUANTIFICATION COVARIANTE DES THEORIES
DE JAUGE
61
On peut raisonnablement etendre la differentielle d en la combinant avec la differentielle de

Koszul sur le produit exterieur pour obtenir une differentielle dite de Koszul-Tate sur B . On
definit aussi sur cette algèbre des derivations variationnelles gauche et droite (à voir) et un
crochet (la sommation etant omise) par
(A, B) =
D A GA D A GA
.
u u
u u
On dispose aussi dune derivation graduee donnee eventuellement par

(F ) =
4.3.3
D F GF
.
u u
Fant
omes et r
esolution des invariants de jauge
On se donne une densite lagrangienne L portant sur les sections dun fibre E sur lespace
temps. On note (x, ua, ) les coordonnees sur le fibre J E avec des multi-indices. On note A
lalgèbre C (J E). Les symetries de jauge sont des applications A Varsym(L) de la forme
Ri,a (D )
Ri :
,a
.
ua
avec (Ri )iI = (Ri,a )iI des familles de fonctionnelles locales qui paramètrent les-dites symetries.
En pratique, dans une theorie de Yang-Mills, les symetries de Jauge sont donnees par des champs
avec : M g une fonction à valeur dans

de vecteurs verticaux sur E de la forme A A
lalgèbre de Lie.
Pour chaque telle famille Ri , i I etant fixe, on se donne un champ supplementaire C i
appele fantome de la symetrie de jauge correspondante et de meme nature que . On associe
ensuite aux relations entre ces symetries dautres champs appeles les fantomes de fantomes et
notes c . Et on continue ainsi pour construire une resolution libre des invariants de jauge. On
note maintenant F le fibre gradue donne par la somme de E avec les fibres fantomatiques et
les coordonnees sur J E sont notees (x, vb, ).
On utilise ensuite la resolution libre de lideal I A engendre par les consequences differentielles
D L
equations dEuler-Lagrange, dont les generateurs sont appeles les antichamps, puis
u des
les antifantomes (qui sont aussi les fantomes dantichamps) et ainsi de suite. On construit ainsi
un fibre gradue G .
Les identites de Noether fournissent une relation directe entre les antifantomes (qui encodent
les relations entre les consequences differentielles des equations dEuler-Lagrange) et les fantomes
(qui encodent les symetries de jauge). Ceci permet, dans les cas les plus reguliers (par exemple pas
de relations superieures) et en utilisant les deux resolutions de Koszul (de I et des symetries de
jauge) de construire une algèbre de Gerstenhaber (A , (., .)) qui contient lalgèbre des observables
classiques A et qui est munie dune differentielle interieure, i.e, telle quil existe Lmc verifiant
(.) = (Lmc , .) et lequation matresse classique 2 = 0, i.e.,
(Lmc , Lmc ) = 0.
62
Dans le cas de la theorie de Yang-Mills libre, si on note par une etoile le produit de Hodge,
on obtient la densite lagrangienne
1
1
Lmc = dA dA + A A C + C [C, C],
4
2
avec A 1 (g) le champ de jauge, C 0 (M, g) le fantome, On doit penser à [C, C] comme un
anticrochet et non pas comme le crochet de Lie induit par celui de lalgèbre de Lie (qui serait
nul).
On est ensuite amene à resoudre dans A lequation matresse quantique portant sur une
fonctionnelle Lmq A [[ ]] avec Lmq,0 = Lmc et donnee par
(e
)=0
o`
u en dautres termes
1
(W, W ) i (W ) = 0.
2
Les integrales fonctionnelles à calculer seront alors de la forme
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 necessaire pour garantir lindependance de lintegrale fonctionnelle
consideree par rapport au choix de .
4.3.4
Actions fant
omatiques
On donne maintenant des precisions sur la methode generale pour construire une action
fant
omatique verifiant lequation matresse quantique à partir dune action classique.
4.4
Renormalisation
On se base ici sur le livre de Connes-Marcolli [CM08] pour le formalisme mathematique de la

renormalisation ainsi que sur le travaux de van Suijlekom [van08a] et [van08b] pour les aspects
plus specifiques aux theories de Jauge.
4.4.1
Le groupe de renormalisation de Connes et Kreimer
Rappelons que la methode des antichamps permet, à partir dune theorie physique classique
(E M, L) eventuellement munie de symetries de jauge, de construire :
1. une algèbre graduee B sur lalgèbre A des fonctionnelles locales sur les champs (fonctions
lisses sur les jets de champs, appelees observables classiques hors coquillage),
4.4. RENORMALISATION
63
2. un crochet (., .) : B B B ,
3. un element Sc B tel que (.) := (S, .) soit une derivation de carre nul de B , Sc0 = S et
les premiers termes de Sc1 soient determines et non triviaux,
4. un element Sq B [[ ]] tel que
1
(Sq , Sq ) = i Sq .
2
Modulo le choix dune fonctionnelle locale B 1 appelee fixation de jauge, on peut appliquer
les methodes classiques dintegration fonctionnelle avec la mesure donnee par
[d]e
Sq (,
)
Cette mesure ne sapplique quaux extensions Aq des observables classiques A A
4.4.2
Relation avec la th
eorie de Galois diff
erentielle
4.4.3
Renormalisation des th
eories de Jauge
64
Chapitre 5
Th
eories quantiques des champs
5.1
L
electrodynamique quantique
Cette theorie physique decrit linteraction entre les electrons entre eux, qui est portee par
linteraction electromagnetique, i.e., par les photons.
On considère la theorie de Jauge avec interactions
(M, g, U, E, G, P, V, EV , Lloc , Ljauge )
sur lespace de Minkowski (M, g), muni de son fibre spinoriel S
= ResC/R C2 M M .
Le fibre naturel de matière libre E est fixe comme etant egal à S. Il represente le couple
electron/antielectron libre. Le groupe de jauge est G = U (1) et on se donne le fibre principal trivial P = U (1) M M sur M . On considère la representation standard V = ResC/R C
de U (1) et son fibre vectoriel associe EV = ResC/R C M M . Le champ de jauge A est une
section du fibre Conn(P ) des connexions sur P et induit sur EV une connexion hermitienne (car
elle respecte laction de U (1)). Le lagrangien de jauge est comme dhabitude defini par
1
Ljauge (A) = F F
4
avec loperateur de Hodge defini par la structure Hermitienne fournie par laction de U (1). Le
lagrangien local est donne par
mc
1
Lloc (A, V ) = Im( V , (DA +
) V ),
2
avec DA la derivation covariante sur S E, donnee par tensorisation de la derivation de LeviCivita de la metrique g sur les sections de S avec la connexion A induite sur les sections de
EV par le champ de jauge A.
5.2
Linteraction faible
Cette theorie physique decrit linteraction entre les nucleons (neutrons et protons) et les
electrons (et anti-electrons appeles aussi positrons) et explique les reactions de radioactivite
beta, dans laquelle des neutrons/protons emettent des electrons et positrons.
65
66
CHAPITRE 5. THEORIES
QUANTIQUES DES CHAMPS
On considère une theorie de jauge avec interactions sur lespace de Minkowski muni de son
fibre spinoriel S. Le fibre de matière libre E est fixe comme etant egal à S. Le groupe de jauge
est egal à SU(2) et on se donne le fibre principal trivial sur M . On considère deux copies de la
representation standard V de SU(2) et le fibre vectoriel associe EV .
Les generateurs de lalgèbre de Lie de SU(2) sont les bosons dinteraction. Les deux produits
tensoriels SC V correspondent à deux couples particule/antiparticule.
Le lagrangien est un lagrangien de Yang-Mills avec interactions standard.
5.3
Linteraction
electrofaible
Il a ete observe experimentalement qua certaines energies, il netait plus possible de differentier
linteraction electromagnetique de linteraction faible. Ceci se traduit en considerant une theorie
de jauge pour le groupe U (2), avec un fibre de matière fournit par trois copies de la representation
standard V de U (2), et le fibre de matière libre toujours donne par le fibre des spineurs S.
On obtient ainsi trois couples particule/antiparticule correspondant aux trois produits tensoriels V S.
Pour expliquer la separation aux plus bases energies des interactions faibles et electromagnetiques,
on utilise une brisure de symetries, cest à dire quon se restreint à des sous-groupes SU(2) et
U (1) dans U (2). A mieux regarder dans Derdzinski.
5.4
La chromodynamique quantique
La chromodynamique quantique decrit linteraction forte entre des particules de matière hypothetiques appelees les quarks. Ces objets sont les composantes des nucleons et leurs interactions
fortes expliquent la cohesion du noyau qui devrait etre compromise par linteraction electromagnetique
(repulsion des protons charges entre eux).
Cest une theorie de jauge pour le groupe SU(3).
5.5
Le m
ecanisme de Higgs
Le mecanisme de Higgs (appele aussi mecanisme de Englert-Brout-Higgs-Guralnik-HagenKibble sur scholarpedia) est un procede qui permet de donner une masse aux bosons de jauge des
theories de Yang-Mills avec une brisure spontanee de symetrie. La methode prend ses origines
dans la theorie de la supraconductivite.
Lidee de depart de la brisure spontanee de symetrie est classique : meme si une action
classique S est invariante de Jauge sous un groupe de Lie G, ses extremas peuvent etre invariants
sous un plus petit groupe H. Les generateurs de G qui ne sont pas dans H introduisent alors de
nouvelles particules (bosons de Higgs) qui ont le bon go
ut, en pratique, de permettre de donner
une masse aux champs dinteraction (bosons de jauge), qui a priori nen ont pas.
`
5.6. LE MODELE
STANDARD
5.6
67
Le mod`
ele standard
Le modèle standard est la combinaison de linteraction electrofaible, et de la chromodynamique quantique, du mecanisme de Higgs et des methodes de renormalisation des theories de
Jauge.
68
CHAPITRE 5. THEORIES
QUANTIQUES DES CHAMPS
Chapitre 6
Outils math
ematiques
6.1
6.1.1
Formules fondamentales pour les gaussiennes

Int
egrales gaussiennes avec source
Pour comprendre les notations utilisees par les physiciens, il est bon de reprendre leurs
methodes de normalisation. On peut cependant utiliser dautres normalisations pour echapper
au problème de linfinitude de la normalisation en dimension infinie. Ceci est explique en details
dans le livre de Cartier et DeWitt-Morette [CDM06] et repris dans le cas des champs dans la
thèse de J. Lachapelle.
On reprend essentiellement le chapitre 1.2.2 du livre de Zinn-Justin [ZJ05]. Soit A une
matrice symetrique definie positive qui induit une forme quadratique q sur Rd et = A1 son
inverse (quon appelera plus tard le propagateur) qui induit forme quadratique w sur (Rd ) .
Pour b (Rd ) une forme lineaire, on note
Z(A, b) =
Rd
1
exp q(x) + b.x dx.
2
Le changement de variable x = y + .b donne que cette integrale vaut

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

Z(A, 0) =
(2)d/2
det(A)
On remarque que la limite quand d tend vers linfini 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

CHAPITRE 6. OUTILS MATHEMATIQUES
70
Si F est une fonction sur Rn , sa valeur moyenne est donnee par

1
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 monomes en developpant
exp(b.x) en serie entière :
xk1 . . . xkr =
Z(A, b)
...
bk1
bkr Z(A, 0)
=
b=0
1
...
exp( w(b))
bk1
bkr
2
.
b=0
Chaque derivee partielle bk peut soit faire sortir un facteur lineaire bi , soit en differentier un
i
dej`
a present. Le resultat est non nul sil y a autant doperations des deux types, ce qui donne
xk1 . . . xkr =
wij1 ,ij2 . . . wijl1 ,ijl

appariemments dindices
avec wi,j les coefficients de la matrice w. Cette formule sappelle formule de Wick.
Plus generalement, si F est une serie entière en les xi , on trouve lidentite
F = F
1
w(b)
2
exp
.
b=0
Cest cette fonctionnelle valeur moyenne dont les physiciens utilisent une generalisation formelle à la dimension infinie. La forme lineaire auxiliaire b est souvent notee J et appelee une
source externe.
6.1.2
Diagrammes de Feynman en dimension finie
On se refère à larticle introductif [Phi01]. Le but des diagrammes de Feynman est dencoder
la combinatoire des calculs de valeurs moyennes
F = F
exp
1
w(b)
2
b=0
de fonctions pour une mesure gaussienne.

Pour calculer ces valeurs dans le cas o`
u F est un monome, on developpe lexponentielle
exp 12 w(b) en serie formelle :
exp
1
w(b)
2
=
n
w(b)n
=
2n n!
1
2n n!
i,j=1
n
wi,j bi bj .
6.1. FORMULES FONDAMENTALES POUR LES GAUSSIENNES
71
Les termes de cette serie sont homogènes en les bi de degre 2n. Si on differentie k fois un tel
monome et quon levalue en 0, on obtient 0, sauf si k = 2n. Il sagit donc detudier la valeur de
2n differentiations sur un monome de la forme ( di,j=1 wi,j bi bj )n .
La differentiation la plus frequemment utilisee dans ce calcul est
d
d
1
wi,j bi bj =
wi,j bi ,
bk 2
i,j=1
i=1
o`
u on utilise la symetrie de la matrice de la forme quadratique w, inverse de la forme quadratique
q. On va noter i = b i .
Calculons quelques exemples :
1. Le terme dordre n = 1 donne
x1 x2 = 2 1
1
2
wi,j bi bj = 2
i,j=1
w1,j bj = w1,2
j
en utilisant la symetrie de la matrice w, et
1
x1 x1 = 1 1
2
wi,j bi bj = w1,1 .
i,j=1
2. Le terme dordre n = 2 donne

x1 x2 x3 x4
4 3 2 1
1
22 2!
d
i,j=1 wi,j bi bj
=
4 3 2 12 ( wi,j bi bj )( w1,j bj
=
4 3 ( w2,j bj )( w1,j bj ) + 21 ( 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
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
= 2w1,4 w1,3 + w3,4 w1,1 ,

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

2
3w1,1 w1,1 .
La combinatoire de ces calculs etant assez complexe, il est pratique de representer chacun
des produits y apparaissant comme un graphe, dont les sommets correspondent aux indices des
coordonnees xi apparassant dans les fonctions dont ont calcule la valeur moyenne et chaque wi,j
devient une arete entre le sommet i et le sommet j.
On obtient ainsi les diagrammes suivants :

x3
x3
x1
x2
72
x3
x1
x1 x2 x3 x4
=
x4
x3
x2
x1
x1 x1 x3 x4
x4
x3
x2
x1
2.
x4
x4
x4
3.
x1
6.1.3
x4
x1
+
x1
x1 x1 x1 x4
x1 x1 x4 x4
2.
x1 x1 x1 x1
3. x1
x1
x4
x4
Les r`
egles de Feynman en dimension finie
On conserve les notations des sections precedentes et on se donne un polynome V en les

coordonnees x1 , . . . , xd . Les integrales dont les generalisations sont interessantes pour la physique
sont de la forme
1
Z(A, V ) :=
exp q(x) + V (x) dx,
2
d
R
que lon reecrit sous la forme
Z(A, V ) =
1
exp q(x)
2
Rd
1
( V (x))n dx.
n!
On peut evaluer ces integrales comme precedemment en utilisant la formule formelle

Z(A, V ) = Z(A, 0) exp
exp
1
w(b)
2
,
b=0
dont le developpement en serie se calcule en utilisant les calculs precedents pour les fonctions
a n-points. La combinatoire de ces calculs est encodee par des diagrammes dont les sommets
`
correspondent aux coefficients ai1 ,...,id des monomes du polynome V = iNd ai xi et les aretes
aux coefficients wi,j de la forme quadratique apparaissant dans la formule de Wick pour les-dits
monomes.
Par exemple, on peut considerer un polynome de la forme V (x) = i,j,k vijk xi xj xk (situation
similaire au modèle ludique 3 ) et calculer
Z(A, V ) =
Rd
exp 12 q(x) +
= Z(A, 0) exp
i,j,k vijk xi xj xk
i,j,k vijk i j k
exp
dx
1
2 w(b)
b=0
6.2. RAPPELS DE GEOM

ETRIE
DIFFERENTIELLE
73
Calculons les termes de degre 2 en . Ces termes comportent 6 derivees et leur somme est
vijk vi j k i j k i j k exp
i,j,k i ,j ,k
1
w(b)
2
.
b=0
Par le theorème de Wick, on peut reecrire cette somme comme

wi1 ,i2 wi3 ,i4 wi5 ,i6 vijk vi j k
i,j,k i ,j ,k
o`
u la somme interne est prise sur tous les appariements {(i1 , i2 ), (i3 , i4 ), (i5 , i6 )} de {i, j, k, i , j , k }.
On associe à ces appariements des graphes dont les sommets trivalents correspondent aux facteurs vijk et les aretes correspondent aux wi,j . Dans ce cas, on obtient exactement deux graphes
distincts nommes respectivement haltère et tetard :
Il convient ensuite de numeroter les aretes au niveau de chaque sommet pour encoder le
monome correspondant.
6.2
Rappels de g
eom
etrie diff
erentielle
On utilisera librement lappendice 6.10 sur les categories et foncteurs dans cette section, mais
lessentiel de ce paragraphe peut etre lu sans connaissances prealables sur ces notions.
Notre approche est relativement abstraite car on souhaite pouvoir lappliquer directement
aux jets infinis. Pour une approche plus elementaire et relativement complète du calcul differentiel
local (sur les ouverts de Rn ), on pourra se referer au livre de Taylor [Tay96].
6.2.1
D
efinition par les cartes des vari
et
es et fibr
es diff
erentiables
6.2.2
Faisceaux, vari
et
es et fibr
es
On donne maintenant une definition plus intrisèque de la notion de variete, basee sur la
notion de faisceau. Ce point de vue est relativement incontournable pour donner une definition
des invariants differentiels par leur propriete universelle.
Definition 18. Soit X un espace topologique. Un faisceau F sur X est la donnee
1. pour chaque ouvert U X dun ensemble F(U ) appele les sections du faisceau,
2. pour chaque inclusion V U douverts dune application appelee restriction des sections
U,V : F(U ) F(V ) quon notera f f|V .

74
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 egales sur les intersections
des Ui , il existe une unique section f F(U ) dont les restrictions fUi = fi aux Ui est egale
aux sections donnees au depart.
Plus generalement, si C est une categorie dont les objets sont des ensembles munis de structures
supplementaires (par exemple les anneaux ou les groupes abeliens), un faisceau sur X à valeurs
dans les C est un foncteur contravariant F : Ouv(X)op C de la categorie Ouv(X) des ouverts
de X munis des morphismes donnes par les inclusions dans la categorie C verifiant la condition
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 reelles
forment un faisceau sur U note CU . Un modèle local lisse est un couple (U, CU ). Si I CU est
un ideal (sous-module), on appelle le couple (U, CU /I) un modèle local lisse general. On definit
de manière analogue le faisceau Hol des fonctions holomorphes sur un ouvert U de Cn et des
modèles locaux holomorphe et holomorphes generaux.
Definition 19. Un espace annele est un couple (X, OX ) forme dun espace topologique X et dun
faisceau danneaux OX sur X. Un morphisme entre deux espaces anneles X et Y est un couple
(f, f + ) forme dune application continue f : X Y et dun morphisme f + : f 1 OY OX .
Une variete lisse (resp. lisse generale, resp. holomorphe, resp. holomorphe generale) est un espace
annele (X, O) localement isomorphe à un modèle local lisse (resp. lisse general, resp. holomorphe,
resp. holomorphe general).
Soit X = (X, OX ) est un espace annele. La categorie (Affine)X des schemas affines sur X
est la categorie opposee à celle des faisceaux A en O-algèbres sur X. On note Spec(A) lobjet
correspondant de cette categorie. On identifie cette categorie à une sous-categorie de sa duale
(Affine)
X = (Fonct)((Affine)X , (Ens)) par le plongement de Yoneda :
(Affine)X
Spec(A)
(Affine)
X
Hom(., Spec(A)).
Soit S un objet de (Affine)

ema
X . Un sous-foncteur U S sera dit ouvert si pour tout sch
affine Spec(A) S, la fibre de U S est plate (respecte les suites exactes de modules) et de
presentation finie (commute aux limites inductives). Un objet S de (Affine)
e un
X sera appel
schema sil peut-etre recouvert par des ouverts isomorphes à des ouverts affines.
Si F est un faisceau en O-modules de presentation finie sur X, on note V (F) le schema affine
sur X donne par le spectre de la O-algèbre symetrique SymO (F ).
Si (X, O) = (X, C ) est une variete C , i.e., un espace annele localement isomorphe à un
ouvert de Rn muni de ses fonctions C et F est un C -module localement libre de rang fini sur
X, on peut associer au schema V (F) sur X une variete C obtenue en identifiant les sections
sur un petit ouvert U de X à F (U ) = (C )n , ce qui donne V (F)|U = Spec(C [X1 , . . . , Xn ]),
qui represente lespace affine de dimension n sur U , cest à dire la variete C donnee par
U Rn U.

ETRIE
DIFFERENTIELLE
75
On peut definir une variete lisse sur X notee aussi V (F) et dont la fibre au dessus de U est
U Rn U . Un F X de la forme V (F) est appele un fibre vectoriel. La correspondance
F V (F)
est une equivalence de categories entre la categorie des faisceaux localement libres et celle des
fibres vectoriels (munis des morphismes lineaires sur les fibres).
Une autre approche possible aux varietes lisses est celle des spectres à valeurs reelles dalgèbres
lisses, traitee dans le livre de Nestruev [Nes03]. Ces methodes jouent un role important dans la
formulation algebrique du calcul differentiel sur les varietes lisses.
6.2.3
Points de vue fonctoriel sur le calcul diff

erentiel
Une methode efficace pour aborder le calcul differentiel est fournie par Nestruev [Nes03]
dans le cadre de lalgèbre commutative. Les formes differentielles et jets sont definis comme
representant les foncteurs derivations et operateurs differentiels. Ceci permet de traiter sur un
pied degalite les algèbres de fonctions sur les varietes C (formes differentielles lisses) et les
schemas affines (formes differentielles de Kahler).
Dans la suite, tous les anneaux sont supposes commutatifs unitaires. Soit K un anneau.
Definition 20. Soit A une K-algèbre et P un A-module. Une K-derivation de A à valeurs dans
P est une application K-lineaire : A P qui verifie la règle de Leibniz
(f g) = f (g) + g(f ) f, g A.
Lespace des telles derivations est note Der(A, P ).
On pense aux derivations dans Der(A, A) comme à des champs de vecteurs sur le spectre
de A. Si P est le A-module donne par un K-point x : A K (morphisme de K-algèbre), les
derivations de Der(A, P ) sont les vecteurs tangents au spectre de A en le point x.
Definition 21. Soit A une K-algèbre, P et Q deux A-modules et : P Q une application
K-lineaire. Pour a A, on note a () = [, a] : P Q lapplication definie par a ()(p) =
(ap) a(p) pour p P . On dit que : P Q est un operateur differentiel dordre l si
pour tous a0 , . . . , al A, on a
(a0 al )() = 0.
On note Diff l (P, Q) lensemble des tels operateurs muni de la structure de A-module à gauche.
Definition 22. Soit A une algèbre commutative unitaire et M une sous-categorie de la categorie
des A-modules. Les formes differentielles relatives à M sur A sont donnees par le A-module 1A,M
de M (sil existe) representant le foncteur Der(A, .) : M M. Soit P un A-module dans M.
l
Les jets delements de P dordre l sur A relatives à M sont donnes par le A-module JP,M
(sil
existe) representant le foncteur Diff l (P, .) : M M.
En geometrie algebrique, on utilisera la categorie M de tous les modules sur A pour obtenir
les differentielles de Kahler et les jets de fonctions algebriques. En geometrie differentielle, on
utilise la categorie des modules geometriques (voir [Nes03] pour plus de details) sur A = C (M ).

76
On introduit maintenant la notion fonctorielle de connexion de Ehresman (pour laquelle on

se refère à [KV98], 5.2) qui sera utile pour letude cohomologique des fibres à connexion. Soit
f : A B un morphisme danneaux et P un B-module. On note Der(A, P ) le B-module des
derivations P -valuees A P et Der(P ) le B-module des derivations P -valuees B P .
Definition 23. Une connexion (de Ehresman algebrique) sur le morphisme f : A B est une
transformation naturelle
: Der(A, .) Der(.)
entre les endofoncteurs Der(A, .) et Der(.) de la categorie des B-modules telle que P (X)|A = X
pour tout X Der(A, P ).
6.2.4
Jets de fonctions et formes diff

erentielles
On va maintenant donner une version algebrique de la notion de jets pour des fonctions
sur une variete relative. Cette definition, quon peut trouver dans EGA [Gro67], a lavantage
de pouvoir se generaliser à des situations o`
u X et Y sont des espaces de modules munis de
structures de varietes virtuelles difficiles à decrire explicitement.
Lidee de depart pour definir algebriquement les objets infinitesimaux sur une variete X
est dutiliser des points (x, y) X X qui sont infinitesimalement proches (en geometrie
differentielle, on ecrit souvent x y = h avec h petit, et on calcule la derivee comme une
(y)
limite quand h tend vers 0 de f (x)f
). Ceci se formalise naturellement en utilisant les voisixy
nages infinitesimaux de la diagonale = {(x, x)} X X. On pense ainsi à un point dun tel
voisinage comme à deux points (x, y) X X qui sont infinitesimalement proches à un certain
ordre.
Soit f : X S un morphisme de varietes. Soit X/S : X X S X le morphisme diagonal
donne par X/S (x) := (x, x) pour x X. Soit I OXS X lideal de ce morphisme donne par
I := {f OXS X |f = 0X }.
On suppose que le morphisme naturel
(OXS X /I) OX
est un isomorphisme.
Definition 24. Lanneau (non reduit) des parties principales dordre n de X/S est defini par
n
PX/S
:= X/S (OXS X /I n+1 ).
Cet anneau est muni de deux structures (appelees respectivement structure gauche pour
i = 0 et droite pour i = 1)
n
di : OX = idX OX = X/S (pi OX ) PX/S
de OX -algèbre donnees par les deux projections p0 , p1 : XS X X, et par legalite pi = idX .

Elle est filtree par les puissances de I. Le couple
(n)
n
X/S = (X, PX/S
)
est appele voisinage infinitesimal de X/S dordre n dans sa diagonale.

ETRIE
DIFFERENTIELLE
77
n
Definition 25. Le fibre sur X correspondant au OX -module PX/S
est appele fibre des jets de
fonctions pour le morphisme f et note
n
X.
JX/S
n sont obtenus en supposant S r
On remarque que les jets classiques de fonctions JX
eduit au
n
n = Jn
point, i.e., S = Spec(R). Les jets JX sont alors donnes par JX
.
On
a
en
particulier
X/Spec(R)
0 = O donc
PX
X
0
JX
= X R.
Si F est un OX -module, on note SymOX (F) lalgèbre symetrique sur F. On definit les formes
differentielles par
1X/S := X/S (I/I 2 ).
et la suite exacte de OXS X -modules
0 I/I 2 OXS X /I 2 OXS X /I 0
induit (ceci peut eventuellement etre une hypothèse sur : X X S X liee à la lissite de
X S) une suite exacte de OX -modules
1
0 1X/S PX/S
OX 0
1
qui induit un morphisme canonique (la structure de OX -algèbre sur PX/S
etant induite par
n
d0 : OX PX/S )
1
SymOX (1X/S ) PX/S
qui factorise par SymOX (1X/S )/(1X/S )2 et donne ainsi dans les bons cas un isomorphisme
canonique
1
a : SymOX (1X/S )/(1X/S )2 PX/S
.
Plus generalement, on a le resultat suivant.
Proposition 2. Le choix
dune section s de la projection

(I/I n+1 ) (I/I 2 ) = 1X/S
permet de definir un morphisme

n
as : SymOX (1X/S )/(1X/S )n+1 PX/S
qui est un isomorphisme si X/S est lisse. Ceci permet de voir les jets comme des polyn
omes en
les formes differentielles.
Le fait que cest un isomorphisme si X/S est lisse peut se verifier localement sur un ouvert
de Rn , et ceci decoule alors de la description locale des jets comme developpement limites des
fonctions.
1
Ce choix est non canonique pour n > 1, mais il est possible si X/S est lisse car 1X/S est alors localement
libre donc projectif sur OX .

78
Exemple 1. Si on pose X = R et S = {.}, les parties principales dordre 1 sur X sont donnees
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
que lapplication des jets envoie un polyn
ome P (X) R[X] sur le polyn
ome
JP := P (X0 ) +
P
(X0 )(X X0 ),
X
1 sur X. Du point de vue des fibr

qui est une section de PX
es vectoriels, un point du fibre JR1 R
est defini par des coordonnees (x, a0 , a1 ) avec x X = R, (a0 , a1 ) R R. On remarque ici
que les coordonnees a0 et a1 dans lespace des jets sont en general complètement independantes.
Si f : R R est une fonction, son jet dordre 1 est une section du fibre JR1 R donne par
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 fini.
6.2.5
Champs de vecteurs et op
erateurs diff
erentiels
Definition 26. Les operateurs differentiels dordre n sur X/S sont definis
par dualite :
n
n
DX/S
:= HomOX (PX/S
, OX ).
Les operateurs differentiels DX/S sont la limite inductive des operateurs differentiels dordre fini.
n+m
n
m
PX/S
OX PX/S
induit par les deux projections permet de
Le morphisme naturel PX/S
n+m
n
m
definir la composee DD DX/S de deux operateurs differentiels D DX/S
et D DX/S
en
posant
idD
n+m
n
m
n
DD : PX/S
PX/S
OX PX/S
PX/S
OX .
On a deux morphisme naturels

n
i0 , i1 : DX/S
EndOS (OX )
n
donnes par composition dun operateur differentiel D : PX/S
OX avec les applications naturelles
n
d0 , d1 : OX PX/S
.
On a une application OS -lineaire

1
d = d1 d0 : OX 1X/S PX/S
donnee par le fait que (p1 p0 ) X/S = 0 o`

u pi : pi OX OXS X sont les deux morphismes
naturels.
Definition 27. Les champs de vecteurs (sections du fibre tangent) sont definis par dualite :
TX/S := HomOX (1X/S , OX ).
2
n
Les deux structures dalgèbres d0 , d1 induisent la meme structure de OX -module sur PX/S
, ce qui rend cette
definition intrinsèque.

ETRIE
DIFFERENTIELLE
79
On dispose dun morphisme naturel des operateurs differentiels dordre 1 dans les champs
de vecteurs
1
1
TX/S
princ
: DX/S
qui donne le symbole principal dun operateur differentiel dordre 1. Mieux encore, on a un
morphisme canonique
1
OX TX/S
DX/S
qui est un isomorphisme si X/S est lisse.
[n]
[n]
[n]
Plus generalement, si on note PX/S := X/S (I n /I n+1 ) et TX/S := HomOX (PX/S , OX ), on
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
n
TX/S
princ
: DX/S
appele symbole principal des operateurs differentiels dordre n.
6.2.6
Connexions
Une connexion sur un fibre F sur une variete X est un outil permettant de dire si une section
du fibre est constante le long dun chemin donne dans X. On dispose de plusieurs definitions
mathematiques precises de cette notion intuitive : les connexions de Koszul, de Ehresman et de
Grothendieck.
La definition suivante se trouve dans larticle de Katz [Kat70].
Definition 28. Soit f : X S un morphisme de varietes et F un faisceau en O-modules sur
X. Une connexion (de Koszul) relative sur X/S (appelee aussi derivation covariante) est un
morphisme f OS -lineaire
: F F OX 1X/S
tel que pour f O et s F, on ait la relation de Leibniz
(f.s) = f.(s) + df s.
On associe à des morphismes
n := idF d + (1)n id1 : F n F n+1 .
La suite des n forme un complexe si et seulement si la connexion est plate, i.e., sa courbure
C() := 1 : F F 2
est nulle.
Si (E, E ) et (F, F ) sont deux modules à connexion, on definit une connexion sur E F
par
EF = E idF + F idE

80
et sur Hom(E, F) par
Hom (E, F)() = F ( id1 ) E .

Le point de vue de Grothendieck sur les connexions en termes de voisinage infinitesimal de
la diagonale permet de generaliser la notion de connexion à tout type dobjet (variete, faisceau
en groupes,...) sur une variete f : X S.
Definition 29. Si f : X S est une application et F est un O-module, une connexion de
Grothendieck sur F est la donnee dun isomorphisme
: p1 F
= p2 F
1
sur (1) se reduisant à lidentite sur X, o`
u (1) := (X, PX/S
) est le voisinage infinitesimal
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 verifie la condition de cocyle
p1,2 p2,3
= p1,3
et si cest le cas, cette connexion se relève en des isomorphismes
n : p1,(n) F p2,(n) F
(n)
sur les voisinages X/S dordre n de la diagonale de X/S.

On remarque quune connexion plate sur le fibre tangent devrait permettre de donner une
description des operateurs differentiels utilisant cette connexion.
Proposition 3. Soit F un O-module. Les donnees dune connexion de Koszul et dune connexion
de Grothendieck sur F sont equivalentes.
Demonstration. On se refère à [BO78] pour plus de details sur le lien entre connexions et voisinages infinitesimaux. Rappelons que la differentiel exterieure est une application d : OX 1X
1 . Si : P 1 F F P 1 est une connexion de Grothendieck, et d
1
PX
1,F := didF : F F ,
le morphisme = d1,F : F F P 1 nous permet de construire une connexion de Koszul
par (f ) = (f ) f 1. En effet, on a (f ) F 1 car est lidentite sur X. Lassociation
repose sur une suite de proprietes universelles qui la rendent biunivoque.
On peut directement generaliser cette definition aux fibres principaux sur une variete sous
un groupe G ou plus generalement aux varietes quelconques sur X/S. Dans le cas dun fibre
principal P X, une connexion est un isomorphisme G-equivariant
: p1 P
= p2 P
avec p1 , p2 : (1) X les deux projections naturelles. Une telle connexion sur P definit naturellement une connexion sur tous les fibres V := V G P associes aux representations : G GL(V )
de G sur un espace vectoriel par fonctorialite de P V G P .
Si p : E X est un fibre sur X, E designe le faisceau de ses sections, et dp : TE/S p TX/S
est la differentielle sur les sections, on note VE/S le noyau de dp.

ETRIE
DIFFERENTIELLE
81
Definition 30. Une connexion (de Ehresman) sur E est une section de la suite exacte donnee
par
0
/ VE/S
/ TE/S r
/ p TX/S
/ 0,
cest à dire une decomposition T E

= HE V E si X est lisse. Cette connexion est dite lineaire
si elle est OE -lineaire.
Si E est un fibre vectoriel, et si la connexion est lineaire, lespace vertical VE/S est canoniquement isomorphe à p E. Si on se donne une section s E, on a ds : TX/S s TE/S et si
: TE/S VE/S est la section correspondant à la connexion, on a
s ds : TX/S s p E
=E
et par dualite
s ds E 1X/S
ce qui definit bien une derivation covariante : E E 1 par (e) = (s ds)(e).
Reciproquement, si E est un fibre vectoriel et : E E 1 est une connexion (de Koszul)
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 refère à [KV98], 5.2) qui sera utile pour letude cohomologique des fibres à connexion.
Soit f : A B un morphisme danneaux et P un B-module. On note Der(A, P ) le B-module
des derivations P -valuees A P et Der(P ) le B-module des derivations P -valuees B P .
Definition 31. Une connexion (de Ehresman algebrique) sur le morphisme f : A B est une
transformation naturelle
: Der(A, .) Der(.)
entre les endofoncteurs Der(A, .) et Der(.) de la categorie des B-modules telle que P (X)|A = X
pour tout X Der(A, P ).
Si A et B sont respectivement les fonctions sur une variete X et sur un fibre p : E X,
cette definition se reduit à la definition usuelle de connexion de Ehresman car lapplication
B
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.
Reciproquement, comme Der(A, P )
= P A Der(A) et Der(P )
= P B Der(B) pour un B-module
arbitraire, on peut etendre lapplication ci-dessus en une transformation naturelle dendofoncteurs par tensorisation.
Definition 32. Soit P un fibre principal sous un groupe de Lie G. Une connexion de Cartan
sur P est une 1-forme sur P à valeurs dans Lie(G) invariante par laction adjointe de G.

82
6.2.7
Vari
et
es symplectiques et vari
et
es de Poisson
La structure de variete de Poisson est un outil très utile en dynamique hamiltonienne et

les structures qui en decoulent (crochet de Schouten-Nijenhuis par exemple) fournissent des
exemples important en dimension finie des objets des theories quantiques des champs, et notamment du formalisme des antichamps.
Definition 33. Une variete symplectique est la donnee dun couple (P, ) forme dune variete
et dune 2-forme fermee non degeneree 2 (P ).
Lexemple standard dune variete symplectique est celle du fibre cotangent P = T M à une
variete M . On munit P = T M de sa forme symplectique canonique donnee par
: 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 )
donnee par (v) = D(v) R o`
u v T (T M ) est une section du fibre tangent à T M et
D : T (T M ) T M est la differentielle de : T M M .
Si f C (P ), on definit le champ de vecteur hamiltonien correspondant Xf T (P ) sur P
par lequation
(Xf , .) = df
dans 1 (P ). Le crochet de Poisson {., .} : C (P ) C (P ) C (P ) est alors donne par la
derivee de Lie le long de Xf de Xg , i.e.,
{f, g} = LXf (Xg ).
Revenons maintenant à une variete P quelconque.
Definition 34. Lalgèbre des multivecteurs sur P est lalgèbre antisymetrique ( T P ) sur les
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 derivation bigraduee. Ce crochet sappelle
crochet de Schouten-Nijenhuis et munit les multivecteurs dune structure dalgèbre de Gerstenhaber (algèbre graduee anti-commutative munie dun crochet de Lie gradue), i.e., verifie les
conditions suivantes :
1. Identite de Jacobi graduee :
[X, [Y, Z]] = [[X, Y ], Z] + (1)(|X|1)(|Y |1) [Y, [X, Z]],
2. Derivation bigraduee :
[X, Y Z] = [X, Y ] Z + (1)(|X|1)|Y | Y [X, Z],
6.3. EQUATIONS AUX DERIV

EES
PARTIELLES LINEAIRES
83
3. Anticommutativite graduee :
[X, Y ] = (1)(|X|1)(|Y |1) [Y, X]
Definition 35. Une variete de Poisson est un couple (P, ) forme dune variete P et dun
bivecteur (2 T P ) dont le crochet de Schouten-Nijenjuis avec lui meme
[, ]SN = 0
est nul. Si f, g C (P ) sont des fonctions, on definit leur crochet de Poisson par
{f, g} := , df dg .
Remarquons que la condition sur est equivalente à la combinaison de lidentite de Jacobi et
de la propriete de derivation du crochet de Poisson des fonctions. Si on note : T P T P le
morphisme induit par , on associe à une fonction f C (P ) le champ de vecteur hamiltonien
Xf := (df ) (T P ).
Si est inversible, on definit une 2-forme 2 (P ) par
:= ( )1 : T P T P.
La nullite du crochet de Schauten-Nijenhuis implique que est une forme fermee.
La notion de structure de Poisson non degeneree est donc essentiellement equivalente à la
notion de structure symplectique.
6.3
Equations aux d
eriv
ees partielles lin
eaires
On rassemble ici quelques methodes et resultats classiques necessaires à la comprehension

des equations aux derivees partielles de la physique des particules, quon pourra trouver par
exemple dans le livre de Taylor [Tay96] et dans les volumes de Gelfand-Chilov [GC62].
6.3.1
Distributions, th`
eor`
eme des noyaux
Lespace des fonctions test sur un ouvert U de Rn à valeurs dans Rm est lespace Cc (U, Rm )
des fonctions lisses à support compact munie de la topologie limite inductive des topologies sur
les espaces C (K, Rm ) de fonctions lisses sur un compact K U induites par les normes
NK,k (f ) =
sup
| f (x)|.
xK,||k
Une distribution sur U à valeurs dans Rm est une forme lineaire continue sur Cc (U, Rm ). Lespace
des distributions est note C (U, Rm ) ou plus simplement C (U ) si m = 1.
On dispose dune injection naturelle
i : C (K, Rm ) C (U, (Rm ) )

84
donnee par i(f ), g = U g, f d avec la mesure de Lebesgue.

Si T C (U, Rm ) est une distribution, on definit sa derivee par rapport à xi , i = 1, . . . , m
par
T
, = T,
xi
xi
m
pour tout Cc (U, R ) et plus generalement, si Nn est un multi-indice,
T, = (1)|| T, .
Si E M est un fibre vectoriel sur une variete M , lespace c (E) des sections à support
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 (definie ci-dessus). Lespace des
sections distributions de E est le dual topologique de lespace c (E). On le note (E). Pour
definir la section distribution associee à une section, on a besoin de la notion de densite.
Si C est un nombre complexe, le fibre des -densites DensM sur M est le fibre des
applications : max T M RM telles que () = || () pour toute fonction . On note
e de Dens1M des applications à valeurs dans (R+ )M . Cest un fibre R+ -principal
Dens+
M le sous-fibr
tel que le fibre vectoriel associe à la representation de R+ sur R est Dens1M .
On dispose dune application naturelle
1
)
i : c (E DensM ) (E DensM
donnee par i( ), = , d() o`

u d() est la mesure sur M associee à la 1-densite
(cest localement une mesure à densite, i.e., de la forme f dx avec f lisse et dx la mesure de
Lebesgue).
Si on munit E dune connexion : (E) (E T M ), on peut definir les derivees des
distributions le long de champs de vecteurs X (T M ), et on notera la derivation correspondante
X : (E) (E).
Soient E et F deux fibres vectoriels sur M et D : (E) (F ) un operateur differentiel
1/2
1/2
lineaire. En utilisant lapplication naturelle i : c (F DensM ) (F DensM ), on
prolonge D en un operateur lineaire continu
1/2
1/2
D : c (E DensM ) (F DensM ).
Lenonce suivant se trouve dans le livre de Hormander [Hor07], page 93.
1/2
1/2
Th
eor`
eme 3. (des noyaux de Schwartz) Soit D : c (E DensM ) (F DensM ) une
1/2
application lineaire continue. Il existe une section distribution K du fibre (E F ) DensM M
qui est un noyau de loperateur D au sens o`
u
D( ), = K ([
, ()]
) (
) .
Ce thèorème permet de considerer tous les operateurs lineaires continus comme des convolutions par des distributions. Par exemple, loperateur identique id : (E) (E) induit un
operateur id : c (E Dens1/2 ) (E Dens1/2 ) dont le noyau est une section distribution
1/2
sur M M de (E E ) DensM M .

6.4. THEORIE
SPECTRALE
6.3.2
85
Transform
ee de Fourier
La transformee de Fourier est une construction qui porte necessairement sur un espace M
lineaire. Pour la prolonger aux varietes, il convient dont de la construire sur les fibres du fibre
tangent.
6.3.3
Solutions fondamentales
6.3.4
Probl`
eme de Cauchy pour les syst`
emes hyperboliques
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 Schr
odinger
6.4
Th
eorie spectrale
La mecanique quantique etant essentiellement basee sur la theorie spectrale des operateurs
sur les espaces de Hilbert, on va en rappeler ici les lignes essentielles. Cette theorie est une
generalisation à la dimension infinie de la theorie de la diagonalisation des matrices hermitiennes
complexes.
Definition 36. Un espace de Hilbert complexe est un couple H = (H, ., . ) forme dun espace
vectoriel topologique complexe H et dun accouplement sesquilineaire ., . : H H C tel que
H soit complet pour la norme f =
f, f .
Lobjet principal de la theorie spectrale est letude du spectre dun operateur sur un espace
de Hilbert.
Definition 37. Si A : H H est un operateur, son spectre Sp(A) est le sous-ensemble de C
defini par
Sp(A) = { C| A .Id non inversible}.
Definition 38. Si A : H H est un operateur, son adjoint A est definit par
Af, g = f, A g .
On definit maintenant plusieurs classes doperateurs sur lespace de Hilbert H.
Definition 39. Soit A : H H un operateur lineaire.
1. On dit que A est borne si il existe une constante C 0 telle que
Ax C x ,
et une telle constante C minimale sera notee A .

86
2. On dit que A est (borne) positif si Sp(A) [0, +[ C.

3. On dit que A est compact si limage de la boule unitee B(0, 1) = {f H| f 1} de H
par A est dadherence compacte, i.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 borne et
A = A = A2 .
On note B(H) (resp. B(H)+ , resp. K(H), resp. Proj(B(H)), resp. B sa (H)) les operateur bornes
(resp. positifs, resp. compacts, resp. les projections, resp. bornes autoadjoints) sur H. Si A, B
B(H) sont deux operateurs bornes, on dit que A est inferieur à B si B A est positif, i.e.,
A B B A B(H)+ .
Th
eor`
eme 4. Soit A : H H un operateur borne. On a une inclusion Sp(A) R si et
seulement si A est autoadjoint. Si A K(H) est compact alors Sp(A) C est discret.
Definition 40. On note Borel(Sp(A)) la tribu des boreliens sur lespace topologique Sp(A).
Une mesure spectrale pour un operateur borne A B(H) est une mesure multiplicative sur le
spectre de A à valeurs projecteurs. Plus precisement, cest une application
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.,
Bi
i=1
E(Bi ),
i=1
4. E est multiplicative, i.e., E(B C) = E(B).E(C).

Le theorème spectral, qui est une generalisation à la dimension infinie du theorème de diagonalisation des endomorphismes s
ymetriques ou hermitiens, peut se formuler alors comme suit.
Th
eor`
eme 5. Soit A B(H) un operateur borne quon suppose de surcroit autoadjoint. Il existe
une unique mesure spectrale
EA : Borel(Sp(A)) Proj(B(H))
telle que
A=
dEA ().
Sp(A)
6.5. GEOM
ETRIE
DES JETS ET EQUATIONS
AUX DERIV
EES
PARTIELLES
87
Ce theorème est aussi valable pour un operateur autoadjoint non borne (densement defini)
et sa demonstration se trouve dans Reed-Simon [RS80], chapitres VII.2 et VIII.3.
Linteret majeur de ce theorème est quil fournit le calcul fonctionnel borelien, qui permet
par exemple devaluer une fonction mesurable positive f : R R+ sur un operateur borne
autoadjoint A par
f ()dEA ().
f (A) =
Sp(A)
Ce type de calcul est notamment très utile en mecanique quantique pour les fonctions indicatrices
[a,b] : R R, qui permettre de se restreindre aux valeurs du spectre contenues dans un
intervalle.
On a aussi le theorème suivant :
Th
eor`
eme 6. Si deux operateurs A et B de B(H) commutent, il existe un operateur R B(H)
et deux fonctions mesurables f, g : C C telles que
A = f (R) et B = g(R).
Le theorème de Stone permet de ramener letude des operateurs autoadjoints (non bornes) à
celle des groupes à un paramètre doperateurs bornes. On trouve sa demonstration dans ReedSimon [RS80], chapitre VIII.4.
Th
eor`
eme 7. La donnee dune famille fortement continue `
a un paramètre dunitaires dans H,
i.e., un morphisme de groupe U : R U(H) verifiant
si H et t t0 dans R, alors U (t) U (t0 ),

est equivalente `
a celle dun operateur autoadjoint A, par lapplication A eitA .
6.5
G
eom
etrie des jets et
equations aux d
eriv
ees partielles
Cette section doit etre complètement reredigee pour des raisons pedagogiques mais aussi
esthetiques, en utilisant les D-schemas et en introduisant dabord le calcul concret des symetries
et des lois de conservations, pour ensuite decrire en details la suite spectrale variationnelle. Ces
modifications sont dues à la participation de lauteur à une ecole des diffietes, et notamment au
cours de Luca Vitagliano, ainsi qua la lecture du livre de Beilinson-Drinfeld [BD04].

88
6.5.1
D-sch
emas et equations aux d
eriv
ees partielles
6.5.2
Champs de vecteurs
evolutionnaires et sym
etries
6.5.3
Lois de conservation
6.5.4
Bicomplexe et suite spectrale variationnelle
6.5.5
Calcul diff
erentiel secondaire sur les fonctionnelles locales
6.5.6
Lespace des phases covariant lagrangien
6.5.7
Lespace des phases covariant multisymplectique
6.6
G
eom
etrie des jets et
equations aux d
eriv
ees partielles
La geometrie des jets permet de formaliser de nombreuses informations (symetries, transformations) concernant les equations differentielles et les problèmes variationnels lagrangiens de
manière très compacte.
6.6.1
Jets dapplications et jets de sections
Soient X et Y deux varietes. On peut definir la fibration

J n (X, Y ) X Y
des jets dordre n dapplications X Y comme lespace dont les points sont des classes
dequivalences [x, f, U ]n de triplets (x, f, U ) o`
u U X est un ouvert, x U et f : U Y
est un morphisme, et deux tels triplets (x, f, U ) et (x , f , U ) sont equivalents si x = x , et pour
toute application lisse sur : X R, f et f ont toutes leurs derivees jusqua lordre r
en x egales. A chaque fonction f : X Y , on peut associer le jet j n f , qui est une section de
J n (X, Y ) M donnee pour chaque x X par la classe dequivalence
j n f (x) := [U, f, x]n
avec U une carte autour de x.
On va maintenant donner une definition plus intrinsèque des jets dapplications. Soient X et
n et
Y deux varietes (sur une base S quon va omettre pour simplifier les notations). On munit PX
n
n
PY de leurs structures gauches de OX et OY -algèbres, fournies par les morphismes d0 : OX PX
n
et d0 : OY PY .
On note pX : X Y X et pY : X Y Y les projections canoniques. On pose
n
P n (X, Y ) := HomOXY Alg (pY PYn , pX PX
)
les germes de morphismes de OXY -algèbres.

Definition 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 fibre vectoriel associe à P n (X, Y )
est note J n (X, Y ) X Y et appele fibre des jets dapplications X Y .
6.6. GEOM
ETRIE
AUX DERIV
EES
PARTIELLES
89
0 = p O
0
Avec cette definition, comme pX PX
X X = OXY et pY PY = OXY , on obtient
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 )
et g P n (Y, Z), on va definir la composition f g comme une section sur X Y Z de
pXZ P n (X, Z). Considerons le diagramme
X Y ZTT
TTTT p
TTYTZ
TTTT
TTT)
X ZK
Y Z
j
jjjjp
j
j
j
XZ
jjjj

t jjj
j
pXY
X YG
GG
GG
G
pX GGG
#
s
ss
ss
s
ss pX
y s
s
;Y c
KK p
KK Z
KK
KK
K%
xx
xx
x
xx
x{ x
pZ
pY
pY
dans lequel on a ecrit plusieurs fois des fleches distinctes par le meme symbole pour des raisons
de simplicite de la notation. On remarque dabord quon a les egalites
pX pXZ = pX pXY ,
pZ pXZ = pZ pY Z ,
pY pY Z = pY pXY ,
ce qui permet de dire que

pY Z (g) Hom(pXZ pZ PZn , pXY pY PYn )
et
n ),
pXY (f ) Hom(pXY pY PYn , pXZ pX PX
donc on peut definir
f g := pY Z (g) pXY (f ) pXZ P n (X, Z).
Proposition 5. On dispose dune application naturelle
J : Hom(X, Y ) (X, pX, P n (X, Y ))
quon peut aussi voir
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 fibre J n (X, Y ) X.
3
Si les parties principales sont les sections dun fibre vectoriel sur X Y

90
Demonstration. Si f : X Y est un morphisme, on lui associe (par fonctorialite des parties

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.
Soit f : X X Y lapplication graphe donnee par f (x) = (x, f (x)). On a le diagramme
commutatif
f
/X Y
GG
GG
pX
G
idX GG
#
X GG
pY
qui correspond aux egalites f = pY f et idX = pX f . On a des bijections naturelles

densembles de morphismes
adj
HomOX (f PY , PX ) = HomOX (f (pY PY ), PX )

= HomOXY (pY PY , f, PX ),
celle de gauche etant donnee par f = pY f et celle de droite par ladjonction de limage directe
et image inverse par pY : X Y Y . Par image directe par pX , on obtient une application
pX,
HomOXY (pY PY , f, PX ) HomOX (pX, pY PY , pX, f, PX ) = HomOX (pX, pY PY , PX ),

la dernière egalite etant donnee par idX = pX f . Pour toute OX -algèbre A, on a par image
inverse par pX un morphisme naturel
adj
pX
HomOX (A, PX )
HomOXY (pX A, pX PX )
= HomOXY (A, pX, pX PX ),
ce qui donne, applique à la situation precedente avec A = pX, pY PY ,

p
X
HomOX (pX, pY PY , PX )
HomOX (pX, pY PY , pX, pX PX ).
On remarque maintenant que nous avons obtenu une application

p pX,
HomOX (f PY , PX ) X HomOX (pX, pY PY , pX, pX PX )

et on dispose dune application naturelle
HomOX (pX, pY PY , pX, pX PX )
n ))
/ (X, pX, HomO
((pY ) PYn , (pX ) PX
XY
(X, pX, P n (X, Y )).
6.6. GEOM
ETRIE
AUX DERIV
EES
PARTIELLES
91
Lapplication f Jf := pX pX, (f ) nous permet ainsi dassocier à toute fonction f : X Y

une section Jf (X, pX, P n (X, Y )), cest à dire une section
Jf : X J n (X, Y )
de la projection canonique J n (X, Y ) X.
Definition 42. Soit : Y X un morphisme de varietes. Le faisceau des parties principales
de sections de est le sous-faisceau
Pn (X, Y ) P n (X, Y )
n de O
donne par les morphismes f : pY PYn pX PX
ebres tels que
XY -alg`
n
n
f J() = id pY, pX Hom(PX
, PX
).
Pour donner un sens precis à legalite de cette definition, on remarque que J() pY, P n (Y, X)
et quon a par adjonction une identification
n
n
pY, P n (Y, X) := Hom(pY, pX PX
, pY, pY PYn )
, pY PYn ),
= Hom(pY pY, pX PX
ce qui permet, par une nouvelle adjonction, didentifier f J() a une section de
n
n
n
n
Hom(pY pY, pX PX
, pX PX
) = pY, pX Hom(PX
, PX
).
On va maintenant donner le lien entre la definition faisceautique des jets et celle qui est
fournie dans le precis de geometrie differentielle de Nicolas Bourbaki.
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 associees `
a X et Y , on a un isomorphisme
HomOXY Mod (SymiOXY (pX TX ), pY TY )
sX ,sY : P n (X, Y )
i=0
qui montre que P n (X, Y ) est localement libre de rang fini sur OXY .
Demonstration. On sait par la proposition 2 que les deux sections sX et sY definissent des
isomorphismes
n
aX : SymOX (1X )/(1X )n+1 PX
,
aY : SymOY (1Y )/(1Y )n+1 PYn .

On a alors
n
P n (X, Y ) := HomOXY Alg (pY PYn , pX PX
)
= HomOXY Alg (SymOXY (pY 1Y )/(pY 1Y )n+1 , SymOXY (pX 1X )/(pX 1X )n+1 ),

92
et par la propriete universelle de lalgèbre symetrique et du quotient, on obtient que le faisceau

des parties principales
P n (X, Y ) HomOXY Mod (pY 1Y , SymOXY (pX 1X )/(pX 1X )n+1 )
sidentifie au faisceau des morphismes tels que pour tout 0 , . . . , n pY 1Y , on ait ni=0 f (i ) =
0. Pour des raisons de degre des polynomes consideres (qui ont un sens car 1 est localement
libre), une condition necessaire pour ces egalites est que f (pY 1Y ) soit inclus dans lideal (pX 1X ),
et cest alors aussi une condition suffisante. On obtient donc un isomorphisme
P n (X, Y )
= HomOXY Mod (pY 1Y , SymOXY (pX 1X )/(pX 1X )n+1 ).
On a suppose que 1X est localement libre, donc le morphisme naturel
ni=0 SymiOXY (pX 1X ) SymOXY (pX 1X )/(pX 1X )n+1
est un isomorphisme. Par transposition, i.e., application de la dualite OXY -lineaire, on obtient
P n (X, Y )
= HomOXY Mod (ni=0 SymiOXY (pX TX ), pY TY )
et par propriete universelle de la somme, on conclut que
n
P n (X, Y )
=
HomOXY Mod (SymiOXY (pX TX ), pY TY ).

i=0
La proposition precedente permet de faire le lien entre notre definition des jets et celle quon
peut trouver dans le fascicule de resultats de geometrie differentielle de Nicolas Bourbaki.
Corollaire 1. Si U et V sont des ouverts de Rn , le choix de trivialisations de leurs fibres
tangents donne un isomorphisme
HomRmod (SymkR (Rn ), Rm ).
J n (U, V ) = U V
0kn
6.6.2
G
eom
etrie sur les jets infinis
Si X et Y sont des varietes lisses, on definit les jets infinis dapplications entre X et Y comme
la pro-variete lisse
(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 finis. Les fonctions sont donnees par la limite inductive des fonctions
lisses sur les espaces de jets dordre finis. On peut appliquer à lespace annele (J (X, Y ), C )
toutes les constructions precedentes (en tenant cependant compte partout de la filtration sur
les fonctions induite par la limite inductive) et ainsi etudier ses proprietes geometriques et
differentielles. On va en general considerer toutes les donnees fonctionnelles comme filtrees par
les donnees dordre fini.
6.6. GEOM
ETRIE
AUX DERIV
EES
PARTIELLES
6.6.3
93
Distribution de Cartan et
equations diff
erentielles
Un des objets centraux de la theorie geometrique des equations differentielles est la distribution de Cartan. Soient X et Y deux varietes lisses et n un entier eventuellement infini. Pour
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
CJ n (X,Y ) J n (X,Y )
des formes differentielles sur J n (X, Y ) telles que pour tout ouvert U et tout f Hom(U, Y ),
on ait
J(f ) = 0 U .
Ce faisceau est le faisceau des formes differentielles de contact qui sannulent sur la distribution
de Cartan
CTJ n (X,Y ) TJ n (X,Y ) ,
localement engendree par les images des differentielles
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 coordonnee reelle et 1T X la forme differentielle
canonique. La distribution de Cartan sur J 1 (X, R)
= T X RX est engendree par la 1-forme
de Cartan
c = du 1J 1 (X,R) .
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 equivalent à = dv 1X .
Definition 43. Soient X et Y deux varietes lisses. Une equation differentielle dordre n sur
les applications X Y est un couple (E, CT ) forme dune sous-variete 4 de lespace des jets
E J n (X, Y ), munie de la restriction CT = CT|E TE de la distribution de Cartan à E. Une
fonction f : X Y est une solution de lequation E si J n (f )(X) E. Une sous-variete F de
E localement integrale maximale pour la distribution de Cartan CT|E est appelee une solution
generalisee de lequation differentielle E.
Si une equation E J n (X, Y ) est le support dun ideal I CJn (X,Y ) , le plongement
CJn (X,Y ) CJ (X,Y ) permet de prolonger E à une equation E,n sur J (X, Y ) donnee par
lideal I.CJ (X,Y ) . Il convient ensuite de prendre sa cloture differentielle pour les differentielles
totales DI (voir la section suivante) pour obtenir lequation prolongee E de E au jets infinis.
On peut ainsi considerer quune equation differentielle est toujours un couple
(E, CT )
forme dune sous-variete de J (X, Y ) et de sa distribution de Cartan restreinte de celle des jets.
4
On pense ici `
a priori `
a des zeros locaux (i.e., le support dun faisceau dideaux) de fonctions sur J n (X, Y ), mais
il nest pas deraisonnable de considerer, dans les cas analytiques ou algebriques reels, des varietes plus generales
donnees par exemple par des inequations algebriques, i.e. des domaines algebriques reels, ou des inequations sur
les valeurs absolues de fonctions, i.e., des domaines analytiques.

94
6.6.4
Le calcul diff
erentiel fonctionnel hors coquillage
Une première approche au calcul differentiel fonctionnel local est de le formuler en terme de
calcul differentiel usuel sur les jets. Il est ensuite necessaire de tenir compte de la distribution
de Cartan pour etudier les solutions formelles des equations differentielles considerees, mais on
va commencer par presenter les definitions formelles de quelques operateurs qui jouent un role
important pour cette etude plus detaillee. On se refère à larticle [FLS02] pour le contenu de
cette section.
On se place pour simplifier sur un fibre trivial : E = Rm M M sur une variete. On
note (xi )i=1,...,n les coordonnees sur M , (uk )k=1,...,m les coordonnees sur Rm . Les coordonnees
sur le fibre des jets J E sont donnees par les familles
(x, u )Nn = (xi , uk, )i=1,...,m;k=1,...,m;Nm
indexees notamment par les multi-indices Nm . On pense aux coordonnees uk, comme
representant les derivees partielles uk := xuk et si u : M E est une section de E, son jet
infini est la fonction j (u) : M J E donnee par
j (u)(x) = (x, u)Nm .
Les fonctionnelles locales C (J E) sont les fonctions lisses qui ne dependent que dun
nombre fini de coordonnees, i.e., qui viennent de fonctions lisses sur un J r E pour r N.
Definition 44. Les operateurs de derivation totale sur C (J E) sont les operateurs
Di =
+
xi
uk,i
k,
uk,
avec uk,i la coordonnee de multi-indice 1i + Nn (à laquelle on pense formellement comme
a x
`
uk, ). Si Nn est un multi-indice, la derivee totale correspondante est definie par
i
D = Di1 Din .
Loperateur dEuler-Lagrange (aussi appele la derivee fonctionnelle ou variationnelle, attention
a ne pas confondre avec la derivee partielle u k ) sur C (J E) est
`
:=
uk
(1)|| D
Nn
.
uk,
On remarque que les operateurs de derivation totale Di engendrent la distribution de Cartan

CTJ E .
Si I C (J k E) est un ideal representant une equation aux derivees partielles, lideal
I := C (J E). ({D P }P I,Nn )
engendre par les derivees totales de ses elements represente une equation aux derivees partielles sur J E appelee la prolongation infinie de lequation de depart. Si L J E est une
6.6. GEOM
ETRIE
AUX DERIV
EES
PARTIELLES
95
fonctionnelle locale, son espace des phases covariant P est lequation differentielle prolongee de
lequation
L
I=
uk k=1,...,m
engendree par les equations dEuler-Lagrange. Cest donc une sous-variete algebrique P J E
dont les fonctions sont C (P) = C (J E)/I .
Considerons lespace A DJ engendre par les operateurs D u k sur J E obtenus par
composition des derivees totales avec les derivees variationnelles et dont levaluation en L est
non nulle. Leurs evaluations en L donnent donc les generateurs de lideal I . Ces operateurs
sont appeles les antichamps et notes
uk, = D
.
uk
On considère ensuite le sous-module I,1 A donne par le noyau (relations entre les uk, (L))
de levaluation en L. Les generateurs de ce noyau, notes ci sont appeles les anti-fantomes et sont
simplement les identites de Noether associees au lagrangien L.
Notons A = C (J E) et I = I . Si on continue ainsi, on construit un complexe A qui
donne une resolution de lalgèbre A/I en tant que A-module. En dautres termes, on dispose
dun quasi-isomorphisme de complexes de A-modules
qis
A
= A/I.
Par les resultats generaux de la theorie de lhomotopie, on munit A dune structure de A algèbre -commutative et dune -structure de Poisson.
6.6.5
Champs de vecteurs
evolutionnaires et sym
etries de jauge
On se refère aux sections 2 et 3 de [FLS02].

V
Definition 45. Un champ de vecteur evolutionnaire sur E est une section Q du faisceau
E
avec : J E E la projection et VE TE le fibre des champs de vecteurs verticaux sur
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 evolutionnaire secrit Q =

Qa u a avec ua les
coordonnees verticales sur (i.e., dans les fibres de) E et Qa C (J E). Sa prolongation secrit
alors
.
Q =
(D Qa )
ua,
n
N
E sur J E quon appellera alors la

On peut aussi voir (Qa ) comme une section du fibre
section generatrice du champ de vecteur evolutionnaire.

96
Si un groupe de Lie G agit par automorphismes sur un fibre vectoriel E M en laissant

fixe 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
de limage m dun element m de g donne un element m des champs de vecteurs sur J E tel
que dL(m )volM soit dh -exacte avec dh la differentielle horizontale. Cette prolongation m est
relativement simple car les coordonnees ma de m sont constantes le long des variables verticales
donc la derivee totale D se restreint à la derivee partielle par rapport à la variable x M .
Definition 46. Un champ de vecteur evolutionnaire Q sur E est appele une symetrie variationnelle du lagrangien L si dL(Q )volM est dh -exacte. On note Varsym(L) le faisceau des symetries
variationnelles de L.
En coordonnees locales, Q est une symetrie variationnelle si il existe des fonctionnelles locales
j telles que
L
D (Q )
D j .
=
ua,
Definition 47. Une symetrie de Jauge du lagrangien L est une application lineaire
R : C (J E) Varsym(L)
donnee localement par le choix de fonctionnelles Ra, C (J E) et par la formule
R( ) :=
Ra, (D )
a,
.
ua,
On trouvera dans la section 3 de [FLS02] une demonstration de lequivalence portant sur une
famille de fonctionnelles Ra, C (J E) entre le fait quelles definissent une symetrie de jauge
et le fait quelles induisent des identites de Noether. Cest le deuxième theorème de Noether.
Exemple 2. Dans le cas dune theorie de Yang-Mills classique munie dune algèbre de jauge g,
lequation dEuler-Lagrange est
A F = 0,
les identites de Noether sont
A A F = 0
et les symetries de Jauge correspondantes sont
A A + A
avec : M g une fonction arbitraire (donc A 1M g est bien de meme nature que
A). On remarque que lalgèbre de Lie des symetries de jauge est definie hors coquillage (au sens
ou le crochet de Lie de deux symetries de jauge est une symetrie de jauge). Il peut exister des
situations o`
u le crochet de Lie de deux symetries de jauge est une symetrie de jauge seulement
dans le coquillage, cest `
a dire si les equations du mouvement sont verifiees. Lapplication lineaire
correspondante
R : C (J E) Varsym(L)
est definie par prolongation de la derivation A aux jets infinis.
6.6. GEOM
ETRIE
AUX DERIV
EES
PARTIELLES
6.6.6
97
Connexion de Cartan et bicomplexe variationnel
On se refère à [KV98], 5.2 pour une presentation formelle concise du bicomplexe variationnel.
6.6.7
La suite spectrale variationnelle
Cette suite spectrale decouverte par Vinogradov est nommee par lui the C-spectral sequence. On prefère lui donner un nom plus suggestif, et qui permet de mieux situer le role quelle
joue dans la formalisation mathematique des problèmes variationnels.
Lidee de depart dans la definition de cette suite (qui sert à etudier le complexe variationnel)
est quon dispose dun complexe
{Champs de vecteurs}
Div
/ {Lagrangiens}Euler-Lagrange/ {Equations diff

erentielles}

Hemholtz
{Operateurs differentiels}
qui permet de comprendre quels lagrangiens ont une equation dEuler-Lagrange triviale et quelles
equations differentielles ont une chance de decouler dun problème variationnel (problème variationnel inverse).
Le complexe de de Rham des jets (J (X,Y ) , d) est naturellement filtre par les puissances
exterieures C i de lideal C des formes de contact (qui sannulent sur la distribution de
Cartan). Si S J (X, Y ) est une equation differentielle, on peut restreindre le complexe
variationnel filtre à cette equation et on notera (S , CS ) cette restriction.
On se refère à lappendice 6.10.4 pour la definition de la suite spectrale associee à un complexe
filtre.
Definition 48. La suite spectrale Erp,q (S) associee au complexe filtre (S , d, C S ) est appelee
la suite spectrale variationnelle.
On remarque dabord que, par definition de la suite spectrale dun complexe filtre, la limite
de cette suite est
p+q
p,q
(S).
E
(S) = grp H p+q (S ) = grp HdR
de par les formes de contact
Le complexe de de Rham vertical est le complexe quotient
S
S
qui sannulent sur la distribution de Cartan, muni de la differentielle induite par la differentielle
(S) est la cohomologie de ce complexe. Le
exterieure. La cohomologie de de Rham vertical H
dR
,n i,n
complexe dEuler (L , E ) est le complexe (E1 , d1 : E1i,n E1i+1,n ). Le complexe variationnel
est le complexe obtenu en recollant le complexe dEuler au complexe de de Rham vertical
0S
nS L1 L2 . . . ,
0
par lapplication naturelle
0,n
1
nS H
n (S) d
L1 .
dR
98
Un champ de vecteur X TS est appele un champ variationnel sil respecte la distribution

de Cartan, i.e.,
[X, CTS ] CTS .
On ecrit alors X TC,S TS . Les champs de vecteurs verticaux sont donnes par lespace
TS := TC,S /CTS .
Cet espace est aussi appele espace des symetries (infinitesimales) superieures de S et note
Sym(S).
Dans le cas S = J (E) avec : E M un fibre vectoriel, on peut donner de Sym(S) une
description explicite. On considère le fibre tangent vertical VE TE à E, noyau de la differentielle
D : TE TM et si p,0 : S = J (E) E est la projection canonique, on definit VS comme
le fibre VS := p,0 (VE ) sur S = J E. On a un morphisme naturel TS p,0 (TE ) et limage
des champs de vecteurs variationnels TC,S TS sidentifie à VS , ce qui induit un isomorphisme
Sym(S) VS .
Si E est un fibre vectoriel de rang n sur M , VS est aussi un fibre vectoriel (faisceau localement
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 donnes par :
q (S) donnent respectivement le
q et E 0,q (S) = H
1. Pour tout q 0, les termes E00,q (S) =
1
S
dR
complexe et la cohomologie de de Rham verticaux.
2. Si S est libre, i.e., une sous-variete ouverte de lespace des jets infinis, Le terme L1 = E11,n
n ) (module localement libre de rang n sur C ).
est donne par HomCS (VS ,
S
S
3. Pour tout q < 0 et p Z, on a E0p,q (S) = 0.
s = 0 pour un s 0 (type de condition verifiee sur les equations differentielles dordre
4. Si
S
s), alors E0p,q (S) = 0 pour tout q > s.
Definition 49. Soit : E M un fibre vectoriel sur une variete de dimension n et soit
S J (M, E) une sous-variete des jets de sections de . Une action lagrangienne cohomologique
sur S est un element L de
n (S).
E10,n (S) = H
dR
Lequation dEuler-Lagrange associee est la section
1,n
n

E(L) := d0,n
1 (L) E1 = HomCS (TS , S )
image de L par la differentielle de la suite spectrale variationnelle. Cette section dun fibre
L
vectoriel de rang n sur J E a pour composantes locales les derivees variationnelles u

avec u
les sections generatrices du fibre E M .
6.6. GEOM
ETRIE
AUX DERIV
EES
PARTIELLES
99
Remarquons quun lagrangien est ainsi toujours represente localement par des n-formes
differentielles verticales, mais pas toujours globalement. Le complexe variationnel permet detudier
les lagrangiens, leurs equations dEuler-Lagrange et le problème variationnel inverse dun point
de vue cohomologique. Linteret principal de ce point de vue est detre bien covariant comme
il faut et de permettre un traitement très efficace de la theorie des invariants et des symetries
(theorème de Noether generalise).
Pour faire le lien avec un lagrangien classique
L : J (M, E) nM ,
on remarque que L p nM et quon peut toujours lui associer son image par
: p nM nJ (M,E)
avec p : J (M, E) M la projection canonique. Ensuite, en prenant la classe modulo les
formes de contact, on obtient une forme differentielle verticale
n n

J (M,E) := n
(L)
J (M,E) /C ,
dont le bord par d est nul par construction, ce qui donne une classe
n (J (E, M ))
[L] H
dR
qui est justement le lagrangien cohomologique correspondant.
6.6.8
Calcul diff
erentiel secondaire sur les fonctionnelles locales
La calcul differentiel secondaire, ainsi nomme par Vinogradov, se base sur lidee que la
suite spectrale variationnelle Erp,q (S) associee au complexe filtre (S , d, C S ) dune equation
differentielle S J (X, Y ), est un analogue pour les equations aux derivees partielles (i.e. en
dimension infinie) du complexe de de Rham dune variete differentiable de dimension finie. On
considère le cas o`
u Y X est un fibre et les jets sont les jets de section et la variete de base X
est de dimension n.
Le calcul de la suite spectrale variationnelle explique dans la proposition 7 permet de mettre
en place cette analogie.
Le complexe donnee par le terme E10, (S) de la suite spectrale variationnelle sidentifie à
la cohomologie du quotient du complexe de de Rham de S par la distribution de Cartan. Ce
complexe est appele complexe de de Rham vertical et sa cohomologie la cohomologie de de Rham
verticale de lequation S.
n1 sont appelees les courants conserves et leurs
Definition 50. Les formes elements de
S
n (S) sont les lois de conservations de lequation S. Les champs
classes de cohomologie dans H
dR
de vecteurs verticaux (quotient des champs de vecteurs par ceux qui preservent la distribution
de Cartan), notes TS sont appeles les symetries superieures infinitesimales de lequation.
On va maintenant preciser la definition des objets secondaires. On peut penser au complexe de
de Rham vertical, ou selon les go
ut, à sa cohomologie, comme à lespace des fonctions secondaires
sur lespace represente par lequation S.

100
Definition 51. Lespace des fonctions secondaires est lespace gradue

(S)
C (S) := E10, = H
dR
de cohomologie de de Rham verticale sur S J (X, Y ). Lespace des p-formes differentielles
secondaires est lespace gradue
p (S) := E1p, (S).
Les elements de (S)n sont appelees formes variationnelles dans la litterature.
On definit aussi un complexe à partir des champs de vecteurs verticaux sur S, donne par
S
S
q (S)
q+1 (S)
0 TS TS
TS
avec
S(X ) := S(X) + X d
et S(X)(Y ) := [Y, X].
(S) est appelee espace des champs de
Definition 52. La cohomologie du complexe TS
vecteurs secondaires sur S et notee TS .
6.6.9
Lespace des phases covariant lagrangien
On se refère à larticle de Vitagliano [Vit08].

Definition 53. Soit : Y X un fibre avec X de dimension n. On se donne une sous-variete
H J () (qui donnera typiquement les conditions aux bords pour le problème variationnel).
n (H) est appelee une theorie des champs lagranLa donnee dun triplet (, H, S) avec S H
dR
gienne. Lespace H est appele espace des histoires et lespace des phases covariant associe est la
sous-variete P H donnee par lequation dEuler-Lagrange correspondante
E(L) = 0.
On supposera maintenant H = J () mais la definition plus generale ci-dessus est utile pour
prendre en compte les donnees au bord necessaires à la definition des integrales fonctionnelles.
On remarque que par definition, si L est une forme verticale representant laction S, on a
dV L E(L) = d
avec C1 (J ) n1 (J ) appelee forme de legendre.
Th
eor`
eme 8. (Zuckerman) Il existe une 2-forme differentielle secondaire sur P canoniquement determinee par (, S).
Demonstration. On pose := iE (dV ) C2 (E) n1 (E). On verifie que d = 0 et que la
classe de dans 2 (P)n1 ne depend pas du choix de L car deux formes de Legendre diffèrent
par un cobord.
On remarque que si cette forme est non-degeneree (i.e. induit un isomorphisme TP
elle induit un crochet de Poisson sur les fonctions secondaires C (P) .
1 (P) ),

6.7. CALCUL DIFFERENTIEL
SUR LES ESPACES FONCTIONNELS
6.6.10
6.7
6.7.1
101
Calcul diff
erentiel secondaire gradu
e et champs fermioniques
Calcul diff
erentiel sur les espaces fonctionnels
Points de vue diff
eologique sur les espaces fonctionnels
Ce point de vue est très proche, en pratique, de celui utilise par les physiciens pour faire du
calcul fonctionnel sur un espace de champs. Lidee, si E est un fibre vectoriel trivial sur lespace
temps M , est de considerer des familles st de sections de E parametrees par t [1, 1] et à
deriver F (st ) par rapport à t.
Rappelons quune variete differentiable M definit un foncteur des points M sur la categorie
Ouv des ouverts de Rn pour n variable par
M (U ) := Hom(U, M ).
Ce foncteur est en fait un faisceau sur la categorie Ouv et la categorie des varietes se plonge ainsi
pleinement fidèlement dans celle des faisceaux. Ce plongement a aussi le bon go`
ut de respecter
les limites projectives (prefaisceaux) et les limites inductives (faisceaux), quand elles existent
dans les varietes. La categorie des faisceaux contient toutes les limites et colimites ainsi que des
homomorphismes internes donnes par
Hom(M, N )(U ) := HomU (M U, N U ) = Hom(M U, N ).
Une diffeologie est un tel faisceau. Ceci permet de parler despace des fonctions entre deux
varietes ou de sections dun fibre. Si on souhaite faire du calcul differentiel, on peut utiliser
comme categorie de depart (blocs de base) pour les faisceaux la categorie des algèbres de la
forme C (U )/I avec U Ouv et I un ideal.
Soit E M un fibre sur lespace temps. Lespace des champs est la diffeologie X = (M, E).
Si F : (M, E) R est un morphisme de faisceau sur Ouv (observable reel), on peut le
differentier en regardant le morphisme
U [T F (U ) : T (M, E)(U ) := (M, E)(U [ ]) Hom(U [ ], R) =: T R(U )]
avec U [ ] donne par lalgèbre C (U )[ ]/( 2 ).
6.7.2
Diff
erentielles de G
ateaux
On se place dans le cadre relativement general dun espace vectoriel topologique localement
convexe X dont la topologie est definie par une famille de semi-normes (pi )iI . On pense ici à
un espace vectoriel topologique de fonctions, de sections de fibres vectoriels, ou de distributions,
eventuellement solutions dune equation aux derivees partielles, verifiant certaines conditions
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 fibres vectoriels (objets
lineaires) car elle necessite une addition sur les fonctions considerees. Pour disposer de derivees
pour des fonctionnelles à valeurs reelles sur des espaces dapplications plus generaux, on pourra
utiliser les methodes de la section 6.6.8, ou la derivation de Wiener definie dans la section 6.7.3.

102
Definition 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 derivee de Gateaux de
F en f le long de g (appelee aussi derivee fonctionnelle de F en f dans la direction de g) est la
limite
F
F (f + .g) F (f )
[f ] := lim
.
0
g
Si cette limite existe pour tout g X, on dit que F est Gateaux differentiable en f de
differentielle
F [f ], . : X V
donnee par F [f ], g :=
F
g (f ).
Si F [f ], . est lineaire, on lappelle la derivee de Gateaux.
On peut notamment appliquer ceci aux espaces de fonctions test X = Cc (Rn ) et X = S(Rn )
(munis de la topologie donnee par la famille usuelle de seminormes) ainsi quaux espaces de
distributions (munis de la topologie donnees par les seminormes . : D | F, |). Ainsi, la
derivee de Gateaux dune fonctionnelle F : S (Rn ) R le long de la distribution de Dirac x
(quon trouve souvent dans les livres de physique), si elle existe, definit une application
F [.], x : S (Rn ) R,
associant par exemple à chaque fonction localement integrable une derivee
F [], x =
F
() R
(x )
de F en le long de la distribution de Dirac, notee par les physiciens
F ((y))
((x)) .
Exemple 3. Si on considère par exemple la fonctionnelle F = evx : S(Rn ) R donnee par

levaluation f f (x), on a
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 derivee fonctionnelle de F en f existe est vaut
F [f ], . = F, . .
On voit ici que la derivee fonctionnelle na rien `
a voir avec la derivee des distributions car meme
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 setend pas aux distributions temperees et quon
F
car F (x ) =
ne peut donc pas calculer la derivee fonctionnelle de F le long de x , notee (
x)
evx (x ) nest pas bien definie. Cest une des explications de lapparition dinfinis dans les calculs
dintegrales fonctionnelles, ce qui impose la renormalisation desdites integrales.

6.7. CALCUL DIFFERENTIEL
SUR LES ESPACES FONCTIONNELS
103
.
Exemple 4. Soit L : [a, b]Rn Rn R une fonction des variables notees (t, x, x) RRn Rn
([a, b], Rn ) lespace des chemins x : [a, b] Rn dextr
et X Cs,e
emites fixees s = x(a) et
e = x(b), muni de sa topologie de frechet (cette situation sappelle un problème variationnel
lagrangien pour des chemins dans Rn ). Considerons la fonctionnelle daction S : X R donnee
par
b
L(t, x(t), x(t)).
S(x) :=
a
Pour x, u X avec u(a) = u(b) = 0, on a alors, par derivation sous lintegrale et integration
par parties, les egalites
F [x], u
:= lim
0
b
=
a
b
=
a
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.
On a ainsi obtenu legalite

F [x] =
F
d
(t, x(t), x(t))
x
dt
F
. (t, x(t), x(t)) ,
x
et x est un extremum de F si et seulement si F [x] = 0, ce qui est lequation dEuler-Lagrange

qui donne les extremales de laction S.
Definition 55. Soit X S (Rn ) un ensemble fini de distributions et F : S(Rn ) C une
n C {{X}} convergente dans
fonctionnelle definie par une serie formelle F =
nNX an X
n
S (R ). Loperateur de derivation fonctionnelle correspondant sur les fonctionnelles G sur S (Rn )
est donne par
n
F
:=
an
.
X
X
X
nN
On remarque que cette definition impose que F et G soient toutes les deux des fonctionnelles
des distributions. Dans la pratique, la fonctionnelle à deriver est plutot une fonctionnelle sur
S(Rn ), ce introduit des difficultes car le calcul de sa derivee fonctionnelle impose de letendre
aux distributions. Si par exemple X ne contient quune distribution notee x et F = x, on obtient,
par application à une fonction G, la fonctionnelle
F
(G) =
G
x
qui associe à une distribution f la limite

G
G(f + x) G(f )
(f ) = lim
.
0
x

104
6.7.3
D
erivation de Wiener
Soit X un espace topologique (on pense par exemple à lespace des sections locales dun fibre
principal sous un groupe de Lie sur une variete differentiable) et (V, (pi )iI ) un espace vectoriel
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 differentiable en 0.
La differentielle de Wiener de F est lapplication
F : WX,F V
qui envoie un chemin c sur
(F c)(t) (F c)(0)
.
t0
t
c F := lim
On remarque que si X est un espace localement convexe et F est Gateaux differentiable en f ,

on a une injection naturelle
if : X WX,F
donnee par les chemins lineaires if (g) : t f + t.g le long de g et passant par f en t = 0, et la
differentielle de Wiener contient la differentielle de Gateaux car on a alors par definition
if (g) F =
6.8
F
[f ].
g
Formalisme multisymplectique
On va presenter la construction du crochet de Peierls dans le cas dune theorie lagrangienne

dordre 1 sur un fibre vectoriel (particules de matière), en utilisant le formalisme multisymplectique. On se refère à larticle de Forger et Romero [FR05] ainsi quau survol [GIMM98] pour des
references plus precises.
6.8.1
Op
erateur dEuler-Lagrange
Soit M une variete et : E M une fibration localement triviale. Lespace J 1 E :=

des jets dordre 1 de sections de E est un fibre affine sur E homogène sous le fibre
vectoriel T M V E avec V E T E lespace des vecteurs tangents verticaux, defini comme le
noyau de la differentielle D : T E T M .
On va noter
J 1 E := HomAff/E (J 1 E, (n T M ))
J1 (M, E)
lespace des applications affines relatives de base E des jets de sections de E dans les formes
differentielles sur T M . Cet espace sappelle lespace des multiphases etendu.
Cest un espace affine homogène sous le fibre vectoriel
T M V E (n T M )
6.8. FORMALISME MULTISYMPLECTIQUE
105
de base E.
Un lagrangien dordre 1 est un morphisme despaces fibres sur E
L : J 1 E (n T M ).
La transformee de Legendre est le morphisme
FL : J 1 E J 1 E
despaces fibres sur E encodant le developpement de Taylor au premier ordre de L le long des
fibres, defini pour Je1 E par lapplication relativement affine sur E de J 1 E vers (n T M )
donnee par
d
FL(). := L() +
L( + ( )||=0 pour J 1 E.
d
On dispose sur lespace des multiphases etendu J 1 E dune forme canonique n et dune
forme symplectique n+1 donnee par = d. Definissons precisement en suivant larticle
[GIMM98]. On note le fibre n+1 T E sur E. On considère le sous-fibre Z de base E dont
la fibre en e E est donnee par
Zy = {z n+1 T E | iv iw z = 0 pour tous v, w Vy Y }
o`
u iv designe linsertion à gauche du champ de vecteur v. On definit une application : Z
J 1 E par
(z), = z n+1
x T M
avec z Ze , Jy1 E, x = (e) et ., . est laccouplement de dualite affine. Lapplication ainsi
construite est un isomorphisme (voir loc. cit.) comme on peut le verifier en coordonnees. La
(n + 1)-forme canonique sur est definie par
(z)(u1 , . . . , un+1 ) = (,E

z)(u1 , . . . , un+1 ),
o`
u z et u1 , . . . , un+1 Tz . On utilise ensuite linclusion i : Z et lisomorphisme
1 : J 1 E Z pour definir la (n + 1)-forme canonique sur J 1 E par
= (i 1 ) .
On obtient les formes de Poincare-Cartan sur J 1 E en tirant ces formes le long de la transformee de Legendre FL : J 1 E J 1 E pour obtenir
L := FL et L := FL .
On note V E := HomAff/E (V E, (n T M )) le dual affine de lespace des vecteurs verticaux
V E T E.
Definition 56. Loperateur dEuler-Lagrange associee à la densite Lagrangienne L est lapplication
DL : J 2 E V E

106
de fibres vectoriels sur J 1 E qui associe à chaque 2-jet de E sur M et chaque champ de vecteur
vertical V sur E la n-forme sur M definie par
DL (, , 2 ).V = (, ) (iV L )
o`
u V est un champ de vecteur vertical sur J 1 E qui se projette sur le champ de vecteur vertical V
donne sur E. On remarque que est une solution de lequation dEuler-Lagrange si et seulement
si DL (, , 2 ) est nul.
6.8.2
Champs de Jacobi dans le formalisme multisymplectique
On definit très brièvement loperateur de Jacobi. Les details de cette construction ainsi que
des calculs en coordonnees sont disponibles dans larticle de Forger et Romero [FR05].
Loperateur de Jacobi est un operateur differentiel lineaire du second ordre
JL [] : ( V E) ( V E)
obtenu en linearisant loperateur dEuler-Lagrange DL autour dune solution donnee (E)
des equations du mouvement, i.e., un champ verifiant
DL (, , 2 ) = 0.
On considère pour chaque R petit variation de . Levaluation de DL ( , , 2 )
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 tire en haut le long de la section nulle 0 : M E du fibre vertical relatif a` la projection
V E M sur V E.
Si est une solution de lequation dEuler-Lagrange, loperateur de Jacobi en est defini
par
JL []. :=
DL ( , , 2 )
=0
6.8.3
Lespace des phases covariant
Cette section est redigee de manière très succinte et le lecteur est invite à se referer à larticle
de Forger et Romero [FR05] qui la inspire pour plus de details.
On pense à lespace des phases covariant P comme le sous-ensemble de lespace des histoires H
(champs quelconques ou avec des conditions au bord) donne par les points critiques de laction :
P = { H| S [] = 0}.
Formellement, on peut penser à P comme la sous-variete de H dont lespace tangent en un
point P est le sous-espace T P de T H donne par les solutions des equations du mouvement linearisees (o`
u la linearisation est faite autour dune solution donnee des equations du
6.8. FORMALISME MULTISYMPLECTIQUE
107
mouvement), quon definit precisement comme les section de V E qui sont dans le noyau de
loperateur de Jacobi J [] : ( V E) ( V E) :
T P := ker J [].
On suppose maintenant que les champs de Jacobi forment un système doperateurs differentiels
hyperboliques du second ordre. Ceci garantit lexistence et lunicite des fonctions de Green
avancees et retardees G
erifiant
v
Jx [].G
(x, y) = (x, y)
Ces fonctions sannulent respectivement dans le cone de passe et davenir, i.e., verifient G
(x, y) =
c
0 pour x
/ (C (y)) . La fonction de Green causale aussi appelee propagateur est donnee par
+
G = G
G .
Elle verifie les equations de Jacobi homogènes

Jx [].G (x, y) = 0, Jy [].G (x, y) = 0.
On souhaite ensuite definir les analogues des champs de vecteurs hamiltoniens dans ce contexte
covariant. Ce sont les solutions (distributionnelles) XF [] des equations de Jacobi non homogènes
J [].XF [] = F []
avec F : P R une fonctionnelle (lisse et locale en temps) sur lespace des phases covariant.
Pour eliminer lambiguite de cette equation qui vient du fait que la derivee fonctionnelle F []
est dans lespace T P, qui est seulement un espace quotient de limage de loperateur de Jacobi
dans lespace T H, on etend la fonctionnelle F en une fonctionnelle F sur lespace des histoires
H, dont la derivee fonctionnelle F [] appartient à lespace T H := ( V E). Les fonctions
de Green introduites ci-dessus permettent dassocier à chaque solution P des equations du
equations
mouvement des sections (distributionnelles) XF
[] qui satisfont les
J [].XF
[] = F []
ainsi que XF [] satisfaisant lequation
J [].XF [] = 0.
Le point est que XF ne depend pas de lextension F de F à H et quon peut donc le noter XF .
Ce champ de vecteur formel joue le role du champ hamiltonien associe à la fonctionnelle F sur
lespace des phases covariant P. Plus precisement, on peut lutiliser pour ecrire le crochet de
Poisson entre deux fonctionnelles F et G sur P par
{F, G}[] = F [].XG [] = G [].XF [].
Ce crochet est bien defini modulo certaines hypothèses de support et de localite pour F et G
que nous ne donnerons pas ici.
108
Cest essentiellement le meme crochet que celui defini par Peierls [Pei52] et etudie en details
par Dewitt [DeW03], [DDM04]. Une des propriete inherente à ce crochet est quil est de nature
dynamique par construction : le crochet entre deux fonctionnelles depend de la dynamique
sous-jacente des champs. Dans le cas o`
u les equations du mouvement son lineaires, loperateur
de Jacobi et la fonction de Green causale ne depend pas de la solution des equations du
mouvement.
On remarque enfin que le point de vue de la suite spectrale variationnelle sur lespace
des phases covariant donne dans la section 6.6.9 (et celui des formes differentielles locales de
Zuckerman-Witten-Crnkovic [Zuc87]) sur le crochet de Poisson est très proche de celui propose
ici.
6.9
Groupes alg
ebriques lin
eaires
6.9.1
Structure des groupes alg

ebriques
On utilisera ici uniquement des groupes algebriques affines. On notera maintenant R un des
anneaux Q, R ou C. Le fait dutiliser des groupes reels non scindes (par exemple le groupe
spinoriel Spin(3, 1)R très utilise dans la description des particules elementaires) rend necessaire
le travail avec des groupes algebriques sur des corps non algebriquement clos. On choisit volontairement dutiliser la methode qui nous semble la plus precise tout en etant très flexible pour
expliquer cette situation, en suivant les references [DG62], [Wat79] et [Spr98]. Ce point de vue
abstrait pourra cependant etre avantageusement remplace par un lecteur aimant la simplicite
par la theorie habituelle des groupes et algèbres de Lie tels quils sont presentes par exemple
dans la reference [Bou75].
Definition 57. Un groupe algebrique (affine) est la donnee dun anneaux commutatif unitaire
AG tel que le foncteur (appele foncteur des points du groupe)
G : (Anneaux)
(Ens)
B
Hom(Anneaux) (AG , B)
factorise par la categorie (Grp) des groupes. Si on remplace la categorie des anneaux par la
categorie des R-algèbres, on obtient la notion de groupe algebrique sur R. Un morphisme de
groupe algebrique est un morphisme de foncteur à valeurs dans les groupes (ce qui est equivalent
a un morphisme dalgèbres induisant des morphismes de groupes sur les points) et on note
`
(Gralg) la categorie ainsi obtenue.
Le groupe algebrique le plus connu est le groupe GLn,R des matrices inversibles. Cest le
groupe associe à lalgèbre
AGLn := Z[X, Y ]/(XY = Y X = I)
avec X = (Xi,j )1i,jn et Y = (Yi,j )1i,jn deux familles de variables representant les coefficients
matriciels de deux matrices abstraites. Ses points sont donnes par
GLn (A) = {(X, Y ) Mn (A)|XY = Y X = I}.
6.9. GROUPES ALGEBRIQUES

LINEAIRES
109
Une representation dun groupe algebrique G est un morphisme de groupes algebriques G

GLn . Plus generalement, si V est un R-module libre, on definit
GL(V ) := GSymR (End(V )2 )/(XY =Y X=I)
et une representation de G, appelee aussi G-module, est un morphisme
G GL(V )
avec V module libre de rang fini.
On definit aussi le groupe additif Ga par AGa := R[X]. Ses points dans un anneaux A
donnent lensemble A muni de sa loi daddition.
Definition 58. Un groupe algebrique est dit reductif si la categorie de ses representations sur
des R-modules libres est semi-simple, i.e., toute suite exacte
0U V W 0
de G-modules est scindee, i.e., induit une decomposition en somme directe
V
= W U.
Un groupe algebrique est dit unipotent sil est extension successive de groupes additifs. Un
G-module simple est un G-module qui ne contient pas de sous-module non trivial.
On remarque que si G est un groupe reductif, un G-module qui ne peut secrire comme
somme de deux sous-modules (on dit quil est irreductible) est automatiquement simple. En
dautres termes, un G-module est simple si et seulement sil est irreductible.
Un tore est un groupe algebrique T sur R qui, sil est etendu à une extension algebrique S
de R par ATS := AT R S, devient isomorphe à GLn1 (on dit que le tore se scinde sur S).
Soit T un tore. Son groupe de caractères est le foncteur
X (T ) : (Anneaux)
(Grp)
B
Hom(Gralg) (TB , GL1,B )
a valeur dans la categorie des groupes abeliens et son groupe de cocaractères est le foncteur
`
X (T ) : (Anneaux)
(Grp)
B
Hom(Gralg) (GL1,B , TB ).
On dispose dun accouplement parfait
., . : X (T ) X (T ) Z
donne par (r, s) r s avec Z le foncteur qui associe à une algèbre A =
simples Ai le groupe Z.
Ai produit dalgèbres
Lemme 1. Si T = GLn1 , une representation T GL(V ) se decompose en somme de caractères :

V
= i avec i X (T ).

110
Lalgèbre de Lie du groupe G est le foncteur
Lie(G) : (Anneaux)
(Grp)
B
{X Hom(Anneaux) (AG B, B[ ]/( 2 )|X
mod
= I}.
On peut penser à ses elements comme des points I + X G(B[ ]/( 2 )) o`

u X joue le role dun
vecteur tangent à G en lidentite. Elle est munie dune operation naturelle appelee crochet de
Lie
[., .] : Lie(G) Lie(G) Lie(G)
donnee pour X G(R[ 1 ]/( 21 )) et Y G(R[ 2 ]/( 22 )) par le commutateur
XY X 1 Y 1 = I +
1 2 [X, Y
] G(R[
2
1 2 ]/( 1 2 ) )
= G(R[ ]/( 2 )).
On dispose dune action du groupe G sur son algèbre de Lie appelee action adjointe
ad : G GL(Lie(G))
definie par
g X G(R[ ]/( 2 )) g 1 Xg G(R[ ]/( 2 )) .
Elle est aussi munie dune structure naturelle de module sur lanneau A (espace affine sur R) de
points A(B) = B pour laquelle le crochet de Lie est lineaire.
Proposition 8. Soit G un groupe reductif. La famille des sous-tores T G admet des elements
maximaux, quon appelera les tores maximaux de G.
Le premier theorème de structure nous donne un devissage des groupes affines generaux en
groupes unipotents et groupes reductifs.
Th
eor`
eme 9. Soit P un groupe algebrique affine. Il existe un plus grand sous-groupe distingue
unipotent Ru P de P appele radical unipotent de P et le quotient P/Ru P est reductif.
Pour etudier en details la structure des groupes reductifs, on definit des invariants du groupe
appeles racines.
Definition 59. Soit G un groupe reductif et T un tore maximal de G. Les racines du groupe
(G, T ) sont les poids de T dans la representation adjointe de G sur son algèbre de Lie. Plus
precisement, elles forment un sous-foncteur du groupe X (T ) des cocaractères dont les points
sont
R = { X (T )| ad (t)(X) = (t).X}.
Les coracines R X (T ) sont les cocaractères duaux des racines pour laccouplement naturel
entre caractères et cocaractères de T . Le quadruplet (G, T ) = (X (T ), R , X (T ), R , ., . ) est
appele la donnee de racine du couple (G, T ).
Le theorème central de la theorie de classification des groupes reductifs dit que le système de
racines determine le groupe et que tout système de racine (non tordu) vient dun groupe reductif
(dont le tore maximal est scinde). On ne va pas rentrer en details dans la theorie des systèmes
de racines abstraits donc on enonce seulement la première partie du theorème de classification.
Th
eor`
eme 10. Le foncteur (G, T ) (G, T ) des groupes reductifs dans les donnees de racines
est conservatif : si deux groupes ont meme donnee de racine, ils sont isomorphes.
6.9. GROUPES ALGEBRIQUES

LINEAIRES
6.9.2
111
Repr
esentations des groupes alg
ebriques r
eductifs
Ordre sur les racines, reseau des poids, voir larticle de Borel.
6.9.3
Alg`
ebre de Clifford et groupes spinoriels
Ce paragraphe est traite en detail dans le livre des involutions [KMRT98]. La motivation
physique de letude de lalgèbre de Clifford est la necessite de fabriquer une racine carree du
laplacien (ou plutot du DAlembertien), comme lexplique très bien Penrose [Pen05], section
24.6.
Soit A un anneau commutatif unitaire, M un A-module et q Bilsym(M, M ; A) une forme
A-bilineaire symetrique sur M M à valeurs dans A. Lalgèbre de Clifford Cliff(M, q) de lespace
bilineaire (M, q) est la A-algèbre associative unitaire universelle contenant M et dans laquelle q
est la multiplication des vecteurs de M . Plus precisement, elle verifie la propriete universelle
HomAalg (Cliff(M, q), B)
= {j HomAM od (M, B)|j(v).j(w) = q(v, w).1B }
pour toute A-algèbre associative B.
On montre facilement que Cliff(M, q) est le quotient de lalgèbre tensorielle T (M ) par lideal
bilatère engendre par les expressions de la forme m n q(m, n).1 avec m, n M .
On suppose maintenant que A = K est un corps de caracteristique nulle et que la forme
bilineaire q est non degeneree (i.e. induit un isomorphisme M M de M avec son dual). On
a alors dimK (Cliff(M, q)) = 2dimK M . Lautomorphisme : M M donne par m m induit
un automorphisme : Cliff(M ) Cliff(M ) tel que 2 = id. On en deduit une decomposition
Cliff(M, q) = Cliff 0 (M, q) Cliff 1 (M, q).
Le groupe de Clifford de (M, q) est le groupe
(M, q) := {c Cliff(M, q) |cv(c)1 v for all v M }.
On a par definition une action naturelle (par conjugaison) de ce groupe sur M qui induit un
morphisme
(M, q) O(M, q).
Le groupe de Clifford special de (M, q) est le sous-groupe + (M, q) des elements pairs dans
(M, q) donne par
1
+ (M, q) = {c Cliff(M, q)
v for all v M }.
0 |cv(c)
Lalgèbre tensorielle T (M ) est naturellement munie dun anti-automorphisme donne par

m1 mk mk m1 sur la composante de degre k. Lideal bilatère definissant
lalgèbre de Clifford etant stable par cet anti-automorphisme (car q est symetrique), on obtient
un anti-automorphisme de Cliff(M, q) appele la transposition et note c t c. Le groupe spinoriel
est le sous-groupe de + (M, q) defini par
Spin(M, q) = {c + (M, q)| t cc = 1}.

112
On dispose dune action naturelle (par multiplication) de Spin(M, q) sur le K-espace vectoriel
Cliff(M, q) qui commute à lidempotent : Cliff(M, q) Cliff(M, q) et se decompose donc en
deux representations Cliff 0 (M, q) et Cliff 1 (M, q).
La structure des algèbres de Clifford paires est donnee par le theorème suivant, quon peut
trouver dans le livre des involutions [KMRT98], page 88.
Th
eor`
eme 11. Soit K un corps et (M, q) un espace quadratique non degenere. Si dim(M ) = 2m
est pair, le centre de Cliff 0 (M, q) est une K-algèbre Z etale de degre 2 (i.e., une extension
quadratique de K ou K K). Si Z est un corps, Cliff 0 (M, q) est une algèbre centrale simple sur
Z de degre 2m1 . Si Z
= K K, Cliff 0 (M, q) est un produit direct de deux algèbres centrales
simples sur K de degre 2m1 .
On peut aussi comprendre la structure des algèbres paires en se placant sur un corps
algebriquement clos. Sur un tel corps, un espace quadratique (M, q) avec M de dimension 2m
est isomorphe à un espace quadratique hyperbolique de la forme (H(U ), qh ) avec U un espace
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
Cliff 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 Cliff 0 (M, q) sidentifie à C/R et lalgèbre Cliff 0 (M, q) est
lalgèbre ResC/R M2,C des matrices complexes vue comme algèbre sur R. Le groupe Spin(3, 1) :=
Spin(M, q) sidentifie alors au groupe ResC/R SL2,C des matrices complexes de determinant 1 vu
comme groupe sur R. On a une representation naturelle de ResC/R M2,C sur ResC/R C2 et cest
cette representation de Spin(3, 1) quon va appeler la representation spinorielle. Son extension
a C se decompose en deux representations isomorphes à C2 et echangees par la conjugaison
`
complexe. Ces deux representations sont appelees les representations demi-spinorielles.
Pour une explication detaillee de la manière de relier Spin(3, 1) à SL2,C , on se refère à
Derdzinski [Der92]. Pour un point de vue plus concret et motive, on consultera avec plaisir la
section 24.6 du livre de Penrose [Pen05].
6.10
Cat
egories : la covariance en math
ematiques
6.10.1
Cat
egories et foncteurs
La notion de categorie est un outil mathematique très pratique pour encoder la notion de
covariance physique. On peut considerer que si un objet mathematique de la physique est donne
par une propriete universelle, sa definition est covariante au sens des physiciens. Le langage
des categories est donc aux mathematiciens ce quest lhomogeneite (à une masse, à une vitesse) des valeurs physiques si chère aux physiciens. Nous prendrons donc pour parti dutiliser
systematiquement ce langage.
Definition 60. Une categorie C est la donnee
1. dune classe Ob(C) dont les elements sont appeles les objets de C.
6.10. CATEGORIES
: LA COVARIANCE EN MATHEMATIQUES
113
2. pour chaque paire (X, Y ) dobjets de C, dun ensemble Hom(X, Y ) appele ensemble de
morphismes. On note ses elements f : X Y .
3. pour chaque objet X de C, dun morphisme particulier idX Hom(X, X) appele identite
de X.
4. pour chaque triplet (X, Y, Z) dobjets de C, les paires (f, g) Hom(X, Y ) Hom(Y, Z)
sont appeles morphismes composables et on se donne une application
Hom(X, Y ) Hom(Y, Z) Hom(X, Z)
(f, g)
gf
appelee composition.
On impose que la composition de morphismes composables soit associative :
(f g) h = f (g h)
et que le morphisme identique soit une unite pour la composition, i.e., si f : X Y est un
morphisme, on a f idX = f et idY f = f . On definit alors un isomorphisme f : X Y comme
un morphisme inversible pour la composition, cest à dire pour lequel il existe g : Y X tel
que g f = idX et f g = idY .
Il ny a pas de raison de differentier deux objets dune categorie sils sont isomorphes. On
peut aussi considerer que les morphismes sont un moyen de comparer les objets entre eux. Les
exemples de categories bien connues de tous sont nombreux :
la categorie (Ens) des ensembles dont les objets sont les ensembles et les morphismes sont
les application.
la categorie (Grp) des groupes donc les objets sont les groupes et les morphismes sont les
applications.
la categorie (Top) des espaces topologiques dont les objets sont les espaces topologiques
et les morphismes les applications continues.
la categorie (Anneaux) des anneaux commutatifs unitaires muni des morphismes danneaux unitaires.
Une foi definie la notion de categorie, on peut se poser la question de comparer les categories
entre elles, cest à dire de definir une notion de morphisme entre categories. On aboutit alors à
la notion de foncteur.
Definition 61. Soit C et D deux categories. Un foncteur F : C D est la donnee
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 lidentite, i.e.,
1. si f et g sont deux morphismes composables, on a legalite F (f g) = F (f ) F (g),
2. F (idX ) = idF (X) .

114
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)
lensemble sous-jacent. On va voir dans la suite que la plupart des constructions (covariantes)
dobjets mathematiques peuvent-etre considerees comme des foncteurs.
On peut aussi comparer les foncteurs entre eux, en definissant des morphismes entre foncteurs, 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 categorie au sens
strict du terme. On negligera ce problème dans la suite.
Definition 62. Soit F, G : C D deux foncteurs. Une transformation naturelle : F G est
la donnee
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 categorie D de la forme
F (X)
F (f )
F (Y )
/ G(X)

G (f )
/ G(Y ).
Ces donnees etant aussi compatibles à la composition et au morphisme identique. On note

(Fonct)(C, D) la categorie dont les objets sont les foncteurs F : C D et donc les
morphismes Hom(F, G) sont les transformations naturelles.
6.10.2
Propri
et
es universelles et foncteurs repr
esentables
Les categories peuvent-etre considerees comme un outil pour comparer entre eux les objets
mathematiques (en utilisant les morphismes). Dans cette perspective, on peut considerer que si
lon sait comparer un objet A dune categorie C à tous les autres objets de C, on connait lobjet
A`
a isomorphisme unique près. Cest cet enonce, appele lemme de Yoneda, qui est à la base de
la notion de propriete universelle.
Si C est une categorie, on note C la categorie (Fonct)(C, (Ens)) donc les objets sont les
foncteurs F : C (Ens).
Lemme 2. (Yoneda) Soit A un objet de la categorie C. Le foncteur
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 fidèle, i.e., lapplication induite

Hom(U, V ) Hom(FA (U ), FA (V ))
pour toute paire (U, V ) dobjets de C est bijective.
6.10. CATEGORIES
115
On peut traduire cet enonce en disant que la connaissance dun objet dune categorie est
equivalente à la connaissance des ensembles de morphismes de cet objet dans tous les autres
objets de ladite categorie et de leurs compatibilites. On peut maintenant enoncer ladage de
Grothendieck :
Les objets mathematiques en eux meme nont pas dimportance :
ce qui compte, ce sont les relations quils entretiennent,
i.e., les morphismes.
Definition 63. Une propriete universelle pour un objet A dune categorie C est la donnee dun
foncteur explicite F : C (Ens) et dun isomorphisme de foncteur
: F FA = Hom(A, .).
On dit alors que lobjet A represente le foncteur F .
Pour illustrer lutilisation de ces methodes, on peut definir differents objets mathematiques
en donnant leur propriete universelle :
1. lensemble vide est lobjet initial de la categorie (Ens) des ensembles : lensemble Hom(, X)
est reduit à linclusion F (X) = { X} pour tout ensemble X.
2. lensemble à un element {1} (le point) est lobjet final de la categorie (Ens) : Hom(X, {1}) =
F{1} (X) = {pX : x 1} est aussi reduit à un element donne par la projection naturelle.
3. lanneau des entiers Z est lobjet initial de la categorie (Anneaux) : Hom(Z, A) = FZ (A) =
{i : Z A} est reduit au morphisme canonique donne par i(n.1) = n.1A .
4. lanneau nul 0 est lobjet final de la categorie des anneaux : Hom(A, 0) = F0 (A) = {0 :
A 0}.
5. lanneau norme (R, |.| : R R+ ) est la completion de lanneau norme (Q, |.| : Q R+ ) :
les homomorphismes bornes danneaux normes de (R, |.|) dans un anneau norme complet
(A, |.|) sont identifies aux homomorphismes danneaux normes de Q dans cet anneau norme
complet (remarquons que le semi-anneau ordonne R+ utilise dans cette definition peut lui
aussi etre defini par une propriete universelle faisant intervenir la notion de completion
pour la borne superieure).
6. lespace vectoriel norme (L2 (R, C), . 2 ) est la completion de lespace vectoriel norme
(Cc (R, C), . 2 ) des fonctions continues à support compact sur R à valeurs complexes
pour la norme f
2
R |f (x)| dx.
Le lemme de Yoneda permet donc de considerer que tout objet mathematique peut-etre
defini par une propriete universelle. Lavantage evident de ce type de definition est quelle permet
exactement de dire ce quon peut faire avec ledit objet mathematique, alors quune definition
`
a la main ne met pas en evidence les limites implicites mises à lutilisation de ce dernier.
6.10.3
G
eom
etrie virtuelle et espaces de modules
De nombreux objets geometriques de la physique ont une structure riche mais ne peuvent etre
consideres comme des varietes car leurs proprietes nave ont un mauvais comportement : varietes

116
de dimension infinie, espace ne possedant pas de structure nave de variete, etc... La geometrie
virtuelle, inventee par Grothendieck pour les besoins de la geometrie algebrique, permet de
remedier partiellement à ces problèmes de definitions. Voici comment on procède :
Soit (ModLoc) une categorie appelee categorie des modèles locaux. On prendra par exemple
la categorie des ouverts differentiables dont les objets sont des ouverts U Rn avec n variable
et dont les morphismes sont les applications infiniment differentiables f : U V entre iceux (ou
encore celle des ouverts differentiables mesures dont les objets sont les couples (U, ) formes dun
ouvert U de Rn et de la mesure induite par linclusion, et les morphismes sont les applications
mesurees, cest à dire qui preservent la mesure). Prenons le cas o`
u (ModLoc) est la categorie
des ouverts differentiables.
Une variete differentiable S comme definie precedemment definit alors un foncteur
S : (ModLoc) (ModLoc)
par U C (U, S) appele foncteur des points de S à valeurs dans les modèles locaux. Le
recouvrement de i Ui S de S par un atlas de modèles locaux permet de montrer que la
variete S est uniquement determinee par le foncteur S. Ce foncteur verifie dailleurs une propriete
relativement fine : cest un faisceau sur la categorie (ModLoc) pour ce quon appelle une
topologie de Grothendieck (dont les recouvrements sont donnes par les recouvrements ouverts).
Un foncteur plus general M de (ModLoc) pourra ainsi, sil verifie la propriete detre un
faisceau pour la topologie ouverte, etre considere comme une variete virtuelle ayant les objets
de (ModLoc) comme modèles locaux.
Definition 64. Une variete virtuelle sur une categorie ((ModLoc), ) munie dune topologie
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 proprietes et invariants dune variete
donnee S peuvent etre definis en utilisant uniquement la variete virtuelle sous-jacente S sur
les modèles locaux et les proprietes et invariants des modèles locaux. Ceci permet par exemple
de donner des definitions precises à de nombreux espaces consideres par les physiciens, comme
lespace des sous-varietes de type espace dun espace temps (M, g).
Si on veut considerer des invariants infinitesimaux, il est utile de disposer de foncteurs pas
seulement dans (ModLoc) mais plutot
S : (ModLoc) (Anneaux)(Ens)
de la forme U [f Hom(U, S) f OS (U )].
6.10.4
Cohomologie et suites spectrales
Definition 65. Une categorie additive est une categorie telle que
1. les ensembles de morphismes sont munis de structures de groupes abeliens,
2. les compositions sont des applications Z-bilineaires,
3. les produits et coproduits finis existent.
6.10. CATEGORIES
117
Une categorie abelienne est une categorie additive dans laquel tous les morphismes admettent un
noyau et un conoyau, et telle que les monomorphismes (resp. epimorphismes) soient des noyaux.
Un complexe C = (Cn , dn )nZ dans une categorie abelienne A est une famille dobjets Cn
de A indexes par les entiers et une famille de morphismes appeles morphismes de cobords
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) indexee par les entiers donnee par les quotients
H n (C) = Ker(dn )/Im(dn1 ).
Lutilisation du lemme du serpent permet dassocier à toute suite exacte de complexes
0LM N 0
une suite exacte longue
H n (L) H n (M ) H n (N ) H n+1 (L) H n+1 (M )
appelee suite exacte longue de cohomologie. Les suites spectrales sont des generalisations naturelles des suites exactes longues de cohomologie.
Definition 66. Une suite spectrale dans une categorie abelienne est la donnee
1. dune famille indexee par r Z dobjet bigradues
Erp,q
Er =
p,qZ
appeles les feuilles de la suite spectrale,

2. dendomorphismes dr : Er Er tels que d2r = 0 (en pratique, ils seront de bidegre
(r, 1 r)),
3. disomorphismes Er+1
= H(Er ) entre la (r + 1)-ième feuille et la cohomologie de la r-ième
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 differentielles partant et aboutissant à Erp,q (donnees par dpr,q+r1
et dp,q
r
r )
sont nulles.
Si C est un complexe, on lui associe la suite spectrale dont la 0-feuille est

E0 = qZ E00,q = qZ Cq
et la première differentielle d : E00,q = Cq Cq+1 = E00,q+1 est celle du complexe. La 1-feuille et
toutes les autres sont alors donnees par la cohomologie H (C) munie des differentielles nulles.
Un complexe filtre est un couple (C, F C) forme dun complexe et dune filtration decroissante
p
F C F p+1 C decroissante (exhaustive et separee, i.e. lintersection de tous les termes de la
filtration est nulle et leur reunion est le complexe C).

118
Definition 67. Soit (C, F C) un complexe filtre. On pose

1. Z0p,q = F p C p+q ,
2. B0p,q = 0,
3. Zrp,q = Ker(d : F p C p+q C p+q+1 /F p+r C p+q+1 ),
4. Brp,q = F p C p+q Im(d : F pr C r+q1 C p+q ).
La suite spectrale associee au complexe filtre (C, F C) est
(Erp,q :=
Zrp,q
Brp,q + Zrp+1,q1
, dr := d : Erp,q Erp+r,qr+1 ).
On verifie aisement que Er+1 donne bien la cohomologie de Er . Si le complexe et la filtration

sont tous les deux bornes à gauche :
p,q
E
= grp H p+q (C).
La difficulte majeure dans lutilisation des suites spectrales est dexpliciter les differentielles
et les termes de la suite dans des cas particuliers.
La suite spectrale associee à un complexe seul correspond à la filtration triviale 0 C. Si on
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
E10,q = H q (N ) et E11,q = H q+1 (L).
La differentielle donne lapplication de bord de la suite exacte longue de cohomologie et la
degenerescence de la suite spectrale à la deuxième feuille permet aussi de demontrer lexactitude
de ladite longue suite.
6.10.5
R
esolutions classiques
Soit A une algèbre sur un corps K et I A un ideal. Lobjectif est de definir une resolution
libre explicite du quotient A/I en tant que A-module. Ceci permet de calculer le foncteur
TorA (., A/I) derive du foncteur . A A/I.
La methode generale nutilisant aucune hypothèse sur lideal I est de considerer un système
generateur S1 de lideal I et de considerer lapplication A(S1 ) A qui envoie les elements de
S1 sur leur image dans I. Ensuite, on considère un système generateur S2 du noyau de cette
application et on construit lapplication A(S2 ) A(S1 ) aussi par une simple evaluation. Si on
pose S0 = 0, on obtient par recurrence un complexe exact A(S. ) de A-modules qui donne une
resolution libre du A-module A/I.
Si lideal est regulier (voir ci-dessous), on peut construire une resolution plus simple et qui
depend de moins de choix, appelee resolution de Koszul. On se refère au chapitre XII, 4 du
livre de Lang [Lan93] pour letude detaillee de cette resolution.
Un système fini S = {x1 , . . . , xn } de generateurs de I est regulier si
6.10. CATEGORIES
119
A/I = 0,
x1 nest pas un diviseur de zero dans A,
pour i 2, xi nest pas un diviseur de zero dans A/(x1 , . . . , xi1 ).
On note A(S) le module libre sur A engendre par lensemble S.
Definition 68. Le complexe de Koszul du couple (A, S) est le complexe A(S) muni de la
differentielle
d : p A(S) p1 A(S)
donnee par d(xi ) = xi sur A(S) , et plus generalement par
p
(1)j1 xij .ei1 eij eip
d(ei1 eip ) =
j=1
sur p A(S) .
Le complexe A(S) est une resolution libre du quotient A/I.
6.10.6
Cohomologie de groupe et dalg`

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

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 symetries par un ideal I. Ceci permet dutiliser les
resolutions libres standard de la section 6.10.5 pour calculer la cohomologie.
Le cas le plus simple est celui de la cohomologie dalgèbre de Lie. Lideal I A(g) est lideal
engendre par le système generateur regulier donne par une base de g et la resolution libre de
A = A(g)/(g) en tant que A(g)-module est la resolution de Koszul g. La cohomologie de g à
coefficients dans un module M est alors donnee par le complexe
HomA ( g, M )
= g A M

120
quon peut decrire explicitement comme suit. La première differentielle d : M g M est

donnee par
(dm)(g) = gm.
On etend cette application en d : p g M p+1 g M par
d( m) = d m + (1)p dm.
En degre 0, on obtient bien
H 0 (g, M ) = {m M | gm = 0, g g} = M g .
6.10.7
Alg`
ebres de Lie diff
erentielles gradu
ees et d
eformations
Bibliographie
[BD04]
Alexander Beilinson and Vladimir Drinfeld. Chiral algebras, volume 51 of American Mathematical Society Colloquium Publications. American Mathematical Society,
Providence, RI, 2004.
[Bes08]
Arthur L. Besse. Einstein manifolds. Classics in Mathematics. Springer-Verlag,

Berlin, 2008. Reprint of the 1987 edition.
[BO78]
Pierre Berthelot and Arthur Ogus. Notes on crystalline cohomology. Princeton

University Press, Princeton, N.J., 1978.
ements de mathematique. Hermann, Paris, 1975. Fasc. XXXN. Bourbaki. El
VIII : Groupes et algèbres de Lie. Chapitre VII : Sous-algèbres de Cartan, elements
reguliers. Chapitre VIII : Algèbres de Lie semi-simples deployees, Actualites Scientifiques et Industrielles, No. 1364.
[Bou75]
[B
uh06]
Oliver B
uhler. A brief introduction to classical, statistical, and quantum mechanics,
volume 13 of Courant Lecture Notes in Mathematics. New York University Courant
Institute of Mathematical Sciences, New York, 2006.
[CDM06]
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.
[CM08]
Alain Connes and Matilde Marcolli. Noncommutative geometry, quantum fields

and motives, volume 55 of American Mathematical Society Colloquium Publications.
American Mathematical Society, Providence, RI, 2008.
[Cvi04]
P. Cvitanovic. Field Theory. ChaosBook.org/FieldTheory. Niels Bohr Institute,

Copenhagen, 2004.
[DDM04]
Bryce DeWitt and Cecile DeWitt-Morette. From the Peierls bracket to the Feynman
functional integral. Ann. Physics, 314(2) :448463, 2004.
[Der92]
Andrzej Derdzi
nski. Geometry of the standard model of elementary particles. Texts
and Monographs in Physics. Springer-Verlag, Berlin, 1992.
[Der93]
Andrzej Derdzi
nski. Geometry of elementary particles. In Differential geometry :
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
122
BIBLIOGRAPHIE
[DeW03]
Bryce DeWitt. The global approach to quantum field theory. Vol. 1, 2, volume 114
of International Series of Monographs on Physics. The Clarendon Press Oxford
University Press, New York, 2003.
[DG62]
M. Demazure and A. Grothendieck. SGA 3 : Schemas en groupes. Springer-Verlag,

Lecture Notes in Mathematics, 152, 1962.
[Dir82]
P. A. M. Dirac. The Principles of Quantum Mechanics (International Series of

Monographs on Physics). Oxford University Press, USA, February 1982.
[dM98]
Louis Boutet de Monvel. Renormalisation (daprs connes et kreimer). Sminaire

Bourbaki, 1998.
[FLS02]
Ron Fulp, Tom Lada, and Jim Stasheff. Noethers variational theorem ii and the bv
formalism. arXiv, 2002.
[Fol08]
Gerald B. Folland. Quantum field theory : a tourist guide for mathematicians, volume
149 of Mathematical Surveys and Monographs. American Mathematical Society,
Providence, RI, 2008.
[FR05]
Michael Forger and Sandro Vieira Romero. Covariant Poisson brackets in geometric
field theory. Comm. Math. Phys., 256(2) :375410, 2005.
[GC62]
I. M. Guelfand and G. E. Chilov. Les distributions. Traduit par G. Rideau. Collection

Universitaire de Mathematiques, VIII. Dunod, Paris, 1962.
[GIMM98] Mark J. Gotay, James Isenberg, Jerrold E. Marsden, and Richard Montgomery.
Momentum maps and classical relativistic fields. part i : Covariant field theory.
1998.
ements de geometrie algebrique. IV. Etude
[Gro67]
A. Grothendieck. El
locale des schemas
et des morphismes de schemas IV. Inst. Hautes Etudes Sci. Publ. Math., (32) :361,
1967.
[Hen94]
M. Henneaux. Spacetime locality of the antifield formalism : a mise au point,

1994.
[H
or07]
Lars Hormander. The analysis of linear partial differential operators. III. Classics in
Mathematics. Springer, Berlin, 2007. Pseudo-differential operators, Reprint of the
1994 edition.
[HT92]
Marc Henneaux and Claudio Teitelboim. Quantization of gauge systems. Princeton

University Press, Princeton, NJ, 1992.
[Kat70]
Nicholas M. Katz. Nilpotent connections and the monodromy theorem : Applications
of a result of Turrittin. Inst. Hautes Etudes

Sci. Publ. Math., (39) :175232, 1970.
[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]
Joseph Krasilshchik and Alexander Verbovetsky. Homological methods in equations

of mathematical physics. arXiv, 1998.
[Lan93]
Serge Lang. Algebra. Addison-Wesley, New York, third edition, 1993.
BIBLIOGRAPHIE
123
[LL66]
L. Landau and E. Lifchitz. Physique theorique. Tome II : Theorie du champ.
Deuxième edition revue. Traduit du russe par Edouard Gloukhian. Editions

Mir,
Moscow, 1966.
[Nes03]
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.
[Pau10]
F Paugam. Histories and observables in covariant field theory. Paris, pages 1...,
2010.
[Pei52]
R. E. Peierls. The commutation laws of relativistic field theory. Proc. Roy. Soc.
London. Ser. A., 214 :143157, 1952.
[Pen05]
Roger Penrose. The road to reality. Alfred A. Knopf Inc., New York, 2005. A
complete guide to the laws of the universe.
[Phi01]
Tony Phillips.
Finite dimensional feynman diagrams.
http ://www.ams.org/featurecolumn/archive/feynman1.html :17, 2001.
[Riv90]
R. J. Rivers. Path integral methods in quantum field theory. Cambridge Monographs

on Mathematical Physics. Cambridge University Press, Cambridge, second edition,
1990.
[RS80]
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.
[Spr98]
T. A. Springer. Linear algebraic groups. Birkhauser Boston Inc., Boston, MA, second
edition, 1998.
[Tay96]
Michael E. Taylor. Partial differential equations, volume 23 of Texts in Applied

Mathematics. Springer-Verlag, New York, 1996. Basic theory.
[van08a]
Walter D. van Suijlekom. Renormalization of gauge fields using hopf algebras, 2008.
[van08b]
Walter D. van Suijlekom. The structure of renormalization hopf algebras for gauge
theories i : Representing feynman graphs on bv-algebras, 2008.
[Vin01]
A. M. Vinogradov. Cohomological analysis of partial differential 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.
[Vit08]
L. Vitagliano. Secondary calculus and the covariant phase space. arXiv, 2008.
[vN96]
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.
[Wat79]
William C. Waterhouse. Introduction to affine group schemes. Springer-Verlag, New

York, 1979.
AMS,
124
BIBLIOGRAPHIE
[ZJ93]
J. Zinn-Justin. Quantum field 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.
[ZJ05]
J. Zinn-Justin. Path integrals in quantum mechanics. Oxford Graduate Texts. Oxford

University Press, Oxford, 2005.
[Zuc87]
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.

Axiomatique Physique

Încărcat de

Informații document

Drepturi de autor

Formate disponibile

Partajați acest document

Partajați sau inserați document

Opțiuni de partajare

Vi se pare util acest document?

Este necorespunzător acest conținut?

Drepturi de autor:

Formate disponibile

Axiomatique Physique

Încărcat de

Drepturi de autor:

Formate disponibile

Les mathematiques

Table des mati`

3 Physique quantique sans interactions

3.1.3 Quantification de Heisenberg/Schrodinger . . . . . . . . . . . . .

4 Physique quantique avec interactions

6.1.3 Les r`egles de Feynman en dimension finie . . . . . . . . . . .

On sinteresse uniquement ici `

La physique moderne utilise deux principes de base :

Lexemple le plus simple est celui o`

Principe de moindre action

Laction associee `a un probl`eme variationnel lagrangien est la fonctionnelle S : WX A

La phase lagrangienne associee `a un probl`eme variationnel lagrangien est la fonctionnelle

(F.eiSint )( J ).e 2 J.Slibre .J

et on peut trouver ses extremales en resolvant lequation dEuler-Lagrange correspondante (si

CHAPITRE 2. PHYSIQUE CLASSIQUE

dans 1 (T X). Le crochet de Poisson {., .} : C (T X) C (T X) C (T X) est alors donne

H(q, p) := sup p(q) L(q, q).

CHAPITRE 2. PHYSIQUE CLASSIQUE

quand la source J vaut zero.

Principe 3 (Principe de relativit

est une constante universelle et R est la courbure scalaire de g, et lequation

CHAPITRE 2. PHYSIQUE CLASSIQUE

Demonstration. Comme g respecte la connexion , pour tout triplet de champs de vecteurs

avec g 1 Ric End(T ).

CHAPITRE 2. PHYSIQUE CLASSIQUE

equations dEuler-Lagrange, appelees equations dEinstein en presence de mati`ere, font intervenir

en coordonnees spheriques avec m la masse du soleil et G la constante cosmologique de Newton.

Le but de la theorie de Kaluza-Klein est de donner une combinaison de la theorie de la

CHAPITRE 2. PHYSIQUE CLASSIQUE

Soit M une variete de dimension 4 munie dun U (1)-fibre principal p : P M . On se fixe

et si on int`egre sur les fibres, on obtient laction

Cordes classiques et lagrangien de Polyakov

On peut voir ceci algebriquement de la mani`ere suivante. Soit G : T A T A et g : T T

Le champ electromagnetique F 2 (M ) nest en general que localement integrable en un

CHAPITRE 2. PHYSIQUE CLASSIQUE

La trajectoire qui minimise cette action est un potentiel A (1 (P ) Lie(G))G .

Definition 8. Une theorie de Jauge avec mati`ere est un tuplet

Le processus de fixation de jauge

CHAPITRE 2. PHYSIQUE CLASSIQUE

Champs classiques fermioniques

Particules classiques de mati`

Un dictionnaire entre physique et g

Symetries des particules

Spin dune particule

faisceau F localement libre sur CM,C

etre des applications

Plus precisement, linverse de la metrique donne un isomorphisme g 1 : 1M TM et donc un

loperateur := id + id , on peut ecrire

et dappliquer la trace `a cette derivee convariante seconde. Lequation de Klein-Gordon secrit

CHAPITRE 2. PHYSIQUE CLASSIQUE

Particules de spin 1/2

qui derive du lagrangien

Llibre ()(x) = L0 ((x), (x)),

CHAPITRE 2. PHYSIQUE CLASSIQUE

Particule elementaire dinteraction

Particule de mati`ere en interaction

avec des connexions

Physique quantique sans interactions

CHAPITRE 3. PHYSIQUE QUANTIQUE SANS INTERACTIONS

On rappelle le point de vue de von Neumann/Schrodinger sur la mecanique quantique, quon

ce qui correspond `a la quantification nave de la mecanique hamiltonienne obtenue en remplacant

CHAPITRE 3. PHYSIQUE QUANTIQUE SANS INTERACTIONS

On definit une realisation classique du syst`eme quantique Hq = (I, H, WH , WA , H : H H)

4. On souhaite plus generalement disposer dun morphisme dalg`ebres de Lie