[논문 리뷰] Existence of log canonical closures

Christopher D. Hacon, Chenyang Xu|arXiv (Cornell University)|2011. 05. 05.

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

한 줄 요약

이 논문은 기저 다양체 위에서 약간의 조건을 만족할 경우 dlt 쌍에 대한 좋은 최소 모형의 존재를 확립한다. 특히, dlt 쌍이 기저의 조밀한 열린 부분집합 위에서 좋은 최소 모형을 가지며, 모든 비-klt 중심이 이 부분집합과 만날 경우, 전체 기저 위에서 좋은 최소 모형을 가짐을 증명한다. 핵심 기여는 로그 캐논리컬 컴팩티피케이션을 가능하게 하는 기초 결과를 제공하고, 안정 스킴의 모듈리 함수자에 대한 적절성의 평가 기준을 검증하는 데 있다.

ABSTRACT

Let $f:X o U$ be a projective morphism of normal varieties and $(X,Δ)$ a dlt pair. We prove that if there is an open set $U^0\subset U$, such that $(X,Δ) imes_U U^0$ has a good minimal model over $U^0$ and the images of all the non-klt centers intersect $U^0$, then $(X,Δ)$ has a good minimal model over $U$. As consequences we show the existence of log canonical compactifications for open log canonical pairs, and the fact that the moduli functor of stable schemes satisfies the valuative criterion for properness.

연구 동기 및 목표

• 기저 다양체 위에서 dlt 쌍에 대한 좋은 최소 모형의 존재를, 조밀한 열린 부분집합에서 양호한 행동을 보장하는 조건 하에 확립한다.
• 열린 로그 캐논리컬 쌍을 로그 캐논리컬 쌍으로 확장하여, 더 큰 기저 위에서 프로젝티브 로그 캐논리컬 쌍으로의 컴팩티피케이션을 증명한다.
• 최소 모형 프로그램을 활용하여 안정 스킴의 모듈리 함수자의 적절성에 대한 평가 기준을 검증한다.
• 로그 캐논리컬 사상과 플립에 대한 기저 변경 컴팩티피케이션에 대한 추측을, 로그 캐논리컬 설정에서 확인한다.
• ε-lc 중심의 연구 및 로그 캐논리컬 범주 내에서 플립의 존재에 대한 기초 도구를 제공한다.

제안 방법

• 차원에 대한 귀납법을 사용하여 문제를 비-klt 집합 S = ⌊Δ⌋로 축소하며, 이는 sdlt 쌍으로 간주된다.
• Kollár의 접합 이론을 적용하여 S의 성분들에서의 최소 모형 결과를 전체 비-klt 집합으로 확장한다.
• Fujino가 Kawamata의 기본점 자유 정리의 일반화한 것을 활용하여, 주어진 조건 하에서 최소 모형이 자동으로 좋은 모형이 됨을 보인다.
• 표준 번들의 공식을 적용하여 이타카 분할을 분석하고, 기저 변경 하에서 로그 캐논리컬 딜리터의 행동을 통제한다.
• U⁰ 위에서 좋은 최소 모형의 존재와 비-klt 중심의 교차 조건을 활용하여, 전체 기저 U 위로 좋은 모형의 구조를 전파한다.
• 접합 이론을 적용하여 곡선 기저의 근처에서 로그 캐논리컬 모형을 확장하고, 역할 확장 및 몫 구성 방법을 통해 컴팩티피케이션된 가족을 구성한다.

실험 결과

연구 질문

• RQ1 기저 다양체 위에서 dlt 쌍이 조밀한 열린 부분집합 위에서 좋은 최소 모형을 가질 때, 어떤 조건에서 전체 기저 위에서 좋은 최소 모형을 가질 수 있는가?
• RQ2 모든 열린 로그 캐논리컬 쌍은 프로젝티브 기저 위에서 로그 캐논리컬 쌍으로 컴팩티피케이션될 수 있는가?
• RQ3 안정 스킴의 모듈리 함수자는 적절성의 평가 기준을 만족하는가?
• RQ4 좋은 최소 모형이 조밀한 열린 집합 위에서 존재하는 조건 하에서, 로그 캐논리컬 쌍에 대한 플립이 존재하는가?
• RQ5 기저 변경과 접합 기법을 통해 로그 캐논리컬 쌍의 최소 모형 프로그램을 확장할 수 있는가?

주요 결과

• 기저 U 위에서 dlt 쌍 (X, Δ)가 조밀한 열린 부분집합 U⁰ ⊂ U 위에서 좋은 최소 모형을 가지며, 모든 비-klt 중심이 X⁰ = X ×_U U⁰와 만날 경우, (X, Δ)는 전체 기저 U 위에서 좋은 최소 모형을 가진다.
• 모든 열린 로그 캐논리컬 쌍 (X⁰, Δ⁰) → U⁰은 정규의 준사영 다양체 U 위에서 프로젝티브 로그 캐논리컬 쌍 (X, Δ) → U로의 로그 캐논리컬 컴팩티피케이션을 가진다.
• U가 매끄러운 곡선인 경우, 임의의 유한 타입의 lc 사상 f⁰: X⁰ → U에 대해, 유한한 지배 기저 변경 ˜U → U와 f⁰를 확장하는 프로젝티브 lc 사상 f: X → ˜U가 존재한다.
• 반-로그 캐논리컬 모형의 모듈리 함수자는 기저 변경과 로그 캐논리컬 모형의 접합을 통해, 평가 기준을 만족함을 보였다.
• K_X + Δ''-MMP는 U 위에서 스케일링을 적용할 때, K_X + Δ' + Δ'' ∼_ℚ, U 0 이고 (X, Δ'')가 dlt일 경우, 좋은 최소 모형 또는 모리 분할로 종료된다.
• 조건이 충족될 경우 MMP의 스케일링 종료에 따라 플립이 존재함을 알 수 있다.