[論文レビュー] Isometric embedding via strongly symmetric positive systems

Gui‐Qiang Chen, Jeanne N. Clelland+3 more|arXiv (Cornell University)|Feb 15, 2015

Geometric Analysis and Curvature Flows参考文献 15被引用数 4

ひとこと要約

本稿では、非消えるリーマン曲率をもつ3次元リーマン多様体が6次元ユークリッド空間へ滑らかな等長埋め込みを局所的に持つことの新しい証明を提示する。『強い対称正規系』と呼ばれる、通常の特異な常微分方程式を一般化するPDEの新クラスを導入し、微局所解析を回避する局所〜グローバル〜局所戦略を用いる。この戦略はフレーデリクスの対称正規系理論に基づく。主な結果は、$ n=3 $, $ N=6 $ の場合における中村・前田の定理の簡素化された解析的証明である。

ABSTRACT

We give a new proof for the local existence of a smooth isometric embedding of a smooth $3$-dimensional Riemannian manifold with nonzero Riemannian curvature tensor into $6$-dimensional Euclidean space. Our proof avoids the sophisticated arguments via microlocal analysis used in earlier proofs. In Part 1, we introduce a new type of system of partial differential equations, which is not one of the standard types (elliptic, hyperbolic, parabolic) but satisfies a property called strong symmetric positivity. Such a PDE system is a generalization of and has properties similar to a system of ordinary differential equations with a regular singular point. A local existence theorem is then established by using a novel local-to-global-to-local approach. In Part 2, we apply this theorem to prove the local existence result for isometric embeddings.

研究の動機と目的

• 非消える曲率をもつ3次元リーマン多様体が $\mathbb{R}^6$ に局所的に滑らかに等長埋め込まれることの、新しい簡素化された証明を提供すること。
• 既存の等長埋め込み問題の証明において、微局所解析やフーリエ積分作用素の必要性を排除すること。
• 過決定PDE系を解析する新しい枠組みを提供するため、『強い対称正規系』の理論を導入し発展させること。
• 新規な局所〜グローバル〜局所戦略を用いて、このような系の局所的解の存在定理を確立すること。
• 新規PDE枠組みを等長埋め込み問題に適用し、既知の結果をより明確な解析的枠組みで再現すること。

提案手法

• 特定の対称性と正規性条件（式2.5）を満たすPDE系の新クラス『強い対称正規系』を定義し、通常の特異な常微分方程式を一般化する。
• 問題を $\mathbb{R}^n$ に埋め込み、大きな球面上で境界条件を課えることで、新規な局所〜グローバル〜局所戦略を用いて、これらの系の局所的解の存在定理を構築する。
• 線形化された等長埋め込み方程式にフレーデリクスの対称正規系理論を適用し、適切な定式化と整合性を保証する。
• 適切な変数変換を用いて線形化系を、条件 (9.19) および (9.21) を満たす強い対称正規系の形に変形する。
• 線形化系の可解性に依存する『滑らかでねじれた推移』を備えたナッシュ＝モーザーの陰関数定理を用いて非線形系を解く。
• 反復スキームにおける微分の損失を処理するため、平滑化作用素の枠組み（定理A.1）を用い、$C^\infty$ 範囲での収束を保証する。

実験結果

リサーチクエスチョン

• RQ1 非消える曲率をもつ3次元リーマン多様体が $\mathbb{R}^6$ に等長埋め込まれることの局所的証明は、微局所解析を用いずに可能か？
• RQ2 通常の楕円型／放物型／双曲型分類に依存しない、局所的解の存在定理をもつPDE系のクラスは何か？
• RQ3 フレーデリクスの対称正規系理論を、等長埋め込みに現れる過決定的・非線形PDE系に拡張するにはどうすればよいか？
• RQ4 線形化された等長埋め込み系が、強い対称正規系の形にどのように対称化できるかを保証する条件は何か？
• RQ5 線形化系が標準的な強度の正則性ではなく、強い対称正規性を満たす場合、ナッシュ＝モーザー反復スキームは効果的に適用可能か？

主な発見

• 本稿では、特異な振るまいを示す非線形PDE系の解析の基盤を提供する、強い対称正規系の新規な局所的解の存在定理を確立した。
• $ n=3 $, $ N=6 $ の場合における線形化された等長埋め込み系は、適切な変数変換により強い対称正規系に変換可能であることが示された。
• 非線形等長埋め込み問題の解の存在は、ナッシュ＝モーザー定理を用いて証明され、線形化系が必要な滑らかでねじれた推移を満たすことが確認された。
• 証明は微局所解析やフーリエ積分作用素を回避しており、結果に至るより直接的で解析的な道筋を提供している。
• 強い対称正規性条件は座標変換に対して壊れやすく、構造を保つためには局所座標の注意深い選択が必要であることが示された。
• 本手法は、$ n=3 $, $ N=6 $ の場合における中村・前田の結果を効果的に再現し、微分幾何学における新規PDE枠組みの強力さを示している。