[논문 리뷰] A Surgery Formula for the Casson-Seiberg-Witten Invariant of Integral Homology $S^1 imes S^3$

Langte Ma|arXiv (Cornell University)|2019. 09. 04.

Geometric and Algebraic Topology참고 문헌 12인용 수 4

한 줄 요약

이 논문은 정수호모로지 $S^1 \times S^3$ 다양체의 캐슨-세이버그-위튼 불변량에 대한 수술 공식을 수립한다. 이는 포함된 토러스를 따라 디엔 수술을 통해 고전적인 캐슨 불변량 수술 공식을 확장한 것으로, 토러스 수술에 의한 불변량과 $T^2 \times S^2$ 수술의 세이버그-위튼 불변량 사이의 관계를 나타내는 공식을 제공함으로써, 토러스 고정점 집합을 가진 유한순서 미오모르피즘의 매핑 토러스에 대한 불변량 계산을 가능하게 한다.

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차원 다양체의 맥락에서 캐슨 불변량의 수술 공식을 캐슨-세이버그-위튼 불변량으로 확장하는 것.
• 호모로지가 $S^1 \times S^3$인 다양체에 대해 4차원 세이버그-위튼 이론에서 수술 정확삼각형 유사 공식을 수립하는 것.
• 토러스 고정점 집합이 단순한 닫힌 곡선인 유한순서 미오모르피즘에 대한 3차원 다양체의 매핑 토러스에 대한 캐슨-세이버그-위튼 불변량을 계산하는 것.
• 라인-루버만-사벨리에프의 $n$중 분할 코일에 대한 불변량에 대한 추측을 유리 호모로지 구가 아닌 경우로 일반화하는 것.

제안 방법

• 기본 호모로지 클래스를 가진 포함된 토러스를 따라 디엔 수술을 시행할 때 캐슨-세이버그-위튼 불변량 $\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$의 세이버그-위튼 불변량의 합이다.
• 이 공식을 $Y^n$ 이 정수호모로지 3차원 구 $Y$ 에서 뭉치는 곡선 $K$ 를 따라 $n$중 분할 코일인 $X^n$ 의 매핑 토러스에 적용한다.
• $\lambda_{SW}(X^n)$ 을 트리스트램-레빈 기호 $\operatorname{sign}^{m/n}(K)$ 와 캐슨 불변량 $\lambda(Y)$ 를 사용하여 계산한다.
• 비유리 호모로지 구가 아닌 경우를 다루기 위해 지표 이론 보정 항과 모노폴로 흐름 호모로지 기법을 활용한다.

실험 결과

연구 질문

• RQ1 정수호모로지 $S^1 \times S^3$ 맥락에서 캐슨-세이버그-위튼 불변량에 대한 수술 공식을 구성할 수 있는가?
• RQ2 수술 공식은 토러스 수술로 얻어진 다양체의 불변량과 $T^2 \times S^2$ 수술의 세이버그-위튼 불변량 사이에 어떤 관계를 맺는가?
• RQ3 토러스 고정점 집합을 가진 유한순서 미오모르피즘에 대한 3차원 다양체의 매핑 토러스에 대한 캐슨-세이버그-위튼 불변량의 값은 무엇인가?
• RQ4 공식은 $n=2$ 인 경우에 대해 라인-루버만-사벨리에프의 추측을 고려하여 더 높은 $n$ 및 비유리 호모로지 구 분할 코일로 일반화되는가?

주요 결과

• 모든 $q \in \mathbb{Z}$ 에 대해 수술 공식 $\lambda_{SW}(X_{1,q+1}) - \lambda_{SW}(X_{1,q}) = \mathcal{SW}(X_{0,1})$ 이 성립하며, 이는 토러스 수술에 따른 불변량을 재귀적으로 계산할 수 있는 방법을 제공한다.
• 만일 $X = S^1 \times Y$ 이고 $Y$ 가 정수호모로지 3차원 구라면, 이 공식은 앨리오크산 다항식을 통해 고전적인 캐슨 불변량 수술 공식을 복원한다.
• 곡선 $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$ 이다.
• 이 공식은 첫 번째로 제1베티 수가 0이 아닌 생성 곡면을 가진 호모로지 $S^1 \times S^3$ 다양체에 대한 $\lambda_{SW}$ 의 계산을 제공한다.
• 결과는 로헬린 불변량 모od 2 와 일치하며, $\lambda_{SW}(X) \mod 2$ 는 생성 곡면의 로헬린 불변량과 같다.