[論文レビュー] Dynamical construction of Kähler-Einstein metrics on bounded pseudoconvex domains

Hajime Tsuji|arXiv (Cornell University)|Nov 16, 2013

Geometry and complex manifolds参考文献 6被引用数 3

ひとこと要約

本稿では、C⁰境界を持つ有界強擬凸領域 Ω ⊂ ℂⁿ におけるケーラー・アインシュタイン計量の動的構成を、重み付きL²内積に関する繰り返し正規直交基底から定義されるベルグマン核の正規化極限がケーラー・アインシュタイン体積形式に収束することを示すことによって確立する。主な結果は、limₘ→∞ √[m]{(m!)⁻ⁿKₘ} = (2π)⁻ⁿdV_E であり、ここで dV_E はケーラー・アインシュタイン体積形式を表す。

ABSTRACT

In this note we shall prove that the complete Kähler-Einstein volume form on a bounded strongly pseudoconvex domain with $C^{\infty}$-boundary is the normalized limit of a sequence of Bergman kernels.

研究の動機と目的

• 有界強擬凸領域（C⁰境界付き）における完全ケーラー・アインシュタイン計量への収束を示すベルグマン核に基づく動的系の確立。
• 文献[T, p.110, Theorem 1.2]における非コンパクト版の結果を滑らかな境界を持つ領域へ拡張し、一様推定を保証すること。
• 正規化された m 項目のベルグマン核の m 次根が、コンパクト一様位相でケーラー・アインシュタイン体積形式に収束することを示すこと。
• 強擬凸部分領域への exhaustion を用いて、一般の有界擬凸領域への構成の一般化。
• 極限計量の曲率推定を用いて、家族における相対ケーラー・アインシュタイン体積形式の半正定性を証明すること。

提案手法

• 再帰的動的系の定義：K₁ = Ω のベルグマン核、h₁ = K₁⁻¹ とし、Kₘ₊₁ = H⁰(Ω, (m+1)Kₐ) におけるベルグマン核（hₘ で重み付けられたL²内積に関して）として再帰的に定義。
• ∂̄ に対するホルマンダーのL²推定を用いて、A²(Ω, (m+1)Kₐ, hₘ) が適切に定義され、非常に豊富であることを保証し、Kₘ₊₁ の構成を可能にする。
• チェン＝ヤウによる無限階有界幾何構造 (Ω, ω_E) を用いて、Ω 全体にわたる曲率および計量の減衰を一様に制御する。
• 計量行列式のテイラー展開を用い、ユークリッドモデルと比較することで、セクションに対する上界および下界のL²推定を確立する。
• ヤウのスカラーレンマを適用し、部分レベル集合 Ω_c 上の体積形式 ω_E,cⁿ の単調性を示し、極限計量の構成を可能にする。
• ベルンストスンの定理（直接像の曲率正定性）を用いて、家族の領域 Ω ⊂ ℂⁿ×Δ 上の相対体積形式 dV_Ω/Δ⁻¹ が半正定であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 有界強擬凸領域（C⁰境界付き）における完全ケーラー・アインシュタイン計量は、ベルグマン計量の列の極限として実現可能か？
• RQ2 m 項目のベルグマン核の正規化された m 次根は、一様にケーラー・アインシュタイン体積形式に収束するか？
• RQ3 強擬凸領域の非コンパクト設定において、一様推定をどのように維持できるか？
• RQ4 擬凸領域の家族における相対ケーラー・アインシュタイン体積形式は半正定か？
• RQ5 強擬凸領域から一般の有界擬凸領域へのケーラー・アインシュタイン計量の構成は、強擬凸部分領域への exhaustion を用いて拡張可能か？

主な発見

• コンパクト一様位相において、正規化極限 limₘ→∞ √[m]{(m!)⁻ⁿKₘ} が Ω 上で存在する。
• この極限は (2π)⁻ⁿdV_E に等しく、dV_E は完全ケーラー・アインシュタイン計量 ω_E に付随するケーラー・アインシュタイン体積形式を表す。
• 収束は一様であり、領域 Ω 全体で点ごとの収束が成立し、正規直交基底の選び方に依存しない。
• 証明は、(Ω, ω_E) の有界幾何構造に由来する一様L²推定に依存しており、曲率および計量の減衰を制御することを保証する。
• 強擬凸部分領域 Ω_c への exhaustion を用いて、一般の有界擬凸領域へ構成を拡張可能であり、ケーラー・アインシュタイン計量は単調減少極限として構成される。
• Ω ⊂ ℂⁿ×Δ 上の相対体積形式 dV_Ω/Δ⁻¹ は、ベルンストスンの定理および極限構成を用いて半正定曲率を持つことが証明された。