New spectral Bishop-Gromov and Bonnet-Myers theorems and applications to isoperimetry

Résumé Technique : Nouveaux théorèmes de Bishop–Gromov et de Bonnet–Myers spectraux et applications à l'isopérimétrie

Énoncé du Problème
L'article traite de la généralisation des théorèmes de comparaison classiques en géométrie riemannienne — spécifiquement le théorème de comparaison de volume de Bishop–Gromov et le théorème de diamètre de Bonnet–Myers — dans un cadre spectral. Les théorèmes classiques reposent sur des bornes inférieures ponctuelles de la courbure de Ricci ($\text{Ric} \geq (n-1)\lambda$). Ce travail examine si des bornes similaires sur le volume et le diamètre peuvent être obtenues lorsque la condition de courbure est remplacée par une condition spectrale impliquant l'opérateur $-\gamma\Delta + \text{Ric}$, où $\gamma \geq 0$.

Le problème central est de déterminer la plage de paramètres $\gamma$ la plus étroite pour laquelle ces conditions spectrales impliquent :

1. La finitude du groupe fondamental $\pi_1(M)$.
2. Des bornes supérieures sur le diamètre du revêtement universel $\tilde{M}$.
3. Des bornes supérieures sur le volume de $M$ (ou $\tilde{M}$).
4. Un contrôle isopérimétrique net à l'infini pour les variétés complètes possédant une courbure de Ricci non négative et des conditions de bi-Ricci spectrales.

Méthodologie
Les auteurs emploient une combinaison de théorie de la mesure géométrique, d'analyse spectrale et de méthodes variationnelles. Les principales innovations techniques incluent :

1. Profils Isopérimétriques à Poids Inégaux :
   Contrairement aux généralisations spectrales précédentes (par exemple en dimension 3) qui utilisaient des profils à poids égaux, les auteurs introduisent un profil avec des poids inégaux pour les termes d'aire et de volume. Pour une fonction positive $u$ satisfaisant la condition spectrale, ils définissent :
   $$I(v) := \inf \left\{ \int_{\partial^* E} u^\gamma : E \subset \subset M, \int_E u^{\frac{2\gamma}{n-1}} = v \right\}$$
   Cette pondération spécifique permet de dériver une inégalité différentielle nette pour le profil isopérimétrique :
   $$I''I \leq -\frac{(I')^2}{n-1} - (n-1)\lambda$$
   Cette inégalité est satisfaite au sens de la viscosité et correspond à l'inégalité nette connue pour le cas de courbure constante, permettant ainsi une borne de volume nette via une comparaison d'EDO.

2. $\mu$-bulles à Déformation Inégale :
   Pour établir les bornes de diamètre, les auteurs utilisent la technique des $\mu$-bulles (initialement due à Gromov). Ils définissent un fonctionnel avec un potentiel à déformation inégale :
   $$E(\Omega) = \int_{\partial^* \Omega} u^\gamma - \int_{\Omega} h u^{\frac{2\gamma}{n-1}}$$
   En choisissant soigneusement une fonction de déformation $h$ satisfaisant une inégalité différentielle spécifique impliquant $\nabla h$, $u$, et $\gamma$, ils déduisent une contradiction si le diamètre est trop grand. Cette approche étend la borne de diamètre à toute la plage de $\gamma$ où la condition spectrale est significative.

3. Stabilité et Régularité :
   Les preuves impliquent l'analyse de la seconde variation du fonctionnel d'énergie. Un obstacle technique majeur est la formation potentielle de singularités dans les hypersurfaces minimisantes pour les dimensions $n \geq 8$. Les auteurs adaptent les arguments de la littérature (spécifiquement [7, 11]) pour montrer que les inégalités de stabilité sont satisfaites pour les variations supportées loin de l'ensemble singulier, étendant ainsi leurs résultats à toutes les dimensions $n \geq 3$.

Contributions Clés et Résultats

1. Théorèmes de Bishop–Gromov et de Bonnet–Myers Spectraux (Théorème 1 & Corollaire 1)
L'article établit une généralisation nette des théorèmes classiques. Soit $(M, g)$ une variété riemannienne fermée de dimension $n \geq 3$. S'il existe une fonction lisse positive $u$ telle que :
$$\gamma \Delta u \leq u \text{Ric} - (n-1)\lambda u$$
avec $0 \leq \gamma \leq \frac{n-1}{n-2}$ et $\lambda > 0$, alors :

• Borne de Diamètre : Le diamètre du revêtement universel $\tilde{M}$ est borné par :
  $$\text{diam}(\tilde{M}) \leq \frac{\pi}{\sqrt{\lambda}} \left( \frac{\max(u)}{\min(u)} \right)^{\frac{n-3}{n-1}\gamma}$$
  Par conséquent, $\pi_1(M)$ est fini.
• Borne de Volume : Le volume du revêtement universel satisfait :
  $$\text{vol}(\tilde{M}) \leq \lambda^{-n/2} \text{vol}(S^n)$$
• Rigidité : Si l'égalité est atteinte dans la borne de volume, alors $u$ est constante, et $\tilde{M}$ est isométrique à la sphère de rayon $\lambda^{-1/2}$.

Les auteurs prouvent que la plage $\gamma \leq \frac{n-1}{n-2}$ est optimale ; pour $\gamma > \frac{n-1}{n-2}$, des contre-exemples existent (par exemple sur $S^1 \times S^{n-1}$) où la condition spectrale est respectée mais où les bornes de volume et de diamètre échouent.

2. Résolution du Problème de Bernstein Stable (Théorème 2)
Comme application directe, les auteurs résolvent le problème de Bernstein stable dans $\mathbb{R}^6$. Ils prouvent que toute hypersurface minimale, immergée, complète, connexe et à deux côtés $M^n \hookrightarrow \mathbb{R}^{n+1}$ pour $2 \leq n \leq 5$ est un hyperplan euclidien. Ce résultat repose sur la condition spectrale dérivée de l'opérateur de stabilité et sur la plage nette de $\gamma$ établie dans le Théorème 1. Le cas $n=6$ reste ouvert.

3. Isopérimétrie à l'Infini (Théorème 3)
Pour les variétés non compactes complètes avec $3 \leq n \leq 5$, $\text{Ric} \geq 0$, et une condition de bi-Ricci spectrale $\lambda_1(-\gamma\Delta + \text{biRic}) \geq n-2$ en dehors d'un ensemble compact, l'article prouve :

• Croissance Linéaire du Volume : La variété possède une croissance de volume linéaire.
• Profil Isopérimétrique Net : Le profil isopérimétrique $I_M(v)$ satisfait $I_M(v) \leq \text{vol}(S^{n-1})$ pour tout $v > 0$.
• Rigidité : L'égalité pour un certain $v$ implique que la variété est isométrique à un cylindre $S^{n-1} \times [0, \infty)$ en dehors d'un ensemble borné.

Signification et Revendications
Les auteurs affirment que la nouveauté principale réside dans l'introduction du profil isopérimétrique à poids inégaux et des $\mu$-bulles à déformation inégale. Ces outils permettent de récupérer des constantes nettes et d'étendre les résultats à toute la plage de $\gamma$ où la condition spectrale est valide, surmontant ainsi les limitations des méthodes précédentes qui exigeaient des bornes plus strictes sur $\gamma$ (par exemple $\gamma < \frac{4}{n-1}$) ou produisaient des bornes de volume non nettes.

L'article souligne que la plage $\gamma \leq \frac{n-1}{n-2}$ est optimale pour la finitude de $\pi_1(M)$ et les bornes de volume, un fait démontré par des contre-exemples explicites pour un $\gamma$ supercritique. De plus, ce travail unifie et étend les résultats précédents sur le problème de Bernstein stable et les structures isopérimétriques dans les variétés à courbure de Ricci non négative, fournissant un cadre spectral unifié pour ces problèmes géométriques. Les résultats sont présentés comme applicables à toutes les dimensions $n \geq 3$, avec un traitement spécifique du cas singulier $n \geq 8$.