[論文レビュー] Braids and symplectic four-manifolds with abelian fundamental group

Paul Seidel|arXiv (Cornell University)|Feb 14, 2002

Geometric and Algebraic Topology参考文献 9被引用数 11

ひとこと要約

本稿では、アーベル基本群をもつ4次元多様体に対する非ハミルトニアンフローhomologyを導入し、braidedな手術構成からブレードフローhomologyの全次元が回復されることを示している。主な結果として、ブレードフローhomologyの全次元が、得られる4次元多様体のシンプレクティック不変量であることが示され、古典的不変量を超える可能性を示唆している。

ABSTRACT

We explain how a version of Floer homology can be used as an invariant of symplectic manifolds with $b_1>0$. As a concrete example, we look at four-manifolds produced from braids by a surgery construction. The outcome shows that the invariant is nontrivial; however, it is an open question whether it is stronger than the known ones.

研究の動機と目的

• 第一ベッチ数が非自明な多様体に対する非ハミルトニアンフローhomologyを新たなシンプレクティック不変量として探求すること。
• この不変量が、グロモフ＝ウィトテン理論などの既知の不変量よりも、より細かいシンプレクティック構造を検出できるかどうかを調査すること。
• ブレードからの手術構成を用いて、非ハミルトニアンフローhomologyの有用性を示すこと。
• ブレードフローhomologyの全次元が、得られる4次元多様体のシンプレクティック不変量であることを示すこと。

提案手法

• d本のストランドからなるフレーム付き球面的トランジティブブレードを用いて、手術手続きによりシンプレクティック4次元多様体を構成する。
• b1 > 0 を満たす多様体上のシンプレクティック自己同型写像に対して、ねじれたループ空間上の作用関数を用いて非ハミルトニアンフローhomologyを定義する。
• フロー理論におけるメイヤー＝ビートリス論法を用いて、ゴンプフ和におけるフローhomologyの振る舞いを分析する。
• ホモロジー類の位相的制約により、特定の部分（M1∖H1）内の固定点のみが関連するホモロジー和成分に寄与することを活用する。
• HF*(φa;c) と HF*(φ−a;−c) の双対性を適用して、すべてのねじれクラスにわたる全次元を計算する。
• スケーリングを適用した際、シンプレクティック類の変形に対して全次元が不変であることを示し、不変性を示す。

実験結果

リサーチクエスチョン

• RQ1 非ハミルトニアンフローhomologyは、グロモフ＝ウィトテン不変量や古典的位相論では捉えきれないシンプレクティック構造を検出できるか？
• RQ2 ブレードフローhomologyの全次元は、ブレードから構成された4次元多様体のシンプレクティック不変量か？
• RQ3 シンプレクティック類のシンプレクティック変形において、非ハミルトニアンフローhomologyはどのように振る舞うか？
• RQ4 この不変量は、ブレードの完全なフローhomologyを回復するのか、それとも全次元のみか？
• RQ5 この構成により、微分同相ではあるがシンプレクティック同相でない構造を区別できるか？

主な発見

• シンプレクティック4次元多様体 M^β の非ハミルトニアンフローhomology は、クラス [l2] に対して HF*(φa1;c) ≅ HF*(β) ⊗Λ H*(T²;Λ) と分解され、他の非ゼロのねじれクラス c に対しては消える。
• H¹(M^β;ℤ) のすべての生成子 a および非ゼロのねじれクラス c に対して、HF*(φa;c) の直和の全次元は 8·dim(HF*(β)) に等しい。
• この全次元は、シンプレクティック類および基底の選び方に依存しないため、M^β のシンプレクティック不変量であることが示された。
• コホモロジー類 a がそれに応じて再スケーリングされない限り、この不変量はシンプレクティック類のシンプレクティック変形に対して不変ではない。
• この構成により、c1² = 0 かつ c2 = 48 を満たす4次元多様体が得られ、−d·c1 は、自明な正規束を持つ6d−2個のシンプレクティックトーラスで表される。
• M^β の基本群は ℤ × ℤ/d であり、普遍被覆のホモロジーおよび交差形式は、被覆の同相型を決定する可能性があるが、まだ計算されていない。