[논문 리뷰] Extension theorems, Non-vanishing and the existence of good minimal models

Jean-Pierre Demailly, Christopher D. Hacon외 1명|arXiv (Cornell University)|2010. 12. 02.

Geometry and complex manifolds참고 문헌 10인용 수 11

한 줄 요약

이 논문은 $L^2$ 방법을 사용하여 특이 허미트 메트릭을 갖는 정련된 $L^2$ 확장 정리의 응용을 통해, 비음성 카다이어라 차원이 있는 로그 카노니컬 쌍에서의 다중 로그 캐논리컬 분할에 대한 확장 정리를 수립한다. 주요 결과는 순수하게 로그 터미널(plt) 쌍에 대한 DLT 확장 추측을 증명함으로써, 비소멸 추측 하에 양호한 최소 모델의 존재를 암시하며, 고차원에서의 최소 모델 프로그램을 발전시킨다.

ABSTRACT

We prove an extension theorem for effective plt pairs $(X,S+B)$ of non-negative Kodaira dimension $κ(K_X+S+B)\geq 0$. The main new ingredient is a refinement of the Ohsawa-Takegoshi $L^2$ extension theorem involving singular hermitian metrics.

연구 동기 및 목표

• 최소 모델 프로그램의 핵심인 순수하게 로그 터미널(plt) 쌍에 대한 DLT 확장 추측을 증명하는 것.
• 비소멸 추측 하에 klt 쌍에 대한 양호한 최소 모델의 존재를 확립하는 것.
• 정련된 $L^2$ 확장 기법을 사용하여 분할 분할의 섹션을 다양체로 확장하는 것.
• 고차원에서의 양호한 최소 모델의 존재를 증명하기 위한 핵심 기술적 단계를 제공하는 것.
• 확장 정리들을 통해 카노니컬 분할의 비소멸성과 양호한 최소 모델의 존재성 사이의 격차를 메우는 것.

제안 방법

• 선형 번들의 특이 허미트 메트릭을 다룰 수 있도록 오사와-타케구치 $L^2$ 확장 정리를 정교화하는 것.
• 정교화된 $L^2$ 확장 정리를 적용하여 plt 쌍의 맥락에서 다양체 $X$로 분할 $S$ 에서의 다중 캐논리컬 섹션을 확장하는 것.
• 분할 $K_X + S + B$ 의 비소멸성과 분할의 네프성 조건을 이용하여 확장이 가능함을 보장하는 것.
• 로그 해상도 기법을 사용하여 캐논리컬 분할과 그 네프 부분의 당김 하에서의 행동을 분석하는 것.
• 확장 실패를 측정하기 위해 확장 장애 분할 $Τ$ 를 도입하고, 주어진 조건 하에 그 값이 0이 됨을 보이는 것.
• 분석 기법과代수기하학을 융합하여 전역 섹션에 대한 제약 사상의 상사성(-surjectivity)을 증명하는 것.

실험 결과

연구 질문

• RQ1 plt 쌍에서 $\mathcal{O}_X(m(K_X + S + B))$ 의 섹션은 어떤 조건에서 $S$ 에서 $X$ 로 확장될 수 있는가?
• RQ2 분할 $K_X + S + B$ 가 준효율적이고 크기가 크지 않을 때, DLT 확장 추측은 plt 쌍에 대해 성립하는가?
• RQ3 비소멸 추측은 확장 정리를 통해 양호한 최소 모델의 존재를 암시할 수 있는가?
• RQ4 특이 허미트 메트릭은 로그 카노니컬 분할에 대한 $L^2$ 확장 과정에서 어떤 역할을 하는가?
• RQ5 확장 장애 분할 $Τ$ 가 0이 되면 제약 사상의 상사성이 어떻게 보장되는가?

주요 결과

• 분할 $K_X + S + B$ 가 준효율적이고 $S$ 가 안정 기저 집합에 속하지 않을 경우, DLT 확장 추측은 plt 쌍에 대해 성립한다.
• 모든 충분히 나누어지는 $m > 0$ 에 대해 제약 사상 $H^0(X, \mathcal{O}_X(m(K_X + S + B))) \to H^0(S, \mathcal{O}_S(m(K_X + S + B)))$ 는 상사적이다.
• 확장 정리에 의해 비소멸 추측이 성립하면, DLT 확장 추측이 성립할 경우 $n$ 차원에서의 양호한 최소 모델의 존재를 암시한다.
• DLT 확장 추측을 가정할 경우, 비소멸 추측 하에 klt 쌍에 대한 양호한 최소 모델의 존재가 확립된다.
• 양호한 최소 모델 추측을 가정할 경우, 부작용 링 $R(X; K_X + \Delta_1, \ldots, K_X + \Delta_r)$ 는 유한 생성된다.
• 네프 임계값을 측정하는 함수 $\sigma_P$ 는 준효율적 원뿔 위에서 연속적이며 조각별 유리 함수 선형 함수이다.