Free boundary minimal annuli in convex balls

Résumé Technique : Anneaux Minimaux à Bord Libre dans les Balles Convexes

Énoncé du Problème
Cet article traite de deux problèmes primordiaux dans l'analyse géométrique des sous-variétés minimales à bord libre dans les variétés riemanniennes de dimension 3 avec bord :

1. La 4-largeur de la boule unité euclidienne ($B^3$) : Alors que les trois premières largeurs de $B^3$ sont connues pour être $\pi$ (réalisées par des disques équatoriaux), la valeur de la quatrième largeur, $\omega_4(B^3)$, est restée ouverte. Plus précisément, il était conjecturé que $\omega_4(B^3)$ est réalisée par l'aire du caténoïde critique, l'unique anneau minimal à bord libre proprement plongé dans $B^3$ (à congruence près).
2. Multiplicité des anneaux minimaux à bord libre : Motivés par la conjecture de Yau sur les sphères minimales et la conjecture de White sur les tore minimaux dans les 3-sphères fermées, les auteurs étudient l'existence de multiples anneaux minimaux à bord libre dans les variétés 3 compactes ayant une courbure de Ricci non négative et un bord strictement convexe. Bien que l'existence d'au moins un tel anneau soit connue, l'existence de plusieurs (spécifiquement trois) avec une topologie prescrite était un problème ouvert.

Méthodologie
Les auteurs emploient la théorie min-max d'Almgren-Pitts, spécifiquement la variante de Simon-Smith adaptée aux contextes à bord libre, combinée à des techniques de contrôle topologique.

• Construction de Familles Canoniques : Inspirés par la famille canonique à 5 paramètres de Marques-Neves utilisée pour prouver la conjecture de Willmore sur $S^3$, les auteurs construisent une famille à 4 paramètres de surfaces dans $B^3$. Cette famille est paramétrée par $\mathbb{RP}^4$ et consiste en des anneaux proprement plongés (et leurs dégénérescences). La construction utilise des difféomorphismes conformes de la boule et des projections stéréographiques. Une étape cruciale implique une technique de « blow-up de bord » (boundary blow-up) pour assurer la continuité de la famille lorsque les paramètres approchent du bord de l'espace des paramètres, étendant la famille à une application continue sur $\mathbb{RP}^4$.
• Contrôle Topologique : Les auteurs sélectionnent une surface initiale spécifique — l'anneau obtenu en projetant stéréographiquement une moitié du tore de Clifford de $S^3$. Ce choix est motivé par la structure de « surface de canal » du tore de Clifford, qui est préservée sous les déformations conformes. Cette structure permet un contrôle topologique rigoureux, garantissant que les surfaces de la famille ont un genre 0 et au plus deux composantes de bord (borne topologique $(0, 1)$).
• Construction Min-Max Répétitive : Pour prouver l'existence de multiples anneaux, les auteurs étendent la famille à 4 paramètres en une famille à 6 paramètres (paramétrée par $\mathbb{RP}^4 \times \mathbb{RP}^2$) en faisant varier l'axe de symétrie de rotation de l'anneau initial. Ils adaptent ensuite le schéma de « min-max répétitif » développé par Chu-Li pour les variétés fermées au cadre à bord libre. Cela implique de :
  • Appliquer de manière itérative le théorème min-max de Simon-Smith pour détecter des surfaces minimales.
  • Utiliser un « processus de pincement relatif » (relative pinch-off process) pour retirer les surfaces minimales détectées (disques ou anneaux) de l'espace des paramètres tout en maintenant la classe d'homotopie du balayage (sweepout).
  • Utiliser la théorie de Lyusternik-Schnirelmann sur la cohomologie de l'espace des paramètres pour dériver une borne inférieure sur le nombre de points critiques (surfaces minimales).

Contributions Clés et Résultats

1. Borne Supérieure sur $\omega_4(B^3)$ :
   Les auteurs prouvent que la largeur min-max de Simon-Smith de leur famille à 4 paramètres construite est atteinte par un anneau minimal à bord libre proprement plongé de multiplicité un. En combinant le contrôle topologique (qui exclut les disques) et les estimations de l'indice de Morse (montrant que l'indice est exactement 4), ils identifient cette surface limite comme étant le caténoïde critique. Par conséquent, ils établissent la borne supérieure :
   $$\omega_4(B^3) \le \text{Aire}(\text{Caténoïde Critique})$$
   Combinée à une borne inférieure de $\pi$ (prouvée via un théorème de gap pour les surfaces minimales à bord libre), cela donne :
   $$\pi < \omega_4(B^3) \le \text{Aire}(\text{Caténoïde Critique})$$

2. Existence de Trois Anneaux Minimaux :
   L'article prouve que toute variété 3 compacte avec une courbure de Ricci non négative et un bord strictement convexe contient au moins trois anneaux minimaux plongés, grâce à :

   • La construction de la famille à 6 paramètres $\Phi_6$.
   • L'application du processus min-max répétitif pour détecter une séquence de surfaces minimales.
   • Un argument cohomologique impliquant la non-annulation de $\lambda^4 \cup \alpha^2$ dans l'anneau de cohomologie de l'espace des paramètres $Y = \mathbb{RP}^4 \times \mathbb{RP}^2$.
   • La démonstration que si moins de trois anneaux existaient, les contraintes topologiques forceraient une contradiction avec la classe de cohomologie non nulle, impliquant l'existence d'au moins trois anneaux distincts.

3. Multiplicité Un et Contrôle Topologique :
   Les auteurs établissent rigoureusement le Théorème de Multiplicité Un pour les limites min-max de Simon-Smith à bord libre dans ce contexte, garantissant que les surfaces détectées ne sont pas des recouvrements multiples. Ils fournissent également un cadre pour contrôler la topologie (genre et complexité du bord) des surfaces min-max dans le cadre à bord libre, en adaptant les résultats de Franz-Schulz et Ketover.

Signification
L'article revendique une importance dans plusieurs domaines :

• Analogue à Bord Libre de la Conjecture de Willmore : Il fournit la première famille naturelle de surfaces à 4 paramètres dont la largeur min-max est réalisée par le caténoïde critique, servant d'analogue à bord libre à la construction de Marques-Neves pour la conjecture de Willmore.
• Résolution de la Conjecture de Largeur : Il confirme la conjecture selon laquelle la 4-largeur de la boule unité est bornée supérieurement par l'aire du caténoïde critique, réduisant l'écart pour la valeur exacte de $\omega_4(B^3)$.
• Résultats de Multiplicité : Il représente la première construction de multiples surfaces minimales à bord libre avec une topologie prescrite (spécifiquement, genre 0 avec deux composantes de bord) dans des variétés 3 convexes générales. Cela étend les résultats précédents sur les disques minimaux et les tores dans les variétés fermées au cadre à bord libre.
• Avancée Méthodologique : Le développement du « processus de pincement relatif » et l'adaptation de la théorie min-max répétitive aux cadres à bord libre fournissent un nouvel outillage pour construire des sous-variétés minimales de types topologiques spécifiques dans des variétés avec bord.

Les auteurs notent que bien qu'ils aient établi la borne supérieure pour $\omega_4(B^3)$, l'égalité stricte $\omega_4(B^3) = \text{Aire}(\text{Caténoïde Critique})$ reste conditionnelle à l'unicité des surfaces minimales à bord libre d'indice 4 ou à une borne inférieure sur leur aire, qui sont actuellement des questions ouvertes. De même, l'existence d'exactement trois anneaux est prouvée sous l'hypothèse de finitude, ce qui est justifié par des arguments de compacité pour la classe topologique spécifique.