[논문 리뷰] Explicit formulae for rank zero DT invariants and the OSV conjecture

Soheyla Feyzbakhsh|arXiv (Cornell University)|2022. 03. 20.

Algebraic Geometry and Number Theory인용 수 5

한 줄 요약

이 논문은 보고몰로프-기세커 추측을 만족하는 캄비-요우 3-fold에서 랭크 0 도널드슨-타이틀스 불변량에 대한 명시적 공식을 유도하며, 두 가지 월-크로싱 기법을 사용한다: 특정 클래스에 기반한 약한 안정성 조건 기반 기법과 $\bar{\mathcal{O}}_X(-n)$에서의 비자명한 사상 기반 기법으로, 랭크 1 DT 불변량과 반다리파ande-타이틀스 불변량을 포함한 보편적 표현을 도출한다. 이는 임의의 피카르 랭크에 대해 토다의 OSV 추측의 수정된 형태를 증명하며, 랭크 2 불변량에 대한 재귀 공식을 제공한다.

ABSTRACT

Fix a Calabi-Yau 3-fold $X$ satisfying the Bogomolov-Gieseker conjecture of Bayer-Macrì-Toda, such as the quintic 3-fold. By two different wall-crossing arguments we prove two different explicit formulae relating rank 0 Donaldson-Thomas invariants (counting torsion sheaves on $X$ supported on ample divisors) in terms of rank 1 Donaldson-Thomas invariants (counting ideal sheaves of curves) and Pandharipande-Thomas invariants. In particular, we prove a slight modification of Toda's formulation of OSV conjecture for $X$. When $X$ is of Picard rank one, we also give an explicit formula for rank two DT invariants in terms of rank zero and rank one DT invariants.

연구 동기 및 목표

• 암묵적 초면에서 캄비-요우 3-fold의 편재적 초면 위의 토션 층을 세는 랭크 0 도널드슨-타이틀스 불변량에 대한 명시적 공식 유도.
• 피카르 랭크 1 이상의 경우로 확장된 토다의 OSV 추측의 공식화 일반화.
• 안정성 조건의 월-크로싱을 통한 랭크 0 불변량과 랭크 1 DT 불변량, 반다리파ande-타이틀스 불변량 간의 관계 설정.
• 랭크 0 및 랭크 1 불변량으로부터 랭크 2 DT 불변량을 재귀적으로 계산할 수 있는 프레임워크 확장.

제안 방법

• 랭크 0 클래스 $\mathsf{v} = (0,D,\beta,m)$에 대해 약한 안정성 조건 공간에서의 월-크로싱을 활용하여, 랭크 1 DT 및 PT 불변량을 포함한 공식 유도.
• 큰 $n$에 대해 $s: \mathcal{O}_X(-n) \to F$ 형태의 사상들을 도입하여 보편적 월-크로싱 접근법을 제시함으로써, $\mathsf{J}(\mathsf{v})$를 PT 불변량을 포함하는 생성함수의 형태로 표현 가능하게 함.
• 창세르 특성과 안정성 매개변수를 기반으로 한 가중치가 부여된 단항식을 포함하는 $\operatorname{PT}^{\mathsf{v},n}(x,y,z)$ 생성함수 정의.
• 조이스-송 월-크로싱 공식을 사용하여 대규모 체적 근처 및 조이스-송 월 $\ell_{\mathrm{JS}}$ 근처의 안정성 카메라 간 불변량을 연결.
• 틸트 안정성과 기에세커 안정성 사이의 재귀적 월-크로싱 추론을 통해 랭크 2 불변량을 랭크 1 및 랭크 0 불변량으로 표현.
• 합계의 관련 클래스를 매개변수화하기 위해 $M(\mathsf{v})$ 및 $M_{\mathsf{v},n}$을 활용하여 창세르 특성 제약 조건과의 호환성 확보.

실험 결과

연구 질문

• RQ1 피카르 랭크 1을 초월하는 임의의 캄비-요우 3-fold에 대해 랭크 0 DT 불변량에 대한 명시적 공식을 도출할 수 있는가?
• RQ2 월-크로싱을 통한 랭크 0 DT 불변량은 랭크 1 DT 불변량과 반다리파ande-타이틀스 불변량과 어떻게 관련되는가?
• RQ3 임의의 피카르 랭크를 가진 캄비-요우 3-fold에 대해 토다의 수학적 OSV 추측 공식화가 성립하는가?
• RQ4 월-크로싱을 통해 랭크 2 DT 불변량을 랭크 0 및 랭크 1 불변량의 보편적 표현으로 표현할 수 있는가?
• RQ5 생성함수 $A(\mathsf{v}_n, \mu)$의 정확한 구조는 무엇이며, 이는 계수 추출을 통해 $\mathsf{J}(\mathsf{v})$를 어떻게 캡처하는가?

주요 결과

• 랭크 0 클래스 $\mathsf{v} = (0,D,\beta,m)$에서 $Q(\mathsf{v}) < 0$ 이면 기울기-준안정 층이 존재하지 않으며, 이는 $\mathsf{J}(\mathsf{v}) = 0$ 임을 의미한다.
• 부등식 $ (H^3)^2 Q(\mathsf{v}) < D.H^2 + \frac{2}{D.H^2} - \frac{5}{2} - \frac{2}{(D.H^2)^2} $ 가 성립할 경우, $\mathsf{J}(\mathsf{v})$ 는 특정 부호 및 오일러 특성 수정을 가진 랭크 1 클래스 쌍에 대한 합으로 주어진다.
• 공식 $\mathsf{J}(\mathsf{v})$ 는 $v_1 + v_2 = \mathsf{v}$ 인 $v_1, v_2$ 에 대한 합으로 표현되며, $(-1)^{\chi(v_2,v_1)-1} \chi(v_2,v_1)$ 으로 가중되고, $\operatorname{P}_{-m_1,\beta_1} \operatorname{I}_{m_2,\beta_2}$ 와 곱해진다.
• 피카르 랭크 1 캄비-요우 3-fold의 경우, 생성함수 $A(\mathsf{v}_n, \mu_{\mathsf{v},n})$ 는 $\chi(\mathcal{O}_X(-n), \mathsf{v})$ 로 정규화된 후 계수 추출을 통해 $\mathsf{J}(\mathsf{v})$ 를 추출하며, 이는 월-크로싱을 통한 보편 공식을 증명한다.
• 랭크 2 DT 불변량에 대한 재귀 공식이 확립되었다: $\mathsf{J}_{\mathrm{ti}}(\alpha)$ 는 랭크 1 DT 불변량의 합으로 표현되며, $\mathsf{J}(v_1)\mathsf{J}(v_2)$ 와 계수 $C_{v_1,v_1'}$ 를 포함한 수정 항이 포함된다.
• 결과는 [Li19, Kos20, Liu21] 에서 사용된 제한된 안정성 조건 하에서 유효하며, 기존의 월-크로싱 프레임워크에 적용 가능함을 보장한다.