[论文解读] The Yang-Mills flow and the Atiyah-Bott formula on compact Kahler manifolds

Adam Jacob|arXiv (Cornell University)|Sep 7, 2011

Geometry and complex manifolds参考文献 19被引用 11

一句话总结

该论文证明了在紧致凯勒流形上的全纯向量丛上，杨-米尔斯流在 $L^2$ 意义下收敛于一个极限曲率自同态，其特征值对应于哈勒-纳拉西姆汉过滤商的斜率。论文证明了希米特-杨-米尔斯泛函的尖锐 $L^2$ 下界，将阿蒂亚-博特公式推广至任意维度，并验证了极限丛的可逆扩张同构于分次哈勒-纳拉西姆汉层的双对偶，从而证实了班多与西乌的猜想。

ABSTRACT

We study the Yang-Mills flow on a holomorphic vector bundle E over a compact Kahler manifold X . Along a solution of the flow, we show the curvature $iΛF(A_t)$ approaches in $L^2$ an endomorphism with constant eigenvalues given by the slopes of the quotients from the Harder-Narasimhan filtration of E. This proves a sharp lower bound for the Hermitian-Yang-Mills functional and thus the Yang-Mills functional, generalizing to arbitrary dimension a formula of Atiyah and Bott first proven on Riemann surfaces. Furthermore, we show any reflexive extension to all of X of the limiting bundle $E_\infty$ is isomorphic to $Gr(E)^{\star\star}$, verifying a conjecture of Bando and Siu.

研究动机与目标

• 将杨-米尔斯泛函的阿蒂亚-博特公式推广至紧致凯勒流形上的任意复维度。
• 建立在非稳定全纯向量丛上杨-米尔斯流的极限行为。
• 证明杨-米尔斯流沿其演化过程中极限丛的可逆扩张同构于 $\mathrm{Gr}^{\mathrm{hns}}(E)^{**}$，从而验证班多与西乌的猜想。
• 通过哈勒-纳拉西姆汉过滤推导希米特-杨-米尔斯泛函的尖锐 $L^2$ 下界。

提出的方法

• 利用哈勒-纳拉西姆汉过滤定义自同态 $\Psi_t = \sum_i \mu(Q^i)(\pi^i - \pi^{i-1})$，其中 $\mu(Q^i)$ 为第 $i$ 个商的斜率。
• 证明当 $t \to \infty$ 时，有 $\|i\Lambda F_{A_t} - \Psi_t\|_{L^2} \to 0$，表明曲率在 $L^2$ 意义下收敛于由过滤诱导的自同态。
• 利用 $L^2$ 估计及杨-米尔斯流的抛物性质，控制投影与曲率沿流的演化。
• 应用塞沙德里过滤与第二基本形式估计，分析流在奇点集 $Z$ 上的极限行为。
• 借助希夫曼的延拓定理与可逆层的性质，将极限丛 $E_\infty$ 延拓至奇点集 $Z_{\text{an}}$。
• 利用可逆扩张的唯一性与 $X \setminus Z$ 上的层同构，建立 $\mathrm{Gr}^{\mathrm{hns}}(E)^{**}$ 与班多-西乌扩张 $\hat{E}_\infty$ 之间的同构。

实验结果

研究问题

• RQ1 在紧致凯勒流形上的全纯向量丛上，杨-米尔斯流是否在 $L^2$ 意义下收敛于一个曲率自同态，其特征值由哈勒-纳拉西姆汉斜率给出，即使该丛非稳定？
• RQ2 阿蒂亚-博特公式对杨-米尔斯泛函是否可推广至黎曼曲面以外的任意复维度？
• RQ3 杨-米尔斯流沿其演化过程中极限丛 $E_\infty$ 的可逆扩张是否同构于 $\mathrm{Gr}^{\mathrm{hns}}(E)^{**}$，正如班多与西乌所猜想？
• RQ4 对于任意全纯丛，杨-米尔斯流下曲率自同态 $i\Lambda F_{A_t}$ 的精确 $L^2$ 极限行为是什么？

主要发现

• 曲率自同态 $i\Lambda F_{A_t}$ 在 $L^2$ 意义下收敛于自同态 $\Psi_t$，其特征值为哈勒-纳拉西姆汉商 $Q^i$ 的斜率，即证明了当 $t \to \infty$ 时 $\|i\Lambda F_{A_t} - \Psi_t\|_{L^2} \to 0$。
• 为希米特-杨-米尔斯泛函建立了尖锐 $L^2$ 下界：$\inf_A \|i\Lambda F_A\|^2_{L^2} = \sup_{\mathcal{F}} \Phi(\mathcal{F})^2$，其中上确界取遍所有斜率递减过滤。
• 极限丛 $E_\infty$ 可沿奇点集 $Z_{\text{an}}$ 延拓为一个可逆层，且同构于 $\mathrm{Gr}^{\mathrm{hns}}(E)^{**}$，从而证实了班多-西乌猜想。
• 代数奇点集 $Z_{\text{alg}}$ 包含于解析奇点集 $Z_{\text{an}}$，意味着代数奇点可由流的极限行为检测。
• 极限可逆层 $\hat{E}_\infty$ 是典范的且与子序列的选择无关，这是由于可逆扩张的唯一性。
• 在 $X \setminus Z$ 上，极限丛 $E_\infty$ 同构于 $\mathrm{Gr}^{\mathrm{hns}}(E)$，且该同构通过双对偶构造可延拓至整个 $X$。