[논문 리뷰] Abundance for Kaehler threefolds

Frédéric Campana, Andreas Hoering외 1명|arXiv (Cornell University)|2014. 03. 13.

Geometry and complex manifolds참고 문헌 30인용 수 8

한 줄 요약

이 논문은 캐논칼 디바이저 $K_X$ 가 네프일 경우, 그 어떤 배수 $mK_X$ 도 전역적으로 생성된다는, 즉 $K_X$ 가 반-준비적임을 증명함으로써, 종단 특이성을 가진 컴acts Kähler 세븐포르드에 대한 풍부성 추측을 확립한다. 증명은 Kähler 세븐포르드에서 로그 쌍에 대한 최소 모형 프로그램을 확장하고, 쌍대 Kähler 콘에 대한 일반화된 원뿔 정리와 계약 정리를 사용하며, 알바네제 사상과 유한 커버를 분석하여, 비자명한 캐논칼 클래스를 가진 수치적 차원 0의 경우를 배제한다.

ABSTRACT

Let X be a compact Kaehler threefold with terminal singularities such that K\\_X is nef. We prove that K\\_X is semiample.

연구 동기 및 목표

• 종단 특이성을 가진 컴팩트 Kähler 세븐포르드에 대한 풍부성 추측을 확립하기 위해.
• 비대수적 환경에서 Kähler 세븐포르드에 대한 로그 쌍에 대한 최소 모형 프로그램을 확장하기 위해.
• Kähler 범주에서 캐논칼 디바이저의 네프성질이 반-준비적임을 증명하기 위해.
• 양의 차원 부분다양체를 가지지 않는 단순한 Kähler 세븐포르드의 구조에 대한 오랜 기간 동안의 추측을 해결하기 위해.
• 모든 비대수적 Kähler 세븐포르드에서 $\kappa(X) = 0$ 인 경우, 유한 커버가 토러스 또는 타원 곡선과 K3 표면의 곱과 바이메르모르피크임을 보여주기 위해.

제안 방법

• 유리 특이성을 가진 Kähler 세븐포르드에서의 lc 쌍에 대해 약한 원뿔 정리를 확립하여, 모리 콘 대신 쌍대 Kähler 콘 $\overline{\mathrm{NA}}(X)$ 를 사용한다.
• dlt 및 slc 특이성 가정 하에 $(K_X + \Delta)$-음성 극단선에 대한 계약 정리를 증명한다.
• 기저점 자유 정리와 카와마타의 기준을 사용하여, 풍부성 문제를 $\kappa(X) = \nu(X)$ 를 증명하는 것으로 환원한다.
• 캐논칼 번들의 자명한 유한 순환 커버 $X' \to X$ 에 대해 알바네제 사상 $\alpha: X' \to \mathrm{Alb}(X')$ 을 분석한다.
• 아벨 다양체 위에서의 타원 및 피브리케이션 구조에 관한 결과를 적용하여, $\kappa(X) = 0$ 일 때 $X'$ 의 기하학적 구조를 분류한다.
• 유한 에탈 기저 변경과 상대 MMP 를 사용하여, $X'$ 가 토러스 또는 $A' \times F$ 의 곱과 바이메르모르피크임을 보여준다. 여기서 $F$ 는 K3 또는 토러스 표면이다.

실험 결과

연구 질문

• RQ1 종단 특이성을 가진 컴팩트 Kähler 세븐포르드에 대해 풍부성 추측이 성립하는가?
• RQ2 비대수적 Kähler 세븐포르드에서 로그 쌍에 대한 최소 모형 프로그램을 확장할 수 있는가?
• RQ3 모든 양의 차원 부분다양체를 가지지 않는 비대수적 Kähler 세븐포르드에서 $\kappa(X) = 0$ 인 경우의 기하학적 구조는 무엇인가?
• RQ4 Kähler 세븐포르드에서 네프 캐논칼 디바이저가 반-준비적일 조건은 무엇인가?
• RQ5 모든 비상수의 메르모르피크 함수를 가지지 않으며 $\kappa(X) = 0$ 인 컴팩트 Kähler 세븐포르드는 토러스의 몫과 바이메르모르피크인가?

주요 결과

• 모든 $\mathbb{Q}$-팩터링 컴팩트 Kähler 세븐포르드에서 종단 특이성과 $K_X$ 가 네프일 경우, 캐논칼 디바이저 $K_X$ 는 반-준비적이다.
• 이러한 세븐포르드에서 수치적 차원 $\nu(X)$ 는 코다이라 차원 $\kappa(X)$ 와 일치하며, 이는 풍부성 추측의 핵심 단계를 확인한다.
• 모든 비대수적 컴팩트 Kähler 세븐포르드에서 $\kappa(X) = 0$ 인 경우, 토러스 또는 타원 곡선과 K3 표면의 곱과 바이메르모르피크인 유한 에탈 커버를 가진다.
• 단순한 Kähler 세븐포르드(매우 일반적인 점을 통과하는 양의 차원 부분다양체가 없는 경우)에 대해, 토러스 $T$ 와 유한군 $G$ 에 대해 $T/G$ 로의 바이메르모르피크 사상이 존재한다.
• 캐논칼 번들이 자명한 유한 순환 커버 $X' \to X$ 에 대해, 알바네제 사상은 전사적이며 연결된 섬을 가지며, 유한 에탈 기저 변경 후 $X'$ 는 토러스 또는 $A' \times F$ 의 곱과 바이메르모르피크이다.
• 모든 $X'$ 와 그 최소 모형 $\bar{X}$ 사이의 바이메르모르피크 사상은 코디멘션 1에서의 동형이며, 플롭들로 분해되며, 그러나 최종 모형에서는 이러한 강성 있는 유리곡선이 존재하지 않기 때문에 사상은 동형이다.