Théorie 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 et physicien Hermann Weyl. La première théorie des champs à avoir une symétrie de jauge était la formulation de l'électrodynamisme de Maxwell en 1864 dans . L'importance de cette symétrie est restée inaperçue dans les premières formulations. De façon similaire, Hilbert a redérivé l'Équation d'Einstein en postulant l'invariance de l'action sous une transformation des coordonnées. Plus tard, lorsque Hermann Weyl a tenté d'unifier la relativité générale ainsi que l'électromagnétisme, il a émis l'hypothèse que l'invariance sous un changement d'échelle (ou de « jauge ») serait en fait une symétrie locale de la relativité générale. Suivant le développement de la mécanique quantique, Weyl, Vladimir Fock et Fritz London ont modifié la jauge en remplaçant le facteur d'échelle par un nombre complexe, transformant ainsi le changement d'échelle en un changement de phase, ce qui est une symétrie de jauge en U(1). Cela permettait d'expliquer l'effet qu'a un champ électromagnétique sur la fonction d'onde d'une particule quantique chargée. Cette transformation de jauge est reconnue comme étant la première théorie de jauge, popularisée par Pauli en 1941. On considère un espace-temps classique modélisé par une variété différentielle lorentzienne à quatre dimensions, pas nécessairement courbe. 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 ».