La courbure d'une variété riemannienne mesure par définition la dépendance éventuelle du transport

Lorsqu'il y a des classifications explicites des groupes de Lie ou algébriques ou des leurs espaces homogènes vérifiant certaines hypothèses (groupes de Lie ou algébriques simples, espaces symétriques, variétés de drapeaux généralisées, espaces de courbure constante, par exemple), les principaux éléments de ces classifications sont parfois issus de la géométrie classique, et les groupes auxquels sont associés ses géométrie classique sont liés aux groupes dits classiques (groupes linéaires, orthogonaux, symplectiques, par exemple).

La plupart des géométries classiques sont liées aux groupes de Lie ou algébriques simples, dit classiques (ils sont issus de l'algèbre linéaire). Il y a d'autres groupes de Lie ou algébriques simples, et ils sont dits « exceptionnels » et ils donnent lieu à la géométrie exceptionnelle, avec certaines analogies avec la géométrie classique. Cette distinction est due au fait que les groupes simples sont (sous certaines hypothèses) classés en plusieurs séries infinies (souvent quatre) et en un nombre fini d'autres groupes (souvent cinq), et c'est ces derniers groupes qui sont exceptionnels, et ils ne relèvent pas de l'algèbre linéaire (du moins pas de la même manière): ils sont souvent liés à des structures algébriques non associatives (algèbres d'octonions, algèbres de Jordan exceptionnelles, par exemple).

Aux groupes de Lie ou algébriques simples sont associés des diagrammes de Dynkin (des sortes de graphes), et certaines propriétés de ces géométries peuvent se lire dans ces diagrammes.

Domaines de recherche relevant de la géométrie[modifier | modifier le code]
Géométrie riemannienne[modifier | modifier le code]
La géométrie riemannienne peut être vue comme une extension de la géométrie euclidienne. Son étude porte sur les propriétés géométriques d'espaces (variétés) présentant une notion de vecteurs tangents, et équipés d'une métrique (métrique riemannienne) permettant de mesurer ces vecteurs. Les premiers exemples rencontrés sont les surfaces de l'espace euclidien de dimension 3 dont les propriétés métriques ont été étudiées par Gauss dans les années 1820. Le produit euclidien induit une métrique sur la surface étudiée par restriction aux différents plans tangents. La définition intrinsèque de métrique fut formalisée en dimension supérieure par Riemann. La notion de transport parallèle autorise la comparaison des espaces tangents en deux points distincts de la variété : elle vise à transporter de manière cohérente un vecteur le long d'une courbe tracée sur la variété riemannienne. La courbure d'une variété riemannienne mesure par définition la dépendance éventuelle du transport parallèle d'un point à un autre par rapport à la courbe les reliant.

La métrique donne lieu à la définition de la longueur des courbes, d'où dérive la définition de la distance riemannienne. Mais les propriétés métriques des triangles peuvent différer de la trigonométrie euclidienne. Cette différence est en partie étudiée à travers le théorème de Toponogov (en), qui permet de comparer du moins localement la variété riemannienne étudiée à des espaces modèles, selon des inégalités supposées connues sur la courbure sectionnelle. Parmi les espaces modèles :

L'espace euclidien est une variété riemannienne de courbure nulle ;
La sphère de dimension n est une variété riemannienne de courbure positive constante 1 ;
L'espace hyperbolique (en) de dimension n est une variété riemannienne de courbure négative -1.
Géométrie complexe[modifier | modifier le code]
La géométrie complexe porte sur les propriétés d'espaces pouvant localement s'identifier à \mathbb C^n. Ces objets (variété complexe) présentent une certaine rigidité, découlant de l'unicité d'un prolongement analytique d'une fonction à plusieurs variables.