[论文解读] Stability of extremal Kähler manifolds

Toshiki Mabuchi|ArXiv.org|Apr 10, 2004

Geometry and complex manifolds参考文献 24被引用 14

一句话总结

本文通过推广唐纳森关于平衡度量的框架，将极值凯勒流形在极大环面作用下的渐近稳定性建立起来。证明了在固定积分凯勒类中，极值凯勒度量在自同构群的单位连通分支作用下唯一，将先前关于常数量曲率度量的结果推广至更广泛的极值情形，通过引入修正的稳定性概念。

ABSTRACT

In this paper, by generalizing the concept of balanced metrics, we shall show that Donaldson's asymptotic approximation of balanced metrics for constant scalar curvature cases can be generalized to extremal Kaehler cases.

研究动机与目标

• 将唐纳森关于平衡度量的渐近稳定性框架推广至非恒定标量曲率的极值凯勒度量。
• 定义相对于最大代数环面 $ T \subset \operatorname{Aut}^0(M) $ 的稳定性概念，扩展在对称性存在下临界度量的概念。
• 证明在固定积分凯勒类中，极值凯勒度量在 $ \operatorname{Aut}^0(M) $ 作用下唯一，即使先前框架中的障碍项不为零。
• 建立一种修正的稳定性条件，使得在障碍项非零时仍能实现极值度量的渐近逼近。

提出的方法

• 为科达尔伊嵌入 $ \Phi_m(M) \subset \mathbb{P}^*(V_m) $ 的 Chow 点引入 $ T $-相对稳定性概念，利用 $ G_m = \prod \mathrm{SL}(V(\chi_k)) $ 在空间 $ W_m^* $ 上的作用。
• 为 $ V_m = H^0(M, \mathcal{O}(L^m)) $ 定义一个可接受的正规基，其正交分解为 $ T $-权空间 $ V(\chi_k) $，并为每个此类基分配一个指标 $ b = (b_1, \dots, b_{\nu_m}) $。
• 通过 $ T_c $-不变凯勒形式 $ \omega \in \mathcal{S} $ 在 $ V_m $ 上赋予一个赫米特度量，确保与 $ T $-作用相容，并允许定义 $ L^2 $-范数。
• 使用关于 $ q $ 的形式幂级数展开，构造一族度量 $ \omega(q) $，其标量曲率展开模 $ q^{\ell+2} $，依赖于算子 $ \mathcal{D}_0 $ 及其核与正交补空间的分解。
• 应用标量曲率的变分公式，递归求解 $ \varphi_\ell $、$ \zeta_\ell $ 和 $ \alpha_\ell $，确保标量曲率模 $ q^{\ell+2} $ 为零。
• 构造一个复代数环面 $ T \subset Z^\mathbb{C} $，作为由 $ \sqrt{-1} \mathcal{Y}_k $ 生成的李群的闭包，确保所需的稳定性与收敛性。

实验结果

研究问题

• RQ1 能否将唐纳森关于平衡度量的渐近稳定性框架扩展至非恒定标量曲率的极值凯勒度量？
• RQ2 相对于最大环面 $ T \subset \operatorname{Aut}^0(M) $，表征极值凯勒度量存在的正确稳定性概念是什么？
• RQ3 当稳定性条件中的障碍项不为零时，如何实现极值度量的渐近逼近？
• RQ4 在固定积分凯勒类中，极值凯勒度量是否在 $ \operatorname{Aut}^0(M) $ 作用下唯一？若是，其稳定性条件为何？
• RQ5 能否修改稳定性条件，使其在存在非平凡自同构群或非零障碍项时仍能保证收敛？

主要发现

• 本文证明了在射影代数流形 $ M $ 的固定积分凯勒类中，极值凯勒度量在 $ \operatorname{Aut}^0(M) $ 作用下唯一，推广了已知的常数量曲率度量结果。
• 通过引入修正的稳定性概念，即使稳定性条件中的障碍项不为零，也能实现极值凯勒流形的渐近稳定性，扩展了文献 [26] 的框架。
• 在修正的稳定性条件下，科达尔伊嵌入 $ \Phi_m(M) $ 的 $ T $-相对稳定 Chow 点的存在性，等价于类 $ c_1(L) $ 中极值度量的存在性。
• 通过求解 $ \mathcal{D}_0 $-方程并选择 $ \alpha_\ell $、$ \varphi_\ell $、$ \zeta_\ell $，实现了形式幂级数度量 $ \omega(q) $ 的递归构造，其标量曲率为零模 $ q^{\ell+2} $。
• 代数环面 $ T \subset Z^\mathbb{C} $ 被构造为由 $ \sqrt{-1} \mathcal{Y}_k $ 生成的复李群的闭包，确保渐近展开中所需的稳定性与收敛性。
• 通过证明 $ T $-不变逼近序列的唯一可能极限为极值度量（在 $ \operatorname{Aut}^0(M) $ 的自同构下），证明了极值度量的唯一性。