Full flexibility of isometric immersions of metrics with low Hölder regularity in Poznyak theorem's dimension

技术摘要：在 Poznyak 定理维度下具有低 Hölder 正则性的度量之等距浸入的全柔性

问题陈述
本文研究了将 2 维黎曼度量 $g$ 等距浸入到欧几里得空间 $\mathbb{R}^4$ 中的问题。具体而言，它调查了对于低正则性（即 $g \in C^{r,\beta}$，其中 $0 < r + \beta \le 2$）的系统 $(\nabla u)^T \nabla u = g$ 的柔性。

虽然经典的结论（Nash, Poznyak）确立了光滑度量存在光滑等距浸入，但这些浸入的正则性往往受到系统刚性的限制。对于余维数 $k=1$（浸入到 $\mathbb{R}^3$）的情况，Borisov 等人的刚性结果表明，对于 $C^2$ 度量，$C^{1,\alpha}$ 等距浸入在 $\alpha > 2/3$ 时是刚性的，而柔性（近似任何短浸入的能力）则被限制在 $\alpha < 1/3$。在更高余维数的情况下，柔性会得到提升，但之前的 $\mathbb{R}^8$ 或一般维度的结果需要显著更大的目标维度才能实现全柔性（正则性接近 $C^{1,1}$）。

核心问题在于：“全柔性”现象——即任何短浸入都可以被正则性任意接近 $C^{1,1}$ 的等距浸入近似——是否在最小维度 $n=4$（Poznyak 定理中针对光滑度量的目标维度）下成立。

方法论
作者采用了**凸集成（convex integration）**技术，具体是一种改进的 Nash-Kuiper 迭代方案。证明围绕着一个“阶段”（Stage）构造展开，该构造通过迭代减少缺陷 $D(g, u) = g - (\nabla u)^T \nabla u$，同时控制高阶导数的增长。

关键技术组件包括：

1. 缺陷分解（Defect Decomposition）： 使用划分单位（partition of unity）和特定的单位向量（$\eta_1, \eta_2, \eta_3$）将缺陷分解为秩一的原型矩阵（rank-one primitive matrices）。
2. 三步波纹构造（Three-Step Corrugation）： 不同于以往可能使用单步或 Nash 螺旋的构造，本证明在一个“阶段”内利用三步波纹过程来消除缺陷分量。
   • 第一步（Nash 螺旋）： 使用两个法向方向来处理特定分量。
   • 第二步与第三步（Kuiper 波纹）： 使用 Kuiper 的 ansatz（涉及法向和切向扰动）来抵消秩一缺陷。该构造被适配用于等距浸入的完全非线性设置，借鉴了 Monge-Ampère 系统的见解。
3. Källén 迭代技术： 一个关键的创新是应用 Källén 迭代技术（最初来自 [31]）来抵消由波纹产生的非振荡误差项（特别是 $\frac{1}{\lambda^2}\nabla a \otimes \nabla a$ 项）。这使得能够同时抵消任意高阶的缺陷。
4. 频率与参数演进： 证明定义了特定的频率递增序列（$\mu_k, \lambda, \kappa$）和缺陷量级（$\delta_k$）。通过仔细调整二阶导数“爆炸”速率（$J$）与缺陷“衰减”速率（$S$）的比率，作者确保该比率 $J/S$ 可以被设定为任意小的。
5. 法向框架传播： 证明序列浸入的正交法向框架（$E^1_u, E^2_u$）的存在性与传播，是大量技术工作的组成部分，确保了在 $\mathbb{R}^4$ 中构造的几何一致性。

主要贡献

• 最优柔性维度： 本文证明了在 $\mathbb{R}^4$ 中可以实现 2 维度量的全柔性。这与存在光滑浸入所需的维度（Poznyak 定理，$n=4$）相匹配，但将其扩展到了低正则性的柔性领域。
• 正则性阈值： 对于 $g \in C^{r,\beta}$（其中 $r+\beta \le 2$），本文构造了一个 $\bar{u} \in C^{1,\alpha}$ 的等距浸入，其中 $\alpha < \min\left(\frac{r+\beta}{2}, 1\right)$。
  • 至关重要的是，对于 $C^2$ 度量（$r+\beta=2$），这产生了正则性为 $C^{1,1-\epsilon}$（任意接近 $C^{1,1}$）的浸入。
• 与刚性的对比： 结果表明，在 $\mathbb{R}^3$ 中观察到的刚性（其中柔性上限为 $\alpha < 1/3$，刚性在 $\alpha > 2/3$ 时成立）在 $\mathbb{R}^4$ 中完全消失。
• 技术综合： 该工作综合了 Monge-Ampère 系统文献中的技术（特别是缺陷转移和振荡分解）与 Kellen 迭代技术，以处理比以往更低余维数下的等距浸入系统。

主要结果

• 定理 1.1（主定理）： 令 $g \in C^{r,\beta}(\bar{\omega}, \mathbb{R}^{2\times 2}_{sym,>})$ 为简单连通区域 $\omega \subset \mathbb{R}^2$ 上的黎曼度量，且 $0 < r+\beta \le 2$。对于任何短浸入 $u \in C^1(\bar{\omega}, \mathbb{R}^4)$ 及任何 $\epsilon > 0$，存在一个等距浸入 $\bar{u} \in C^{1,\alpha}(\bar{\omega}, \mathbb{R}^4)$，满足 $\alpha < \min\left(\frac{r+\beta}{2}, 1\right)$ 且 $\|\bar{u} - u\|_0 \le \epsilon$。
• 定理 1.2（阶段构造）： 建立了归纳步骤，通过修改短浸入将缺陷减少到 $\sigma^{-N}$ 倍，同时控制二阶导数的增长，从而实现衰减率 $S$ 和爆炸率 $J$，使得当参数 $N, K \to \infty$ 时，$J/S \to 0$。
• 定理 1.3（Nash-Kuiper 迭代）： 基于阶段构造提供的估计，证明了迭代方案收敛至 $C^{1,\alpha}$ 等距浸入。

意义
本文声称，对于 2 维度量，等距浸入的“刚性”在 $\mathbb{R}^4$ 中完全消失。这一结果具有重要意义，因为：

1. 它填补了光滑浸入存在的维度（Poznyak 定理，$n=4$）与低正则性浸入的全柔性（此前仅在更高余维数下已知，如 $n=8$ 或一般 $n$）之间的差距。
2. 它确立了 $\mathbb{R}^3$ 中刚性的临界正则性阈值（$2/3$ 壁垒）是由于低余维数造成的，而将余维数增加仅一个维度（$n=4$）就足以恢复全柔性，使其达到度量正则性的极限。
3. 它提供了一个 Monge-Ampère 系统与等距浸入系统的统一框架，展示了如何将为前者开发的数学技术适配并解决后者在最优维度下的问题。

作者指出，该结果对任何目标维度 $n \ge 4$ 均成立，但针对 $n=4$ 的讨论是基于其作为 2 维流形一般存在光滑浸入的最小维度的地位。