Difféotopie

En mathématiques, une difféotopie est une classe d'équivalence pour la relation d’isotopie entre difféomorphismes sur une variété différentielle. Plus explicitement, étant donnés deux difféomorphismes sur une telle variété $M$ , c’est-à-dire deux applications $φ 0, φ 1 : M \to M$ différentiables et bijectives avec des réciproques différentiables, on dit que ces difféomorphismes sont isotopes s’il existe une famille de difféomorphismes $φ t$ pour $t \in ]0, 1[$ telle que $Φ : (t, x) \mapsto φ t (x)$ définisse une application différentiable sur $[0, 1] \times M$ .

L’ensemble des difféotopies (préservant le bord) sur une surface connexe compacte et orientée est un groupe souvent appelé sous sa dénomination en anglais mapping class group. Pour une surface $Σ$ on trouve la notation avec un « M » gothique $𝔐(Σ)$ . À l’aide de la classification des surfaces compactes, il peut aussi être noté $Γ g, n$ pour une surface de genre $g$ avec $n$ composantes de bord[1].

Une homéotopie est une classe d’équivalence pour la relation d’isotopie entre homéomorphismes. Cette notion est en général plus large que celle de difféotopie, mais coïncide[2] dans le cas d’une variété de dimension 2.

Notes et références

Richard Hain, Eduard Looijenga, Mapping Class Group and Moduli Spaces of Curves, page 4, sur ArXiv (1996).
Florian Deloup (Université de Toulouse), Le Groupe des Difféotopies de Surface, page 9.

Portail de la géométrie

Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.

[1] Richard Hain, Eduard Looijenga, Mapping Class Group and Moduli Spaces of Curves, page 4, sur ArXiv (1996).

[2] Florian Deloup (Université de Toulouse), Le Groupe des Difféotopies de Surface, page 9.