[논문 리뷰] Moduli spaces of K3 surfaces and complex ball quotients

Igor Dolgachev, Shigeyuki Kondō|ArXiv.org|2005. 11. 02.

Algebraic Geometry and Number Theory참고 문헌 11인용 수 9

한 줄 요약

이 논문은 순환군 작용을 갖는 대수곡선의 고유주기들을 통해 K3 표면과 델 페초 표면의 모듈리 공간에 대한 복소 구분의 균일화를 수립하며, 초기하 주기와 유형 IV 허미트 대칭 공간의 산술 몫으로 연결한다. 주요 기여는 반-twisted 히오지 스펙트럼을 이용해 복소 구분 몫의 주기 도메인으로서 K3 표면을 구성함으로써, 정사각형군과 시무라 유형의 산술 몫을 통한 고차원 모듈리 공간으로의 토렐리 정리의 확장이다.

ABSTRACT

These are lecture notes based on a series of talks given by the authors at the CIMPA Summer School on Algebraic Geometry and Hypergeometric Functions held in Istanbul in Summer of 2005. They provide an introduction to a recent work on the complex ball uniformization of the moduli spaces of Del Pezzo surfaces, K3 surfaces and algebraic curves of lower genus. We discuss the relationship of these constructions with the Deligne-Mostow theory of periods of hypergeometric differentianl forms. For convenience to a non-expert reader we include an introduction to the theory of periods of integrals on algebraic varieties with emphasis on abelian varieties and K3 surfaces.

연구 동기 및 목표

• 복소 구분 몫이 K3 표면과 델 페초 표면의 주기 도메인으로서 모듈리 이론적으로 해석되도록 하는 것.
• 반-twisted 히오지 스펙트럼을 이용해 고차원 모듈리 공간으로의 토렐리 정리를 확장하는 것.
• 순환군 작용을 갖는 대수곡선의 주기 사상과 유형 IV 허미트 대칭 공간의 산술 몫을 연결하는 것.
• 델리뉴-모스토 이론을 통해 P^1 위의 가중치가 부여된 점 구성의 모듈리 공간을 복소 구분 몫으로 실현하는 것.
• (M,ρ)-극화된 K3 표면과 m > 4인 경우 복소 구분 도메인 B_{m-3}의 점 사이의 대응관계를 확립하는 것.

제안 방법

• 순환군 작용과 허수부가 양수인 비실수 특성의 부분집합 Σ를 사용하여, 무게 k의 극화된 히오지 스펙트럼의 반-twist를 구성한다.
• 하나의 부분공간 W ⊂ V 에서 Hodge 유형을 이동시켜 새로운 Hodge 구조 W 를 정의한다: W^{rs} = V_Σ^{r-1,s} ⊕ V_{overline{Σ}}^{r,s-1}.
• 양의 부호와 Hodge-Riemann 양자선형 관계를 유지하기 위해 수정된 극화 형식 Q' = Q(x, g(y)) - Q(x, g^{-1}(y)) 를 도입한다.
• 이를 곡선의 코homology에 적용하며, 특히 m개의 점에서 분지된 P^1 상의 순환삼중피복을 갖는 종수 g 곡선에 적용한다.
• 초기하 미분형식의 고유주기를 사용하여, 복소 구분 몫을 P^1 상의 가중치가 부여된 점 집합의 모듈리 공간으로 실현한다.
• d=3,4,5,6 인 경우, W 상의 얻어진 Hodge 스펙트럼은 Hodge 수 (1, 2m−6, 1) 과 부호 (2, 2m−6) 를 가지며, K3 격자 L_K3 에 임베딩 가능하다.

실험 결과

연구 질문

• RQ1 순환군 작용을 갖는 대수곡선의 주기 사상으로서 복소 구분 몫이 어떻게 K3 표면의 모듈리 공간으로 실현될 수 있는가?
• RQ2 초기하 형식의 고유주기는 어떤 방식으로 델 페초 표면과 K3 표면의 모듈리 공간을 균일화하는 데 기여하는가?
• RQ3 히오지 스펙트럼의 반-twist는 고차원 K3 표면 모듈리 공간의 주기 도메인을 어떻게 통일적으로 구성하는가?
• RQ4 유형 IV 허미트 대칭 공간의 산술 몫은 P^1 상의 가중치가 부여된 점 구성의 모듈리와 어떻게 관련되는가?
• RQ5 d > 6 인 경우, 모노드로미 군 Γ_μ 가 복소 구분 B_{m−3} 상에서 산술 부분군으로 작용하는 조건은 무엇인가?

주요 결과

• P^1 상의 6개의 동일한 가중치를 갖는 점들의 모듈리 공간은, 종수 4 곡선의 순환삼중피복을 갖는 모듈리 공간과 동형이며, 그 임베디드 양자군은 특정 유형의 (Z/3Z)-작용을 갖는다.
• P^1 상의 8개의 동일한 가중치를 갖는 점들의 모듈리 공간은 (M,ρ)-극화된 K3 표면을 매개변수화하는 복소 구분 몫과 동형이며, M = U(2) ⊕ D_4 ⊕ D_4 이다.
• 반-twist를 통해 얻어진 Hodge 스펙트럼은 m > 4 인 경우 Hodge 수 (1, 2m−6, 1) 과 부호 (2, 2m−6) 를 가지며, K3 표면의 Hodge 스펙트럼과 일치한다.
• 이 구성은 (M,ρ)-극화된 K3 표면의 모듈리 공간에서 복소 구분 도메인 B_{m−3} 으로의 전사 주기 사상으로 이어지며, 이를 허미트 대칭 공간의 몫으로 실현한다.
• d=3,4,5,6 인 경우, 모노드로미 군 Γ_μ 는 Aut(B_{m−3}) 의 산술 부분군이며, 주기 사상은 구분 도메인으로 전사적이다.
• 반-twist 구성은 고유주기를 통한 복소 구분 몫을 K3 표면의 모듈리로 통일적으로 실현하는 방법을 제공하며, 고전적 시겔 모듈라 형식을 넘어서 토렐리 정리를 확장한다.