Nash's theorem via Günther's trick

技術的要約：ギュンターの手法によるナッシュの定理

問題の定式化
本論文は、任意の $n$ 次元リーマン多様体 $(\Omega, g)$ が、十分大きな $d$ に対して、あるユークリッド空間 $\mathbb{R}^d$ への滑らかな等長埋め込みを許容するというジョン・ナッシュの滑らかな埋め込み定理を取り上げている。著者であるアントン・ペトルニンは、コンパクトな多様体に焦点を当てつつ、厳密さを保ちながらもアクセシビリティ（理解しやすさ）を両立させた証明を提供することを目指しており、非コンパクトな場合への還元についても示唆している。ナッシュのオリジナルの証明における中心的な困難は、等長埋め込みを規定する非線形偏微分方程式にニュートン法を適用する際に内在する「微分の喪失（loss-of-derivatives）」の問題である。

手法とアプローチ
証明の戦略は、精緻な平滑化手順を伴うナッシュの元のニュートン法の使用とは異なる。代わりに、微分の喪失の問題を排除するマティアス・ギュンターによって発見された「魔法のような方法」によって促進される、バナッハ空間内での縮小写像による議論を採用している。論文はナッシュの構造的枠組みに従いつつ、小さな計量の摂動の実現を扱うためにギュンターの補題を統合している。

手法は以下の論理的段階を経て進む：

1. 近似定理とナッシュのツイスト： 論文はまず、埋め込み定理の近似版を確立する。ここでは、「ナッシュのツイスト」と呼ばれる、円への写像の合成を含む特定の構成を利用して、計量が $g + t \cdot h$ の形式をとるような写像の族 $w_t$ を生成する。これにより、滑らかな写像によって誘導される計量の集合が、リーマン計量の空間において稠密であることを示す。
2. トーラスへの摂動の還元： 大域的な埋め込み問題は、$n$ 次元トーラス $T^n$ 上の局所的な問題へと還元される。具体的には、証明は、固定された計量 $g_0$ に十分近い任意の計量 $g$ が、滑らかな写像の誘導計量として実現可能であることを示すという主定理の証明へと還元される。この還元は、ホイットニーの埋め込み定理と分割概和の議論を用いて、トーラスからの結果を一般的なコンパクト多様体へと拡張することに基づいている。
3. 自由写像と線形化： 固定された「自由な（free）」滑らかな埋め込み $f: T^n \to \mathbb{R}^d$ が導入される。写像が「自由」であるとは、その一次および二次偏微分が各点で線形独立であることを指す。この性質により、計量の実現問題の線形化が可能となる。誘導計量は対称双線型形式 $Q$ を通じて表現され、写像 $f+w$ が $g$ を誘導するという問題 $Q(f+w, f+w) = g$ は、$L$ を $f$ から導かれる線形作用素とする $L(w) + Q(w, w) = h$ へと線形化される。
4. ナッシュの補題： 論文は、線形作用素 $L$ が（Hölder空間からHölder空間への写像として微分の喪失なく）正則性を保持する右逆写像 $M$ を持つことを証明する。これは、$f$ が自由であるために、特定の直交条件を満たす法ベクトル場を一意に定義できることから可能となる。
5. ギュンターの補題と縮小： 中核となる革新は、対称双線型形式 $\tilde{Q}$ を構成するギュンターの補題であり、これは $L(\tilde{Q}(w, w)) = Q(w, w)$ を満たすものである。決定的なことに、$\tilde{Q}$ は、方程式 $w = Mh - \tilde{Q}(w, w)$ がバナッハ空間 $C^{2,\alpha}$ における縮小写像の議論を通じて解かれることを可能にする特定のHölderノルム評価を満たしている。
6. 平滑化と正則性： 解 $w$ が単なるHölder連続ではなく滑らか（$C^\infty$）であることを保証するために、証明ではラプラシアンから単位元を引いたもの $(\Delta - 1)^{-1}$ の逆作用素に基づく平滑化作用素を利用する。この作用素は偏微分と可換であり、正則性を向上させるため、著者は解を $C^{2,\alpha}$ から $C^\infty$ へとブートストラップアップすることができる。

主要な貢献と結果

• ギュンターのトリック： 本論文は、ナッシュ・モーザーの定理における複雑な平滑化手順を、標準的なバナッハ空間における縮小写像の議論に置き換える、ギュンターの手法を詳細に解説している。これにより、埋め込み定理を証明するために必要な解析的な機構が簡素化される。
• 明示的な境界： 著者は、次元 $d$ の最適化が主要な目的ではないと述べているが、この議論は $d = 10 \cdot n^4$ という境界を与える。コンパクトな曲面については、$d=5$ が達成可能であることが記されている。
• 構造的分解： 論文は、証明を近似定理、トーラスへの還元、自由写像の性質、およびギュンターの補題による小さな摂動の実現という、管理可能な構成要素へと体系的に分解している。
• 接線方向の補正： 技術的な具体的な貢献は、$\tilde{Q}$ の定義における接線方向の補正項 $x$ の導入である。この項は $w$ に関して二次的に依存し、要求される評価を満たすために必要であり、RicciフローにおけるDeTurckのトリックで使用される手法に類似している。

意義と主張
本論文は、数学的な深さを損なうことなく、アクセシビリティと厳密さを強調したナッシュの滑らかな埋め込み定理の証明を提示することを主張している。ナッシュの証明構造に従いつつ、非線形方程式の解法をギュンターの縮小議論に置き換えることで、著者は、滑らかな多様体や標準的な解析ツール（Schauderの評価やホイットニーの埋め込み定理など）に精通している読者にとって、この定理をより親しみやすいものにすることを目指している（後者を「ブラックボックス」として扱う）。

著者は、論文が次元の境界 $d$ を最適化するものではなく、また特定のケース（曲面における $d=5$ など）に対する既知の最適境界を改善することを主張するものではないことを明示している。意義は、証明の教育的な明快さと、ギュンターのアプローチがいかにして歴史的な「微分の喪失」という障害を簡素化したかを示す点にある。本論文は、洗練された講義ノート形式の導出を提供しており、提示を簡略化するために他の数学者（Deane Yang, Terence Tao, Ralph Howard）による細かな修正を取り入れている。