[論文レビュー] Floer theory and flips

François Charest, Chris Woodward|arXiv (Cornell University)|Aug 7, 2015

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

ひとこと要約

本稿では、有理的シンプレクティック多様体における最小モデルプログラム（MMP）における吹き上げと逆フリップが、Floer非自明なラグランジュトーリを生成することを確立する。抗正則クラスに沿ったシンプレクティック構造の変形と、摂動された擬全純曲線によるFloerコホモロジーの解析を通じて、著者らはこのような手技が非自明なFloerコホモロジーを持つラグランジュを生成することを示し、代数的幾何におけるBondal-OrlovおよびKawamataの定理のシンプレクティック版を提供する。

ABSTRACT

We show that blow-ups or reverse flips (in the sense of the minimal model program) of rational symplectic manifolds with point centers create Floer-non-trivial Lagrangian tori. As applications, we demonstrate the existence of Hamiltonian non-displaceable Lagrangian tori in, for example, small symplectic blow-ups of compact symplectic manifolds and moduli spaces of polygons. These results are part of a conjectural description of generators for the Fukaya category of a compact symplectic manifold with a singularity-free running of the minimal model program.

研究の動機と目的

• 最小モデルプログラム（MMP）によるシンプレクティック手技を用いて、有理的シンプレクティック多様体におけるFloer非自明ラグランジュトーリを構成すること。
• MMPの遷移における、連続的層の有理的導来カテゴリの分解と、Fukayaカテゴリの予想的な分解との類似性を拡張すること。
• 摂動された擬全純曲線およびホモトピー論的技法を用いて、シンプレクティック吹き上げおよび逆フリップの下でFloerコホモロジーが非自明のまま保たれることを示すこと。
• シンプレクティックトポロジーにおけるMMPの実行を通じて、Fukayaカテゴリの生成子を体系的に特定する手法を提供すること。

提案手法

• 抗正則方向に変化するシンプレクティック形式を用いて定義される、最小モデルプログラムのシンプレクティック版を用いる。
• Floerコホモロジーを計算し、横断性とコンパクトネスを保証するために、$A_∞$-代数の理論と木構造の擬全純ディスクを応用する。
• ハミルトニアン摂動とクリーンな交差を用いて、変形下でのFloer理論的不変量の定義と安定化を行う。
• クイリットされた擬全純ディスクとマルチプリズムを用いて、Fukaya代数間の$A_∞$-準同型およびホモトピーを構成する。
• 「破れた」シンプレクティック多様体と摂動データの概念を導入し、MMPにおける崩壊と遷移をモデル化する。
• 安定化技法と無限長極限を用いて、MMP遷移に跨るFloerコホモロジーの振る舞いを分析する。

実験結果

リサーチクエスチョン

• RQ1 シンプレクティック吹き上げおよびフリップは、有理的シンプレクティック多様体において非自明なFloerコホモロジーを持つラグランジュトーリを生成できるか？
• RQ2 MMPの実行に伴い、コンパクトなシンプレクティック多様体のFukayaカテゴリは、代数的幾何における導来カテゴリの分解と類似した形でどのように分解されるか？
• RQ3 抗正則方向が、非自明なFloerコホモロジーを生成するようにシンプレクティック構造を変形するために果たす役割は何か？
• RQ4 フリップや吹き上げなどのシンプレクティック手技の下で、Floerコホモロジー不変量はどのように振る舞い、それらの不変性を支配する構造は何か？
• RQ5 トーリック空間や多角形空間におけるモーメントマップのデータやラベリングを用いて、Floer非自明トーリの位置と非自明性を予測可能か？

主な発見

• 点中心の有理的シンプレクティック多様体の吹き上げまたは逆フリップは、非自明なFloerコホモロジーを持つラグランジュトーリを生成する。
• トーリック多様体では、MMP実行中に特異点を含むモーメントマップのファイバーは、臨界時刻のわずか前における時間オフセットでFloer非自明となる。
• 多角形空間では、三角形分割された多角形の正則ラベリングが、MMP遷移下で非自明なFloerコホモロジーを持つラグランジュトーリをもたらす。
• 穴あき球面上の平坦$SU(2)$-束のモジュライ空間において、正則ラベリングにおけるGoldmanラグランジュは、緩さパラメータが十分に小さいとき非自明なFloerコホモロジーを持つ。
• Palmer-Woodwardの結果により、次のMMP遷移までの有限時間の間、Floerコホモロジーは非自明のまま保たれることが示された。
• Darbouxチャート内の標準的ラグランジュトーリは、Maurer-Cartan空間が空でないにもかかわらず、自明なFloerコホモロジーを持つが、これにより構成例の非自明性が強調される。