[論文レビュー] Construction of Kuranishi structures on the moduli spaces of pseudo holomorphic disks: I

Kenji Fukaya, Yong‐Geun Oh+2 more|arXiv (Cornell University)|Oct 4, 2017

Geometry and complex manifolds参考文献 14被引用数 6

ひとこと要約

本稿は、障害 bundle データの洗練された枠組みと指数的減衰推定を用いて、ラグランジュ部分多様体上に境界を持つ擬全純ディスクのモジュライ空間に、角を持つクランシス構造を構成する。単一のモジュライ空間に対して標準的なクランシス構造を確立し、シンプレクティックトポロジーにおける仮想基本サイクルの基礎的ツールを提供する。特に、オープン・グロモフ＝ウィッテン理論の文脈において重要である。

ABSTRACT

This is the first of two articles in which we provide detailed and self-contained account of the construction of a system of Kuranishi structures on the moduli spaces of pseudo holomorphic disks, using the exponential decay estimate given in [FOOO7]. This article completes the construction of a Kuranishi structure of a single moduli space. This article is an improved version of [FOOO4, Part 4] and its mathematical content is taken from our earlier writing [FOn,FOOO2,FOOO4,FOOO7]. The version 2 contains a correction of typological errors in the statement of Lemma 10.11 and the statement of Proposition 10.4. The proof of them are not changed. (Note these places were written in the same way as version 1 in the version published in Surveys in Differential Geometry.)

研究の動機と目的

• ラグランジュ部分多様体上に境界を持つ擬全純ディスクのモジュライ空間に、詳細かつ自己完結的なクランシス構造の構成を提供すること。
• 障害 bundle データによるクランシス構造の構成に必要な十分条件を明確にし、そのデータとクランシス構造との間の標準的関係を導入すること。
• 有限次元還元と局所横断的カットのプロセスの順序を再編することで、証明の枠組みを単純化し、明快さと技術的頑健性を向上させること。
• 第二部のシリーズの基盤を築くこと。第二部では、木構造的なモジュライ空間族全体にわたる、互換性を持つクランシス構造の体系を構築する。

提案手法

• 定義 5.1 で「障害 bundle データ」の概念を導入し、クランシス構造を体系的に定義する方法を提供する。
• FOOO7 からの指数的減衰推定を用いて、モジュライ空間内のノード的または退化した構成における解の振る舞いを制御する。
• 構成の順序を再編する：まず局所横断的カットを行い、その後に修正されたコーシー・リーマン方程式を解く。これは以前の研究で用いられた順序とは逆である。
• 座標変換の構成と整合性の証明を簡素化するために、「アンビエント集合」を用いる。
• 定理 7.1 で、障害 bundle データから標準的なクランシス構造を定義し、同型変換の下での一貫性と不変性を保証する。
• 局所自明化およびパrametrization データを用いて、滑らかな座標変換を持つクランシスチャートの体系を確立し、整合性を保証する。

実験結果

リサーチクエスチョン

• RQ1 擬全純ディスクのモジュライ空間にクランシス構造を構成するために、障害空間の族がどのような条件下で使用可能となるか。
• RQ2 有限次元還元と局所横断的カットの操作順序が、クランシス構造の構成と単純化にどのように影響を与えるか。
• RQ3 指数的減衰推定は、モジュライ空間およびそのクランシス構造の正則性とコンパクト性を保証するために果たす役割は何か。
• RQ4 ドメイン曲線の異なる退化において、クランシス構造の体系がどのようにして互換性を持たせられるか。
• RQ5 アンビエント集合の使用が、クランシス構造における座標変換の構成とその整合性の証明をどのように簡素化するか。

主な発見

• ラグランジュ部分多様体上に境界を持つ擬全純ディスクのモジュライ空間 $\mathcal{M}_{k+1,\ell}(X,L,J;\beta)$ は、角を持つクランシス構造を有する（定理 1.1）。
• 障害 bundle データ（定義 5.1）は、クランシス構造を構成するための標準的かつ十分な条件を提供し、そのようなデータは存在する（定理 11.1）。
• 内部のマークド点の置換および拡張された自己同型の作用の下で、構成は不変である。
• 有限次元還元と局所横断的カットの順序の再編は、より明確で単純化された証明構造をもたらす。
• アンビエント集合の使用により、座標変換の構成とその整合性の証明がより洗練された形で可能になる。
• クランシス構造は、局所自明化データの選択に依存せず、モジュライ空間内の基点に関して滑らかに依存する。