[論文レビュー] Kuranishi atlases with trivial isotropy - the 2013 state of affairs

Dusa McDuff, Katrin Wehrheim|arXiv (Cornell University)|Aug 7, 2012

Geometric and Algebraic Topology参考文献 13被引用数 4

ひとこと要約

本稿は、非自明な回転対称性を有さないKuranishiアトラスを用いて、シンプレクティック位相における仮想基本クラスの構成のためのきめ細かな枠組みを確立し、ホロモルフィックな球面のモジュライ空間における微分可能性および位相的問題を解決する。tameで加法的な弱Kuranishiアトラスを導入し、パラコンパクトハウスドルフ仮想近傍を構成することで、著者らは仮想基本サイクルがコボルディズムの下で一意的かつwell-definedであることを証明し、Gromov–Witten理論における一貫した仮想基本クラスの計算を可能にする。

ABSTRACT

Kuranishi structures were introduced to symplectic topology by Fukaya and Ono and recently refined by Joyce, in order to extract homological data from compactified moduli spaces of holomorphic maps in cases where geometric regularization approaches such as perturbations of the almost complex structure do not yield a smooth structure on the moduli space. We give a general survey of regularization techniques in symplectic topology, pointing to some general analytic issues, and discussing some specific topological issues of the Kuranishi approach. In the main body of the paper we provide an abstract framework of Kuranishi atlases which separates the analytic and topological issues. Throughout, we focus on the most fundamental issues, which are already present in applying virtual transversality techniques to moduli spaces of holomorphic spheres without nodes or nontrivial isotropy. This is the reinstated 2013 version of this survey and sample construction. A generalized version of the topological theory is now available under 'The topology of Kuranishi atlases' arxiv:1508.01844, with the survey parts and VMC construction updated in 'The fundamental class of smooth Kuranishi atlases with trivial isotropy' arxiv:1508.01560.

研究の動機と目的

• 再パrametrization作用が存在する状況においても、抽象的なホロモルフィック曲線モジュライ空間の正則化における継続的な微分可能性および位相的問題を解決すること。
• モジュライ空間に対して、well-definedで、パラコンパクトハウスドルフな仮想近傍を構成し、摂動されたゼロ集合が閉集合であることを保証すること。
• 仮想基本クラスが構成における選択に依存しないことを証明し、コボルディズムの下での一意性を確立すること。
• 非自明な回転対称性が存在しない状況において、整合性のある横断的摂動および仮想モジュライサイクルを構成するための枠組みを提供すること。
• 特に、局所的関数の芽と移行写像に関して、Kuranishi構造理論における代数的および位相的障害を明確にし、それらを解消すること。

提案手法

• 強いコサイクル条件を満たす移行データを有する基本チャートの被覆族として、自明な回転対称性を有するKuranishiアトラスを導入する。
• 足場の重複部分に沿って、積の障害空間を有する和チャートを構成し、座標変換を介して加法性および整合性を保証する。
• 座標変換における定義域集合の等しさを満たすように、弱Kuranishiアトラスをtame Kuranishiアトラスに変換するためのスリミング操作を適用する。
• Čechホモロジーにおける摂動されたゼロ集合の逆極限を用いて仮想モジュライサイクルを定義し、異なる摂動の間での整合性を保証する。
• 強く適応可能な摂動を用いたコボルディズム技術を用いて、仮想基本クラスがコボルディズムの下で不変であることを証明する。
• 仮想近傍と元のモジュライ空間との間の同相写像に依存し、ホモロジー類を転送し、一貫性を検証する。

実験結果

リサーチクエスチョン

• RQ1 再パラメータリゼーションに起因する微分可能性の問題が存在するにもかかわらず、自明な回転対称性を有するホロモルフィックな球面のモジュライ空間に対して、一貫した仮想基本クラスを構成できるか？
• RQ2 摂動されたゼロ集合が閉集合であることを保証するため、パラコンパクトハウスドルフな仮想近傍をどのように構成できるか？
• RQ3 仮想基本サイクルがアトラス構成における選択に依存しないことを保証する条件は何か？
• RQ4 加法的な弱Kuranishiアトラスの文脈において、仮想基本クラスがコボルディズムの下で一意に定まるか？
• RQ5 スリミングとtame性の性質は、移行写像における弱コサイクル条件をどのように解消するか？

主な発見

• コンパクトなシンプレクティック多様体に tame なほぼ複素構造が存在する場合、単純な J-ホロモルフィックな球面のモジュライ空間に対して、自明な回転対称性を有する滑らかなKuranishiアトラスが存在する。
• 横断性条件を満たす任意の基本チャートの組に対して、共通の足場上に積の障害空間と整合性のある座標変換を持つ和チャートを構成できる。
• 弱Kuranishiアトラスをスリミングすることで、座標変換における定義域集合が等しくなる強コサイクル条件を満たすtame Kuranishiアトラスが得られる。
• 仮想モジュライサイクルは、摂動されたゼロ集合のČechホモロジー類の逆極限としてwell-definedであり、位相的整合性が保証される。
• 仮想基本クラスはコボルディズムの下で一意的である：コボルディズムなKuranishiアトラス K^0 と K^1 に対して、[X]^{vir}_{K^0} = [X]^{vir}_{K^1} が成り立つ。
• この構成により、仮想近傍と元のモジュライ空間との間に同相写像が得られ、ホモロジー類の転送と不変性の検証が可能になる。