[논문 리뷰] The Moduli Space of Abelian Varieties and the Singularities of the Theta Divisor

Ciro Ciliberto, Gerard van der Geer|ArXiv.org|1999. 11. 17.

Algebraic Geometry and Number Theory참고 문헌 12인용 수 16

한 줄 요약

이 논문은 주로 편평한 극화된 아벨 다양체의 모듈리 공간 $\mathcal{A}_g$ 내에서, 테타 분할의 특이점 집합이 $k$차원인 다양체를 매개변수화하는 $N_k$의 임계차원을 조사한다. 대수기하학 기법을 사용하여, 가우스 사상, 이차형식의 평행에 관한 세그레의 정리, 그리고 마츠사카-란 기준을 적용함으로써, $N_1$의 임계차원에 대해 날카로운 하한을 확립한다. 이에 따라, 임계차원 3은 정확히 히퍼에일리프틱 다양체의 집합 $\mathcal{H}_4$와 양각 다양체의 집합 $J_5$에서 발생하며, 이러한 성질을 가진 구성요소는 유일하다는 추측을 제기한다.

ABSTRACT

In this paper we give a lower bound for the codimension of the Andreotti-Mayer loci in the moduli space of principally polarized complex abelian varieties. We also present a conjecture on this codimension.

연구 동기 및 목표

• 주로 편평한 극화된 아벨 다양체의 모듈리 공간 $\mathcal{A}_g$ 내에서, 테타 분할의 특이점 집합이 $k$차원인 다양체를 매개변수화하는 $N_k$의 기하학적 구성요소의 임계차원을 결정하는 것.
• 테타 분할의 1차원 특이점 집합을 가진 $N_1$의 임계차원에 대해 날카로운 하한을 확립하는 것.
• 임계차원 3인 $N_1$의 기하학적 구성요소를 특성화하고, 그것이 정확히 히퍼에일리프틱 다양체의 집합 $\mathcal{H}_4$와 양각 다양체의 집합 $J_5$임을 추측하는 것.
• 가우스 사상, 세그레의 정리에 의한 이차형식 평행의 성질, 마츠사카-란 기준과 같은 기하학적 기법을 적용하여, 테타 분할의 특이점과 그 모듈라이 이론적 의미를 분석하는 것.

제안 방법

• 주로 편평한 극화된 아벨 다양체 $(X,\Theta)$의 테타 분할 $\Theta$의 특이점 집합 $\operatorname{Sing}(\Theta)$의 차원과 기하학적 성질을 분석한다.
• 특이점 집합의 차원이 $k$일 때, $\dim \operatorname{Sing}(\Theta) = k$이면, $\Sigma$는 $\mathbb{P}^{k+2}$에 포함되는 이미지를 가지는 가우스 사상 $\gamma: \operatorname{Sing}(\Theta) \to \mathbb{P}^{k+2}$를 사용하여 분석한다.
• 이차형식 평행에 관한 세그레의 정리를 적용하여, $\Sigma$의 차수를 유계화함으로써, 비퇴화 조건 하에서의 모순을 이끌어내며, 비퇴화일 경우 선을 포함함을 보장한다.
• 마츠사카-란 기준을 적용하여, 특이 곡선 $R \subset \operatorname{Sing}(\Theta)$의 호가 최소 호 $\alpha = \Theta^{g-1}/(g-1)!$의 배수이면, $X$는 양각 또는 프림 다양체여야 한다는 결론을 이끌어낸다.
• 가우스 사상이 $-1$-대칭에 의해 인자화된다는 사실을 이용하여, $R \to \Sigma$ 사상의 차수는 최소 2이며, 이 차수가 정확히 2일 때의 조건을 분석함으로써, 임계차원을 제약한다.
• 네트 $|\Sigma|$ 내의 특이 이차형식의 판별식 집합 $\Delta$를 분석하여, $\operatorname{Sing}(\Theta)$의 구조에 대한 기하학적 제약 조건을 도출한다.

실험 결과

연구 질문

• RQ1 모듈리 공간 $\mathcal{A}_g$ 내에서 $N_1$의 기하학적 구성요소의 최소 가능한 임계차원은 무엇인가?
• RQ2 임계차원 3인 $N_1$의 기하학적 구성요소는 무엇이며, 기하학적으로 특성화할 수 있는가?
• RQ3 테타 분할의 1차원 특이점 집합 위에서의 가우스 사상이 차수 2를 가질 조건은 무엇이며, 이는 모듈라이 공간에 어떤 의미를 갖는가?
• RQ4 특이점 집합 $\operatorname{Sing}(\Theta)$가 유리 곡선 또는 평면 오차형 곡선 위로 2:1로 매핑되는 곡선일 경우, 이러한 $X$의 분류가 가능한가?
• RQ5 이차형식 평행에 관한 세그레의 정리를 사용하여, $N_1$의 구성요소에 대해 더 높은 임계차원을 배제할 수 있는가?

주요 결과

• 모든 $N_1$의 기하학적 구성요소의 임계차원은 최소 3이며, 이 하한은 날카로운 것으로 판명된다. 즉, 임계차원 3은 정확히 히퍼에일리프틱 다양체의 집합 $\mathcal{H}_4$와 양각 다양체의 집합 $J_5$에서만 발생한다.
• 모듈라 차수 $g=4$일 때, 히퍼에일리프틱 다양체의 집합 $\mathcal{H}_4$는 $N_{1,1}$의 기하학적 구성요소로서 임계차원 3을 가지며, 테타 분할의 특이점 집합은 $\mathbb{P}^3$ 내의 차수 3의 유리 정규 곡선으로 2:1로 매핑된다.
• 모듈라 차수 $g=5$일 때, 양각 다양체의 집합 $J_5$는 $N_{1,1}$의 기하학적 구성요소로서 임계차원 3을 가지며, 특이점 집합은 종수 11인 곡선으로, 프림 캐논리컬 사상 하에서 평면 오차형 곡선으로 2:1로 매핑된다.
• 임계차원 3인 구성요소 $N$과 일반적인 점 $[X,\Theta]$가 $N$에 속해 있을 경우, 마츠사카-란 기준에 의해 $X$는 양각 또는 프림 다양체여야 한다.
• 가우스 사상 $R \to \Sigma$의 차수가 정확히 2이기 위한 필요충분조건은 $R$의 호가 최소 호 $\alpha = \Theta^{g-1}/(g-1)!$의 배수임이며, 이 조건은 임계차원 3일 때 필수적이다.
• 저자들은 $\mathcal{H}_4$와 $J_5$ 외에 임계차원 3인 $N_1$의 기하학적 구성요소가 존재하지 않을 것이라 추측하며, 이 임계차원 하한은 $g=4$와 $g=5$에서 날카로운 것으로 보인다.