Theorie de jauge

En physique théorique, une théorie de jauge est une théorie des champs basée sur un groupe de symétrie locale, appelé groupe de jauge, définissant une « invariance de jauge ». Le prototype le plus simple de théorie de jauge est l'électrodynamique classique de Maxwell.

L'expression « invariance de jauge » a été introduite en 1918 par le mathématicien Hermann Weyl.

Sommaire 1 Description mathématique 1.1 Champs de jauge & espaces fibrés 1.2 Quelques groupes de Lie 1.2.1 Principaux groupes de Lie 1.2.2 Cas particuliers 2 Exemples physiques 3 Voir aussi 4 Bibliographie 4.1 Bibliothèque virtuelle 4.2 Aspects historiques 4.3 Ouvrages d'introduction à la théorie quantique des champs 4.4 Ouvrages de mathématiques pour physiciens théoriciens 5 Ouvrages de physique pour mathématiciens 6 Notes et références

Description mathématique

On considère un espace-temps classique modélisé par une variété différentielle lorentzienne à quatre dimensions, pas nécessairement courbe.

Champs de jauge & espaces fibrés

Les théories de champs de jauge dans l'espace-temps utilisent la notion d'espace fibré différentiel. Il s'agit encore d'une variété différentielle, mais de dimension plus grande que celle de l'espace-temps, qui joue ici le rôle d'espace de base du fibré.

On considère plus précisément un fibré principal, dont la fibre s'identifie au groupe de structure qui est un groupe de Lie précisant la symétrie de la théorie, appelée « invariance de jauge ».

Un champ de jauge A y apparait comme une connexion, et la forme de Yang-Mills associée F = dA comme la courbure associée à cette connexion.

Quelques groupes de Lie

Principaux groupes de Lie

• O(n) est le groupe orthogonal sur d'ordre n, i.e. le groupe multiplicatif des matrices n × n réelles orthogonales (vérifiant ^tMM = I_n).
• SO(n) est le groupe spécial orthogonal sur d'ordre n, i.e. le groupe multiplicatif des matrices n × n réelles orthogonales et de déterminant 1 (vérifiant ^tMM = I_n et det M = 1).
• U(n) est le groupe unitaire sur d'ordre n, i.e. le groupe multiplicatif des matrices n × n complexes unitaires (vérifiant M*M = I_n).
• SU(n) est le groupe spécial unitaire sur d'ordre n, i.e. le groupe multiplicatif des matrices n × n complexes unitaires et de déterminant 1 (vérifiant M*M = I_n et det M = 1).

Cas particuliers

• O(1) = {1, -1}
• SO(1) = {1}.
• U(1) = SU(1) est le cercle unité complexe. Il est égal à
• SO(2) est isomorphe à U(1) : c'est l'ensemble des rotations du plan laissant 0 invariant.
• SO(3) est l'ensemble des rotations de l'espace à 3 dimensions.

Exemples physiques

Ont été démontrées pertinentes pour le monde réel :

• la théorie de jauge classique U(1), qui s'identifie à la théorie électromagnétique de Maxwell. C'est une théorie abélienne, qui admet des extensions non-abéliennes intéressantes appelées théories de Yang-Mills, basées sur les groupes non-abéliens SU(n).

• Après quantification, deux des théories de Yang-Mills constituent l'actuel « modèle standard » de la physique des particules :
  • le modèle électro-faible de Glashow, Salam et Weinberg est basé sur le groupe U(1) x SU(2) et décrit de façon unifiée l'électromagnétisme et l'interaction nucléaire faible.
  • la chromodynamique quantique est basée sur le groupe SU(3), et décrit l'interaction nucléaire forte entre les quarks et les gluons.

Voir aussi

• Espace fibré
• Fibré principal
• Groupe de Lie
• Connexion
• Équations de Maxwell
• Équations de Yang-Mills
• Relativité générale
• Théorie quantique des champs
• Histoire de la théorie quantique des champs
• Modèle standard
• Symétrie (physique)

Bibliographie

Bibliothèque virtuelle

• Delamotte, Bertrand ; Un soupçon de théorie des groupes : groupe des rotations & groupe de Poincaré, cours d'introduction pour physiciens (prolégomènes à un cours de théorie quantique des champs) donné en 1995 par Bertrand Delamotte (Laboratoire de Physique Théorique et Hautes Energies, Université Paris 7) au D.E.A. "Champs, Particules, Matières" . 127 pages.

Aspects historiques

• John D. Jackson & L.B. Okun ; Historical roots of gauge invariance, Review of Modern Physics 73 (2001) 663-680. Texte complet disponible sur l'ArXiv : hep-ph/0012061.

• Lochlainn O'Raifeartaigh ; The Dawning of Gauge Theory, Princeton University Press (May 5, 1997), ISBN 0-69-102977-6.

• Tian Yu Cao ; Conceptual Developpments of 20th Century Field Theories, Cambridge University Press (1997), ISBN 0-521-63420-2.

Ouvrages d'introduction à la théorie quantique des champs

• Michel Le Bellac ; Des phénomènes critiques aux champs de jauge - Une introduction aux méthodes et aux applications de la théorie quantique des champs, InterEditions/Editions du C.N.R.S. (1988), ISBN 2-86883-359-4. Réédité par E.D.P. Sciences.

Ouvrages de mathématiques pour physiciens théoriciens

• Theodore Frenkel ; The Geometry of Physics - An introduction, Cambridge University Press (1997), ISBN 0-521-38753-1.

• Mikio Nakahara ; Geometry, Topology ans Physics, Institute of Physics Publishing (1990), ISBN 0-85274-095-6.

• Charles Nash & Siddharta Sen ; Topology & Geometry for Physicists, Academic Press (1983), ISBN 0-12-514080-0.

• Yvonne Choquet-Bruhat & Cécile deWitt-Morette ; Analysis, Manifolds & Physics - Part I: Basics, North-Holland/Elsevier (2^e édition révisée - 1982), ISBN 0-444-86017-7.

Ouvrages de physique pour mathématiciens

• Pierre Deligne & Al ; Quantum Fields and Strings: A Course for Mathematicians, Amer Mathematical Society (27 Jan 2000), ISBN 0821820141

Notes et références

• Portail des mathématiques
• Portail de la physique