[논문 리뷰] Gromov-Witten theory and Noether-Lefschetz theory

Davesh Maulik, Rahul Pandharipande|arXiv (Cornell University)|2007. 05. 11.

Algebraic Geometry and Number Theory참고 문헌 44인용 수 80

한 줄 요약

이 논문은 3차원 다양체의 Gromov-Witten 불변량과 K3 표면의 모듈리 공간 내 Noether-Lefschetz 분리다이버전 사이의 깊은 연결을 수립한다. Borcherds의 θ-상승과 O(2,19) 격자 위에서의 Kudla-Millson 이론을 활용하여, 2, 4, 6, 8차 K3 표면의 Noether-Lefschetz 차수를 계산하며, 이들이 무게 21/2, 수준 8인 모듈라 형식의 푸리에 계수임을 보여준다—특히 4차 K3 표면의 경우에 해당한다. 이 작업은 고전적 수세기 기하학적 결과를 확인하며, Noether-Lefschetz 분리다이버전이 모듈리 공간의 유리 피카르 군을 생성한다고 추측한다.

ABSTRACT

Noether-Lefschetz divisors in the moduli of K3 surfaces are the loci corresponding to Picard rank at least 2. We relate the degrees of the Noether-Lefschetz divisors in 1-parameter families of K3 surfaces to the Gromov-Witten theory of the 3-fold total space. The reduced K3 theory and the Yau-Zaslow formula play an important role. We use results of Borcherds and Kudla-Millson for O(2,19) lattices to determine the Noether-Lefschetz degrees in classical families of K3 surfaces of degrees 2, 4, 6 and 8. For the quartic K3 surfaces, the Noether-Lefschetz degrees are proven to be the Fourier coefficients of an explicitly computed modular form of weight 21/2 and level 8. The interplay with mirror symmetry is discussed. We close with a conjecture on the Picard ranks of moduli spaces of K3 surfaces.

연구 동기 및 목표

• 1-파라미터 가중치 K3 표면 가중치에서 Noether-Lefschetz 분리다이버전의 차수를 3차원 총공간의 Gromov-Witten 불변량과 연결하는 것.
• 모듈라 형식과 격자 이론적 기법을 사용하여, 2, 4, 6, 8차의 고전적 K3 표면 가중치에서 Noether-Lefschetz 차수를 계산하는 것.
• Gromov-Witten 이론을 통해 계산된 이 차수들이 고전적 수세기 기하학적 계수(예: K3 표면 위의 직선 수 또는 타원곡선 수)와 일치하는지 모듈라 자료를 통해 검증하는 것.
• Noether-Lefschetz 분리다이버전이 준-편광 K3 표면의 모듈리 공간의 유리 피카르 군을 생성한다고 추측하는 것.

제안 방법

• 3차원 총공간의 Gopakumar-Vafa BPS 상태 수를 활용하여, 3차원 총공간의 Gromov-Witten 불변량을 K3 섬유 위의 감소 불변량과 연결한다.
• Borcherds의 θ-상승과 O(2,19) 격자 위에서의 Kudla-Millson 이론을 적용하여, Noether-Lefschetz 차수의 생성함수를 계산한다.
• 레마 7의 허드 기여, 노드 기여 및 Castelnuovo 소멸 조건을 활용하여 모듈라 형식의 구조를 결정한다.
• 거울 대칭과 초함수 항등식을 통해 4차 K3 표면에 대해 무게 21/2, 수준 8인 모듈라 형식을 명시적으로 유도한다.
• 가분성 m을 갖는 정밀 분리다이버전 $D_{m,h,d}$를 정의하여, 교차 이론을 통해 정밀 Noether-Lefschetz 수 $NL^{ au}_{m,h,d}$를 유도한다.
• Bruinier의 공식을 적용하여, Noether-Lefschetz 분리다이버전이 생성하는 피카르 군 차원을 계산하며, 무게 21/2, 표현 $ ho_l^*$를 갖는 정점형식을 사용한다.

실험 결과

연구 질문

• RQ1 1-파라미터 K3 표면 가중치에서 Noether-Lefschetz 분리다이버전의 차수는 3차원 총공간의 Gromov-Witten 불변량과 어떻게 관련되어 있는가?
• RQ2 2, 4, 6, 8차 이하의 고전적 K3 표면 가중치에서 Noether-Lefschetz 차수의 생성함수의 모듈라 구조는 무엇인가?
• RQ3 Gromov-Witten 이론을 통해 계산된 Noether-Lefschetz 차수는 고전적 수세기 기하학적 계수(예: K3 표면 위의 직선 수 또는 타원곡선 수)와 일치하는가?
• RQ4 모듈리 공간 $\mathcal{M}_l$의 유리 피카르 군은 Noether-Lefschetz 분리다이버전으로 완전히 생성될 수 있는가?

주요 결과

• 4차 K3 표면의 경우, Noether-Lefschetz 차수는 무게 21/2, 수준 8인 모듈라 형식의 푸리에 계수이며, 본 논문에서 명시적으로 계산되었다.
• 격자 $\begin{pmatrix}6&3\\3&0\end{pmatrix}$에 대한 Noether-Lefschetz 차수는 168이며, 이는 타원곡선의 고전적 계수와 정확히 일치한다.
• 격자 $\begin{pmatrix}6&1\\1&-2\end{pmatrix}$에 대한 Noether-Lefschetz 차수는 198이며, 일반적인 6차 K3 표면 위의 직선 수를 확인한다.
• 8차 K3 표면의 경우, 직선을 포함하는 섬유의 수는 128개이며, 고전적 기하학과 일치하며 모듈라 형식 계산 결과와도 일치한다.
• $\mathcal{M}_l$의 유리 피카르 군을 구성하는 Noether-Lefschetz 분리다이버전의 차원은 $1 + \frac{31}{24} + \frac{31}{48}l - \cdots$로 계산되었으며, $l=2,4,6$일 때의 명시적 값은 각각 2, 3, 4이다.
• Noether-Lefschetz 분리다이버전이 $\mathrm{Pic}(\mathcal{M}_l)\otimes\mathbb{Q}$를 생성한다고 하는 추측은 $l=2$ 및 $l=4$일 때 기존의 피카르 랭크와의 일치를 통해 검증되었다.