Fibré des repères

En géométrie différentielle, un fibré des repères est un certain type de fibré principal qui correspond à un fibré vectoriel sur une variété différentielle. Les points du fibré des repères sont les repères linéaires des fibres du fibré vectoriel correspondant.

L'exemple le plus commun de fibré des repères est le fibré des repères tangents correspondant au fibré tangent d'une variété différentielle. Le fibré des repères tangents revient souvent en géométrie différentielle puisque, par réduction structurelle, il sert à définir plusieurs autres fibrés des repères dont le fibré des repères orthonormaux d'une variété riemannienne ou encore le fibré des repères symplectiques d'une variété symplectique.

La notion de fibré des repères joue un rôle important en physique théorique dont en théorie de jauge, en quantification géométrique ainsi qu'en relativité générale dans sa formulation en tétrades où des champs de repères non holonomiques sont considérés. Le fibré des repères joue aussi un rôle important en physique quantique où son double recouvrement sert à définir la notion de spin 1/2 des fermions. Ensuite, le fibré des repères joue aussi un rôle dans les théories du tout et en théorie de Kaluza-Klein où les groupes structurels en jeu, e.g. $\mathrm{S}\mathrm{U}(3)\times \mathrm{S}\mathrm{U}(2)\times \mathrm{U}(1)$, peuvent être interprétés comme sous-groupes d'un $\mathrm{G}\mathrm{L}(n;ℝ)$ pour Modèle:Mvar assez grand. Enfin, l'importance de la notion de fibré des repères est que, contrairement à la notion plus générale de fibré principal, toute variété différentielle est naturellement munie d'un fibré des repères tangents.

Définition

Soient :

• Modèle:Mvar un espace vectoriel sur un corps $𝕂\in \{ℝ,ℂ\}$ ;
• $\mathrm{G}\mathrm{L}(V)$ le groupe général linéaire de l'espace vectoriel Modèle:Mvar ;
• Modèle:Mvar une variété différentielle ;
• $E\to B$ un Modèle:Mvar-fibré vectoriel sur Modèle:Mvar.

Définition : Le fibré des repères du fibré vectoriel Modèle:Mvar sur Modèle:Mvar est le $\mathrm{G}\mathrm{L}(V)$-fibré principal $\pi :\mathrm{F}\mathrm{r}(E)\to B$ dont les fibres sont données en tout point $x\in B$ par :

${\mathrm{F}\mathrm{r}}_x(E):=\mathrm{I}\mathrm{s}\mathrm{o}\mathrm{m}(V;E_x)$.

Ici, $E_x$ est la fibre de Modèle:Mvar sur le point Modèle:Mvar et $\mathrm{I}\mathrm{s}\mathrm{o}\mathrm{m}(V;E_x)$ dénote l'ensemble des isomorphismes allant de l'espace vectoriel Modèle:Mvar à l'espace vectoriel $E_x$.

L'action de groupe par la droite du groupe structurel $\mathrm{G}\mathrm{L}(V)$ sur le fibré principal $\mathrm{F}\mathrm{r}(E)$ est donnée sur chaque fibre ${\mathrm{F}\mathrm{r}}_x(E)$ par la composition d'applications linéaires :

$a\cdot \lambda :=a\circ \lambda ,\mathrm{\forall }a\in {\mathrm{F}\mathrm{r}}_x(E),\mathrm{\forall }\lambda \in \mathrm{G}\mathrm{L}(V)$

Un élément $a\in {\mathrm{F}\mathrm{r}}_x(E)$ est dit être un repère de la fibre $E_x$.

Remarque : Ici la distinction est faite entre une base vectorielle (qui est un n-uplet de vecteurs) et un repère linéaire (qui est un isomorphisme entre espaces vectoriels). Néanmoins, une base vectorielle de Modèle:Mvar induit une bijection entre les bases vectorielles d'une fibre $E_x$ et les repères linéaires en ${\mathrm{F}\mathrm{r}}_x(E)$.

Sections d'un fibré associé à un fibré des repères

Soit $E\to B$ un fibré vectoriel de fibre type Modèle:Mvar sur Modèle:Mvar et soit $\pi :\mathrm{F}\mathrm{r}(E)\to B$ son fibré des repères correspondant. Considérons la représentation de groupe canonique $\rho :\mathrm{G}\mathrm{L}(V)\to \mathrm{A}\mathrm{u}\mathrm{t}(V)$ donnée par $\rho (\lambda )v=\lambda v$ pour tout $\lambda \in \mathrm{G}\mathrm{L}(V)$ et tout $v\in V$. Alors, Modèle:Mvar est naturellement le fibré associé de son fibré des repères $\mathrm{F}\mathrm{r}(E)$ pour la représentation canonique :

$E=\mathrm{F}\mathrm{r}(E){\times }_{\rho }V$.

Ce faisant, à toute section $\psi :B\to E$ du fibré Modèle:Mvar correspond une fonction $\rho$-équivariante ${\psi }^{\mathrm{♯}}:\mathrm{F}\mathrm{r}(E)\to V$. Plus précisément, la relation entre $\psi$ et ${\psi }^{\mathrm{♯}}$ est donnée par $\psi (\pi (a))=[a,{\psi }^{\mathrm{♯}}(a)]$ en tout $a\in P$. Ici $[\cdot ]$ dénote la classe d'équivalence en $E=\mathrm{F}\mathrm{r}(E){\times }_{\rho }V=(\mathrm{F}\mathrm{r}(E)\times V)/\sim$ pour la relation d'équivalence usuelle $(a,v)\sim (a\cdot \lambda ,\rho (\lambda {)}^{-1}v)$ pour tous $a\in \mathrm{F}\mathrm{r}(E),\lambda \in \mathrm{G}\mathrm{L}(V),v\in V$. Aussi, l'équivariance de ${\psi }^{\mathrm{♯}}$ est explicitement ${\psi }^{\mathrm{♯}}(a\cdot \lambda )=\rho (a{)}^{-1}{\psi }^{\mathrm{♯}}(a)$. Dans le présent cas spécifique des fibrés des repères, Modèle:C.-à-d. un type particulier de fibré principal, on peut utiliser le fait que les points du fibré des repères sont des isomorphismes linéaires pour obtenir l'égalité suivante :

${\psi }^{\mathrm{♯}}(a)=a^{-1}(\psi (\pi (a)))$.

On peut aller encore plus loin. Soit $s_{\alpha }:U_{\alpha }\subset B\to {\pi }^{-1}(U_{\alpha })\subset \mathrm{F}\mathrm{r}(E)$ une section trivialisante locale. Alors, la trivialisation locale ${\psi }_{\alpha }:=s_{\alpha }^{*}{\psi }^{\mathrm{♯}}:U_{\alpha }\to V$ s'écrit explicitement :

${\psi }_{\alpha }=s_{\alpha }^{-1}(\psi )$.

Cette dernière égalité est utile pour exprimer localement une base vectorielle du fibré Modèle:Mvar par un champ de repères local $s_{\alpha }$.

Fibré des repères tangents

Le fibré des repères linéaires tangents sur une variété différentielle Modèle:Mvar de dimension Modèle:Mvar est le $\mathrm{G}\mathrm{L}(n;ℝ)$-fibré principal $\mathrm{F}\mathrm{r}(TB)$ qui correspond au fibré tangent $TB$. Il est aussi commun d'écrire plus simplement $\mathrm{F}\mathrm{r}(B)$ au lieu de $\mathrm{F}\mathrm{r}(TB)$.

Le fibré tangent

Considérons la représentation canonique ${\rho }_0:\mathrm{G}\mathrm{L}(n;ℝ)\to \mathrm{A}\mathrm{u}\mathrm{t}({ℝ}^n)$ donnée par ${\rho }_0(\lambda )v:=\lambda v,\mathrm{\forall }\lambda \in \mathrm{G}\mathrm{L}(n;ℝ),\mathrm{\forall }v\in {ℝ}^n$. Le fibré tangent peut être vu comme un fibré associé du fibré des repères tangents :

$TB=\mathrm{F}\mathrm{r}(B){\times }_{{\rho }_0}{ℝ}^n$

Ici, on voit bien que les points du fibré des repères $\mathrm{F}\mathrm{r}(B)$ correspondent à des repères linéaires tangents sur Modèle:Mvar. En effet, tout repère $a\in \mathrm{F}\mathrm{r}(B)$ induit une base vectorielle $\{v_i{\}}_{i=1,...,n}=\{a(e_i){\}}_{i=1,...,n}$ de la fibre tangente $T_{\pi (a)}B$, pour $\{e_i{\}}_{i=1,...,n}$ la base canonique de ${ℝ}^n$. Inversement, étant donnée une base vectorielle $\{v_i{\}}_{i=1,...,n}$ de $T_{x}B$ il existe un repère $a\in {\mathrm{F}\mathrm{r}}_x(B)$ tel que $v_i=a(e_i),i=1,...,n$.

Le fibré cotangent

Considérons la représentation canonique duale ${\rho }_0^{*}:\mathrm{G}\mathrm{L}(n;ℝ)\to \mathrm{A}\mathrm{u}\mathrm{t}(({ℝ}^n{)}^{*})$ donnée par ${\rho }_0^{*}(\lambda )\alpha :=\alpha \circ {\lambda }^{-1},\mathrm{\forall }\lambda \in \mathrm{G}\mathrm{L}(n;ℝ),\mathrm{\forall }\alpha \in ({ℝ}^n{)}^{*}$. Le fibré cotangent peut être vu comme un fibré associé du fibré des repères tangents :

$T^{*}B=\mathrm{F}\mathrm{r}(B){\times }_{{\rho }_0^{*}}({ℝ}^n{)}^{*}$

Le fibré tensoriel

Plus généralement, tout tenseur sur une variété différentielle est une section du fibré tensoriel. Le fibré tensoriel peut être construit soit à partir des diverses tensorisations des fibrés tangent $TB$ et cotangent $T^{*}B$ soit à partir du fibré des repères $\mathrm{F}\mathrm{r}(B)$ et des diverses tensorisations des représentations canonique et canonique duale.

Les Modèle:Mvar-formes différentielles

Une Modèle:Mvar-forme différentielle est une section du fibré en droites réelles suivant :

${\wedge }^n{T}^{*}B=\mathrm{F}\mathrm{r}(B){\times }_{{\wedge }^n{\rho }_0^{*}}{\wedge }^n({ℝ}^n{)}^{*}$

De manière équivalente, on peut écrire ce dernier fibré comme :

${\wedge }^n{T}^{*}B=\mathrm{F}\mathrm{r}(B){\times }_{\rho }ℝ$

pour la représentation $\rho :\mathrm{G}\mathrm{L}(n;ℝ)\to {ℝ}^{\times };\lambda \mapsto \det (\lambda {)}^{-1}$.

Les densités

Une densité sur une variété Modèle:Mvar est une section du fibré en droites réelles suivant :

$E=\mathrm{F}\mathrm{r}(B){\times }_{\rho }ℝ$

pour la représentation $\rho :\mathrm{G}\mathrm{L}(n;ℝ)\to ({ℝ}_{+},\cdot );\lambda \mapsto {|\det (\lambda )|}^{-1}$. Les densités sont surtout considérées dans un contexte statistique sur une variété différentielle, par exemple en mécanique statistique. En effet, l'intégration d'une densité $d\mu$ sur $U\subset B$ donne lieu à une mesure $\mu (U)=\underset{U}{\int }d\mu$.

Champ de repères holonomiques et non holonomiques

Soit Modèle:Mvar une variété différentielle de dimension Modèle:Mvar, $TB$ son fibré tangent et $\mathrm{F}\mathrm{r}(B)$ son fibré des repères tangents. Un champ de repères tangents local est une section trivialisante locale du fibré des repères tangents :

$s_{\alpha }:U_{\alpha }\subset B\to {\pi }^{-1}(U_{\alpha })\subset \mathrm{F}\mathrm{r}(E)$

La base canonique $\{e_i{\}}_{i=1,...,n}$ de ${ℝ}^n$ et un champ de repères tangents local $s_{\alpha }$ induisent une base locale $\{X_i{\}}_{i=1,...,n}=\{s_{\alpha }(e_i){\}}_{i=1,...,n}$ du fibré tangent $T_{U_{\alpha }}B$ sur $U_{\alpha }$. Lorsque la famille de champs vectoriels $\{X_i{\}}_{i=1,...,n}$ peut s'écrire comme :

$X_i=\frac{\partial }{\partial x^i}$

pour un système de coordonnées locales $(x^i{)}_{i=1,...,n}$ sur $U_{\alpha }$, on dit que $s_{\alpha }$ est un champ de repères holonomique. Autrement dit, un champ de repères holonomique est un champ de repères qui peut s'exprimer en termes de coordonnées locales. Il existe bien entendu des champs de repères qui ne sont pas holonomiques. L'utilité d'un champ de repères non holonomique est, par exemple, d'écrire localement une métrique pseudo-riemannienne courbe comme une métrique de Minkowski, ce qui est bien entendu impossible à faire avec un champ de repères holonomique.

Réduction structurelle et structures

En géométrie différentielle, voici des exemples de structures géométriques couramment introduites sur une variété différentielle Modèle:Mvar de dimension $2n$ :

• une structure riemannienne Modèle:Math est donnée par une section du fibré des formes bilinéaires symétriques $(T^{*}B\odot T^{*}B)$ : $g\in \mathrm{\Gamma }(T^{*}B\odot T^{*}B)$ ;
• une structure symplectique $\omega \in \mathrm{\Gamma }(T^{*}B\wedge T^{*}B)$ ;
• une structure presque-complexe $J\in \mathrm{\Gamma }(T^{*}B\otimes TB)$.

Ces diverses structures géométriques correspondent à diverses réductions structurelles du fibré des repères tangents. Rappelons d'abord qu'une réduction structurelle du $\mathrm{G}\mathrm{L}(2n;ℝ)$-fibré des repères tangents $\mathrm{F}\mathrm{r}(B)$ est la donnée d'un sous-groupe de Lie $G<\mathrm{G}\mathrm{L}(2n;ℝ)$ et d'un sous-$G$-fibré principal $P\subset \mathrm{F}\mathrm{r}(B)$. Mathématiquement :

$a\cdot \lambda \in P,\mathrm{\forall }a\in P\subset \mathrm{F}\mathrm{r}(B),\mathrm{\forall }\lambda \in G<\mathrm{G}\mathrm{L}(2n;ℝ)$

La correspondance entre réduction structurelle et structure géométrique est comme suit. Soit ${\rho }_0$ la représentation canonique de $\mathrm{G}\mathrm{L}(2n;ℝ)$ sur ${ℝ}^{2n}$ et soit ${\rho }_0^{*}$ sa représentation canonique duale. Les structures géométriques $g$, $\omega$ et $J$ sont des sections de fibrés associés du fibré des repères tangents pour respectivement les représentations suivantes :

${\rho }_g={\rho }_0^{*}\odot {\rho }_0^{*}:\mathrm{G}\mathrm{L}(2n;ℝ)\to \mathrm{A}\mathrm{u}\mathrm{t}(({ℝ}^{2n}{)}^{*}\odot ({ℝ}^{2n}{)}^{*})$

${\rho }_{\omega }={\rho }_0^{*}\wedge {\rho }_0^{*}:\mathrm{G}\mathrm{L}(2n;ℝ)\to \mathrm{A}\mathrm{u}\mathrm{t}(({ℝ}^{2n}{)}^{*}\wedge ({ℝ}^{2n}{)}^{*})$

${\rho }_J={\rho }_0^{*}\otimes {\rho }_0:\mathrm{G}\mathrm{L}(2n;ℝ)\to \mathrm{A}\mathrm{u}\mathrm{t}(({ℝ}^{2n}{)}^{*}\otimes {ℝ}^{2n})$

Ce faisant, aux structures géométriques $g$, $\omega$ et $J$ correspondent des fonctions respectivement ${\rho }_g$, ${\rho }_{\omega }$ et ${\rho }_J$-équivariantes sur le fibré des repères tangents :

$g^{\mathrm{♯}}:\mathrm{F}\mathrm{r}(B)\to ({ℝ}^{2n}{)}^{*}\odot ({ℝ}^{2n}{)}^{*}$

${\omega }^{\mathrm{♯}}:\mathrm{F}\mathrm{r}(B)\to ({ℝ}^{2n}{)}^{*}\wedge ({ℝ}^{2n}{)}^{*}$

$J^{\mathrm{♯}}:\mathrm{F}\mathrm{r}(B)\to ({ℝ}^{2n}{)}^{*}\otimes {ℝ}^{2n}$

Soient $\{e_i{\}}_{i=1,...,2n}$ la base canonique de ${ℝ}^{2n}$ et $\{e^i{\}}_{i=1,...,2n}$ sa base canonique duale de $({ℝ}^{2n}{)}^{*}$ définie par $e^i(e_j):={\delta }_j^i,\mathrm{\forall }i,j=1,...,2n$. Sur ${ℝ}^{2n}$ il existe des structures canoniques :

• un produit scalaire canonique $g_0=\sum _{i=1}^{2n}{e}^i\otimes e^i$,
• une forme symplectique canonique ${\omega }_0=\sum _{i=1}^n{e}^i\wedge e^{n+i}$,
• une structure complexe canonique $J_0=\sum _{i=1}^n{e}^i\otimes e_{n+i}-e^{n+i}\otimes e_i$.

Par équivariance des fonctions $g^{\mathrm{♯}}$, ${\omega }^{\mathrm{♯}}$ et $J^{\mathrm{♯}}$ sur le fibré des repères tangents, il existe des sous-variétés où ces trois fonctions équivariantes ont pour valeurs leur version canonique $g_0$, ${\omega }_0$ et $J_0$ :

$P_g:=\{a\in \mathrm{F}\mathrm{r}(B):g^{\mathrm{♯}}{|}_a=g_0\}$

$P_{\omega }:=\{a\in \mathrm{F}\mathrm{r}(B):{\omega }^{\mathrm{♯}}{|}_a={\omega }_0\}$

$P_J:=\{a\in \mathrm{F}\mathrm{r}(B):J^{\mathrm{♯}}{|}_a=J_0\}$

Ces trois sous-variétés de $\mathrm{F}\mathrm{r}(B)$ sont respectivement des $\mathrm{O}(2n;ℝ)$, $\mathrm{S}\mathrm{p}(2n;ℝ)$ et $\mathrm{G}\mathrm{L}(n;ℂ)$ sous-fibrés principaux. C'est ainsi que les structures géométriques correspondent aux réductions structurelles du fibré des repères tangents. Ce phénomène s'étend à d'autres domaines de la géométrie différentielle. Ainsi on peut introduire la notion de structure spinorielle, quand elle existe, par relèvement de la structure du fibré des repères orthornormaux d'une variété riemannienne. Ou encore, en quantification géométrique, une structure hermitienne $h$ correspond à une $\mathrm{U}(1)$-réduction structurelle d'un ${ℂ}^{\times }$-fibré principal.