[論文レビュー] Seifert fibered four-manifolds with nonzero Seiberg-Witten invariant

Chen Weimin|arXiv (Cornell University)|Mar 29, 2011

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

ひとこと要約

この論文は、非ゼロのSeiberg-Witten不変量を持つSeifertファイバード4次元多様体は、その正則ファイバーのホモトピー類が基本群において無限巡回部分群を生成する必要があることを確立している。この位相的障害により、ファイバー類が無限位数を持たない限り滑らかな円作用は不可能となり、著者らは knot surgery を用いてそのような作用を破壊するが、ホモロジーおよびSeiberg-Witten不変量は保ったままである。

ABSTRACT

The main result of this paper asserts that if a Seifert fibered 4-manifold has nonzero Seiberg-Witten invariant, the homotopy class of regular fibers has infinite order. This is a nontrivial obstruction to smooth circle actions; as applications, we show how to destroy smooth circle actions on a 4-manifold by knot surgery, without changing the integral homology, intersection form, and even the Seiberg-Witten invariant. Results concerning classification of Seifert fibered complex surfaces or symplectic 4-manifolds are included. We also show that every smooth circle action on the 4-torus is smoothly conjugate to a linear action.

研究の動機と目的

• Seiberg-Witten不変量を用いた4次元多様体上の滑らかな円作用のための位相的障害を特定すること。
• 特に正則ファイバーのホモトピー類との関係において、Seifertファイバード4次元多様体が滑らかな円作用をもつための条件を特定すること。
• knot surgery を用いて、4次元多様体上の滑らかな円作用を破壊しつつ、整数ホモロジー、交差形式、およびSeiberg-Witten不変量を保ったままにする方法を示すこと。
• Seiberg-Witten不変量およびオーロイド位相を用いて、Seifertファイバード複素曲面およびシンプレクティック4次元多様体を分類すること。
• 4次元トーラス上の任意の滑らかな円作用が、線形作用と滑らかに共役であることを証明すること。

提案手法

• 3-軌道体のSeiberg-Witten不変量の非特異化公式を用い、4次元多様体上の不変量の非消滅性を、基底となる3-軌道体のそれと関連付ける。
• 基底となる3-軌道体の有限被覆を構成し、Seifertファイブレーションを3次元多様体上への円バンドルに引き上げる。
• Hurwitz準同型を適用して π₂ から H₂ への像を解析し、b₂⁺ > 1 のときその像が有限であることを示す。
• ループ定理および圧縮ディスクを用いて、正則ファイバーが有限位数である場合に矛盾を導く。
• 4次元多様体内の2次元トーラスに対して knot surgery を実行し、円柱近傍を (S³ ∖ Nd(K)) × S¹ で置き換える。
• 合成自由積構造を介して得られる基本群を解析し、手術後は中心が自明になることを示す。

実験結果

リサーチクエスチョン

• RQ1 非ゼロのSeiberg-Witten不変量を持つSeifertファイバード4次元多様体において、正則ファイバーのホモトピー類が満たすべき位相的条件は何か？
• RQ2 Seiberg-Witten不変量や整数ホモロジーを変更せずに、knot surgery を用いて4次元多様体上の滑らかな円作用を破壊することは可能か？
• RQ3 どの複素曲面またはシンプレクティック4次元多様体がSeifertファイブレーションをもつことができるか。その障害は何か？
• RQ4 基本群の中心が無限大であり、かつ非ゼロのSeiberg-Witten不変量を持つ4次元多様体が、いつSeifertファイバードであると結論づけられるか？
• RQ5 4次元トーラス上の任意の滑らかな円作用は、常に線形作用と滑らかに共役であるか？

主な発見

• 非ゼロのSeiberg-Witten不変量を持つSeifertファイバード4次元多様体において、正則ファイバーのホモトピー類は無限位数をもたなければならない。
• b₂⁺ > 1 のとき、Hurwitz準同型 π₂(X) → H₂(X) の像は有限である。
• 非トーラス的 Knot を用いた2次元トーラスへの knot surgery を施すと、得られる4次元多様体の基本群の中心は自明になるため、滑らかな円作用は存在しない。
• 元の不変量が非ゼロであり、かつ Knot のAlexander多項式が自明である限り、knot surgery 後もSeiberg-Witten不変量は非ゼロのままである。
• π₁ の中心 z(π₁) が ℤ² であり、π₂ ≠ 0 である4次元多様体がSeifertファイバードであるのは、T² × S² に微分同相である場合に限る。それ以外の場合はSeifertファイバードでない可能性がある。
• 4次元トーラス上の任意の滑らかな円作用は、滑らかに線形作用と共役である。