Variété plate

De testwiki
Version datée du 6 juin 2021 à 05:40 par imported>Paul.schrepfer (correction)
(diff) ← Version précédente | Version actuelle (diff) | Version suivante → (diff)
Aller à la navigation Aller à la recherche

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

Dimension 1

  • La droite
  • Le tore à une dimension

Dimension 2

Théorème de classification

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 :

Modèle:Théorème

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[1].

Ainsi, un groupe de Bieberbach Γ est un sous-groupe discret, sans torsion, du groupe affine d'indice Modèle:Math, tel que l'espace M=n/Γ est compact. Il vérifie une suite exacte de la forme

0nΓH0

Modèle:Math est un groupe fini qui s'interprète comme le groupe d'holonomie de la variété Modèle:Math. On peut alors montrer que tout groupe fini peut être réalisé comme un tel groupe d'holonomie[2].

Notes et références

Modèle:Références

Bibliographie

Modèle:Portail

  1. L'emploi de ce terme a fluctué, il désignait auparavant tous les groupes cristallographiques. Voir Modèle:Ouvrage, Modèle:P..
  2. Andrzej Szczepański, Problems on Bieberbach groups and flat manifolds, Université de Gdańsk, février 2008