[논문 리뷰] Donaldson = Seiberg-Witten from Mochizuki's formula and instanton counting

Lothar Göttsche, Hiraku Nakajima외 1명|arXiv (Cornell University)|2010. 01. 27.

Black Holes and Theoretical Physics참고 문헌 18인용 수 4

한 줄 요약

이 논문은 $N=2$ 초대칭 게이지 이론에 기본 물리 다중체를 포함한 네크라스프의 변형 분할 함수를 통해 단순 유형의 4차원 다양체에 대한 도널드슨 불변량과 시버그-와이튼 불변량 사이의 정확한 수학적 공식을 수립한다. 마치지우키의 대수기하 설정에서의 공식을 사용하여 저자들은 인stanton 수세기와 등급화된 국소화를 통해 명시적인 계수를 유도하고, 와이튼의 추측과 이러한 4차원 다원체에 대한 초등형 단순 유형 조건을 증명한다.

ABSTRACT

We propose an explicit formula connecting Donaldson invariants and Seiberg-Witten invariants of a 4-manifold of simple type via Nekrasov's deformed partition function for the N=2 SUSY gauge theory with a single fundamental matter. This formula is derived from Mochizuki's formula, which makes sense and was proved when the 4-manifold is complex projective. Assuming our formula is true for a 4-manifold of simple type, we prove Witten's conjecture and sum rules for Seiberg-Witten invariants (superconformal simple type condition), conjectured by Mariño, Moore and Peradze.

연구 동기 및 목표

• 단순 유형의 4차원 다원체에 대해 도널드슨 불변량과 시버그-와이튼 불변량 사이의 엄밀한 수학적 연결을 수립하는 것.
• 인stanton 수세기와 등급화된 국소화를 사용하여 도널드슨 급수의 계수에 대한 명시적 공식을 도출하는 것.
• Nekrasov 분할 함수를 통한 도널드슨 및 시버그-와이튼 불변량 간의 와이튼 추측을 증명하는 것.
• Mochizuki의 공식을 가정할 경우, 시버그-와이튼 불변량에 대한 초등형 단순 유형 조건(합 규칙)을 검증하는 것.
• 도널드슨 급수의 계수들이 기본 물리 다중체를 포함한 Nekrasov의 변형 분할 함수의 주요 항으로 나타남을 보이는 것.

제안 방법

• 복소 프로젝티브 표면 위의 점들의 하이레르트 스킴의 곱 위에서 $\mathbb{C}^*$-등급화 적분의 잔여치로 표현되는 도널드슨 불변량을 다루는 Mochizuki의 공식에서 도널드슨 생성 급수를 유도하는 것.
• 도널드슨 급수의 계수들을 $N=2$ 초대칭 게이지 이론에 한 개의 기본 하이퍼다중체를 포함한 Nekrasov의 변형 분할 함수의 주요 항 $F_0$, $H$, $A$, $B$로 식별하는 것.
• 분할 함수의 블로우업 공식을 사용하여 서로 다른 4차원 다원체에서의 불변량을 연결하고 생성 급수의 구조를 추출하는 것.
• Mochizuki의 원래 유도 방식과 유사하게 $\operatorname{SO}(3)$-모노폴로이드 모듈리 공간의 대수기하학적 유사체에 대해 아티야-보트-레프슈츠 고정점 정리를 적용하는 것.
• Seiberg-Witten 곡선의 구조와 매개변수 $u$를 사용하여 $\zeta$-의존적 거듭제곱과 교차 수를 포함하는 생성 함수에서 $\zeta=0$에서 잔여치를 계산하는 것.
• 차수 $n = \chi_h(X) - (K_X^2) - 4$에 대한 내림차순 귀납법을 사용하여 초등형 단순 유형 조건을 증명하고, 공식을 가정할 경우 고차항이 사라짐을 보이는 것.

실험 결과

연구 질문

• RQ1 대수기하학적 및 등급화 기법을 사용하여 도널드슨 및 시버그-와이튼 불변량 간의 관계를 엄밀하게 수학적으로 정립할 수 있는가?
• RQ2 도널드슨 생성 급수의 계수들이 $N=2$ 초대칭 게이지 이론에 기본 물리 다중체를 포함한 Nekrasov의 분할 함수의 주요 항과 일치하는가?
• RQ3 Mochizuki의 공식과 인stanton 수세기를 통해 시버그-와이튼 불변량에 대한 초등형 단순 유형 조건이 유도되는가?
• RQ4 도널드슨 불변량의 생성 함수는 특이점 $u = \pm 2\Lambda^2$에서의 지지가 있는 Seiberg-Witten 곡선에 대한 적분으로 표현될 수 있는가?
• RQ5 Seiberg-Witten 불변량의 합 규칙은 분할 함수의 구조와 잔여치 계산으로부터 도출될 수 있는가?

주요 결과

• 도널드슨 급수의 계수 $f_{k,l}$는 $N=2$ 초대칭 게이지 이론에 한 개의 기본 하이퍼다중체를 포함한 Nekrasov의 변형 분할 함수의 주요 항으로 명시적으로 주어진다.
• 공식이 성립할 경우, 이 공식은 단순 유형의 4차원 다원체에 대해 도널드슨 및 시버그-와이튼 불변량 간의 와이튼 추측을 증명한다.
• Seiberg-Witten 불변량에 대한 초등형 단순 유형 조건(합 규칙)은 차수 $n = \chi_h(X) - (K_X^2) - 4$에 대한 내림차순 귀납법을 통해 검증된다.
• $\zeta = 0$에서의 잔여치 계산은 $k^l / (3^l l!)$에 비례하는 비영인 계수를 얻으며, 이는 전개에서 주요 항의 비퇴화성을 보장한다.
• 도널드슨 불변량의 생성 함수가 스핀$^c$ 구조 $\xi$에 독립적이며, 이는 다양한 $\xi$ 선택에 대해 공식의 일관성을 의미한다.
• 증명은 공식을 가정할 경우 전개에서 모든 고차항이 사라짐을 보여주며, 이는 모든 $n \leq \chi_h(X) - (K_X^2) - 4$에 대해 초등형 단순 유형 조건이 성립함을 확인한다.