[논문 리뷰] Log canonical pairs with boundaries containing ample divisors

Zhengyu Hu|arXiv (Cornell University)|2017. 12. 19.

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

한 줄 요약

이 논문은 $<math xmlns="http://www.w3.org/1998/Math/MathML" style="font-size: 12px;">\Delta$에 앰플한 $<math xmlns="http://www.w3.org/1998/Math/MathML" style="font-size: 12px;">\mathbb{R}$-다중선형성의 존재를 보장한다. 이는 $<math xmlns="http://www.w3.org/1998/Math/MathML" style="font-size: 12px;">\mathbb{Q}$-팩터리얼 로그 카날리티컬 쌍에 대해 동일한 조건 하에서 스케일링을 포함한 로그 미니멀 모델 프로그램의 종료를 증명하고, 이를 통해 로그 파노 유형 다양체가 $<math xmlns="http://www.w3.org/1998/Math/MathML" style="font-size: 12px;">\mathbb{Q}$-팩터리얼 로그 카날리티컬 특이성을 가질 경우 모리 드림 공간임을 보여, 카스친과 공요의 추측을 확인한다.

ABSTRACT

Let $(X,Δ)$ be a projective log canonical pair such that $Δ\geq A$ where $A \geq 0$ is an ample $\mathbb{R}$-divisor. We prove that either $(X,Δ)$ has a good minimal model or a Mori fibre space. Moreover, if $X$ is $\mathbb{Q}$-factorial, then any Log Minimal Model Program on $K_X+Δ$ with scaling terminates. As an application we prove that a log Fano type variety $X$ with $\mathbb{Q}$-factorial log canonical singularities is a Mori dream space.

연구 동기 및 목표

• klt 쌍에서 양호한 최소 모델 존재 결과를 klt에서 로그 카날리티컬 쌍으로 일반화하는 것.
• 암시적 경계 조건을 만족할 때 $<math xmlns="http://www.w3.org/1998/Math/MathML" style="font-size: 12px;">\mathbb{Q}$-팩터리얼 로그 카날리티컬 쌍에 대해 스케일링을 포함한 로그 미니멀 모델 프로그램의 종료를 확립하는 것.
• 로그 파노 유형 다양체가 $<math xmlns="http://www.w3.org/1998/Math/MathML" style="font-size: 12px;">\mathbb{Q}$-팩터리얼 로그 카날리티컬 특이성을 가질 경우 모리 드림 공간임을 증명하여, 카스친과 공요의 추측을 확인하는 것.
• 효율적 콘의 유리 다각형 분해를 통한 약한 로그 카날리티컬 모델의 지리학을 분석하는 것.

제안 방법

• K_X + \Delta \sim_\mathbb{R} 0/Z 이고 A \sim_\mathbb{R} f^*A_Z 이며 Z에 앰플한 A_Z가 존재하는 일반화된 설정을 사용하여 귀납적 추론을 가능하게 한다.
• 증강 기저 지역과 로그 카날리티컬 쌍에 대한 비영성 정리 이론을 적용한다.
• 약한 로그 카날리티컬 모델과 그들의 유리 다각체 내의 카메라 분해 개념을 활용한다.
• 코흐 링의 유한 생성성을, 앰플한 $-(K_Y + \Gamma)$를 가진 로그 카날리티컬 쌍 $(Y, \Gamma)$의 구성에 의해 섹션 링의 유한 생성성으로 환원한다.
• -(K_Y + \Gamma)가 앰플하고 K_Y + \Gamma + A \sim_\mathbb{Q} \epsilon H 이면 R(Y, \epsilon H)가 유한 생성됨을 이용하여, 정리 7.2를 활용한다.
• 로그 카날리티컬 쌍에 대한 코다이라의 퇴적 정리를 적용하여 H^1(X, \mathcal{O}_X) = 0임을 보장함으로써, \operatorname{Pic}_\mathbb{Q}(X)가 유한 차원이 됨을 확보한다.

실험 결과

연구 질문

• RQ1 Δ에 앰플한 $<math xmlns="http://www.w3.org/1998/Math/MathML" style="font-size: 12px;">\mathbb{R}$-다중선형이 포함된 로그 카날리티컬 쌍 $(X, \Delta)$에 대해, 양호한 최소 모델 또는 모리 섬유 공간이 존재하는가?
• RQ2 암시적 경계 조건 하에서 $<math xmlns="http://www.w3.org/1998/Math/MathML" style="font-size: 12px;">\mathbb{Q}$-팩터리얼 로그 카날리티컬 쌍에 대해 스케일링을 포함한 로그 미니멀 모델 프로그램이 종료되는가?
• RQ3 모든 $<math xmlns="http://www.w3.org/1998/Math/MathML" style="font-size: 12px;">\mathbb{Q}$-팩터리얼 로그 카날리티컬 특이성을 가진 로그 파노 유형 다양체는 모리 드림 공간인가?
• RQ4 K_X + \Delta \sim_\mathbb{R} 0/Z 이고 Δ ≥ A 이며 앰플한 A가 존재할 때, 약한 로그 카날리티컬 모델의 지리학은 어떻게 행동하는가?

주요 결과

• Δ에 앰플한 $<math xmlns="http://www.w3.org/1998/Math/MathML" style="font-size: 12px;">\mathbb{R}$-다중선형이 포함된 프로젝티브 로그 카날리티컬 쌍 $(X, \Delta)$는 항상 양호한 최소 모델 또는 모리 섬유 공간을 가진다.
• $\mathbb{Q}$-팩터리얼 프로젝티브 로그 카날리티컬 쌍에 대해 Δ ≥ A 이며 앰플한 A가 존재할 경우, 스케일링을 포함한 로그 미니멀 모델 프로그램은 종료된다.
• K_X + \Delta가 $<math xmlns="http://www.w3.org/1998/Math/MathML" style="font-size: 12px;">\mathbb{Q}$-카르티에일 때와 Δ ≥ A 이며 앰플한 A가 존재할 경우, 다중선형 링 R(X, \Delta)는 항상 유한 생성된다.
• K_X + \Delta \sim_\mathbb{R} 0/Z 이고 Δ ≥ A 이며 앰플한 A가 존재하는 로그 카날리티컬 쌍의 효율적 콘 $\mathcal{E}$는 약한 로그 카날리티컬 모델에 대응하는 카메라로 유한한 유리 다각형 분해를 가진다.
• $\mathbb{Q}$-팩터리얼 프로젝티브 다양체 $X$의 코흐 링은, $(X, \Delta)$가 로그 카날리티컬이면서 $-(K_X + B)$가 앰플한 경계 Δ가 존재할 경우 항상 유한 생성된다.
• 암플한 $-(K_Y + \Gamma)$를 가진 로그 카날리티컬 쌍 $(Y, \Gamma)$의 구성과 R(Y, \epsilon H)의 유한 생성성은 $X$의 코흐 링의 유한 생성성을 암시한다.