[論文レビュー] Bergman-Einstein metric on a Stein space with a strongly pseudoconvex boundary

Jimmy Xiangji Huang, Xiaoshan Li|arXiv (Cornell University)|Aug 9, 2020

Holomorphic and Operator Theory参考文献 16被引用数 4

ひとこと要約

この論文は、特異点を持つ複素空間への Cheng の予想を一般化し、Bergman 核理論と孤立特異点を持つ Stein 空間における Kähler-Einstein 距離計量の解析を用いて、正則部分に Bergman 距離計量が Kähler-Einstein であるならば、その境界は球面的であることを証明している。

ABSTRACT

Let $Ω$ be a Stein space with a compact smooth strongly pseudoconvex boundary. We prove that the boundary is spherical if its Bergman metric over $\hbox{Reg}(Ω)$ is Kähler-Einstein.

研究の動機と目的

• 孤立特異点を持つ Stein 空間への Bergman 距離計量と Kähler-Einstein 距離計量の同値性に関する Cheng の予想を一般化すること。
• コンパクトで強擬凸境界を持つ Stein 空間の正則部分における Bergman 距離計量が Kähler-Einstein である場合の幾何的意味を調査すること。
• Bergman 距離計量が Kähler-Einstein であるという条件下で、境界が球面的であることを特徴づけること。
• Bergman 核理論と複素ポテンシャル論的手法を用いて、滑らかな領域から特異複素空間への結果の拡張を図ること。
• 正則な Stein 空間で境界が球面的である場合の一般化された Cheng の予想に対する部分的解決を提示すること。

提案手法

• コンパクトで強擬凸境界を持つ Stein 空間 $ \nabla $ の正則部分における Bergman 空間 $ A^2(\bar{\nabla}) $ を定義する。
• 正規直交基底を用いて、正則 $ (n,0) $-形式の族 $ \sum f_j \wedge \overline{f_j} $ として Bergman 核形式 $ K_{\nabla} $ を構成する。
• 正則部分 $ \mathrm{Reg}(\nabla) $ 上で、Bergman 距離計量 $ \omega_{\nabla}^B = i\partial\overline{\partial}\log k_{\nabla}(z,\overline{z}) $ を定義する。
• 例外除集合 $ E $ を持つ解体 $ \pi: M \to \nabla $ が存在し、$ M $ が強擬凸多様体であることを用いる。
• Ohsawa-Takegoshi および Hörmander の $ L^2 $-推定を用いて、$ M $ 上の $ L^2 $-正則 $ (n,0) $-形式をより大きな多様体 $ M' $ に拡張する。
• 境界付近における Bergman 核の漸近的挙動を分析し、Monge-Ampère 方程式 $ \det(u_{i\overline{j}}) = c e^u $ を用いて、多重調和的性質を導出する。

実験結果

リサーチクエスチョン

• RQ1 孤立特異点を持つ Stein 空間で強擬凸境界を持つ場合、その Bergman 距離計量がいつ Kähler-Einstein になるか。
• RQ2 Bergman 距離計量が Kähler-Einstein であるという性質が、境界が球面的であることを示唆するか。
• RQ3 一般化された Cheng の予想を、孤立特異点を持つ正則な Stein 空間へ拡張できるか。
• RQ4 特異点における Bergman 核の消失順序が、距離計量の Einstein 性質を決定づける役割を果たすか。
• RQ5 球面の商空間における一様化定理と Cheng-Yau 距離計量の一意性が、群作用の可能性をどのように制限するか。

主な発見

• コンパクトで強擬凸境界を持つ Stein 空間 $ \Omega $ の正則部分における Bergman 距離計量が Kähler-Einstein であるならば、境界 $ \partial\Omega $ は球面的である。
• この証明は、境界付近における Bergman 核の漸近展開と、$ u = \log K_\Gamma $ を用いた Monge-Ampère 方程式 $ \det(u_{i\overline{j}}) = c e^u $ の解法に依存している。
• 次元 $ n \geq 2 $ の有限群商 $ \mathbb{B}^n / \Gamma $ において、Bergman 核が原点で消失するならば、距離計量は Kähler-Einstein にはなり得ない。
• 次元 $ n = 1 $ の場合、任意の有限群 $ \Gamma $ に対して $ \mathbb{B}^1 / \Gamma $ 上の Bergman 距離計量は Kähler-Einstein である。これは次元依存の二分法を示している。
• $ \mathbb{B}^3 / \mathbb{Z}_2 $ において $ K_\Gamma(0,0) = 0 $ であるならば、Bergman 距離計量は Kähler-Einstein 構造に必要な Monge-Ampère 方程式を満たさない。
• 球面上の Cheng-Yau Kähler-Einstein 距離計量の一意性から、高次元では唯一の自明な商（$ \Gamma = \{\mathrm{id}\} $）のみが Kähler-Einstein Bergman 距離計量をもたらすことが示された。