[論文レビュー] Technical details on Kuranishi structure and virtual fundamental chain

Kenji Fukaya, Yong‐Geun Oh+2 more|arXiv (Cornell University)|Sep 20, 2012

Geometric and Algebraic Topology参考文献 15被引用数 45

ひとこと要約

本稿は、シンプレクティックトポロジーにおける擬全純曲線のモジュライ空間に対して、仮想基本鎖および基本サイクルを構成するための、Kuranishi構造の包括的で技術的に詳細な解説を提供している。特に、Gromov-Witten理論およびFloer homologyの分野における研究者にとって、『ブラックボックス』として利用可能かつ数学的に妥当な手法であることを裏付ける。この論文は、仮想基本クラス技法の基礎的枠組みを厳密に正当化し、[MW]の批判に応え、接合構成、座標変換、摂動に関する完全な解析的証明を提供している。

ABSTRACT

This is an expository article on the theory of Kuranishi structure and is based on a series of pdf files we uploaded for the discussion of the google group named `Kuranishi' (with its administrator H. Hofer). There we replied to several questions concerning Kuranishi structure raised by K. Wehrheim. At this stage we submit this article to the e-print arXiv, all the questions or objections asked in that google group were answered, supplemented or confuted by us. We first discuss the abstract theory of Kuranishi structure and virtual fundamental chain/cycle. This part can be read independently from other parts. We then describe the construction of Kuranishi structure on the moduli space of pseudoholomorphic curves, including the complete analytic detail of the gluing construction as well as the smoothness of the resulting Kuranishi structure. The case of S^1 equivariant Kuranishi structure which appears in the study of time independent Hamiltonian and the moduli space of Floer's equation is included.

研究の動機と目的

• Kuranishi構造およびシンプレクティックトポロジーにおける仮想基本鎖の厳密で自己完結的な技術的基盤を提供すること。
• 仮想基本クラス構成に関する基礎的懸念および批判（特に[MW]からのもの）を解決すること。
• 擬全純曲線のモジュライ空間における接合構成、座標変換、摂動に関する詳細な解析的証明を提供すること。
• Kuranishi法が、高度な研究において『ブラックボックス』として使用可能であるほど堅牢で信頼性があることを示すこと。
• 滑らかさ、自励群、S1-等化的設定における等化性といった技術的細部を明確にすること。

提案手法

• 良い座標系を用いたKuranishi構造の明確な定義を開発し、チャート間の整合性と一貫性を保証する。
• 重み付きSobolevノルムとバッチ関数を用いて、首を引き延ばす操作下での擬全純曲線の挙動を制御する。
• 交互法と指数的減衰推定を用いて、安定写像のためのグローバルな接合写像を構成する。
• 障害バンドルの接合と横断性技術を用いて、障害データの不変性を仮定せずに仮想基本鎖を構成する。
• Floer方程式および時間に依存しないハミルトニアン系のためのS1-等化的Kuranishi構造を体系的に構成する方法を導入する。
• 障害バンドルの等化的拡張の明示的幾何的構成を提供し、無限次元設定における微分可能性の問題を解決する。

実験結果

リサーチクエスチョン

• RQ1 Kuranishi構造を用いて、擬全純曲線のモジュライ空間に対して仮想基本鎖を厳密に構成するにはどうすればよいか？
• RQ2 Kuranishi構造における座標変換の滑らかさと整合性を保証する正確な技術的条件は何か？
• RQ3 自己同型群作用の下で障害バンドルが不変でない場合、仮想サイクルの構成において問題をどのように解決できるか？
• RQ4 自励群はコycle条件において果たす役割は何か？また、自励群が自明でない場合の理論の拡張は可能か？
• RQ5 特異点と自己同型が存在する状況下で、擬全純曲線のモジュライ空間に対するwell-definedな仮想基本クラスをどのように構成できるか？

主な発見

• 著者らは、擬全純曲線のモジュライ空間にKuranishi構造を完全かつ厳密に構成し、単純および一般の場合の詳細な接合解析を含んでいる。
• 本稿は、加法性条件や強いコycle条件を仮定せず、微妙な縮小構成を用いることで仮想基本鎖が構成可能であることを証明している。
• [MW]の批判に対して、障害バンドルのG-不変性に関する懸念が理論の無効化をもたらさないことを示しており、明示的な幾何的構成が存在することを示している。
• 自己同型群が非自明に作用する場合でも、障害バンドルE(u′)がモジュライ空間上でのファミリーとして滑らかであることを確立している。
• Kuranishiコボルディズムの構成により、仮想基本クラスが基本チャートや遷移データの選択に依存せず、well-definedであることが示されている。
• S1-等化的Kuranishi構造の理論が完全に発展されており、時間に依存しないハミルトニアン系のFloerホモロジーの計算が仮想基本サイクルを用いて可能であることが示されている。