Relevé horizontal
# Relevé horizontal

En géométrie différentielle, il existe plusieurs notions différentes mais intimement reliées de relevé horizontal.

Généralement, il s'agit de relever une entité géométrique depuis la base d'un fibré principal à une entité géométrique sur le fibré principal.

Pour ce faire, il faut que le fibré principal en jeu soit muni d'une distribution horizontale ou encore, de manière équivalente, d'une 1-forme de connexion.

## Définition

Soient :

* $G$, un groupe de Lie ;
* $B$, une variété différentielle ;
* $\pi :P\to B$, un $G$-fibré principal sur $B$ ;
* $A\in \Omega ^{1}(P;{\mathfrak {g}})$, une 1-forme de connexion sur $P$ ;
* $H=\ker(A)$, la distribution horizontale.

### Définition (relevé horizontal d'un vecteur)

Un relevé horizontal d'un vecteur tangent $v\in TB$ est un vecteur ${\tilde {v}}\in TP$ tel que :

    $\pi _{*}({\tilde {v}})=v$
    $A({\tilde {v}})=0$
* Remarque : le vecteur tangent ${\tilde {v}}$ est horizontal en ce sens qu'il repose en la distribution horizontale $H$

### Définition (relevé horizontal d'un champ vectoriel)

Le relevé horizontal d'un champ vectoriel $X\in {\mathfrak {X}}(B)$ est le champ vectoriel ${\tilde {X}}\in {\mathfrak {X}}(P)$ tel que :

    $\pi _{*}({\tilde {X}})=X$
    $A({\tilde {X}})=0$
* Remarque : le champ vectoriel ${\tilde {X}}$ est horizontal en ce sens qu'il repose partout en la distribution horizontale $H$

### Définition (relevé horizontal d'un chemin différentiable)

Un relevé horizontal d'une courbe différentiable $\gamma :[0,1]\to B$ est une courbe ${\tilde {\gamma }}:[0,1]\to P$ telle que pour tout $t\in [0,1]$ on ait:

    $\pi \circ {\tilde {\gamma }}(t)=\gamma (t)$
    $A|_{{\tilde {\gamma }}(t)}({\dot {\tilde {\gamma }}}(t))=0$.
* Remarque : la courbe ${\tilde {\gamma }}$ est horizontale en ce sens qu'elle est partout tangente à la distribution horizontale $H$.

### Définition (relevé horizontal d'une sous-variété)

Soit $M\subset B$ une sous-variété.

Supposons que la 2-forme de courbure $F_{A}\in \Omega ^{2}(B;\mathrm {Ad} P)$ meurt sur $M$.

Alors, $M$ se relève à une sous-variété horizontale en $P$.

