[论文解读] 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-流形，其正则纤维的同伦类必生成基本群中的无限循环子群。这一拓扑障碍阻止了光滑圆作用的存在，除非纤维类具有无限阶。作者利用结手术在不改变同调与 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-流形在何种条件下可支持光滑圆作用，特别是与正则纤维同伦类的关系。
• 证明可通过结手术破坏 4-流形上的光滑圆作用，同时保持整同调、交形式与 Seiberg-Witten 不变量不变。
• 利用 Seiberg-Witten 不变量与轨道丛拓扑对 Seifert 纤维复曲面与辛 4-流形进行分类。
• 证明四维环面上的每个光滑圆作用均微分共轭于线性作用。

提出的方法

• 利用 3-轨道丛的 Seiberg-Witten 不变量的去奇异化公式，将 4-流形上不变量的非零性与底 3-轨道丛联系起来。
• 构造底 3-轨道丛的有限覆盖，将 Seifert 纤维化提升为 3-流形上的圆丛。
• 应用 Hurwitz 同态分析 π₂ 到 H₂ 的像，证明当 b₂⁺ > 1 时该像是有限的。
• 利用基本定理与压缩圆盘，当正则纤维具有有限阶时导出矛盾。
• 在 4-流形中的 2-环面执行结手术，将一个邻域替换为 (S³ ∖ Nd(K)) × S¹。
• 通过结合自由积结构分析所得基本群，证明手术后中心变为平凡。

实验结果

研究问题

• RQ1 具有非零 Seiberg-Witten 不变量的 Seifert 纤维 4-流形中，正则纤维的同伦类必须满足何种拓扑条件？
• RQ2 能否通过结手术在不改变 Seiberg-Witten 不变量或整同调的前提下，破坏 4-流形上的光滑圆作用？
• RQ3 哪些复曲面或辛 4-流形可 admits Seifert 纤维化？其障碍是什么？
• RQ4 在基本群具有无限中心且 Seiberg-Witten 不变量非零的条件下，4-流形在何种情况下必为 Seifert 纤维化？
• RQ5 四维环面上的每个光滑圆作用是否均微分共轭于线性作用？

主要发现

• 具有非零 Seiberg-Witten 不变量的 Seifert 纤维 4-流形中，正则纤维的同伦类必须具有无限阶。
• 若 b₂⁺ > 1，则 Hurwitz 同态 π₂(X) → H₂(X) 的像是有限的。
• 对非环面结的 2-环面执行结手术，可得到基本群中心为平凡的 4-流形，因此不存在光滑圆作用。
• 只要原始不变量非零且结的 Alexander 多项式为平凡，则结手术后 Seiberg-Witten 不变量仍保持非零。
• 若 4-流形满足 z(π₁) = ℤ² 且 π₂ ≠ 0，则其为 Seifert 纤维化当且仅当微分同胚于 T² × S²；否则可能并非 Seifert 纤维化。
• 四维环面上的每个光滑圆作用均微分共轭于线性作用。