2025-11-10T02:49:58.742291

Construction of harmonic coordinates for weak immersions

Martino, Rivière
We prove that any weak immersion in the critical Sobolev space $W^{\frac{n}{2}+1,2}(\mathbb{R}^n;\mathbb{R}^d)$ in even dimension $n\geq 4$, has global harmonic coordinates if its second fundamental form is small in the Sobolev space $W^{\frac{n}{2}-1,2}(\mathbb{R}^n;\mathbb{R}^d)$. This is a generalization to arbitrary even dimension $n\ge 4$ of a famous result of Müller--Sverak \cite{muller1995} for $n=2$. The existence of such coordinates is a key tool used by the authors in \cite{MarRiv20252} for the analysis of scale-invariant Lagrangians of immersions, such as the Graham--Reichert functional. From a purely intrinsic perspective, the proof of the main result leads to a general local existence theorem of harmonic coordinates for general metrics with Riemann tensor in $L^p$ for any $p>n/2$ in any dimension $n\geq 3$.
academic

Konstruktion harmonischer Koordinaten für schwache Immersionen

Grundlegende Informationen

  • Papier-ID: 2510.10601
  • Titel: Construction of harmonic coordinates for weak immersions
  • Autoren: Dorian Martino (ETH Zürich), Tristan Rivière (ETH Zürich)
  • Klassifizierung: math.DG (Differentialgeometrie), math.AP (Analysis und partielle Differentialgleichungen)
  • Veröffentlichungsdatum: 14. Oktober 2025
  • Papierlink: https://arxiv.org/abs/2510.10601

Zusammenfassung

In diesem Artikel wird bewiesen, dass für gerade Dimensionen n≥4n \geq 4 jede schwache Immersion im kritischen Sobolev-Raum Wn2+1,2(Rn;Rd)W^{\frac{n}{2}+1,2}(\mathbb{R}^n;\mathbb{R}^d) globale harmonische Koordinaten besitzt, wenn ihre zweite Fundamentalform im Sobolev-Raum Wn2−1,2(Rn;Rd)W^{\frac{n}{2}-1,2}(\mathbb{R}^n;\mathbb{R}^d) hinreichend klein ist. Dies ist eine Verallgemeinerung des berühmten Ergebnisses von Müller-Sverak für den Fall n=2n=2 auf beliebige gerade Dimensionen n≥4n \geq 4. Die Existenz solcher Koordinaten ist ein Schlüsselwerkzeug, das die Autoren bei der Analyse skaleninvarianter Lagrange-Funktionale von Immersionen (wie das Graham-Reichert-Funktional) verwenden. Aus rein intrinsischer geometrischer Perspektive führt der Beweis des Hauptergebnisses zu einem allgemeinen Satz über die lokale Existenz harmonischer Koordinaten für Metriken mit Riemann-Tensor in LpL^p (p>n/2p > n/2).

Forschungshintergrund und Motivation

Problemhintergrund

  1. Klassisches Problem: Bei der Untersuchung analytischer Probleme von Immersionen (wie Regularitäts- oder Kompaktheitsfragen) muss zunächst ein lokales Koordinatensystem konstruiert werden, das auf eine Weise kontrolliert werden kann, die die Verwendung elliptischer Regularität ermöglicht.
  2. Erfolg im zweidimensionalen Fall: Im zweidimensionalen Fall liefern isotherme Koordinaten ein solches Koordinatensystem. Durch die Liouville-Gleichung kann die Regularität des konformen Faktors aus der Regularität der Gaußschen Krümmung abgeleitet werden.
  3. Herausforderungen in höheren Dimensionen: Für Dimensionen n≥3n \geq 3 existieren für allgemeine Metriken keine isothermen Koordinaten; der Weyl-Tensor ist das Hindernis. Daher müssen Alternativen gesucht werden.

Forschungsmotivation

  1. Anforderungen von Variationsproblemen: In Variationsproblemen mit Immersionen (wie Minimalflächen, Flächen mit konstanter mittlerer Krümmung oder Willmore-Flächen) kann die Metrik nicht a priori als stetig angenommen werden.
  2. Verallgemeinerte Willmore-Energie: Diese Funktionale wurden erstmals 2005 von Guven eingeführt, um konforme invariante Energien zur Messung der Krümmung vierdimensionaler Untermannigfaltigkeiten zu finden. Im Kontext der AdS/CFT-Korrespondenz führt das Volumen-Renormalisierungsverfahren zum Willmore-Funktional.
  3. Skaleninvarianz: Für gerade Dimensionen wird das skaleninvariante Funktional betrachtet: En(Φ⃗):=∑i=0n2−1∫Σn∣∇iII⃗Φ⃗∣gΦ⃗ni+1dvolgΦ⃗E_n(\vec{\Phi}) := \sum_{i=0}^{\frac{n}{2}-1} \int_{\Sigma^n} |\nabla^i \vec{II}_{\vec{\Phi}}|^{\frac{n}{i+1}}_{g_{\vec{\Phi}}} \text{dvol}_{g_{\vec{\Phi}}}

Kernbeiträge

  1. Hauptsatz: Es wird bewiesen, dass für gerade Dimensionen n≥4n \geq 4 schwache Immersionen im kritischen Sobolev-Raum unter der Bedingung, dass die zweite Fundamentalform hinreichend klein ist, globale harmonische Koordinaten besitzen.
  2. Technische Innovation: Die Coulomb-Rahmen-Methode von Hélein wird auf höhere Dimensionen verallgemeinert, wodurch das Problem gelöst wird, das Hélein in seinem Werk bezüglich der Konstruktion von durch Coulomb-Rahmen induzierten Koordinaten in Dimensionen n≥3n \geq 3 aufgeworfen hat.
  3. Allgemeine Metrik-Theorie: Aus rein intrinsischer Perspektive wird die Existenz harmonischer Koordinaten für schwache Metriken mit Riemann-Tensor in L(n/2,1)L^{(n/2,1)} bewiesen.
  4. Kritische Regularität: Es wird L(n/2,1)L^{(n/2,1)} als die kritische Regularitätsskala für die Existenz harmonischer Koordinaten identifiziert, was schwächer ist als die üblicherweise geforderte Bedingung LpL^p (p>n/2p > n/2).

Methodische Details

Definition schwacher Immersionen

Für eine kompakte orientierte n-dimensionale Riemannsche Mannigfaltigkeit (Σn,h)(\Sigma^n, h) und eine ganze Zahl d>nd > n wird der Raum schwacher Immersionen definiert als: Ik,p(Σn;Rd):={Φ⃗∈Wk+2,p(Σ;Rd):∃cΦ⃗>1,cΦ⃗−1h≤gΦ⃗≤cΦ⃗h}I^{k,p}(\Sigma^n;\mathbb{R}^d) := \{\vec{\Phi} \in W^{k+2,p}(\Sigma;\mathbb{R}^d) : \exists c_{\vec{\Phi}} > 1, c_{\vec{\Phi}}^{-1} h \leq g_{\vec{\Phi}} \leq c_{\vec{\Phi}} h\}

Wichtigste technische Werkzeuge

1. Anwendung von Lorentz-Räumen

  • Verwendung von Lorentz-Räumen L(p,q)L^{(p,q)} als Verfeinerung der Standard-Lebesgue-Räume LpL^p
  • Schlüsseleigenschaft: W2,(n/2,1)(Bn)↪W1,(n,1)(Bn)↪C0(Bn)W^{2,(n/2,1)}(\mathbb{B}^n) \hookrightarrow W^{1,(n,1)}(\mathbb{B}^n) \hookrightarrow C^0(\mathbb{B}^n)
  • Dies liefert die entscheidende Verbindung von der L(n/2,1)L^{(n/2,1)}-Regularität der Krümmung zur Stetigkeit der Metrik-Koeffizienten

2. Coulomb-Rahmen-Methode

Basierend auf Uhlenbergs Coulomb-Eichung umfasst der Konstruktionsprozess:

Schritt 1: Für eine der euklidischen Metrik nahe Metrik gg wird die Uhlenberg-Konstruktion angewendet, um einen Coulomb-Corahmen (ω1,…,ωn)(\omega^1, \ldots, \omega^n) zu erhalten

Schritt 2: Für jedes i∈{1,…,n}i \in \{1, \ldots, n\} wird das elliptische System gelöst:

-\Delta_g y^i = d^*_g \omega^i & \text{in } \mathbb{B}^n \\ \partial_\nu y^i = \omega^i(\nu) & \text{on } \partial\mathbb{B}^n \\ \int_{\mathbb{B}} y^i(x) dx = 0 \end{cases}$$ **Schritt 3**: Die endgültigen Koordinaten werden durch Lösen der harmonischen Koordinatengleichung erhalten: $$\begin{cases} \Delta_{(y^{-1})^*g} z^i = 0 & \text{in } \mathbb{B}^n \\ z^i = y^i & \text{on } \partial\mathbb{B}^n \end{cases}$$ ### Kontinuitätsargument Es werden zwei verschachtelte Kontinuitätsargumente verwendet: 1. **Erste Ebene**: Es wird bewiesen, dass wenn die Metrik der euklidischen Metrik nahe ist und der Riemann-Tensor hinreichend klein ist, dann können die erforderlichen Koordinaten konstruiert werden 2. **Zweite Ebene**: Es wird bewiesen, dass jede Metrik, die die Bedingungen erfüllt, durch einen Pfad mit der euklidischen Metrik verbunden werden kann ## Hauptergebnisse ### Satz 1.2 (Hauptergebnis) Sei $n \geq 2$ gerade und $d > n$ eine ganze Zahl. Es existieren $\varepsilon_* > 0$ und $C_* > 0$ (abhängig nur von $n$ und $d$) derart, dass: Für $\vec{\Phi} \in I^{\frac{n}{2}-1,2}(\mathbb{R}^n;\mathbb{R}^d)$ mit $E_n(\vec{\Phi}) < \varepsilon_*$ existiert ein bi-Lipschitz-Homöomorphismus $z : \mathbb{R}^n \to \mathbb{R}^n$, der harmonische Koordinaten für $g_{\vec{\Phi}}$ liefert, so dass: $$\|(g_{\vec{\Phi} \circ z})_{ij} - \delta_{ij}\|_{L^\infty(\mathbb{R}^n)} \leq C_* E_n(\vec{\Phi})$$ ### Satz 1.4 (Allgemeines Metrik-Ergebnis) Sei $n \geq 3$. Es existieren $\varepsilon_0 > 0$ und $C_0 > 0$ (abhängig nur von $n$) derart, dass: Für eine schwache Metrik $g$ auf $\mathbb{R}^n$ mit $\|\text{Riem}_g\|_{L^{(n/2,1)}(\mathbb{R}^n,g)} \leq \varepsilon_0$ existiert ein $C^1$-Diffeomorphismus $y : \mathbb{R}^n \to \mathbb{R}^n$ so dass: $$\|(y^*g)_{ij} - \delta_{ij}\|_{\bar{W}^{2,(n/2,1)}(\mathbb{R}^n)} \leq C_0 \|\text{Riem}_g\|_{L^{(n/2,1)}(\mathbb{R}^n,g)}$$ ## Technische Innovationen ### 1. Identifikation kritischer Regularität - Identifikation von $L^{(n/2,1)}$ als minimale Regularitätsanforderung für die Existenz harmonischer Koordinaten - Dies ist feiner als die in der Literatur übliche Bedingung $L^p$ ($p > n/2$) ### 2. Systematische Anwendung von Lorentz-Sobolev-Räumen - Einführung skaleninvarianter Sobolev-Normen: $$\|f\|_{\bar{W}^{2,(n/2,1)}(\Omega)} := \|f\|_{L^\infty(\Omega)} + \|\nabla f\|_{L^{(n,1)}(\Omega)} + \|\nabla^2 f\|_{L^{(n/2,1)}(\Omega)}$$ ### 3. Schwache Metrik-Theorie Definition der schwachen Metrik-Klasse $\bar{W}^{2,(n/2,1)}(\Omega)$ mit Anforderungen: - Gleichmäßige Elliptizität: $\lambda^{-1} \delta_{\alpha\beta} \leq g_{\alpha\beta} \leq \lambda \delta_{\alpha\beta}$ - Koeffizienten in entsprechenden Sobolev-Räumen ## Anwendungen und Erweiterungen ### Erweiterungsproblem für Immersionen **Satz 6.5**: Für Immersionen auf der Einheitskugel kann, wenn der Rand ein "fast flaches Bild" realisiert, die Immersion auf den gesamten Raum erweitert werden und harmonische Koordinaten konstruiert werden. ### Verallgemeinerung von Sobolev-Ungleichungen **Satz 6.2**: Es wird bewiesen, dass für Untermannigfaltigkeiten mit zweiter Fundamentalform in $L^{(n,\infty)}$ hinreichend klein, die Sobolev-Konstante einen von der Immersion unabhängigen Wert annehmen kann. ## Verwandte Arbeiten ### Historische Entwicklung 1. **Klassische Theorie**: Isotherme Koordinaten-Theorie von Gauss (1822) und Lichtenstein (1916) 2. **Moderne Entwicklung**: Analytische Rahmen von Ahlfors, Bers, Chern und anderen 3. **Schwache Regularität**: Beiträge von Toro (1994), Müller-Sverak (1995), Hélein ### Vergleich mit bestehenden Methoden - **Überlegen zu traditionellen Methoden**: Keine a priori Stetigkeit der Metrik erforderlich - **Verallgemeinerung klassischer Ergebnisse**: Verallgemeinerung des zweidimensionalen Müller-Sverak-Ergebnisses auf höhere Dimensionen - **Neuer technischer Weg**: Vermeidung von Reifenberg-Bedingungen durch Coulomb-Rahmen ## Schlussfolgerungen und Diskussion ### Hauptschlussfolgerungen 1. Erfolgreiche Konstruktion harmonischer Koordinaten für schwache Immersionen im kritischen Sobolev-Raum 2. Etablierung quantitativer Beziehungen zwischen Metrik-Krümmung und Koordinaten-Regularität 3. Bereitstellung von Schlüsselwerkzeugen für die Analyse verallgemeinerter Willmore-Energien ### Einschränkungen 1. Beschränkung auf gerade Dimensionen $n \geq 4$ 2. Erfordernis einer Kleinheitsbedingung für die zweite Fundamentalform 3. Erweiterungsprobleme für allgemeine Bereiche sind noch nicht vollständig gelöst ### Zukünftige Richtungen 1. Untersuchung ungerader Dimensionen 2. Erweiterungsprobleme unter allgemeineren Randbedingungen 3. Anwendungen in Einstein-Metriken und Bach-flachen Metriken ## Tiefgreifende Bewertung ### Stärken 1. **Theoretische Tiefe**: Lösung eines grundlegenden Problems der Differentialgeometrie mit wichtigem theoretischem Wert 2. **Technische Innovation**: Geschickte Kombination von Lorentz-Raum-Theorie und Coulomb-Rahmen-Methode 3. **Anwendungswert**: Bereitstellung wichtiger Werkzeuge für Variationsprobleme und konforme Geometrie 4. **Vollständigkeit**: Detaillierte Behandlung von abstrakter Theorie bis zu konkreten Anwendungen ### Technische Highlights 1. **Kritikalitätsanalyse**: Präzise Identifikation der kritischen Regularitätsskala des Problems 2. **Einheitlicher Rahmen**: Einheitliche Behandlung von Immersions-Theorie und Riemann-Geometrie 3. **Quantitative Schätzungen**: Explizite Abhängigkeit aller Konstanten ### Potenzielle Auswirkungen 1. **Theoretischer Beitrag**: Förderung der Entwicklung schwacher Regularitäts-Geometrieanalyse 2. **Anwendungsperspektiven**: Potenzielle Anwendungen in allgemeiner Relativitätstheorie und Stringtheorie 3. **Methodologie**: Bereitstellung eines neuen analytischen Rahmens für ähnliche Probleme ### Anwendungsszenarien - Minimalflächen-Theorie - Willmore-Flächen und verallgemeinerte Willmore-Funktionale - Analyse von Einstein-Metriken - Geometrische Probleme in der AdS/CFT-Korrespondenz Dieser Artikel leistet wichtige Beiträge im Grenzbereich zwischen Differentialgeometrie und Analysis. Seine technischen Innovationen und theoretische Tiefe machen ihn zu einem wichtigen Fortschritt in diesem Gebiet.