[論文レビュー] Holomorphic orbidiscs and Lagrangian Floer cohomology of symplectic toric orbifolds

Cheol-Hyun Cho, Mainak Poddar|arXiv (Cornell University)|Jun 18, 2012

Geometric and Algebraic Topology参考文献 22被引用数 20

ひとこと要約

本稿は、シンプレクティックトーリックオルビフォールドにおけるラグランジュ・フローアコホモロジーを、内部にオルビフォールド特異点を持つ J-正則ディスク（オルビディスク）を分類することで拡張する。また、ねじれセクターを用いたバッチデフォーメーションを導入し、バッチデフォームド・フローア理論を確立する。特異点を除去したマスロフ指数を導入し、ポテンシャル関数を備えたフィルター付き A∞-代数を構成する。さらに、オルビフォールドサイクルによるバッチデフォーメーションが、剛体なハミルトニアン力学を明らかにし、Fukaya-Oh-Ohta-Ono理論をオルビフォールド設定に一般化する。具体的な例として重み付き射影空間やティアドロップ・オルビフォールドを含む。

ABSTRACT

We develop Floer theory of Lagrangian torus fibers in compact symplectic toric orbifolds. We first classify holomorphic orbi-discs with boundary on Lagrangian torus fibers. We show that there exists a class of basic discs such that we have one-to-one correspondences between a) smooth basic discs and facets of the moment polytope, and b) between basic orbi-discs and twisted sectors of the toric orbifold. We show that there is a smooth Lagrangian Floer theory of these torus fibers, which has a bulk-deformation by fundamental classes of twisted sectors of the toric orbifold. We show by several examples that such bulk-deformation can be used to illustrate the very rigid Hamiltonian geometry of orbifolds. We define its potential and bulk-deformed potential, and develop the notion of leading order potential. We study leading term equations analogous to the case of toric manifolds by Fukaya, Oh, Ohta and Ono.

研究の動機と目的

• コンパクトなシンプレクティックトーリックオルビフォールドにおけるラグランジュ・トーラス・ファイバーに対するラグランジュ・フローアコホモロジー理論を構築すること。
• これらのファイバー上に境界を持つホロモーフィック・オルビディスクを分類し、滑らかさとオルビフォールドの種類を区別すること。
• ねじれセクターの基本的クラスを用いてバッチデフォームド・フローアコホモロジーを構成し、剛体なハミルトニアン力学を捉えること。
• トーリック多様体におけるポテンシャル関数と主要項方程式をオルビフォールド設定に一般化すること。
• 重み付き射影空間やティアドロップ・オルビフォールドを含む具体的な例を通じて理論を提示すること。

提案手法

• 滑らかな基本的ディスクとミラーポリトープの面の間の一対一対応を確立することで、ホロモーフィック・オルビディスクを分類する。
• 基本的オルビディスクとトーリックオルビフォールドのねじれセクターの間の一対一対応を確立する。
• オルビフォールド・ディスクのための特異点を除去したマスロフ指数を定義し、それとチェーン＝ヴェイのマスロフ指数を関連付ける。
• J-正則ディスクとストリップを用いて、フリードホルム正則性をクルンシーア構造を用いて検証することで、ラグランジュ部分多様体のためのフィルター付き A∞-代数を構成する。
• ねじれセクターの基本的サイクルを用いてフローアコホモロジーのバッチデフォーメーションを導入し、バッチ・オルビポテンシャルを導く。
• 主要項ポテンシャルを定義し、Fukaya-Oh-Ohta-Onoのトーリック多様体の場合と類似する主要項方程式を導出する。

実験結果

リサーチクエスチョン

• RQ1 シンプレクティックトーリックオルビフォールドにおけるホロモーフィック・オルビディスクはどのように分類可能であり、それらの幾何学的・位相的意義は何か？
• RQ2 オルビフォールド J-正則ディスクの文脈において、特異点を除去したマスロフ指数は果たす役割は何か？
• RQ3 ねじれセクターのサイクルによるバッチデフォーメーションは、オルビフォールドにおけるラグランジュ・トーラス・ファイバーのフローアコホモロジーにどのように影響を与えるか？
• RQ4 バッチ・オルビポテンシャルは、シンプレクティックトーリックオルビフォールドの剛体なハミルトニアン幾何をどのように捉えているか？
• RQ5 オルビフォールド設定における主要項方程式は、トーリック多様体の場合のそれらとどのように比較できるか？

主な発見

• 滑らかな基本的ディスクとミラーポリトープの面の間の一対一対応が確立され、多様体の場合に一般化される。
• 基本的オルビディスクとトーリックオルビフォールドのねじれセクターの間の一対一対応が得られ、オルビフォールドのグローバル構造が明らかになる。
• 滑らかなラグランジュ・フローアコホモロジーが適切に定義され、ねじれセクターの基本的クラスを用いたバッチデフォーメーションを許容することが示された。
• バッチ・オルビポテンシャルが明示的に構成され、その主要項方程式が導出され、トーリック多様体で観察される構造を模倣している。
• ティアドロップ・オルビフォールドや重み付き射影空間などの例は、バッチデフォーメーションがオルビフォールドにおける非自明なハミルトニアン剛体性を検出できることを示している。
• 例として $\mathbb{P}(1,a,a)$, $\mathbb{P}(1,1,a)$, および $\mathbb{P}(1,3,5)$ における明示的計算を通じて、理論が検証され、特定の状況でバッチ・フローアコホモロジーが非自明であることが示された。