Free boundary minimal annuli in convex balls

Technische Samenvatting: Vrije Grens Minimal Annuli in Convex Bol

Probleemstelling
Dit artikel behandelt twee primaire problemen in de geometrische analyse van vrije grens minimale submanifolds binnen Riemanniaanse 3-variëteiten met een rand:

1. De 4-breedte van de Euclidische eenheidsbol ($B^3$): Terwijl de eerste drie breedtes van $B^3$ bekend zijn als $\pi$ (gerealiseerd door equatoriale schijven), bleef de waarde van de vierde breedte, $\omega_4(B^3)$, open. Specifiek werd geconjectureerd dat $\omega_4(B^3)$ wordt gerealiseerd door de oppervlakte van de kritische catenoïde, de unieke weliswaar ingebedde vrije grens minimale annulus in $B^3$ (op modulo congruentie).
2. Multipliciteit van vrije grens minimale annuli: Gemotiveerd door Yau's conjectuur over minimale sferen en White's conjectuur over minimale tori in gesloten 3-sferen, onderzoekt de auteur de existentie van meerdere vrije grens minimale annuli in compacte 3-variëteiten met niet-negatieve Ricci-kromming en strikt convexe rand. Hoewel de existentie van ten minste één dergelijke annulus bekend was, bleef de existentie van meerdere (specifiek drie) met een voorgeschreven topologie een open probleem.

Methodologie
De auteurs maken gebruik van de Almgren-Pitts min-max theorie, specifiek de Simon-Smith variant aangepast voor vrije grenssituaties, gecombineerd met technieken voor topologische controle.

• Constructie van Canonieke Families: Geïnspireerd door de 5-parametrische canonieke familie van Marques-Neves gebruikt bij het bewijs van de Willmore-conjectuur op $S^3$, construeren de auteurs een 4-parametrische familie van oppervlakken in $B^3$. Deze familie is geparametriseerd door $\mathbb{RP}^4$ en bestaat uit weliswaar ingebedde annuli (en hun degeneraties). De constructie maakt gebruik van conformale diffeomorfismen van de bol en stereografische projecties. Een cruciale stap is een "boundary blow-up" techniek om de continuïteit van de familie te waarborgen naarmate de parameters de rand van de parameterrum benaderen, waardoor de familie wordt uitgebreid naar een continue afbeelding op $\mathbb{RP}^4$.
• Topologische Controle: De auteurs selecteren een specifieke initiële oppervlak—de annulus verkregen door de helft van de Clifford-torus uit $S^3$ stereografisch te projecteren. Deze keuze wordt gemotiveerd door de "kanaaloppervlak" (channel surface) structuur van de Clifford-torus, die behouden blijft onder conformale deformaties. Deze structuur maakt rigoureuze topologische controle mogelijk, waarbij wordt gegarandeerd dat de oppervlakken in de familie genus 0 hebben en maximaal twee randcomponenten (topologische grens $(0, 1)$).
• Repetitieve Min-Max Constructie: Om de existentie van meerdere annuli te bewijzen, breiden de auteurs de 4-parametrische familie uit naar een 6-parametrische familie (geparametriseerd door $\mathbb{RP}^4 \times \mathbb{RP}^2$) door de rotatiesymmetrie-as van de initiële annulus te variëren. Ze passen vervolgens het "repetitieve min-max" schema toe, ontwikkeld door Chu-Li voor gesloten manifolds, aan de vrije grenssituatie. Dit omvat:
  • Het iteratief toepassen van de Simon-Smith min-max stelling om minimale oppervlakken te detecteren.
  • Het gebruik van een "relatief pinch-off proces" om gedetecteerde minimale oppervlakken (schijven of annuli) te verwijderen uit de parameterrum, terwijl de homotopieklasse van de sweepout behouden blijft.
  • Het gebruik van de Lyusternik-Schnirelmann theorie op de cohomologie van de parameterrum om een ondergrens af te leiden voor het aantal kritische punten (minimale oppervlakken).

Belangrijkste Bijdragen en Resultaten

1. Bovengrens op $\omega_4(B^3)$:
   De auteurs bewijzen dat de Simon-Smith min-max breedte van hun geconstrueerde 4-parametrische familie wordt bereikt door een multipliciteit-één weliswaar ingebedde vrije grens minimale annulus. Door de topologische controle te combineren (die schijven uitsluit) en Morse-index schattingen (die aantonen dat de index exact 4 is), identificeren zij dit limiet-oppervlak als de kritische catenoïde. Hiermee stellen zij de bovengrens vast:
   $$\omega_4(B^3) \le \text{Oppervlakte}(\text{Kritische Catenoïde})$$
   Gecombineerd met een ondergrens van $\pi$ (bewezen via een gap-theorema voor vrije grens minimale oppervlakken), levert dit op:
   $$\pi < \omega_4(B^3) \le \text{Oppervlakte}(\text{Kritische Catenoïde})$$

2. Existentie van Drie Minimale Annuli:
   Het artikel bewijst dat elke compacte 3-variëteit met niet-negatieve Ricci-kromming en strikt convexe rand ten minste drie ingebedde vrije grens minimale annuli bevat. Dit wordt bereikt door:

   • De constructie van de 6-parametrische familie $\Phi_6$.
   • Het toepassen van het repetitieve min-max proces om een sequentie van minimale oppervlakken te detecteren.
   • Het gebruik van een cohomologisch argument betreffende de niet-verdwijning van $\lambda^4 \cup \alpha^2$ in de cohomologie-ring van de parameterrum $Y = \mathbb{RP}^4 \times \mathbb{RP}^2$.
   • Aan te tonen dat indien er minder dan drie annuli zouden bestaan, de topologische beperkingen zouden leiden tot een tegenspraak met de niet-verdwijnende cohomologieklasse, wat de existentie van ten minste drie verschillende minimale annuli impliceert.

3. Multipliciteit Eén en Topologische Controle:
   De auteurs vestigen rigoureus de Multipliciteit Eén Stelling voor vrije grens Simon-Smith min-max limieten in deze context, wat garandeert dat de gedetecteerde oppervlakken geen meervoudige covers zijn. Ze bieden ook een kader voor het controleren van de topologie (genus en randcomplexiteit) van min-max oppervlakken in de vrije grenssituatie, waarbij resultaten van Franz-Schulz en Ketover worden aangepast.

Betekenis
Het artikel claimt significantie op verschillende gebieden:

• Vrije Grens Analoog van de Willmore-conjectuur: Het biedt de eerste natuurlijke 4-parametrische familie van oppervlakken waarvan de min-max breedte wordt gerealiseerd door de kritische catenoïde, dienend als een vrije grens analoog aan de Marques-Neves constructie voor de Willmore-conjectuur.
• Resolutie van de Breedte-conjectuur: Het bevestigt de conjectuur dat de 4-breedte van de eenheidsbol begrensd wordt door de oppervlakte van de kritische catenoïde, waardoor de kloof voor de exacte waarde van $\omega_4(B^3)$ wordt verkleind.
• Multipliciteitsresultaten: Het vertegenwoordigt de eerste constructie van meerdere vrije grens minimale oppervlakken met een voorgeschreven topologie (specifiek genus 0 met twee randcomponenten) in algemene convexe 3-manifolds. Dit breidt eerdere resultaten over minimale schijven en tori in gesloten manifolds uit naar de vrije grenssituatie.
• Methodologische Vooruitgang: De ontwikkeling van het "relatieve pinch-off proces" en de aanpassing van de repetitieve min-max theorie naar vrije grenssituaties bieden een nieuw instrumentarium voor het construeren van minimale submanifolds met specifieke topologische types in manifolds met een rand.

De auteurs merken op dat hoewel zij de bovengrens voor $\omega_4(B^3)$ hebben vastgesteld, de strikte gelijkheid $\omega_4(B^3) = \text{Oppervlakte}(\text{Kritische Catenoïde})$ voorwaardelijk blijft aan de uniciteit van index-4 vrije grens minimale oppervlakken of een ondergrens op hun oppervlakte, wat momenteel openstaande vragen zijn. Tevens is de existentie van exact drie annuli bewezen onder de assumptie van eindigheid, wat gerechtvaardigd wordt door compactheid-argumenten voor de specifieke topologische klasse.