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

Construction of harmonic coordinates for weak immersions

Basic Information

  • Paper ID: 2510.10601
  • Title: Construction of harmonic coordinates for weak immersions
  • Authors: Dorian Martino (ETH Zürich), Tristan Rivière (ETH Zürich)
  • Classification: math.DG (Differential Geometry), math.AP (Analysis and Partial Differential Equations)
  • Publication Date: October 14, 2025
  • Paper Link: https://arxiv.org/abs/2510.10601

Abstract

This paper proves that for even dimensions n≥4n \geq 4, any weak immersion in the critical Sobolev space Wn2+1,2(Rn;Rd)W^{\frac{n}{2}+1,2}(\mathbb{R}^n;\mathbb{R}^d) with second fundamental form in Wn2−1,2(Rn;Rd)W^{\frac{n}{2}-1,2}(\mathbb{R}^n;\mathbb{R}^d) sufficiently small admits global harmonic coordinates. This extends the celebrated result of Müller-Sverak for n=2n=2 to arbitrary even dimensions n≥4n \geq 4. The existence of such coordinates is a key tool employed by the authors in analyzing scale-invariant Lagrangians for immersions (such as the Graham-Reichert functional). From a purely intrinsic geometric perspective, the proof of the main result yields a general theorem on local existence of harmonic coordinates for metrics with Riemann tensor in LpL^p (p>n/2p > n/2).

Research Background and Motivation

Problem Background

  1. Classical Problem: When studying analytical problems for immersions (such as regularity or compactness issues), one must first construct local coordinate systems that can be controlled in a manner permitting the use of elliptic regularity.
  2. Success in Two Dimensions: In the two-dimensional case, isothermal coordinates provide such a coordinate system. Via the Liouville equation, regularity of the conformal factor follows from knowing only that the Gaussian curvature is regular.
  3. High-Dimensional Challenges: For dimensions n≥3n \geq 3, general metrics do not admit isothermal coordinates, with the Weyl tensor being the obstruction. Alternative approaches are therefore necessary.

Research Motivation

  1. Variational Problem Requirements: In variational problems involving immersions (such as minimal surfaces, constant mean curvature surfaces, or Willmore surfaces), the metric cannot be assumed a priori to be continuous.
  2. Generalized Willmore Energy: These functionals were first introduced by Guven in 2005, seeking conformally invariant energies measuring the curvature of 4-dimensional submanifolds. In the context of AdS/CFT correspondence, the volume renormalization procedure leads to the Willmore functional.
  3. Scale Invariance: For even dimensions, consider the scale-invariant functional: 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}}}

Core Contributions

  1. Main Theorem: Proves that for even dimensions n≥4n \geq 4, weak immersions in the critical Sobolev space admit global harmonic coordinates when the second fundamental form is sufficiently small.
  2. Technical Innovation: Extends Hélein's Coulomb frame method to higher dimensions, resolving a question posed by Hélein in his monograph regarding the construction of coordinates induced by Coulomb frames in dimensions n≥3n \geq 3.
  3. General Metric Theory: From a purely intrinsic perspective, proves existence of harmonic coordinates for weak metrics with Riemann tensor in L(n/2,1)L^{(n/2,1)}.
  4. Critical Regularity: Identifies L(n/2,1)L^{(n/2,1)} as the critical regularity scale for existence of harmonic coordinates, which is weaker than the typically required LpL^p condition (p>n/2p > n/2).

Methodology Details

Definition of Weak Immersions

For a compact oriented nn-dimensional Riemannian manifold (Σn,h)(\Sigma^n, h) and integer d>nd > n, the space of weak immersions is defined as: 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\}

Key Technical Tools

1. Application of Lorentz Spaces

  • Employs Lorentz spaces L(p,q)L^{(p,q)} as refinements of standard Lebesgue spaces LpL^p
  • Key property: 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)
  • This provides the crucial link from L(n/2,1)L^{(n/2,1)} regularity of curvature to continuity of metric coefficients

2. Coulomb Frame Method

Based on Uhlenbeck's Coulomb gauge extraction, the construction proceeds as follows:

Step 1: For metrics gg close to the Euclidean metric, apply Uhlenbeck's construction to obtain a Coulomb coframe (ω1,…,ωn)(\omega^1, \ldots, \omega^n)

Step 2: For each i∈{1,…,n}i \in \{1, \ldots, n\}, solve the elliptic system:

-\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}$$ **Step 3**: Obtain final coordinates by solving the harmonic coordinate equation: $$\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}$$ ### Continuity Argument Employs two nested continuity arguments: 1. **First Level**: Proves that if the metric is close to the Euclidean metric and the Riemann tensor is sufficiently small, the desired coordinates can be constructed 2. **Second Level**: Proves that any metric satisfying the conditions can be connected to the Euclidean metric by a path ## Main Results ### Theorem 1.2 (Main Result) Let $n \geq 2$ be even and $d > n$ be an integer. There exist $\varepsilon_* > 0$ and $C_* > 0$ (depending only on $n$ and $d$) such that: For $\vec{\Phi} \in I^{\frac{n}{2}-1,2}(\mathbb{R}^n;\mathbb{R}^d)$ satisfying $E_n(\vec{\Phi}) < \varepsilon_*$, there exists a bi-Lipschitz homeomorphism $z : \mathbb{R}^n \to \mathbb{R}^n$ providing harmonic coordinates for $g_{\vec{\Phi}}$, such that: $$\|(g_{\vec{\Phi} \circ z})_{ij} - \delta_{ij}\|_{L^\infty(\mathbb{R}^n)} \leq C_* E_n(\vec{\Phi})$$ ### Theorem 1.4 (General Metric Result) Let $n \geq 3$. There exist $\varepsilon_0 > 0$ and $C_0 > 0$ (depending only on $n$) such that: For a weak metric $g$ on $\mathbb{R}^n$ satisfying $\|\text{Riem}_g\|_{L^{(n/2,1)}(\mathbb{R}^n,g)} \leq \varepsilon_0$, there exists a $C^1$ diffeomorphism $y : \mathbb{R}^n \to \mathbb{R}^n$ such that: $$\|(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)}$$ ## Technical Innovations ### 1. Identification of Critical Regularity - Identifies $L^{(n/2,1)}$ as the minimal regularity requirement for existence of harmonic coordinates - This is more refined than the typical $L^p$ condition ($p > n/2$) found in the literature ### 2. Systematic Application of Lorentz-Sobolev Spaces - Introduces scale-invariant Sobolev norms: $$\|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. Weak Metric Theory Defines the weak metric class $\bar{W}^{2,(n/2,1)}(\Omega)$, requiring: - Uniform ellipticity: $\lambda^{-1} \delta_{\alpha\beta} \leq g_{\alpha\beta} \leq \lambda \delta_{\alpha\beta}$ - Coefficients in corresponding Sobolev spaces ## Applications and Extensions ### Extension Problem for Immersions **Theorem 6.5**: For immersions on the unit ball, if the boundary realizes an "almost flat graph," then the immersion can be extended to all of space with harmonic coordinates constructed. ### Generalization of Sobolev Inequalities **Theorem 6.2**: Proves that for immersed submanifolds with second fundamental form sufficiently small in $L^{(n,\infty)}$, the Sobolev constant can be taken independently of the immersion. ## Related Work ### Historical Development 1. **Classical Theory**: Isothermal coordinate theory of Gauss (1822) and Lichtenstein (1916) 2. **Modern Development**: Analytical frameworks of Ahlfors, Bers, Chern, and others 3. **Weak Regularity**: Contributions of Toro (1994), Müller-Sverak (1995), and Hélein ### Comparison with Existing Methods - **Advantages over Traditional Methods**: Does not require a priori metric continuity - **Generalization of Classical Results**: Extends the two-dimensional Müller-Sverak result to higher dimensions - **New Technical Approach**: Avoids Reifenberg conditions through the Coulomb frame method ## Conclusions and Discussion ### Main Conclusions 1. Successfully constructs harmonic coordinates for weak immersions in critical Sobolev spaces 2. Establishes quantitative relationships between metric curvature and coordinate regularity 3. Provides key tools for analyzing generalized Willmore energy ### Limitations 1. Restricted to even dimensions $n \geq 4$ 2. Requires smallness condition on the second fundamental form 3. Extension problems for general domains remain incompletely resolved ### Future Directions 1. Investigation of odd-dimensional cases 2. Extension problems under more general boundary conditions 3. Applications to Einstein metrics and Bach-flat metrics ## In-Depth Evaluation ### Strengths 1. **Theoretical Depth**: Resolves fundamental problems in differential geometry with significant theoretical value 2. **Technical Innovation**: Cleverly combines Lorentz space theory with Coulomb frame methods 3. **Practical Value**: Provides important tools for variational problems and conformal geometry 4. **Completeness**: Provides detailed exposition from abstract theory to concrete applications ### Technical Highlights 1. **Critical Analysis**: Precisely identifies the critical regularity scale of the problem 2. **Unified Framework**: Treats immersion theory and Riemannian geometry within a single framework 3. **Quantitative Estimates**: Provides explicit dependence of all constants ### Potential Impact 1. **Theoretical Contribution**: Advances the development of weak regularity geometric analysis 2. **Application Prospects**: Potential applications in general relativity and string theory 3. **Methodological**: Provides new analytical frameworks for similar problems ### Applicable Scenarios - Minimal surface theory - Willmore surfaces and generalized Willmore functionals - Analysis of Einstein metrics - Geometric problems in AdS/CFT correspondence This paper makes important contributions at the intersection of differential geometry and analysis, with technical innovations and theoretical depth that constitute significant progress in the field.