[논문 리뷰] Seiberg-Witten invariants and surface singularities II. Singularities with good $\C^*$-action

András Némethi, Liviu I. Nicolaescu|ArXiv.org|2002. 01. 14.

Geometric and Algebraic Topology참고 문헌 17인용 수 8

한 줄 요약

이 논문은 정상 표면 특이점의 링크의 Seiberg-Witten 불변량과 그 기하적 종수 사이의 추측을 검증하며, 캐논칼 스피너^c 구조를 이용한 기하적 종수에 대한 위상적 공식을 수립한다. 링크의 Seiberg-Witten 모노폴과 Reidemeister-Turaev 토포로지 토포로지를 Seifert 불변량의 언어로 계산하여, 이러한 특이점에 대해 완전한 위상적 특성화를 제공한다.

ABSTRACT

This is a continuation of our paper math.AG/0111298. We prove an explicit formula for the geometric genus p_g of a quasihomogeneous isolated surface singularity in terms of the Seiberg-Witten invariant of the link and other topological data which can be read from a resolution graph of the singularity. Moreover, we also determine all the Reidemeister-Turaev sign-refined torsion of the link (associated with any spin^c structure) in terms of the Seifert invariants.

연구 동기 및 목표

• 정상 표면 특이점의 좋은 ℂ*-행동를 갖는 경우 링크의 Seiberg-Witten 불변량과 기하적 종수 사이의 [18]에서 제기된 추측을 검증한다.
• 캐논칼 스피너^c 구조와 자연스러운 Thurston 메트릭에 대해 링크의 Seiberg-Witten 모노폴을 계산한다.
• 모든 스피너^c 구조에 대해 Seifert 불변량을 사용하여 링크의 Reidemeister-Turaev 부호 보정 토포로지 토포로지를 결정한다.
• 기하적 종수에 대한 위상적 공식을 Gorenstein 특이점과 유리 동치 구조 링크를 갖는 경우에 수립한다.

제안 방법

• 특이점의 구멍 난 이웃에서 거의 복소 구조에 의해 유도된 링크 위의 캐논칼 스피너^c 구조를 사용한다.
• 유리 동치 구조 링크의 경우, Casson-Walker 불변량과 Reidemeister-Turaev 토포로지 토포로지를 포함하는 Seiberg-Witten 불변량 공식을 적용한다.
• 해소 그래프와 Seifert 불변량을 사용하여 링크의 위상학적 구조를 매개변수화하며, 특히 좋은 ℂ*-행동를 갖는 특이점에 초점을 맞춘다.
• Dedekind 합과 정수 계수 선형 형식의 floor 함수를 포함하는 생성 함수의 로랑 전개를 유도하여 Seiberg-Witten 및 토포로지 불변량을 계산한다.
• Spin^c(M)의 H-토르스 구조를 이용하여 캐논칼 스피너^c 구조에서 유도된 결과를 군의 특성 함수 작용을 통해 모든 스피너^c 구조로 확장한다.
• 생성 함수의 t→1 극한에 대한 명시적 공식을 적용하여 토포로지 및 Seiberg-Witten 불변량을 추출한다.

실험 결과

연구 질문

• RQ1 좋은 ℂ*-행동를 갖는 정상 표면 특이점의 기하적 종수는 링크의 Seiberg-Witten 불변량을 통해 순수하게 위상적으로 표현될 수 있는가?
• RQ2 링크의 Seiberg-Witten 모노폴은 그 Seifert 불변량과 캐논칼 스피너^c 구조와 어떻게 관련되어 있는가?
• RQ3 링크에 대한 Reidemeister-Turaev 부호 보정 토포로지 토포로지의 완전한 집합은 무엇이며, 그들은 Seifert 불변량에 의해 어떻게 결정되는가?
• RQ4 Gorenstein 특이점과 좋은 ℂ*-행동를 갖는 경우, 기하적 종수에 대한 추측적 위상적 상한은 정확한 등식이 되는가?

주요 결과

• 좋은 ℂ*-행동를 갖는 임의의 정상 표면 특이점의 기하적 종수는 링크의 캐논칼 스피너^c 구조에 대한 Seiberg-Witten 불변량에 의해 순수하게 위상적으로 결정된다.
• 캐논칼 스피너^c 구조와 Thurston 메트릭에 대해 링크의 Seiberg-Witten 모노폴은 Seifert 불변량의 언어로 명시적으로 계산된다.
• 모든 스피너^c 구조에 대해 Reidemeister-Turaev 부호 보정 토포로지 토포로지는 Dedekind 합과 정수 계수 선형 형식의 floor 함수를 포함하는 로랑 전개 공식에 의해 결정된다.
• 캐논칼 Seiberg-Witten 불변량은 Gorenstein 특이점에서 추측된 부등식을 등호로 만족하여 상한의 위상적 정확성이 확인된다.
• 토포로지 불변량의 공식은 정수 l에 대한 합으로 표현되며, 선형 표현의 floor 함수를 포함하며, Seifert 불변량과 스피너^c 구조에 따라 수렴하는 유리수로 표현된다.
• 생성 함수의 t→1 극한은 토포로지 불변량을 제공하며, 오차 항으로서 링크의 오일러 지표와 오일러 수를 포함한다.