Pincement spectral en courbure de Ricci positive

Jérôme BertrandSoutenu par la requête 20-101469 du FNRS Institut de mathématiques, Université de Neuchâtel, Suisse. E-mail: jerome.bertrand@unine.ch

Résumé
Abstract
Introduction Dans cet article, nous considérons les variétés riemanniennnes connexes, compactes ( M , g )   de dimension n   dont la courbure de Ricci vérifie l'inégalité R i c ≥ ( n − 1 ) g   . On note ℳ n   l'ensemble (des classes d'isométrie) de ces variétés. Sur ℳ n   , la sphère canonique ( S n , g c a n )   réalise l'extrémum de plusieurs invariants riemanniens.
Théorème 0.1 ([15, 3, 14, 5, 16] ) Tout élément ( M , g )   de ℳ n   vérifie
d i a m ( M ) ≤ π ,
vol ( M ) ≤ vol ( S n ) ,
λ 1 ( M ) ≥ n ,
où λ 1 ( M )   désigne la première valeur propre (non nulle) du laplacien de ( M , g )   agissant sur les fonctions.
De plus, dans chaque inégalité, l'égalité n'a lieu que si la variété ( M , g )   est isométrique à la sphère canonique.
L'objet de cet article est de caractériser les variétés appartenant à ℳ n   dont le début du spectre est presque minimal (c'est à dire proche de n   ). De nombreux auteurs se sont intéressés à cette question de la presque égalité (aussi appelée pincement) pour des invariants riemanniens comme le volume ou le diamètre. Nous rappelons ci-dessous quelques-uns de ces résultats, qui ont plus particulièrement motivé ce travail.
Le premier d'entre eux est que la première valeur propre (non nulle) du laplacien d'un élément de ℳ n   est proche de n   si et seulement si le diamètre de cette variété est proche de π   (la condition nécessaire est due à S.Y. Cheng [5] , la condition suffisante à C. Croke [8] ). Plus précisément, l'équivalence est la suivante :
Théorème 0.2 ([5, 8] ) Pour tout réel positif ε   , il existe un réel positif η   tel que tout élément ( M , g )   de ℳ n   pour lequel d i a m ( M ) > π − η   (respectivement λ 1 ( M ) < n + η   ), vérifie λ 1 ( M ) < n + ε   (respectivement d i a m ( M ) > π − ε   ).
Dans la suite, nous écrirons simplement ̏ est proche de ̆ pour ce type d'équivalence.
En 1996, T. Colding a démontré des résultats de pincement faisant intervenir la distance de Gromov-Hausdorff (nous renvoyons à [11] pour la définition de cette distance) :
Théorème 0.3 ([7, 6] ) Pour tout élément ( M , g )   de ℳ n   , les propriétés suivantes sont équivalentes :
1 ) vol ( M ) est proche de vol ( S n ) ,
2 ) r a d ( M ) est proche de π ,
3 ) d G H ( M , S n ) est proche de 0 ,
où rad ( M )   est le plus petit rayon d'une boule recouvrant M   et d G H   désigne la distance de Gromov-Hausdorff.
Par la suite, P. Petersen a obtenu une nouvelle condition équivalente faisant intervenir le spectre du laplacien. Rappelons que sur la sphère canonique S n   , la première valeur propre non nulle n   est de multiplicité n + 1   .
Théorème 0.4 ([17] ) Pour tout élément ( M , g )   de ℳ n   , les conditions suivantes sont équivalentes :
1 ) r a d ( M ) est proche de π ,
2 ) λ n + 1 ( M ) est proche de n .
Pour énoncer le résultat principal de cet article, nous avons besoin de la définition suivante.
Définition 0.5 Soit ( M , g )   un élément de ℳ n   , k   un entier positif et η   un nombre réel positif ou nul. La variété ( M , g )   vérifie la propriété P k ( η )   s'il existe k   couples de points ( x 1 , y 1 ) , . . . , ( x k , y k )   dans M 2   vérifiant pour tout i   dans { 1 , … , k }   , d ( x i , y i ) > π − η ,   et pour tout i , j   distincts dans { 1 , … , k }   , | d ( x i , x j ) − π 2 | < η .  
Dans cet article, nous démontrons le
Théorème 0.6 Soit k   dans { 1 , … , n + 1 }   . Pour tout élément ( M , g )   de ℳ n   , les propriétés suivantes sont équivalentes :
1) λ k ( M )   est proche de n   , 2) ( M , g )   vérifie la propriété P k ( η )   pour η   proche de 0   , 3) ( M , g )   contient une partie A k   telle que d G H ( A k , S k − 1 )   est proche de 0   .
De plus, si la troisième propriété est satisfaite, alors la partie A k   vérifie également une propriété de ̏ presque convexité ̆. Nous renvoyons à la proposition  4.5 pour plus de détails.
Lorsque k = 1   , l'énoncé du théorème  0.6 se ramène à celui du théorème  0.2 . Lorsque k = n + 1   , notre démonstration fournit en particulier une nouvelle preuve de la propriété
λ n + 1 ( M ) proche de n , implique d G H ( M , S n ) proche de 0 , (1)
autrement dit, on peut prendre A n + 1 = M   dans l'énoncé ci-dessus.
Sous les hypothèses du théorème  0.4 , P. Petersen montre également que l'application Φ = ( f 1 , … , f n + 1 ) f 1 2 + ⋯ + f n + 1 2   est une approximation de Gromov-Hausdorff de M   sur la sphère canonique, où les ( f i ) 1 ≤ i ≤ n + 1   sont les fonctions propres associées à ( λ i ( M ) ) 1 ≤ i ≤ n + 1   et normalisées par analogie avec le cas de la sphère. Une étape importante de la démonstration de P. Petersen de l'implication ( 1 ) est de prouver que l'application Φ   est surjective. Pour cela P. Petersen montre que le degré de Φ   est non nul 1   . Dans notre cas, il n'y a pas de raison pour que la partie A k   soit une variété de dimension k − 1   et donc on ne peut pas appliquer un argument de degré. Nous utilisons à la place un lemme de Toponogov L 2   initialement introduit par T. Colding dans [7] mais contrairement à T. Colding nous ne fixons pas des conditions au bord pour l'équation différentielle sous-jacente mais des conditions initiales de Cauchy. Ceci nous permet d'obtenir une nouvelle preuve du résultat de C. Croke et même d'obtenir un lien précis entre la fonction propre et les points à distance presque π   (voir la proposition  3.2 ). Le contrôle de la condition initiale sur la dérivée est une conséquence d'une estimation du gradient d'une fonction propre due à P. Li et S.T. Yau. Cet article est organisé de la manière suivante. Dans la deuxième section, nous donnons les estimations sur les fonctions propres qui nous seront nécessaires pour démontrer le théorème  0.6 , nous présentons également le lemme de Toponogov L 2   (lemme  1.6 ) et l'utilisation que nous allons en faire. Dans la troisième section, nous démontrons qu'un élément de ℳ n   vérifiant la propriété P k ( η )   pour η   petit a nécessairement k   valeurs propres proches de n   . La quatrième section est consacrée à la réciproque. Dans la dernière partie nous montrons que la condition 1) implique la condition 3), la réciproque étant immédiate cela termine la preuve du théorème  0.6 .

1 Résultats préliminaires

Soit p ≥ 1   un nombre réel et h   appartenant à L p ( M )   . On note | | h | | L p = ( 1 vol M ∫ M h p d x ) 1 p .   On utilisera la définition usuelle pour la norme L ∞   .
On notera τ ( ε ) , r ( ε ) , η ( ε )   , etc . . .   de manière générique, toute quantité positive ne dépendant que de ε   et de la dimension n   de la variété, dont la limite quand ε   tend vers 0   est 0   .
Enfin, toute fonction propre f   de valeur propre proche de n   sera normalisée par analogie avec le cas de la sphère, par
1 vol M ∫ M f 2 = 1 n + 1 . (2)
Les fonctions propres de ( S n , g c a n )   associées à la valeur propre n   sont les fonctions cos d x   , avec x   appartenant à S n   et d x   la fonction distance au point x   . En particulier, elles vérifient
cos 2 d x + | ∇ cos d x | 2 = 1 , (3)
1 vol ( S n ) ∫ S n cos 2 d x = 1 n + 1 .   Sur une variété de ℳ n   admettant des valeurs propres proches de n   , on a l'estimation suivante due à P. Li :
Proposition 1.1 ([13] ) Soit ( M n , g )   une variété riemannienne compacte de dimension n   dont la courbure de Ricci vérifie R i c ≥ ( n − 1 ) g   . Soit f ¯   une combinaison linéaire de fonctions propres du laplacien sur ( M , g )   f ¯ = ∑ i = 1 k a i f i ,   avec k   un entier non nul et Δ f i = λ i f i   pour tout i   dans { 1 , … , k }   .
Supposons que pour tout i   dans { 1 , … , k }   , λ i ≤ n + ε   avec ε > 0   , alors | | f ¯ 2 + | d f ¯ | 2 | | L ∞ ≤ ( 1 + τ ( ε ) ) ( n + ε + 1 ) | | f ¯ | | L 2 2 ,   où τ ( ε )   est une fonction croissante ne dépendant que de n   et telle que lim ε → 0 τ ( ε ) = 0   .
Remarque 1.2 En particulier si f   est une fonction propre de valeur propre non nulle λ ≤ n + ε   et si 1 vol M ∫ M f 2 = 1 n + 1   , on obtient pour tout x   dans M   , f 2 ( x ) + | d f | 2 ( x ) ≤ 1 + τ ( ε ) ,   donc comme 1 vol M ∫ M f 2 + | d f | 2 = λ + 1 n + 1   , on en déduit que ( 3 ) est ̏ stable ̆ pour la norme L 1   :
1 vol M ∫ M | f 2 + | d f | 2 − 1 | ≤ τ ( ε ) .   D'autre part, si l'on suppose ε < 1   alors il existe une constante C ( n )   ne dépendant que de la dimension n   de M   , telle que
| | f 2 + | ∇ f | 2 | | L ∞ ≤ C ( n ) , (4)
nous utiliserons implicitement cette propriété par la suite.
La preuve de ce type d'inégalité est essentiellement classique, elle repose sur une inégalité de Sobolev et le procédé d'itération de Moser. Nous renvoyons à [10] et à [2] , lemme 1.4 pour une démonstration dans ce cas particulier.
Une conséquence de cette proposition est qu'un élément de ℳ n   admet au plus n + 1   valeurs propres proches de n   .
Corollaire 1.3 ([10] ) Il existe une constante C ( n ) > 0   telle que pour tout élément ( M , g )   de ℳ n   , λ n + 2 ( M ) ≥ n + C ( n ) .  
Une autre propriété caractéristique des fonctions cos d x   sur la sphère ( S n , g c a n )   est qu'elles sont solutions de l'équation Hess f + f g c a n = 0 .   Un résultat de M. Obata [16] montre que ce sont les seules solutions parmi les fonctions régulières définies sur un élément ( M , g )   de ℳ n   . Cependant, à l'aide de la formule de Bochner, on montre (voir par exemple [7] , page 178) la
Proposition 1.4 Il existe une constante C ( n )   telle que tout élément ( M , g )   de ℳ n   pour lequel n ≤ λ 1 ( M ) ≤ n + ε ,   vérifie l'inégalité | | Hess f + f g | | L 2 ≤ C ( n ) ε 1 2 | | f | | L 2 ,   où f   est une fonction propre associée à λ 1 ( M )   .
Remarque 1.5 Il existe des éléments de ℳ n   non homéomorphes à la sphère dont la première valeur propre est arbitrairement proche de n   (voir par exemple [1] ). Un résultat de S. Gallot ([9] , lemme 3.1) implique alors qu'on ne peut espérer obtenir une estimation similaire de Hess f + f g   en norme L ∞   .
Le lemme suivant permet de déduire des informations géométriques de cette inégalité sur le hessien.
Lemme 1.6 ([4] ) Soit ( M , g )   un élément de ℳ n   . Il existe des constantes ne dépendant que de n notées C ( n )   et C ~ ( n )   telles que, pour x 1   et x 2   appartenant à M   , r 1 , r 2   des réels positifs (on note B i = B ( x i , r i )   ) et pour toute fonction continue h   sur M   , on a
1 vol ( B 1 × B 2 ) ∫ B 1 × B 2 ( ∮ γ x y h 2 ) d x d y ≤ C ( n ) ( 1 vol B 1 + 1 vol B 2 ) ∫ M h 2 ( x ) d x . (5)
On obtient en particulier pour r 1 = r 2 = r   1 vol ( B 1 × B 2 ) ∫ B 1 × B 2 ( ∮ γ x y h 2 ) d x d y ≤ C ~ ( n ) V ( r ) 1 vol ( M ) ∫ M h 2 ( x ) d x .  
Remarque 1.7 La notation V ( r )   désigne le volume d'une boule géodésique de ( S n , g c a n )   de rayon r   . La notation B 1 × B 2   désigne en réalité le sous-ensemble de mesure pleine de ce produit, constitué par les couples admettant une unique géodésique minimisante les reliant (notée γ x y   ). La seconde inégalité se déduit de la première en utilisant le théorème de Bishop-Gromov (nous renvoyons à [11] pour un énoncé).
En appliquant ce lemme à la fonction | Hess f + f g |   où f   est la fonction propre associée à λ 1 ( M )   normalisée par ( 2 ), dans le cas où r 1 = r 2 = r   et en remarquant que pour une géodésique paramétrée par longueur d'arc | ( f ∘ γ x y ) ′ ′ ( t ) + ( f ∘ γ x y ) ( t ) | 2 ≤ | Hess f + f g | 2 ,   on déduit de la proposition  1.4 
1 vol ( B 1 × B 2 ) ∫ B 1 × B 2 ∫ 0 d ( x , y ) | ( f ∘ γ x y ) ′ ′ ( t ) + ( f ∘ γ x y ) ( t ) | 2 d t d x d y ≤ C ( n ) ε V ( r ) . (6)
Par conséquent, pour des rayons r ( ε )   convenables (i.e tels que ε V ( r ( ε ) )   soit petit), l'inégalité de Byenaimé-Tchebitchev implique l'existence de points x , y   pour lesquels f ∘ γ x y   vérifie presque la même équation différentielle que dans le cas de la sphère canonique. On peut ensuite par des méthodes classiques comparer f ∘ γ x y   à une solution correspondante sur la sphère en fixant des conditions au bord (comme l'a fait T. Colding dans [7] ) à l'aide du lemme suivant.
Lemme 1.8 Soit v ( t )   et Z ( t )   deux fonctions définies sur [ 0 , l ]   avec l < π   .
On suppose que ∫ 0 l Z 2 ( t ) d t < ε 2   et que v   est solution de v ” + v = Z   avec | v ( 0 ) − a | < η   et | v ( l ) − b | < η   . Il existe une constante positive C   telle que pour tout t   dans [ 0 , l ]   , | v ( t ) − u ~ a , b ( t ) | < C sin ( l ) ( ε + η )   et | v ′ ( t ) − u ~ a , b ′ ( t ) | < C sin ( l ) ( ε + η ) ,   où u ~ a , b   est la solution de u ” + u = 0   sur [ 0 , l ]   vérifiant les conditions initiales u ( 0 ) = a   et u ( l ) = b   .
On peut également fixer des conditions de Cauchy.
Lemme 1.9 Soit v ( t )   et Z ( t )   deux fonctions définies sur [ 0 , l ]   avec l ≤ π   .
On suppose que ∫ 0 l Z 2 ( t ) d t < ε 2   et que v   est solution de v ” + v = Z   avec | v ( 0 ) − a | < η   et | v ′ ( 0 ) − b | < η   . Il existe une constante positive C   telle que pour tout t   dans [ 0 , l ] ,   | v ( t ) − u a , b ( t ) | < C ( ε + η )   et | v ′ ( t ) − u a , b ′ ( t ) | < C ( ε + η ) ,   où u a , b   est la solution de u ” + u = 0   sur [ 0 , l ]   vérifiant les conditions initiales u ( 0 ) = a   et u ′ ( 0 ) = b   .
Pour contrôler les conditions initiales de l'équation différentielle dans le lemme  1.9 , nous aurons besoin d'une estimation due à P. Li et S.T. Yau ([13] , voir également [19] , page 108) qui prouve que la norme du gradient d'une fonction propre sur un élément de ℳ n   , reste petit au voisinage des points réalisant les extréma de la fonction propre. Ce résultat ne peut découler directement d'une estimation sur le hessien de la fonction propre car on constate, en considérant des sphères rondes de rayon arbitrairement petit, que la norme L ∞   du hessien d'une fonction propre de norme 1   , tend vers l'infini.
Proposition 1.10 ([13] ) Soit ( M , g )   un élément de ℳ n   et f   une fonction propre de valeur propre non nulle λ   . Sous ces hypothèses, on a pour tout x   dans M   , l'estimation | ∇ f | 2 ( x ) ≤ 2 λ sup M f sup M f − inf M f ( sup M f − f ( x ) ) ( f ( x ) − inf M f ) .  

2 Variétés vérifiant la propriété P k ( η )  

L'objet de cette partie est de démontrer le
Théorème 2.1 Soit k   dans { 2 , … , n + 1 }   . Il existe une fonction τ ( η )   telle que, pour tout élément ( M , g )   de ℳ n   vérifiant la propriété P k ( η )   , on a l'estimation λ k ( M ) ≤ n + τ ( η ) .  
La démonstration du théorème  2.1 repose en partie sur l'utilisation de fonctions cos d p   pour p   appartenant à M   et admettant un ̏ presque antipode ̆ (c'est à dire p   est tel que sup x ∈ M d ( p , x )   est proche de π   ). Nous étudions de telles fonctions dans le prochain paragraphe.

2.1 Propriétés des fonctions cos d p  

Sur la sphère canonique, toute fonction (propre) cos d p   est une combinaison linéaire d'une base de fonctions propres associées à la valeur propre n   .
Précisément, si ( x i ) 1 ≤ i ≤ n + 1   est une base orthonormée de l'espace euclidien R n + 1   alors pour tout élément p   de S n  
cos d p = ∑ i = 1 n + 1 cos d ( p , x i ) cos d x i . (7)
En particulier si p   appartient à S k − 1   (en identifiant S k − 1   à la partie de S n   dont les n − k + 1   dernières coordonnées sont nulles), seuls les p   premiers termes de la somme ci-dessus sont non tous nuls. Nous allons montrer que la propriété ( 7 ) sur les fonctions cos d p   est ̏ stable ̆ pour les points p   admettant un presque antipode. Ce résultat améliore un lemme démontré par P. Petersen ([17] , lemme 4.3).
Lemme 2.2 Il existe une fonction τ ( t )   tendant vers 0   avec t   , telle que pour tout nombres réels positifs ε , η   vérifiant η < ε   et pour tout élément ( M , g )   de ℳ n   contenant deux points p , q   vérifiant d ( p , q ) > π − η   , alors on a
| | cos d p − ∑ i = 1 k a i ( p ) f i | | L ∞ ≤ τ ( η ε ) , (8)
où k = m a x { i ; λ i ( M ) ≤ n + ε }   est un entier non nul et où les a i ( p )   sont les coefficients de Fourier de la fonction cos d p   par rapport à une base orthogonale ( f i ) i ≥ 0   de fonctions propres normalisées par ( 2 ), c'est à dire a i ( p ) = n + 1 vol M ∫ M cos d p f i   . De plus, les coefficients a i ( p )   vérifient pour ε   assez petit | ∑ i = 1 k a i 2 ( p ) − 1 | ≤ C ( n ) η ε .  
Preuve : Soit p   comme dans l'énoncé. Dans la suite, on note ( a i ) i ∈ N   les coefficients de Fourier de cos d p   . Une conséquence de la formule de la coaire et du théorème de Bishop-Gromov est le
Lemme 2.3 Il existe une constante C ( n )   telle que pour tout élément ( M , g )   de ℳ n ,   admettant deux points p   et q   vérifiant d ( p , q ) > π − η   et pour toute fonction u : [ 0 , π ] → R   de classe C 1   , on a | 1 vol M ∫ M u ∘ d p d v − 1 vol S n ∫ S n u ∘ d S n ( p ¯ , . ) d x | ≤ C ( n ) η ∫ 0 π | u ′ ( r ) | d r .  
Remarque 2.4 On obtient en particulier que 1 vol ( M ) ∫ M cos 2 d p   est proche de 1 n + 1   si p   admet un presque antipode.
Nous renvoyons à [2] pour une démonstration. En appliquant le lemme  2.3 à u = cos 2   , u = sin 2   et u = cos   , on obtient | | | ∇ cos d p | | L 2 2 − n | | cos d p | | L 2 2 | ≤ C ( n ) η ,   | a 0 | = | 1 + n vol ( M ) ∫ M cos d p | ≤ C ( n ) η .   Par conséquent, les coefficients de Fourier de la fonction cos d p   vérifient ∑ i = 1 + ∞ λ i a i 2 | | f i | | L 2 2 ≤ n ∑ i = 1 + ∞ a i 2 | | f i | | L 2 2 + C ′ ( n ) η .   C'est à dire, d'après la normalisation ( 2 ) des fonctions propres ∑ i = 1 + ∞ λ i a i 2 ≤ n ∑ i = 1 + ∞ a i 2 + C ′ ′ ( n ) η .   Comme λ 1 ( M ) ≥ n   , on peut négliger les k   premiers termes, on obtient ∑ i = k + 1 + ∞ ( λ i − n ) a i 2 ≤ C ′ ′ ( n ) η .   On en déduit par définition de k   ,
| | cos d p − ∑ i = 1 k a i f i | | L 2 2 ≤ C ′ ′ ( n ) η ε (9)
et comme 1 vol M ∫ M cos 2 d p   est proche de 1 n + 1   , la formule de Parseval donne | ∑ i = 1 k a i 2 − 1 | ≤ C ¯ ( n ) η ε .   L'inégalité précédente montre en particulier que les coefficients ( a i ) 1 ≤ i ≤ k   sont bornés, on déduit alors de l'hypothèse sur λ k ( M )   et de la proposition  1.1 , l'existence d'une constante D ( n )   telle que la fonction h = cos d p − ∑ i = 1 k a i f i   vérifie | | h | | L ∞ ≤ D ( n )   et | | d h | | L ∞ ≤ D ( n ) .   Or par l'inégalité de Cauchy-Schwartz, on déduit de ( 9 ) | | h | | L 1 ≤ ( C ′ ′ ( n ) η ε ) 1 2 .   Soit x 0   tel que | h ( x 0 ) | = | | h | | L ∞   et r   un réel positif, le théorème des accroissements finis donne ( C ′ ′ ( n ) η ε ) 1 2 vol ( M ) ≥ ∫ B ( x 0 , r ) | h ( x ) | d x ≥ ( | | h | | L ∞ − D ( n ) r ) vol ( B ( x 0 , r ) ) .   En appliquant le théorème de Bishop-Gromov, on en déduit ( C ′ ′ ( n ) η ε ) 1 2 ≥ V ( r ) V ( π ) ( | | h | | L ∞ − D ( n ) r ) .   D'où le résultat en choisissant r = r ( η ε )   convenable. Ce qui achève la preuve du lemme  2.2 . ■  

2.2 Démonstration du théorème  2.1 

Soit ( M , g )   un élément de ℳ n   vérifiant la propriété P k ( η )   , en particulier ( M , g )   vérifie d i a m ( M ) ≥ π − η .   Sous ces hypothèses, le résultat de S.Y. Cheng cité dans l'introduction montre que λ 1 ( M )   est proche de n   . On déduit du lemme  2.3 une estimation explicite.
Lemme 2.5 Il existe une constante C ( n )   telle que tout élément ( M , g )   de ℳ n   pour lequel d i a m ( M ) > π − η   , vérifie l'inégalité λ 1 ( M ) ≤ n + C ( n ) η .  
Notons ε = η   et k ε = max { k ∈ N ; λ k ( M ) ≤ n + ε } .   Par le lemme  2.5 , pour η   assez petit, k ε   est supérieure ou égale à 1   . Notons ( f i ) 1 ≤ i ≤ k ε   une famille orthogonale de fonctions propres asociées à λ i ( M )   et normalisées par 1 vol M ∫ M f i 2 = 1 n + 1   . D'autre part, notons F = V e c t L 2 ( M ) { f 1 , … , f k ε }   et P F   la projection orthogonale de L 2 ( M )   sur F   . Par hypothèse sur ( M , g )   , il existe ( x 1 , y 1 ) , . . . , ( x k , y k )   appartenant à M 2   tels que pour tout i , j   distincts dans { 1 , … , k }   ,
| d ( x i , x j ) − π 2 | ≤ η (10)
et pour tout i   dans { 1 , … , k }   , d ( x i , y i ) ≥ π − η .   Par conséquent, d'après le lemme  2.2 appliqué avec ε = η   et η   , il existe une fonction τ ( η )   telle que, pour tout i   dans { 1 , … , k }   ,
| | cos d x i − P F ( cos d x i ) | | L ∞ ≤ τ ( η ) (11)
où P F ( cos d x i ) = ∑ j = 1 k ε a j ( x i ) f j   vérifie pour tout i  
| ∑ j = 1 k ε a j 2 ( x i ) − 1 | ≤ τ ( η ) . (12)
En particulier, pour η   assez petit et pour tout i   , P F ( cos d x i )   n'est pas identiquement nulle. Par conséquent si k ε < k   alors la famille ( P F ( cos ( d x i ) ) i = 1 k   est liée. Notons ( b i ) i ∈ { 1 , … , k } avec ∑ i = 1 k b i 2 = 1   , des coefficients tels que ∑ i = 1 k b i P F ( cos d x i ) = 0 .   Alors ( 11 ) implique | | ∑ i = 1 k b i cos d x i − ∑ i = 1 k b i P F ( cos d x i ) | | L ∞ ≤ k 1 2 τ ( η ) .   C'est à dire,
| | ∑ i = 1 k b i cos d x i | | L ∞ ≤ k 1 2 τ ( η ) . (13)
Comme ∑ i = 1 k b i 2 = 1   , l'un des coefficients b i 0   vérifie | b i 0 | ≥ 1 k   . Or l'estimation ( 13 ) appliquée au point x = x i 0   et l'hypothèse ( 10 ) implique | b i 0 | ≤ τ ( η )   ce qui est absurde pour η   assez petit et donc k ε ≥ k   , ce qui termine la preuve du théorème  2.1 .

3 Valeurs propres proches de n  

L'objet de cette partie est de démontrer la réciproque du théorème  2.1 .
Théorème 3.1 Il existe une fonction τ ( ε )   telle que tout élément ( M , g )   de ℳ n   pour lequel λ k ( M ) ≤ n + ε   , vérifie la propriété P k ( τ ( ε ) )   .
Ce résultat découle d'une ̏ réciproque ̆ du lemme  2.2 .
Proposition 3.2 Il existe des fonctions τ ( ε )   et ψ ( ε )   telles que, pour tout élément ( M , g )   de ℳ n   et toute fonction propre f   sur M   de valeur propre non nulle λ ≤ n + ε   , normalisée par 1 vol M ∫ M f 2 = 1 n + 1   , on a l'estimation | | c o s d x − f | | L ∞ ≤ τ ( ε ) ,   avec x   dans M   tel que f ( x ) = sup M f   . De plus, si y   dans M   vérifie f ( y ) = inf M f   alors d ( x , y ) > π − ψ ( ε ) .  
Nous démontrons cette proposition dans le prochain paragraphe.

3.1 Fonctions propres associées à une ̏ petite ̆ valeur propre

La preuve de la proposition  3.2 est une conséquence du lemme  1.6 . La première étape consiste à estimer la borne supérieure d'une telle fonction propre.
Lemme 3.3 Il existe une fonction τ ( ε )   ne dépendant que de n   , telle que pour tout élément ( M , g )   de ℳ n   et toute fonction propre f   sur M   de valeur propre non nulle λ ≤ n + ε   , normalisée par 1 vol M ∫ M f 2 = 1 n + 1   , on a l'estimation | sup M f − 1 | ≤ τ ( ε ) .  
Preuve : Par la minoration de Lichnérowicz de la première valeur propre non nulle, λ   vérifie n ≤ λ ≤ n + ε .   Par choix de la normalisation de f   , on a
1 ≤ 1 vol M ∫ M f 2 + | d f | 2 ≤ 1 + ε n + 1 . (14)
Donc d'après la proposition  1.1 , il existe une fonction τ ( ε )   telle que f   vérifie pour tout x   dans M   f 2 ( x ) + | d f | 2 ( x ) ≤ 1 + τ ( ε ) .   Ainsi f 2 + | d f | 2   est majorée par une quantité environ égale à sa moyenne, par conséquent f 2 + | d f | 2   est L 1   proche de sa moyenne :
1 vol M ∫ M | 1 − f 2 ( x ) − | d f | 2 ( x ) | ≤ τ ( ε ) .   Soit x   vérifiant f ( x ) = sup M f   . Un corollaire du théorème de Bishop-Gromov ([11] , remarque 2.8) implique l'existence de R ( ε )   , τ ′ ( ε )   ne dépendant que de n   et de x ~   vérifiant d ( x , x ~ ) ≤ R ( ε )   , tels que | f 2 ( x ~ ) + | d f | 2 ( x ~ ) − 1 | ≤ τ ′ ( ε ) .   D'après la proposition  1.10 , | d f | 2 ( x ~ ) ≤ τ ( ε )   d'où | f ( x ~ ) − 1 | ≤ τ ( ε ) ,   ce qui permet de conclure pour f ( x )   puisque le gradient de f   est borné.
■  
Preuve de la proposition  3.2  De l'hypothèse sur la valeur propre, on déduit (proposition  1.4 ) | | Hess f + f g | | L 2 ≤ τ ( ε ) .   Fixons x   comme dans l'énoncé et soit u   dans M   quelconque. En appliquant le lemme  1.6 aux boules B ( x , r ( ε ) )   et B ( u , r ( ε ) )   avec r ( ε )   convenable, on obtient l'existence d'une fonction τ ( ε )   telle que pour tout u   dans M   , il existe u ~ , x ~   dans M   tels que :
il existe une unique géodésique minimisante γ   reliant x ~   à u ~   , - d ( u , u ~ ) ≤ r ( ε )   , d ( x , x ~ ) ≤ r ( ε )   et
∫ 0 d ( x ~ , u ~ ) | ( f ∘ γ ) ′ ′ ( t ) + ( f ∘ γ ) ( t ) | 2 d t ≤ τ ( ε ) . (15)
Nous allons maintenant estimer les conditions initiales f ∘ γ ( 0 )   et ( f ∘ γ ) ′ ( 0 )   afin d'appliquer le lemme  1.9 . Par le lemme  3.3 , on a | sup M f − 1 | ≤ τ 2 ( ε ) .   Par conséquent comme x ~   est proche de x   et que le gradient de f   est borné, on en déduit l'existence d'une fonction τ 3 ( ε )   telle que
| ( f ∘ γ ) ( 0 ) − 1 | ≤ τ 3 ( ε ) . (16)
D'autre part, par la proposition  1.10 , il existe une fonction τ 4 ( ε )   telle que | ∇ f | ( x ~ ) ≤ τ 4 ( ε )   d'où
| ( f ∘ γ ) ′ ( 0 ) | ≤ τ 4 ( ε ) . (17)
Grâce à ( 15 ), ( 16 ) et ( 17 ), le lemme  1.9 appliqué à f ∘ γ   et cos   , implique l'existence d'une fonction τ 5 ( ε )   telle que pour tout t   dans [ 0 , d ( x ~ , u ~ ) ]   ,
| ( f ∘ γ ) ( t ) − cos ( t ) | ≤ τ 5 ( ε ) . (18)
| ( f ∘ γ ) ′ ( t ) + sin ( t ) | ≤ τ 5 ( ε ) . (19)
En particulier, | f ( u ~ ) − cos ( d ( x ~ , u ~ ) ) | ≤ τ 5 ( ε ) .   Donc par construction de x ~   et u ~   et comme le gradient de f   est borné, on en déduit l'existence d'une fonction τ 6 ( ε )   telle que | | f − cos d ( x , . ) | | L ∞ ≤ τ 6 ( ε ) .   Montrons maintenant la deuxième partie de l'énoncé. Soit y   vérifiant f ( y ) = inf M f   et soit x ~   et y ~   comme ci-dessus.
D'après ( 19 )
| ( f ∘ γ ) ′ ( d ( x ~ , y ~ ) ) + sin ( d ( x ~ , y ~ ) ) | ≤ τ 5 ( ε ) . (20)
Comme y ~   est proche de y   qui est un point réalisant le minimum de f   , on déduit de la proposition  1.10 apliquée à y ~   et de ( 20 ) | sin ( d ( x ~ , y ~ ) ) | ≤ τ 7 ( ε ) .   La borne sur le gradient de f   et le lemme  3.3 excluent l'hypothèse que d ( x ~ , y ~ )   soit proche de 0   donc les points x   et y   sont nécessairement à distance presque π   .
■  

3.2 Démonstration du théorème  3.1 

Pour cela, on prouve un résultat un peu plus précis :
Proposition 3.4 Soit k   dans { 2 , … , n + 1 }   . Il existe une fonction τ ( ε )   telle que pour tout élément ( M , g )   de ℳ n   vérifiant λ k ( M ) ≤ n + ε   , il existe ( x 1 , y 1 ) , . . . , ( x k , y k )   dans M 2   tels que, pour tout i   dans { 1 , … , k }   , | d ( x i , y i ) − π | ≤ τ ( ε ) ,   pour tout i , j   distincts dans { 1 , … , k }   | d ( x i , x j ) − π 2 | ≤ τ ( ε ) ,   | d ( x i , y j ) − π 2 | ≤ τ ( ε ) ,   | d ( y i , y j ) − π 2 | ≤ τ ( ε ) .   De plus, ces points vérifient f i ( x i ) = sup M f i   et f i ( y i ) = inf M f i   avec ( f i ) 1 ≤ i ≤ k   une famille orthogonale de fonctions propres associées à ( λ i ( M ) ) 1 ≤ i ≤ k   et normalisées par ( 2 ).
Ces couples de points correspondent dans le cas modèle, aux couples formés de k   vecteurs ( e i ) 1 ≤ i ≤ k   de la base canonique de R n + 1   et des k   vecteurs opposés ( − e i ) 1 ≤ i ≤ k   .
Preuve : Soit ( x i ) 1 ≤ i ≤ k   et ( y i ) 1 ≤ i ≤ k   définis par f i ( x i ) = sup M f i et f i ( y i ) = inf M f i ,   avec les fonctions ( f i ) 1 ≤ i ≤ k   définies comme ci-dessus. D'après la proposition  3.2 , pour tout i   dans { 1 , … , k }   , on a
d ( x i , y i ) > π − ψ ( ε ) . (21)
Nous allons montrer l'existence d'une fonction τ ( ε )   , telle que pour tout i , j   comme dans l'énoncé,
| d ( x i , x j ) − π 2 | ≤ τ ( ε ) . (22)
Admettons provisoirement ce résultat, on en déduit les autres estimations à l'aide d'un lemme sur la fonction ̏ excess ̆, dû à K. Grove et P. Petersen.
Lemme 3.5 ([12] ) Il existe une fonction τ ( ε )   telle que pour tout élément ( M , g )   de ℳ n   et pour tout p , q   dans M   vérifiant d ( p , q ) ≥ π − ε ,   on a e p , q ( M ) = sup x ∈ M ( d ( p , x ) + d ( q , x ) − d ( p , q ) ) ≤ τ ( ε ) .  
D'après ce lemme et ( 21 ), il existe une fonction τ 2 ( ε )   , telle que pour tout i , j   distincts dans { 1 , … , k }   , | d ( x j , y j ) − d ( x i , x j ) − d ( x i , y j ) | ≤ τ 2 ( ε ) ,   donc par ( 21 ) et ( 22 ), il existe une fonction τ 3 ( ε )   telle que | d ( x i , y j ) − π 2 | ≤ τ 3 ( ε ) .   On déduit de manière similaire l'estimation sur d ( y i , y j )   .
Démontrons maintenant l'estimation ( 22 ). Fixons i , j   distincts dans { 1 , … , k }   . Notons h = f i f j + < d f i , d f j > .   Par hypothèse sur les fonctions ( f i ) 1 ≤ i ≤ k   1 vol M ∫ M h = 0 .   Calculons la différentielle de h   d h = f j d f i + f i d f j + Hess f i ( ∇ f j , . ) + Hess f j ( ∇ f i , . ) ,   d h = ( Hess f i + f i g ) ( ∇ f j , . ) + ( Hess f j + f j g ) ( ∇ f i , . ) .   Donc | d h | 2 ≤ 2 ( | | Hess f i + f i g | | 2 × | | ∇ f j | | 2 + | | Hess f j + f j g | | 2 × | | ∇ f i | | 2 ) .   Or par la proposition  1.4 , il existe une fonction τ 4 ( ε )   telle que pour tout s   dans { 1 , … , k }   , | | Hess f s + f s g | | L 2 ≤ τ 4 ( ε ) .   Par ( 4 ), on en déduit l'existence d'une fonction τ 5 ( ε )   telle que 1 vol M ∫ M | d h | 2 ≤ τ 5 ( ε ) .   En appliquant l'inégalité de Poincaré à la fonction h   de moyenne nulle, on obtient, puisque λ 1 ( M ) ≥ n   , l'existence d'une fonction τ 6 ( ε )   telle que 1 vol M ∫ M h 2 ≤ τ 6 ( ε ) .   On en déduit alors par un corollaire du théorème de Bishop-Gromov ([11] , remarque 2.8) l'existence de fonctions τ 7 ( ε )   et R ( ε )   telles que pour tout x   dans M   , il existe x ~   tel que d ( x , x ~ ) < R ( ε )   et | h ( x ~ ) | ≤ τ 7 ( ε ) .   Pour x = x j   , la proposition  1.10 implique l'existence d'une constante C ′ ( n )   telle que | ∇ f j | ( x ~ j ) ≤ C ′ ( n ) R ( ε )   puisque f j ( x j ) = sup M f j   . On en déduit qu'il existe une fonction τ 8 ( ε )   telle que | h ( x ~ j ) − f i ( x ~ j ) f j ( x ~ j ) | ≤ τ 8 ( ε ) .   Mais, par la proposition  3.2  | | cos d x j − f j | | L ∞ ≤ τ 9 ( ε ) ,   d'où | f j ( x ~ j ) − 1 | ≤ C ( n ) R ( ε ) + τ 9 ( ε ) .   Par conséquent, il existe une fonction τ 10 ( ε )   telle que | f i ( x ~ j ) | ≤ τ 10 ( ε ) .   On termine la preuve en appliquant de nouveau la proposition  3.2 .
■  

4 Proximité de Gromov-Hausdorff

Dans cette partie, nous montrons le
Théorème 4.1 Soit k   dans { 2 , … , n + 1 }   . Il existe une fonction τ ( ε )   telle que tout élément ( M , g )   de ℳ n   vérifiant λ k ( M ) ≤ n + ε   , possède un sous-ensemble A ⊂ M   presque convexe tel que d G H ( A , S k − 1 ) ≤ τ ( ε )   .
Nous renvoyons à la proposition  4.5 pour la définition de la presque convexité. Fixons k   dans { 2 , … , n + 1 }   . Notons F = ( f 1 , … , f k )   et Φ = F f 1 2 + ⋅ ⋅ ⋅ + f k 2   où les fonctions ( f i ) 1 ≤ i ≤ k   sont les fonctions propres associées aux valeurs propres ( λ i ( M ) ) 1 ≤ i ≤ k   et normalisées par ( 2 ). Sur la sphère canonique, les fonctions coordonnées (qui forment une base de fonctions propres de valeur propre n   ) fournissent un plongement isométrique d'une partie de ( S n , g c a n )   sur S k − 1 ⊂ R k   :
{ x ∈ S n ; X 1 2 + ⋅ ⋅ ⋅ + X k 2 = 1 } ⟶ S k − 1
x ↦ ( X 1 , … , X k ) ( x )
Nous allons montrer que l'application Φ   restreinte à une partie A k   convenable est une τ ( ε )   approximation de Gromov-Hausdorff, c'est à dire que pour tout X   dans S k − 1   , il existe y   dans A k   tel que d S k − 1 ( X , Φ ( y ) ) < τ ( ε )   et pour tout x , y   dans A k   , | d ( x , y ) − d S k − 1 ( Φ ( x ) , Φ ( y ) ) | < τ ( ε )   ( d S k − 1   désigne la distance induite par la métrique canonique). Nous montrerons que pour une fonction η ( ε )   bien choisie, A k = { x ∈ M ; | ( f 1 2 + ⋅ ⋅ ⋅ + f k 2 ) ( x ) − 1 | < η ( ε ) }   convient.
Par choix de la partie A k   et par uniforme continuité de la fonction arccos   , il suffit pour démontrer le théorème  4.1 de prouver l'existence d'une fonction τ ( ε )   pour laquelle la fonction F   vérifie les propriétés suivantes :
une propriété de ̏ τ ( ε )   -presque surjectivité ̆ :
pour tout X   dans S k − 1   , il existe x   dans A k   tel que
| | F ( x ) − X | | R k ≤ τ ( ε ) , (23)
une propriété de ̏ τ ( ε )   -proximité métrique ̆ :
pour tout x , y   dans A k  
| cos d ( x , y ) − < F ( x ) , F ( y ) > R k | ≤ τ ( ε ) , (24)
où < . , . > R k   désigne le produit scalaire euclidien dans R k   et | | . | | R k   la norme associée.
La démonstration de ( 23 ) fait l'objet du prochain paragraphe, nous en déduirons ( 24 ) dans le paragraphe suivant.

4.1 Démonstration de la ̏ presque surjectivité ̆

Soit ( M , g )   un élément de ℳ n   , s   un entier non nul et η   un nombre réel positif. Soit f 1 , … , f s   une famille orthogonale de fonctions propres sur M   associées à ( λ i ( M ) ) 1 ≤ i ≤ s   et normalisées par ( 2 ). On note A s η = { x ∈ M ; | f 1 2 ( x ) + ⋅ ⋅ ⋅ + f s 2 ( x ) − 1 | < η } .  
Proposition 4.2 Soit k   dans { 1 , … , n + 1 }   . Il existe des fonctions η ( ε )   et τ ( ε )   telles que pour tout élément ( M , g )   de ℳ n   pour lequel λ k ( M ) ≤ n + ε   , l'ensemble A k η ( ε )   vérifie une propriété de τ ( ε )   -presque surjectivité.
Preuve : La preuve repose sur une récurrence finie. Lorsque k = 1   , la proposition  4.2 est une conséquence directe de la proposition  3.2 .
Fixons k   dans { 1 , … , n + 1 }   et m   dans { 1 , … , k − 1 }   . Dans la suite de la démonstration, on identifie { x ∈ S k − 1 ; x = ( a 1 , … , a m , 0 , … , 0 ) }   avec S m − 1   . La preuve de la proposition est une conséquence du lemme suivant
Lemme 4.3 Supposons qu'il existe des fonctions η m ( ε )   et ψ m ( ε )   telles que pour tout X   dans S m − 1   , il existe x   dans A m η m ( ε )   tel que | | ( f 1 , … , f m ) ( x ) − X | | R m ≤ ψ m ( ε )   alors il existe des fonctions η m + 1 ( ε )   et ψ m + 1 ( ε )   telles que pour tout X   dans S m   , il existe x   dans A m + 1 η m + 1 ( ε )   tel que | | ( f 1 , … , f m + 1 ) ( x ) − X | | R m + 1 ≤ ψ m + 1 ( ε ) .  
Démontrons le lemme  4.3 . Commençons par remarquer que pour toute fonction η ( ε )   , il existe une fonction θ ( ε )   telle que pour tout s   dans { 1 , … , k − 1 }   ,
A s η ( ε ) ⊂ A s + 1 θ ( ε ) , (25)
c'est à dire que f s + 1 ( A s η ( ε ) )   est presque réduit à { 0 }   . Ce résultat est une conséquence directe d'un lemme démontré par P. Petersen ([17] , lemme 3.3).
Lemme 4.4 ([17] ) Il existe une fonction τ ( ε )   telle que pour tout élément ( M , g )   dans ℳ n   vérifiant λ k ( M ) ≤ n + ε   , on a pour tout x   dans M   f 1 2 ( x ) + ⋅ ⋅ ⋅ + f k 2 ( x ) ≤ 1 + τ ( ε ) ,   où ( f i ) 1 ≤ i ≤ k   est une famille orthogonale de fonctions propres de M   , de valeurs propres ( λ i ( M ) ) 1 ≤ i ≤ k   et normalisées par 1 vol M ∫ M f i 2 = 1 n + 1 .  
Soit Y = ( cos s 1 , . . . , cos s m + 1 )   dans S m   . Il faut distinguer les cas | sin s m + 1 | < μ ( ε )   et | sin s m + 1 | ≥ μ ( ε )   , où μ ( ε )   vérifie lim ε → 0 μ ( ε ) = 0   et sera défini plus loin.
Supposons | sin s m + 1 | < μ ( ε )   . Dans ce cas, comme d ( x i , x m + 1 )   est proche de π 2   et d ( x i , y m + 1 )   est proche de π 2   pour tout i   dans { 1 , … , m }   , la proposition  3.2 implique l'existence d'une fonction τ 2 ( ε )   telle que | | ( f 1 , … , f m + 1 ) ( α ) − Y | | R m + 1 ≤ τ 2 ( ε ) ,   avec α = x m + 1   si s m + 1   est proche de 0   et α = y m + 1   sinon.
On suppose maintenant que | sin s m + 1 | ≥ μ ( ε )   et que s m + 1 ≤ π 2   . Le cas s m + 1 > π 2   sera traité plus loin. On définit X = ( cos s 1 sin s m + 1 , … , cos s m sin s m + 1 ) ∈ S m − 1 .   Par hypothèse de récurrence, il existe x 0 ∈ A m η m ( ε )   telle que
| | ( f 1 , … , f m ) ( x 0 ) − X | | R m ≤ ψ m ( ε ) . (26)
D'après ( 25 ), il existe une fonction θ ( ε )   telle que A m η m ( ε ) ⊂ A m + 1 θ ( ε )   . D'après la proposition  3.2 , f m + 1   est proche en norme L ∞   de cos d x m + 1   donc comme x 0   appartient à A m η m ( ε )   , l'équation ( 25 ) implique l'existence d'une fonction τ 3 ( ε )   telle que | cos d x m + 1 ( x 0 ) | ≤ τ 3 ( ε ) .   Par conséquent, par l'inégalité des accroissements finis, on a
| π 2 − d x m + 1 ( x 0 ) | ≤ τ 3 ( ε ) . (27)
En appliquant le lemme  1.6 aux fonctions f i   (pour i   dans { 1 , … , m + 1 }   ) au voisinage des points x 0   et x m + 1   , on en déduit qu'il existe x ~ 0   avec d ( x ~ 0 , x 0 ) < r ( ε )   et x ~ m + 1   avec d ( x m + 1 , x ~ m + 1 ) < r ( ε )   , tels que si on note γ   l'unique géodésique minimisante reliant x ~ m + 1   à x ~ 0   et u i = f i ∘ γ   (pour i ∈ { 1 , … , m + 1 }   ) alors ∫ 0 d ( x ~ 0 , x ~ m + 1 ) | u i ′ ′ ( t ) + u i ( t ) | 2 d t ≤ τ 4 ( ε ) .   Pour i   dans { 1 , … , m }   , les conditions aux bords sont
u i ( 0 ) = f i ( x ~ m + 1 ) (28)
et
u i ( d ( x ~ m + 1 , x ~ 0 ) ) = f i ( x ~ 0 ) . (29)
Or, d'une part | f i ( x ~ m + 1 ) | ≤ | f i ( x ~ m + 1 ) − f i ( x m + 1 ) | + | | f i − cos d x i | | L ∞ + | cos d x i ( x m + 1 ) | ,   donc | f i ( x ~ m + 1 ) | ≤ C ( n ) r ( ε ) + τ 5 ( ε ) + τ 6 ( ε )   et d'autre part | f i ( x ~ 0 ) − cos s i sin s m + 1 | ≤ | f i ( x ~ 0 ) − f i ( x 0 ) | + | f i ( x 0 ) − cos s i sin s m + 1 |   donc | f i ( x ~ 0 ) − cos s i sin s m + 1 | ≤ C ( n ) r ( ε ) + ψ m ( ε ) .   Pour i   dans { 1 , … , m }   , notons u ¯ i ( t ) = cos s i sin s m + 1 sin ( t )   . En utilisant ( 27 ), on en déduit | u ¯ i ( π 2 ) − u ¯ i ( d ( x ~ m + 1 , x ~ 0 ) ) | ≤ τ 3 ( ε ) + 2 r ( ε ) μ ( ε ) .   On fixe μ ( ε ) = τ 3 ( ε ) + 2 r ( ε )   . D'après ( 28 ) et ( 29 ), il existe une fonction τ 7 ( ε )   telle que | u i ( 0 ) − u i ¯ ( 0 ) | ≤ τ 7 ( ε )   et | u i ( d ( x ~ m + 1 , x ~ 0 ) ) − u i ¯ ( d ( x ~ m + 1 , x ~ 0 ) ) | ≤ τ 7 ( ε ) .   D'après ( 27 ), on peut supposer ε   assez petit pour que l = d ( x ~ m + 1 , x ~ 0 )   vérifie l'hypothèse du lemme  1.8 , par conséquent en appliquant ce lemme aux fonctions u i   et u ¯ i   , on obtient l'existence d'une fonction τ 8 ( ε )   telle que pour tout i   dans { 1 , … , m }   et pour tout t   dans [ 0 , d ( x ~ m + 1 , x ~ 0 ) ]   | ( f i ∘ γ ) ( t ) − cos s i sin s m + 1 sin ( t ) | ≤ τ 8 ( ε ) .   La proposition  3.2 permet d'estimer f m + 1   , on obtient | f m + 1 ( γ ( t ) ) − cos t | ≤ τ 5 ( ε ) + r ( ε ) .   En combinant ces résultats, on en déduit l'existence d'une fonction τ 9 ( ε )   telle que pour tout t   dans [ 0 , d ( x ~ m + 1 , x ~ 0 ) ]   ,
| | ( f 1 , … , f m + 1 ) ( γ ( t ) ) − ( ( cos s 1 , … , cos s m , 0 ) sin t sin s m + 1 + ( 0 , … , 0 , cos t ) ) | | R m + 1 ≤ τ 9 ( ε ) . (30)
D'où, comme on suppose s m + 1 ≤ π 2   , on obtient pour T = min { d ( x ~ m + 1 , x ~ 0 ) , s m + 1 }  
| | ( f 1 , … , f m + 1 ) ( γ ( T ) ) − ( cos s 1 , … , cos s m , cos s m + 1 ) | | R m + 1 ≤ τ 9 ( ε ) + | | ( ( cos s 1 , … , cos s m , 0 ) ( sin T sin s m + 1 − 1 ) + ( 0 , … , 0 , 1 ) ( cos T − cos s m + 1 ) ) | | R m + 1 .  
Or comme par ( 27 ) d ( x ~ m + 1 , x ~ 0 ) ≥ π 2 − τ 3 ( ε ) − 2 r ( ε ) ,   la proposition est démontrée dans ce cas. Si s m + 1 ≥ π 2   , il suffit de remplacer x m + 1   par y m + 1   dans tout ce qui précède.
■  

4.2 Propriété de ̏ proximité métrique ̆

Soit k   dans { 2 , … , n + 1 }   . On conserve la notation A k η ( ε )   pour la partie introduite dans la proposition  4.2 . Dans cette partie, nous montrons que F = ( f 1 , … , f k )   vérifie la propriété de τ ( ε )   -proximité métrique, dont nous rappelons la définition :
Il existe une fonction τ ( ε )   telle que tout élément ( M , g )   de ℳ n   tel que λ k ( M ) ≤ n + ε   , vérifie pour tout x , y   dans A k η ( ε )  
| cos d ( x , y ) − < F ( x ) , F ( y ) > R k | ≤ τ ( ε ) , (31)
ce qui termine la preuve du théorème  4.1 . Nous démontrons également que tout élément ( M , g )   de ℳ n   tel que λ n + 1 ( M ) ≤ n + ε   , vérifie
d G H ( M , S n ) ≤ τ ( ε ) . (32)
Enfin nous démontrons que la partie A k η ( ε )   est ̏ presque convexe ̆ au sens de la proposition ci-dessous.
Proposition 4.5 Il existe des fonctions η ′ ( ε )   et τ ( ε )   , telles que pour tout élément ( M , g )   dans ℳ n   vérifiant λ k ( M ) ≤ n + ε   , alors pour tout x , y   dans A k η ( ε )   , d A k η ′ ( ε ) ( x , y ) ≤ d ( x , y ) + τ ( ε )   où d A k η ′ ( ε )   désigne la distance intrinsèque de l'ouvert A k η ′ ( ε )   et η ′ ( ε )   vérifie η ′ ( ε ) ≥ η ( ε )   .
Commençons par montrer comment la démonstration de la propriété ( 32 ) se ramène à la démonstration que nous allons donner de la propriété ( 31 ). Sous l'hypothèse λ n + 1 ( M ) ≤ n + ε   , la proposition  4.2 montre que la variété M   contient une partie qui est τ ( ε )   -presque surjective sur S n   . Il suffit donc de prouver que cette application vérifie la propriété de τ ( ε )   -proximité métrique pour une fonction τ ( ε )   convenable. Or d'après un résultat de P. Petersen ([17] , lemme 5.2), il existe une fonction R ( ε )   telle que M = A n + 1 R ( ε ) ,   avec R ( ε ) ≥ η ( ε )   (où η ( ε )   a été introduit dans la proposition  4.2 ). Pour démontrer la propriété ( 32 ), il suffit donc de démontrer la propriété de proximité métrique ( 31 ) pour toute partie A k R ( ε )   avec R ( ε ) ≥ η ( ε )   .
Plan de la preuve de l'estimation ( 31 ) Dans une première partie, nous démontrons que tout point de A k R ( ε )   (avec R ( ε ) ≥ η ( ε )   ) admet un presque antipode dans A k R ( ε )   . Nous démontrons également la proposition  4.5 . Ensuite grâce au lemme  2.2 , nous montrons que pour tout x , y   dans A k R ( ε )   , cos d ( x , y )   est proche de ∑ i = 1 k a i ( x ) f i ( y )   , avec ( a i ( x ) ) i ≥ 0   , les coefficients de Fourier de cos d x   . Nous montrons ensuite que a i ( x )   est proche de f i ( x )   (il y a égalité dans le cas de la sphère), ce qui permet de conclure.

4.2.1 Propriétés des ensembles A k R ( ε )  

Soit k   dans { 2 , … , n + 1 }   et A k R ( ε )   avec
R ( ε ) ≥ η ( ε ) , (33)
fixé.
Sur la sphère canonique, l'ensemble { x ∈ S n ; X 1 2 ( x ) + ⋅ ⋅ ⋅ + X k 2 ( x ) = 1 }   où les fonctions ( X i ) 1 ≤ i ≤ k   sont les k   premières fonctions coordonnées, est un équateur de dimension k-1. La fonction X 1 2 + ⋅ ⋅ ⋅ + X k 2   définie sur S n   atteint son maximum sur cet équateur, son gradient est donc nul sur cet ensemble.
Le lemme suivant est une généralisation de ce fait au ̏ presque équateur ̆ A k R ( ε )   , dans le cas où la variété ( M , g )   admet k   valeurs propres de n   .
Lemme 4.6 Il existe une fonction τ ( ε )   , telle que pour toute fonction θ ( ε )   et pour tout élément ( M , g )   dans ℳ n   vérifiant λ k ( M ) ≤ n + ε   , on a pour tout x   dans A k θ ( ε )   l'estimation | ∇ ( ∑ i = 1 k f i 2 ) | ( x ) ≤ 4 ( 1 + θ ( ε ) ) ( τ ( ε ) + θ ( ε ) ) ,   avec ( f i ) 1 ≤ i ≤ k   une famille orthogonale de fonctions propres associées à ( λ i ( M ) ) 1 ≤ i ≤ k   et normalisées par ( 2 ).
Preuve : Fixons un point x 0   de A k θ ( ε )   et considérons les coefficients a i = f i ( x 0 ) ∑ i = 1 k f i 2 ( x 0 )   pour i   dans { 1 , … , k }   .
On note f = ∑ i = 1 k a i f i   . En développant le terme | ∇ f | 2   , on obtient | ∇ f | 2 ( x ) = ∑ 1 ≤ i , j ≤ k a i a j < ∇ f i ( x ) , ∇ f j ( x ) > .   D'où, en x 0   | ∇ f | 2 ( x 0 ) = 1 4 ∑ i = 1 k f i 2 ( x 0 ) | ∇ ( ∑ i = 1 k f i 2 ) ( x 0 ) | 2 .   Par conséquent en appliquant la proposition  1.1 à f   au point x 0   , on obtient ∑ i = 1 k f i 2 ( x 0 ) + 1 4 ∑ i = 1 k f i 2 ( x 0 ) | ∇ ( ∑ i = 1 k f i 2 ) ( x 0 ) | 2 ≤ 1 + τ ( ε ) .   Or x 0   appartient à A k θ ( ε )   entraine 1 + θ ( ε ) ≥ ∑ i = 1 k f i 2 ( x 0 ) ≥ 1 − θ ( ε )   , d'où le résultat. ■  
Ce lemme permet de démontrer que tout point de A k R ( ε )   admet un presque antipode.
Lemme 4.7 Il existe une fonction δ ( ε )   (vérifiant lim ε → 0 δ ( ε ) ε = + ∞   ) telle que pour tout élément ( M , g )   de ℳ n   vérifiant λ k ( M ) ≤ n + ε   et pour tout x   dans A k R ( ε )   , il existe y   dans A k R ( ε )   avec d ( x , y ) > π − δ ( ε ) .  
Preuve : Dans le cas de la sphère, le point antipodal d'un point X   de S n   est − X   , ce qui suggère le ̏ candidat ̆ à être un presque antipode de x   appartenant à A k R ( ε )   . Soit x   dans A k R ( ε )   , notons α = | | ( f 1 , … , f k ) ( x ) | | R k   , l'hypothèse x   appartient à A k R ( ε )   implique ( 1 − R ( ε ) ) 1 2 ≤ α ≤ ( 1 + R ( ε ) ) 1 2 .   Par la proposition  4.2 de presque surjectivité, il existe y   appartenant à A k η ( ε )   tel que | | ( f 1 , … , f k ) ( y ) + 1 α ( f 1 , … , f k ) ( x ) | | ≤ τ ( ε ) .   En appliquant le lemme  1.6 aux fonctions ( f i ) 1 ≤ i ≤ k   , on en déduit l'existence de x ~   et y ~   vérifiant
d ( x , x ~ ) ≤ r ( ε ) , d ( y , y ~ ) ≤ r ( ε ) (34)
et en notant γ x ~ y ~   l'unique géodésique minimisante reliant x ~   à y ~   , on a pour tout i   dans { 1 , … , k }   ,
∫ 0 d ( x ~ , y ~ ) | ( f i ∘ γ ) ′ ′ ( t ) + ( f i ∘ γ ) ( t ) | 2 d t ≤ τ ′ ( ε ) . (35)
D'autre part, par le lemme  4.6 
| ∇ ( f 1 2 + ⋅ ⋅ ⋅ + f k 2 ) | ( x ~ ) ≤ τ ′ ′ ( ε ) . (36)
Notons a i = f i ( x ~ )   , b i = ( f i ∘ γ x ~ y ~ ) ′ ( 0 )   et l = d ( x ~ , y ~ )   . On déduit de l'équation ( 35 ) et du lemme  1.9 , l'existence d'une fonction τ 2 ( ε )   telle que pour tout i   dans { 1 , … , k }   et pour tout t   dans [ 0 , l ]   ,
| ( f i ∘ γ x ~ y ~ ) ( t ) − ( a i cos t + b i sin t ) | ≤ τ 2 ( ε ) , (37)
| ( f i ∘ γ x ~ y ~ ) ′ ( t ) − ( − a i sin t + b i cos t ) | ≤ τ 2 ( ε ) .   En appliquant l'inégalité de Cauchy-Schwartz, on obtient à l'aide de ( 36 )
| ∑ i = 1 k a i b i | = | 1 2 ( ( ∑ i = 1 k f i 2 ) ∘ γ x ~ y ~ ) ′ ( 0 ) | ≤ τ ′ ′ ( ε ) 2 . (38)
Estimons maintenant f i ( y ~ )   pour i   dans { 1 , … , k }   .
f i ( y ~ ) + a i = ( f i ( y ~ ) − f i ( y ) ) + ( f i ( y ) + f i ( x ) α ) + ( − f i ( x ) α + f i ( x ) ) + ( − f i ( x ) + f i ( x ~ ) ) .   D'où, par définition de y   et par ( 34 )
| f i ( y ~ ) + a i | ≤ 2 C ( n ) r ( ε ) + τ ( ε ) + C ( n ) max { − ( 1 + R ( ε ) ) − 1 2 + 1 ; − 1 + ( 1 − R ( ε ) ) − 1 2 } .  
Donc, il existe une fonction τ 3 ( ε )   telle que pour tout i   dans { 1 , … , k }   ,
| f i ( y ~ ) + a i | ≤ τ 3 ( ε ) . (39)
En appliquant ( 37 ) avec t = l   , on obtient
a i cos l + b i sin l = − a i + δ i , (40)
avec | δ i | ≤ τ 3 ( ε )   .
En multipliant ( 40 ) par b i   et en sommant par rapport à i   , on obtient ( ∑ i = 1 k a i b i ) cos l + ( ∑ i = 1 k b i 2 ) sin l + ∑ i = 1 k a i b i ≤ ( ∑ i = 1 k b i 2 ) 1 2 δ ′ .   avec δ ′ = ∑ i = 1 k δ i 2   . Or | b i | ≤ | ∇ f i |   , donc la proposition  1.1 implique que ∑ i = 1 k b i 2   est bornée par une constante C ( n )   . D'autre part | δ ′ | ≤ ( n + 1 ) 1 2 τ 3 ( ε )   , donc on déduit de ( 38 ) l'existence d'une fonction τ 4 ( ε )   telle que | ( ∑ i = 1 k b i 2 ) sin l | ≤ τ 4 ( ε ) ,   par conséquent, soit | sin l | ≤ ( τ 4 ( ε ) ) 1 2   , soit ∑ i = 1 k b i 2 ≤ ( τ 4 ( ε ) ) 1 2   .
-Premier cas : | sin l | ≤ ( τ 4 ( ε ) ) 1 2   .
Comme | | ( f 1 , … , f k ) ( x ) | | R k   est proche de 1   , on en déduit que ( f 1 , … , f k ) ( x )   est presque égal à − ( f 1 , … , f k ) ( y )   . Le gradient des fonctions propres étant borné ( 4 ), cela implique l'existence d'une constante C ′ ( n ) > 0   telle que d ( x , y ) > C ′ ( n )   et donc | sin l | ≤ ( τ 4 ( ε ) ) 1 2   implique que l   est presque égal à π   .
-Deuxième cas : ∑ i = 1 k b i 2 ≤ ( τ 4 ( ε ) ) 1 2   .
Dans ce cas par ( 37 ), il existe une fonction τ 5 ( ε )   telle que pour tout i   dans { 1 , … , k }   et pour tout t   dans [ 0 , l ]   , | ( f i ∘ γ x ~ y ~ ) ( t ) ) − a i cos t | ≤ τ 5 ( ε ) ,   en appliquant cette formule avec t = l   , on obtient par ( 39 ) que cos l   est presque égal à − 1   , d'où le résultat.
■  
À l'aide d'une légère modification de la preuve ci-dessus, nous sommes en mesure de démontrer la propriété de ̏ presque convexité ̆ de l'ensemble A k η ( ε )   (proposition  4.5 ).
Preuve : Le début de la preuve est identique à celle du lemme  4.7 . Soit x , y   dans A k η ( ε )   . En appliquant le lemme  1.6 aux fonctions ( f i ) 1 ≤ i ≤ k   , on en déduit l'existence de x ~   et y ~   vérifiant d ( x , x ~ ) ≤ r ( ε )   , d ( y , y ~ ) ≤ r ( ε )   tels que, si on note γ x ~ y ~   , l'unique géodésique minimisante reliant x ~   à y ~   , on a pour tout i   dans { 1 , … , k }   ,
∫ 0 d ( x ~ , y ~ ) | ( f i ∘ γ ) ′ ′ ( t ) + ( f i ∘ γ ) ( t ) | 2 d t ≤ τ ′ ( ε ) . (41)
Notons a i = f i ( x ~ )   , b i = ( f i ∘ γ x ~ y ~ ) ′ ( 0 )   et l = d ( x ~ , y ~ )   . On en déduit comme précedemment ( 38 ) que pour tout t   dans [ 0 , l ]   ,
| ( f i ∘ γ x ~ y ~ ) ( t ) ) − ( a i cos t + b i sin t ) | ≤ τ 2 ( ε ) (42)
avec
| ∑ i = 1 k a i b i | ≤ τ ( ε ) 2 . (43)
Par ( 4 ), il existe une constante C ( n )   telle que | | ∇ ( ∑ i = 1 k f i 2 ) | | L ∞ ≤ C ( n ) .   Par conséquent, les hypothèses sur x   et x ~   impliquent d ( x , x ~ ) = d A k η ( ε ) + C ( n ) r ( ε ) ( x , x ~ ) ,   de même pour y   et y ~   . Notons η 2 ( ε ) = η ( ε ) + C ( n ) r ( ε )   . Pour démontrer la proposition, il suffit donc de prouver qu'il existe des fonctions η ′ ( ε )   et ψ ( ε )   telles que d A k η ′ ( ε ) ( x ~ , y ~ ) ≤ d ( x ~ , y ~ ) + ψ ( ε ) .   Par construction y ~   appartient à A k η 2 ( ε )   , c'est à dire
| ∑ i = 1 k ( f i 2 ∘ γ x ~ y ~ ) ( l ) − 1 | ≤ η 2 ( ε ) . (44)
Par ailleurs, grâce à ( 42 ) et ( 43 ), il existe une fonction τ ( ε )   telle que
| ∑ i = 1 k ( f i 2 ∘ γ x ~ y ~ ) ( l ) − ( ( ∑ i = 1 k a i 2 ) cos 2 l + ( ∑ i = 1 k b i 2 ) sin 2 l ) | ≤ τ ( ε ) . (45)
Or, comme a i = f i ( x ~ )   et x ~   appartient à A k η 2 ( ε )   , ( 44 ) et ( 45 ) impliquent l'existence d'une fonction τ 2 ( ε )   telle que | ( 1 − ∑ i = 1 k b i 2 ) sin 2 l | ≤ τ 2 ( ε ) .   Par conséquent, soit | ∑ i = 1 k b i 2 − 1 | ≤ τ 2 ( ε )   , soit sin 2 l ≤ τ 2 ( ε )   . Supposons tout d'abord que | ∑ i = 1 k b i 2 − 1 | ≤ τ 2 ( ε )   . Dans ce cas, on obtient en utilisant ( 42 ) et ( 43 ), l'existence d'une fonction τ 3 ( ε )   telle que pour tout t   dans [ 0 , l ]   , | ∑ i = 1 k ( f i 2 ∘ γ x ~ y ~ ) ( t ) − 1 | ≤ τ 3 ( ε ) .   La proposition est démontrée dans ce premier cas. Supposons maintenant que sin 2 l ≤ τ 2 ( ε )   . Ce qui signifie que d ( x ~ , y ~ )   est proche de 0   ou de π   . Si d ( x ~ , y ~ )   est proche de 0   , c'est immédiat. Si d ( x ~ , y ~ )   est presque égal à π   alors nécessairement, avec les notations de la proposition  3.4 , il existe i 0   dans { 1 , … , k }   tel que sin 2 d ( x i 0 , x ~ ) ≥ τ 2 ( ε )   et sin 2 d ( x i 0 , y ~ ) ≥ τ 2 ( ε ) .   Par conséquent, d'après le premier cas, la courbe c   formée de l'union des deux géodésiques minimisantes reliant x ~   à un point voisin de x i 0   et ce dernier point à y ~   est contenue dans A k τ 3 ( ε )   . Le lemme  3.5 sur la fonction ̏ excess ̆ permet alors de conclure. ■  

4.2.2 Démonstration de la propriété de ̏ proximité métrique ̆

Nous venons de montrer que tout point de A k R ( ε )   admet un presque antipode. L'idée de la preuve consiste à utiliser la propriété des fonctions cos d p   pour p   admettant un presque antipode, établie dans le lemme  2.2 .
Cependant, on ne peut pas appliquer directement le lemme  2.2 avec la fonction δ ( ε )   introduite dans le lemme  4.7 , puisqu'on voit facilement (par exemple dans la proposition  1.4 ) que les fonctions τ ( ε )   utilisées dans la preuve du lemme  4.7 sont supérieures à ε   et donc
lim ε → 0 δ ( ε ) ε = + ∞ (46)
Pour contourner ce problème, on pose k ¯ = max { i ; λ i ≤ n + δ ( ε ) } .   Par ( 46 ) et pour ε   assez petit, on a k ¯ ≥ k   . D'après le lemme  2.2 appliqué avec η = δ ( ε )   et δ ( ε )   et le lemme  4.7 , il existe une fonction τ ( ε )   telle que pour tout x   dans A k R ( ε )   , il existe des coefficients ( α i ( x ) ) i = 1 k ¯   pour lesquels pour tout z   dans M   ,
| cos d x ( z ) − ∑ i = 1 k ¯ α i ( x ) f i ( z ) | ≤ τ ( ε ) , (47)
avec | ∑ i = 1 k ¯ α i 2 ( x ) − 1 | ≤ τ ( ε ) .   Montrons que ∑ i = 1 k ¯ | f i ( x ) − α i ( x ) | 2   est petit.
∑ i = 1 k ¯ | f i ( x ) − α i ( x ) | 2 = ∑ i = 1 k ¯ f i 2 ( x ) + ∑ i = 1 k ¯ α i 2 ( x ) − 2 ∑ i = 1 k ¯ α i ( x ) f i ( x ) .   Or le lemme  4.4 implique
∑ i = 1 k ¯ f i 2 ( x ) ≤ 1 + τ ( δ ( ε ) ) (48)
D'autre part, l'inégalité ( 47 ) appliquée pour z = x   donne | ∑ i = 1 k ¯ α i ( x ) f i ( x ) − 1 | ≤ τ ( ε ) .   On obtient finalement
∑ i = 1 k ¯ | f i ( x ) − α i ( x ) | 2 ≤ 3 τ ( ε ) + τ ( δ ( ε ) ) . (49)
En appliquant l'inégalité ( 47 ) à y   dans A k R ( ε )   , il vient | < F ( x ) , F ( y ) > R k − cos d ( x , y ) | ≤ | ∑ i = 1 k f i ( x ) f i ( y ) − ∑ i = 1 k ¯ α i ( x ) f i ( y ) | + τ ( ε )   ≤ | ∑ i = 1 k ¯ ( f i ( x ) − α i ( x ) ) f i ( y ) | + | ∑ i = k + 1 k ¯ f i ( x ) f i ( y ) | + τ ( ε ) .   En utilisant l'inégalité de Cauchy-Schwartz puis ( 49 ) et ( 48 ), on obtient | ∑ i = 1 k ¯ ( f i ( x ) − α i ( x ) ) f i ( y ) | ≤ ( ( 3 τ ( ε ) + τ ( δ ( ε ) ) ) ( 1 + τ ( δ ( ε ) ) ) ) 1 2 .   Il ne reste plus qu'à estimer le terme | ∑ i = k + 1 k ¯ f i ( x ) f i ( y ) |   . Or pour tout élément z de A k R ( ε )   , on a ∑ i = 1 k f i 2 ( z ) ≥ 1 − R ( ε ) ,   donc en utilisant de nouveau l'inégalité de Cauchy-Schwartz et ( 48 ), on obtient | ∑ i = k + 1 k ¯ f i ( x ) f i ( y ) | ≤ R ( ε ) + τ ( δ ( ε ) ) ,   ce qui termine la démonstration.
Références

  1. Michael T. Anderson. Metrics of positive Ricci curvature with large diameter. Manuscripta Math., 68(4) :405–415, 1990.
  2. Erwann Aubry. Théorème de la sphère. In Séminaire de Théorie Spectrale et Géométrie, Vol. 18, Année 1999–2000, volume 18 of Sémin. Théor. Spectr. Géom., pages 125–155. Univ. Grenoble I, Saint, 2000.
  3. Richard L. Bishop and Richard J. Crittenden. Geometry of manifolds. Pure and Applied Mathematics, Vol. XV. Academic Press, New York, 1964.
  4. Jeff Cheeger and Tobias H. Colding. Lower bounds on Ricci curvature and the almost rigidity of warped products. Ann. of Math. (2), 144(1) :189–237, 1996.
  5. Shiu Yuen Cheng. Eigenvalue comparison theorems and its geometric applications. Math. Z., 143(3) :289–297, 1975.
  6. Tobias H. Colding. Large manifolds with positive Ricci curvature. Invent. Math., 124(1-3) :193–214, 1996.
  7. Tobias H. Colding. Shape of manifolds with positive Ricci curvature. Invent. Math., 124(1-3) :175–191, 1996.
  8. Christopher B. Croke. An eigenvalue pinching theorem. Invent. Math., 68(2) :253–256, 1982.
  9. Sylvestre Gallot. Variétés dont le spectre ressemble à celui de la sphère. In Analysis on manifolds (Conf., Univ. Metz, Metz, 1979) (French), volume 80 of Astérisque, pages 3, 33–52. Soc. Math. France, Paris, 1980.
  10. Sylvestre Gallot. Inégalités isopérimétriques, courbure de Ricci et invariants géométriques. II. C. R. Acad. Sci. Paris Sér. I Math., 296(8) :365–368, 1983.
  11. Sylvestre Gallot. Volumes, courbure de Ricci et convergence des variétés (d'après T. H. Colding et Cheeger-Colding). Astérisque, (252) :Exp. No. 835, 3, 7–32, 1998. Séminaire Bourbaki. Vol. 1997/98.
  12. Karsten Grove and Peter Petersen, V. A pinching theorem for homotopy spheres. J. Amer. Math. Soc., 3(3) :671–677, 1990.
  13. Peter Li and Shing Tung Yau. Estimates of eigenvalues of a compact Riemannian manifold. In Geometry of the Laplace operator (Proc. Sympos. Pure Math., Univ. Hawaii, Honolulu, Hawaii, 1979), Proc. Sympos. Pure Math., XXXVI, pages 205–239. Amer. Math. Soc., Providence, R.I., 1980.
  14. André Lichnerowicz. Géométrie des groupes de transformations. Travaux et Recherches Mathématiques, III. Dunod, Paris, 1958.
  15. S. B. Myers. Riemannian manifolds with positive mean curvature. Duke Math. J., 8 :401–404, 1941.
  16. Morio Obata. Certain conditions for a Riemannian manifold to be iosometric with a sphere. J. Math. Soc. Japan, 14 :333–340, 1962.
  17. Peter Petersen. On eigenvalue pinching in positive Ricci curvature. Invent. Math., 138(1) :1–21, 1999.
  18. Peter Petersen. Erratum : “On eigenvalue pinching in positive Ricci curvature” [Invent. Math. 138 (1999), no. 1, 1–21 ; 1714334]. Invent. Math., 155(1) :223, 2004.
  19. R. Schoen and S.-T. Yau. Lectures on differential geometry. Conference Proceedings and Lecture Notes in Geometry and Topology, I. International Press, Cambridge, MA, 1994. Lecture notes prepared by Wei Yue Ding, Kung Ching Chang [Gong Qing Zhang], Jia Qing Zhong and Yi Chao Xu, Translated from the Chinese by Ding and S. Y. Cheng, Preface translated from the Chinese by Kaising Tso.

1   P. Petersen a reconnu avoir commis une erreur dans sa démonstration de la surjectivité [18] , la preuve du théorème  0.6 donne en particulier une preuve complète de la propriété ( 1 )