# Forme basique

En géométrie différentielle, une forme basique est une forme différentielle sur un $G$-fibré principal qui vérifie certains axiomes. Les formes basiques descendent à des formes différentielles à valeurs en un fibré vectoriel associé du fibré principal. La 2-forme de courbure d'une forme de connexion est un exemple de forme basique.
Les formes basiques généralisent les sections d'un fibré associé. Ceci permet de généraliser la notion de dérivée covariante à une dérivée covariante extérieure (en).

## Définition

Soient :
* $G$, un groupe de Lie ;
* $B$, une variété différentielle ;
* $\pi :P\to B$, un $G$-fibré principal sur $B$.
Dénotons l'action de groupe à droite de $G$ sur $P$ par :
    $\Phi :G\to \mathrm {Diff} (P)$
de sorte que $a\cdot \lambda =\Phi _{\lambda }(a)$ pour tout $a\in P$ et tout $\lambda \in G$. Soit $V\subset TP$ la distribution verticale sur $P$.

### Définition

Une $k$-forme basique réelle sur $P$ est une $k$-forme différentielle $\alpha \in \Omega ^{k}(P;\mathbb {R} )$ qui satisfait les deux axiomes suivants :
* $\alpha$ est $G$-invariante, c.-à-d. :
    $(\Phi _{\lambda })^{*}\alpha =\alpha ,\qquad \forall \lambda \in G$
* $\alpha$ est horizontale, c.-à-d. pour tout vecteur tangent vertical $v\in V$ sur $P$, on a :
    $\iota _{v}\alpha =0$
On dénote par $\Omega _{\mathrm {id} ,\mathrm {hor} }^{k}(P;\mathbb {R} )$ l'ensemble des formes basiques réelles sur $P$.

### Remarque

Les $k$-formes basiques réelles sur $P$ sont en bijection avec les $k$-formes différentielles réelles sur $B$. On a alors on a deux isomorphismes d'espaces vectoriels :
    $\cdot ^{\sharp }:\Omega ^{k}(B;\mathbb {R} )\to \Omega _{\mathrm {id} ,\mathrm {hor} }^{k}(P;\mathbb {R} )$
    $\cdot _{\sharp }:\Omega _{\mathrm {id} ,\mathrm {hor} }^{k}(P;\mathbb {R} )\to \Omega ^{k}(B;\mathbb {R} )$
tels que $(\alpha _{\sharp })^{\sharp }=\alpha$ et $(\alpha ^{\sharp })_{\sharp }=\alpha$. Explicitement, une forme basique réelle sur $P$ est le pull-back de la forme en bas sur $B$ :
    $\alpha ^{\sharp }=\pi ^{*}\alpha$

### Remarque

La notion de forme basique réelle se généralise à la notion de forme basique à valeurs vectorielles. Soient :
* $V$, un espace vectoriel ;
* $\rho :G\to \mathrm {Aut} (V)$, une représentation linéaire de $G$ sur $V$ ;
* $E:=P\times _{\rho }V$, un $V$-fibré vectoriel associé.

### Définition

Une $k$-forme basique à valeurs en $V$ sur $P$ est une $k$-forme différentielle $\alpha \in \Omega ^{k}(P;V)$ qui satisfait les deux axiomes suivants :
* $\alpha$ est $\rho$-équivariante, c.-à-d. :
    $(\Phi _{\lambda })^{*}\alpha =\rho (\lambda )^{-1}\circ \alpha ,\qquad \forall \lambda \in G$
* $\alpha$ est horizontale, c.-à-d. pour tout vecteur tangent vertical $v\in V$ sur $P$, on a :
    $\iota _{v}\alpha =0$
On dénote par $\Omega _{\rho ,\mathrm {hor} }^{k}(P;V)$ l'ensemble des formes basiques à valeurs en $V$ sur $P$.

### Remarque

Les $k$-formes basiques à valeurs en $V$ sur $P$ sont en bijection avec les $k$-formes différentielles à valeurs en $E$ sur $B$. On a alors on a deux isomorphismes d'espaces vectoriels :
    $\cdot ^{\sharp }:\Omega ^{k}(B;E)\to \Omega _{\rho ,\mathrm {hor} }^{k}(P;V)$
    $\cdot _{\sharp }:\Omega _{\rho ,\mathrm {hor} }^{k}(P;V)\to \Omega ^{k}(B;E)$
tels que $(\alpha _{\sharp })^{\sharp }=\alpha$ et $(\alpha ^{\sharp })_{\sharp }=\alpha$.

## Exemple

La 2-forme de courbure d'une 1-forme de connexion $A$ sur $P$ est une forme basique $F_{A}^{\sharp }=dA+{\frac {1}{2}}[A\wedge A]\in \Omega _{\mathrm {Ad} ,\mathrm {hor} }^{2}(P;{\mathfrak {g}})$ pour ${\mathfrak {g}}:=\mathrm {Lie} (G):=T_{e}G$ l'algèbre de Lie de $G$ et $\mathrm {Ad} :G\to \mathrm {Aut} ({\mathfrak {g}})$, la représentation adjointe de $G$ sur ${\mathfrak {g}}$. La 2-forme de courbure sur $P$ descend à une 2-forme de courbure sur $B$ :
    $F_{A}\in \Omega ^{2}(B;\mathrm {Ad} P)$
où $\mathrm {Ad} P=P\times _{\mathrm {Ad} }{\mathfrak {g}}$ est le fibré adjoint de $P$.