[논문 리뷰] Gopakumar-Vafa invariants and wall-crossing

Yukinobu Toda|arXiv (Cornell University)|2017. 10. 05.

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

한 줄 요약

이 논문은 임의의 헬름홀름 오일러 특성과 안정성 조건을 갖는 왜곡된 반순수층의 모듈리 공간 위에서 퇴화 사이클의 페르세이브 층을 구성함으로써, 칼라비-유 3차원 다각체 위에서 고파쿠마르-바파(Gopakumar-Vafa, GV) 불변량을 일반화한다. 결과로 얻어진 불변량이 안정성 조건과 오일러 특성에 독립적이며, GV 불변량에 대한 플롭 변환 공식을 수립함으로써, 다양한 모듈리 공간 간에 GV 불변량이 보편적으로 정의된다는 추측을 지지한다.

ABSTRACT

In this paper, we generalize a mathematical definition of Gopakumar-Vafa (GV) invariants on Calabi-Yau 3-folds introduced by Maulik and the author, using an analogue of BPS sheaves introduced by Davison-Meinhardt on the coarse moduli spaces of one dimensional twisted semistable sheaves with arbitrary holomorphic Euler characteristics. We show that our generalized GV invariants are independent of twisted stability conditions, and conjecture that they are also independent of holomorphic Euler characteristics, so that they define the same GV invariants. As an application, we will show the flop transformation formula of GV invariants.

연구 동기 및 목표

• 표준 모듈리 공간 $M(\beta,1)$을 초월하여 임의의 헬름홀름 오일러 특성 $m$과 안정성 조건 $\sigma=B+i\omega$를 갖는 Gopakumar-Vafa(GV) 불변량의 수학적 정의를 확장하는 것.
• 차수 특성이 $v=(\beta,m)$인 $\sigma$-반순수층의 계수 모듈리 스택 $\mathcal{M}_\sigma(v)$ 위에 $d$-비판적 구조를 구성함으로써, 퇴화 사이클의 페르세이브 층을 정의할 수 있도록 하는 것.
• 결과로 얻어진 GV 불변량이 안정성 조건 $\sigma$와 헬름홀름 오일러 특성 $m$의 선택에 관계없이 일정함을 증명함으로써, GV 불변량의 보편적 정의를 추측하는 것.
• 벽을 넘는 변화에 대한 불변성과 결합하여, GV 불변량에 대한 플롭 변환 공식을 수립함으로써, 칼라비-유 3차원 다각체의 밀림 변환에 대한 일관성을 확인하는 것.

제안 방법

• 차수 특성이 $v=(\beta,m)$인 $\sigma$-반순수층의 모듈리 스택 $\mathcal{M}_\sigma(v)$ 위에 $d$-비판적 구조를 구성함으로써, 퇴화 사이클의 페르세이브 층을 정의할 수 있도록 하는 것.
• 스택 $\mathcal{M}_\sigma(v)$에서 계수 모듈리 공간 $M_\sigma(v)$로의 퇴화 사이클 층의 편재를 통해 유도된 페르세이브 코호몰로지의 첫 번째 페르세이브 코호몰로지로 페르세이브 층 $\phi_{M_\sigma(v)}$를 정의하는 것.
• 계수 모듈리 공간 $M_\sigma(v)$ 위의 사이클 $\gamma \in \mathop{\rm Chow}\nolimits_X(\beta)$에 제한된 편재 층의 코호몰로지 위에서의 $sl_2 \times sl_2$-작용의 특성 공식을 통해 불변량 $\Phi_\sigma(\gamma,m) \in \mathbb{Z}[y^{\pm 1}]$을 정의하는 것.
• CY 방향 데이터와 유도된 다르부 정리(derived Darboux theorem)를 사용하여, 다양한 안정성 조건 간에 페르세이브 층 구성이 잘 정의되고 불변함을 보장하는 것.
• 모듈리 스택 위의 CY 방향 데이터 존재성을 이용하여, 칼라비-유 3차원 다각체 $X = \mathrm{Tot}_S(K_S)$에 대해 $\Phi_\sigma(\gamma,m)$이 안정성 조건 $\sigma$와 $m$에 독립적임을 증명하는 것.
• 점에 대한 블로우업을 통한 플롭 변환 공식 $\Phi_X(\gamma,m) = \Phi_{X^\dagger}(h^*\gamma,m)$을 수립함으로써, 플롭에 대한 불변성을 보여주는 것.

실험 결과

연구 질문

• RQ1 임의의 헬름홀름 오일러 특성 $m$과 안정성 조건 $\sigma$를 갖는 왜곡된 반순수층의 모듈리 공간을 통해 GV 불변량을 정의할 수 있는가?
• RQ2 일반화된 GV 불변량 $\Phi_\sigma(\gamma,m)$은 안정성 조건 $\sigma$와 오일러 특성 $m$의 선택에 독립적인가?
• RQ3 칼라비-유 3차원 다각체의 밀림 변환에 대해 일반화된 GV 불변량은 플롭 변환 공식을 만족하는가?
• RQ4 다비슨-마인하르트의 BPS 층 구성법을 임의의 $m$과 $\sigma$를 갖는 칼라비-유 3차원 다각체 위의 층 설정으로 일반화할 수 있는가?
• RQ5 모든 이러한 구성법을 서로 다른 모듈리 공간 간에 통합하는 보편적 GV 불변량 정의가 존재하는가?

주요 결과

• 칼라비-유 3차원 다각체 $X = \mathrm{Tot}_S(K_S)$에 대해 일반화된 GV 불변량 $\Phi_\sigma(\gamma,m)$은 안정성 조건 $\sigma$에 독립적이며, 이로 인해 보편 불변량 $\Phi_X(\gamma,m)$를 자연스럽게 정의할 수 있다.
• 사이클 $\gamma$가 원시적일 경우, $\Phi_X(\gamma,m)$는 헬름홀름 오일러 특성 $m$에 독립적이며, 이는 GV 불변량의 보편적 정의를 시사한다.
• 표면의 블로우업을 통한 총공간 구성으로 얻어진 칼라비-유 3차원 다각체에 대해 플롭 변환 공식 $\Phi_X(\gamma,m) = \Phi_{X^\dagger}(h^*\gamma,m)$이 성립한다.
• 스택 $\mathcal{M}_\sigma(v)$에서의 퇴화 사이클을 계수 모듈리 공간 $M_\sigma(v)$로의 편재를 통해 정의된 페르세이브 층 $\phi_{M_\sigma(v)}$의 구성은 [MT18]에서의 $M(\beta,1)$-기반 정의를 강력하게 일반화한다.
• 특성 공식 $\int_{\gamma} \Phi_{\sigma=i\omega}(\gamma,1)\, de = \sum_g n_{g,\beta} (y^{1/2} + y^{-1/2})^{2g}$을 통해 원래의 GV 불변량 $n_{g,\beta}$를 복원함으로써, 일관성을 확인한다.
• $X = \mathrm{Tot}_S(K_S)$에 대해 $\Phi_\sigma(\gamma,m)$이 $\sigma$와 $m$에 독립적임을 추측 2.10을 가정하지 않고도 무조건적으로 증명한다.