[论文解读] Kaehler-Ricci solitons on homogeneous toric bundles (I)

Fabio Podestà, Andrea Spiro|ArXiv.org|Apr 4, 2006

Geometry and complex manifolds参考文献 16被引用 7

一句话总结

本文利用辛几何数据，对旗流形上 Fano 同伦对称丛给出了代数刻画，证明此类丛存在 Kähler-Ricci 孤子度量当且仅当其为 Fano。关键结果是基于纤维的矩映射像与旗流形的 Weyl 基域的判别准则，使得可通过凸多面体与李代数数据显式计算第一陈类的正性。

ABSTRACT

This is the first of a sequence of two papers. Here, a simple algebraic characterization of the Fano manifolds in the class of homogeneous toric bundles over a flag manifold G^C/P is provided in terms of symplectic data. The result of this paper is used in the second paper, where it is proved that an homogeneous toric bundle over a flag manifold admits a Kaehler-Ricci solitonic metric if and only if it is Fano.

研究动机与目标

• 为判断旗流形上同伦对称丛是否为 Fano，提供一种基于辛几何的代数准则。
• 利用矩映射数据与李代数结构，建立此类丛的第一陈类为正的充要条件。
• 为系列论文第二部分证明 Kähler-Ricci 孤子的存在性奠定基础性刻画。
• 将 Koiso 与 Sakane 关于 Kähler-Einstein 度量的定理推广至更广泛的同伦对称丛类。

提出的方法

• 本文利用旗流形 $G^\bC/P$ 上凯勒形式相关的矩映射，定义了稳定子 $K$ 的李代数中心对偶空间中的一个典范点 $Z_V$。
• 引入了纤维 $F$ 的度量归一化矩映射 $\mu_\rho: F \to \mathfrak{t}^*$，其像 $\Delta_F$ 是一个与 $\rho$ 的选择无关的凸多面体。
• 上拉 $\mu_\rho^\tau = (\tau|_{\mathfrak{z}(\mathfrak{k})})^* \circ \mu_\rho$ 在 $\mathfrak{z}(\mathfrak{k})^*$ 中定义了一个多面体 $\Delta_{\tau,F}$，其编码了环面在纤维上的作用。
• 主要判别准则是 $\mu(eP) + \Delta_{\tau,F} \subset \mathcal{C}^\vee$，其中 $\mathcal{C}^\vee$ 是 $\mathfrak{z}(\mathfrak{k})^*$ 中正 Weyl 基域的对偶。
• 本文提供了一种算法，可从 $F$ 上的 $T^m$-作用显式计算 $\Delta_F$，并将条件 (1.1) 重述为适合计算的有限代数不等式组。
• 该方法依赖于 Cartan-Killing 型与对偶性，将几何正性转化为李代数权与同态 $\tau: P \to (T^m)^\bC$ 上的代数条件。

实验结果

研究问题

• RQ1 在何种条件下，旗流形上的同伦对称丛为 Fano？
• RQ2 如何利用辛与李理论数据，代数刻画第一陈类的正性？
• RQ3 此类丛上 Kähler-Ricci 孤子的存在性能否归约为 Fano 条件？
• RQ4 纤维的矩映射像与基空间旗流形的 Weyl 基域之间的确切关系为何？
• RQ5 如何使 $c_1(M)$ 正性的判别准则具有计算有效性？

主要发现

• 同伦对称丛 $M = G^\bC \times_{P,\tau} F$ 的第一陈类为正，当且仅当 $F$ 为 Fano 且 $\mu(eP) + \Delta_{\tau,F} \subset \mathcal{C}^\vee$，其中 $\mathcal{C}^\vee$ 为正 Weyl 基域的对偶。
• 纤维 $F$ 的矩映射像 $\Delta_F$ 与 $c_1(F)$ 中 $T^m$-不变凯勒形式的选择无关，且可由环面作用显式计算。
• 当 $F = \mathbb{C}P^1$ 时，丛 $F_n$ 为 Fano 当且仅当 $n < 2$，该结论由判别式 $-\frac{1}{8\pi} + [-\frac{n}{16\pi}, \frac{n}{16\pi}] \subset \{x < 0\}$ 确认。
• 当 $F = \mathbb{C}P^2$ 时，对于 $G = \mathrm{SO}(4n)$，丛 $M = G \times_{K,\tau} \mathbb{C}P^2$ 为 Fano 当且仅当 $n \geq 5$，通过验证由同态 $\tau$ 定义的点 $P_o$ 与 $P_1$ 位于正 Weyl 基域 $\mathcal{C}$ 内得以证明。
• 判别准则 (1.1) 可通过与同态 $\tau$ 相关的矩阵 $C = [c_i^j]$ 重述为有限代数不等式组，从而实现对 Fano 条件的算法验证。
• 该构造推广了 Koiso 与 Sakane 的结果：同伦对称丛为 Kähler-Einstein 当且仅当其为 Fano 且其 Futaki 泛函恒为零。