[论文解读] CM Stability And The Generalized Futaki Invariant II

Sean Timothy Paul, Gang Tian|ArXiv.org|Jun 20, 2006

Geometry and complex manifolds被引用 16

一句话总结

本文确立了广义Futaki不变量是极化代数簇族中沿一参数子群的约化K-能量渐近展开的首项。通过将Mabuchi K-能量解释为精细CM极化上的奇异Hermitian度量，证明了K-能量的恰当性蕴含广义Futaki不变量严格为负，从而将代数稳定性与Kähler-Einstein几何联系起来。

ABSTRACT

The Mabuchi K-energy map is exhibited as a singular metric on the refined CM polarization of any equivariant family $\mathbf{X}\overset{p}{ o} S$. Consequently we show that the generalized Futaki invariant is the leading term in the asymptotics of the reduced K-energy of the generic fiber of the map $p$. Properness of the K-energy implies that the generalized Futaki invariant is strictly negative.

研究动机与目标

• 建立极化簇族中约化K-能量与广义Futaki不变量之间精确的渐近关系。
• 证明Mabuchi K-能量可被解释为精细CM极化上的奇异Hermitian度量。
• 证明K-能量的恰当性蕴含广义Futaki不变量严格为负，从而将解析稳定性与代数不变量联系起来。
• 通过一参数子群作用下精细CM线丛的权，深化对广义Futaki不变量的理解。
• 通过将广义Futaki不变量嵌入一致的代数几何结构中，拓展CM稳定性理论的框架。

提出的方法

• 作者将精细CM极化 $\mathbb{L}_1$ 定义为平展族 $\mathbf{X} \to S$ 的基空间 $S$ 上的线丛，结合Chow型、上同调行列式与Hilbert点权。
• 他们证明Mabuchi K-能量对应于对偶 $\mathbb{L}_1^{-1}$ 上的奇异Hermitian度量，其中连续函数 $\Psi_S$ 编码了在判别子集之外的度量行为。
• 利用沿一参数子群 $\lambda$ 的Bergman势 $\varphi_{\lambda(t)}$ 的渐近分析，推导出展开式 $\nu_{\omega|_{\mathbf{X}_z}}(\varphi_{\lambda(t)}) = F_1(\lambda)\log|t|^2 + O(1)$ 当 $|t| \to 0$，并识别出 $F_1(\lambda)$ 为广义Futaki不变量。
• 他们应用Moser迭代法，并结合Sobolev常数 $\mathcal{C}(\varphi_t)$ 的一致有界性，利用 $\mathbb{P}^N$ 中射影子簇的极小性。
• 关键步骤在于证明：若K-能量有下界（即恰当），则广义Futaki不变量必须严格为负，通过退化过程中振幅与能量控制的行为实现。
• 他们分析两种情形：当极限循环 $X^{\lambda(0)}$ 为约化时（导致 $\mathrm{Osc} \to \infty$）与非约化时（导致 $\Psi \to -\infty$），在恰当性假设下两者均迫使 $F_1(\lambda) < 0$。

实验结果

研究问题

• RQ1 广义Futaki不变量与极化簇族中沿一参数子群的约化K-能量渐近行为有何关系？
• RQ2 Mabuchi K-能量能否被解释为某个代数线丛上的度量？若是，是哪一个？
• RQ3 精细CM极化 $\mathbb{L}_1$ 在编码广义Futaki不变量中起何种精确作用？
• RQ4 在何种条件下，K-能量的恰当性蕴含广义Futaki不变量严格为负？
• RQ5 极限循环 $X^{\lambda(0)}$ 的分量重数如何影响K-能量的渐近行为及 $F_1(\lambda)$ 的符号？

主要发现

• 广义Futaki不变量 $F_1(\lambda)$ 是约化K-能量渐近展开的首项：当 $|t| \to 0$ 时，$\nu_{\omega|_{\mathbf{X}_z}}(\varphi_{\lambda(t)}) = F_1(\lambda)\log|t|^2 + O(1)$。
• Mabuchi K-能量被实现为精细CM极化 $\mathbb{L}_1^{-1}$ 上的奇异Hermitian度量，函数 $\Psi_S$ 编码了度量的奇异行为。
• 若K-能量恰当，则对所有一参数子群 $\lambda$，广义Futaki不变量严格为负，即 $F_1(\lambda) < 0$。
• 当极限循环 $X^{\lambda(0)}$ 非约化时，$\Psi_S(\lambda(t)) \to -\infty$，但K-能量仅在 $F_1(\lambda) < 0$ 时有下界，此条件由恰当性假设强制成立。
• Sobolev常数 $\mathcal{C}(\varphi_t)$ 被一个仅依赖于复维数 $n$ 的常数 $\delta(n)$ 一致有界，从而可应用Moser迭代法控制 $L^p$ 范数并导出 $L^\infty$ 估计。
• 当 $X^{\lambda(0)}$ 为约化且无重数时，振幅 $\mathrm{Osc}_X(\varphi_t)$ 沿 $t \to 0$ 发散至无穷大，这在K-能量恰当的假设下迫使 $F_1(\lambda) < 0$。