[논문 리뷰] Remarks on special kinds of the relative log minimal model program

Kenta Hashizume|arXiv (Cornell University)|2017. 04. 04.

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

한 줄 요약

이 논문은 상대 로그 최소 모형 프로그램(MMP)의 핵심 결과들에 대해 $\mathbb{R}$-divisor 판별식을 수립하며, $\mathbb{R}$-경계 divisor를 가진 로그 캐논리컬 쌍이 특정 수치적 및 기하적 조건을 만족할 경우 양호한 최소 모형을 가짐을 증명한다. $\mathbb{R}$-divisor 로그 캐논리컬 환의 유한 생성성 부족 문제를 해결하기 위해 약한 준안정 환원과 캐논리컬 번들 공식을 사용함으로써, $\mathbb{Q}$-divisor 케이스에서의 결과들을 $\mathbb{R}$-divisor 설정으로 일반화할 수 있게 되었다.

ABSTRACT

We prove $\mathbb{R}$-boundary divisor versions of results proved by Birkar or Hacon-Xu on special kinds of the relative log minimal model program.

연구 동기 및 목표

• 상대 로그 MMP에서의 양호한 최소 모형 존재성 결과를 $\mathbb{Q}$-divisor 쌍에서 $\mathbb{R}$-divisor 쌍으로 확장하기.
• 표준적 접근 방식이 $\mathbb{Q}$-divisor 설정에서 사용 가능한 바탕이 되는 $\mathbb{R}$-divisor 케이스에서 로그 캐논리컬 환의 유한 생성성 부재 문제를 극복하기.
• 모든 $B$와 $A$가 $\mathbb{R}$-divisor일 때, $K_X + B + A \sim_{\mathbb{R},Z} 0$ 이고 $K_X + B$ 가 $Z$ 위에서 준효율적일 경우, $Z$ 위에서 로그 캐논리컬 쌍 $(X,B)$ 가 양호한 최소 모형을 가짐을 확립하기.
• 유한 생성성에 의존하지 않고, 수치적 차원 또는 크기의 유계성 가정 하에 존재하는 로그 캐논리컬 플립, 로그 캐논리컬 폐쇄, 양호한 최소 모형 등의 결과를 $\mathbb{R}$-divisor 케이스로 일반화하기.

제안 방법

• Abramovich와 Karu의 약한 준안정 환원 정리를 사용하여 $K_X + \Delta$ 의 상대 수치적 차원이 0인 섬유 공간을 분석한다.
• Ambro의 로그 캐논리컬 쌍에 대한 캐논리컬 번들 공식을 적용하여, 모든 로그 캐논리컬 중심이 기저를 지배하는 섬유 공간으로의 문제를 귀납적 추론으로 환원한다.
• 다양체의 컴acts화를 사용하여 가정을 유지하고 [FG2]의 상대 풍부성 정리를 적용함으로써, 로그 캐논리컬 환의 유한 생성성이 필요 없도록 한다.
• 유리 다면체의 $\mathbb{R}$-divisor 표현을 사용하여 $B$와 $A$ 를 유리 다면체의 $\mathbb{Q}$-divisor 쌍의 유리 볼록 조합으로 표현함으로써, [FG2]의 준항등성 결과를 적용할 수 있도록 한다.
• 상대 풍부성 정리를 점($Z = \operatorname{Spec} \mathbb{C}$) 위의 dlt 쌍에 대해 적용하여 $Z$ 위에서 $K_X + B$ 가 준항등임을 도출한다.
• $K_X + B$ 가 $Z$ 위에서 네프이자 로그 풍부하고, $X$ 와 $Z$ 가 프로젝티브임을 이용하여 [FG2, 정리 4.12]를 통해 준항등성을 유도한다.

실험 결과

연구 질문

• RQ1 상대 로그 MMP에서의 양호한 최소 모형 존재성은 $\mathbb{Q}$-divisor 쌍에서 $\mathbb{R}$-divisor 쌍으로 확장될 수 있는가?
• RQ2 로그 캐논리컬 환의 유한 생성성이 실패하는 $\mathbb{R}$-divisor 로그 캐논리컬 쌍에 대해 풍부성 정리를 어떻게 증명할 수 있는가?
• RQ3 캐논리컬 번들 공식과 약한 준안정 환원을 사용하여 $\mathbb{R}$-divisor 설정에서 종료성과 최소 모형 존재성을 확립할 수 있는가?
• RQ4 유한 생성성에 의존하지 않고 존재하는 로그 캐논리컬 플립과 로그 캐논리컬 폐쇄 등의 결과를 $\mathbb{R}$-divisor 케이스로 일반화할 수 있는가?
• RQ5 $\mathbb{R}$-경계 divisor를 가진 로그 캐논리컬 쌍이 양호한 최소 모형 또는 모리 섬유 공간을 가지기 위한 조건은 무엇인가?

주요 결과

• 정리 1.1은 $\pi: X \to Z$ 가 정규 준사영 다양체 사이의 프로젝티브 사상이고, $(X, B + A)$ 가 $B \geq 0$ 인 $\mathbb{R}$-divisor와 $A \geq 0$ 인 $\mathbb{R}$-카르티에 divisor를 가진 로그 캐논리컬 쌍이며, $K_X + B + A \sim_{\mathbb{R}, Z} 0$ 이고 $K_X + B$ 가 $Z$ 위에서 준효율적일 경우, $(X, B)$ 는 $Z$ 위에서 양호한 최소 모형을 가짐을 수립한다.
• 정리 1.2는 $\pi: X \to Z$ 가 프로젝티브 사상이고 $(X, \Delta)$ 가 $\mathbb{R}$-경계 divisor $\Delta$ 를 가진 로그 캐논리컬 쌍이며, $Z$ 의 열린 부분집합 $U \subset Z$ 가 존재하여 $(\pi^{-1}(U), \Delta|_{\pi^{-1}(U)})$ 가 $U$ 위에서 양호한 최소 모형을 가지며, $(X, \Delta)$ 의 모든 로그 캐논리컬 중심이 $\pi^{-1}(U)$ 와 교차할 경우, $(X, \Delta)$ 는 $Z$ 위에서 양호한 최소 모형을 가짐을 증명한다.
• 보조정리 1.3은 기저의 열린 부분집합 위에서 로그 캐논리컬 폐쇄의 존재성을 보여주며, 이는 $\mathbb{Q}$-divisor 케이스에서의 결과를 일반화한다.
• 정리 1.4는 상대 피카르 수가 1이 아니어도 $\mathbb{R}$-경계 divisor에 대해 로그 캐논리컬 플립의 존재성을 확립한다.
• 정리 1.5는 수치적 차원 또는 크기의 유계성 가정 하에 양호한 최소 모형 또는 모리 섬유 공간의 존재성을 $\mathbb{R}$-divisor 케이스로 일반화한다.
• 보조정리 1.6은 $K_X + \Delta$ 가 풍부하고 $0 \leq \nu(X, K_X + \Delta) \leq 4$ 일 경우, 프로젝티브 로그 캐논리컬 쌍 $(X, \Delta)$ 가 양호한 최소 모형을 가짐을 증명하며, 이는 $\mathbb{Q}$-divisor 케이스에서의 결과를 연장한다.