Stationary and stable varifolds with singularities

1. Problemstellung und Motivation

Das Paper adressiert ein zentrales Problem der geometrischen Maßtheorie und der Variationsrechnung: die Struktur und Dimension der Singularitätenmenge stationärer ganzzahliger Varifolds (stationary integral varifolds).

• Kontext: Nach den bahnbrechenden Arbeiten von Allard ist bekannt, dass stationäre Varifolds fast überall regulär sind. Die Frage nach der optimalen Schranke für die Dimension der Singularitätenmenge ist jedoch offen.
• Hauptobstruktion: Ein wesentlicher Hindernis für den Beweis einer solchen Schranke ist die Möglichkeit, dass Topologie auf dem glatten Teil des Varifolds zu flachen Singularitäten (flat singularities) akkumuliert.
• Ziel der Arbeit: Die Autoren wollen zeigen, dass dieses Szenario tatsächlich eintreten kann, wenn die Metrik des umgebenden Raums nur eine geringe Regularität aufweist (speziell $C^{1,\alpha}$ mit $\alpha \in [0, 1)$). Sie konstruieren explizite Gegenbeispiele zu möglichen Verallgemeinerungen von Regularitätssätzen, die für glattere Metriken gelten würden.

2. Hauptergebnisse (Theoreme)

Die Autoren beweisen zwei Hauptsätze, die beide eine stationäre $m$-dimensionale Struktur in $\mathbb{R}^{m+1}$ mit einer $C^{1,\alpha}$-Metrik konstruieren, die eine isolierte Singularität der Vielfachheit 2 im Ursprung aufweist.

Theorem 1.1 (Minimalimmersion mit unendlichem Geschlecht):
Es existiert eine Metrik $g \in C^{1,\alpha}(\mathbb{R}^{m+1})$ und eine stationäre $m$-dimensionale Integral-Current $T$, sodass:

1. $T$ durch eine minimal immertierte Fläche $\Sigma$ in $B_1(0) \setminus \{0\}$ dargestellt wird.
2. Der Tangentialkegel (tangent cone) von $\Sigma$ im Ursprung ist $2 \llbracket \mathbb{R}^m \times \{0\} \rrbracket$ (d.h. eine Ebene mit Vielfachheit 2).
3. Das Geschlecht (genus) von $\Sigma \cap B_r(0) \setminus \{0\}$ ist für jedes $r > 0$ unendlich.

• Bedeutung: Dies widerlegt die Vermutung, dass die Bedingung „Tangentialkegel ist eine doppelte Ebene" allein ausreicht, um die lokale Struktur als Vereinigung von zwei minimalen Graphen (ohne Selbstschnitte) zu garantieren, wenn die Topologie nicht trivial ist.

Theorem 1.2 (Stabile Minimalfläche mit „Floating Disks"):
Es existiert eine Metrik $g \in C^{1,\alpha}$ und eine stationäre, stabile $m$-dimensionale Integral-Varifold $V$, die aus einer minimalen Immersion $\Sigma$ und einer Folge disjunkter Einbettungen $\gamma_k$ (Sphären) besteht.

1. Die $\gamma_k$ akkumulieren gegen den Ursprung, und ihre $(m-1)$-Dimensionale Masse ist endlich.
2. Der Tangentialkegel im Ursprung ist ebenfalls $2 \llbracket \mathbb{R}^m \times \{0\} \rrbracket$.
3. In der Nähe jedes $\gamma_k$ besteht $\Sigma$ aus drei Komponenten, die unter gleichen Winkeln (120 Grad) zusammenstoßen (Triple Junctions).

• Bedeutung: Dies zeigt, dass selbst für stabile Immersionen (außerhalb einer Menge endlicher Masse) die Regularitätssätze von Bellettini [3] versagen können, wenn die Singularitätenmenge nicht hinreichend klein ist (hier ist die Singularitätsmenge nicht von $H^{n-2}$-Masse Null, sondern akkumuliert). Das Beispiel ist lokal ein Current modulo 3, der flächenminimierend ist, aber nicht global flächenminimierend in der Nähe des Ursprungs (da die Dichte 2 ist).

3. Methodik und Konstruktionsstrategie

Die Konstruktion basiert auf einer iterativen „Chirurgie" (Surgery) und einem Gluing-Verfahren (Verkleben) von Modellen.

A. Die Bausteine (Modelle)

1. Basis-Modell (Base Model):

   • Eine Vereinigung zweier minimaler Graphen $u$ und $-u$ (bzw. $u$ und $-u$ mit entgegengesetzter Orientierung für Theorem 1.2), die sich im Ursprung berühren.
   • Für $m=2$ wird dies über Weierstrass-Daten konstruiert. Für $m>2$ wird eine harmonische Polynom-Lösung der Minimalflächen-Gleichung verwendet, die transversale Schnitte außerhalb des Ursprungs garantiert.
   • Dies erzeugt eine flache Singularität mit Vielfachheit 2.

2. Lokale Modelle für die Chirurgie:

   • Katenoid (Catenoid): Eine unendliche Folge von Katenoid-Hälsen wird eingefügt, um die beiden Blätter des Basis-Modells zu verbinden. Dies führt zu unendlichem Geschlecht (Theorem 1.1).
   • Floating Disks: Anstelle von Katenoiden werden „schwebende Scheiben" verwendet. Diese bestehen aus zwei Katenoid-Stücken und einer flachen Scheibe, die sich an einem Kreis unter Winkeln von $2\pi/3$ treffen. Dies erzeugt Triple Junctions (Theorem 1.2).

B. Das Gluing-Verfahren (Verkleben)

• Iterativer Prozess: Die Autoren konstruieren eine Folge von Zylindern, die gegen den Ursprung konvergieren. In jedem Schritt wird das aktuelle Modell (z.B. das Basis-Modell oder das Ergebnis des vorherigen Schritts) mit einem lokalen Modell (Katenoid oder Floating Disk) verklebt.
• Metrik-Perturbation: Um sicherzustellen, dass die resultierende Fläche stationär (bzw. stabil) bleibt, wird die euklidische Metrik nicht einfach beibehalten. Stattdessen wird eine konforme Metrik $g = \lambda^2 \delta$ konstruiert.
• Kalibrierungsform (Calibration Form): Ein entscheidender technischer Schritt ist die Konstruktion einer geschlossenen Differentialform $\omega$ (einer Kalibrierung) in einer tubularen Umgebung der Fläche.
  • Diese Form erfüllt $\omega|_{G_v} = d\text{vol}_v$ (sie ist 1 auf der Fläche).
  • Durch die Wahl der konformen Faktor $\lambda = \text{comass}(\omega)$ wird die Fläche zur flächenminimierenden (bzw. stationären) Fläche bezüglich der neuen Metrik $g$.
• Reguläritätsanalyse: Die Autoren zeigen, dass die Konvergenz der konformen Faktoren $\lambda_k$ zu einer Metrik $g$ der Klasse $C^{1,\alpha}$ führt. Die Regularität ist durch die Ableitungen der Basis-Modelle limitiert; sie können die Regularität nicht auf $C^2$ oder höher verbessern, da die Krümmungsschätzungen (insbesondere die Ricci-Krümmung) im Ursprung nicht kontrolliert werden können.

4. Technische Details und Schätzungen

• Skalierung: Die Konstruktion nutzt eine Skalierung $\eta_k$, um die lokalen Modelle (Katenoid/Disk) an die Geometrie des Basis-Modells anzupassen.
• Schätzungen der Ableitungen:
  • Für $m=2$ ist die Ableitung des Katenoids linear in der Höhe $H$.
  • Für $m>2$ ist die Ableitung superlinear ($H^{m-1}$).
  • Die Regularität der Metrik hängt davon ab, wie schnell die Parameter der Iteration ($r_{0,k}$) gegen 0 gehen, im Verhältnis zur Dimension $m$ und dem Exponenten $\alpha$.
• Stabilität: Für Theorem 1.2 wird die Stabilität der regulären Teile durch die Existenz der Kalibrierungsform in einer Umgebung sichergestellt. Die „Floating Disks" sind lokal Minimierer modulo 3.

5. Bedeutung und Implikationen

1. Optimalität von Regularitätssätzen: Die Ergebnisse zeigen, dass die Regularitätstheorie für stationäre Varifolds stark von der Regularität der Hintergrundmetrik abhängt. Bei $C^{1,\alpha}$-Metriken können pathologische Phänomene (akkumulierende Topologie, Triple Junctions) auftreten, die bei glatteren Metriken (z.B. $C^2$ oder analytisch) vermieden werden könnten.
2. Gegenbeispiele zu Vermutungen:
   • Sie widerlegen die Idee, dass ein Tangentialkegel der Vielfachheit 2 automatisch eine lokale Struktur als Vereinigung zweier Graphen impliziert (Theorem 1.1).
   • Sie zeigen, dass die Bedingung „endliche $H^{n-2}$-Masse der Singularitäten" für Stabilitätsresultate nicht ausreicht, wenn die Metrik nur $C^{1,\alpha}$ ist (Theorem 1.2).
3. Topologische Komplexität: Die Konstruktion demonstriert, wie unendliche Topologie (unendliches Geschlecht oder unendlich viele Triple Junctions) an einem einzigen Punkt akkumulieren kann, ohne die stationäre Eigenschaft zu verletzen.
4. Offene Fragen: Die Autoren bemerken, dass ihre Methode für eingebettete Flächen (embedded surfaces) nur im Kodimension $\ge 2$ Fall anpassbar ist. Die Existenz eines solchen Gegenbeispiels für eingebettete Flächen in Kodimension 1 bleibt ein offenes Problem.

Zusammenfassend liefert das Paper eine tiefgehende technische Konstruktion, die die Grenzen der Regularitätstheorie für stationäre Varifolds in nicht-glatten Umgebungen aufzeigt und die Notwendigkeit topologischer Annahmen in bestehenden Regularitätssätzen unterstreicht.