Calabi-Yau Conjecture for Minimal Hypersurfaces in $\mathbb{R}^4$ with bounded geometry

Résumé Technique : Conjecture de Calabi–Yau pour les hypersurfaces minimales dans $\mathbb{R}^4$ à géométrie bornée

Énoncé du Problème
L'article traite des conjectures de Calabi–Yau pour les hypersurfaces minimales complètes $\Sigma^n \subset \mathbb{R}^{n+1}$ avec $n \ge 2$. Plus précisément, il examine si la complétude nécessite que l'hypersurface soit non bornée, et plus fortement, si elle doit être une application propre (c'est-à-dire que la préimage de tout ensemble compact est compacte). Bien que cette question ait été résolue pour les surfaces minimales enchâssées dans $\mathbb{R}^3$ (prouvant la propriété de propreté sous des conditions de topologie finie ou de rayon d'injectivité positif), le cas de dimension supérieure ($n \ge 3$) reste largement ouvert en raison de l'échec des outils tels que le théorème du demi-espace et de l'absence de représentations analytiques comme la formule de Weierstrass.

Les auteurs se concentrent sur le cas $n=3$, considérant des hypersurfaces minimales connectées, complètes et enchâssées $\Sigma^3 \subset \mathbb{R}^4$. Le problème central est de déterminer si la combinaison d'une seconde forme fondamentale bornée ($\sup_\Sigma |A_\Sigma| < \infty$) et d'un deuxième nombre de Betti fini ($b_2(\Sigma; \mathbb{Z}_2) < \infty$) force l'hypersurface à être propre.

Méthodologie et Stratégie de Preuve
La preuve procède par l'absurde, en supposant que $\Sigma$ est complète, enchâssée, satisfait les contraintes géométriques et topologiques, mais n'est pas propre.

1. Réduction à une lamination dans un demi-espace/un ruban :
   En suivant les arguments de [MIR05] et les résultats récents sur la conjecture de Bernstein stable ([CL24], [CL23], [CLMS26], [CMR24], [Maz24]), les auteurs établissent que si $\Sigma$ n'est pas propre, elle peut être déplacée de manière rigide (et dilatée si nécessaire) pour devenir une lamination minimale contenue dans un demi-espace ouvert $U = \{x_4 > 0\}$ ou un ruban $U = \{0 < x_4 < H\}$. Dans cette configuration, l'hyperplan frontière $\{x_4 = 0\}$ est contenu dans l'ensemble limite de $\Sigma$.

2. Analyse de la fonction de hauteur :
   Soit $h = x_4|_\Sigma$ la fonction de hauteur. Sous l'hypothèse de non-propreté, $h$ est une fonction harmonique positive et non constante sur $\Sigma$ avec $\inf_\Sigma h = 0$.

   • Contrôle de la courbure : L'hypothèse de courbure bornée ($|A_\Sigma| \le \Lambda$) implique une estimation du gradient $|\nabla_\Sigma h|^2 \le 2\Lambda h$. Cela garantit que pour de petites hauteurs, la projection verticale est uniformément non dégénérée.
   • Structure de graphe : En utilisant le Lemme 1.4 de [MIR05], les auteurs montrent que les composantes connexes des sous-ensembles de niveau $\{h < \tau\}$ sont des graphes globaux sur des domaines dans $\mathbb{R}^3$ avec des bornes de gradient $|Du| < 1$.

3. Contraintes Topologiques et Composantes Non Compactes :
   Exploitant la finitude du deuxième nombre de Betti $b_2(\Sigma; \mathbb{Z}_2)$, les auteurs utilisent un argument homologique (Lemme 2.1) pour montrer que les ensembles de niveau $\{h = c\}$ ne peuvent avoir qu'un nombre fini de composantes connexes compactes.

   • Puisque $\{x_4 = 0\}$ est une feuille limite, il existe une infinité de composantes distinctes de $\{h < \tau\}$.
   • Grâce à la finitude des composantes compactes, les auteurs identifient une composante connexe spécifique $V \subset \{h < \tau\}$ dont la frontière contient une composante connexe non compacte $S \subset \{h = \tau\}$ et qui intersecte un ensemble de niveau inférieur $\{h = t\}$ en une composante connexe non compacte $\Gamma$.

4. Construction d'une Fonction Lipschitz Globale :
   La composante $V$ est un graphe $y \mapsto u(y)$ sur un domaine $D \subset \mathbb{R}^3$. Les auteurs définissent une fonction $g: \mathbb{R}^3 \to \mathbb{R}$ en posant $g(y) = \tau - u(y)$ sur $D$ et $0$ ailleurs.

   • Propriété Lipschitz : La borne de gradient $|Du| < 1$ assure que $g$ est globalement $1$-Lipschitzienne.
   • Estimation Intégrale : En utilisant la minimalité de $\Sigma$ et l'intégration par parties avec une fonction de coupure, les auteurs dérivent une borne $L^2$ pondérée sur le gradient :
     $$\int_{\mathbb{R}^3} \frac{|\nabla g(y)|^2}{1 + |y|} \, dy < \infty.$$

5. Dérivation de la Contradiction :
   Les ensembles $S$ et $\Gamma$ se projettent sur des ensembles connexes non bornés, $S_0$ et $\Gamma_0$, dans $\mathbb{R}^3$. La fonction $g$ prend la valeur $0$ sur $S_0$ et une constante distincte $a = \tau - t$ sur $\Gamma_0$.

   • Parce que $S_0$ et $\Gamma_0$ sont non bornés et connexes, ils intersectent toute sphère suffisamment grande $\partial B_r(0)$.
   • La condition Lipschitz implique que sur ces sphères, $g$ doit effectuer une transition de proche de $0$ vers proche de $a$ au sein de petites calottes géodésiques.
   • En appliant une estimation de borne inférieure logarithmique pour l'énergie de Dirichlet de telles fonctions sur les sphères (citant [AM26b, Lemme 5.8]), les auteurs montrent que l'intégrale de $|\nabla g|^2$ sur l'extérieur d'une grande boule diverge de manière logarithmique :
     $$\int_{R_0}^\infty \frac{dr}{(1+r)\log(Cr/\rho_0)} = \infty.$$
     Cette divergence contredit la finitude de l'intégrale pondérée précédemment établie, prouvant ainsi que l'hypothèse initiale (que $\Sigma$ n'est pas propre) est fausse.

Contributions Clés et Résultats

• Théorème Principal : L'article prouve que toute hypersurface minimale connectée, complète et enchâssée $\Sigma^3 \subset \mathbb{R}^4$ avec une seconde forme fondamentale bornée et un deuxième nombre de Betti fini ($b_2(\Sigma; \mathbb{Z}_2) < \infty$) est propre.
• Résolution d'un Cas Spécifique : Cela fournit la première réponse affirmative à la conjecture de Calabi–Yau pour les hypersurfaces minimales enchâssées dans $\mathbb{R}^4$ sous des contraintes géométriques et topologiques spécifiques.
• Nouvelle Preuve pour $\mathbb{R}^3$ : La méthodologie produit une nouvelle preuve de la propreté des surfaces minimales enchâssées complètes dans $\mathbb{R}^3$ à courbure bornée, indépendamment du théorème du demi-espace de Xavier (utilisé par Rosenberg [Ros01]). Ceci est obtenu en observant que pour $\Sigma^2 \times \mathbb{R}$, le deuxième nombre de Betti est nul.
• Nécessité des Hypothèses : Les auteurs clarifient la subtilité de l'hypothèse de courbure bornée. Ils notent que sans elle, le théorème impliquerait que toutes les surfaces minimales enchâssées complètes dans $\mathbb{R}^3$ sont propres, une affirmation potentiellement contredite par des exemples de la tradition (Meeks). Ainsi, la condition de courbure bornée est probablement essentielle, à moins que des contraintes topologiques plus fortes (par exemple, un premier nombre de Betti fini) ne soient imposées.

Signification et Portée
L'article prétend fournir une « première réponse » dans la direction de la compréhension de la propreté pour les hypersurfaces minimales dans les dimensions supérieures ($n \ge 3$), où les outils standards échouent. Les auteurs déclarent explicitement que leur résultat s'applique aux familles standards telles que la caténoïde 3D, les exemples asymptotiques aux cônes de Simons, et les produits de surfaces minimales à courbure bornée dans $\mathbb{R}^3$ avec $\mathbb{R}$.

Le travail ne prétend pas résoudre la conjecture pour toutes les hypersurfaces minimales enchâssées complètes dans $\mathbb{R}^4$, ni supprimer les hypothèses de courbure bornée ou de Betti fini. Au lieu de cela, il établit un lien rigoureux entre la géométrie bornée, la topologie finie (spécifiquement $b_2$) et la propreté, soulignant que l'échec de la propreté dans les dimensions supérieures (comme vu dans les exemples des deux premiers auteurs avec une courbure non bornée et une topologie infinie) est intimement lié à la violation de ces conditions spécifiques.