[논문 리뷰] Canonical volume forms on compact Kähler manifolds

Hajime Tsuji|ArXiv.org|2007. 07. 01.

Geometry and complex manifolds인용 수 4

한 줄 요약

이 논문은 복소 켈러 다양체의 캐논리컬 번들의 정규화된 단일형식 헤르미트 메트릭을 구성하며, 이 메트릭은 준양성인 곡률 전류를 갖는다. 고정된 켈러 형식과 체적 정규화로 제약을 두고 근사 메트릭의 극한 절차를 통해, 보조 선택에 의존하지 않고 고유한 메트릭을 도출한다. 이 메트릭은 거의 곳 곳에서 특이한 메트릭이며, 준양성 곡률과 최대의 다중 이상층을 가지며, 이를 통해 캐논리컬 섹션을 유지한다.

ABSTRACT

We construct a canonical singular hermitian metric with semipositive curvature current on the canonical line bundle of a compact Kähler manifold with pseudoeffective canonical bundle.

연구 동기 및 목표

• 프로젝트브 가속에서의 캐논리컬 단일형식 헤르미트 메트릭의 구성 방식을 컴팩트 켈러 다양체로 확장한다.
• 켈러 설정에서 분지 덮개가 없기 때문에, 해석적 대상 대신 다중하모닉 대상의 변화를 이용하여 도전 과제를 해결한다.
• 캐논리컬 번들에 대해 유일하고 고유한 단일형식 헤르미트 메트릭이 존재함을 증명한다. 이 메트릭은 준양성 곡률 전류를 갖는다.
• 이 메트릭이 다중 이상층의 구조를 통해 모든 다중 캐논리컬 섹션을 유지함을 보장한다.
• 메트릭이 보조 켈러 형식 $ \omega_0 $ 의 선택에 독립적임을 보인다.

제안 방법

• 모든 점에서 $ \Theta_h + \varepsilon \omega_0 \geq 0 $ 를 만족하고 총 질량이 1인 메트릭들의 점별 최소값으로 $ h_\varepsilon $ 를 정의한다.
• 해당 체적 형식 $ dV_\varepsilon = h_\varepsilon^{-1} $ 를 구성하며, 이는 유계이면서 준양성이다.
• $ \varepsilon \to 0 $ 일 때 $ dV_\varepsilon $ 의 상한극한의 상한을 취해 $ d\tilde{V}_{\text{can}} $ 를 정의하고, $ \tilde{h}_{\text{can}} = (d\tilde{V}_{\text{can}})^{-1} $ 를 설정한다.
• 다중하모닉 함수의 하한 평균 성질을 이용해 $ dV_\varepsilon $ 에 대한 $ \varepsilon $ 에 독립적인 균일한 상한을 증명한다.
• 모든 준양성 곡률을 갖는 특이 메트릭과의 비교를 통해 $ d\tilde{V}_{\text{can}} $ 에 하한을 확립함으로써, 이 메트릭이 AZD임을 증명한다.
• 두 형식 간의 이중리프시츠 등가성에 기반해 근사 가족 간의 비교를 통해 $ \omega_0 $ 의 선택에 독립성을 증명한다.

실험 결과

연구 질문

• RQ1 컴팩트 켈러 다양체의 패시브펙티브 캐논리컬 번들에 대해 준양성 곡률을 갖는 캐논리컬 단일형식 헤르미트 메트릭을 구성할 수 있는가?
• RQ2 이러한 메트릭은 모든 다중 캐논리컬 섹션을 유지하는가? 즉, 모든 $ m \geq 0 $ 에 대해 $ H^0(X, \mathcal{O}_X(mK_X) \otimes \mathcal{I}(\tilde{h}_{\text{can}}^m)) \simeq H^0(X, \mathcal{O}_X(mK_X)) $ 가 성립하는가?
• RQ3 결과로 도출된 메트릭은 구성에 사용된 보조 켈러 형식 $ \omega_0 $ 의 선택에 독립적인가?
• RQ4 이러한 구성은 $ \omega_0 $ 의 의존성을 피할 수 있도록 적응 가능하며, 동일한 캐논리컬 메트릭을 도출하는가?
• RQ5 캐논리컬 메트릭은 프로젝트브 케이스에서의 슈퍼캐논리컬 AZD와 어떻게 관련이 있는가?

주요 결과

• 캐논리컬 메트릭 $ \tilde{h}_{\text{can}} $ 는 컴팩트 켈러 다양체 $ X $ 에 의해 유일하게 결정되며, 보조 켈러 형식 $ \omega_0 $ 의 선택과 무관하다.
• 곡률 전류 $ \Theta_{\tilde{h}_{\text{can}}} $ 는 $ X $ 상에서 전류의 의미에서 준양성이다. 이는 일반화된 의미에서의 양성성을 보장한다.
• 모든 $ m \geq 0 $ 에 대해 $ H^0(X, \mathcal{O}_X(mK_X) \otimes \mathcal{I}(\tilde{h}_{\text{can}}^m)) $ 는 $ H^0(X, \mathcal{O}_X(mK_X)) $ 와 동형이므로, 이는 AZD임을 확인한다.
• 체적 형식 $ d\tilde{V}_{\text{can}} = \tilde{h}_{\text{can}}^{-1} $ 는 모든 매끄러운 체적 형식에 의해 유계이므로, $ \varepsilon $ 에 관계없이 균일하게 적분 가능하고 정규성을 보장한다.
• 메트릭은 $ X $ 의 자기동형군에 관하여 불변이며, $ d\tilde{V}_{\text{can}} $ 가 다중해석적 동형사상에 의해 보존되기 때문이다.
• 프로젝트브 케이스에서는 $ \tilde{h}_{\text{can}} $ 는 슈퍼캐논리컬 AZD $ \hat{h}_{\text{can}} $ 보다 위로 유계이며, $ \hat{h}_{\text{can}} $ 는 $ \tilde{h}_{\text{can}} $ 의 상수배 이하로 유계이다.