[논문 리뷰] A proof of N.Takahashi's conjecture for $(\mathbb{P}^2,E)$ and a refined sheaves/Gromov-Witten correspondence

Pierrick Bousseau|arXiv (Cornell University)|2019. 09. 06.

Algebraic Geometry and Number Theory참고 문헌 56인용 수 7

한 줄 요약

이 논문은 토포로지적 기하학과 유도 범주 벽교차를 통한 정밀한 층/GW 대응을 통해 $(\mathbb{P}^2, E)$에서의 성분이 0인 최대 접촉 Gromov-Witten 불변량에 대한 N. Takahashi의 추측을 증명한다. 여기서 $E$는 매끄러운 케이비크 곡선이다. 이는 $\mathbb{P}^2$ 위의 일차원 Gieseker 반안정 층의 모듈리 공간의 베텔리 수가 $y = e^{i\hbar}$의 변수 치환 하에서 고차수 Gromov-Witten 불변량과 대응됨을 보여주며, 상대 Gromov-Witten 이론에서 새로운 정수성 메커니즘을 제공한다.

ABSTRACT

We prove N.Takahashi's conjecture determining the contribution of each contact point in genus-$0$ maximal contact Gromov-Witten theory of $\mathbb{P}^2$ relative to a smooth cubic $E$. This is a new example of a question in Gromov-Witten theory which can be fully solved despite the presence of contracted components and multiple covers. The proof relies on a tropical computation of the Gromov-Witten invariants and on the interpretation of the tropical picture as describing wall-crossing in the derived category of coherent sheaves on $\mathbb{P}^2$, giving a translation of the original Gromov-Witten question into a known statement about Euler characteristics of moduli spaces of one-dimensional Gieseker semistable sheaves on $\mathbb{P}^2$. The same techniques allow us to prove a new sheaves/Gromov-Witten correspondence, relating Betti numbers of moduli spaces of one-dimensional Gieseker semistable sheaves on $\mathbb{P}^2$, or equivalently refined genus-$0$ Gopakumar-Vafa invariants of local $\mathbb{P}^2$, with higher-genus maximal contact Gromov-Witten theory of $(\mathbb{P}^2,E)$. The correspondence involves the non-trivial change of variables $y=e^{i \hbar}$, where $y$ is the refined/cohomological variable on the sheaf side, and $\hbar$ is the genus variable on the Gromov-Witten side. We explain how this correspondence can be heuristically motivated by a combination of mirror symmetry and hyperkähler rotation.

연구 동기 및 목표

• 성분이 0이고 접촉점이 최대인 $(\mathbb{P}^2, E)$의 Gromov-Witten 불변량에서 각 개별 접촉점의 기여도에 대한 N. Takahashi의 추측을 증명하기 위해.
• 일차원 Gieseker 반안정 층의 모듈리 공간의 베텔리 수와 $(\mathbb{P}^2, E)$의 고차수 Gromov-Witten 불변량 사이의 정밀한 대응을 수립하기 위해.
• 토포로지적 Gromov-Witten 불변량이 $\mathbb{P}^2$의 코herent 층의 유도 범주의 벽교차로 어떻게 표현되는지 이해하기 위해.
• 초기론적 미러 대칭과 하이퍼카일러 회전을 통한 해석을 통해, 헬로모르픽 곡선과 $D^b_c(K_{\mathbb{P}^2})$ 내의 안정된 대상 사이의 대응을 설명하기 위해.

제안 방법

• 정수 애프린 만델라 위의 산산각도를 통한 토포로지적 기하학을 이용한 성분이 0인 Gromov-Witten 불변량 계산.
• 산산각도 $S(\mathfrak{D}^{\mathrm{in}}_{\operatorname{cl}^+})$의 수직 광선이 $\mathbb{P}^2$ 위의 일차원 Gieseker 반안정 층의 모듈리 공간과 대응됨을 확인.
• 국소-상대 Gromov-Witten 대응을 적용하여 $(\mathbb{P}^2, E)$의 불변량을 국소 $\mathbb{P}^2$ 칼라비-야우 3-fold $K_{\mathbb{P}^2}$의 불변량과 연결.
• 층 측면에 $y$-변수, Gromov-Witten 측면에 $\hbar$-변수를 도입하고 $y = e^{i\hbar}$를 통해 대응을 정밀화.
• 유도 범주 벽교차를 이용해 Gromov-Witten 불변량을 층 모듈리 공간의 오일러 지표로 변환.
• 하이퍼카일러 회전과 미러 대칭을 통한 히우레스틱적 정당화: $Y_t$ 내의 특별한 라그랑주 부분다양체가 $D^b_c(K_{\mathbb{P}^2})$ 내의 $t$-안정 대상과 연결됨.

실험 결과

연구 질문

• RQ1 성분이 0이고 접촉점이 최대인 $(\mathbb{P}^2, E)$의 Gromov-Witten 불변량에서 각 개별 접촉점의 기여도는 무엇인가?
• RQ2 일차원 층의 모듈리 공간의 베텔리 수와 $(\mathbb{P}^2, E)$의 고차수 Gromov-Witten 불변량 사이에 정밀한 대응을 수립할 수 있는가?
• RQ3 토포로지적 기하학은 $\mathbb{P}^2$의 코herent 층의 유도 범주에서의 벽교차를 어떻게 표현하는가?
• RQ4 왜 변수 치환 $y = e^{i\hbar}$가 정밀한 층 수와 고차수 Gromov-Witten 불변량을 연결하는가?
• RQ5 헬로모르픽 곡선과 $D^b_c(K_{\mathbb{P}^2})$ 내의 안정 대상 사이의 대응에 대한 기하학적 및 범주론적 메커니즘은 무엇인가?

주요 결과

• 논문은 N. Takahashi의 추측을 증명하여, $(\mathbb{P}^2, E)$에서 성분이 0이고 접촉점이 최대인 Gromov-Witten 불변량에서 각 접촉점의 기여도를 완전히 규명한다.
• 정밀한 층/Gromov-Witten 대응을 수립: $\mathbb{P}^2$ 위의 일차원 Gieseker 반안정 층의 모듈리 공간의 베텔리 수는 $y = e^{i\hbar}$의 변수 치환 하에서 $(\mathbb{P}^2, E)$의 고차수 Gromov-Witten 불변량과 정확히 일치한다.
• 성분이 0인 Gromov-Witten 불변량 $N_{0,d}^{\mathbb{P}^2/E}$는 $N_{0,d}^{K_{\mathbb{P}^2}}$를 통해 국소 $\mathbb{P}^2$의 불변량과 관련되며, $N_{0,d}^{\mathbb{P}^2/E} = (-1)^{d-1}3d N_{0,d}^{K_{\mathbb{P}^2}}$이다.
• 토포로지적 산산각도 $S(\mathfrak{D}^{\mathrm{in}}_{\operatorname{cl}^+})$는 수직 광선을 통해 Gromov-Witten 불변량과 층 모듈리 공간의 오일러 지표를 모두 캐릭터라이즈한다.
• 하이퍼카일러 회전과 미러 대칭을 통한 히우레스틱적 지원을 통해, 헬로모르픽 곡선과 $D^b_c(K_{\mathbb{P}^2})$ 내의 안정 대상 사이의 대응이 타당하다.
• 정밀한 대응은 고차수 불변량으로까지 확장되며, $y = e^{i\hbar}$ 변환을 통해 임베딩되지 않은 곡선과 층의 모듈리 공간 간의 모순을 해소하는 가상 수의 계산 메커니즘을 제공한다.