[论文解读] Extremal Kahler metrics on projective bundles over a curve

Vestislav Apostolov, David M. J. Calderbank+2 more|arXiv (Cornell University)|May 4, 2009

Geometry and complex manifolds参考文献 40被引用 11

一句话总结

该论文证明了，当且仅当全纯向量丛 $E$ 是多重稳定（polystable）时，紧致黎曼曲面（亏格 $\geq 2$）上的射影丛 $M = \mathbb{P}(E)$ 才会存在常数量曲率凯勒（cscK）度量。此外，该文进一步表明，在足够小的凯勒类中，极小凯勒度量存在的充要条件是 $E$ 可分解为稳定子丛的直和，其方法基于辛几何、矩映射和复几何中的稳定性理论。

ABSTRACT

Let $M=P(E)$ be the complex manifold underlying the total space of the projectivization of a holomorphic vector bundle $E o Σ$ over a compact complex curve $Σ$ of genus $\ge 2$. Building on ideas of Fujiki, we prove that $M$ admits a Kähler metric of constant scalar curvature if and only if $E$ is polystable. We also address the more general existence problem of extremal Kähler metrics on such bundles and prove that the splitting of $E$ as a direct sum of stable subbundles is necessary and sufficient condition for the existence of extremal Kähler metrics in sufficiently small Kähler classes. The methods used to prove the above results apply to a wider class of manifolds, called {\it rigid toric bundles over a semisimple base}, which are fibrations associated to a principal torus bundle over a product of constant scalar curvature Kähler manifolds with fibres isomorphic to a given toric Kähler variety. We discuss various ramifications of our approach to this class of manifolds.

研究动机与目标

• 确定在亏格 $\geq 2$ 的紧致黎曼曲面上，射影丛 $\mathbb{P}(E)$ 上常数量曲率凯勒（cscK）度量存在的条件。
• 刻画在这些丛上，极小凯勒度量在足够小的凯勒类中存在的确切条件。
• 将几何结构（极小度量）与代数稳定性（多重稳定性）之间的对应关系，推广至曲线上的射影丛设定。
• 将该框架推广至具有环面纤维的刚性环面纤维化，其基空间为半单流形，从而扩大其适用范围，超越射影丛的范畴。

提出的方法

• 采用福崎（Fujiki）的方法，通过矩映射技术和辛约化来研究射影丛上的极小度量。
• 利用辛版本的福塔基特征（Futaki character）分析极小度量存在性的障碍。
• 应用李希诺维奇–马茨马什定理（Lichnerowicz–Matsushima theorem），并利用极小度量在约化自守群 $\widetilde{\mathrm{Aut}}_0(M,J)$ 作用下的唯一性。
• 依赖于通过 Yau–Tian–Donaldson 猜想扩展至极小度量的相对 $K$-多重稳定性，建立 cscK 度量与 $K$-多重稳定性的等价关系。
• 使用 O’Neill 张量与联络分解（$D = D^\mathcal{H} \oplus D^\mathcal{V}$）来计算曲率与数量曲率。
• 推导出 Ricci 形式 $\rho^\nabla$ 与数量曲率 $s^\nabla$ 的显式公式，其表达式以基度量、纤维数据以及矩映射分量 $p(z)$ 和 $H_{ij}$ 表示。

实验结果

研究问题

• RQ1 在亏格 $\geq 2$ 的紧致黎曼曲面上，射影丛 $\mathbb{P}(E)$ 何时会存在常数量曲率凯勒度量？
• RQ2 在足够小的凯勒类中，极小凯勒度量存在的精确条件是什么？这一条件如何作用于全纯向量丛 $E$？
• RQ3 向量丛 $E$ 的稳定性（多重稳定、稳定子丛的直和）与 $\mathbb{P}(E)$ 上极小度量的存在性之间有何关系？
• RQ4 用于射影丛的方法能否推广至更广泛的流形类，例如具有半单基空间的刚性环面纤维化？
• RQ5 约化自守群 $\widetilde{\mathrm{Aut}}_0(M,J)$ 在极小度量的存在性与唯一性中起何种作用？

主要发现

• 当且仅当全纯向量丛 $E$ 是多重稳定时，紧致黎曼曲面（亏格 $\geq 2$）上的射影丛 $M = \mathbb{P}(E)$ 才会存在常数量曲率凯勒度量。
• 在 $\mathbb{P}(E)$ 上，极小凯勒度量存在于足够小的凯勒类中，当且仅当 $E$ 可分解为稳定子丛的直和。
• 若 $E$ 不是多重稳定，则所构造度量的数量曲率为非常数，从而确认了稳定性条件的必要性。
• Ricci 形式 $\rho^\nabla$ 被显式计算为基空间 Ricci 形式与涉及 $p(z)$ 和 $H_{ij}$ 导数的修正项之和，反映了纤维化的几何结构。
• 数量曲率 $s^\nabla$ 由 Ricci 形式的迹导出，其依赖于矩映射数据与基空间上的度量。
• 该框架可推广至基空间为常数量曲率凯勒流形的乘积、且纤维为环面的刚性环面纤维化，从而扩展了结果的适用范围。