[논문 리뷰] Existence of cscK metrics on smooth minimal models

Zakarias Sjöström Dyrefelt|arXiv (Cornell University)|2020. 04. 06.

Geometry and complex manifolds참고 문헌 25인용 수 8

한 줄 요약

이 논문은 비가역적 캐논칼 번들을 가진 컴acts Kähler 다양체 위에 일정한 스칼라 곡률 Kähler(cscK) 메트릭의 존재를 확립하며, Jian-Shi-Song의 추측을 확인한다. Abundance 추측에 의존하지 않는 직접적인 증명을 통해, 캐논칼 클래스 근처의 Kähler 클래스에서 Mabuchi K-energy가 적절함을 보이며, 이는 모든 매끄러운 최소 모델과 그 블로우업에 cscK 메트릭의 존재를 암시한다.

ABSTRACT

Given a compact Kähler manifold $X$ it is interesting to ask whether it admits a constant scalar curvature Kähler (cscK) metric. In this short note we show that there always exist cscK metrics on compact Kähler manifolds with nef canonical bundle, thus on all smooth minimal models, and also on the blowup of any such manifold. This confirms an expectation of Jian-Shi-Song \cite{JianShiSong} and extends their main result from $K_X$ semi-ample to $K_X$ nef, with a direct proof that does not appeal to the Abundance conjecture. As a byproduct we obtain that the connected component $\mathrm{Aut}_0(X)$ of a compact Kähler manifold with $K_X$ nef is either trivial or a complex torus.

연구 동기 및 목표

• 비가역적 캐논칼 번들을 가진 컴팩트 Kähler 다양체 위에 cscK 메트릭의 존재를 해결함으로써, 이전의 반약항성에서 비가역적 캐논칼 번들로의 결과를 확장한다.
• Abundance 추측에 의존하지 않는 cscK 존재성에 대한 직접적 증명을 제공함으로써, 프로젝티브이든 비프로젝티브이든 모두 적용 가능한 결과를 도출한다.
• 이러한 다양체의 연결된 자동형사상군 Aut₀(X)의 구조가 자명하거나 복소 토러스임을 규명한다.
• 블로우업의 경우에도 매끄러운 최소 모델에 cscK 메트릭이 존재함을 보이며, 비자명한 해밀턴 벡터 장이 존재하지 않음을 증명한다.
• Kähler 콧속에서 에너지 함수의 J-강한 코ercivity를 통해 cscK 존재 조건을 특징짓고, 기하학적 조건과 해석적 조건을 연결한다.

제안 방법

• Mabuchi K-energy 함수를 사용하며, $-c_1(X)$가 비가역일 때 $\epsilon > 0$가 작을 경우 $-c_1(X) + \epsilon[\omega]$ 형태의 Kähler 클래스에서의 적절성을 증명한다.
• Chen-Cheng의 $\mathcal{E}^1$ 유한 에너지 잠재함수 공간에서 에너지 함수의 강제성에 대한 기계적 장치를 적용한다.
• 강제성의 정량화를 위해 수치 불변량 $\delta([\omega]) = \delta_1([\omega]) - \delta_2([\omega])$를 도입하며, 이는 고전적 알파 불변량과 연결된다.
• $[\theta] = -c_1(X) + \delta([\omega])[\omega]$에 대해 $E_\omega^\theta$-함수의 J-강제성을 확립하며, 이는 K-energy의 적절성을 특징짓는다.
• $\delta([\omega]) > 0$ 및 $\delta([\omega]) \geq \frac{n+1}{n}\alpha_X([\omega])$의 성립을 이용해, 작은 변형에서도 강제성을 보장한다.
• Arezzo-Pacard의 블로우업 결과를 적용하여, 비자명한 해밀턴 벡터 장이 존재하지 않음으로써 블로우업에서도 cscK 메트릭이 존재함을 보인다.

실험 결과

연구 질문

• RQ1 모든 컴팩트 Kähler 다양체가 비가역적 캐논칼 번들을 가질 경우 cscK 메트릭을 갖는가?
• RQ2 Abundance 추측을 가정하지 않고 cscK 메트릭의 존재를 증명할 수 있는가?
• RQ3 캐논칼 번들이 $-c_1(X)$가 비가역일 경우, 컴팩트 Kähler 다양체 $X$의 연결된 자동형사상군 Aut₀(X)의 구조는 어떠한가?
• RQ4 매끄러운 최소 모델의 블로우업도 cscK 메트릭을 갖는가?
• RQ5 이러한 다양체의 캐논칼 근처 Kähler 클래스에서 Mabuchi K-energy가 적절함을 보일 수 있는가?

주요 결과

• 모든 컴팩트 Kähler 다양체 $X$에 대해 $-c_1(X)$가 비가역일 경우, $\epsilon_{X,[\omega]} > 0$가 존재하여 모든 $0 < \epsilon < \epsilon_{X,[\omega]}$에 대해 Kähler 클래스 $-c_1(X) + \epsilon[\omega]$는 고유한 cscK 메트릭을 갖는다.
• 이러한 클래스의 Kähler 잠재함수 공간에서 Mabuchi K-energy는 $d_1$-적절함을 띠며, 이는 cscK 메트릭 존재를 암시한다.
• 연결된 자동형사상군 $\mathrm{Aut}_0(X)$는 K-energy의 적절성의 결과로 자명하거나 복소 토러스임을 알 수 있다.
• 캐논칼 번지가 비가역인 컴팩트 Kähler 다양체의 블로우업은 비자명한 해밀턴 벡터 장이 존재하지 않기 때문에 cscK 메트릭을 갖는다.
• 수치 불변량 $\delta([\omega])$는 엄밀히 양수이며, $\delta([\omega]) \geq \frac{n+1}{n}\alpha_X([\omega]) > 0$를 만족하여 에너지 함수의 강제성을 보장한다.
• 결과는 임의의 차원의 컴팩트 Kähler 다양체(프로젝티브 또는 비프로젝티브)에 대해 적용되며, Abundance 추측을 요구하지 않는다.