[논문 리뷰] Seiberg-Witten invariants and surface singularities III. Splicings and cyclic covers

András Némethi, Liviu I. Nicolaescu|ArXiv.org|2002. 07. 02.

Geometric and Algebraic Topology참고 문헌 19인용 수 5

한 줄 요약

이 논문은 형태 $g(x,y,z) = f(x,y) + z^n$의 스텐션 특이점에 대해 위상수학적 및 해석적 불변량을 연결하는 추측을 검증한다. Casson-Walker 불변량과 부호 보정된 Reidemeister-Turaev 토포로지의 스플리싱 공식을 사용하여, $M$의 캔디널 $σ_{\text{can}}$ 스피너 $\mathrm{spin}^c$ 구조와 관련된 수정된 Seiberg-Witten 불변량이 $-\sigma(F)/8$와 같음을 증명한다. 여기서 $\sigma(F)$는 $g$의 Milnor 면의 지표이다. 이는 이러한 특이점에 대해 기하적 종수의 위상수학적 불변성을 확립한다.

ABSTRACT

We verify the conjecture formulated in math.AG/0111298 for suspension singularities of type $g(x,y,z)= f(x,y)+z^n$, where $f$ is an irreducible plane curve singularity. More precisely, we prove that the modified Seiberg-Witten invariant of the link $M$ of $g$, associated with the canonical $spin^c$ structure, equals $-σ(F)/8$, where $σ(F)$ is the signature of the Milnor fiber of $g$. In order to do this, we prove general splicing formulae for the Casson-Walker invariant and for the sign refined Reidemeister-Turaev torsion (in particular, for the modified Seiberg-Witten invariant too). These provide results for some cyclic covers as well. As a by-product, we compute all the relevant invariants of $M$ in terms of the Newton pairs of $f$ and the integer $n$.

연구 동기 및 목표

• 스텐션 특이점의 링크에 대한 수정된 Seiberg-Witten 불변량이 그 Milnor 면의 지표와 연결된 추측을 검증하기.
• Casson-Walker 불변량과 부호 보정된 Reidemeister-Turaev 토포로지에 대한 일반적인 스플리싱 공식을 유도하고, 순환 피복에 대해서도 적용 가능하도록 함.
• 평면 곡선 특이점 $f$의 뉴턴 쌍과 정수 $n$을 이용해 $g(x,y,z) = f(x,y) + z^n$의 링크 $M$의 위상수학적 불변량을 계산하기.
• 이러한 특이점의 기하적 종수가 위상수학적임을 입증하기, 즉 링크의 위상구조에 의해 완전히 결정됨을 보여주기.

제안 방법

• 플러밍 그래프와 $\mathbb{Q}$-호모로지 구조를 사용하여 Casson-Walker 불변량과 부호 보정된 Reidemeister-Turaev 토포로지에 대한 일반적인 스플리싱 공식을 유도한다.
• 이 공식들을 스텐션 특이점에서 유도된 3차원 다면체의 순환 피복에 적용한다.
• 해결도표에 대한 귀납적 기법을 사용하여 $h_k$와 $d_k$를 포함하는 재귀 관계를 통해 수정된 Seiberg-Walker 불변량 $\mathbf{sw}^0_M(\sigma_{\text{can}})$을 계산한다.
• 알려진 결과 [31]과 [29]에 기반하여, 검증을 각 개별 Seifert 다발 공간 $\Sigma(p_k, a_k, n/d_k)$로 단순화한다.
• 식 $\mathcal{T}_{M,\sigma_{\text{can}}}(1) = \text{부호 보정된 토포로지}$를 사용하고, 이를 $\mathbf{sw}^0 = \mathcal{T} - \lambda$를 통해 수정된 Seiberg-Walker 불변량과 연결한다.
• 식 $\mathbf{sw}^0_M(\sigma_{\text{can}}) = \sum_{k=1}^s d_k \cdot \mathbf{sw}^0_{\Sigma(p_k,a_k,n/d_k)}(\sigma_{\text{can}})$를 사용하여 문제를 기본 사례로 단순화한다.

실험 결과

연구 질문

• RQ1 스텐션 특이점 $g(x,y,z) = f(x,y) + z^n$의 링크에 대한 수정된 Seiberg-Walker 불변량이 $-\sigma(F)/8$와 같은가, 여기서 $\sigma(F)$는 $g$의 Milnor 면의 지표인가?
• RQ2 Casson-Walker 불변량과 부호 보정된 Reidemeister-Turaev 토포로지는 $\mathbb{Q}$-호모로지 구조에 대해 스플리싱 공식을 통해 계산될 수 있는가?
• RQ3 유리 호모로지 구조 링크를 가진 스텐션 특이점의 기하적 종수는 위상수학적 불변량인가?
• RQ4 특이점 $f$의 뉴턴 쌍과 지수 $n$으로부터 링크 $M$의 불변량을 명시적으로 계산할 수 있는가?
• RQ5 이러한 특이점에서 유도된 3차원 다면체의 순환 피복에 대해 $\mathbf{sw}^0$의 스플리싱 공식이 성립하는가?

주요 결과

• 스텐션 특이점 $g(x,y,z) = f(x,y) + z^n$의 링크 $M$에 대한 수정된 Seiberg-Walker 불변량은 $-\mathbf{sw}^0_M(\sigma_{\text{can}}) = \sigma(F)/8$를 만족한다. 여기서 $\sigma(F)$는 $g$의 Milnor 면의 지표이다.
• 특이점 $\{g=0\}$의 기하적 종수 $p_g$는 위상수학적이며, $p_g = \mathbf{sw}^0_M(\sigma_{\text{can}}) - (K^2 + \#\mathcal{V})/8$로 주어진다. 여기서 $K^2 + \#\mathcal{V}$는 플러밍 그래프의 불변량이다.
• 수정된 Seiberg-Walker 불변량은 스플리싱 공식을 만족한다: $\mathbf{sw}^0_{M_{(s)}}(\sigma_{\text{can}}) = h_s \cdot \mathbf{sw}^0_{M_{(s-1)}}(\sigma_{\text{can}}) + \mathbf{sw}^0_{\Sigma(p_s,a_s,n)}(\sigma_{\text{can}})$로 일반화되며, $\mathbf{sw}^0_M(\sigma_{\text{can}}) = \sum_{k=1}^s d_k \cdot \mathbf{sw}^0_{\Sigma(p_k,a_k,n/d_k)}(\sigma_{\text{can}})$로 표현된다.
• 링크 $M$의 불변량은 $f$의 뉴턴 쌍과 정수 $n$으로부터 해결도표의 재귀적 구조를 통해 완전히 계산 가능하다.
• 부호 보정된 Reidemeister-Turaev 토포로지 $\mathcal{T}_{M,\sigma_{\text{can}}}(1)$는 $n$에 대해 준주기 함수이며, $n p_1(n) + p_2(n)$ 형태를 가지며, $p_1, p_2$는 주기적이다.
• 결과는 [31]의 추측을 스텐션 특이점에 대해 확인하며, Fintushel-Stern와 Neumann-Wahl의 이전 결과를 $\mathbb{Q}$-호모로지 구조 경우로 확장한다.