[논문 리뷰] Relative critical exponents, non-vanishing and metrics with minimal singularities

Mihai Păun|ArXiv.org|2008. 07. 19.

Geometry and complex manifolds참고 문헌 24인용 수 22

한 줄 요약

이 논문은 닫힌 양의 코어와 최소 특이성의 메트릭을 사용하여 프로젝티브 다양체 위의 인접 번들의 비영성 정리를 확립한다. Y.-T. Siu의 캐논리컬 링의 유한 생성성에 관한 분석 기법을 응용하여, 켈러 코어에 대한 허위 효과성과 적분 가능성 조건이 만족될 경우, 인접 클래스 $ c_1(K_X) + \theta_L $ 가 효과적인 $\mathbb{R}$-최소수를 포함함을 증명한다. 이는 비특이 기하학에서의 고전적 비영성 결과를 일반화한다.

ABSTRACT

In this article we prove a non-vanishing statement, as well as several properties of metrics with minimal singularities of adjoint bundles. Our arguments involve many ideas from Y.-T. Siu's analytic proof of the finite generation of the canonical ring. An important technical tool is the notion of relative critical exponent of two closed positive currents with respect to a measure.

연구 동기 및 목표

• 프로젝티브 다양체 위의 인접 선다발에 대한 비영성 결과를 허위 효과성과 적분 가능성 조건 하에서 확립하기 위해.
• Sokurov와 Kawamata의 고전적 비영성 정리를 분석적 설정으로 일반화하기 위해.
• 특이 측도에 관하여 두 닫힌 양의 코어의 상대 임계 지수의 개념을 도입하고 연구하기 위해.
• 분석적 및 복소다양체 이론 도구를 사용하여 인접 다발 위의 최소 특이성의 메트릭을 특성화하기 위해.
• 최소 모델 프로그램에 의존하지 않기 위해 $\mathrm{Char}\,p$-free 분석 기법을 사용하기 위해.

제안 방법

• 잠재력의 차이의 지수함수의 $ L^1 $-적분 가능성에 의해 정의되는 로그-단일 임계 임계값의 일반화로서 상대 임계 지수 $ C_{\Theta_1,\psi}(X,\Theta_2) $ 를 도입한다.
• 문제를 엄격한 전환의 임계 지수가 1을 초과하는 설정으로 줄이기 위해 편경 기법과 블로업을 적용한다.
• 다중 이상 수체와 Lelong 수를 통한 multiplier ideal sheaves를 통한 분석적 설정에 적합화된 Sokurov의 비영성 정리의 일부를 사용한다.
• Hartogs의 원리를 적용하여 엄격한 전환에서의 절단을 전체 공간으로 연장함으로써 인접 클래스에 효과적인 최소수의 존재를 보장한다.
• 끌림의 전환과 다항식 클래스의 볼록 조합을 통한 인접 다중체 $ \Theta $ 를 $ c_1(K_X + L) $ 에서 구성하며, 예외적 다중체를 따라 Lelong 수를 통제한다.
• Skoda의 정리와 Lelong 수의 유리성에 기반하여 최소 메트릭이 유리수가 아닐 경우 모순을 유도함으로써 효과성을 증명한다.

실험 결과

연구 질문

• RQ1 어떤 조건에서 인접 클래스 $ c_1(K_X) + \theta_L $ 가 효과적인 $\mathbb{R}$-최소수를 포함하는가?
• RQ2 두 닫힌 양의 코어의 상대 임계 지수는 적분 가능성과 비영성 조절에 어떻게 사용될 수 있는가?
• RQ3 최소 모델 프로그램이나 $\mathrm{Char}\,p$ 기법을 사용하지 않고도 비영성 결과를 증명할 수 있는가?
• RQ4 최소 특이성의 메트릭은 분석적 비영성에서 인접 다중체에 어떤 역할을 하는가?
• RQ5 적분 조건 $ e^{(1+\varepsilon_0)(\varphi_{K_X+L} - \varphi_L)} \in L^1(U_\alpha) $ 는 어느 정도 약화될 수 있는가?

주요 결과

• 만약 $ c_1(K_X) + \theta_L $ 가 허위 효과적이며, $ \Theta_L $ 가 $ e^{(1+\varepsilon_0)(\varphi_{K_X+L} - \varphi_L)} \in L^1(U_\alpha) $ 를 만족하는 켈러 코어일 경우, 인접 클래스 $ c_1(K_X) + \theta_L $ 는 효과적인 $\mathbb{R}$-최소수를 포함한다.
• 증명 과정에서 최소 모델 프로그램을 사용하지 않고, Siu의 캐논리컬 링의 유한 생성성에 관한 작업에서 영감을 얻은 분석 기법을 사용한다.
• 인접 다중체 위의 최소 특이성의 메트릭은 상대 임계 지수와 잠재력의 적분 가능성 조건을 통해 특성화된다.
• 근사 다중체에 대해 $ |K_{\widehat{X}} + S + \widehat{L}_\eta| $ 에서의 비영점 절단의 존재는 인근 클래스의 인버트에 효과적인 $\mathbb{R}$-최소수의 존재를 암시한다.
• 최소 메트릭의 Lelong 수가 무리수일 경우 모순이 도출되며, 이는 최소 메트릭이 유리 절단에서 유래되며 따라서 효과적임을 증명한다.
• 최종적으로, 끌림의 전환과 볼록 조합을 통한 인접 다중체 $ \Theta \in c_1(K_X + L) $ 가 예외적 다중체를 따라 Lelong 수를 통제하면서 구성된다.