[论文解读] Hodge structure on the cohomology of the moduli space of Higgs bundles

Mridul Mehta|ArXiv.org|Dec 12, 2001

Algebraic Geometry and Number Theory参考文献 11被引用 3

一句话总结

本文证明了，尽管模空间是非紧致的，其上稳定 Higgs 纤维丛的有理上同调在度数 $ k $ 处携带一个权重为 $ k $ 的纯 Hodge 结构。通过规范理论构造、普遍陈类以及在递增紧化上的极限论证，作者证明了上同调环由 Hodge 理论意义下的纯类生成，从而表明所有上同调群在其相应权重下均为纯的。

ABSTRACT

We study the moduli space of Higgs bundles on a compact Riemann surface. It was shown by Thaddeus and Hausel (in rank 2) and Markman (in general rank) that the rational cohomology ring of this space is generated by universal classes. In this paper, we use their results to compute the Hodge structure on the cohomology of this moduli space. We show that the natural Hodge structure on H^k is pure of weight k.

研究动机与目标

• 确定光滑射影曲线（亏格 $ g \geq 2 $）上稳定 Higgs 纤维丛模空间的上同调的 Hodge 理论性质。
• 建立有理上同调群 $ H^k(\mathcal{H}_n, \mathbb{Q}) $ 在权重 $ k $ 下携带纯 Hodge 结构，尽管模空间是非紧致的。
• 将关于秩 2 Higgs 纤维丛的普遍陈类结果推广至一般秩情形，并利用它们生成上同调环。
• 证明通过递增紧化构造的极限空间 $ \mathcal{H}_\infty $ 的上同调继承自 $ \mathcal{H}_n $ 的纯 Hodge 结构，且该纯性可下推至所有 $ \mathcal{H}_n $。

提出的方法

• 使用规范理论方法构造取值于 $ K(n) = K \otimes \mathcal{O}(np) $ 的稳定 Higgs 纤维丛模空间 $ \mathcal{H}_n $，涉及全纯结构与规范群商。
• 利用 $ \mathcal{H}_n \times C $ 上存在一个普遍族 $ (\mathbb{E}_n, \Phi_n) $，并将普遍丛 $ \mathbb{E}_n $ 扩展为紧化空间 $ X_n $ 上的凝聚层 $ \mathcal{E}_n $。
• 定义扩展层 $ \mathcal{E}_n $ 的陈类 $ \overline{c}^n_k $，其在 $ \mathbb{E}_n $ 上的限制即为 $ \mathbb{E}_n $ 的陈类，并证明其为纯 Hodge 型 $ (k,k) $ 且权重为 $ 2k $。
• 通过拉回、与 $ \overline{c}^n_k $ 的上积以及对 $ C $ 的纤维积分构造映射 $ \Gamma^n_{k,i} $，并证明其为 Hodge 结构的同态。
• 取 $ n \to \infty $ 的极限，定义从 $ H^i(C, \mathbb{Q}) $ 到 $ H^{i+2k-2}(\mathcal{H}_\infty, \mathbb{Q}) $ 的映射 $ \Gamma_{k,i} $，其亦为 Hodge 结构的同态。
• 利用限制映射 $ H^*(\mathcal{H}_\infty, \mathbb{Q}) \to H^*(\mathcal{H}_n, \mathbb{Q}) $ 的满射性，以及 $ \mathcal{H}_\infty $ 上的 MHS 诱导出 $ \mathcal{H}_n $ 上的 MHS，从而得出 $ H^k(\mathcal{H}_n, \mathbb{Q}) $ 中权重的纯性。

实验结果

研究问题

• RQ1 在亏格 $ g \geq 2 $ 的曲线上，Higgs 纤维丛模空间的有理上同调是否携带纯 Hodge 结构？
• RQ2 尽管空间是非紧致的，该模空间的上同调环能否由在 Hodge 理论意义下为纯的类生成？
• RQ3 当 $ n \to \infty $ 时，$ \mathcal{H}_n $ 的上同调的 Hodge 结构行为如何？这对有限的 $ \mathcal{H}_n $ 有何含义？
• RQ4 从 $ H^*(\mathcal{H}_\infty, \mathbb{Q}) $ 到 $ H^*(\mathcal{H}_n, \mathbb{Q}) $ 的自然映射是否与 Hodge 结构相容？

主要发现

• 尽管 $ \mathcal{H}_n $ 是非紧致的，其有理上同调群 $ H^k(\mathcal{H}_n, \mathbb{Q}) $ 仍携带权重为 $ k $ 的纯 Hodge 结构。
• 极限空间 $ \mathcal{H}_\infty $ 的上同调环由映射 $ \Gamma_{k,i} $ 的像生成，而这些映射均为 Hodge 结构的同态。
• 扩展的普遍层 $ \mathcal{E}_n $ 的陈类 $ \overline{c}^n_k $ 为纯 Hodge 型 $ (k,k) $ 且权重为 $ 2k $，在除子 $ D_n $ 上无极点。
• $ \Gamma^n_{k,i} $ 是 Hodge 结构的同态，因为其每个组成部分——拉回、上积与纤维积分——均保持 Hodge 型与权重。
• 从 $ H^i(C, \mathbb{Q}) $ 到 $ H^{i+2k-2}(\mathcal{H}_\infty, \mathbb{Q}) $ 的极限映射 $ \Gamma_{k,i} $ 是 Hodge 结构的同态，且其像生成了 $ \mathcal{H}_\infty $ 的上同调环。
• 由于限制映射 $ H^*(\mathcal{H}_\infty, \mathbb{Q}) \to H^*(\mathcal{H}_n, \mathbb{Q}) $ 是满射且与 Hodge 结构相容，因此 $ H^k(\mathcal{H}_n, \mathbb{Q}) $ 中的所有类均为权重 $ k $ 的纯类。