[论文解读] Curvature of higher direct images and applications (Curvature of $R^{n-p}f_*\Omega^p_{X/S}(K_{X/S}^{\otimes m})$ and applications)

Georg Schumacher|arXiv (Cornell University)|Feb 25, 2010

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

一句话总结

本文通过全局椭圆方程与预解核估计，推导出在典范极化流形族上直接像层 $ R^{n-p}f_*\Omega^p_{X/S}(K_{X/S}^{ au m}) $ 的显式曲率公式。证明了 $ f_*K^{ au(m+1)}_{X/S} $ 具有明确下界的 Nakano 正曲率，从而为典范极化代数簇模空间的双曲性提供了微分几何证明。

ABSTRACT

Given an effectively parameterized family $f:X o S$ of canonically polarized manifolds, the K\"ahler-Einstein metrics on the fibers induce a hermitian metric on the relative canonical bundle $K_{X/S}$. We use a global elliptic equation to show that this metric is strictly positive everywhere and give estimates. The direct images $R^{n-p}f_*\Omega^p_{X/S}(K_{X/S}^{\otimes m})$, $m > 0$, carry induced natural hermitian metrics. We prove an explicit formula for the curvature tensor of these direct images with estimates, which implies Nakano-positivity for $p=n$. The Kodaira-Spencer map induces morphisms $S^p\mathcal T_S o R^p f_*\Lambda^p T_{X/S}$. For a suitable value of $p$ (and $\dim S=1$) a natural hermitian metric on $T_S$ of negative curvature is induced. A differential geometric proof for hyperbolicity properties of the moduli space follows.

研究动机与目标

• 推导与典范极化流形族相关的直接像层 $ R^{n-p}f_*\Omega^p_{X/S}(K_{X/S}^{\otimes m}) $ 的显式曲率公式。
• 通过曲率估计，建立 $ f_*K^{\otimes(m+1)}_{X/S} $ 的 Nakano 正性，并给出有效下界。
• 通过曲率正性，为典范极化代数簇模空间（特别是 $ M_{\text{can}} $）提供微分几何方法证明其双曲性。
• 将 Weil-Petersson 度量曲率公式推广至高阶直接像层，并将其与 Kodaira-Spencer 映射及调和形式关联。
• 将曲率正性结果推广至极化里奇平坦流形族，应用于双曲性与模理论。

提出的方法

• 利用纤维上的凯勒-爱因斯坦度量，诱导相对典范丛 $ K_{X/S} $ 上的埃尔米特度量，并通过全局椭圆方程分析其曲率。
• 应用复拉普拉斯算子 $ \Box $ 在 $ (0,n-p) $-型微分形式上的预解核 $ (\Box + m)^{-1} $，将曲率分量表示为调和 Kodaira-Spencer 形式与取值于 $ \Omega^p(K^{\otimes m}) $ 的调和形式的上积。
• 通过纤维上的点态 $ L^2 $ 内积及其上积，利用积分方法推导曲率张量公式。
• 引入格林算子 $ G_\partial $ 与 $ G_{\bar\partial} $，证明其在满足 $ p+q = n $ 的 $ (p,q) $-型微分形式上重合，并利用特征函数展开处理 $ (\Box - m)^{-1} $ 的可逆性。
• 利用 Cheeger-Yau 关于热核的估计，控制预解核 $ (\Box + m)^{-1} $，确保曲率分量的正性。
• 依赖于 $ (\Box + 1)^{-1} $ 严格正，且当 $ m > 0 $ 时 $ (\Box - m)^{-1} $ 存在且正，这源于谱间隙的存在。

实验结果

研究问题

• RQ1 在典范极化流形族中，直接像层 $ R^{n-p}f_*\Omega^p_{X/S}(K_{X/S}^{\otimes m}) $ 的显式曲率张量公式是什么？
• RQ2 如何通过曲率估计来估计 $ f_*K^{\otimes(m+1)}_{X/S} $ 的曲率，以建立具有明确下界的 Nakano 正性？
• RQ3 能否通过椭圆PDE将广义 Weil-Petersson 度量的曲率与调和 Kodaira-Spencer 形式及上积联系起来？
• RQ4 是否 $ f_*K^{\otimes(m+1)}_{X/S} $ 的曲率正性可推出典范极化代数簇模空间 $ M_{\text{can}} $ 的双曲性？
• RQ5 预解核 $ (\Box + m)^{-1} $ 在控制曲率正性中起什么作用，尤其是在存在可能为负的项如 $ (\Box - m)^{-1} $ 的情况下？

主要发现

• 直接像层 $ R^{n-p}f_*\Omega^p_{X/S}(K_{X/S}^{\otimes m}) $ 的曲率张量由三个积分之和给出，分别涉及 $ (\Box + 1)^{-1} $、$ (\Box + m)^{-1} $ 与 $ (\Box - m)^{-1} $ 作用于调和 Kodaira-Spencer 形式与 $ \Omega^p(K^{\otimes m}) $-值形式的上积。
• 当 $ p = n $ 时，含 $ (\Box - m)^{-1} $ 的项消失，且 $ f_*K^{\otimes(m+1)}_{X/S} $ 为 Nakano 正，其曲率下界为 $ P_n(d(X_s)) \cdot \|A\|^2 \cdot \|\psi\|^2 $，其中 $ P_n(d) > 0 $ 是维度 $ n $ 与纤维直径 $ d $ 的显式函数。
• 层 $ R^p f_*\Lambda^p T_{X/S} $ 的曲率通过三个积分表达，涉及 $ (\Box + 1)^{-1} $ 与 $ (\Box - 1)^{-1} $，当 $ p = 1 $ 时后者项消失，从而恢复经典 Weil-Petersson 曲率公式。
• 通过 Yosida 估计与 Cheeger-Yau 的热核界，确立了预解核 $ (\Box + m)^{-1} $ 的正性，确保当族非等轨时曲率严格正。
• 曲率估计 $ R(A, A, \psi, \psi) \geq P_n(d(X_s)) \cdot \|A\|^2 \cdot \|\psi\|^2 $ 提供了仅依赖于纤维维数与直径的统一下界。
• 结果为模空间双曲性提供了微分几何证明：任何非等轨族 $ X \to C $ 的典范极化流形在曲线上满足 $ g(C) > 1 $，从而证实了沙法列维奇猜想的一个情形。