[论文解读] Quot-scheme limit of Fubini-Study metrics and Donaldson's functional for vector bundles

Yoshinori Hashimoto, Julien Keller|arXiv (Cornell University)|Sep 22, 2018

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

一句话总结

本论文通过Fubini–Study度量在Quot-概形极限下的渐近行为，建立了极小化线丛E在极化Kähler流形上的斜率稳定性与Donaldson泛函渐近行为之间的直接联系。通过分析Quot概形中的1-参数子群，作者证明该泛函的增长率由非阿基米德Donaldson泛函控制，当E斜率稳定时证明了泛函的强制性，并给出了Kobayashi–Lübke定理的新变分证明：即Hermitian–Einstein度量蕴含斜率稳定性。

ABSTRACT

For a holomorphic vector bundle $E$ over a polarised K\"ahler manifold, we establish a direct link between the slope stability of $E$ and the asymptotic behaviour of Donaldson's functional, by defining the Quot-scheme limit of Fubini-Study metrics. In particular, we provide an explicit estimate which proves that Donaldson's functional is coercive on the set of Fubini-Study metrics if $E$ is slope stable, and give a new proof of Hermitian-Einstein metrics implying slope stability.

研究动机与目标

• 建立全纯向量丛E的斜率稳定性与Donaldson泛函渐近行为之间的直接变分联系。
• 定义并分析Fubini–Study度量在Quot-概形极限下的性质，作为研究泛函强制性的工具。
• 利用变分与非阿基米德方法，给出Hermitian–Einstein度量蕴含斜率稳定性的新证明。
• 证明沿1-参数子群的Donaldson泛函渐近增长率由编码子层斜率的非阿基米德泛函MNA(σ)控制。

提出的方法

• 将Fubini–Study度量的Quot-概形极限定义为SL(H⁰(X,E(k))∨)中1-参数子群σ在t → +∞时诱导的度量极限。
• 利用Donaldson泛函的上链性质，将MDon(hσt, href)分解为包含非阿基米德泛函MNA(σ)的项与有界误差项之和。
• 从1-PS σ构造E的饱和子层过滤{E≤q}，并将渐近增长率表示为斜率差之和：∑q rk(E≤q)(µ(E) − µ(E≤q))。
• 利用泛函的测地线凸性，证明对所有σ ∈ XQ(k)，MNA(σ) ≥ 0当且仅当E半稳定，且MNA(σ) > 0当且仅当E稳定。
• 利用MDon的测地线凸性及测地距离的发散性，排除MNA(σF) = 0的可能性，从而证明任意饱和子层F满足µ(E) > µ(F)。
• 通过Cp-拓扑中度量的收敛性控制误差项，建立泛函增长率的统一估计。

实验结果

研究问题

• RQ1 沿Fubini–Study度量的1-参数子群，Donaldson泛函的渐近行为如何反映底层向量丛的代数稳定性？
• RQ2 能否仅从代数几何数据直接建立Donaldson泛函在Fubini–Study度量上的强制性，而无需依赖PDE理论？
• RQ3 非阿基米德泛函MNA(σ)与1-PS诱导过滤中饱和子层的斜率之间的确切关系为何？
• RQ4 能否利用变分与非阿基米德方法重新证明Hermitian–Einstein度量蕴含斜率稳定性的结论？

主要发现

• 沿1-参数子群σ，Donaldson泛函的渐近增长率由lim_{t→∞} MDon(hσt, href)/t = 2 ∑_{q∈Z} rk(E≤q)(µ(E) − µ(E≤q))给出，其中{E≤q}为σ诱导的过滤。
• Donaldson泛函在Fubini–Study度量集合上强制当且仅当向量丛E斜率稳定，这由所有非平凡1-PS的MNA(σ)正性所证明。
• 泛函表现出对数范数奇点：对所有σ ∈ XQ(k)及使得E(k)全局生成的k，有MDon(hσt, href) = MNA(σ)t + O(1)，且O(1)在t → +∞时有界。
• 对所有σ ∈ XQ(k)，MNA(σ) ≥ 0当且仅当E半稳定；MNA(σ) > 0当且仅当E稳定。
• 给出了Hermitian–Einstein度量蕴含斜率稳定性的新证明，利用测地线凸性与测地距离发散性，排除了任意饱和子层F满足MNA(σF) = 0的可能性。
• 该结果可推广至可约丛：若E为Hermitian–Einstein，则其为等斜率斜率稳定丛的直和，故为斜率多项稳定。