[论文解读] 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

一句话总结

该论文证明，若一个具有紧致强拟凸边界且其正则部分上 Bergman 度量为 Kähler-Einstein 的斯坦空间，则其边界为球面。该结果通过 Bergman 核理论与具有孤立奇点的斯坦空间上的 Kähler-Einstein 度量分析，将 Cheng 猜想推广至奇异复空间。

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.

研究动机与目标

• 将关于 Bergman 度量与 Kähler-Einstein 度量等价性的 Cheng 猜想推广至具有孤立奇点的斯坦空间。
• 研究在具有紧致强拟凸边界之斯坦空间的正则部分上，当 Bergman 度量为 Kähler-Einstein 时的几何含义。
• 在 Bergman 度量满足 Kähler-Einstein 条件时，建立边界为球面的刻画。
• 通过 Bergman 核理论与全纯势方法，将光滑区域的结果推广至奇异复空间。
• 在具有球面对称边界的正规斯坦空间背景下，为广义 Cheng 猜想提供部分解法。

提出的方法

• 在具有紧致强拟凸边界的斯坦空间 $ \nabla $ 的正则部分上定义 Bergman 空间 $ A^2(\bar{\nabla}) $。
• 利用全纯 $ (n,0) $-形式的正交基构造 Bergman 核形式 $ K_{\nabla} = \sum f_j \wedge \overline{f_j} $。
• 在正则点集 $ \mathrm{Reg}(\nabla) $ 上定义 Bergman 度量 $ \omega_{\nabla}^B = i\partial\overline{\partial}\log k_{\nabla}(z,\overline{z}) $。
• 利用存在一个解析解曲面 $ \pi: M \to \nabla $，其例外除子为 $ E $，且 $ 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 在具有强拟凸边界的奇异斯坦空间上，Bergman 度量在何种条件下成为 Kähler-Einstein？
• RQ2 若 Bergman 度量具有 Kähler-Einstein 性质，是否意味着边界为球面？
• RQ3 广义 Cheng 猜想能否推广至具有孤立奇点的正规斯坦空间？
• RQ4 Bergman 核在奇点处的消失阶数在决定度量的 Einstein 性质中起何作用？
• RQ5 在奇异商空间情形下，统一化定理与 Cheng-Yau 度量的唯一性如何限制球面上可能存在的群作用？

主要发现

• 若一个具有紧致强拟凸边界的斯坦空间 $ \Omega $ 的正则部分上 Bergman 度量为 Kähler-Einstein，则其边界 $ \partial\Omega $ 为球面。
• 证明依赖于 Bergman 核在边界附近的渐近展开，以及 Monge-Ampère 方程 $ \det(u_{i\overline{j}}) = c e^u $ 的解，其中 $ u = \log K_\Gamma $。
• 对于满足 $ 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 度量。