Full flexibility of the Monge-Ampère system in codimension $d_*-d+1$

この論文「FULL FLEXIBILITY OF THE MONGE-AMP`ERE SYSTEM IN CODIMENSION d∗−d + 1（余次元 $d^* - d + 1$ におけるモンジュ・アンペール系の完全柔軟性）」は、幾何学的偏微分方程式、特に等長埋め込み問題とモンジュ・アンペール系に関する画期的な結果を提示しています。

以下に、論文の技術的概要を問題設定、手法、主要な貢献、結果、そして意義に分けて詳細にまとめます。

1. 問題設定 (Problem)

• モンジュ・アンペール系 (Monge-Ampère System):
  次元 $d$ の領域 $\omega \subset \mathbb{R}^d$ から余次元 $k$ のユークリッド空間 $\mathbb{R}^k$ への写像 $v$ に対して、以下の系を解く問題です。
  $$\text{Det } \nabla^2 v = F$$
  ここで、$\text{Det } \nabla^2 v$ は行列要素 $\langle \partial_{is} v, \partial_{jt} v \rangle - \langle \partial_{it} v, \partial_{js} v \rangle$ で構成されるテンソル場であり、$F$ は与えられた対称条件を満たすテンソル場です。
  この系は、2 次元の場合のモンジュ・アンペール方程式（ガウス曲率の prescribing 問題）の多次元版であり、また等長埋め込み問題の弱形式（フォン・カルマン系）とも密接に関連しています。

• 完全柔軟性 (Full Flexibility):
  与えられた連続関数 $v$ と $w$ が、ある行列場 $A$ に対して「部分解（subsolution）」の条件（不等式）を満たす場合、任意の $\epsilon > 0$ と任意の Hölder 指数 $\alpha < 1$ に対して、その近似となる $C^{1,\alpha}$ 正則性の解 $(\tilde{v}, \tilde{w})$ が存在し、かつ等式 $\frac{1}{2}(\nabla \tilde{v})^T \nabla \tilde{v} + \text{sym}\nabla \tilde{w} = A$ を満たすという性質を指します。

• 既存の限界:
  これまでの研究（Lewicka ら [24] など）では、完全柔軟性が証明されていたのは、余次元 $k$ が非常に大きい場合（具体的には $k \ge 2d^*$、ここで $d^* = d(d+1)/2$ は Janet 次元）に限られていました。$d=2, k=2$ の場合（Inauen-Lewicka [19]）は例外でしたが、一般の次元 $d$ において、より低い余次元でこの性質が成り立つかは未解決でした。

2. 手法と戦略 (Methodology)

論文の核心は、凸積分法 (Convex Integration) の改良された構成、特に「ステージ構成 (Stage Construction)」にあります。

• Nash-Kuiper アルゴリズムの反復:
  解を構成するために、欠陥（defect）$D = A - (\frac{1}{2}(\nabla v)^T \nabla v + \text{sym}\nabla w)$ を段階的に減少させる反復プロセスを行います。各ステップで、解に微小な振動（corrugations）を追加し、欠陥を打ち消します。

• 新しいステージ構成 (Theorem 1.3):
  既存の手法（Källén [22] や Lewicka [24]）では、欠陥を消去するために非常に高い余次元が必要でした。著者らは、以下の新しい戦略を開発しました。

  1. 欠陥の分解: 対称行列をランク 1 の基本行列 $\eta_{ij} \otimes \eta_{ij}$ の線形結合に分解します。
  2. 余次元の逐次利用:
     • まず、$n=1$ の余次元方向を用いて、特定の振動モード（$\eta_{1j}$ に対応するもの）を消去します。
     • 次に、$n=2, \dots, \bar{d}$ の余次元方向を順次利用して、残りの振動モードを消去します。
  3. 積分と誤差の制御:
     • Lemma 2.4（部分積分の議論）を繰り返し適用することで、誤差項の次数を下げます。
     • 重要な新発見: 2 階微分項 $\nabla^2 v_k$ が含まれる誤差項が、実は初期値 $v_0$ の 2 階微分と、過去の反復で生じた振動項の和として書き換えられることを示しました。これにより、特定の方向でのみ振動する項として扱い、さらに分解・低減が可能になりました。
  4. Källén の反復の適用: 振動の平均値がゼロでない項を、欠陥の中に吸収させるために Källén の分解（Lemma 2.5）を適用します。

• パラメータの最適化:
  反復回数 $K$ と積分の階数 $N$ を大きく取ることで、解の 2 階微分の発散率と欠陥の減衰率のバランスを調整し、Hölder 指数 $\alpha$ が 1 に限りなく近づくようにします。

3. 主要な貢献と結果 (Key Contributions & Results)

• 定理 1.1 (Main Theorem):
  任意の次元 $d$ において、余次元が
  $$k = \bar{d} = d^* - d + 1 = \frac{d(d+1)}{2} - d + 1$$
  である場合、モンジュ・アンペール系の $C^{1,\alpha}$ 解は、連続関数の空間において稠密であることが証明されました。ここで $\alpha < \min\left\{ \frac{r+\beta}{2}, 1 \right\}$ です。

  • 意義: 以前の結果 ($k \ge 2d^*$) に比べて、必要な余次元が劇的に減少しました（$d^* - d + 1$ は $2d^*$ よりもはるかに小さい）。
  • 具体例: $d=2$ の場合、$\bar{d} = 3 - 2 + 1 = 2$ となり、既存の $d=k=2$ の結果を一般化し、任意の $d$ へ拡張しました。

• 定理 5.1 (等長埋め込みへの拡張):
  同じ手法を用いることで、$d$ 次元の Riemann 計量 $g$ を、余次元 $k \ge \bar{d}$ のユークリッド空間 $\mathbb{R}^{d+k}$ への $C^{1,\alpha}$ 等長埋め込みとして局所的に実現できることを示しました。

  • 特に、$C^2$ 正則性の計量に対して、$C^{1, 1-\epsilon}$ 正則性の等長埋め込みが存在することを証明しました。

• コンパクト多様体への拡張:
  技術的な拡張（[12] の手法の利用）により、コンパクト多様体においても、余次元 $k \ge (d+1)d^* - d + 1$ で同様の柔軟性が成り立つことが示唆されています。

4. 技術的詳細の要点

• 誤差項の構造:
  従来の手法では、誤差項が複雑に絡み合い、それを消去するために多くの余次元が必要でした。著者らは、誤差項の構造を「固定された方向での振動」として明確に分離し、それを逐次的に処理するアルゴリズムを構築しました。これにより、必要な余次元の数を $d^* - d + 1$ まで削減することに成功しました。
• 補間不等式:
  反復過程における解の $C^{1,\alpha}$ ノルムの収束性を保証するために、解の発散率（$\sigma^{dK+N}$）と欠陥の減衰率（$\sigma^{-KN}$）のバランスを、Hölder 空間の補間不等式を用いて精密に制御しています。

5. 意義と影響 (Significance)

• 幾何学的柔軟性の限界の引き下げ:
  Nash-Kuiper 定理（$C^1$ 等長埋め込み）の正則性を $C^{1,\alpha}$ に引き上げる際、必要な余次元の下限を大幅に引き下げました。これは、高次元の幾何学において、より少ない自由度で「しわ（corrugation）」を生成して曲率を調整できることを意味します。
• モンジュ・アンペール系と等長埋め込みの統一的理解:
  両者の問題が同じ凸積分の枠組みで扱え、同様の柔軟性条件を持つことを示しました。
• 今後の研究への道筋:
  この結果は、流体力学（Euler 方程式の Onsager 予想など）における凸積分法の応用とも平行しており、偏微分方程式の弱解の非一意性や柔軟性の研究において重要なマイルストーンとなります。特に、$d=2$ 以外での完全柔軟性が確立されたことは、高次元幾何学の理解を深める上で決定的な進展です。

まとめると、この論文は、凸積分法における「ステージ構成」を高度に洗練させることで、モンジュ・アンペール系および等長埋め込み問題において、必要とされる余次元を理論的に最小限に近いレベルまで削減し、任意の次元で完全柔軟性を証明した画期的な研究です。