[논문 리뷰] Minimal models for Kähler threefolds

Andreas Höring, Thomas Peternell|arXiv (Cornell University)|2013. 04. 15.

Geometry and complex manifolds참고 문헌 26인용 수 7

한 줄 요약

이 논문은 캄레르 세미-세계에서 비-유르드인 경우에 최소 모델의 존재를 증명함으로써, 캄레르 범주에서 최소 모델 프로그램(MMP)을 수립한다. 비-유르드인 캄레르 세미-세계에서 캄레르 캐논리컬 번들의 준효율성 조건을 만족하는 경우, 양성 닫힌 커런트와 변형 이론, 자르스키 분해를 활용하여 극단적 수축을 구성함으로써 MMP를 확장하며, 궁극적으로 이러한 세미-세계가 네프 캐논리컬 번들을 가진 최소 모델을 가짐을 보여준다.

ABSTRACT

Let X be a compact Kähler threefold that is not uniruled. We prove that X has a minimal model.

연구 동기 및 목표

• 캄레르 캐논리컬 번지가 준효율적인 비-유르드 캄레르 세미-세계에 대해 최소 모델 프로그램(MMP)을 확장한다.
• 고전적 기본점 자유 정리의 실패를 극복하기 위해 캄레르 범주에서 극단적 수축의 존재를 확립한다.
• 양성 닫힌 커런트 공간(NA(X)) 내의 모리 원뿔이 네프와 음성 극단적 반직선으로 분해됨을 보여, MMP를 가능하게 한다.
• K_X-음성 극단적 반직선을 ¯NA(X)에서 수축할 수 있으며, 그 결과로 타겟 공간이 캄레르 성질을 유지함을 보인다.
• 이러한 세미-세계에 대해 MMP의 종료성과 최소 모델 존재성을 증명함으로써 MMP를 완성한다.

제안 방법

• K_X의 분할을 통해 비-근접성-일차원 네프 부분과 이동 가능한 부분으로 분해하여, 부분다양체의 준효율성과 유르드성 조건을 분석한다.
• X와 표면 S_j 위의 유리곡선의 변형 이론을 적용하여, K_X가 네프가 아닐 경우 K_X-음성 유리곡선을 구성한다.
• Mori 원뿔 ¯NE(X)가 수축에 의해 캄레르 조건을 유지하지 못하므로, 양성 닫힌 (1,1)-커런트의 원뿔 ¯NA(X)를 도입하여 대체한다.
• ¯NA(X)에 대한 원뿔 정리를 증명한다: ¯NA(X) = ¯NA(X)_{K_X \geq 0} + \sum \mathbb{R}^+ [\Gamma_i], 여기서 -K_X \cdot \Gamma_i \leq 4 이고 >0이며, 이는 가чёт한 수의 극단적 반직선이 있음을 보장한다.
• Ancona와 Van Tan의 일반화된 Grauert 기준을 활용하여, 어떤 다면체를 덮는 곡선을 수축하고, 소형 수축의 경우, \mu^*\alpha = \tilde{\alpha} + E를 만족하는 수정 \mu: \tilde{X} \to X를 구성하여, E가 효과적이고 \mu-예외적인 것을 보장함으로써 Grauert 기준을 적용한다.
• Collins-Tosatti와 Boucksom의 캄레르 수정 및 큰 클래스에 관한 결과를 활용하여, 네프 클래스의 역상이 블로우업에서 큰 클래스가 됨을 보여, 수축 사상의 구성이 가능함을 보인다.

실험 결과

연구 질문

• RQ1 캄레르 캐논리컬 번지가 준효율적인 비-유르드 비-프로젝티브 캄레르 세미-세계에 대해 최소 모델 프로그램을 확장할 수 있는가?
• RQ2 K_X-음성 유리곡선의 존재가 캄레르 설정에서 극단적 수축의 존재를 암시하는가?
• RQ3 양성 닫힌 커런트의 원뿔 ¯NA(X)를 사용하여 캄레르 성질을 유지하는 극단적 수축을 정의하고 구성할 수 있는가?
• RQ4 K_X-음성 극단적 반직선을 ¯NA(X)에서 수축할 수 있으며, 이 수축이 해석적 범주에서 잘 정의되고 대수적인가?
• RQ5 터미널 특이성을 가진 캄레르 세미-세계에서 캄레르 캐논리컬 번지가 준효율적일 경우 MMP는 종료하는가?

주요 결과

• 캄레르 캐논리컬 번지가 준효율적인 캄레르 세미-세계에 대해 최소 모델 프로그램이 완전히 수립되었으며, 이러한 세미-세계가 K_{X'}가 네프인 최소 모델을 가짐을 증명하였다.
• ¯NA(X)에 대한 원뿔 정리가 성립한다: ¯NA(X) = ¯NA(X)_{K_X \geq 0} + \sum \mathbb{R}^+ [\Gamma_i], 각도가 유계인 경우 유한한 수의 반직선이 있으며, 0 < -K_X \cdot \Gamma_i \leq 4 이다.
• ¯NA(X) 내의 K_X-음성 극단적 반직선에 대한 극단적 수축이 캄레르 범주에서 존재하며, 결과로 타겟 공간이 여전히 캄레르 성질을 유지한다.
• 소형 수축의 경우, \mu^*\alpha = \tilde{\alpha} + E를 만족하는 수정 \mu: \tilde{X} \to X를 구성하여, E가 효과적이고 \mu-예외적임을 보장함으로써 Grauert 기준을 적용할 수 있다.
• 플립에 의해 곤란 불변량 d(X)가 감소하므로, 캄레르 세미-세계 설정에서 유한한 단계 이후 MMP의 종료가 보장된다.
• 비-유르드 추측이 캄레르 세미-세계에서 성립한다: X는 유르드이기 위한 필요충분조건은 K_X가 준효율적이지 않다는 것이다.