[논문 리뷰] Kodaira dimension of moduli of special cubic fourfolds

Sho Tanimoto, Anthony Várilly‐Alvarado|arXiv (Cornell University)|2015. 09. 04.

Algebraic Geometry and Number Theory인용 수 5

한 줄 요약

이 논문은 Gritsenko, Hulek, 및 Sankaran의 저중량 근형형식 기법을 사용하여 특수 삼차 4차원 곡면의 모듈리 공간 $\mathcal{C}_d$의 코다이라 차원을 결정한다. $d = 6n+2$ 이면서 $n > 18$ 이고 $n \notin \{20,21,25\}$ 인 경우와 $d = 6n$ 이면서 $n > 18$ 이고 $n \notin \{20,22,23,25,30,32\}$ 인 경우, $\mathcal{C}_d$는 일반형이다. 이는 알려지지 않은 경우의 수를 20개의 $d$ 값으로 크게 줄였다. 결과는 이러한 모듈리 공간의 비라시온 기하학과 K3 곡면, 산술 기하학과의 연관성에 대한 이해를 심화시킨다.

ABSTRACT

A special cubic fourfold is a smooth hypersurface of degree three and dimension four that contains a surface not homologous to a complete intersection. Special cubic fourfolds give rise to a countable family of Noether-Lefschetz divisors C_d in the moduli space C of smooth cubic fourfolds. These divisors are irreducible 19-dimensional varieties birational to certain orthogonal modular varieties. We use the "low-weight cusp form trick" of Gritsenko, Hulek, and Sankaran to obtain information about the Kodaira dimension of C_d. For example, if d = 6n + 2, then we show that C_d is of general type for n > 18, n not in {20,21,25}, it has nonnegative Kodaira dimension if n > 13 and if n is not equal to 15. In combination with prior work of Hassett, Lai, and Nuer, our investigation leaves only 20 values of d for which no information on the Kodaira dimension of C_d is known. We discuss some questions pertaining to the arithmetic of K3 surfaces raised by our results.

연구 동기 및 목표

• 큰 판별식 $d$ 에 대해 특수 삼차 4차원 곡면의 모듈리 공간 $\mathcal{C}_d$ 의 코다이라 차원을 결정하는 것.
• Gritsenko, Hulek, 및 Sankaran의 저중량 근형식 기법을 적용하여 $\mathcal{C}_d$ 의 비라시온 기하학을 연구하는 것.
• Hassett, Lai, 및 Nuer의 이전 연구를 바탕으로 하여 $\mathcal{C}_d$ 의 코다이라 차원에 대해 알려지지 않은 경우의 수를 딱 20개의 $d$ 값으로 줄이는 것.
• 특히 유리점과 브라우어 군 토판에 관해 K3 곡면의 산술적 의미를 탐색하는 것.

제안 방법

• 저중량 근형식 기법을 활용하여, 정수계수의 오р토고날 군 위의 모듈러 형식을 이용해 $\mathcal{C}_d$ 의 비라시온 유형을 탐지하는 것.
• $L \hookrightarrow L_{2,26}$ 의 격자 포함을 구성하여, $\mathcal{C}_d$ 가 오르토고날 군과 관련된 모듈러 다양체로 실현되도록 하는 것.
• Borcherds 모듈러 형식의 준-풀백을 분석하여 반사적 초평면을 따라의 영차수를 결정함으로써 코다이라 차원에 대한 정보를 도출하는 것.
• Eichler 기준과 판별군 분석을 적용하여 음의 노름을 가진 원시 벡터의 $\widetilde{O}(L)$-오빗을 분류하는 것.
• Magma 계산을 활용하여 직교보완의 루트 체계의 구조를 검증하고, 모듈러 형식이 분기 초평면을 따라 영이 되는 것을 확인하는 것.
• Gritsenko, Hulek, 및 Sankaran의 연구 결과(즉, $\mathcal{K}_d$ 의 일반형 성질에 관해)를 $\mathcal{C}_d$ 와 $\mathcal{K}_d$ 가 $d \equiv 2 \bmod 6$ 일 때 비라시온 동치임을 고려하여 통합하는 것.

실험 결과

연구 질문

• RQ1 어느 판별식 $d$ 에 대해 특수 삼차 4차원 곡면의 모듈리 공간 $\mathcal{C}_d$ 는 일반형인가?
• RQ2 이 연구 결과를 이전 연구와 결합했을 때, 코다이라 차원이 알려지지 않은 $d$ 의 값은 몇 개인가?
• RQ3 $\mathcal{C}_d$ 가 일반형이라는 것이 산술적으로 어떤 의미를 가지는가? 특히 유리점과 브라우어 군 토판에 관해.
• RQ4 Borcherds 형식의 준-풀백이 $\mathcal{D}_L$ 의 반사적 초평면을 따라 언제 영이 되는가?
• RQ5 $\mathcal{C}_d$ 의 기하학적 및 산술적 성질이 극화된 K3 곡면의 모듈리 공간 $\mathcal{K}_d$ 와 어떻게 관련되어 있는가?

주요 결과

• $d = 6n+2$ 이고 $n > 18$ 이며 $n \notin \{20,21,25\}$ 인 경우, $\mathcal{C}_d$ 는 일반형이다.
• $d = 6n$ 이고 $n > 18$ 이며 $n \notin \{20,22,23,25,30,32\}$ 인 경우, $\mathcal{C}_d$ 는 일반형이다.
• $d = 6n+2$ 이고 $n > 13$ 이며 $n \neq 15$ 인 경우, $\mathcal{C}_d$ 는 비음이 아닌 코다이라 차원을 가진다.
• $d = 6n$ 이고 $n > 16$ 이며 $n \notin \{18,20,22,30\}$ 인 경우, $\mathcal{C}_d$ 는 비음이 아닌 코다이라 차원을 가진다.
• 코다이라 차원이 알려지지 않은 $d$ 의 수는 정확히 20개로 줄어들었다.
• 결과적으로 $\mathcal{C}_{2p^2}$ 는 모든 소수 $p \geq 11$ 에 대해 일반형임을 시사하며, 이는 Bombieri-Lang 추측에 따라 유리점이 흐리게 흩어져 있음을 시사한다.