[论文解读] Compactification of Dolbeault moduli spaces

Mark Andrea A. de Cataldo|arXiv (Cornell University)|Dec 17, 2018

Algebraic Geometry and Number Theory参考文献 18被引用 5

一句话总结

本文利用受 C. Simpson 启发的 ${\mathbb{G}}_m$-等变紧化技术，为在一族射影流形上定义的半单代数群的 Higgs 纤维丛的 Dolbeault 模空间构造了一个自然的射影紧化。关键贡献在于证明了该紧化是射影的，且与 Hitchin 映射相容，从而填补了文献中长期存在的空白——此前此类构造虽被广泛认为成立，但始终缺乏严格证明。

ABSTRACT

We construct a relative compactification of Dolbeault moduli spaces of Higgs bundles for reductive algebraic groups on families of projective manifolds that is compatible with the Hitchin morphism.

研究动机与目标

• 为在射影流形上定义的半单群的 Dolbeault 模空间提供一个严格构造的射影紧化，该结果虽广为人知但此前在文献中尚未得到证明。
• 建立任意半单代数群的 Hitchin 映射的射影性，将 Simpson 对 $GL_n$ 的结果推广至一般半单群。
• 在适当条件下，利用非交换 Hodge 定理与奇异点解析技术，证明紧化模空间上消失循环复形的消失。
• 通过引入 Luna 切片定理的新变体，弥合文献中关于 ${\mathbb{G}}_m$-作用与模空间上线性化性的技术空白。
• 将新紧化与 A. Schmitt 的构造进行比较与对照，阐明其在 Hitchin 纤维化与几何结构背景下的优势。

提出的方法

• 利用 C. Simpson 的 ${\mathbb{G}}_m$-等变堆的紧化定理，并通过新结果（命题 3.2.2）增强，以纳入 Hitchin 映射。
• 利用 Hitchin 映射的 ${\mathbb{G}}_m$-等变性与线性化线丛 $L_M$，通过几何不变性理论（GIT）方法构造射影紧化。
• 应用 ${\mathbb{G}}_m$-版本的 Luna 切片定理（引理 3.5.1），处理模空间上的轨道丛结构，确保当原空间为轨道丛时，紧化也继承轨道丛性质。
• 利用导出范畴中的分解定理与对偶性，证明紧化上的交集上同调复形是解析映射下前推的直和项，从而实现对消失循环的控制。
• 通过 Hitchin 基空间与 Chevalley 限制同构的因式分解论证，将紧化构造为基 $S$ 上的相对射影概形。
• 依赖非交换 Hodge 定理，确保模空间在 $S$ 上的拓扑局部平凡性，从而支持全局紧化的构造。

实验结果

研究问题

• RQ1 能否为半单群的 Dolbeault 模空间构造一个与 Hitchin 映射相容的自然射影紧化？
• RQ2 Hitchin 映射对任意半单代数群是否为射影的，而不仅限于 $GL_n$？
• RQ3 在 ${\mathbb{G}}_m$-作用下，紧化模空间上的消失循环复形是否消失，特别是在幂零锥上？
• RQ4 新紧化与 A. Schmitt 的构造有何关系？在 Higgs 纤维丛背景下，其优势或更自然之处体现在何处？
• RQ5 当原模空间为轨道丛时，该紧化的拓扑与几何性质如何？

主要发现

• 本文构造了基 $S$ 上 Dolbeault 模空间 $M$ 的相对射影紧化，且与 Hitchin 映射相容，证明了定理 3.1.1。
• 证明了对所有半单代数群 $G$，Hitchin 映射均为射影的，不仅限于 $GL_n$，从而推广了 Simpson 的结果（命题 2.2.2）。
• 在命题 3.8.1(3) 的条件下，紧化模空间上交集上同调复形的消失循环复形 $\phi F$ 消失。
• 当原 Dolbeault 模空间为轨道丛时，紧化亦为轨道丛，由引理 3.5.1 确立。
• 通过分解定理，证明紧化是解析映射下常值层前推的直和项，从而确保对 perverse 上同调的控制。
• 该构造可推广至多项式类型的 $\Lambda$-模，其中 Higgs 纤维丛与 Dolbeault 模空间为特例（备注 3.1.3）。