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

基本信息

  • 论文ID: 2510.10601
  • 标题: Construction of harmonic coordinates for weak immersions
  • 作者: Dorian Martino (ETH Zürich), Tristan Rivière (ETH Zürich)
  • 分类: math.DG (微分几何), math.AP (分析与偏微分方程)
  • 发表时间: 2025年10月14日
  • 论文链接: https://arxiv.org/abs/2510.10601

摘要

本文证明了在偶数维度 n≥4n \geq 4 的情况下，任何处于临界Sobolev空间 Wn2+1,2(Rn;Rd)W^{\frac{n}{2}+1,2}(\mathbb{R}^n;\mathbb{R}^d) 中的弱浸入，如果其第二基本形式在Sobolev空间 Wn2−1,2(Rn;Rd)W^{\frac{n}{2}-1,2}(\mathbb{R}^n;\mathbb{R}^d) 中足够小，则具有全局调和坐标。这是对Müller-Sverak在 n=2n=2 情况下著名结果向任意偶数维度 n≥4n \geq 4 的推广。这种坐标的存在是作者在分析浸入的尺度不变拉格朗日量（如Graham-Reichert泛函）中使用的关键工具。从纯内在几何的角度，主要结果的证明导出了一个关于Riemann张量在 LpL^p（p>n/2p > n/2）中的一般度量的调和坐标局部存在性定理。

研究背景与动机

问题背景

  1. 经典问题: 在研究浸入的分析问题（如正则性或紧性问题）时，首先需要构造局部坐标系，这些坐标系应该以允许使用椭圆正则性的方式进行控制。
  2. 二维情况的成功: 在二维情况下，等温坐标提供了这样的坐标系。通过Liouville方程，只需知道Gauss曲率是正则的就能推导出共形因子的正则性。
  3. 高维挑战: 在维度 n≥3n \geq 3 时，一般度量不存在等温坐标，Weyl张量是其阻碍。因此需要寻找替代方案。

研究动机

  1. 变分问题需求: 在涉及浸入的变分问题中（如极小曲面、常平均曲率曲面或Willmore曲面），度量不能先验假设为连续的。
  2. 广义Willmore能量: 这些泛函首次由Guven在2005年引入，寻找测量4维子流形弯曲的共形不变能量。在AdS/CFT对应的背景下，体积重整化程序导致了Willmore泛函。
  3. 尺度不变性: 对于偶数维度，考虑尺度不变泛函： 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}}}

核心贡献

  1. 主要定理: 证明了对于偶数维度 n≥4n \geq 4，临界Sobolev空间中的弱浸入在第二基本形式足够小的条件下具有全局调和坐标。
  2. 技术创新: 将Hélein的Coulomb框架方法推广到高维情况，解决了Hélein在其著作中提出的关于在 n≥3n \geq 3 维度中构造由Coulomb框架诱导的坐标的问题。
  3. 一般度量理论: 从纯内在角度，证明了对于Riemann张量在 L(n/2,1)L^{(n/2,1)} 中的弱度量的调和坐标存在性。
  4. 临界正则性: 识别出 L(n/2,1)L^{(n/2,1)} 作为调和坐标存在的临界正则性尺度，这比通常要求的 LpL^p（p>n/2p > n/2）条件更弱。

方法详解

弱浸入的定义

对于紧致定向n维Riemann流形 (Σn,h)(\Sigma^n, h) 和整数 d>nd > n，弱浸入空间定义为： 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\}

关键技术工具

1. Lorentz空间的应用

  • 使用Lorentz空间 L(p,q)L^{(p,q)} 作为标准Lebesgue空间 LpL^p 的细化
  • 关键性质：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)
  • 这提供了从曲率的 L(n/2,1)L^{(n/2,1)} 正则性到度量系数连续性的关键联系

2. Coulomb框架方法

基于Uhlenbeck的Coulomb规范提取，构造过程包括：

步骤1: 对于接近欧几里得度量的度量 gg，应用Uhlenbeck构造获得Coulomb余框架 (ω1,…,ωn)(\omega^1, \ldots, \omega^n)

步骤2: 对每个 i∈{1,…,n}i \in \{1, \ldots, n\}，求解椭圆系统：

-\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}$$ **步骤3**: 通过求解调和坐标方程获得最终坐标： $$\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}$$ ### 连续性论证 使用两个嵌套的连续性论证： 1. **第一层**: 证明如果度量接近欧几里得度量且Riemann张量足够小，则可以构造所需的坐标 2. **第二层**: 证明任何满足条件的度量都可以通过路径连接到欧几里得度量 ## 主要结果 ### 定理1.2 (主要结果) 设 $n \geq 2$ 为偶数，$d > n$ 为整数。存在 $\varepsilon_* > 0$ 和 $C_* > 0$（仅依赖于 $n$ 和 $d$）使得： 对于 $\vec{\Phi} \in I^{\frac{n}{2}-1,2}(\mathbb{R}^n;\mathbb{R}^d)$ 满足 $E_n(\vec{\Phi}) < \varepsilon_*$，存在双Lipschitz同胚 $z : \mathbb{R}^n \to \mathbb{R}^n$ 为 $g_{\vec{\Phi}}$ 提供调和坐标，使得： $$\|(g_{\vec{\Phi} \circ z})_{ij} - \delta_{ij}\|_{L^\infty(\mathbb{R}^n)} \leq C_* E_n(\vec{\Phi})$$ ### 定理1.4 (一般度量结果) 设 $n \geq 3$。存在 $\varepsilon_0 > 0$ 和 $C_0 > 0$（仅依赖于 $n$）使得： 对于 $\mathbb{R}^n$ 上的弱度量 $g$ 满足 $\|\text{Riem}_g\|_{L^{(n/2,1)}(\mathbb{R}^n,g)} \leq \varepsilon_0$，存在 $C^1$ 微分同胚 $y : \mathbb{R}^n \to \mathbb{R}^n$ 使得： $$\|(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)}$$ ## 技术创新点 ### 1. 临界正则性的识别 - 识别出 $L^{(n/2,1)}$ 作为调和坐标存在的最小正则性要求 - 这比文献中通常的 $L^p$（$p > n/2$）条件更精细 ### 2. Lorentz-Sobolev空间的系统应用 - 引入尺度不变的Sobolev范数： $$\|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. 弱度量理论 定义弱度量类 $\bar{W}^{2,(n/2,1)}(\Omega)$，要求： - 一致椭圆性：$\lambda^{-1} \delta_{\alpha\beta} \leq g_{\alpha\beta} \leq \lambda \delta_{\alpha\beta}$ - 系数在相应Sobolev空间中 ## 应用与扩展 ### 浸入的扩展问题 **定理6.5**: 对于单位球上的浸入，如果边界实现"几乎平坦图"，则可以扩展到全空间并构造调和坐标。 ### Sobolev不等式的推广 **定理6.2**: 证明了对于第二基本形式在 $L^{(n,\infty)}$ 中足够小的浸入子流形，Sobolev常数可以取得与浸入无关的值。 ## 相关工作 ### 历史发展 1. **经典理论**: Gauss (1822) 和 Lichtenstein (1916) 的等温坐标理论 2. **现代发展**: Ahlfors, Bers, Chern 等人的分析框架 3. **弱正则性**: Toro (1994), Müller-Sverak (1995), Hélein 的贡献 ### 与现有方法的比较 - **优于传统方法**: 不需要先验的度量连续性 - **推广经典结果**: 将二维的Müller-Sverak结果推广到高维 - **新的技术路径**: 通过Coulomb框架避免了Reifenberg条件 ## 结论与讨论 ### 主要结论 1. 成功构造了临界Sobolev空间中弱浸入的调和坐标 2. 建立了度量曲率与坐标正则性之间的定量关系 3. 为广义Willmore能量的分析提供了关键工具 ### 局限性 1. 限制于偶数维度 $n \geq 4$ 2. 需要第二基本形式的小性条件 3. 对于一般域的扩展问题仍未完全解决 ### 未来方向 1. 奇数维度情况的研究 2. 更一般边界条件下的扩展问题 3. 在Einstein度量和Bach平坦度量中的应用 ## 深度评价 ### 优点 1. **理论深度**: 解决了微分几何中的基本问题，具有重要理论价值 2. **技术创新**: 巧妙结合了Lorentz空间理论和Coulomb框架方法 3. **应用价值**: 为变分问题和共形几何提供了重要工具 4. **完整性**: 从抽象理论到具体应用都有详细论述 ### 技术亮点 1. **临界性分析**: 精确识别了问题的临界正则性尺度 2. **统一框架**: 将浸入理论和Riemann几何统一处理 3. **定量估计**: 提供了所有常数的明确依赖关系 ### 潜在影响 1. **理论贡献**: 推进了弱正则性几何分析的发展 2. **应用前景**: 在广义相对论和弦理论中有潜在应用 3. **方法论**: 为类似问题提供了新的分析框架 ### 适用场景 - 极小曲面理论 - Willmore曲面和广义Willmore泛函 - Einstein度量的分析 - AdS/CFT对应中的几何问题 这篇论文在微分几何和分析学的交叉领域做出了重要贡献，其技术创新和理论深度使其成为该领域的重要进展。