[논문 리뷰] The moduli space of 5 points on P^1 and K3 surfaces

Shigeyuki Kondō|ArXiv.org|2005. 07. 01.

Algebraic Geometry and Number Theory참고 문헌 10인용 수 8

한 줄 요약

이 논문은 5개의 순서가 부여된 점이 ℙ¹ 위에 있을 때 그 모듈리 공간과 2차원 복소 구강 사이의 이somorphism을 K3 표면의 주기 사상과 함께 증명한다. 이는 순서가 5인 자동형사상을 갖는 K3 표면의 주기 이론을 통해 이루어지며, 5개의 점에 관련된 평면의 5차 곡선으로부터 K3 표면을 구성하고, 그의 호지 구조 및 자동형사상을 분석함으로써 주기 도메인이 복소 구강의 군형화임을 보여주며, 델리뉴-모스토우 프레임워크 내에서 산술군과 연결된다.

ABSTRACT

We show that the moduli space of ordered 5 points on the projective line is isomorphic to an arithmetic quotient of a complex ball by using the theory of periods of K3 surfaces. We also discuss a relation between our uniformization and the one given by Shimura, Terada and Deligne-Mostow.

연구 동기 및 목표

• 순서가 5인 자동형사를 갖는 K3 표면의 주기 이론을 통해 ℙ¹ 위의 5개의 순서가 부여된 점의 모듈리 공간을 군형화하는 것.
• 이 모듈리 공간이 2차원 복소 구강의 산술 몫과 동형임을 보여주는 것.
• 5중 순환 쌍대 커브의 주기를 통해 시무라, 테라다, 델리뉴-모스토우의 고전적 구강 군형화와의 연결을 밝혀내는 것.
• 순서가 5인 자동형사를 갖는 K3 표면과 차수 4의 델 페초 표면의 모듈리 공간 사이의 기하학적 및 산술적 관계를 탐색하는 것.
• D > 6인 델리뉴-모스토우 산술군들이 순서가 5인 특수 자동형사를 갖는 K3 표면과 관련이 있는지 조사하는 것.

제안 방법

• 5개의 점으로 정의된 평면의 5차 곡선 C와 함께, E₀ ∪ C를 분지 곡선으로 하는 ℙ² 위의 이중 쌍대표면의 최소 해소로 K3 표면을 구성한다.
• ζ를 5차 단위근으로 두었을 때, (x₀:x₁:x₂) ↦ (ζx₀:x₁:x₂)의 변환에 의해 유도된 K3 표면 위의 순서가 5인 자동형사상 σ를 정의한다.
• σ에 대한 불변 코homology를 이용하여 주기 도메인을 ℤ[ζ] 위에서 계수(signature)가 (1,2)인 헤르미트 형식에 의해 정의된 2차원 복소 구강으로 식별한다.
• 니쿨린의 격자 이론과 K3 표면의 토렐리 정리를 적용하여, 5점 구성의 모듈리 공간에서 구강 몫 ℬ/Γ′으로 가는 주기 사상이 동형임을 보인다.
• K3 표면과 (C × D)/(ℤ/5ℤ) 사이의 유리 동치를 설정한다. 여기서 C는 5개의 점에서 분지하는 ℙ¹의 5중 순환 쌍대곡선이며, D는 순서가 5인 자동형사를 갖는 종수 2 곡선이다.
• 유도된 구강 군형화를 델리뉴-모스토우 및 시무라의 결과와 비교하여, 헤르미트 형식과 모노드로미 군의 일치를 통해 유사성을 확인한다.

실험 결과

연구 질문

• RQ1 순서가 5인 자동형사를 갖는 K3 표면의 주기 사상에 의해 ℙ¹ 위의 5개의 순서가 부여된 점의 모듈리 공간은 복소 구강 몫에 의해 군형화되는가?
• RQ2 순서가 5인 자동형사를 갖는 K3 표면의 주기 도메인은 델리뉴-모스토우 및 시무라의 고전적 구강 군형화와 어떻게 관련이 있는가?
• RQ3 5개의 점으로부터 구성된 K3 표면과 그 점들에서 분지하는 5중 순환 쌍대곡선 ℙ¹ 사이의 기하학적 관계는 무엇인가?
• RQ4 D > 6인 델리뉴-모스토우 목록에 있는 산술부군 Γ(μᵢ)들은 특수 자동형사를 갖는 K3 표면의 모노드로미 군으로서 실현될 수 있는가?
• RQ5 5점 구성의 모듈리 공간에서 구강 몫으로 가는 주기 사상은 동형을 유도하는가? 그리고 그의 갈루아 구조는 무엇인가?

주요 결과

• ℙ¹ 위의 5개의 순서가 부여된 점의 모듈리 공간은 ℬ/Γ′과 동형이며, 여기서 ℬ는 2차원 복소 구강이고 Γ′은 산술군이다.
• 순서가 5인 자동형사를 갖는 K3 표면의 주기 도메인은 ℤ[ζ] 위에서 계수(signature)가 (1,2)인 헤르미트 형식에 의해 정의된 복소 구강이다. 여기서 ζ는 5차 단위근이다.
• 5점 구성의 모듈리 공간에서 ℬ/Γ′으로 가는 주기 사상은 동형이며, 토렐리 정리와 자동형사상의 보존성을 이용한 단사성과 자리스키의 주정리에 의한 전성으로 증명된다.
• 5개의 점에 관련된 K3 표면은 C × D)/(ℤ/5ℤ)와 유리 동치이며, 여기서 C는 5개의 점에서 분지하는 ℙ¹의 5중 순환 쌍대곡선이고, D는 순서가 5인 자동형사를 갖는 종수 2 곡선이다.
• 구강 군형화에 사용된 헤르미트 형식은 시무라, 테라다, 델리뉴-모스토우의 연구에서 사용된 것과 일치하며, 이는 두 군형화 간의 직접적인 연결을 확립한다.
• 노달형 4차 델 페초 표면의 모듈리 공간은 ℙ¹ 위의 5개의 순서가 부여된 점의 모듈리 공간과 동형이며, 따라서 동일한 복소 구강 몫에 의해 군형화된다.