[논문 리뷰] On the birational geometry of varieties of maximal Albanese dimension

Christopher D. Hacon, Rita Pardini|ArXiv.org|2001. 05. 09.

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

한 줄 요약

이 논문은 일반성 있는 소멸 정리, 푸리에-무카이 변환, 그리고 선다발에 대한 코homological 조건을 사용하여 최대 알바네제 차원을 가진 다양체 사이의 사상에 대한 효과적인 이성적 기준을 수립한다. 주요 결과는 일반적으로 유한한 사상이 모든 토션 선다발과 함께 코homology에 대해 동형을 유도할 경우, 그 사상이 이성적임을 보여주며, 콜라르의 추측을 정교화하고 $P_3(X) = 2$ 및 $q(X) = \dim X$인 다양체의 완전한 분류를 이룬다. 분류 결과는 이러한 다양체가 종수 1의 분할 구조를 가진 분할선다발에 대한 이중 덮개임을 드러낸다.

ABSTRACT

We study the birational geometry of varieties of maximal Albanese dimension. In particular we discuss criteria for a generically finite morphism of varieties of maximal Albanese dimension to be birational; we give a new characterization of Theta divisors; we study the Albanese map and refine some of the results of Kollár; finally we use these results to birationally classify varieties with $P_3(X)=2$ and $q(X)=dim (X)$. Our method combines the generic vanishing theorems of Green and Lazarsfeld, the theory of Fourier Mukai transforms and the results of Kollàr on higher direct images of dualizing sheaves.

연구 동기 및 목표

• 최대 알바네제 차원을 가진 다양체 사이의 사상이 이성적임을 보여주는 효과적인 기준을 제공하기 위해.
• P_2(X) = 1 및 q(X) = \dim X를 만족하는 다양체가 아벨 다양체와 이성적임을 추측한 콜라르의 추측을 정교화하기 위해.
• P_3(X) = 2 및 q(X) = \dim X인 매끄럽고 사영인 다양체를 그 알바네제 사상과 이성적 구조를 통해 분류하기 위해.
• 다양체의 다중생성수 조건을 사용하여 알바네제 사상의 상사상이 전사임을 효과적으로 확장하기 위해.

제안 방법

• 그린과 라자르펠드의 일반성 소멸 정리와 푸리에-무카이 변환 이론을 적용하여 캐논리컬 층의 코homological 행동을 분석하기 위해.
• 모든 $P \in \operatorname{Pic}^0(Y)$에 대해 $H^i(Y, \omega_Y \otimes P) \to H^i(X, f_*\omega_X \otimes P)$의 동형 조건을 사용하여 $f: X \to Y$의 이성적 성질을 유도하기 위해.
• 캐논리컬 다발의 비영점 위치인 $V^0(\omega_X)$의 구조를 활용하여 알바네제 사상과 그 역상의 구조를 분류하기 위해.
• 알바네제 사상의 스티븐 인성분해를 분석하여 이미지가 아벨 다양체 위의 이중 덮개임을 보여주기 위해.
• 코homology 내의 쌍대성과 쿠폰 곱의 구조를 사용하여 토션 선다발의 작용 하에서 코homology 군의 동형을 검증하기 위해.
• 콜라르와 카와마타의 알바네제 사상 및 다중생성수에 대한 효과적 경계에 관한 결과를 적용하여 전사성과 이성적 성질을 증명하기 위해.

실험 결과

연구 질문

• RQ1 최대 알바네제 차원을 가진 다양체 사이의 일반적으로 유한한 사상이 어떤 코homological 조건을 만족할 경우 이성적일 수 있는가?
• RQ2 P_3(X) = 2 및 q(X) = \dim X를 만족하는 매끄럽고 사영인 다양체 X의 정확한 이성적 구조는 무엇인가?
• RQ3 P_2(X) = 1 및 q(X) = \dim X일 경우 X가 아벨 다양체와 이성적임을 추측하는 추측을 효과적으로 정교화하거나 확장할 수 있는가?
• RQ4 캐논리컬 다발 $\omega_X$의 코homological 성질과 그 토션 선다벨에 의한 변형이 다양체 X의 이성적 기하학을 어떻게 결정하는가?
• RQ5 P_2(X) = 1 또는 $m \geq 3$에 대해 $P_m(X) \leq 2m - 3$일 경우 알바네제 사상의 구조는 어떻게 되는가?

주요 결과

• 최대 알바네제 차원을 가진 $n$차원 다양체 사이의 일반적으로 유한한 사상 $f: X \to Y$는 모든 $i \geq 0$ 및 모든 $P \in \operatorname{Pic}^0(Y)$에 대해 $H^i(Y, \omega_Y \otimes P) \to H^i(X, f_*\omega_X \otimes P)$가 동형일 경우 이성적이다.
• 차원 $n+1$의 아벨 다양체 $A$로의 사상 $\nu: X \to A$는 이미지 $\bar{X}$에 대해 이성적이며, $\bar{X}$는 주요 편향을 가진다. 조건은 $P \neq 0$일 때 $h^0(X, \omega_X \otimes \nu^*P) = 1$이며, $\nu^*$는 $H^0(\Omega^n)$에 대해 동형을 유도한다.
• 일반형이면서 $Y$가 최대 알바네제 차원인 전사 사상 $f: X \to Y$에 대해 $P_2(X) = P_2(Y)$이면, $f$는 이성적이다.
• 알바네제 사상 $\operatorname{alb}_X: X \to \operatorname{Alb}(X)$는 $P_2(X) = 1$ 또는 어떤 $m \geq 3$에 대해 $0 < P_m(X) \leq 2m - 3$이면 전사적이다. 이는 콜라르의 이전 결과를 정교화한다.
• P_3(X) = 2 및 $q(X) = \dim X$를 만족하는 매끄럽고 사영인 다양체 $X$는 $\operatorname{Alb}(X)$ 위의 이중 덮개이며, 이는 타원곡선 $E$로의 분할 구조 $\phi: \operatorname{Alb}(X) \to E$의 두 서로 다른 섬유의 합집합 위에서 분할된다. 이는 $\operatorname{Spec}(\mathcal{O}_{\operatorname{Alb}(X)} \oplus \phi^*L^{-1} \otimes P)$로 정의되며, 여기서 $L$의 차수는 1이며 $P$는 $\phi^*\operatorname{Pic}^0(E)$에 속하지 않는 비자명한 2-torsion 선다발이다.
• 층 $\operatorname{alb}_{X*}\omega_X$는 $\mathcal{O}_{\operatorname{Alb}(X)} \oplus \tilde{L} \otimes P$와 동형이며, 여기서 $\tilde{L} = (f_*)^*L$이고 $L$은 $\operatorname{Alb}(Y)$ 위의 주요 편향이다. 이는 이중 덮개의 구조를 확인한다.