[论文解读] Semistable Higgs bundles of small ranks are strongly Higgs semistable

Guitang Lan, Mao Sheng+2 more|arXiv (Cornell University)|Nov 11, 2013

Algebraic Geometry and Number Theory参考文献 1被引用 9

一句话总结

该论文通过在 $\nabla$-半稳定的平坦丛上构造一个格拉斯曼-横截滤子，其对应的约化 Higgs 簇是半稳定的，证明了基域特征为 $p$ 且秩小于 $p$ 的半稳定 Higgs 簇是强 Higgs 半稳定的。关键结果在任意特征下建立了此类格拉斯曼-半稳定滤子的存在性，推广了 Simpson 的复解析结果，并证实了小秩情况下的猜想。

ABSTRACT

We give a proof of the conjecture that a semistable Higgs bundle is strongly Higgs semistable in the case of small ranks, based upon the fact that there exists a gr-semistable Griffiths-transverse filtration on a $ abla$-invariant semistable vector bundle. The latter is a generalization of a result of Carlos Simpson.

研究动机与目标

• 证明小秩情况下半稳定 Higgs 簇是强 Higgs 半稳定的猜想。
• 将 Simpson 定理 2.5 在复曲线上的结果推广到代数闭域上正特征的任意光滑射影概形。
• 建立在 $\nabla$-半稳定的平坦丛上存在一个 Griffiths-横截滤子，使得其对应的约化 Higgs 簇是半稳定的。
• 证明该滤子在秩小于 $p$ 时诱导出一个定义在有限域上的 Higgs-de Rham 流，从而确保强半稳定性。

提出的方法

• 在 $\nabla$-半稳定的平坦丛 $(V, \nabla)$ 上构造一个 Griffiths-横截滤子 $F^*$，使得其对应的约化 Higgs 簇 $(\operatorname{Gr}_F(V), \theta)$ 是半稳定的。
• 利用逆 Cartier 赋函子 $C_0^{-1}$ 将平坦丛与 Higgs 簇联系起来，在对应关系下保持半稳定性。
• 在滤子上定义一个操作 $\xi$，通过将不稳定的约化部分替换为其最大半稳定子丛，迭代地改进不稳定性。
• 基于秩进行归纳，并利用 Hodge 滤子中 Higgs 簇的最大不稳定子对象本身即为 Hodge 子丛的性质。
• 利用 Higgs 场的幂零性以及条件 $\operatorname{rk}(E_0) < p$，确保 Higgs-de Rham 流在有限域上保持定义。
• 证明滤子在逆 Cartier 赋函子下保持不变，且在每一步中其对应的约化 Higgs 簇仍保持半稳定。

实验结果

研究问题

• RQ1 在正特征 $p > 0$ 的域上，每个秩小于 $p$ 的半稳定 Higgs 簇是否都具有强 Higgs 半稳定结构？
• RQ2 在任意特征下，能否建立一个 Griffiths-横截滤子，使得其对应的约化 Higgs 簇是半稳定的？
• RQ3 逆 Cartier 赋函子在正特征下是否与此类滤子的构造相容？
• RQ4 当 $\operatorname{rk}(E_0) < p$ 时，由该滤子诱导的 Higgs-de Rham 流是否仍定义在有限域上？
• RQ5 在反复应用逆 Cartier 赋函子和约化操作时，对应约化 Higgs 簇的稳定性在何种条件下能够保持？

主要发现

• 该论文证明了在正特征 $p > 0$ 的域上，每个秩小于 $p$ 的半稳定 Higgs 簇都是强 Higgs 半稳定的。
• 在任意特征下，任意光滑射影概形上的 $\nabla$-半稳定平坦丛上均存在一个格拉斯曼-半稳定 Griffiths-横截滤子。
• 此类滤子对应的约化 Higgs 簇是半稳定的，将 Simpson 的复解析结果推广到了正特征情形。
• 当 $\operatorname{rk}(E_0) < p$ 时，由该滤子诱导的 Higgs-de Rham 流在有限域上保持定义，从而确保了强半稳定性。
• 在 Hodge 滤子中，Higgs 簇的最大不稳定子对象本身即为 Hodge 子丛，这使得滤子的归纳构造成为可能。
• 该构造证实了 LSZ 对小秩的猜想，其中秩条件 $\operatorname{rk}(E_0) < p$ 对于流的有限性及其下降到有限域至关重要。