[논문 리뷰] Calabi-Yau Threefolds and Moduli of Abelian Surfaces I

Mark Gross, Sorin Popescu|ArXiv.org|2000. 01. 14.

Algebraic Geometry and Number TheoryMathematics인용 수 18

한 줄 요약

이 논문은 극화된 아벨 표면의 모듈리 공간에 대해 비형식 모델을 구축하며, 특히 Alev_6가 P^4 안의 매끄러운 쌍곡면과 비형식적임을 증명하고, Alev_8가 P^2 위의 유리적 원기둥 다발과 비형식적임을, Alev_10이 P^3/Z2×Z2의 몫과 비형식적임을 보인다. 이러한 결과들은 이 모듈리 공간들의 유리성 또는 유리성의 성립을 확립하며, 대칭 행렬로 정의된 특이한 삼차다양체의 해소에서 얻어지는 아벨 표면의 피브리레이션을 통해 칼라비-야우 삼차다양체와 깊은 연관성을 드러낸다.

ABSTRACT

We describe birational models and decide the rationality/unirationality of moduli spaces AA_{d} (and AA^{lev}_{d}) of (1,d)-polarized abelian surfaces (with canonical level structure, respectively) for small values of d. The projective lines identified in the rational/unirational moduli spaces correspond to pencils of abelian surfaces traced on nodal threefolds living naturally in the corresponding ambient projective spaces, and whose small resolutions are new Calabi-Yau threefolds with Euler characteristic zero.

연구 동기 및 목표

• 작은 d에 대해 Alev_d의 비형식 기하학을 규명하는 것, 특히 d = 6, 8, 10일 경우.
• 명시적인 비형식 모델을 구성하여 이러한 모듈리 공간들의 유리성 또는 유리성의 성립을 확립하는 것.
• 특정 선형계를 포함하는 (1,d)-극화된 아벨 표면을 포함하는 특이한 삼차다양체의 해소로부터 유도된 칼라비-야우 삼차다양체의 역할을 탐구하는 것.
• 이러한 모듈리 공간의 기하학을 허록스-멈포드 오목십차곡과 소수의 팔리오 삼차다양체와 같은 알려진 예제들과 연결하는 것.
• 높은 차원의 모듈리 공간에서 코다이라 차원을 결정하고, 비유리성의 성립을 이해하는 데 기초를 마련하는 것.

제안 방법

• d=8일 경우 X ⊂ P^7, d=6일 경우 X ⊂ P^4로 정의되는 삼차다양체 X를 대칭 행렬과 선형계를 사용하여 정의하며, 이들 삼차다양체는 아벨 표면을 완전교차로 포함한다.
• 작은 해소 π: eX → X를 구성하여 아벨 표면 피브리레이션을 가진 칼라비-야우 삼차다양체를 도출한다.
• (1,d)-극화된 아벨 표면의 동차 아이디얼 분석을 통해 d=8일 경우 아이디얼이 4개의 이차형식과 16개의 삼차형식으로 생성됨을 보인다.
• 헤이젠베르그 불변성과 대칭 행렬의 모듈라이를 활용하여 이러한 삼차다양체의 가속이 P^2-_bundle를 이룬다는 것을 보이며, 이는 Alev_8의 원기둥 다발의 구조를 이끌어낸다.
• 대칭 행렬 구성법을 사용하여 P^3에서 Z2×Z2의 몫을 통해 Alev_10의 명시적 비형식 매개화를 수행한다.
• 특이한 삼차다양체의 해소를 허록스-멈포드 오목십차곡과 비교하여 칼라비-야우 구조와 특이점의 성격(50개의 일반 이중점)을 유추한다.

실험 결과

연구 질문

• RQ1 Alev_6는 P^4 안의 매끄러운 쌍곡면과 비형식적일까? 이는 그의 유리성에 어떤 함의를 갖는가?
• RQ2 Alev_8는 P^2 위의 유리적 원기둥 다발로 기술될 수 있는가? 이는 그의 정의 삼차다양체 기하학으로부터 어떻게 유도되는가?
• RQ3 Alev_10의 비형식적 기하학적 구조는 무엇이며, P^3의 Z2×Z2 몫은 그 모듈리 공간과 어떻게 관련되어 있는가?
• RQ4 대칭 행렬로부터 유도된 칼라비-야우 삼차다양체는 허록스-멈포드 오목십차곡과 같은 알려진 예제들과 어떻게 관련되어 있는가?
• RQ5 이 칼라비-야우 삼차다양체의 최소 모델의 칼라비-야우 코ーン 기하학은 무엇이며, 이는 피브리레이션의 기하학을 어떻게 반영하는가?

주요 결과

• Alev_6는 P^4 안의 비특이 쌍곡면 곡면과 비형식적임을 보이며, 이는 그의 유리성을 확립한다.
• Alev_8는 P^2 위의 유리적 원기둥 다발과 비형식적임을 보이며, 이는 64개의 일반 이중점을 가진 헤이젠베르그 불변 삼차다양체의 P^2-가속에서 기인한다.
• Alev_10은 몫 P^3/Z2×Z2와 비형식적임을 보이며, 여기서 작용은 (x1:x2:x3:x4) ↦ (x4:x3:x2:x1) 및 (x1:x2:x3:x4) ↦ (x1:−x2:x3:−x4)로 주어지며, 이 몫은 유리적이다.
• d=8에 대해 X ⊂ P^7은 4개의 이차형식과 16개의 삼차형식의 완전교차로 이루어져 있으며, 특이점 집합은 64개의 일반 이중점으로 구성된다.
• X의 작은 해소는 아벨 표면 피브리레이션을 가진 칼라비-야우 삼차다양체를 얻으며, 이 해소는 허록스-멈포드 오목십차곡의 이중 덮개와 동형이다.
• 일반적인 y에 대해 삼차다량 W10,y는 25개의 일반 이중점을 가지며, 대칭 행렬로 정의된 특이 삼차다양체의 분지 없는 이중 덮개로서 얻어진다.