La géométrie des espaces de courbure constante négative ou, plus généralement, des espaces métriques modélisés sur des métriques à courbure négative (par exemple les modèles du disque de Poincaré, du demi-plan ou de l'hyperboloïde). Elle se caractérise par la divergence exponentielle des géodésiques, la multiplicité de droites parallèles passant par un point, et des sommes d'angles de triangles strictement inférieures aux valeurs euclidiennes.

Principe

Le principe organisateur est la courbure négative : une courbure sectionnelle majorée par une constante négative entraîne la divergence des géodésiques, des propriétés métriques uniques à grande échelle et des relations trigonométriques hyperboliques gouvernant angles et distances.

Démonstration

Dans le modèle du disque de Poincaré, les géodésiques sont des arcs de cercle orthogonaux à la circonférence ; les triangles idéaux à sommets sur la frontière ont une somme d'angles tendant vers zéro et une aire liée à leur défaut angulaire. Les boules croissent exponentiellement avec le rayon, caractéristique qui affecte les actions de groupes et les propriétés spectrales.

Mauvaise application

Appliquer l'intuition euclidienne (unicité des parallèles, mise à l'échelle linéaire des aires) ou utiliser des formules trigonométriques euclidiennes pour calculer distances/angles conduit à des conclusions incorrectes ; de même, présumer compacité ou aire finie sans vérifier la courbure ou la topologie est erroné.

Conséquence

Une utilisation correcte fournit le contrôle des groupes d'isométries, des résultats de rigidité et de classification, des relations explicites entre courbure et volumes, ainsi que des comportements géométriques et combinatoires caractéristiques en théorie des groupes.

Inversion

La réversion oppose les espaces de courbure positive (sphérique/elliptique), où les géodésiques se reconvergencent et les triangles ont une somme d'angles supérieure aux valeurs euclidiennes ; elle met en lumière l'inversion des phénomènes géométriques lorsque le signe de la courbure change.

Limite

S'applique aux variétés simplement connexes complètes de courbure constante négative et aux espaces CAT(k) avec k<0, mais de nombreuses propriétés propres à l'hyperbolicité se détériorent quand la courbure est seulement non positive ou variable sans borne inférieure négative.

Tension sémantique

Tension entre la géométrie hyperbolique et la géométrie à courbure non positive (CAT(0)) : les deux empêchent le comportement euclidien plat mais diffèrent par la divergence exponentielle versus polynomiale, la structure de la frontière à l'infini et les propriétés de rigidité.

Synthèse

La géométrie hyperbolique synthétise un signe de courbure en un ensemble cohérent : la courbure négative engendre une croissance métrique exponentielle, une topologie particulière de la frontière à l'infini, des lois triangulaires et trigonométriques modifiées, et des conséquences profondes pour la topologie et les actions de groupes.