[논문 리뷰] Categorification of Donaldson-Thomas invariants via Perverse Sheaves

Young‐Hoon Kiem, Jun Li|arXiv (Cornell University)|2012. 12. 23.

Algebraic Geometry and Number Theory참고 문헌 34인용 수 28

한 줄 요약

이 논문은 칼라비-유 3-fold 위의 안정층의 모듈리 공간에서 편향된 사이클의 편향층을 이용하여 도널드슨-토머스 불변량의 분류화를 수립한다. 게이지 이론적 방법과 초전하 함수를 통해 전역적으로 정의된 편향층을 구성함으로써, 저자들은 $sl_2 \times sl_2$ 작용을 통해 고파쿠마르-바파 불변량을 산출하는 코homology 이론을 정의하며, 상대 하드 레프셰츠 정리에 의해 GW 불변량에 대한 수학적 프레임워크를 제공한다.

ABSTRACT

We show that there is a perverse sheaf on a fine moduli space of stable sheaves on a smooth projective Calabi-Yau 3-fold, which is locally the perverse sheaf of vanishing cycles for a local Chern-Simons functional, possibly after taking an etale Galois cover. This perverse sheaf lifts to a mixed Hodge module and gives us a cohomology theory which enables us to define the Gopakumar-Vafa invariants mathematically.

연구 동기 및 목표

• 칼라비-유 3-fold 위의 안정층의 모듈리 공간에 전역적으로 정의된 편향층을 구성하며, 국소적으로 초전하 함수의 편향층과 동형이 되도록 한다.
• 이 편향층을 혼합 히지 모듈러로 끌어올려 도널드슨-토머스 불변량의 코homological 해석을 가능하게 한다.
• 이로 인한 코homology 이론을 이용해 편향층의 초코homology 위에 $sl_2 \times sl_2$ 작용을 통해 기하학적으로 Gopakumar-Vafa 불변량을 정의한다.
• K3-섬유화된 칼라비-유 3-fold의 경우, Gopakumar-Vafa 불변량과 Gromov-Witten 불변량 사이의 추측된 관계를 검증한다.

제안 방법

• 게이지 이론을 활용해 CS 차트를 구성—반연결성의 공간의 유한차원 부분다양체로, 초전하 함수의 임계집합이 모듈리 공간의 열린 부분집합과 동형이 되도록 한다.
• 세바스티아니-톰 동형과 호모토피 불변성을 적용하여 국소적인 편향층의 편향층을 모듈리 공간 위의 전역적인 편향층으로 붙인다.
• 국소 차트 위의 혼합 히지 모듈러의 붙임을 통해 전역 편향층 위에 혼합 히지 모듈러 구조를 구성한다.
• K3 표면에 대한 힐버트-차우 사상에 대해 상대 하드 레프셰츠 정리를 적용하여, 편향층의 초코homology 위에 $sl_2 \times sl_2$ 작용을 유도한다.
• 푸리에-무카이 변환과 대칭군 불변량을 활용해 타원 K3 표면 위의 점들에 대한 힐버트 스킴의 코homology를 계산한다.
• 코homology의 푸아생리열 시리즈를 알려진 BPS 불변량과 비교하여, Gopakumar-Vafa 불변량이 Gromov-Witten BPS 불변량과 일치함을 검증한다.

실험 결과

연구 질문

• RQ1 칼라비-유 3-fold 위의 안정층의 모듈리 공간에 대해, 국소적으로 초전하 함수의 편향층과 동형이 되는 전역 편향층을 구성할 수 있는가?
• RQ2 이 편향층을 통한 코homology 이론이 도널드슨-토머스 불변량을 분류화하고 기하학적으로 Gopakumar-Vafa 불변량을 정의할 수 있는가?
• RQ3 $sl_2 \times sl_2$ 작용이 편향층의 초코homology 위에 존재할 경우, 알려진 생성함수를 통해 모든 종수의 Gromov-Witten 불변량을 회복할 수 있는가?
• RQ4 K3-섬유화된 칼라비-유 3-fold의 경우, 이 방법으로 정의된 Gopakumar-Vafa 불변량은 Gromov-Witten 이론의 BPS 불변량과 일치하는가?

주요 결과

• 칼라비-유 3-fold 위의 안정층의 모듈리 공간 $X$ 위에 전역 편향층 $P$를 구성하였으며, 이는 국소적으로 초전하 함수의 편향층과 동형이다.
• 초코homology $\mathbb{H}^i(X,P)$는 $t = -1$에서 고전적 도널드슨-토머스 불변량을 회복하는 DT (로렌트) 다항식을 정의한다.
• 상대 하드 레프셰츠 정리는 $\mathbb{H}^*(X,\hat{P})$ 위에 $sl_2 \times sl_2$ 작용을 유도하며, 여기서 $\hat{P}$는 $P$의 가중치 필터링의 순서화된 형태이다. 이는 Gopakumar-Vafa 불변량의 정의를 가능하게 한다.
• 타원 K3 표면 $Y_0$가 $Y \to \mathbb{P}^1$로 섬유화된 경우, $P$의 코homology에서 계산된 Gopakumar-Vafa 불변량 $n_h(k)$는 Gromov-Witten 이론의 BPS 불변량 $r_h(k)$와 일치하며, 이는 추측 7.4를 검증한다.
• K3 표면 $S$ 위의 점들에 대한 힐버트 스킴 $S^{[k]}$의 코homology의 푸아생리열 시리즈는 대칭군 불변량과 분해 정리를 통해 계산되었으며, GV 불변량의 생성함수를 도출한다.
• 이 구성은 $X$ 위의 편향층을 통한 Gopakumar-Vafa 불변량이 [12]에 알려진 관계를 통해 모든 종수의 Gromov-Witten 불변량 $N_g(\beta)$를 제공함을 확인한다.