[논문 리뷰] The geometric genus and Seiberg-Witten invariant of Newton nondegenerate surface singularities

Baldur Sigurðsson|arXiv (Cornell University)|2016. 01. 11.

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

한 줄 요약

이 논문은 뉴턴 비특이성 표면 특이점에 대해 시버그–와이튼 불변량 추측을 증명하며, 링크의 위상구조로부터 기하학적 종수를 유 bounds하고 궁극적으로 복원하는 명시적 계산 순서를 구성한다. 오카의 알고리즘과 뉴턴 다이어그램 및 해소 그래프의 조합적 성질을 사용하여, 링크의 캐논리컬 스피너^c 구조에 대한 정규화된 시버그–와이튼 불변량이 기하학적 종수와 일치함을 보이고, 위상적 자료로부터 스펙트럼의 일부와 파투리에 급수를 복원한다.

ABSTRACT

Given a normal surface singularity (X,0), its link, M is a closed differentiable three dimensional manifold which carries much analytic information. It is an interesting question to ask whether, under suitable analytic and topological conditions, the geometric genus (or other analytic invariants) can be recovered from the link. The Casson invariant conjecture predicts that p_g can be identified using the Casson invariant in the case when (X,0) is a complete intersection and M has trivial first homology with integral coefficients. The Seiberg-Witten invariant conjecture predicts that the geometric genus of a Gorenstein singularity, whose link has trivial first homology with rational coefficients, can be calculated as a normalized Seiberg-Witten invariant of the link. The first conjecture is still open, but counterexamples have been found for the second one. We prove here the Seiberg-Witten invariant conjecture for hypersurface singularities given by a function with Newton nondegenerate principal part. We provide a theory of computation sequences and of the way they bound the geometric genus. Newton nondegenerate singularities can be resolved explicitly by Oka's algorithm, and we exploit the combinatorial interplay between the resolution graph and the Newton diagram to show that in each step of the computation sequence we construct, the given bound is sharp. Our method recovers the geometric genus of (X,0) explicitly from the link, assuming that (X,0) is indeed Newton nondegenerate with a rational homology sphere link. Assuming some additional information about the Newton diagram, we recover part of the spectrum, as well as the Poincaré series associated with the Newton filtration. Finally, we show that the normalized Seiberg-Witten invariant associated with the canonical spin^c structure on the link coincides with our identification of the geometric genus.

연구 동기 및 목표

• Gorenstein 표면 특이점의 기하학적 종수가 링크의 시버그–와이튼 불변량으로부터 복원될 수 있다는 오랫동안 남아있던 추측을 해결하기 위해.
• 특히 뉴턴 비특이성 특이점에 대해 링크의 위상적 불변량으로부터 기하학적 종수를 계산하는 구축 가능한 방법을 수립하기 위해.
• 링크의 캐논리컬 스피너^c 구조에 대한 정규화된 시버그–와이튼 불변량이 기하학적 종수와 일치함을 보여주기 위해.
• 링크의 위상구조로부터 뉴턴 필터링의 스펙트럼 일부와 파투리에 급수를 복원하기 위해.

제안 방법

• 해소 그래프와 뉴턴 다이어그램을 기반으로 한 계산 순서를 구성하여, 각 단계에서 기하학적 종수를 유 bounds한다.
• 뉴턴 비특이성 특이점을 뉴턴 다이어그램의 명시적 조합적 자료를 통해 오카의 알고리즘을 활용해 해소한다.
• 확대된 다각형과 다면체 내의 격자점 수를 세어 교차 수와 제타 함수 계수를 계산한다.
• 경로 격자 코homology와 최상위 위상적 제타 함수 이론을 적용하여 해석적 불변량과 위상적 자료를 연결한다.
• 일변수 거듭제곱 급수의 다항식 부분과 주기적 상수를 활용하여 스펙트럼 정보를 추출한다.
• 팔다리 구성에 대한 사례 분석을 통해 링크의 캐논리컬 스피너^c 구조에 대한 정규화된 시버그–와이튼 불변량이 기하학적 종수와 일치함을 증명한다.

실험 결과

연구 질문

• RQ1 뉴턴 비특이성 표면 특이점의 기하학적 종수는 링크의 위상적 자료로부터 순수하게 계산될 수 있는가?
• RQ2 링크의 캐논리컬 스피너^c 구조에 대한 정규화된 시버그–와이튼 불변량이 기하학적 종수와 일치하는가?
• RQ3 링크의 위상구조로부터 뉴턴 필터링의 스펙트럼 일부와 파투리에 급수를 복원할 수 있는가?
• RQ4 계산 순서의 각 단계에서 기하학적 종수의 유 bounds가 날카로워지기 위한 뉴턴 다이어그램의 조합적 조건은 무엇인가?

주요 결과

• 링크가 유리 동치의 3차원 구면일 경우, 뉴턴 비특이성 표면 특이점의 기하학적 종수는 링크의 위상구조로부터 명시적으로 복원 가능하다.
• 링크의 캐논리컬 스피너^c 구조에 대한 정규화된 시버그–와이튼 불변량이 기하학적 종수와 일치함을 확인하여, 이 경우 시버그–와이튼 불변량 추측이 확인된다.
• 구성된 계산 순서는 각 단계에서 날카로우며, 조합적 수단을 통해 기하학적 종수를 정확히 복원함을 보장한다.
• 뉴턴 다이어그램의 추가 조건 하에서, 0차까지의 스펙트럼과 뉴턴 필터링의 파투리에 급수는 링크의 위상구조로부터 복원 가능하다.
• 뉴턴 다이어그램에 중심 삼각형이 존재하는 특이점의 경우, 특정 기하학적 제약 조건 하에서 시버그–와이튼 계수가 0이 되며, 이는 일부 제타 함수 항목의 소멸을 확인한다.
• 이 방법은 해소 그래프, 뉴턴 다이어그램, 기하학적 종수 $p_g$ 및 스펙트럼과 같은 해석적 불변량 사이에 완전한 조합적 대응을 수립한다.