Variété plate
En mathématiques, une surface de Riemann est dite plate si sa courbure de Gauss est nulle en tout point. Intuitivement, une variété plate ressemble « localement » à l'espace euclidien en termes de distances et d'angles, par exemple la somme des angles intérieurs d'un triangle est égale à 180°. Cette définition se généralise aux variétés riemanniennes dont le tenseur de courbure est nul en tout point. Les tores plats font partie des exemples les plus simples de variétés plates compactes.
Le revêtement universel d'une variété plate complète est l'espace euclidien. Un théorème de Bieberbach montre également que toute variété plate compacte est un quotient fini d'un tore.
Exemples
[modifier | modifier le code]Dimension 1
[modifier | modifier le code]- La droite
- Le tore à une dimension
Dimension 2
[modifier | modifier le code]- Le plan
- Le cylindre
- Le ruban de Moebius
- La bouteille de Klein
- Le plan projectif réel
- Le tore à 2 dimensions.
Théorème de classification
[modifier | modifier le code]La classification des variétés plates compactes donne lieu à d'intéressants allers-retours avec la théorie de la représentation des groupes finis. Le résultat fondamental s'obtient en transposant au cadre des variétés les travaux réalisés par Ludwig Bieberbach dans les années 1910-1912 sur les groupes de symétries de l'espace :
Théorème de Bieberbach[1] — Soit M une variété plate, compacte, de dimension n. Alors le groupe fondamental de M possède un sous-groupe d'indice fini qui est un groupe abélien libre de rang n. Notamment M est un quotient fini d'un tore plat.
La classification des variétés plates compactes se ramène alors à celle de leur groupe fondamental : les groupes possibles sont appelés groupes de Bieberbach ; ce sont, parmi les groupes cristallographiques, ceux qui sont sans torsion[2].
Ainsi, un groupe de Bieberbach est un sous-groupe discret, sans torsion, du groupe affine d'indice n, tel que l'espace est compact. Il vérifie une suite exacte de la forme
où H est un groupe fini qui s'interprète comme le groupe d'holonomie de la variété M. On peut alors montrer que tout groupe fini peut être réalisé comme un tel groupe d'holonomie[3].
Notes et références
[modifier | modifier le code]- (en) Jürgen Jost, Riemannian Geometry and Geometric Analysis, [détail des éditions], p. 227
- L'emploi de ce terme a fluctué, il désignait auparavant tous les groupes cristallographiques. Voir (en) L.S. Charlap, Bieberbach Groups and Flat Manifolds, Springer, coll. « Universitext », (ISBN 978-0-387-96395-2), p. 74-75.
- Andrzej Szczepański, Problems on Bieberbach groups and flat manifolds, Université de Gdańsk, février 2008
Bibliographie
[modifier | modifier le code]- (de) L. Bieberbach, « Über die Bewegungsgruppen der Euklidischen Räume I », Mathematische Annalen, vol. 70, t. 3, , p. 297–336 (DOI 10.1007/BF01564500).
- (de) L. Bieberbach, « Über die Bewegungsgruppen der Euklidischen Räume II : Die Gruppen mit einem endlichen Fundamentalbereich », Mathematische Annalen, vol. 72, t. 3, , p. 400–412 (DOI 10.1007/BF01456724).
- (de) A. Schoenflies, Kristallsysteme und Kristallstruktur, Teubner, .
