[論文レビュー] Quasimap Floer cohomology and varying symplectic quotients

Glen Matthew Wilson, Chris Woodward|arXiv (Cornell University)|May 4, 2011

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

ひとこと要約

この論文は、特異性や非最小のミラーポリトープを有するトーリックオルビフォールドにおける、シンプレクティック商の不動点可能性に関する未解決問題を解消するための準マップフローエルコホモロジーを導入する。特に、$ W_{\lambda,\delta} $ における臨界点の存在が、ミラーファイバーの不動点可能性を示すことに成功し、ハミルトニアン幾何学における長年のパズルを解消する。これには、特異的商における不動点可能な軌道や、シンプレクティックエリプソイドにおける不動点可能性の問題が含まれる。

ABSTRACT

We use quasimap Floer cohomology for varying symplectic quotients to resolve several puzzles regarding displaceability of toric moment fibers. For example, we (i) present a compact Hamiltonian torus action containing an {\em open} subset of non-displaceable orbits and a codimension four singular set, partly answering a question of McDuff, and (ii) determine displaceability for most of the moment fibers of a symplectic ellipsoid.

研究の動機と目的

• 特異的または非最小のシンプレクティック商におけるトーリックミラーファイバーの不動点可能性に関する未解決問題に取り組むこと。
• 特異性やミラーポリトープにおける不自然な不等式のため、標準的フローエルコホモロジーが失敗する状況において、フローエル理論的技法を拡張すること。
• さまざまなシンプレクティック商における不動点可能なラグランジュトーリックトーラスを検出するための、準マップフローエルコホモロジーを用いた体系的な枠組みを提供すること。
• 開埋め込み、商、および積の下でシンプレクティックトポロジーを反映する、準マップミラー構成の関手的性質を確立すること。

提案手法

• 論文は、ラグランジュトーラスファイバーの第一コホモロジー上にバッチ変形ポテンシャル $ W_{\lambda,\delta} $ を構成し、$ \sum_{i=1}^{N} e^{\langle v_i, b \rangle - \delta_i} q^{l_i(\lambda)} $ と定義する。ここで $ v_i $ は重み、$ l_i(\lambda) $ はミラーポリトープ上の線形関数である。
• 全般に $ G $-不変な正則ディスクを数える準マップフローエルコホモロジーを用い、商 $ X = Y//G $ における不動点可能性の障害を定義する。
• 形式的べき級数としてのシンプレクティック面積を扱うために、ユニバーサルノビコフ体 $ \Lambda $ 及びその部分環 $ \Lambda_0 $ を用いる。これにより収束性と臨界点解析が可能になる。
• ミラー空間 $ X^\vee = \mathfrak{t}^\vee \times C(\mathfrak{t}_\mathbb{Z}, \overline{\mathbb{R}})_+ \times C(\mathfrak{t}_\mathbb{Z}, \Lambda_0) \times H^1(T, \Lambda_0) $ を導入し、Landau-Ginzburgモデルを一般化したポテンシャル $ W $ を備える。
• 特に部分トーラス商に関して $ \pi_* $ の構成を用いることで、コホモロジーおよびミラーポリトープ上の引き戻しと押し出しを介した関手的性質を確立する。
• トーリックオルビフォールドの開被覆にこの枠組みを適用し、主要な洞察として、コンパクト化における非不動点ファイバーの情報が、開被覆の部分空間における非不動点ファイバーにすでに含まれていることである。

実験結果

リサーチクエスチョン

• RQ1 特異性や非フェース定義不等式を有するシンプレクティック商における、準マップフローエルコホモロジーが非不動点ミラーファイバーを検出可能か。
• RQ2 バッチ変形ポテンシャル $ W_{\lambda,\delta} $ に臨界点が存在する場合、それに対応するラグランジュトーラスファイバーが非不動点であると示せるか。
• RQ3 トーリックオルビフォールドの開埋め込み、共通部分、および商の下で、ミラーファイバーの不動点可能性特性はどのように振る舞うか。
• RQ4 コンパクトなトーリックオルビフォールドにおける非不動点集合は、準マップミラー構成を用いてその標準的開被覆から回復可能か。
• RQ5 トーリックオルビフォールドの非不動点集合は、その開被覆成分の非不動点集合の共通部分と等しいか。

主な発見

• 論文は、$ \delta \in \Lambda_0^N $ に対してバッチ変形ポテンシャル $ W_{\lambda,\delta} $ が臨界点を持つならば、ミラーファイバー $ L_\lambda $ はシンプレクティック商 $ X $ において非不動点であると証明し、不動点可能性に対する主要な障害を解消した。
• 滑らかでない商にのみ非不動点ファイバーが存在するとの仮説に反する反例を構成し、$ \mathbb{C}^2 $ のコンパクトなトーリック $ \mathbb{Z}_2 $-商が特異性にもかかわらず非不動点軌道を有することを示した。
• シンプレクティックエリプソイドに対しては、この方法により大多数のミラーファイバーの不動点可能性が特定され、トーリックシンプレクティックトポロジーにおける長年のパズルが解消された。
• 準マップミラー構成は関手的である。開埋め込み、共通部分、積、および部分トーラス商を尊重し、$ (X/T_0)^\vee $ は $ \pi_* $ を通じて $ X^\vee $ の標準的像を含む。
• 非不動点集合 $ FND(X) $ は、開埋め込み $ X_1 \to X_2 $ に対して $ FND(X_1) \supset FND(X_2) $ を満たし、$ FND(X_1 \cup X_2) \subset FND(X_1) \cap FND(X_2) $ を満たす。これは、被覆の下でシンプレクティックトポロジーと整合することを示している。
• 論文は、コンパクトなトーリックオルビフォールドにおける非不動点集合が、その開被覆から必ずしも回復可能ではないことを示したが、各開被覆がすでにグローバルな非不動点可能性の情報を含んでいることを示唆しており、ミラー双対性におけるより深い双対性の存在を示唆している。