2-forme de courbure

La 2-forme de courbure est une forme différentielle induite par une forme de connexion sur un fibré principal dans le domaine de la géométrie différentielle.

Définition

Soient :

$G$ , un groupe de Lie ;
${\mathfrak {g}}:=\mathrm {Lie} (G):=T_{e}G$ , l'algèbre de Lie de $G$ ;
$B$ , une variété différentielle ;
$\pi :P\to B$ , un $G$ -fibré principal sur $B$ ;
$\mathrm {Ad} :G\to \mathrm {Aut} ({\mathfrak {g}})$ , la représentation adjointe de $G$ sur son algèbre de Lie ${\mathfrak {g}}$ ;
$\mathrm {Ad} P:=P\times _{\mathrm {Ad} }{\mathfrak {g}}$ , le fibré adjoint de $P$ sur $B$ ;
$\wedge :\Omega ^{p}(P;\mathbb {R} )\times \Omega ^{q}(P;\mathbb {R} )\to \Omega ^{p+q}(P;\mathbb {R} )$ le produit extérieur sur les $k$ -formes différentielles réelles sur $P$ ;
$[\cdot ,\cdot ]:{\mathfrak {g}}\times {\mathfrak {g}}\to {\mathfrak {g}}$ le crochet de Lie sur l'algèbre de Lie ${\mathfrak {g}}$ ;
$[\cdot \wedge \cdot ]:\Omega ^{p}(P;{\mathfrak {g}})\times \Omega ^{q}(P;{\mathfrak {g}})\to \Omega ^{p+q}(P;{\mathfrak {g}})$ le produit wedge-crochet sur les $k$ -formes différentielles à valeurs en ${\mathfrak {g}}$ sur $P$ , défini par les combinaisons linéaires de :
$[(\alpha _{1}\otimes \xi _{1})\wedge (\alpha _{2}\otimes \xi _{2})]:=(\alpha _{1}\wedge \alpha _{2})\otimes [\xi _{1},\xi _{2}],\qquad \forall \alpha _{1}\in \Omega ^{p}(P;\mathbb {R} ),\;\alpha _{2}\in \Omega ^{q}(P;\mathbb {R} ),\;\xi _{1},\xi _{2}\in {\mathfrak {g}}$ ;
$A\in \Omega ^{1}(P;{\mathfrak {g}})$ , une 1-forme de connexion sur $P$ .