[論文レビュー] A symplectic Gysin sequence

Timothy Perutz|ArXiv.org|Jul 11, 2008

Geometric and Algebraic Topology参考文献 21被引用数 19

ひとこと要約

本稿は、球面バンドルを備えたコイズォトロピック部分多様体に対して、擬全純クィルトを用いてシンプレクティックフローリングホモロジーにおけるシンプレクティック・ギジン列を確立する。これは、ホモロジーにおける古典的ギジン列に類似した長ーい完全列を構成する。主な結果は、単調性およびマスロフ指数の条件の下で、N 上のシンプレクティック自己同型写像 μ のフローリングホモロジーと、球面バンドルに関連するラグランジュ対応のねじれフローリングホモロジーを結ぶ自然な完全三角形である。

ABSTRACT

We use the theory of pseudo-holomorphic quilts to establish a counterpart, in symplectic Floer homology, to the Gysin sequence for the homology of a sphere-bundle. In a motivating class of examples, this "symplectic Gysin sequence" is precisely analogous to an exact sequence describing the behaviour of Seiberg-Witten monopole Floer homology for 3-manifolds under connected sum.

研究の動機と目的

• 球面バンドルに対して、シンプレクティックフローリングホモロジーを用いて、ホモロジーにおける古典的ギジン列のシンプレクティック版を構成すること。
• 連結和操作の下で、シンプレクティックフローリングホモロジーとセイバーグ・ワトソンモノポール・フローリングホモロジーの類似性を拡張すること。
• 球面にファイバーを持つコイズォトロピック部分多様体におけるラグランジュ対応の振る舞いを理解するためのフローリング理論的枠組みを提供すること。
• シンプレクティック自己同型写像 μ の固定点フローリングホモロジーと、関連するラグランジュ対応のねじれフローリングホモロジーを結ぶ長ーい完全列を確立すること。
• この列が、平坦接続のモジュライ空間およびシンプレクティックインスタントン理論およびヒーガード・フローリング理論の類似を介して、3次元多様体トポロジーに与える影響を調査すること。

提案手法

• ラグランジュ対応のフローリングホモロジー群を定義・計算するために、擬全純クィルト理論を用いる。
• M の球面にファイバーを持つコイズォトロピック部分多様体 V に対して、射影 ρ: V → N のグラフとして、M₋ × N 内のラグランジュ対応 $\widehat{V} \subset M_{-} \times N$ を構成する。
• 単調性およびマスロフ指数の条件を課す：$m_{\widehat{V}}^{\min} \geq k+2$ により、列の定義可能性および完全性を保証する。
• フローリングホモロジー群におけるノヴィコフ係数を扱うために、普遍ノヴィコフ環 $\Lambda_R$ を用いる。
• 対象 $\operatorname{HF}(\mu)$, $\operatorname{HF}(\mu)\langle e(V)\rangle$, および $\operatorname{HF}(\widehat{V}, (\mathrm{id}_{M_-} \times \mu)\widehat{V})$ を含む完全三角形として、シンプレクティック・ギジン列を導出する。
• Euler類 $e(V)$ を表すグローバル・アングル・チェーン（例：切断 S）を用い、完全三角形におけるカップ積作用を実現する。

実験結果

リサーチクエスチョン

• RQ1 球面にファイバーを持つコイズォトロピック部分多様体に対して、フローリングホモロジーにおけるギジン列のシンプレクティック類似を構成できるか？
• RQ2 球面バンドルに関連するラグランジュ対応のフローリングホモロジーは、底多様体上のシンプレクティック自己同型写像の固定点フローリングホモロジーとどのように関係するか？
• RQ3 シンプレクティック・ギジン列は、連結和操作の下で、セイバーグ・ワトソンモノポール・フローリングホモロジーの振る舞いをどの程度模倣するか？
• RQ4 Euler類はシンプレクティック・ギジン列において果たす役割は何か？また、平坦接続のモジュライ空間の文脈で、幾何学的にどのように実現されるか？
• RQ5 シンプレクティック・ギジン列は、内部連結和の下でのインスタントン・フローリングホモロジーの振る舞いをモデル化するために用いることができるか？

主な発見

• 単調性および $m_{\widehat{V}}^{\min} \geq k+2$ の仮定の下で、シンプレクティック・ギジン列は $\operatorname{HF}(\mu)$, $\operatorname{HF}(\mu)\langle e(V)\rangle$, および $\operatorname{HF}(\widehat{V}, (\mathrm{id}_{M_-} \times \mu)\widehat{V})$ を含む自然な完全三角形を形成する。
• 底多様体 N が閉じており、$V \to N$ が $F \simeq S^k$ を持つ球面バンドルである場合、この列はホモロジーにおける古典的ギジン列と同型である。
• 穴あき曲面における平坦 SU(2) 接続のモジュライ空間の例では、切断の選択のもとで、すべての $\phi \in \operatorname{Diff}^+(Σ)$ に対して $\operatorname{HF}_{*}(\widehat{V}, \widehat{V}) \cong \operatorname{HF}_{*}(\theta(\phi)) \oplus \operatorname{HF}_{*}(\theta(\phi))[3]$ が得られる。
• g ≥ 2 の場合、ねじれキャラクター多様体 $M_g$ において、最小マスロフ指数条件 $m_{\widehat{V}}^{\min} = 4$ は適用可能性の境界線上にあるが、列は依然として成立する。
• Euler類 $e(V)$ を表すグローバル・アングル・チェーンは、$\rho: V \to M_{g-1}$ の $S^3$-バンドルの切断 S として実現され、完全三角形におけるカップ積作用を誘導する。
• この結果は、1ハンドル付加の下でのヘガード・フローリングホモロジーの既知の振る舞いと整合しており、シンプレクティック理論と3次元多様体フローリング理論の間のより深い類似関係を示唆している。