[论文解读] A Surgery Formula for the Casson-Seiberg-Witten Invariant of Integral Homology $S^1 imes S^3$

Langte Ma|arXiv (Cornell University)|Sep 4, 2019

Geometric and Algebraic Topology参考文献 12被引用 4

一句话总结

本文建立了整同调 $S^1 \times S^3$ 細胞複形的 Casson-Seiberg-Witten 不變量的手術公式，通過沿嵌入環面的 Dehn 手術將經典 Casson 不變量的手術公式推廣。關鍵結果是建立了一個將環面手術所得不變量與 $T^2 \times S^2$ 手術的 Seiberg-Witten 不變量關聯起來的公式，從而實現了對具有環面固定點集的有限階微分同胚的映射環面不變量的計算。

ABSTRACT

We prove a surgery formula of the Casson-Seiberg-Witten invariant of integral homology $S^1 imes S^3$ along an embedded torus, which could either be regarded as an extension of the product formula for Seiberg-Witten invariants or a manifestation of the surgery exact triangle in $4$-dimensional Seiberg-Witten theory of homology $S^1 imes S^3$. As an application, we compute this invariant for mapping tori of $3$-manifolds under diffeomorphisms of finite order and fixed-point set being a simple closed curve. This computation generalizes the result of Lin-Ruberman-Saveliev.

研究动机与目标

• 將 Casson 不變量的手術公式推廣至具有 $S^1 \times S^3$ 同調性質的 4-流形背景下的 Casson-Seiberg-Witten 不變量。
• 在具有同調 $S^1 \times S^3$ 的 4-流形中，建立類似於手術正三角形的 Seiberg-Witten 理論公式。
• 計算具有固定點集為簡單閉曲線的有限階微分同胚下 3-流形的映射環面的 Casson-Seiberg-Witten 不變量。
• 將 Lin-Ruberman-Saveliev 對 $n$-重覆蓋的不變量的猜想推廣至非有理同調球面的情況。

提出的方法

• 推導出在嵌入環面（具有本原同調類）上進行 Dehn 手術時，Casson-Seiberg-Witten 不變量 $\lambda_{SW}(X)$ 的手術公式。
• 利用環面鄰域的框架，透過邊界環面上的 $SL(3,\mathbb{Z})$ 微分同胚定義手術係數 $(p,q)$。
• 建立恆等式 $\lambda_{SW}(X_{1,q+1}) - \lambda_{SW}(X_{1,q}) = \mathcal{SW}(X_{0,1})$，其中 $\mathcal{SW}(X_{0,1})$ 為 $T^2 \times S^2$ 在小擾動區域的 Seiberg-Witten 不變量之和。
• 將該公式應用於沿扭結 $K$ 對整同調球 $Y$ 的 $n$-重覆蓋 $Y^n$ 的映射環面 $X^n$，其單行變換階為 $n$。
• 利用 Tristram-Levine 標記數 $\operatorname{sign}^{m/n}(K)$ 和 Casson 不變量 $\lambda(Y)$ 計算 $\lambda_{SW}(X^n)$。
• 運用指標理論修正項與自旋子 Floer 同調技術，處理非有理同調球面的情形。

实验结果

研究问题

• RQ1 能否在整同調 $S^1 \times S^3$ 的設定下，為 Casson-Seiberg-Witten 不變量建立手術公式？
• RQ2 該手術公式如何將環面手術所得流形的不變量與 $T^2 \times S^2$ 手術的 Seiberg-Witten 不變量關聯起來？
• RQ3 對於具有環面固定點集的有限階微分同胚下 3-流形的映射環面，Casson-Seiberg-Witten 不變量的值為何？
• RQ4 該公式是否可將 Lin-Ruberman-Saveliev 對 $n=2$ 的猜想推廣至更高 $n$ 及非有理同調球面覆蓋的情形？

主要发现

• 手術公式 $\lambda_{SW}(X_{1,q+1}) - \lambda_{SW}(X_{1,q}) = \mathcal{SW}(X_{0,1})$ 對所有 $q \in \mathbb{Z}$ 成立，提供了透過環面手術遞推計算不變量的方法。
• 當 $X = S^1 \times Y$ 且 $Y$ 為整同調球時，該公式透過 Alexander 多項式恢復了經典 Casson 不變量的手術公式。
• 沿扭結 $K$ 的 $n$-重覆蓋 $Y^n$ 的映射環面 $X^n$ 的不變量為 $\lambda_{SW}(X^n) = -n\lambda(Y) - \frac{1}{8}\sum_{m=0}^{n-1} \operatorname{sign}^{m/n}(K)$。
• 對於 $S^3$ 中的右手三葉結、雙曲結與左手三葉結，其 6-重覆蓋映射環面的不變量 $\lambda_{SW}(X^6(K))$ 分別為 $1$、$0$ 和 $-1$。
• 該公式首次提供了具有非零一階貝蒂數生成曲面的同調 $S^1 \times S^3$ 流形的 $\lambda_{SW}$ 不變量的已知計算結果。
• 該結果與模 2 的 Rohlin 不變量一致，因為 $\lambda_{SW}(X) \mod 2$ 等於生成曲面的 Rohlin 不變量。