[논문 리뷰] Numerical characterization of the Kähler cone of a compact Kähler manifold

Jean-Pierre Demailly, Mihai Păun|ArXiv.org|2001. 05. 22.

Geometry and complex manifolds참고 문헌 15인용 수 119

한 줄 요약

이 논문은 컴act 켈러 다양체 위의 켈러 콘을, 모든 기약 해석적 부분다양체에서 수치적으로 양성인 실수 (1,1)-코homology 계열의 집합의 한 연결 성분과 일치시켜 수치적 특성화를 제공한다. 주요 결과는 몽제-암페르 방정식과 칼라비-유 정리에 기반한 질량 집중 기법을 사용하여 나카이-모이셰존 기준을 정수 클래스가 아닌 경우로 확장함으로써, 상위 자기곱이 양인 희망적 클래스는 켈러 전류를 포함함을 증명한다.

ABSTRACT

The goal of this work is give a precise numerical description of the Kähler cone of a compact Kähler manifold. Our main result states that the Kähler cone depends only on the intersection form of the cohomology ring, the Hodge structure and the homology classes of analytic cycles: if $X$ is a compact Kähler manifold, the Kähler cone $\cK$ of $X$ is one of the connected components of the set $\cP$ of real $(1,1)$ cohomology classes $\{α\}$ which are numerically positive on analytic cycles, i.e. $\int_Yα^p>0$ for every irreducible analytic set $Y$ in $X$, \hbox{$p=\dim Y$}. This result is new even in the case of projective manifolds, where it can be seen as a generalization of the well-known Nakai-Moishezon criterion, and it also extends previous results by Campana-Peternell and Eyssidieux. The principal technical step is to show that every nef class $\{α\}$ which has positive highest self-intersection number $\int_Xα^n>0$ contains a Kähler current; this is done by using the Calabi-Yau theorem and a mass concentration technique for Monge-Ampère equations. The main result admits a number of variants and corollaries, including a description of the cone of numerically effective $(1,1)$ classes and their dual cone. Another important consequence is the fact that for an arbitrary deformation $\cX o S$ of compact Kähler manifolds, the Kähler cone of a very general fibre $X_t$ is ``independent'' of $t$, i.e.\ invariant by parallel transport under the $(1,1)$-component of the Gauss-Manin connection.

연구 동기 및 목표

• 컴act 켈러 다양체 위의 켈러 콘에 대한 정밀한 수치적 기술을 제공하는 것.
• 프로젝트브 다양체와 정수 계열을 초월하여 나카이-모이셰존 기준을 일반화하는 것.
• 켈러 콘은 해석적 부분다양체의 호모로지 계열, 호지 구조 및 교차 형식에만 의존함을 입증하는 것.
• 컴act 켈러 다양체의 변형에서 평행 이동에 따른 켈러 콘의 불변성을 증명하는 것.
• 수치적 양성 조건을 사용하여 희망적 계열과 그 쌍대 콘을 특성화하는 것.

제안 방법

• 칼라비-유 정리를 사용하여 주어진 전류 질량을 갖는 몽제-암페르 방정식을 푸는 데 사용.
• 해석적 부분다양체를 따라 양의 르레르 수를 유도하기 위해 질량 집중 기법 적용.
• X × X 위에 대각선을 지배하는 닫힌 양의 전류를 구성하기 위해 계열 α의 역상 사용.
• 데메를리(1992)의 일반 정규화 정리에 따라 특이 전류를 정규화하여, 로그극성을 갖는 해석적 집합 외부에서 스무스가 되는 전류를 얻는다.
• 가우스-마이너 연결의 (1,1)-성분을 통한 평행 이동을 이용해 변형 동안 코homology 계열을 추적하는 데 사용.
• 코다이라-스펜서 이론을 적용하여 가족 내에서 켈러 콘의 열린 성질을 보이고 변형에 대한 불변성을 확립하는 데 사용.

실험 결과

연구 질문

• RQ1 컴act 켈러 다양체의 켈러 콘은 교차 이론과 호지 구조를 사용하여 순수하게 수치적으로 특성화될 수 있는가?
• RQ2 프로젝트브 다양체에서 정수 계열이 아닌 (1,1)-계열에 대해 나카이-모이셰존 기준이 확장될 수 있는가?
• RQ3 희망적 (1,1)-계열이 켈러 전류를 포함하는 조건은 무엇인가?
• RQ4 컴act 켈러 다양체의 가족에서 평행 이동에 따라 켈러 콘은 불변인가?
• RQ5 수치적으로 효과적인 계열의 콘과 그 쌍대 콘 사이의 정확한 관계는 무엇인가?

주요 결과

• 컴act 켈러 다양체의 켈러 콘은 모든 기약 해석적 부분다양체 Y ⊂ X에 대해 차원 p에 대해 ∫_Y α^p > 0 를 만족하는 실수 (1,1)-계열 {α}의 집합의 정확히 한 연결 성분이다.
• 프로젝트브 다양체의 경우, 이 조건은 {α}가 네론-세베르 그룹 NS_ℝ(X) 외부에 있을 때도 모든 켈러 계열을 특성화하며, 나카이-모이셰존 기준을 일반화한다.
• ∫_X α^n > 0 를 만족하는 희망적 계열 {α}는 해석적 집합 외부에서 스무스이고 그 위에 로그극성을 갖는 켈러 전류를 포함한다.
• 수치적으로 효과적인(희망적) 계열의 콘은 임의의 고정된 켈러 메트릭 ω에 대해 모든 k와 모든 차원 p의 기약 해석적 부분다양체 Y에 대해 ∫_Y α^k ∧ ω^{p-k} ≥ 0 를 만족하는 계열의 집합과 일치한다.
• 희망적 콘의 쌍대는 H^{n-1,n-1}(X,ℝ) 내에서 [Y] ∧ ω^{p-1} 형태의 코homology 계열이 생성하는 닫힌 볼록 콘이다.
• 모든 컴act 켈러 다양체의 변형 가족 𝒳 → S 에서, 매우 일반적인 섬유의 켈러 콘은 가우스-마이너 연결의 (1,1)-성분을 통한 평행 이동에 대해 불변이다.