Forme volume

En géométrie différentielle, une forme volume généralise la notion de déterminant aux variétés différentielles. Elle définit une mesure sur la variété, permet le calcul des volumes généralisés, et la définition générale des orientations.



Catégories :

Topologie différentielle - Volume - Grandeur physique - Métrologie - Forme différentielle

Page(s) en rapport avec ce sujet :

  • On eonsid∼re sur la varlet4 SI×s n+l la forme de volume... sur laquelle il existe une forme de volume qui. s'exprime globalement sous la forme :... (source : springerlink)
  • à un facteur près, et que cette forme est une forme volume. Par abus de langage, la mesure définie par cette forme est nommée la"'mesure de Haar... (source : math.univ-montp2)
  • suite comment on peut interpréter cette forme volume en termes de torsion de ... calcul explicite de la forme volume qu'on vient de construire pour les ... (source : tel.archives-ouvertes)

En géométrie différentielle, une forme volume généralise la notion de déterminant aux variétés différentielles. Elle définit une mesure sur la variété, permet le calcul des volumes généralisés, et la définition générale des orientations.

Une forme volume se définit comme une forme différentielle de degré maximal, nulle en aucun point. Pour qu'une variété admette une forme volume, il faut et il suffit qu'elle soit orientable. Dans ce cas, il en existe une illimitété. En présence d'une structure supplémentaire (riemannienne, symplectique ou autre), il est judicieux de choisir une forme volume spécifique.

Généralités

Soit M une variété différentielle de dimension n. Une forme volume est une section de la n-ème puissance extérieure ΛnM du fibré cotangent, nulle en aucun point. La régularité de cette section peut dépendre du contexte ; fréquemment on l'impose de classe Cˆ{\infty}, les résultats pouvant s'adapter ensuite à des régularités plus faibles. Dans une carte locale x=(x_1,\dots,x_n), une forme volume s'écrit :

\omega=fÐ_1\wedge\dots\wedge dx_n,

f est une fonction réelle différentiable ne s'annulant pas.

Si ω est une forme volume, alors les formes différentielles de degré n sont toutes de la forme f. ω, avec f une fonction numérique. Une fois fixée une forme volume, les formes volumes sont de suite en bijection avec Cˆ{\infty}(M,Rˆ*).

Orientation

Article détaillé : Orientation (mathématiques) .

Pour une forme volume ω sur une variété M, une base de l'espace tangent en x à la variété est dite directe lorsque la forme volume, évaluée sur les vecteurs de base, donne un résultat positif. Surtout, la variété M est orientée. L'orientabilité de la variété est l'unique condition indispensable et suffisante pour l'existence de formes volumes.

Il est facile de démontrer que le fibré vectoriel ΛM est isomorphe au-dessus de M à \R \otimes_{\Z} Hˆn(T_*M,T_*M-0_*,\Z). Le choix d'une orientation (si elle existe) de M est le choix d'une section de générateurs de Hˆn(T_*M,T_*M-0_*,\Z) et définit par conséquent par l'isomorphisme précédent une section de ΛnM, soit par conséquent une forme volume. Cependant, le choix d'une orientation n'impose pas un unique choix d'une forme volume.

Une forme volume ω est obligatoirement fermée. En cohomologie de De Rham, sa classe est un générateur de Hˆn(M,\R).

Mesure

Article détaillé : Intégration d'une forme différentielle.

Une forme volume ω définit une mesure borélienne positive sur M (une mesure définie sur les éléments de la tribu borélienne) par :

Pour tout ouvert U, \mu_\omega(U)=\pm \int_U \omega .

Cette mesure est principale au sens où elle est non nulle sur tout ouvert non trivial, et qu'elle est nulle sur toute hypersurface.

Une variété même si elle est non orientable admet une mesure principale. En effet, toute variété M admet un revêtement à deux feuillets orientable, qui possède une forme volume, qu'on peut supposer invariante par la transformation de Deck du revêtement. La mesure associée est une mesure principale invariante ; par passage au quotient, elle induit une mesure principale sur M.

Exemples

Forme d'aire

Sur une surface réelle X, une forme d'aire est une forme volume, c'est à dire une 2-forme différentielle ω ne s'annulant en aucun point.

Si une surface orientée X est pourvue d'une métrique riemannienne g, alors, il est envisageable de définir LA rotation euclidienne Jx d'angle π / 2 du plan euclidien (TxM, gx) . C'est un champ naturel d'opérateurs J=\{J_x\}_{x\in X} (id est , une section globale du fibré vectoriel End (TM) ). Il induit la forme d'aire ω définie par :

ω (X, Y) = g (JX, Y) .

Le champ J vérifie : J2 = − Id ; un tel champ est nommé structure presque complexe. Réciproquement, la donnée d'une forme d'aire ω et d'une structure presque complexe J sur X détermine une unique métrique riemannienne g sur X.

Les formes d'aire peuvent être étudiées comme cas spécifique de formes symplectiques.

Volume riemannien

Une variété riemannienne orientable (M, g) possède une unique n-forme différentielle ω telle que, pour toute base orientée (e_1,\dots,e_n) d'un espace tangent TxM, on ait :

 \omega(e_1\wedge\dots\wedge e_n)=1.

Dans toute carte orientée x=(x_1,\dots,x_n), cette forme volume ω s'écrit :

\omega = \sqrt{|\det g|} \, dxˆ1\wedge ... \wedge dxˆn,

detg sert à désigner le déterminant de g exprimée sous forme d'une matrice symétrique définie positive dans la carte locale.

Cette forme volume définit une unique mesure μ, nommée mesure riemannienne sur M définie par :

μ (f) = f. ω
M
.

L'orientabilité de la variété est centrale pour l'existence d'une forme volume. Cependant, elle est superficielle dans l'existence d'une mesure riemannienne sur (M, g) . Voici deux manières équivalentes de le voir :

 \nu(f):=\int_{B(0,1)} f\circ x. \sqrt{|\det g|} .

Forme volume en géométrie symplectique

Sur une variété différentielle de dimension paire 2n, une forme symplectique ω est une 2-forme différentielle fermée en tout point non dégénérée. La non-dégénérescence équivaut à ce que ωn ne soit jamais nulle. Surtout, ωn est une forme volume canoniquement associée. De fait, M doit être orientable et possède une orientation canonique imposée par la forme symplectique.

Les variétés de Kähler sont des variétés différentielles pourvues d'une structure riemannienne et d'une structure symplectique ; cependant, la condition de compatibilité entre ces structures impose que les formes volumes qui leur sont associées comme ci-dessus soient identiques.

Forme volume en géométrie de contact

Article détaillé : Géométrie de contact.

En géométrie de contact, par définition, une forme de contact α est une 1-forme différentielle sur une variété de dimension 2n+1 telle que \alpha\wedge (d\alpha)ˆn soit en tout point non nulle. Surtout, \alpha\wedge (d\alpha)ˆn est une forme volume. L'existence d'une forme de contact sur une variété implique que cette dernière soit orientable.

L'existence et la classification des structures de contact sur une variété différentielle de dimension impaire est une question ouverte. Une discussion appronfondie a été entamée en dimension 3 et a abouti à distinguer les structures de contact vrillées et tendues.

Recherche sur Amazon (livres) :



Principaux mots-clés de cette page : forme - volume - variétés - mesure - différentielle - riemannienne - structure - orientable - contact - orientations - nulle - symplectique - unique - géométrie - définit - point - dimension - section - carte - locale - existence - aire - orientée - choix - définie - principale - métrique -

Ce texte est issu de l'encyclopédie Wikipedia. Vous pouvez consulter sa version originale dans cette encyclopédie à l'adresse http://fr.wikipedia.org/wiki/Forme_volume.
Voir la liste des contributeurs.
La version présentée ici à été extraite depuis cette source le 11/11/2010.
Ce texte est disponible sous les termes de la licence de documentation libre GNU (GFDL).
La liste des définitions proposées en tête de page est une sélection parmi les résultats obtenus à l'aide de la commande "define:" de Google.
Cette page fait partie du projet Wikibis.
Accueil Recherche Aller au contenuDébut page
ContactContact ImprimerImprimer liens d'évitement et raccourcis clavierAccessibilité
Aller au menu