[论文解读] A Numerical Criterion for K-Energy maps of Algebraic Manifolds

Sean Timothy Paul|arXiv (Cornell University)|Oct 2, 2012

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

一句话总结

本文建立了光滑、线性正则的复射影簇上 Bergman 度量的 Mabuchi K-能量下确界一致有界的数值准则。证明表明，Mabuchi 能量在 Bergman 度量空间上一致有下界，当且仅当对所有极大环面，X-结式（X-resultant）的权多面体包含于 X-超判别式（X-hyperdiscriminant）的权多面体之中，从而通过几何不变理论与 Hilbert-Mumford 数值不变量，将问题归约为一个多面体组合条件。

ABSTRACT

Let X be a projective manifold. We prove that the Mabuchi Energy of X is bounded below on all degenerations in B (the space of Bergman metrics) if and only if it is bounded below uniformly on B.

研究动机与目标

• 建立光滑、线性正则的复射影簇相关 Bergman 度量空间上 Mabuchi 能量下确界一致有界的数值准则。
• 将全局下确界问题约化为在 Bergman 度量空间中每个代数一维参数子群上检查有界性。
• 通过所有极大环面作用下 X-结式与 X-超判别式权多面体的包含关系，刻画 Mabuchi 能量的一致有界性。
• 通过 Kempf-Ness 泛函与 Hilbert-Mumford 准则，将 K-能量行为与几何不变理论及数值不变量联系起来。
• 通过典范不变量的权多面体相对位置，提供 K-稳定性的一个多面体组合刻画。

提出的方法

• 本文应用 Hilbert-Mumford 数值准则于一对不变量：X-结式与 X-超判别式，以研究半稳定性。
• 定义表示中向量的权多面体为在极大环面作用下其权支撑集的凸包。
• 数值半稳定性条件通过不等式 $ w_\lambda(w) \leq w_\lambda(v) $ 表达，其中 $ w_\lambda $ 表示一维参数子群 $ \lambda $ 在向量上的权。
• 主要结果通过应用定理 4.1 得到，该定理将 Mabuchi 能量与对偶 $ (R, \Delta) $ 的 Kempf-Ness 泛函联系起来，误差项仅依赖于 Hilbert 多项式与度量。
• 证明通过在所有极大环面下 $ \mathcal{N}(R) \subset \mathcal{N}(\Delta) $ 的包含关系，将 Mabuchi 能量的全局下确界约化为退化过程中的渐近行为。
• 该构造依赖于结式与判别式映射到 $ SL(N+1,\mathbb{C}) $ 的不可约表示中的 $ G $-等变性，并给出显式的最高权描述。

实验结果

研究问题

• RQ1 在何种条件下，光滑、线性正则射影簇的 Bergman 度量空间上 Mabuchi 能量一致有下界？
• RQ2 Mabuchi 能量的全局下确界是否可约化为在每个代数一维参数子群上检查有界性？
• RQ3 精确的多面体组合条件为何？该条件以 X-结式与 X-超判别式权多面体的关系刻画 Mabuchi 能量的一致有界性？
• RQ4 结式与判别式的数值不变量如何通过 Kempf-Ness 泛函与 K-能量泛函关联？
• RQ5 在所有极大环面下 $ \mathcal{N}(R) \subset \mathcal{N}(\Delta) $ 的条件是否为 Mabuchi 能量一致有下界的充要条件？

主要发现

• Mabuchi 能量 $ (X, \omega_{FS}|_X) $ 在 Bergman 度量空间 $ \mathcal{B} $ 上一致有下界，当且仅当其在 $ \mathcal{B} $ 中每个代数一维参数子群上均有下界，从而确立了约化原理。
• 一致有下界成立当且仅当对所有极大环面 $ H \leq SL(N+1,\mathbb{C}) $，X-结式的权多面体包含于 X-超判别式的权多面体之中，如推论 4.1 所述。
• Mabuchi 能量通过不等式 $ |(n+1)\nu_{\omega_{FS}|_X}(\sigma) - \frac{1}{c_n^2} p_{R(X)\Delta(X)}(\sigma)| \leq M $ 与对偶 $ (R, \Delta) $ 的 Kempf-Ness 泛函相关，其中 $ M $ 仅依赖于 Hilbert 多项式与度量。
• 结式 $ R(X) $ 与判别式 $ \Delta(X) $ 是 $ SL(N+1,\mathbb{C}) $ 不可约表示中的非零截面，其显式最高权为 $ (r,\dots,r,0,\dots,0) $，其中 $ r $ 为两个不变量的公共次数。
• 结式与判别式的次数 $ r $ 由公式 $ r = d(n+1)(n(n+1)d - d\mu) $ 给出，其中 $ d $ 为 $ X $ 的次数，$ \mu $ 为 $ \omega_{FS}|_X $ 的平均标量曲率。
• 映射 $ X \mapsto R(X) $ 与 $ X \mapsto \Delta(X) $ 的 $ G $-等变性确保权多面体在群作用下一致变换，从而支持全局准则的建立。