[論文レビュー] Polyfold and SFT Notes I: A Primer on Polyfolds and Construction Tools

Joel W. Fish, Helmut Hofer|arXiv (Cornell University)|Jun 19, 2018

Geometric and Algebraic Topology参考文献 18被引用数 3

ひとこと要約

本稿は、シンプレクティック幾何学において不可欠な一般化されたバナッハ多様体（M-多様体）を構成する基盤的枠組みを、インプリンティング法と函子的構成により提案する。sc-滑らかさ構造を用いて滑らかなモデルからM-多様体およびストロングバンドルを構築するための道具を確立し、ノード付きまたは特異的挙動を示すモジュライ空間の取り扱いを可能にする。主な結果として、構成函手をベクトルバンドルへ拡張できること、および局所的リフトを用いたsc-滑らか写像の特徴付けが得られる。

ABSTRACT

Notes for the upcoming Workshop on Symplectic Field Theory IX, Polyfolds for SFT. These notes are essentially the first few chapters of a forthcoming book entitled "Polyfold Constructions: Tools, Techniques, and Functors"

研究の動機と目的

• 滑らかなモデルからインプリンティング技法を用いてM-多様体を体系的に構成する方法の開発。
• sc-構造を用いた無限次元設定への陰関数定理枠組みの一般化。
• sc-滑らかさを保つM-多様体およびストロングバンドル構成の函手的アプローチの提供。
• シンプレクティック幾何学におけるバブルリングと自己同型の影響によって生じるモジュライ空間における横断性およびコンパクトネスの問題の解決。
• シンプレクティック場理論（SFT）におけるモジュライ空間の構築の基盤を、一貫性のある圏論的枠組みで整備すること。

提案手法

• インプリンティング法は、局所的滑らかなセクションを有する全射写像による滑らかな多様体の商を用いてM-多様体を構成し、商位相が距離化可能であり構造が適切に定義されることを保証する。
• sc-構造およびsc微積分学は、バナッハ空間に滑らかさの段階的階層を定義し、制御された正則性を伴う無限次元問題の取り扱いを可能にする。
• ストロングバンドルの構成は、ペア (N,L) の圏と形式 F(u,h) = (f(u), A(u)h) の形の射の形で形式化され、f および A は滑らかな写像である。
• 構成をモデル空間から一般のM-多様体およびストロングバンドルへ拡張する函手的アプローチが開発され、sc-滑らかさおよび射との整合性が保たれる。
• ベクトルバンドル構造のM-多様体への拡張は、バンドルをユークリッド空間に埋め込み、チューブ近傍およびリトラクション写像を用いることで達成される。
• 主な技術的道具は、r∘r = r を満たすリトラクション写像 r の存在であり、これによりファイバー上での射影に制限されるグローバルな射 F を定義でき、一貫性のあるバンドル拡張が可能になる。

実験結果

リサーチクエスチョン

• RQ1 滑らかな多様体の商に類似した方法を用いて、滑らかさおよび距離化可能性を保ちつつM-多様体を体系的に構成する方法は何か？
• RQ2 滑らかな多様体から集合への全射写像が、局所的リフトを通じて適切なM-多様体構造を誘導するための条件は何か？
• RQ3 モデル空間から一般のM-多様体へとストロングバンドル構造を函手的に拡張する方法は何か？ その際、sc-滑らかさが保たれる条件は？
• RQ4 モデル空間間のsc-滑らか写像が、関連するM-多様体およびストロングバンドル間で一貫した写像をどのように誘導するか？
• RQ5 リトラクションおよびチューブ近傍は、M-多様体へのベクトルバンドル構造の拡張において果たす役割は何か？

主な発見

• インプリンティング法は、滑らかな多様体の商がM-多様体構造を引き継ぐための必要十分条件を提供し、局所的滑らかなセクションの存在によって特徴付けられる。
• ストロングバンドル構成函手は、圏 N² 上で定義され、各ペア (N,L) に対して、整合性のあるsc-滑らか構造と像を保存する射を有するストロングバンドルを割り当てる。
• モデル空間から一般のベクトルバンドルへのストロングバンドル構成函手の拡張は、適切なバンドル埋め込みとリトラクション写像を用いて達成され、Z(N,P) と Z(R^N × R^P) の間に自然同型が得られる。
• 構成により、合成および制限においてsc-滑らかさが保たれ、点の像上での写像 F と G の一致が、函手によるリフトの一致を意味する。
• この枠組みにより、特にSFTの文脈において、定義域や終域が変化するモジュライ空間を一貫して取り扱えるようになり、それらをユニバーサルモデル空間に埋め込むことが可能になる。
• 理論により、コンパクトネスおよび横断性の問題を含むシンプレクティック幾何学におけるM-多様体の構築に、きめ細やかな基盤が提供される。これは、有限次元のモデル構成に還元可能である。