[논문 리뷰] On the moduli space of pairs consisting of a cubic threefold and a hyperplane

Radu Laza, Gregory Pearlstein외 1명|arXiv (Cornell University)|2017. 10. 23.

Algebraic Geometry and Number Theory참고 문헌 30인용 수 3

한 줄 요약

이 논문은 삼차 3차곡면 X와 ℙ⁴ 내의 초평면 H로 구성된 쌍 (X,H)의 모듈리 공간에 대해 Hodge 이론적 주기 매핑을 구축한다. 이 매핑은 각 쌍을 에크아르도트 점을 갖는 격자에 의해 극화된 삼차 4차곡면 Y에 대응시킨다. 주요 결과는 주기 매핑이 모듈리 공간의 GIT 몫 모델과 유형 IV 국소 대칭 도메인의 Baily-Borel 컴팩티피케이션 사이에 동형사상을 유도한다는 것이다.

ABSTRACT

We study the moduli space of pairs $(X,H)$ consisting of a cubic threefold $X$ and a hyperplane $H$ in $\mathbb P^4$. The interest in this moduli comes from two sources: the study of certain weighted hypersurfaces whose middle cohomology admit Hodge structures of $K3$ type and, on the other hand, the study of the singularity $O_{16}$ (the cone over a cubic surface). In this paper, we give a Hodge theoretic construction of the moduli space of cubic pairs by relating $(X,H)$ to certain "lattice polarized" cubic fourfolds $Y$. A period map for the pairs $(X,H)$ is then defined using the periods of the cubic fourfolds $Y$. The main result is that the period map induces an isomorphism between a GIT model for the pairs $(X,H)$ and the Baily-Borel compactification of some locally symmetric domain of type IV.

연구 동기 및 목표

• 삼차 3차곡면 X와 ℙ⁴ 내의 초평면 H로 이루어진 쌍 (X,H)에 대한 Hodge 이론적 모듈리 공간을 구축하기.
• 에크아르도트 점을 갖는 삼차 4차곡면 Y와의 관계를 규명하기, 즉 삼차 표면을 바탕으로 한 콘을 초평면 절단으로 포함하는 삼차 4차곡면.
• 관련된 삼차 4차곡면 Y의 주기를 이용해 쌍 (X,H)에 대한 주기 매핑을 정의하기.
• 주기 매핑이 모듈리 공간의 GIT 몫 모델과 유형 IV 국소 대칭 도메인의 Baily-Borel 컴팩티피케이션 사이에 동형사상을 유도함을 증명하기.
• 격자 극화와 Torelli 유형 정리들을 통해 주기 매핑의 Hodge 이론적 컴팩티피케이션을 제공하기.

제안 방법

• 쌍 (X,H)로부터 ℙ⁴의 X ∪ H를 분지로 하는 이중 쌍대를 취함으로써 삼차 4차곡면 Y를 구성하며, 이는 ℙ(1,2,2,2,2,3) 내의 차수 6의 준스무스 가중 초곡면이 된다.
• 관련된 삼차 4차곡면 Y를 M-극화된 것으로 특성화하며, 여기서 M은 H⁴(Y,ℤ) ∩ H²²(Y) 내의 포화된 부분격자로, 초평면 클래스와 삼차 표면 X ∩ H로부터 유도된 스케일링된 E₆ 격자로 생성된다.
• Voisin의 삼차 4차곡면에 대한 Torelli 정리와 격자 이론을 활용하여, (X,H)의 모듈리 공간이 유형 IV의 국소 대칭 도메인과 유리형임을 보인다.
• 주기 매핑 𝒫₀: 𝒪₀ → 𝒟ₘ / O⁺(T)를 정의하며, 여기서 T = M⊥은 H⁴(Y,ℤ) 내의 정수 격자이고, 𝒟ₘ는 Hodge 수 (0,1,14,1,0)를 갖는 T 위의 무게 4 Hodge 구조의 주기 도메인이다.
• Torelli 정리와 격자 M의 기하학적 성질을 활용하여 주기 매핑이 그 이미지 위에 동형임을 증명한다.
• 국소 대칭 도메인의 Baily-Borel 컴팩티피케이션으로의 확장을 통해 주기 매핑을 컴팩티피케이션한다.

실험 결과

연구 질문

• RQ1 삼차 3차곡면과 초평면으로 이루어진 쌍 (X,H)의 모듈리 공간은 Hodge 이론을 통해 어떻게 구성될 수 있는가?
• RQ2 이러한 쌍 (X,H)로부터 유도된 삼차 4차곡면의 Hodge 이론적 특성은 무엇인가?
• RQ3 관련된 삼차 4차곡면 Y의 주기를 통해 쌍 (X,H)의 모듈리 공간에 대한 주기 매핑을 정의할 수 있는가?
• RQ4 모듈리 공간 (X,H)에서 유도된 주기 매핑이 국소 대칭 도메인으로 가는 매핑이 동형인지 여쭙는다.
• RQ5 주기 매핑의 컴팩티피케이션은 대칭 도메인의 Baily-Borel 컴팩티피케이션과 어떻게 관련이 있는가?

주요 결과

• 매끄러운 삼차 쌍 (X,H)의 모듈리 공간은 유형 IV의 국소 대칭 도메인과 유리형이다.
• 주기 매핑 𝒫₀: 𝒪₀ → 𝒟ₘ / O⁺(T)는 그 이미지 위에 동형이며, 이는 모듈리 공간의 Hodge 이론적 균일화를 확립한다.
• 관련된 삼차 4차곡면 Y는 M-극화된 것으로 특성화되며, 여기서 M은 H⁴(Y,ℤ) ∩ H²²(Y) 내의 포화된 부분격자로, 삼차 표면 X ∩ H로부터 유도된 스케일링된 E₆ 격자를 포함한다.
• 주기 도메인 𝒟ₘ는 Hodge 수 (0,1,14,1,0)를 갖는 T = M⊥ 위의 무게 4 Hodge 구조를 매개한다.
• 군 O⁺(T)는 𝒟ₘ의 안정자로 작용하며, 몫 𝒟ₘ / O⁺(T)는 (X,H)의 모듈리 공간의 GIT 몫 모델과 동형이다.
• 이 구성은 대칭 도메인의 Baily-Borel 컴팩티피케이션을 통해 Hodge 이론적 방법으로 모듈리 공간의 컴팩티피케이션을 제공한다.