Résumé technique : Valeurs propres sur les sphères

1. Énoncé du problème et motivation

L'article traite de deux problèmes interconnectés en géométrie spectrale et dans l'analyse des variétés à courbure non négative :

1. Comparaison spectrale sur les sphères : Il examine si les valeurs propres du Laplacien d'une 2-sphère riemannienne ou d'Alexandrov dont la courbure gaussienne est minorée par un ($K \ge 1$) sont minorées par les valeurs propres correspondantes de la sphère ronde unité ($S^2_{\text{round}}$). Plus précisément, il s'agit de savoir si l'inégalité $\lambda_i(S^2, g) \ge \lambda_i(S^2_{\text{round}})$ est vérifiée pour tout $i \ge 1$, et si l'égalité à n'importe quel indice positif impose que la métrique soit isométrique à la métrique ronde.
2. Dimension des fonctions harmoniques : Il cherche à résoudre la version « précise » de la question de Yau sur la finitude de la dimension des fonctions harmoniques à croissance polynomiale sur les variétés complètes à courbure sectionnelle non négative. La question est de savoir si la dimension de l'espace de ces fonctions, $H_d(M)$, est bornée par la dimension de l'espace correspondant sur l'espace euclidien, $\dim H_d(\mathbb{R}^n)$, et si l'égalité implique que la variété est isométrique à $\mathbb{R}^n$.

Les auteurs notent que, bien que Colding et Minicozzi aient établi une borne de croissance de type Weyl ($\dim H_d(M) \le C(n)d^{n-1}$), la comparaison précise par degré entier reste ouverte. Un obstacle clé est que pour les dimensions $n \ge 4$, des contre-exemples à la comparaison des valeurs propres existent (comme montré par Aryan et construit dans la Section 16 pour $n=4$), suggérant que le résultat repose sur des structures spécifiques en deux dimensions.

2. Méthodologie

L'article emploie un « mécanisme de comptage par échelle abstrait » unifié, appliqué à travers quatre contextes géométriques distincts, progressant de cadres simples vers des cadres singuliers.

Le mécanisme abstrait (Section 2)

L'outil analytique central repose sur une séquence d'opérateurs fermés, densément définis, $B_m: H_m \to H_{m+1}$ entre des espaces de Hilbert. Le mécanisme repose sur :

• Spectres partenaires : Les spectres positifs de $B_m^* B_m$ et $B_m B_m^*$ coïncident.
• Dimensions des noyaux : La dimension du noyau $\ker B_m$ (notée $r_m$) et l'annulation de $\ker B_m^*$ ($s_m = 0$) créent un décalage d'indice.
• Inégalité d'échelle : Une inégalité de forme quadratique $C_m \ge A_{m+1}$, où $A_m = B_m^* B_m + \alpha_m I$ et $C_m = B_m B_m^* + \alpha_m I$.
• Récursion : En utilisant le principe de Min-Max, ces éléments génèrent une récursion pour la fonction de comptage $N(\Lambda)$, permettant aux auteurs de borner le nombre de valeurs propres en dessous de certains seuils.

Réalisations géométriques

Les auteurs instancient ce mécanisme en quatre étapes :

1. Cas de symétrie rotationnelle (Partie 1) :

   • Pour les métriques de la forme $g = dr^2 + f(r)^2 g_{S^{n-2}}$, le Laplacien se décompose en opérateurs radiaux.
   • Les auteurs construisent une « échelle radiale » où $B_m$ agit sur les fonctions radiales.
   • Ils prouvent que $K_{\text{rad}} \ge 1$ implique la forme d'inégalité nécessaire et calculent $\dim \ker B_m = 1$.

2. 2-sphères riemanniennes lisses (Partie 2) :

   • Sans symétrie rotationnelle, les auteurs remplacent les modes de Fourier par des fibrés en droites $E_m = (T^{1,0}S^2)^{\otimes m}$.
   • Ils définissent des opérateurs du premier ordre $B_m: L^2(E_m) \to L^2(E_{m+1})$ en utilisant la connexion de Levi-Civita.
   • Identité clé : Une identité d'échelle riemannienne $B_m B_m^* - B_{m+1}^* B_{m+1} = 2(m+1)K_g$ est établie.
   • Calcul du noyau : En utilisant l'invariance conforme et la projection stéréographique, ils montrent que $\dim_{\mathbb{C}} \ker B_m = 2m+1$ et $\ker B_m^* = \{0\}$.
   • La condition de courbure $K_g \ge 1$ garantit l'inégalité de forme $C_m \ge A_{m+1}$.

3. Reformulation géométrique complexe (Section 10) :

   • Le cas lisse est réinterprété sur la surface de Riemann $\Sigma = (S^2, J)$.
   • Les fibrés $E_m$ sont identifiés avec les puissances du fibré anticanonique $K^{-m}$.
   • Les opérateurs $B_m$ deviennent des opérateurs de Dolbeault $\bar{\partial}_m$.
   • Les dimensions des noyaux sont dérivées via le théorème de Riemann-Roch et la dualité de Serre, tandis que l'inégalité d'échelle découle de l'identité de Bochner-Kodaira. Cela fournit une explication structurelle de l'argument de comptage pour le cas lisse.

4. Sphères d'Alexandrov (Partie 3) :

   • Les auteurs étendent les résultats aux espaces singuliers (surfaces d'Alexandrov) avec une courbure $\ge 1$.
   • Ils utilisent une paramétrisation conforme $g_X = e^{2u}g_0$ où la courbure est une mesure $\omega_X$.
   • Approximation : Ils emploient une régularisation par la chaleur ($g_\tau$) pour approximer la métrique singulière par des métriques lisses, préservant la borne de courbure $K_{g_\tau} \ge 1$.
   • Convergence de Mosco : Ils prouvent la convergence des graphes des opérateurs et de leurs formes quadratiques, permettant le transfert des inégalités spectrales vers la limite.
   • Analyse de la rigidité : Pour traiter le cas d'égalité, ils analysent la « mesure de défaut » $\nu_X = \omega_X - dA_X$. Ils prouvent que si l'égalité du comptage est vérifiée à un seuil rond, $\nu_X$ doit être sans atome. Une « identité de défaut » ultérieure force alors $\nu_X = 0$, impliquant que l'espace est isométrique à la sphère ronde.

3. Contributions clés et résultats

Théorèmes principaux

• Théorème 1.8 (Rigidité lisse) : Pour toute métrique riemannienne lisse sur $S^2$ avec $K_g \ge 1$, $\lambda_i(S^2, g) \ge \lambda_i(S^2_{\text{round}})$ pour tout $i \ge 1$. L'égalité pour n'importe quel $i \ge 1$ implique que $(S^2, g)$ est isométrique à la sphère ronde unité.
• Théorème 1.10 (Comptage d'Alexandrov) : Pour toute 2-sphère d'Alexandrov $X$ avec une courbure $\ge 1$, la fonction de comptage satisfait $N_{-\Delta_X}(l(l+1)) \le (l+1)^2$ pour tout $l \ge 0$. Si l'égalité est vérifiée pour un certain $l \in \mathbb{Z}^+$, alors $X$ est isométrique à la sphère ronde unité.
  • Note : Les auteurs soulignent que l'égalité d'une seule valeur propre (par exemple $\lambda_1$) est insuffisante pour la rigidité dans le cadre d'Alexandrov (les contre-exemples sont des métriques de type « football »), nécessitant la condition plus forte de l'égalité à un seuil complet de groupe spectral.
• Théorème 1.12 (Borne de dimension précise) : Soit $(M^3, g)$ une variété riemannienne complète avec courbure sectionnelle non négative ($K_g \ge 0$) et un rapport de volume asymptotique positif ($AVR(M) > 0$). Alors :
  $$\dim H_d(M) \le \dim H_d(\mathbb{R}^3) = (d+1)^2$$
  pour tout $d \ge 0$. Si l'égalité est vérifiée pour un certain $d \in \mathbb{Z}^+$, alors $(M^3, g)$ est isométrique à $\mathbb{R}^3$.

Contre-exemples et limites

• Théorème 16.1 : Les auteurs construisent une perturbation conforme explicite de la métrique ronde sur $S^3$ satisfaisant $\text{Ric} \ge 2g$ où une valeur propre élevée spécifique est strictement plus petite que la valeur propre ronde correspondante. Cela démontre que le théorème de comparaison spectrale ne se généralise pas aux dimensions supérieures via une simple borne inférieure de Ricci, mettant en évidence le rôle unique de la structure de fibré en droites en deux dimensions.

4. Signification et affirmations

L'article affirme fournir une solution complète à la question de la dimension précise pour les fonctions harmoniques à croissance polynomiale en dimension 3, sous réserve de la condition de non-effondrement ($AVR > 0$).

• Signification méthodologique : Ce travail unifie la géométrie spectrale, l'analyse complexe et la géométrie d'Alexandrov à travers un cadre unique de « comptage par échelle ». Il démontre comment les outils de géométrie complexe (opérateurs de Dolbeault, théorème de Riemann-Roch) peuvent être adaptés aux espaces métriques singuliers via la convergence de Mosco.
• Aperçu de la rigidité : L'article clarifie que pour les espaces singuliers, la rigidité nécessite la saturation de l'entièreté de la fonction de comptage à un seuil rond, et non seulement la coïncidence de valeurs propres individuelles. Cette distinction est cruciale pour l'application aux cônes tangents à l'infini.
• Frontière dimensionnelle : En fournissant un contre-exemple en dimension 3 (pour la section transversale) et en citant des travaux récents pour les dimensions supérieures, l'article délimite la frontière précise où l'intuition selon laquelle « une borne inférieure de Ricci implique une rigidité spectrale » échoue, attribuant le succès en dimension 2 à l'interaction spécifique entre la borne de courbure et l'échelle du fibré en droites.

Les auteurs concluent que le succès de la méthode en dimension 3 pour les fonctions harmoniques est une conséquence directe de la rigidité spectrale en deux dimensions de la section transversale à l'infini, qui est nécessairement une sphère d'Alexandrov avec une courbure $\ge 1$.