[论文解读] On the boundary behavior of the curvature of L2-metrics

Kenichi Yoshikawa|arXiv (Cornell University)|Jul 16, 2010

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

一句话总结

本文研究了一族紧致凯勒流形的一参量退化中，Nakano半正向量丛与相对典范丛扭的直接像层上 $L^2$-度量的曲率边界行为。利用先前工作中得到的 $L^2$-度量奇异性渐近展开，本文证明曲率形式在中心纤维附近表现出 Poincaré 型增长，具有精确的渐近估计 $|s|^{-2} (\log|s|)^{-2}$，并将其应用于推导解析 torsion 的复 Hessian 的渐近行为。

ABSTRACT

For one-parameter degenerations of compact Kähler manifolds, we determine the asymptotic behavior of the first Chern form of the direct image of a Nakano semi-positive vector bundle twisted by the relative canonical bundle, when the direct image is equipped with the L2-metric.

研究动机与目标

• 确定在紧致凯勒流形的一参量退化中，当参数 $s \to 0$ 时，直接像层 $R^q\pi_*\omega_{X/S}(\xi)$ 上 $L^2$-度量的曲率的渐近行为。
• 量化 $L^2$-度量及其曲率在中心纤维附近的奇异性，特别是与度量展开中的对数项和幂律项的关系。
• 将曲率估计应用于推导退化族中解析 torsion 的复 Hessian 的渐近行为。
• 在中心纤维仅有典型奇点的假设下改进曲率估计，表明曲率增长具有更强的衰减。

提出的方法

• 利用文献 [14] 中导出的 $\det R^q\pi_*\omega_{X/S}(\xi)$ 的全纯截面 $L^2$-范数的渐近展开，其中包含 $\log|s|^2$、$\ell_q \log(-\log|s|^2)$ 和 $a_q \log|s|^2$ 项。
• 应用 $R^q\pi_*\omega_{X/S}(\xi)$ 上 $L^2$-度量的 Nakano 半正性，以确保曲率形式 $\sqrt{-1}{\mathcal{R}}(s)$ 是正半定自同态。
• 通过度量展开结构与曲率公式，证明 $0 \leq \sqrt{-1}{\mathcal{R}}(s) \leq \frac{C}{|s|^2 (\log|s|)^2} \text{Id}$，从而建立曲率形式的 Poincaré 型增长。
• 应用 Quillen 曲率公式，将解析 torsion 与直接像层的第一陈类联系起来：$-dd^c \log \tau = \sum_q (-1)^q c_1(R^q\pi_*\omega_{X/S}(\xi), h_{L^2}) + [\pi_*\{\mathrm{Td}(TX/S, h_{X/S}) \mathrm{ch}(\omega_{X/S}(\xi))\}]^{(2)}$。
• 通过度量展开的微分，利用解析 torsion $\log \tau(X/S, \omega_{X/S}(\xi))$ 的渐近展开，推导出复 Hessian $\partial_{s\bar{s}} \log \tau$。
• 在典型奇点情形下，利用 $L^2$-度量属于类 $\mathcal{B}(S)$ 的事实，通过曲率界中的 $|s|^{2r}$ 项实现更强的衰减估计。

实验结果

研究问题

• RQ1 在紧致凯勒流形的退化中，当 $s \to 0$ 时，$R^q\pi_*\omega_{X/S}(\xi)$ 上 $L^2$-度量的曲率如何表现？
• RQ2 能否利用先前描述的 $\log|s|^2$ 和 $\log(-\log|s|^2)$ 形式的 $L^2$-度量渐近奇异性，推导出精确的曲率估计？
• RQ3 解析 torsion $\partial_{s\bar{s}} \log \tau(X/S, \omega_{X/S}(\xi))$ 的复 Hessian 在退化纤维附近的渐近行为是什么？
• RQ4 中心纤维 $X_0$ 上存在典型奇点如何影响 $L^2$-度量的曲率增长？

主要发现

• 曲率形式 $\sqrt{-1}{\mathcal{R}}(s)\,ds \wedge d\bar{s}$ 在 $R^q\pi_*\omega_{X/S}(\xi)$ 上的 $L^2$-度量满足 $0 \leq \sqrt{-1}{\mathcal{R}}(s) \leq \frac{C}{|s|^2 (\log|s|)^2} \text{Id}$，表明在 $s=0$ 附近具有 Poincaré 型增长。
• 第一陈类形式 $c_1(R^q\pi_*\omega_{X/S}(\xi), h_{L^2})$ 的渐近展开为 $\left\{ \frac{\ell_q}{|s|^2 (\log|s|)^2} + O\left( \frac{1}{|s|^2 (\log|s|)^3} \right) \right\} \sqrt{-1} \, ds \wedge d\bar{s}$，当 $s \to 0$ 时成立。
• 解析 torsion 的复 Hessian 满足 $\partial_{s\bar{s}} \log \tau(X/S, \omega_{X/S}(\xi)) = \frac{\sum_{q \geq 0} (-1)^q \ell_q}{|s|^2 (\log|s|)^2} + O\left( \frac{1}{|s|^2 (\log|s|)^3} \right)$，与 Poincaré 度量行为一致。
• 在中心纤维 $X_0$ 仅有典型奇点的假设下，曲率满足更强的估计：$0 \leq \sqrt{-1}{\mathcal{R}}(s) \leq \frac{C |s|^{2r}}{|s|^2 (\log|s|)^2} \text{Id}$，其中 $r > 0$，反映了更高的正则性。
• $L^2$-度量属于类 $\mathcal{B}(S)$，其行列式具有涉及 $|s|^{2r_i} (\log|s|)^{\ell_i} \varphi_i(s)$ 的展开，从而可通过微分实现精确的曲率估计。
• 曲率估计是精确的，因为陈形式中的主导项恰好为 $\frac{\ell_q}{|s|^2 (\log|s|)^2}$，且在无额外假设下无法进一步改进。