[논문 리뷰] A proof of the Kawamata-Morrison Cone Conjecture for holomorphic symplectic varieties of K3^[n] or generalized Kummer deformation type

Eyal Markman, Kōta Yoshioka|arXiv (Cornell University)|2014. 02. 10.

Algebraic Geometry and Number Theory참고 문헌 15인용 수 7

한 줄 요약

이 논문은 $K3$ 표 superfamiliy의 Hilbert 스킴 또는 일반화된 Kummer 다양체와 변형 동치인 프로젝티브 기하학적 단순 복소 심플렉틱 다양체에 대해 Kawamata-Morrison 쌍대 콘 예측을 증명한다. 이중 양성 네프 콘의 이중 쌍대 콘에서 원시 극단적 클래스의 자기 교차수의 유계성에 기반하여, 자동형군의 작용에 대한 양성 네프 콘 위에 유리 다면체 기본 영역의 존재를 확립함으로써, Conjecture 1.1을 가정할 경우 예측을 확인한다.

ABSTRACT

We prove a version of the Kawamata-Morrison ample cone conjecture for projective irreducible holomorphic symplectic manifolds deformation equivalent to either the Hilbert scheme of n points on a K3 surface, or a generalized Kummer variety.

연구 동기 및 목표

• 기하학적 단순 복소 심플렉틱 다양체에 대해 $K3^{[n]}$-유형 또는 일반화된 Kummer 유형의 Kawamata-Morrison 앰플 쌍대 콘 예측의 버전을 증명하기 위해.
• 자기형군의 작용에 대한 양성 네프 콘 $\operatorname{Nef}_X^+$ 위에 유리 다면체 기본 영역의 존재를 확립하기 위해.
• Conjecture 1.1을 가정할 경우, 주어진 비라지오모르 클래스 내에서 기하학적 단순 복소 심플렉틱 다양체의 동형류 집합이 유한함을 보여주기 위해.
• 기존의 모듈리 공간 및 분할 Zariski 분해 결과를 활용하여, 프로젝티브 경우를 초월해 쌍대 콘 예측을 확장하기 위해.

제안 방법

• 증명은 $X$의 비라지오모르 모델 $Y$에 대해 $\operatorname{Nef}_Y^*$ 내 원시 극단적 클래스의 자기 교차수의 유계성에 기반하며, 이는 Conjecture 1.1을 가정한다.
• Beauville-Bogomolov-Fujiki 쌍대성에 의해 이중 쌍대 콘 $\operatorname{Nef}_X^*$ 와 Mori 쌍대 콘 $\overline{\mathrm{NE}}_1(X)$ 간의 식별을 사용한다.
• 저자들은 Néron-Severi 래티스 $\Lambda = H^{1,1}(X,\mathbb{Z})$ 내의 유리 다면체 쌍대 콘을 분석하고, 양성 쌍대 콘 $\mathcal{C}^+$ 와의 교차를 연구한다.
• 특정 정수 계열 집합의 유한성을 보일 때, $-(v^2)$ 의 유계성과 수직 조건을 기반으로 한 유한성 추론을 적용한다.
• Lemmas 3.1–3.3은 래티스 이론적 분해와 양성 조건을 사용하여, $\mathcal{C}^+$ 내 노름이 유계인 반사선과 수직인 정수 계열의 유한성을 확립한다.
• Proposition 3.4는 이 유한성을 유리 다면체 쌍대 콘으로 일반화하여, 노름이 유계이고 쌍대 콘과 비자명한 교차를 가지는 정수 계열 집합의 유한성을 증명한다.

실험 결과

연구 질문

• RQ1 Conjecture 1.1을 가정할 경우, $\mathrm{Aut}(X)$ 가 $\operatorname{Nef}_X^+$ 위에 작용할 때 유리 다면체 기본 영역이 존재하는가?
• RQ2 유계 극단적 클래스를 사용하여 $K3^{[n]}$-유형 및 일반화된 Kummer 유형의 기하학적 단순 복소 심플렉틱 다양체에 대해 Kawamata-Morrison 쌍대 콘 예측을 확립할 수 있는가?
• RQ3 동일한 가정 하에 고정된 비라지오모르 클래스 내에서 기하학적 단순 복소 심플렉틱 다양체의 동형류 집합이 유한한가?
• RQ4 $\mathcal{MV}_X^+$ 와 $\mathcal{C}^+$ 는 이러한 변형 유형에서 어떻게 상호작용하는가?
• RQ5 이 경우에서 $\operatorname{Nef}_X^e$ 와 $\operatorname{Nef}_X^+$ 를 연결하는 데에 분할 Zariski 분해의 역할은 무엇인가?

주요 결과

• Conjecture 1.1을 가정할 경우, $\mathrm{Aut}(X)$ 가 $\operatorname{Nef}_X^+$ 위에 작용할 때 유리 다면체 기본 영역의 존재가 입증된다.
• 비라지오모르 모델 $Y$ 에 대해 $\operatorname{Nef}_Y^*$ 내 정수, 원시, 극단적 계열의 자기 교차수는 유계이며, 이는 증명의 핵심 입력 요소이다.
• 유리 다면체 쌍대 콘 $\Pi$ 가 $\overline{\mathcal{C}^+}$ 내에 있을 때, $\{v \in \Lambda \mid (v^2) > -N, v^\perp \cap \Pi \cap \mathcal{C}^+ \neq \emptyset\}$ 의 유한성이 증명된다.
• $K3^{[n]}$-유형 및 일반화된 Kummer 유형 다양체에서는 $\mathcal{MV}_X^+ = \mathcal{MV}_X$ 이므로, 이동 가능한 쌍대 콘은 유리 다면체이다.
• $K3^{[n]}$-유형 다양체에서는 $\operatorname{Nef}_X^e = \operatorname{Nef}_X^+$ 이다. 이는 등방성 네프 계열이 효과적임을 의미한다.
• 극단적 계열의 유계성에 기반하여, 비라지오모르 클래스 내에서 기하학적 단순 복소 심플렉틱 다양체의 동형류 집합의 유한성이 도출된다.