[论文解读] The Kähler metric of a blow-up

Dmitri Bykov|arXiv (Cornell University)|Jul 10, 2013

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

一句话总结

该论文在 $\mathds{CP}^1$ 上的线丛 $\mathcal{O}(-m)$ 的全空间上构造了渐近局部双曲的凯勒爱因斯坦度量，其中 $m \geq 3$，采用在例外 $\mathds{CP}^1$ 非纯量除子附近形式为 $K = a\log x + b x^m + \cdots$ 的 $U(2)$-不变凯勒势。关键结果是此类度量存在且与陈-韦伊公式相容，要求 $m \geq 3$ 以保证整数拓扑不变量和透镜空间边界结构。

ABSTRACT

After a review of the general properties of holomorphic spheres in complex surfaces we describe the local geometry in the vicinity of a CP^1 embedded with a negative normal bundle. As a by-product, we build (asymptotically locally hyperbolic) Kahler-Einstein metrics on the total spaces of the line bundles O(-m), m >= 3 over CP^1. We check that the behavior of the Kahler potential is compatible with the Chern-Weil formulas for the Euler characteristic and signature. We also describe two supersymmetric setups where relevant constructions arise.

研究动机与目标

• 在 $m \geq 3$ 的条件下，显式构造 $\mathcal{O}(-m)$ 在 $\mathds{CP}^1$ 上的全空间上的凯勒爱因斯坦度量。
• 理解复曲面上嵌入负法丛为 $\mathcal{O}(-m)$ 的 $\mathds{CP}^1$ 附近的局部几何。
• 确保凯勒势的渐近行为 $K = a\log x + b x^m + \cdots$ 与欧拉示性数和示性数等拓扑不变量相容。
• 阐明 $U(2)$ 对称性在将凯勒势约化为常微分方程并简化度量结构中的作用。

提出的方法

• 假设仅依赖于 $x = |z_1|^2 + |z_2|^2$ 的 $U(2)$-不变凯勒势，将问题约化为常微分方程。
• 利用 $Q(x) = xK'(x)$ 在 vierbein 形式下推导度量，将线元素表示为 $S^3 = SU(2)$ 上的左不变1-形式。
• 应用陈-韦伊理论，约束 $m$ 为整数，以确保欧拉示性数和示性数为整数。
• 使用凯勒商空间构造方法，将 $\mathbf{dP}_1$ 和 $\mathds{C}^2/\mathbb{Z}_2$ 表示为爆破，提供物理和几何动机。
• 施加 $\mathbb{Z}_m$ 的等价关系 $(z_1,z_2) \sim e^{2\pi i/m}(z_1,z_2)$，以确保 $m \geq 2$ 时边界为透镜空间 $S^3/\mathbb{Z}_m$，与拓扑量化一致。
• 验证渐近凯勒势 $K \sim a\log x + b x^m$ 可消除退化性，并在 $x=0$ 附近产生非退化的凯勒度量。

实验结果

研究问题

• RQ1 能否在 $m \geq 3$ 的条件下，对 $\mathcal{O}(-m)$ 在 $\mathds{CP}^1$ 上的全空间显式构造凯勒爱因斯坦度量？
• RQ2 在 $U(2)$-不变设定下，凯勒势在例外 $\mathds{CP}^1$ 除子附近的精确渐近形式为何？
• RQ3 为何拓扑数据（欧拉示性数、示性数）要求 $m$ 为整数？允许的取值有哪些？
• RQ4 当 $m \geq 2$ 时，边界结构如何从 $S^3$ 变为 $S^3/\mathbb{Z}_m$？其几何意义是什么？
• RQ5 物理和几何上，$U(2)$ 对称性在简化凯勒势和度量构造中的作用是什么？

主要发现

• 当 $m \geq 3$ 时，在 $\mathcal{O}(-m)$ 在 $\mathds{CP}^1$ 上的全空间上存在凯勒爱因斯坦度量，其渐近凯勒势为 $K = a\log x + b x^m + \cdots$，当 $x \to 0$ 时成立。
• 该度量渐近局部双曲，在 $\mathds{C}^2$ 单位球的边界附近趋近洛巴切夫斯基度量。
• 由陈-韦伊理论得出的整数欧拉示性数和示性数要求迫使 $m$ 为整数，且 $m \geq 3$ 是一致性的必要条件。
• 由于 $m \geq 2$ 时坐标上的 $\mathbb{Z}_m$ 等价关系，空间的边界为透镜空间 $S^3/\mathbb{Z}_m$，而非 $S^3$。
• $U(2)$-不变性将凯勒势约化为 $x = |z_1|^2 + |z_2|^2$ 的函数，使度量简化为常微分方程组。
• 凯勒势中修正项 $b x^m$ 消除了仅由 $\log x$ 项引起的度量退化性。