[论文解读] 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 不变量恒为零。通过轨道空间与等变管状邻域构造，作者构建了非负自交数的本质球面，从而迫使不变量为零，并据此证明：具有此类圆作用的辛 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 不变量为零的事实。
• 利用先前工作 [5] 中的通用公式，将 $X$ 的 Seiberg-Witten 不变量与 3-轨道丛商 $Y$ 的不变量联系起来。
• 利用对 $(Y, F)$ 的同调长正合列，识别出不与欧拉类成比例的非平凡 1-循环，其原像可生成本质环面与球面。
• 运用 [9] 中的等变管状邻域技术分析局部结构，并排除具有负定交截形式的情形。

实验结果

研究问题

• RQ1 对于具有 $b_+ > 1$ 且存在不动点的光滑 4-流形，其 Seiberg-Witten 不变量的值是什么？
• RQ2 哪些辛 4-流形可以具有带不动点的圆作用，这会施加何种拓扑约束？
• RQ3 能否利用轨道空间的几何数据计算具有不动点的 $S^1$-流形的 Seiberg-Witten 不变量？
• RQ4 在 $b_+ > 1$ 的 4-流形上，若存在带不动点的 $S^1$-作用，是否必然导致 Seiberg-Witten 不变量为零？
• RQ5 所有具有圆作用与不动点的辛 4-流形是否必为有理曲面或规则曲面？

主要发现

• 所有光滑、紧致、定向的 4-流形，若满足 $b_+ > 1$ 且存在至少一个不动点的圆作用，则其 Seiberg-Witten 不变量恒为零。
• 所有具有不动点圆作用的辛 4-流形均为有理曲面或规则曲面，因此也具有辛圆作用。
• 此类流形中存在非负自交数的本质球面，是导致 Seiberg-Witten 不变量为零的关键几何机制。
• 当 $b_1(X) > 0$ 时，$S^1$-作用的轨道空间 $Y$ 必有非平凡的 $H_1(Y; \mathbb{Z})$，此结论由欧拉示性数公式与 Smith–Gysin 序列推出。
• 对于具有不动点且满足 $b_+ > 1$ 的 $S^1$-流形，若 $Y$ 中存在不与欧拉类成比例的 1-循环，其原像将生成一个自交数为零的本质环面。
• 通过构造 $n$ 个线性无关的球面 $S_i$ 满足 $S_i \bullet S_j = -\delta_{ij}$，可推出 $b_2(X) > n$，从而排除交截形式为负定的可能性，最终导致不变量为零。