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

技術的要約：ポズニャクの定理の次元における、低ホルダー正則性を持つ計量の等長浸入の完全な柔軟性

問題設定
本論文は、2次元リーマン計量 $g$ のユークリッド空間 $\mathbb{R}^4$ への等長浸入の問題を扱う。具体的には、$g \in C^{r,\beta}$（ただし $0 < r + \beta \le 2$）という低正則性の計量に対する系 $(\nabla u)^T \nabla u = g$ の柔軟性を調査している。

古典的な結果（ナッシュ、ポズニャク）は、滑らかな計量に対して滑らかな等長浸入の存在を確立しているが、これらの浸入の正則性は系の剛性に制約されることが多い。余次元 $k=1$（$\mathbb{R}^3$ への浸入）の場合、ボリスォフらによる剛性の結果によれば、$C^2$ 計量に対する $C^{1,\alpha}$ 等長浸入は $\alpha > 2/3$ で剛性を示し、柔軟性（任意のショート浸入を近似できる能力）は $\alpha < 1/3$ に限定される。高余次元の場合、柔軟性は向上するが、従来の $\mathbb{R}^8$ や一般の次元における結果では、完全な柔軟性（正則性が $C^{1,1}$ に任意に近づくこと）を得るために、より大きな標的次元を必要としていた。

中心となる問いは、「完全な柔軟性」現象（任意のショート浸入が、正則性が $C^{1,1}$ に任意に接近する等長浸入によって近似可能であること）が、ポズニャクの定理における最小次元 $n=4$（滑らかな計量のための標的次元）において成立するかどうかである。

手法
著者は、洗練されたナッシュ・クッパー（Nash-Kuiper）反復スキーム、特に**凸積分（convex integration）**の手法を用いている。証明は、欠陥 $D(g, u) = g - (\nabla u)^T \nabla u$ を減少させつつ、高次導関数の増大を制御する「ステージ（Stage）」構成を中心に展開される。

主要な技術的要素は以下の通りである：

1. 欠陥の分解（Defect Decomposition）: 単位の分割（partition of unity）と特定の単位ベクトル（$\eta_1, \eta_2, \eta_3$）を用いて、欠陥をランク1の原始行列へと分解する。
2. 3ステップの波状化（Three-Step Corrugation）: 単一のステップやナッシュのスパイラルを用いるのではなく、単一の「ステージ」内で欠陥成分を排除するために、3ステップの波状化プロセスを利用する。
   • ステップ1（ナッシュのスパイラル）: 特定の成分を処理するために2つの法方向を用いる。
   • ステップ2および3（クッパーの波状化）: ランク1の欠陥を相殺するために、クッパーのアンザッツ（法方向と接方向の両方の摂動を含むもの）を用いる。この構成は、モノ・アンペア系の知見に基づき、等長浸入という完全非線形の設定に適応されている。
3. カレン反復技法（Källén Iteration Technique）: 波状化から生じる非振動的な誤差項（具体的には $\frac{1}{\lambda^2}\nabla a \otimes \nabla a$ 項）を相殺するために、カレン反復技法（[31]に由来）を適用することが極めて重要な革新である。これにより、任意に高い次数の欠陥を同時に相殺することが可能となる。
4. 周波数とパラメータの進行（Frequency and Parameter Progression）: 周波数の進行（$\mu_k, \lambda, \kappa$）と欠陥の大きさ（$\delta_k$）を定義する。第2次導関数の「爆発」率（$J$）と欠陥の「減衰」率（$S$）の比を注意深く調整することで、パラメータ $N, K \to \infty$ の際に $J/S$ を任意に小さくできることを保証する。
5. 法フレームの伝播（Normal Frame Propagation）：浸入列の正規直交法フレーム（$E^1_u, E^2_u$）の存在と伝播を証明することに、技術的な作業の大部分が割かれている。これは、$\mathbb{R}^4$ における構成の幾何学的整合性を保証するためである。

主要な貢献

• 柔軟性の最適次元: 本論文は、2次元計量に対して $\mathbb{R}^4$ において完全な柔軟性が達成可能であることを証明している。これは、滑らかな浸入の存在（ポズニャクの定理）に必要な次元と一致するが、この結果を低正則性の領域へと拡張するものである。
• 正則性の閾値: $g \in C^{r,\beta}$（$r+\beta \le 2$）に対し、任意の $\alpha < \min\left(\frac{r+\beta}{2}, 1\right)$ に対して $C^{1,\alpha}$ 等長浸入 $\bar{u}$ を構成する。
  • 決定的なことに、$C^2$ 計量（$r+\beta=2$）の場合、これは $C^{1,1-\epsilon}$（$C^{1,1}$ に任意に接近する）の正則性を与える。
• 剛性との対比: この結果は、$\mathbb{R}^3$ で観察される剛性（$\alpha > 2/3$ で剛性、$\alpha < 1/3$ で柔軟性という制限がある）が、$\mathbb{R}^4$ では完全に消失することを実証している。
• 技術的統合: モノ・アンペア系の文献（特に欠陥転送と振動分解）の技術を、以前よりも低い余次元において等長浸入系を解くために適応させることで、これらを統合している。

主な結果

• 定理 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} - u\|_0 \le \epsilon$ を満たす等長浸入 $\bar{u} \in C^{1,\alpha}(\bar{\omega}, \mathbb{R}^4)$（ただし $\alpha < \min\left(\frac{r+\beta}{2}, 1\right)$）が存在する。
• 定理 1.2（ステージ構成）: ショート浸入を修正して、第2次導関数の増大を制御しながら欠陥を $\sigma^{-N}$ 倍に減少させ、パラメータ $N, K \to \infty$ の際に $J/S \to 0$ となるような減衰率 $S$ と爆発率 $J$ を達成する帰納的ステップを確立する。
• 定理 1.3（ナッシュ・クッパー反復）: ステージ構成によって得られた評価に基づき、反復スキームが $C^{1,\alpha}$ 等長浸入へと収束することを証明する。

意義
本論文は、2次元計量について、$\mathbb{R}^4$ において等長浸入の「剛性」が完全に消失することを主張している。この結果は以下の点で重要である：

1. 滑らかな浸入の存在（ポズニャクの定理、$n=4$）と、低正則性の浸入の完全な柔軟性（$n=8$ や一般の $n$）が必要とされる次元との間のギャップを埋めるものである。
2. $\mathbb{R}^3$ における剛性の臨界正則性閾値（$2/3$ の壁）は、低余次元の結果であることを示しており、余次元をわずか1つ増やす（$n=4$）だけで、計量の正則性の限界まで完全な柔軟性を回復させるのに十分であることを示している。
3. モノ・アンペア系と等長浸入系の統一的な枠組みを提供し、前者のための技術が、最適次元において後者を解くために適応可能であることを示している。

著者は、この結果が任意の標的次元 $n \ge 4$ に対して成立することに触れているが、$\mathbb{R}^4$ への焦点は、それが2次元多様体の滑らかな浸入の一般的な存在（ポズニャクの定理）のための最小次元であるという点に基づいている。