[논문 리뷰] Some remarks on the minimal model program for log canonical pairs

Osamu Fujino|arXiv (Cornell University)|2013. 09. 12.

Geometry and complex manifolds참고 문헌 42인용 수 29

한 줄 요약

이 논문은 로그 캐논리컬 쌍에서의 극단적 팔로 콘traction의 대상이 오직 로그 캐논리컬 특이점을 가지며, 최소 모델 프로그램의 핵심적 빈도를 메우는 것을 증명한다. 이는 lc-비어리스 피브레이션에서 모듈리 부분의 비음성과 그 부분이 준산술적일 조건을 이용하며, 컴acts 캬허만니폴드와 비-카허르 예제에 대한 캐논리컬 링의 유한 생성성에 적용된다.

ABSTRACT

We prove that the target space of an extremal Fano contraction from a log canonical pair has only log canonical singularities. We also treat some related topics, for example, the finite generation of canonical rings for compact Kähler manifolds, and so on. The main ingredient of this paper is the nefness of the moduli parts of lc-trivial fibrations. We also give some observations on the semi-ampleness of the moduli parts of lc-trivial fibrations. For the reader's convenience, we discuss some examples of non-Kähler manifolds, flopping contractions, and so on, in order to clarify our results.

연구 동기 및 목표

• 로깅 캐논리컬 쌍에서의 극단적 팔로 콘트랙션의 대상이 오직 로그 캐논리컬 특이점을 가지며, 문헌에서의 빈도를 메우는 것을 증명하기.
• lc-비어리스 피브레이션에서 모듈리 부분의 준산술성에 대해 연구하여, 캐논리컬 링의 유한 생성성 이해를 발전시키기.
• 비-카허르 만니폴드의 해석적 일반화와 예제를 제공하여, lc-비어리스 피브레이션의 기하적 행동을 명확히 하기.
• lc-비어리스 피브레이션의 모듈리 부분이 준산술적일 조건을 설정하여, 캐논리컬 링의 유한 생성성을 뒷받침하기.
• 캐논리컬 번들 공식과 호지이론적 기법을 통해 모리 피브리스페이스의 대상 공간의 특이점을 명확히 하기.

제안 방법

• 호지 이론의 준양성 정리에서 유도된 lc-비어리스 피브레이션의 모듈리 부분의 비음성 사용.
• Ambro의 공식과 [FG3]에서의 일반화를 적용하여 $K_X + \Delta \sim_{\mathbb{Q},f} 0$ 인 lc-비어리스 피브레이션 분석.
• 캐논리컬 번들 공식과 조건 $f_*\mathcal{O}_X(\lceil -\Delta^{<1} \rceil) \simeq \mathcal{O}_Y$ 를 사용하여 기저의 특이도 제어.
• 기저 $S$ 에서의 코homological 추론을 통해 그레이드 대수 $\bigoplus_{m \geq 0} \mathcal{O}_X(mD)$ 의 유한 생성성 분석.
• 모듈리 부분이 준산술적이지 않을 경우, $\operatorname{Pic}^0(E)$ 내의 비순환 선형(bundle)을 사용하여 플롭의 부재를 보여주는 반례 구축.
• 콘 구조와 선형(bundle)의 풀백을 사용하여, $X$ 에서의 유한 생성성과 $S$ 에서의 유한 생성성 간의 관계를 $\widetilde{N}$, 즉 $p^*N$ 의 콘을 통해 연결.

실험 결과

연구 질문

• RQ1 로깅 캐논리컬 쌍에서의 극단적 팔로 콘트랙션의 대상은 반드시 로그 캐논리컬 특이점을 가져야 하는가?
• RQ2 lc-비어리스 피브레이션에서 모듈리 부분이 준산술적일 조건은 무엇인가?
• RQ3 lc-비어리스 피브레이션을 이용하여 캐논리컬 링의 유한 생성성을 컴팩트 캬허만니폴드로 확장할 수 있는가?
• RQ4 모듈리 부분의 비음성은 lc-비어리스 피브레이션의 기저 특이도에 어떤 역할을 하는가?
• RQ5 로깅 캐논리컬 쌍의 맥락에서 소형 수축에 대해 플롭이 존재하는 조건은 무엇이며, 이는 $\operatorname{Pic}^0(E)$ 의 순환성과 어떻게 관련되는가?

주요 결과

• 큐-팩터럴 로깅 캐논리컬 쌍에서의 극단적 팔로 콘트랙션 $f: (X,\Delta) \to Y$ 의 대상 $Y$ 는 오직 로그 캐논리컬 특이점을 가진다.
• 모든 로깅 캐논리컬 중심이 $Y$ 에 포화되어 있다면, $Y$ 는 오직 로그 터미널 특이점을 가진다.
• lc-비어리스 피브레이션의 모듈리 부분은 비음성이며, 이는 기저의 로그 캐논리컬 성격을 증명하는 데 핵심 요소이다.
• 모듈리 부분의 준산술성은 추측됨(추측 3.9), 로깅 캐논리컬 중심의 포화 조건 하에 부분 결과 제시됨.
• 모듈리 부분이 $\operatorname{Pic}^0(E)$ 내의 비순환 선형(bundle)으로 due to 비준산술적이면, 해당 플롭은 존재하지 않는다.
• 기본 선형(bundle)이 비순환일 경우, $\bigoplus_{m \geq 0} \mathcal{O}_X(mD)$ 의 유한 생성성이 실패하며, 이는 비유한 생성성의 기준이 된다.