Fibré normal
Modèle:Ébauche En géométrie différentielle, le fibré normal d’une sous-variété différentielle est un fibré vectoriel orthogonal au fibré tangent de la sous-variété dans celui de la variété ambiante.
La définition s’étend au cas d’une immersion d’une variété différentielle dans une autre. Elle s’étend aussi plus généralement en topologie différentielle comme un fibré supplémentaire au fibré tangent de la sous-variété.
Les plongements d’une variété dans un espace vectoriel réel étant tous isotopes lorsque la codimension est strictement supérieure à sa dimension, le fibré normal ne dépend plus que de la sous-variété et de cette codimension, menant à la définition du fibré normal stable en K-théorie.
Définition
Cas riemannien
Soient (M, g) une variété riemannienne et S une sous-variété de M. On définit le fibré NS normal à S comme un sous-fibré de la restriction à S du fibré TM tangent à M, de la manière suivante.
En tout point s de S, l'[[espace tangent|espace TModèle:IndS tangent]] à S est un sous-espace vectoriel de TModèle:IndM. Son supplémentaire orthogonal (pour le produit scalaire gModèle:Ind), noté NModèle:IndS, est appelé l'espace normal à S en s.
L'espace total du fibré NS est l'union disjointe des NModèle:IndS.
Cas général
Soient M et S deux variétés et i : S → M une immersion (par exemple un plongement). On définit le fibré normal NS comme un quotient de la restriction à S du fibré TM, de la manière suivante.
En tout point s de S, l'application linéaire tangente TModèle:Indi est un isomorphisme de TModèle:IndS sur son image dans TModèle:IndM, et l'on définit l'espace normal à S comme l'espace vectoriel quotient : NModèle:IndS = TModèle:IndM / TModèle:Indi(TModèle:IndS).
On a donc une suite exacte courte de fibrés vectoriels sur S :
Fibré conormal
Le fibré conormal à S est défini comme le Modèle:Lien de son fibré normal. C'est un sous-fibré du fibré cotangent à M.