[논문 리뷰] Dynamical construction of Kähler-Einstein metrics

Hajime Tsuji|arXiv (Cornell University)|2006. 06. 25.

Geometry and complex manifolds인용 수 4

한 줄 요약

이 논문은 캐논칼 번들의 극성인 매끄러운 프로젝티브 다양체 위에서 Bergman 커널을 이용한 고차 다중표준계열과 관련된 극한을 취하여, 칼라비-아인슈타인 미터릭의 역동적 구성법을 제시한다. 핵심 결과는 스케일링된 Bergman 커널의 극한이 칼라비-아인슈타인 커런트를 유도함으로써, $L^2$-정규직교 기저와 곡률 추정에 기반한 반복적이고 역동적인 과정을 통해 Bergman 미터릭과 칼라비-아인슈타인 기하학 간의 자연스러운 연결 고리를 확립한다는 것이다.

ABSTRACT

In this paper, I give a new construction of a Kähler-Einstein metrics on a smooth projective variety with ample canonical bundle. This result can be generalized to the construction of a singular Kähler-Einstein metric on a smooth projective variety of general type which gives an AZD of the canonical bundle. Also the variation of Bergman kernels and Kähler-Einstein volume form have been considered.

연구 동기 및 목표

• 캐논칼 번들의 극성 조건을 만족하는 매끄러운 프로젝티브 다양체 위에서 칼라비-아인슈타인 미터릭의 새로운 역동적 구성법을 수립하기 위해.
• 분석적 자르키 디컴포지션을 통해 일반 유형의 다양체에서 특이 칼라비-아인슈타인 미터릭으로 이 구성법을 일반화하기 위해.
• 일반 유형의 섬유를 가진 프로젝티브 사상에 대해 직접 이미지 $f_*\mathcal{O}_X(mK_{X/S})$ 위에 반세미양성 곡률을 가진 캐논칼 스트링크스 헤르미트 미터릭의 존재를 증명하기 위해.
• 반복적인 미터릭 구성법을 통해 Bergman 커널의 점근적 행동과 칼라비-아인슈타인 기하학 간의 연결 고리를 맺기 위해.

제안 방법

• 이전 단계의 $h_m$에 의해 가중된 $L^2$ 내적을 사용하여, $H^0(X, \mathcal{O}_X((m+1)K_X))$의 $L^2$-정규직교 기저와 관련된 Bergman 커널 $K_m$의 역행렬을 통해 $mK_X$ 위의 순차적이고 매끄러운 헤르미트 미터릭 $h_m$을 정의한다.
• 다음 단계를 위해 이전 단계의 $h_m$에 기반한 $L^2$ 내적을 사용하여 정규직교 기저를 정의함으로써 곡률 제어를 보장한다.
• $K_X$ 위의 극한 미터릭 $h_\infty = \liminf_{m\to\infty} \sqrt[m]{(m!)^n \cdot h_m}$을 구성하여 칼라비-아인슈타인 커런트를 얻는다.
• 후지타 정리와 점근적 부피 추정을 적용하여 $K_m$의 성장과 캐논칼 부피 $\mu(X,K_X)$ 간의 관계를 규명한다.
• $\limsup_{m\to\infty} \frac{1}{(m!)^{n/m}} (K_m)^{1/m}$에 대한 하한 및 상한을 증명하여, 이 극한이 칼라비-아인슈타인 부피 형태로 수렴함을 보인다.
• 일반 유형의 섬유 위에서 국소 Bergman 커널을 사용한 상대적 설정으로 이 구성법을 확장하여, 직접 이미지 층 위의 곡률 커런트가 반세미양성임을 증명한다.

실험 결과

연구 질문

• RQ1 캐논칼 번들의 극성 조건을 만족하는 다양체 위에서 Bergman 커널의 극한을 통해 칼라비-아인슈타인 미터릭을 역동적으로 구성할 수 있는가?
• RQ2 다중표준계열 위에서 Bergman 커널의 점근적 행동은 칼라비-아인슈타인 기하학과 어떻게 관련이 있는가?
• RQ3 일반 유형의 다양체 가중 가중치를 가진 가속기의 기저 위에서 직접 이미지 층 $f_*\mathcal{O}_X(mK_{X/S})$의 곡률 성질은 무엇인가?
• RQ4 일반 유형의 다양체 위에서 최대 칼라비-아인슈타인 커런트는 유일한가?
• RQ5 칼라비-아인슈타인 미터릭의 역동적 구성법은 일반 유형의 다양체에서 특이한 미터릭으로 일반화될 수 있는가?

주요 결과

• $K_X$ 위의 극한 미터릭 $h_\infty = \liminf_{m\to\infty} \sqrt[m]{(m!)^n \cdot h_m}$은 칼라비-아인슈타인 커런트 $\omega_\infty = \sqrt{-1} \partial\bar\partial \log h_\infty$를 정의한다.
• $K_m$의 점근적 성장은 $\limsup_{m\to\infty} \frac{1}{(m!)^{n/m}} \int_X (K_m)^{1/m} = (2\pi)^{-n} \int_X dV_E$를 만족하며, 이는 칼라비-아인슈타인 부피 형태와 정확히 일치한다.
• 상한 $\limsup_{m\to\infty} \frac{1}{(m!)^{n/m}} (K_m)^{1/m} \leq \frac{1}{n!} \mu(X,K_X)$이 성립하며, 극한에서 등호가 성립한다.
• 일반 유형의 매끄러운 프로젝티브 다양체 위에서 최대 칼라비-아인슈타인 커런트는 유일하다.
• 직접 이미지 층 $f_*\mathcal{O}_X(mK_{X/S})$는 나카노의 의미에서 반세미양성 곡률 커런트를 가진 캐논칼 스트링크스 헤르미트 미터릭 $h_{E,m}$을 갖는다.
• 이 구성법은 가속기로 확장 가능하며, $K_{X/S}$ 위의 극한 미터릭은 각각의 $m$에 대해 $f_*\mathcal{O}_X(mK_{X/S})$ 위에 반세미양성 곡률 커런트를 유도한다.