[論文レビュー] A General Fredholm Theory I: A Splicing-Based Differential Geometry

Helmut Hofer, Kris Wysocki+1 more|ArXiv.org|Dec 20, 2006

Geometric and Algebraic Topology参考文献 14被引用数 6

ひとこと要約

この論文は微分幾何学におけるスプライシング構成に基づく一般化されたフレドホルム理論を導入し、次元が変化するおよび非コンパクト性を示す現象（例えば、バブル生成、ネックストレッチング）を有するモジュライ空間をコンパクト化できる新しい滑らかさの空間―ポリフォルト―を可能にする。主な貢献は、スプライシングバンドル上の切断のフレドホルム性が、その埋め込み版のフレドホルム性と同値であり、インデックスが保存されることを確立したことである。これはシンプレクティックトポロジーおよびゲージ理論への応用における堅牢な摂動および横断的理論の基盤をなす。

ABSTRACT

This is the first paper in a series introducing a generalized Fredholm theory in a new class of smooth spaces called polyfolds. The theory will be illustrated in upcoming papers by applications to Floer Theory, Gromov-Witten Theory and Symplectic Field Theory.

研究の動機と目的

• バブル生成やネックストレッチングなどの現象によって非コンパクト性を示すモジュライ空間に対して、一般化されたフレドホルム理論を構築すること。
• 次元が変化する接空間を有する、スプライシングコアを局所的モデルとして用いる新しい滑らかさの空間―ポリフォルト―を導入すること。
• 次元が定数でない領域および終域を有する無限次元設定における摂動および横断的理論の基盤を確立すること。
• sc構造およびストロングバンドルに基づく関数解析的枠組みを提供し、この一般化された文脈において陰関数定理およびフレドホルム理論を支えること。

提案手法

• バナッハ空間にスプライシング構造を導入し、n > m のとき包含写像 $E_n \hookrightarrow E_m$ がコンパクトであるような入れ子構造のバナッハ空間 $E_m$ を備えることで、滑らかさ構造の一般化を実現する。
• 開集合間のスプライシングバナッハ空間へのスプライシング滑らか写像を定義し、合成関数の法則が成り立つようにし、この文脈における微分積分学を可能にする。
• スプライシングの概念を発展させ、整合性のあるバナッハ空間および線形写像の族から、新たな局所的モデル（スプライシングコア）を構成する。
• スプライシングコア上にストロングバンドルを定義し、スプライシングバナッハ空間に従うファイバー束をモデルとし、コンパクト化可能な切断を可能にする「埋め込み可能ストロングバンドル構造」を定義する。
• スプライシングコアからの切断をより大きな空間へ拡張するための「フィラー写像」の概念を用い、元の切断の「埋め込み版」を構成し、フレドホルム性を保存する。
• 埋め込み版の線形化を適用し、元の切断とその埋め込み版の間でフレドホルム性およびインデックスが等価であることを示す。

実験結果

リサーチクエスチョン

• RQ1 バブル生成やネックストレッチングなどの非コンパクト性現象がモジュライ空間に現れる状況において、どのように一般化されたフレドホルム理論を構築できるか。
• RQ2 次元が変化する接空間を有する空間を扱うために、滑らかさ構造および微分幾何学の適切な一般化は何か。
• RQ3 どのようにしてフレドホルム切断を定義し、スプライシング構成によるコンパクト化においてその性質を保存できるか。
• RQ4 スプライシングバンドル上の切断の線形化がフレドホルムであるための条件は何か。また、これはその埋め込み版の線形化とどのように関係するか。
• RQ5 スプライシングフレームワークを用いて、次元が定数でない無限次元空間に対しても、摂動および横断的理論を拡張できるか。

主な発見

• スプライシングバンドル上の滑らかな点における切断 $f$ の線形化が sc-フレドホルムであるための必要十分条件は、その埋め込み版 $\overline{\mathbf{f}}$ の線形化が sc-フレドホルムであることである。
• 元の切断とその埋め込み版のフレドホルムインデックスは同一であり、トポロジカル不変量の一貫性が保証される。
• 埋め込み版 $\overline{\mathbf{f}}$ は、射影 $\pi_v$ の核上での線形同型写像をなす sc-滑らか写像 $\mathbf{f}^c$ を用いて構成され、フレドホルム構造が保存される。
• $\overline{\mathbf{f}}$ の線形化は、元の線形化と sc-同型写像 $C$ を含むブロック行列に分解され、フレドホルム性の保存が保証される。
• この理論により、非コンパクトかつ次元が変化する状況においても、スプライシングに基づく枠組みが、摂動および横断的理論を含む完全なフレドホルム理論を支えることが確立された。
• この構成により、シンプレクティック場理論、グロモフ＝ウィッテン理論、およびフロイド理論におけるモジュライ空間のコンパクト化の厳密な基盤が提供される。