[論文レビュー] 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 不変量に対する手術公式を確立し、埋め込まれたトーラスに沿ったデーン手術を通じて、古典的な 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.

研究の動機と目的

• 整数ホモロジー $S^1 \times S^3$ を持つ 4 次元多様体の文脈において、Casson 不変量の手術公式を Casson-Seiberg-Witten 不変量へ拡張すること。
• ホモロジーが $S^1 \times S^3$ である多様体に対して、4 次元 Seiberg-Witten 理論における手術正確三角形に類似した公式を確立すること。
• 固定点集合が単一の閉曲線である有限位数微分同相写像による 3 次元多様体のマッピングトーラスの Casson-Seiberg-Witten 不変量を計算すること。
• Lin-Ruberman-Saveliev の $n$ 重被覆に関する不変量に関する予想を、有理ホモロジー球面でない場合へ一般化すること。

提案手法

• 原始的ホモロジー類を持つ埋め込みトーラスに沿ったデーン手術における 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 不変量の和である。
• この公式を、整数ホモロジー球面 $Y$ に沿った knot $K$ に沿った $n$ 重被覆 $Y^n$ のマッピングトーラス $X^n$ に適用する。
• $\lambda_{SW}(X^n)$ を Tristram-Levine の符号数 $\operatorname{sign}^{m/n}(K)$ と Casson 不変量 $\lambda(Y)$ を用いて計算する。
• 非有理ホモロジー球面の場合に対応するため、インデックス理論的補正項とモノポールフローホモロジー技法を用いる。

実験結果

リサーチクエスチョン

• RQ1 整数ホモロジー $S^1 \times S^3$ の文脈において、Casson-Seiberg-Witten 不変量の手術公式を定式化することは可能か？
• RQ2 手術公式は、トーラスに沿った手術で得られる多様体の不変量と、$T^2 \times S^2$ 手術の Seiberg-Witten 不変量とどのように関係するか？
• RQ3 有限位数微分同相写像による 3 次元多様体のマッピングトーラスの Casson-Seiberg-Witten 不変量の値は何か、ただし固定点集合がトーラス上にあるものとする。
• RQ4 $n=2$ の場合に Lin-Ruberman-Saveliev の予想を一般化し、より高い $n$ および有理ホモロジー球面でない被覆の場合に適用可能か？

主な発見

• すべての $q \in \mathbb{Z}$ に対して、手術公式 $\lambda_{SW}(X_{1,q+1}) - \lambda_{SW}(X_{1,q}) = \mathcal{SW}(X_{0,1})$ が成り立ち、トーラス手術における不変量の再帰的計算手法を提供する。
• $Y$ が整数ホモロジー球面である $X = S^1 \times Y$ の場合、この公式はアレクサンダー多項式を通じて古典的な Casson 不変量の手術公式を回復する。
• $n$ 重被覆 $Y^n$ に沿った knot $K$ に沿ったマッピングトーラス $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$ に等しい。
• この公式は、1 階ベッチ数が 0 でない生成超曲面を持つ、ホモロジー $S^1 \times S^3$ 多様体に対する $\lambda_{SW}$ の最初の既知の計算を提供する。
• 結果は Rohlin 不変量 mod 2 と整合しており、$\lambda_{SW}(X) \mod 2$ は生成超曲面の Rohlin 不変量に等しい。