[论文解读] Miyaoka-Yau inequality for compact Kähler manifolds with semi-positive canonical bundle

Ryosuke Nomura|arXiv (Cornell University)|Feb 15, 2018

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

一句话总结

本文通过在凯勒-里奇流上建立标量曲率的 $L^2$-范数估计，证明了具有半正 canonical bundle 的紧致凯勒流形上的 Miyaoka-Yau 不等式。关键创新在于通过一个狄利克雷能量泛函 $E(t)$ 控制标量曲率的 $L^2$-范数，从而将该不等式从此前的射影代数簇推广至更广泛的凯勒情形，在不依赖于 bigness 的条件下确认了半正情形下的不等式成立。

ABSTRACT

In this paper, we prove the Miyaoka-Yau inequality for compact Kähler manifolds with semi-positive canonical bundle. The key point of the proof is the estimate for the $L^2$-norm of the scalar curvature along the Kähler-Ricci flow.

研究动机与目标

• 将 Miyaoka-Yau 不等式推广至具有半正 canonical bundle 的紧致凯勒流形，超越此前仅适用于射影流形或 bigness canonical bundle 的情形。
• 在 canonical bundle 半正但不为 bigness 的条件下，建立凯勒-里奇流上标量曲率的统一 $L^2$-有界性。
• 通过引入与对数体积比的 Dirichlet 范数相关的新型能量泛函 $E(t)$，克服在非 bigness 情形下标量曲率无统一有界性的缺陷。
• 证明凯勒-里奇流满足实现 Miyaoka-Yau 不等式所必需的上同调与曲率衰减条件。

提出的方法

• 定义泛函 $E(t) = \int_X \sqrt{-1} \partial f_t \wedge \overline{\partial}f_t \wedge \omega_t^{n-1}$，其中 $f_t = \log(\omega_t^n / \Omega)$，以追踪对数体积比梯度的 $L^2$-范数。
• 推导时间导数 $\frac{d}{dt}E(t)$，并利用曲率分解与里奇曲率估计，将其与标量曲率 $R(\omega_t)$ 的 $L^2$-范数关联起来。
• 利用 $K_X$ 半正但不为 bigness 的假设，通过数值维数 $\nu < n$ 控制里奇曲率项的衰减速率，得到指数衰减 $e^{-(n-\nu)t}$。
• 应用最大值原理，获得统一的下界 $R(\omega_t) \geq -C$，从而确保标量曲率项的可积性。
• 通过积分微分不等式 $\frac{d}{dt}E(t) \leq -\frac{2}{n}\int_X R^2 \omega_t^n + C'e^{-(n-\nu)t}$，建立 $\int_0^\infty \int_X R(\omega_t)^2 \omega_t^n \, dt < \infty$。
• 利用凯勒-里奇流的长时间存在性及上同调收敛 $[\omega_t] \to 2\pi c_1(K_X)$，验证 Miyaoka-Yau 不等式所要求的极限条件。

实验结果

研究问题

• RQ1 对于具有半正但不为 bigness 的 canonical bundle 的紧致凯勒流形，Miyaoka-Yau 不等式是否成立？
• RQ2 在 $K_X$ 不为 bigness 的情形下，凯勒-里奇流上标量曲率的 $L^2$-范数是否可被统一有界？
• RQ3 对数体积比的 Dirichlet 能量 $E(t)$ 是否足以通过其时间导数控制标量曲率的 $L^2$-范数？
• RQ4 在仅假设半正性的情况下，是否可实现上同调极限 $[\omega_t] \to 2\pi c_1(K_X)$ 与 $|\mathrm{Ric}(\omega_t) + \omega_t|_{\omega_t}^2$ 的衰减？
• RQ5 由于 $K_X$ 缺乏 bigness，是否阻碍了现有标量曲率估计的应用？若是，新的泛函 $E(t)$ 是否可提供补偿？

主要发现

• Miyaoka-Yau 不等式对所有具有半正 canonical bundle 的紧致凯勒流形均成立，扩展了此前需依赖 bigness 或射影性假设的结果。
• 在 $K_X$ 半正但不为 bigness 的假设下，标量曲率的 $L^2$-范数满足 $\int_0^\infty \int_X R(\omega_t)^2 \omega_t^n \, dt < \infty$。
• 泛函 $E(t)$，即 $f_t = \log(\omega_t^n / \Omega)$ 的 Dirichlet 能量，通过其时间导数提供了标量曲率的关键控制机制。
• 里奇曲率项 $|\mathrm{Ric}(\omega_t) + \omega_t|_{\omega_t}^2$ 的衰减速率由 $e^{-(n-\nu)t}$ 控制，其中 $\nu$ 为 $K_X$ 的数值维数，且因非 bigness 而满足 $\nu < n$。
• 证明表明凯勒-里奇流满足两个必要极限条件：$[\omega_t] \to 2\pi c_1(K_X)$ 与 $\int_0^\infty \int_X |\mathrm{Ric}(\omega_t) + \omega_t|_{\omega_t}^2 \omega_t^n \, dt < \infty$，从而蕴含 Miyaoka-Yau 不等式。
• 结果确认，在不假设射影性或 bigness 的前提下，Miyaoka-Yau 不等式在更广泛的凯勒范畴内于半正性条件下依然成立。