[논문 리뷰] Cone theorem and Mori hyperbolicity

Osamu Fujino|arXiv (Cornell University)|2021. 02. 23.

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

한 줄 요약

이 논문은 준-로그 스킴에 대한 콘 정리(Conjecture Theorem)를 수립하고, Svaldi의 질문을 해결한다. 구체적으로, 모리 초구면(projective normal pair)의 로그 카누닉스 디바이저가 비-로지컬(locus)에서 네프(nef)일 경우, 그 로그 카누닉스 디바이저가 네프임을 증명한다. 최소 모델 프로그램과 혼합 호지 이론의 고급 기법을 사용하여, 비-로지컬(locus) 내의 유리 곡선의 존재성이 로그 카누닉스 디바이저의 네프성(characterizes)을 결정하며, 또한 상대 준-로그 파노 스킴의 섬유가 비-qlc(locus)에 대해 유리 체인 연결(rationally chain connected)임을 추가로 증명한다.

ABSTRACT

We discuss the cone theorem for quasi-log schemes and the Mori hyperbolicity. In particular, we establish that the log canonical divisor of a Mori hyperbolic projective normal pair is nef if it is nef when restricted to the non-lc locus. This answers Svaldi's question completely. We also treat the uniruledness of the degenerate locus of an extremal contraction morphism for quasi-log schemes. Furthermore, we prove that every fiber of a relative quasi-log Fano scheme is rationally chain connected modulo the non-qlc locus.

연구 동기 및 목표

• 모리 초구면성의 맥락에서 준-로그 스킴에 대한 콘 정리를 수립하기 위해.
• 모리 초구면 쌍에서 로그 카누닉스 디바이저의 네프성에 관해 Svaldi의 질문을 해결하기 위해.
• 상대 준-로그 파노 스킴의 섬유가 비-qlc(locus)에 대해 유리 체인 연결(rationally chain connected)임을 증명하기 위해.
• 조정(Adjunction)과 최소 모델 프로그램 기법을 사용하여, 극단적 변형과 유리 곡선 이론을 준-로그 스킴으로 확장하기 위해.

제안 방법

• 준-로그 스킴과 그 특이성 이론을 사용하며, 특히 비-로지컬(locus)과 비-qlc(locus)에 중점을 둔다.
• dlt 쌍에 대해 [H1]과 [BCHM]를 통해 스케일링과 종료 결과를 적용한 최소 모델 프로그램을 사용한다.
• 플립과 분리적 변환에서의 교차 수 비교를 위해 부정성 레마(Negativity Lemma)를 활용한다.
• 굽힘과 끊기 기법(bend-and-break technique)과 비-로지컬(locus) 내의 유리 곡선 존재성을 활용하여 𝔸¹에서의 비정상적 사상(non-constant morphisms)을 구성한다.
• 조정과 부분조정(subadjunction)을 적용하여 전체 쌍의 기하학과 lc 스트라타의 기하학을 연결한다.
• Hironaka의 특이점 해소와 ℂ 위에서 유효한 코다이라 유형의 소멸 정리에 의존한다.

실험 결과

연구 질문

• RQ1 모리 초구면 정규 쌍의 로그 카누닉스 디바이저가 어떤 조건에서 네프가 되는가?
• RQ2 비-스무스하고 비-dlt인 경우를 포함한 일반적인 경우에 대해 준-로그 스킴에 대한 콘 정리를 완전히 수립할 수 있는가?
• RQ3 상대 준-로그 파노 스킴의 섬유의 구조는 무엇인가, 특히 비-qlc(locus)에 대해 어떻게 되는가?
• RQ4 Kleiman–Mori 콘의 극단적 반사(extremal rays)는 비-로지컬(locus) 내의 유리 곡선과 어떻게 관련되는가?
• RQ5 비-로지컬(locus) 내의 유리 곡선 존재성은 로그 카누닉스 디바이저의 네프성(characterization)에 사용될 수 있는가?

주요 결과

• 모리 초구면 프로젝티브 정규 쌍의 로그 카누닉스 디바이저는 비-로지컬(locus)에서 네프일 경우 전체적으로 네프이며, 이는 Svaldi의 질문을 완전히 해결한다.
• 상대 준-로그 파노 스킴의 모든 섬유는 비-qlc(locus)에 대해 유리 체인 연결(rationally chain connected)이며, 기존의 유리 연결성 결과를 일반화한다.
• 모든 (K_X + Δ)-음성 극단적 반사(extremal ray) 중에서 무한대에서 상대적으로 앰플인(ample)인 유리 반사에 대해, f: 𝔸¹ → U_j 형태의 비정상적 사상이 존재하며, f(𝔸¹)의 폐포는 그 반사를 생성한다.
• 정규 쌍에 대한 콘 정리는 준-로그 스킴으로 일반화되었으며, Kleiman–Mori 콘은 네프, 음의 무한대, 유리 극단적 반사 성분으로 분해된다.
• 비-로지컬(locus) 내의 유리 곡선 존재성은 로그 카누닉스 디바이저의 비-네프성과 동치이며, 기하학적 특성화를 제공한다.
• 증명은 최소 모델 프로그램과 조정에 기반하며, 적절한 가정 하에 [H1]과 [BCHM]를 통해 종료가 보장된다.