Un théorème de comparaison en géométrie riemannienne qui met en relation des triangles géodésiques dans une variété riemannienne complète et des triangles dans un espace modèle de courbure sectionnelle constante, sous une borne inférieure de la courbure sectionnelle de la variété.

Principe

Si une variété riemannienne complète a sa courbure sectionnelle minorée par κ, alors les distances et les angles dans les petits triangles géodésiques se comportent au moins comme dans l'espace modèle simplement connexe de courbure κ ; les inégalités angulaires et les comparaisons d'articulation transfèrent l'information de courbure en comparaisons métriques.

Démonstration

Soit M une variété complète avec courbure sectionnelle ≥0. Pour trois points reliés par des géodésiques minimisantes formant un triangle géodésique dans M, Toponogov compare ce triangle à un triangle euclidien de mêmes longueurs de côtés et fournit des inégalités d'angles montrant que les relations angulaires et de longueurs dans M ne sont pas plus petites que dans le triangle de comparaison euclidien.

Mauvaise application

Employer le théorème sans borne de courbure, utiliser des chemins discontinus ou non minimisants à la place des géodésiques minimisantes, ou appliquer une comparaison locale sans s'assurer de la complétude ou de la borne exigée conduit à des conclusions géométriques erronées.

Conséquence

Des conséquences géométriques et topologiques globales découlent des bornes locales de courbure : théorèmes de diamètre et de rigidité, contrôle des points conjugués, théorèmes de la sphère et contraintes sur la forme métrique à grande échelle de la variété.

Inversion

Inverser l'inégalité sur la courbure (bornes supérieures au lieu de bornes inférieures) conduit à des énoncés de comparaison différents ; comparer à des espaces de courbure plus grande peut inverser les inégalités angulaires et produire des contraintes métriques opposées.

Limite

S'applique aux variétés riemanniennes complètes (et aux espaces d'Alexandrov appropriés) munies d'une borne inférieure de courbure sectionnelle ; il ne s'applique pas directement aux espaces singuliers sans structure d'Alexandrov, aux espaces métriques quelconques sans bornes de courbure, ni aux triangles construits à partir de courbes non minimisantes.

Tension sémantique

La tension se situe entre l'information tensorielle, ponctuelle, de la courbure sectionnelle et les inégalités métriques grossières à base de triangles produites par Toponogov ; des résultats apparentés comme la comparaison de Rauch utilisent l'analyse des champs de Jacobi et fournissent des contrôles différents, parfois complémentaires.

Synthèse

Le théorème de Toponogov transforme une borne inférieure de la courbure sectionnelle en inégalités métriques concrètes pour les triangles géodésiques en les comparant à des triangles d'un modèle à courbure constante, permettant de tirer des conclusions géométriques et topologiques globales à partir d'hypothèses locales de courbure.