Rigidity and flexibility under spectral Ricci lower bounds and mean-convex boundary

Résumé technique : Rigidité et flexibilité sous des bornes inférieures spectrales de Ricci et une frontière à courbure moyenne convexe

Énoncé du problème
Cet article examine la rigidité géométrique et topologique des variétés riemanniennes $(M^n, g)$ à bord non vide $\partial M$, soumises à des bornes inférieures spectrales sur la courbure de Ricci et à des conditions de frontière à courbure moyenne convexe. La question centrale porte sur un analogue au bord de la « Question 1 » posée dans l'introduction : déterminer le seuil optimal $\gamma(n)$ tel que, si une variété compacte admet une métrique satisfaisant la condition spectrale $\lambda_1(-\gamma \Delta + \text{Ric}) \ge 0$ (et potentiellement une condition au bord), elle doit également admettre une métrique à courbure sectionnelle strictement positive et à bord strictement à courbure moyenne convexe.

La condition spectrale est définie par l'existence d'une fonction positive $u \in C^{2,\alpha}(M)$ telle que $-\gamma \Delta u + u \text{Ric} \ge 0$ sur $M$ et $H_{\partial M} + \gamma u^{-1}\langle \nabla u, \nu \rangle \ge 0$ sur $\partial M$, où $H_{\partial M}$ est la courbure moyenne par rapport au vecteur normal unitaire sortant $\nu$. Les auteurs cherchent à étendre les théorèmes de rigidité classiques (spécifiquement le théorème de scindement de Kasue pour $\text{Ric} \ge 0$) à ce cadre spectral et à déterminer l'intervalle optimal de $\gamma$ pour lequel de telles contraintes de rigidité ou topologiques sont valables.

Méthodologie
Les auteurs adoptent une approche variationnelle centrée sur les géodésiques pondérées. Contrairement à des travaux récents utilisant des $\mu$-bulles (qui impliquent des surfaces minimales de dimension supérieure), cet article utilise des minimiseurs unidimensionnels du fonctionnel :
$$E(\beta) := \int_\beta u^\gamma d\ell_g$$
où $d\ell_g$ est l'élément de longueur riemannienne. Ce choix permet aux auteurs d'éviter les problèmes de régularité associés aux hypersurfaces minimales de dimension supérieure dans des contextes non compacts.

L'arsenal technique central comprend :

1. Formules de première et seconde variation : Des calculs détaillés sont effectués pour le fonctionnel $E(\beta)$ le long de courbes reliant des composantes de bord disjointes. Ces calculs aboutissent à des inégalités de stabilité impliquant la courbure de Ricci, le Hessien de $u$ et des termes de courbure moyenne au bord.
2. Inégalités de stabilité (Lemmes 1 et 2) : En testant la seconde variation avec des fonctions de coupure spécifiques et en utilisant un repère pondéré, les auteurs dérivent des inégalités intégrales qui contraignent la géométrie des courbes minimisantes.
3. Capture géodésique et compacité (Lemme 3 et Proposition 4) : Une contribution technique cruciale est la preuve que les suites minimisantes pour $E(\beta)$ reliant une composante de bord compacte au reste du bord ne peuvent pas « s'échapper vers l'infini » dans le cas non compact, à condition que $\gamma$ appartienne à un intervalle optimal précis. Cela est obtenu en construisant une contradiction à l'aide de fonctions de coupure et de l'inégalité de stabilité, assurant ainsi l'existence de minimiseurs globaux.
4. Arguments topologiques : L'article combine les résultats de rigidité géométrique avec un théorème profond de Lawson et Michelsohn concernant l'existence de métriques à courbure sectionnelle positive.

Contributions et résultats clés

1. Rigidité spectrale optimale (Théorème 1)
Les auteurs prouvent une extension optimale du théorème de rigidité de Kasue. Si $(M^n, g)$ est une variété complète à bord déconnecté (au moins une composante compacte) satisfaisant les conditions spectrales avec :

• $0 \le \gamma < 4$ pour $n=2$,
• $0 \le \gamma < \frac{n-1}{n-2}$ pour $n \ge 3$,
  alors la variété se scinde isométriquement en un produit $[0, L] \times \Sigma$, où $\Sigma$ est une variété compacte avec $\text{Ric}_\Sigma \ge 0$.
• Optimalité : Les auteurs fournissent des contre-exemples (Propositions 2 et 3) démontrant que si $\gamma$ dépasse ces seuils, la conclusion de scindement échoue. Spécifiquement, pour $\gamma = \frac{n-1}{n-2}$, la variété peut ne pas se scinder, et pour $\gamma > \frac{n-1}{n-2}$, les conclusions topologiques échouent.

2. Rigidité topologique (Théorème 2)
L'article établit que sous les mêmes conditions spectrales (avec le seuil étendu pour inclure l'égalité pour $n \ge 3$, c'est-à-dire $0 \le \gamma \le \frac{n-1}{n-2}$), si au moins une inégalité est stricte, le groupe fondamental relatif s'annule : $\pi_1(M, \partial M) = 0$. Cela implique que le bord est connexe et que l'inclusion $\partial M \hookrightarrow M$ induit une surjection sur les groupes fondamentaux.

• Signification : Cela généralise des résultats connus pour $\text{Ric} \ge 0$ au cadre spectral. Les auteurs notent que la compacité de la variété elle-même n'est pas requise ; seule une composante de bord doit être compacte.

3. Existence de métriques à courbure positive (Théorème 3)
En combinant le Théorème 2 avec le théorème de Lawson–Michelsohn, les auteurs prouvent que pour $n \neq 4$, toute variété compacte à bord satisfaisant les conditions spectrales (avec au moins une inégalité stricte) admet une métrique à courbure sectionnelle positive et à bord strictement à courbure moyenne convexe.

• Optimalité : L'intervalle de $\gamma$ est démontré comme optimal via la Proposition 1, qui construit des variétés avec $\lambda_1(-\gamma \Delta + \text{Ric}) > 0$ qui n'admettent pas de telles métriques lorsque $\gamma > \frac{n-1}{n-2}$.
• Contrainte dimensionnelle : Le résultat vaut pour $n \neq 4$. Les auteurs déclarent explicitement que le cas $n=4$ reste ouvert en raison du statut non résolu d'une proposition spécifique dans l'œuvre de Lawson–Michelsohn concernant les 4-cellules factices.

4. Corollaire 1 (Rigidité unifiée)
Ce résultat synthétise les théorèmes précédents, affirmant que pour l'intervalle optimal de $\gamma$, une variété satisfaisant les conditions spectrales doit soit se scinder isométriquement (si le bord est déconnecté), soit avoir un groupe fondamental relatif trivial (si le bord est connexe).

Signification et affirmations
L'article prétend régler l'analogue au bord optimal de la Question 1 pour les dimensions $n \neq 4$. Les auteurs soulignent que leur utilisation de minimisateurs de longueur pondérée (objets unidimensionnels) plutôt que de $\mu$-bulles constitue un avantage méthodologique distinct, particulièrement pour la gestion des variétés non compactes et l'évitement des problèmes de régularité en dimension supérieure.

Les auteurs font preuve de modestie concernant la portée de leur travail :

• Ils reconnaissent que la Question 1 reste largement ouverte pour $n \ge 5$ dans le cas compact général sans hypothèses sur le bord.
• Ils notent que l'hypothèse de compacité dans le Théorème 1 (Item 2) pourrait être supprimable pour $n=2,3$, mais cela est laissé pour un travail futur.
• Ils déclarent explicitement que le cas $n=4$ est un problème ouvert en raison de contraintes externes dans le théorème de Lawson–Michelsohn.
• Ils ne proposent pas de nouvelles applications ou de propositions expérimentales, mais présentent leur travail comme une avancée théorique en analyse géométrique, reliant spécifiquement la géométrie spectrale à la rigidité topologique et aux bornes de courbure.

L'article conclut en fournissant des résultats d'annexe (Proposition 5 et Remarque 6) qui offrent des généralisations spectrales des estimations de rayon inscrit et de diamètre de type Bonnet–Myers, montrant de légères améliorations dans la dépendance à l'oscillation des bornes par rapport à la littérature précédente.