Free boundary minimal annuli in convex balls

Technische Zusammenfassung: Freie Rand-Minimal-Anuli in konvexen Kugeln

Problemstellung
Diese Arbeit befasst sich mit zwei primären Problemen in der geometrischen Analysis von minimalen Submanifolds mit freiem Rand in Riemannschen 3-Mannigfaltigkeiten mit Rand:

1. Die 4-Breite der euklidischen Einheitskugel ($B^3$): Während die ersten drei Breiten von $B^3$ bekannt sind und $\pi$ betragen (realisiert durch Äquator-Disks), blieb der Wert der vierten Breite, $\omega_4(B^3)$, offen. Speziell wurde vermutet, dass $\omega_4(B^3)$ durch die Fläche der kritischen Catenoid realisiert wird, dem einzigen einfach eingebetteten freien Rand-Minimal-Annulus in $B^3$ (bis auf Kongruenz).
2. Multiplizität von freien Rand-Minimal-Anuli: Motiviert durch Yaus Vermutung über minimale Sphären und Whites Vermutung über minimale Tori in abgeschlossenen 3-Sphären, untersucht die Arbeit die Existenz mehrerer freier Rand-Minimal-Anuli in kompakten 3-Mannigfaltigkeiten mit nichtnegativer Ricci-Krümmung und streng konvexem Rand. Während die Existenz von mindestens einem solchen Annulus bekannt war, blieb die Existenz mehrerer (speziell drei) mit vorgegebener Topologie ein offenes Problem.

Methodik
Die Autoren verwenden die Almgren-Pitts Min-Max-Theorie, speziell die Simon-Smith-Variante, die für freie Rand-Einstellungen angepasst wurde, kombiniert mit Techniken der topologischen Kontrolle.

• Konstruktion kanonischer Familien: Inspiriert von der 5-parametrischen kanonischen Familie von Marques-Neves zur Beweisung der Willmore-Vermutung auf $S^3$, konstruieren die Autoren eine 4-parametrische Familie von Flächen in $B^3$. Diese Familie ist durch $\mathbb{RP}^4$ parametrisiert und besteht aus einfach eingebetteten Anuli (und deren Degenerationen). Die Konstruktion nutzt konforme Diffeomorphismen der Kugel und stereografische Projektionen. Ein entscheidender Schritt ist eine „Boundary Blow-up“-Technik, um die Stetigkeit der Familie zu gewährleisten, wenn die Parameter sich dem Rand des Parameterraums nähern, wodurch die Familie zu einer stetigen Abbildung auf $\mathbb{RP}^4$ erweitert wird.
• Topologische Kontrolle: Die Autoren wählen eine spezifische Anfangsfläche – den Annulus, der durch stereografische Projektion der Hälfte des Clifford-Torus aus $S^3$ gewonnen wird. Diese Wahl ist motiviert durch die „Channel Surface“-Struktur des Clifford-Torus, welche unter konformen Deformationen erhalten bleibt. Diese Struktur ermöglicht eine rigorose topologische Kontrolle und stellt sicher, dass die Flächen in der Familie den Geschlecht 0 und höchstens zwei Randkomponenten haben (topologische Bindung $(0, 1)$).
• Repetitive Min-Max-Konstruktion: Um die Existenz mehrerer Anuli zu beweisen, erweitern die Autoren die 4-parametrische Familie zu einer 6-parametrischen Familie (parametrisiert durch $\mathbb{RP}^4 \times \mathbb{RP}^2$), indem sie die Rotationssymmetrieachse des Anfangsannulus variieren. Sie passen daraufhin das „repetitive Min-Max-Schema“, das von Chu-Li für abgeschlossene Mannigfaltigkeiten entwickelt wurde, an die Einstellung mit freiem Rand an. Dies beinhaltet:
  • Das iterative Anwenden des Simon-Smith Min-Max-Theorems, um minimale Flächen zu detektieren.
  • Die Verwendung eines „relativen Pinch-off-Prozesses“, um detektierte minimale Flächen (Disks oder Anuli) aus dem Parameterraum zu entfernen, während die Homotopieklasse des Sweepouts erhalten bleibt.
  • Die Nutzung der Lyusternik-Schnirelmann-Theorie auf der Kohomologie des Parameterraums, um eine untere Schranke für die Anzahl der kritischen Punkte (minimale Flächen) abzuleiten.

Wesentliche Beiträge und Ergebnisse

1. Obere Schranke für $\omega_4(B^3)$:
   Die Autoren beweisen, dass die Simon-Smith Min-Max-Breite ihrer konstruierten 4-parametrischen Familie durch einen mit Multiplizität eins einfach eingebetteten freien Rand-Minimal-Annulus erreicht wird. Durch Kombination der topologischen Kontrolle (die Disks ausschließt) und der Morse-Index-Abschätzungen (die zeigen, dass der Index exakt 4 ist), identifizieren sie diese Grenzfläche als die kritische Catenoid. Folglich etablieren sie die obere Schranke:
   $$\omega_4(B^3) \le \text{Fläche}(\text{Kritische Catenoid})$$
   Kombiniert mit einer unteren Schranke von $\pi$ (bewiesen via einer Gap-Theorem für freie Rand-Minimalflächen), ergibt dies:
   $$\pi < \omega_4(B^3) \le \text{Fläche}(\text{Kritische Catenoid})$$

2. Existenz von drei minimalen Anuli:
   Die Arbeit beweist, dass jede kompakte 3-Mannigfaltigkeit mit nichtnegativer Ricci-Krümmung und streng konvexem Rand mindestens drei einfach eingebettete freie Rand-Minimal-Anuli enthält. Dies wird erreicht durch:

   • Die Konstruktion der 6-parametrischen Familie $\Phi_6$.
   • Die Anwendung des repetitiven Min-Max-Prozesses, um eine Sequenz minimaler Flächen zu detektieren.
   • Die Verwendung eines kohomologischen Arguments unter Einbeziehung des Nicht-Verschwindens von $\lambda^4 \cup \alpha^2$ im Kohomologie-Ring des Parameterraums $Y = \mathbb{RP}^4 \times \mathbb{RP}^2$.
   • Den Nachweis, dass falls weniger als drei Anuli existierten, die topologischen Beschränkungen eine Kontradiktion zur Nicht-Verschwindung der Kohomologieklasse erzwingen würden, was die Existenz von mindestens drei distinkten minimalen Anuli impliziert.

3. Multiplizität Eins und topologische Kontrolle:
   Die Autoren etablieren rigoros das Multiplizität-Eins-Theorem für freie Rand Simon-Smith Min-Max-Grenzflächen in diesem Kontext, was sicherstellt, dass die detektierten Flächen keine Mehrfachüberdeckungen sind. Sie liefern zudem einen Rahmen zur Kontrolle der Topologie (Geschlecht und Randkomplexität) von Min-Max-Flächen im Kontext des freien Randes, indem sie die Ergebnisse von Franz-Schulz und Ketover adaptieren.

Bedeutung
Die Arbeit beansprucht Bedeutung in mehreren Bereichen:

• Freier Rand-Analog zur Willmore-Vermutung: Sie liefert die erste natürliche 4-parametrische Familie von Flächen, deren Min-Max-Breite durch die kritische Catenoid realisiert wird, und dient somit als freier Rand-Analog zur Marques-Neves-Konstruktion für die Willmore-Vermutung.
• Auflösung der Breiten-Vermutung: Sie bestätigt die Vermutung, dass die 4-Breite der Einheitskugel durch die Fläche der kritischen Catenoid nach oben beschränkt ist, und verengt damit die Lücke für den exakten Wert von $\omega_4(B^3)$.
• Multiplizitäts-Ergebnisse: Sie stellt die erste Konstruktion mehrerer freier Rand-Minimalflächen mit vorgegebener Topologie (speziell Geschlecht 0 mit zwei Randkomponenten) in allgemeinen konvexen 3-Mannigfaltigkeiten dar. Dies erweitert vorangegangene Ergebnisse über minimale Disks und Tori in abgeschlossenen Mannigfaltigkeiten auf den Fall mit freiem Rand.
• Methodische Weiterentwicklung: Die Entwicklung des „relativen Pinch-off-Prozesses“ und die Anpassung der repetitiven Min-Max-Theorie an Einstellungen mit freiem Rand bieten ein neues Werkzeugset zur Konstruktion minimaler Submanifolds mit spezifischen topologischen Typen in Mannigfaltigkeiten mit Rand.

Die Autoren merken an, dass sie zwar die obere Schranke für $\omega_4(B^3)$ etabliert haben, die strikte Gleichheit $\omega_4(B^3) = \text{Fläche}(\text{Kritische Catenoid})$ jedoch noch von der Eindeutigkeit von Index-4 freien Rand-Minimalflächen oder einer unteren Schranke auf deren Fläche abhängt, was derzeit noch offene Fragen sind. Ebenso ist die Existenz von exakt drei Anuli unter der Annahme der Endlichkeit bewiesen, was durch Kompaktheitsargumente für die spezifische topologische Klasse gerechtfertigt wird.