[논문 리뷰] Curve counting on elliptic Calabi-Yau threefolds via derived categories

Georg Oberdieck, Junliang Shen|arXiv (Cornell University)|2016. 08. 25.

Advanced Algebra and Geometry참고 문헌 40인용 수 16

한 줄 요약

이 논문은 기저에 감소한 클래스를 가진 타원적 칼라비-유우 3차원에서 판드하리파데-타이틀 불변량의 생성함수는 자코비 형식의 타원 변환 법칙을 만족하며, 깊이 있는 모듈라 구조를 확립한다. 유도된 자가동형사상과 벽을 넘는 기법을 사용하여, 저자들은 Gromov–Witten 불변량과 보편적 자코비 형식으로서 PT 불변량을 표현하며, K3×E에 대해 무게 -10인 준자코비 형식임을 증명하고, 이는 이구사 정수형 불변량 추측에 강력한 증거나를 제공한다.

ABSTRACT

We prove the elliptic transformation law of Jacobi forms for the generating series of Pandharipande--Thomas invariants of an elliptic Calabi--Yau 3-fold over a reduced class in the base. This proves part of a conjecture by Huang, Katz, and Klemm. For the proof we construct an involution of the derived category and use wall-crossing methods. We express the generating series of PT invariants in terms of low genus Gromov--Witten invariants and universal Jacobi forms. As applications we prove new formulas and recover several known formulas for the PT invariants of $\mathrm{K3} imes E$, abelian 3-folds, and the STU-model. We prove that the generating series of curve counting invariants for $\mathrm{K3} imes E$ with respect to a primitive class on the $\mathrm{K3}$ is a quasi-Jacobi form of weight -10. This provides strong evidence for the Igusa cusp form conjecture.

연구 동기 및 목표

• 유도된 자가동형사상이 칼라비-유우 3차원에서 곡선 수세기 불변량을 어떻게 제약하는지 이해하기 위해.
• 황-카츠-클레임 추측을 검증하기 위해, 판드하리파데-타이틀 불변량의 생성함수의 모듈라 성질을 확인하기 위해.
• 곡선 수세기 맥락에서 유도된 범주와 자코비 형식 사이의 연결 고리를 설정하기 위해.
• 벽을 넘는 기법과 Gromov–Witten 이론을 활용하여 PT 불변량을 위한 새로운 계산 도구를 제공하기 위해.
• K3×E의 경우를 통해 이구사 정수형 불변량 추측에 강력한 증거를 제공하기 위해.

제안 방법

• 타원적 칼라비-유우 3차원의 코herent sheaf의 유도 범주에 대한 치환을 구성하기 위해.
• 벽을 넘는 기법을 사용하여 판드하리파데-타이틀 불변량을 Gromov–Witten 불변량과 연결하기 위해.
• PT 불변량의 생성함수를 모듈라 형식과 자코비 형식의 비율로 표현하기 위해.
• 자코비 형식 이론을 적용하여 생성함수의 타원 변환 법칙을 유도하기 위해.
• 열거 기반과 Gromov–Witten 이론을 사용하여 아벨 3차원과 K3×E에서의 불변량을 계산하기 위해.
• GW/PT 대응관계와 보편적 자코비 형식에 대한 알려진 공식을 활용하여 명시적 표현을 유도하기 위해.

실험 결과

연구 질문

• RQ1 유도된 자가동형사상은 칼라비-유우 3차원에서 곡선 수세기 불변량에 어떻게 영향을 미치는가?
• RQ2 기저에 감소한 클래스를 가진 타원적 칼라비-유우 3차원에서 판드하리파데-타이틀 불변량의 생성함수는 황, 카츠, 클레임이 예측한 바와 같이 모듈라 성질을 가지는가?
• RQ3 K3×E에서 K3에 대한 원시적 클래스를 가진 PT 불변량의 생성함수는 무게 -10인 준자코비 형식인가?
• RQ4 벽을 넘는 기법과 유도된 범주를 사용하여 PT 불변량을 Gromov–Witten 불변량의 형태로 계산할 수 있는가?
• RQ5 결과들이 이구사 정수형 불변량 추측을 지지하는가?

주요 결과

• 기저에 감소한 클래스 H를 가진 타원적 칼라비-유우 3차원에서 PT 불변량의 생성함수는 인덱스 h−1인 자코비 형식의 타원 변환 법칙을 만족하며, 여기서 h는 H의 산술 기하학적 종수이다.
• 시리즈 Z_H(q,t) = PT_H(q,t)/PT_0(q,t)는 K3×E에서 K3에 원시적 클래스를 가진 경우, 무게 -10인 준자코비 형식이며, 이는 이구사 정수형 불변량 추측에 강력한 증거를 제공한다.
• K3×E에서 종수 1인 원시적 클래스 H_1에 대해 생성함수는 PT_H_1(q,t) = 24 · Δ(t)⁻¹ · ℘(q,t)로 주어지며, 여기서 Δ(t)는 모듈라 디스criminant이고 ℘(q,t)는 자코비 형식이다.
• 종수 2인 클래스 H_2를 가진 아벨 3차원 A×E에 대해 생성함수는 PT^A×E_2(q,t) = φ_{-2,1}(q,t)이며, 이는 무게 -2와 인덱스 1의 표준 자코비 형식이다.
• A×E에서 종수 3인 클래스에 대해, GW/PT 대응관계를 가정할 경우 생성함수는 PT^A×E_3(q,t) = 12·℘(q,t)·φ_{-2,1}(q,t)² − ϑ_{D4}(t)·φ_{-2,1}(q,t)²로 주어지며, 여기서 ϑ_{D4}(t)는 테타 함수이다.
• A×E에서 종수 3에 대한 오일러 특성치 형태의 생성함수는 모듈라가 아니며, 이는 모듈라 성질이 직접적인 오일러 특성치로까지 확장되지 않음을 시사한다.