# Groupe de jauge

En géométrie différentielle, le groupe de jauge d'un fibré principal est le sous-groupe du groupe des automorphismes du fibré principal qui envoient ses fibres en elles-mêmes. La notion de groupe de jauge joue un rôle primordial en théorie de jauge. En particulier, son action de groupe sur un espace de formes de connexions donne lieu à la notion d'espace de module de connexions, nécessaire à la définition de l'homologie de Floer d'instantons.

## Définition

Soit $\pi :P\to B$ un $G$-fibré principal sur une variété différentielle $B$ et soit $\Phi :G\to \mathrm {Diff} (P)$ son action de groupe agissant par la droite.
Le groupe des automorphismes du fibré $\pi :P\to B$ est le sous-groupe du groupe des difféomorphismes de $P$ qui se projettent à un difféomorphisme de $B$ :
    $\mathrm {Aut} (P,\pi ):=\{{\tilde {f}}\in \mathrm {Diff} (P)|\exists f\in \mathrm {Diff} (B),\pi \circ {\tilde {f}}=f\circ \pi \}$
Le groupe des automorphismes du $G$-fibré principal $\pi :P\to B$ est le sous-groupe du groupe des automorphismes du fibré $P$ qui préservent l'action de groupe $\Phi$ :
    $\mathrm {Aut} (P,\pi ,\Phi ):=\{f\in \mathrm {Aut} (P,\pi )|\forall g\in G,f\circ \Phi _{g}=\Phi _{g}\circ f\}$
Le groupe de jauge de $P$ est le sous-groupe du groupe des automorphismes du $G$-fibré principal $P$ qui envoient les fibres du fibré en elles-mêmes :
    ${\mathcal {G}}:=\{\Lambda \in \mathrm {Aut} (P,\pi ,\Phi )|\pi \circ \Lambda =\pi \}$
Les éléments du groupe de jauge ${\mathcal {G}}$ sont nommés transformations de jauge.
Les transformations de jauge sont en bijection avec les applications $\iota$-équivariantes $\lambda ^{\sharp }:P\to G$, pour $\iota$ l'automorphisme intérieur du groupe structurel $G$ sur lui-même. La correspondance est explicitement donnée par :
    $\Lambda (a)=\Phi _{\lambda (a)^{\sharp }}(a),\qquad \forall a\in P$
Les applications $\iota$-équivariantes $\lambda ^{\sharp }$ descendent à des sections $\iota \in \Gamma (\iota P)$ du fibré associé :
    $\iota P:=P\times _{\iota }G$
Lorsque le fibré $P$ est trivialisé via une section trivialisante locale $s_{\mu }:(U_{\mu }\subset B)\to (\pi ^{-1}(U_{\mu })\subset P)$, les sections $\lambda$ sont trivialisées à des fonctions sur $U_{\mu }$ à valeurs en $G$ :
    $\lambda _{\mu }:=s_{\mu }^{*}\lambda ^{\sharp }:U_{\mu }\to G$

## Transformation de jauge d'une forme connexion

Soit $A$ une forme de connexion sur le fibré principal $P$. Une transformation de jauge $\Lambda$ agit par pull-back sur la connexion $A$:
    $\Lambda ^{*}A$
C'est aussi une forme de connexion sur $P$. Explicitement, un calcul direct montre que la connexion pull-back sur $P$ s'écrit comme :
    $A':=\Lambda ^{*}A=\mathrm {Ad} _{\lambda ^{\sharp }}^{-1}\circ A+(\lambda ^{\sharp })^{-1}d\lambda ^{\sharp }$
En utilisant une section trivialisante locale $s_{\mu }$ du fibré $P$, cette dernière équation se tire en bas à $U_{\mu }$ :
    $A'_{\mu }=\mathrm {Ad} _{\lambda _{\mu }}^{-1}\circ A_{\mu }+(\lambda _{\mu })^{-1}d\lambda _{\mu }$
où $A_{\mu }:=s_{\mu }^{*}A$ et $A_{\mu }':=s_{\mu }^{*}A'$ sont des 1-formes différentielles à valeurs en l'algèbre de Lie ${\mathfrak {g}}$ sur $U_{\mu }$.
En physique, la 1-forme différentielle $A_{\mu }$ est dit être un champ de jauge et la transformation $A'_{\mu }=\mathrm {Ad} _{\lambda _{\mu }}^{-1}\circ A_{\mu }+(\lambda _{\mu })^{-1}d\lambda _{\mu }$ est nommée transformation de jauge. En particulier, dans le cas où le groupe structurel $G$ est abélien, e.g. $U(1)$ en électromagnétisme, la transformation de jauge s'écrit plus simplement:
    $A'_{\mu }=A_{\mu }+d\ln \lambda _{\mu }$

## Applications en physique

En théorie quantique des champs, le groupe de jauge est le groupe de symétrie locale associé à la théorie considérée. Il s'agit du groupe dont les éléments ne changent pas la valeur du lagrangien du système étudié lorsqu'ils s'appliquent au champ qui figure dans le lagrangien.
Les groupes de jauge les plus connus sont le groupe unitaire U(1) pour le champ électromagnétique et les groupes spéciaux unitaires SU(3) pour la chromodynamique quantique, SU(2)xU(1) pour l'interaction électrofaible, SU(3)xSU(2)xU(1) pour le modèle standard.