[논문 리뷰] On the universal abelian variety of dimension 4

Alessandro Verra|ArXiv.org|2007. 11. 25.

Algebraic Geometry and Number Theory참고 문헌 5인용 수 4

한 줄 요약

이 논문은 모듈리 공간 $\mathcal{A}_4$ 위에서의 보편 주로극화 아벨 다양체와 그 보편 테타 divisor 가 유리다. 프림 다양체, 성질이 5인 곡선의 에탈 이중 쌍염, 그리고 니쿠린 호환을 갖는 K3 곡면을 이용하여, $\mathbb{P}^2 \times \mathbb{P}^2$ 에 매장된 곡선 위의 0-사이클에 대한 유리 매개변수 공간을 구축한다. 이에 따라 모듈리 가속도가 유리 다양체를 지배하게 되며, 이는 차원 4에서 보편 주로극화 아벨 다양체와 보편 테타 divisor 의 유리다를 입증한다.

ABSTRACT

Let A be the moduli space of principally polarized abelian varieties of dimension 4 over an algebraically closed field k of characteristic different from 2,3. It is proved that the universal principally polarized abelian variety over A, as well as the universal theta divisor over A, are unirational varieties.

연구 동기 및 목표

• 모듈리 공간 $\mathcal{A}_4$ 위에서의 보편 주로극화 아벨 다양체 $\mathcal{X}_4$ 의 이분형 기하학을 규명하는 것.
• 모듈리 공간 $\mathcal{A}_4$ 위에서의 보편 테타 divisor 가 유리다, 유리, 또는 일반 유형인지 조사하는 것.
• 특히 유리다와 유리 연결성의 관점에서 $g=4$ 에서의 $\mathcal{X}_g$ 의 코다이라 차원과 유리성에 관한 열린 문제를 해결하는 것.
• 기존에 알려진 $\mathcal{A}_4$ 의 유리다를 프림 다양체와 K3 곡면을 이용한 기하 구축을 통해 그 보편 가속도와 보편 테타 divisor 로 확장하는 것.

제안 방법

• 에탈 이중 쌍염 $\tilde{C} \to C$ 를 통한 성질이 5인 곡선 위의 0-사이클 $d$ 에 대한 유리 매개변수 공간을 $\mathbb{P}^2 \times \mathbb{P}^2$ 에의 매장에 의해 구축한다.
• 니쿠린 호환을 갖는 K3 곡면 $\tilde{S}$ 를 $\mathbb{P}^2 \times \mathbb{P}^2$ 에서의 완전 교차로 정의하며, 이는 곡선 위에 고정점이 없는 호환으로 제한된다.
• $\tilde{S}$ 위의 점, 원추, 및 분할의 구성에 의해 유형 1과 2의 마킹 0-사이클을 정의하며, 선형 계가 차수 8의 붐으로서 보장된다.
• 기본적인 매핑 $\phi_i$ 를 통한 프림 다양체의 모듈리 공간으로의 전반적 매핑을 보장하기 위해, 4-튜플 $(o, \tilde{S}, d, \tilde{C})$ 의 가속도 $\tilde{\mathbb{C}}_i$ 를 구축한다.
• 페트리 매핑의 계수 차원이 1이며, $|d|$ 가 기저점 없음을 이용하여 매개변수 공간에 유리적 구조가 존재함을 보장한다.
• 짝수성 보조정리와 초평면 절단의 성질을 적용하여 전방성과 기약성을 검증하고, 매핑 $\phi_i$ 의 전반성 확보.

실험 결과

연구 질문

• RQ1 모듈리 공간 $\mathcal{A}_4$ 위에서의 보편 주로극화 아벨 다양체 $\mathcal{X}_4$ 는 유리다?
• RQ2 모듈리 공간 $\mathcal{A}_4$ 위에서의 보편 테타 divisor 는 유리다?
• RQ3 프림 구축을 통해 $\mathcal{A}_4$ 의 유리다를 그 보편 가속도와 보편 테타 divisor 로 확장할 수 있는가?
• RQ4 K3 곡면의 니쿠린 호환과 $\mathbb{P}^2 \times \mathbb{P}^2$ 매장과 같은 기하 구조는 모듈리 공간의 유리 매개변수화를 가능하게 하는가?

주요 결과

• 보편 주로극화 아벨 다양체는 $\tilde{\mathbb{C}}_1$ 이 유리적임을 보장하는 전반적 유리 매핑 $\phi_1: \tilde{\mathbb{C}}_1 \to \mathcal{W}_1$ 에 의해 유리다로 입증된다.
• 보편 테타 divisor 는 유리적 가속도의 4-튜플에서의 전반적 유리 매핑 $\phi_2: \tilde{\mathbb{C}}_2 \to \mathcal{W}_2$ 로 인해 유리다로 입증된다.
• 유형 1의 마킹 0-사이클의 가속도 $\mathbb{D}_1$ 은 유리적임을 보여주며, 이는 구축을 위한 유리 매개변수 공간을 제공한다.
• 선형 계 $|\operatorname{Im} \mu|$ 는 $\tilde{C}$ 를 $\mathbb{P}^2 \times \mathbb{P}^2$ 에 임베딩하며, $\mathbb{P}^8$ 에서 초평면이 되는 선형 스트레칭을 정의함으로써 기하 구축을 가능하게 한다.
• 일반적인 $\tilde{C}$ 에 대해 페트리 매핑 $\mu: H^0(L) \otimes H^0(i^*L) \to H^0(\omega_{\tilde{C}})$ 는 계수 차원이 1이며, 필요한 선다발과 임베딩의 존재를 보장한다.
• $i=1,2$ 에 대해 매핑 $\phi_i: \tilde{\mathbb{C}}_i \to \mathcal{W}_i$ 는 전반적임을 보여주며, 이는 보편 p.p.a.v. 와 보편 테타 divisor 가 유리다로 입증된다.