[論文レビュー] Seiberg-Witten vanishing theorem for $S^1$-manifolds with fixed points

Scott Baldridge|ArXiv.org|Jan 7, 2002

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

ひとこと要約

この論文は、$b_+$ が 1 より大きい任意の滑らかで、閉じており、向き付け可能な 4 次元多様体について、固定点をもつ円周作用をもつ場合、Seiberg-Witten 不変量が 0 に等しいことを証明している。軌道空間と等長的プラニングの位相的制約を用いて、非負の自己交叉を持つ本質的 2 次元球面を構成し、それらが不変量の消滅を引き起こす。この結果を応用して、このような円周作用をもつシンプレクティック 4 次元多様体は、有理型またはルールド表面でなければならないことを示した。

ABSTRACT

In this paper we show that the Seiberg--Witten invariant is zero for all smooth 4--manifolds with $b_+{>}1$ which admit circle actions that have at least one fixed point. Furthermore, we show that all symplectic 4--manifolds which admit circle actions with fixed points are rational or ruled, and thus admit a symplectic circle action.

研究の動機と目的

• 固定点をもつ円周作用をもつ 4 次元多様体の Seiberg-Witten 不変量を計算すること。
• 固定点の有無に関わらず $S^1$-多様体の不変量の分類を完成させることで、Seiberg-Witten 理論における空白を埋めること。
• 消滅定理と既知のシンプレクティック構造に関する結果を組み合わせることで、固定点をもつ円周作用をもつシンプレクティック 4 次元多様体を分類すること。
• このようなシンプレクティック多様体が必ず有理型またはルールド型であることを確立し、Audin と McDuff が開始した分類計画を完成させること。

提案手法

• Smith–Gysin 列と軌道空間 $Y$ のオルビフォールドコホモロジーを用いて、$S^1$-作用の位相を分析する。
• 固定点から境界成分へ至る弧の逆像を用いて、非負の自己交叉を持つ本質的 2 次元球面を構成する。
• 非負の平方を持つ本質的球面の存在は、Seiberg-Witten 不変量が 0 に等しいことを示す事実を適用する。
• 先行研究 [5] の一般式を用いて、$X$ の Seiberg-Witten 不変量と 3-オルビフォールド商 $Y$ の不変量を関連付ける。
• 対 $(Y, F)$ のホモロジーの長完全列を用いて、オイラー類に比例しない非自明な 1 サイクルを特定し、その逆像が本質的トーラスおよび球面を与える。
• 文献 [9] の等長的プラニング技術を用いて、局所構造を分析し、負定値交叉形式をもつケースを除外する。

実験結果

リサーチクエスチョン

• RQ1 滑らかで、閉じており、向き付け可能な 4 次元多様体が $b_+ > 1$ かつ固定点をもつ円周作用をもつ場合、Seiberg-Witten 不変量の値は何か？
• RQ2 どのシンプレクティック 4 次元多様体が固定点をもつ円周作用をもつことができ、どのような位相的制約がこれによって課されるか？
• RQ3 軌道空間からの幾何的データを用いて、固定点をもつ $S^1$-多様体の Seiberg-Witten 不変量を計算できるか？
• RQ4 $b_+ > 1$ である 4 次元多様体に固定点をもつ $S^1$-作用が存在する場合、Seiberg-Witten 不変量が 0 に等しくなる必要があるか？
• RQ5 すべての固定点をもつ円周作用をもつシンプレクティック 4 次元多様体は、必ず有理型またはルールド型であるか？

主な発見

• 滑らかで、閉じており、向き付け可能な 4 次元多様体が $b_+ > 1$ かつ少なくとも 1 つの固定点をもつ円周作用をもつ場合、Seiberg-Witten 不変量は 0 に等しい。
• 固定点をもつ円周作用をもつすべてのシンプレクティック 4 次元多様体は、有理型またはルールド型であり、したがってシンプレクティックな円周作用をもつ。
• このような多様体に非負の自己交叉を持つ本質的球面が存在することは、Seiberg-Witten 不変量が 0 に等しくなる主要な幾何的メカニズムである。
• $b_1(X) > 0$ のとき、$S^1$-作用の軌道空間 $Y$ は非自明な $H_1(Y; \mathbb{Z})$ をもつ必要がある。これはオイラー特性の公式と Smith–Gysin 列から導かれる。
• $S^1$-多様体が固定点をもち、$b_+ > 1$ である場合、$Y$ のオイラー類に比例しない 1 サイクルの逆像は、自己交叉が 0 である本質的トーラスを与える。
• $S_i$ が $n$ 個の線形独立な球面で、$S_i \bullet S_j = -\delta_{ij}$ を満たすように構成できると、$b_2(X) > n$ となる。これにより、交叉形式が負定値にはなり得ず、不変量が 0 に等しくなる。