Forme de connexion

Forme de connexion est une forme différentielle sur un G {\displaystyle G} -fibré principal qui vérifie certains axiomes. La donnée d'une forme de connexion permet de parler, entre autres, de courbure, de torsion, de dérivée covariante, de relevé horizontal, d…