[论文解读] Conformally Kähler geometry and quasi-Einstein metrics

Wafaâ Batat, Stuart James Hall+2 more|arXiv (Cornell University)|Feb 25, 2015

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

一句话总结

本文证明了吕、佩奇和波普在法诺凯勒-爱因斯坦基上构造的准爱因斯坦度量是共形凯勒度量，且其共形凯勒类与第一陈类成比例。通过扭几何与阿布雷-吉约米尼框架，作者提供了一个统一的构造方法，同时给出了在 $\mathbb{C}P^{2}\sharp\overline{\mathbb{C}P}^{2}$ 上的佩奇、小岛-曹以及吕-佩奇-波普度量。此外，推导了在 $\mathbb{C}P^{2}\sharp 2\overline{\mathbb{C}P}^{2}$ 上潜在类比度量的显式约束，并表明陈-乐邦-韦伯度量并非此类族的光滑极限。

ABSTRACT

We prove that the quasi-Einstein metrics found by Lü, Page and Pope on $\mathbb{C}P^{1}$-bundles over Fano Kähler-Einstein bases are conformally Kähler and that the Kähler class of the conformal metric is a multiple of the first Chern class. A detailed study of the lowest-dimensional example of such metrics on $\mathbb{C}P^{2}\sharp \overline{\mathbb{C}P}^{2}$ using the methods developed by Abreu and Guillemin for studying toric Kähler metrics is given. Our methods yield, in a unified framework, proofs of the existence of the Page, Koiso-Cao and Lü-Page-Pope metrics on $\mathbb{C}P^{2}\sharp \overline{\mathbb{C}P}^{2}$. Finally, we investigate the properties that similar quasi-Einstein metrics would have if they also exist on the toric surface $\mathbb{C}P^{2}\sharp 2 \overline{\mathbb{C}P}^{2}$.

研究动机与目标

• 建立吕-佩奇-波普在法诺凯勒-爱因斯坦基上的 $\mathbb{C}P^{1}$-丛上构造的准爱因斯坦度量为共形凯勒度量。
• 证明共形度量的凯勒类是第一陈类的倍数，从而将这些度量与经典凯勒几何联系起来。
• 利用扭凯勒几何方法，统一构造 $\mathbb{C}P^{2}\sharp\overline{\mathbb{C}P}^{2}$ 上的佩奇、小岛-曹与吕-佩奇-波普度量。
• 研究在扭曲面 $\mathbb{C}P^{2}\sharp 2\overline{\mathbb{C}P}^{2}$ 上共形凯勒准爱因斯坦度量的存在性与性质，包括潜在解的约束条件。
• 排除陈-乐邦-韦伯爱因斯坦度量作为 $\mathbb{C}P^{2}\sharp 2\overline{\mathbb{C}P}^{2}$ 上假设的共形凯勒准爱因斯坦族的光滑极限的可能性。

提出的方法

• 作者使用阿布雷-吉约米尼框架描述 $\mathbb{C}P^{2}\sharp\overline{\mathbb{C}P}^{2}$ 上的扭凯勒度量，从而能够以多面体上的凸函数显式参数化凯勒势与度量。
• 应用金-金第一积分与边界条件，推导出约束准爱因斯坦度量势函数 $\phi$ 参数的方程组。
• 构造共形因子，使得所得度量满足准爱因斯坦方程 $\mathrm{Ric}(g) + \nabla^2\phi - \frac{1}{m}d\phi \otimes d\phi = \lambda g$，同时在共形标度下保持凯勒结构。
• 对于 $\mathbb{C}P^{2}\sharp 2\overline{\mathbb{C}P}^{2}$，该方法从金-金第一积分与积分约束出发，利用凯勒度量 $g_K$ 与函数 $\mathcal{F} = \phi - 2\sigma$ 推导出关于四个未知数 ($b,c,d,\mu$) 的四个方程。
• 通过数值计算求解 $a=2$、$m=2$ 时的方程组，得到唯一可接受解：$b \approx -0.0744357$，$c \approx 1.00482$，$d \approx -0.463585$，$\mu \approx 0.282617$。
• 该方法分析了当 $m \to \infty$ 时的极限行为，表明由于与推导出的约束条件不兼容，陈-乐邦-韦伯度量不可能是此类族的光滑极限。

实验结果

研究问题

• RQ1 吕-佩奇-波普在法诺凯勒-爱因斯坦基上的 $\mathbb{C}P^{1}$-丛上的准爱因斯坦度量是否为共形凯勒度量？若是，其共形凯勒类是否与第一陈类成比例？
• RQ2 能否通过扭凯勒几何框架统一构造 $\mathbb{C}P^{2}\sharp\overline{\mathbb{C}P}^{2}$ 上的佩奇、小岛-曹与吕-佩奇-波普度量？
• RQ3 在 $\mathbb{C}P^{2}\sharp 2\overline{\mathbb{C}P}^{2}$ 上是否存在共形凯勒准爱因斯坦度量？其势函数需满足何种约束？
• RQ4 陈-乐邦-韦伯爱因斯坦度量是否为 $\mathbb{C}P^{2}\sharp 2\overline{\mathbb{C}P}^{2}$ 上共形凯勒准爱因斯坦族的光滑极限？
• RQ5 共形凯勒准爱因斯坦度量在极小化凯勒能量与极小化凯勒几何中的意义为何？

主要发现

• 吕-佩奇-波普在法诺凯勒-爱因斯坦基上的 $\mathbb{C}P^{1}$-丛上的准爱因斯坦度量是共形凯勒度量，且其共形凯勒类为第一陈类的倍数。
• 在 $\mathbb{C}P^{2}\sharp\overline{\mathbb{C}P}^{2}$ 上，佩奇、小岛-曹与吕-佩奇-波普度量可通过单一扭几何构造统一，该构造基于阿布雷-吉约米尼框架。
• 当 $a=2$ 且 $m=2$ 时，由金-金第一积分与积分约束导出的方程组在 $\mathbb{C}P^{2}\sharp 2\overline{\mathbb{C}P}^{2}$ 上有唯一可接受解：$b \approx -0.0744357$，$c \approx 1.00482$，$d \approx -0.463585$，$\mu \approx 0.282617$。
• 陈-乐邦-韦伯度量不能是 $\mathbb{C}P^{2}\sharp 2\overline{\mathbb{C}P}^{2}$ 上共形凯勒准爱因斯坦族的光滑极限，因为所需参数值违反了推导出的约束条件。
• 共形因子确保准爱因斯坦方程成立，同时在标度下保持凯勒结构，且势函数 $\phi$ 通过阿布雷-吉约米尼形式化方法显式受限。
• 从 $\Delta_{\mathcal{F}}$-拉普拉斯恒等式推导出积分约束 $\int_P (e^{-\phi} - \mu e^{(\frac{2}{m}-1)\phi}) e^{4\sigma} dx = 0$，该约束对于满足准爱因斯坦条件至关重要。