[논문 리뷰] Log canonical singularities and complete moduli of stable pairs

Valery Alexeev|ArXiv.org|1996. 08. 17.

Algebraic Geometry and Number Theory참고 문헌 13인용 수 46

한 줄 요약

이 논문은 로그 캐논리컬 특이점을 가진 프로젝티브 다양체의 안정 쌍 $(X,B)$에 대한 완전한 모듈리 공간을 구축한다. 이는 $n$-점이 있는 안정 곡선의 모듈리 공간을 일반화한다. 로그 최소 모형 프로그램(차원 $\leq 3$에서 알려져 있음)을 가정할 때, 콤파クト화가 반 로그 캐논리컬 특이점을 통해 이루어지는 안정 쿼드라티크 아벨 쌍 $(P_0, \Theta_0)$의 모듈리 공간이 프로젝티브임을 증명한다. 이는 콜라르의 앰플리튜드 보조정리와 위상정리들을 사용한다.

ABSTRACT

1) Assuming log Minimal Model Conjecture, we give a construction of a complete moduli space of stable log pairs of arbitrary dimension generalizing directly the space M_{g,n} of pointed stable curves. Each stable pair has semi log canonical singularities. 2) We prove that a stable quasiabelian pair, defined by author and I.Nakamura as the limit of abelian varieties with theta divisors, has semi log canonical singularities.

연구 동기 및 목표

• 임의의 차원에서 로그 캐논리컬 특이점을 가진 안정 쌍 $(X,B)$에 대한 완전한 모듈리 공간을 구축함으로써, $M_{g,n}$을 고차원 다양체로 일반화한다.
• 아벨 다양체의 극한으로서 나타나는 안정 쿼드라틱 아벨 다양체와 쌍 $(X,B)$의 특이점을 연구한다.
• 이러한 특이점이 반 로그 캐논리컬임을 확립함으로써, 콜라르의 앰플리튜드 보조정리를 통해 모듈리 콤파クト화의 프로젝티브성을 유도한다.
• 모듈리 콤파クト화와 토로이드 콤파クト화가 로그 캐논리컬 특이점을 가지며, 최소 콤파クト화가 임의의 토로이드 콤파クト화의 로그 캐논리컬 모델임을 보인다.
• 경계 디바이저 $B$가 적절히 정의된 경우, 쌍의 로그 캐논리컬 모델이 최소 콤파クト화와 일치함을 보인다.

제안 방법

• 로그 최소 모형 프로그램(차원 $\leq 3$에서 성립함을 가정)을 사용하여 로그 캐논리컬 특이점을 가진 안정 쌍 $(X,B)$의 모듈리 공간을 구축한다.
• 불변수 조건을 통한 로그 캐논리컬 특이점의 정의를 적용: 공식 $f^*(K_X + B) = K_Y + f^{-1}B + \sum a_i E_i$에서 $a_i \leq 1$.
• 나델의 형태의 카와마타–비에흐 정리를 사용하여 가족 $\pi: P \to S$에서 쌍 $(P, \Theta + P_0)$의 비로그 캐논리컬 위치 $Z$를 제어한다.
• 상대 위상정리 $R^1\pi_* J(\Theta + P_0) = 0$를 이용하여, 사상 $\pi_* \mathcal{O}_P(K_P + \Theta + P_0) \to \pi_* \mathcal{O}_Z(K_P + \Theta + P_0)$의 상사상성(전사성)을 유도한다.
• 로그 조정의 역행과 $Z$가 $\Theta$에 포함되며 중심 섹션에 포함되지 않는 사실을 이용하여, $Z \neq \emptyset$이면 모순이 발생함을 도출함으로써 로그 캐논리컬성을 증명한다.
• 반아벨 군의 작용과 고차 코hom로지의 위상정리에 의해 $\pi_* \mathcal{O}_Z(\Theta) \neq 0$임을 보이고, 이는 영사상 $\phi$와 모순됨을 보여, 비로그 캐논리컬 위치 $Z$가 공집합이어야 함을 증명한다.

실험 결과

연구 질문

• RQ1 로그 최소 모형 프로그램을 가정할 때, 임의의 차원에서 로그 캐논리컬 특이점을 가진 안정 쌍 $(X,B)$의 모듈리 공간을 완전한 것으로 구성할 수 있는가?
• RQ2 안정 쿼드라틱 아벨 쌍 $(P_0, \Theta_0)$의 특이점은 반 로그 캐논리컬인가? 이는 $A_g$의 콤파クト화에 어떤 영향을 미치는가?
• RQ3 모듈리 콤파クト화와 토로이드 콤파クト화가 로그 캐논리컬 특이점을 가지며, 최소 콤파クト화가 임의의 토로이드 콤파クト화의 로그 캐논리컬 모델인가?
• RQ4 경계 디바이저 $B$는 콤파クト화의 로그 캐논리컬 모델을 결정하는 데 어떤 역할을 하는가?
• RQ5 고차 직접 이미지의 위상정리와 반아벨 군의 작용은 $\pi_* \mathcal{O}_Z(\Theta)$의 비위상성을 증명하는 데 어떻게 기여하는가?

주요 결과

• 로그 최소 모형 프로그램을 가정할 때, 로그 캐논리컬 특이점을 가진 안정 쌍 $(X,B)$의 모듈리 공간은 완전하며, $M_{g,n}$을 고차원 다양체로 일반화한다.
• 복소수 위에서의 안정 쿼드라틱 아벨 쌍 $(P_0, \Theta_0)$는 반 로그 캐논리컬 특이점을 가지며, 일반 섹션은 아벨 다양체이고 중심 섹션은 $P_0$인 가족 $\pi: P \to S$를 통해 증명된다.
• 쌍 $(P, \Theta + P_0)$는 로그 캐논리컬 특이점을 가지며, 이는 조정의 역행을 통해 $(P_0, \Theta_0)$가 반 로그 캐논리컬임을 유도한다.
• $\pi_* \mathcal{O}_Z(\Theta)$의 비위상성은 영사상 $\phi$와 모순되며, 이는 비로그 캐논리컬 위치 $Z$가 공집합이어야 함을 증명한다.
• 안정 쿼드라틱 아벨 쌍에 의한 $A_g$의 콤파クト화는 콜라르의 앰플리튜드 보조정리를 반 로그 캐논리컬 쌍에 적용함으로써 복소수 위에서 프로젝티브임을 증명한다.
• 모듈리 콤파クト화와 토로이드 콤파クト화는 로그 캐논리컬 특이점을 가지며, 경계 디바이저 $B$가 적절히 정의된 경우 최소 콤파クト화(Baily–Borel)는 임의의 토로이드 콤파クト화의 로그 캐논리컬 모델이다.