[论文解读] Betti numbers of the moduli space of rank 3 parabolic Higgs bundles

Oscar Garcı́a-Prada, Peter B. Gothen+1 more|arXiv (Cornell University)|Nov 10, 2004

Algebraic Geometry and Number Theory参考文献 28被引用 4

一句话总结

本文利用Morse理论计算了在亏格 $ g $ 黎曼曲面上，固定与非固定行列式下秩3抛物Higgs丛模空间的贝蒂数。通过分析临界子流形——其被识别为抛物三元组模空间与对称积——推导出庞加莱多项式的显式公式，证明了尼尔庞特锥是拉格朗日子簇的抛物版本，且欧拉示性数为零。结果支持了Hausel对一般秩的猜想，并给出了 $ \Gamma_3 $ 作用下变体上同调部分的结论。

ABSTRACT

We compute the Betti numbers of the moduli space of rank 3 parabolic Higgs bundles, using Morse theory. A key point is that certain critical submanifolds of the Morse function can be identified with moduli spaces of parabolic triples. These moduli spaces come in families depending on a real parameter and we study their variation with this parameter.

研究动机与目标

• 计算在亏格 $ g $ 黎曼曲面上，具有固定与非固定行列式的秩3抛物Higgs丛模空间的贝蒂数。
• 将非抛物情形下的Morse理论技术扩展至抛物情形，识别临界子流形为抛物三元组模空间与对称积。
• 证明Laumon定理的抛物版本，表明尼尔庞特锥是模空间中的拉格朗日子簇。
• 推导模空间的庞加莱多项式，并计算 $ \Gamma_3 $ 作用下的变体上同调，该结果与镜像对称相关。
• 通过验证测试情形下的符合性，为Hausel关于抛物Higgs丛模空间贝蒂数的猜想提供证据。

提出的方法

• 将Higgs场的 $ L^2 $-范数作为模空间上的完美Bott–Morse函数，应用Morse理论。
• 将临界子流形识别为随实参数变化的抛物三元组模空间，并通过该参数分析其拓扑变化。
• 利用抛物丛模空间与黎曼曲面的对称积的结构，描述其余临界子流形。
• 使用MacDonald公式计算对称积的欧拉示性数，以计算类型 $ (1,1,1) $ 临界子流形的贡献。
• 综合所有临界子流形——类型 $ (1,2) $、$ (2,1) $、$ (3) $ 与 $ (1,1,1) $——的贡献，计算总庞加莱多项式。
• 利用 $ \Gamma_3 $ 在上同调上的作用，分离出上同调的变体部分，从而导出 $ P^\mathrm{var}_t(\mathcal{M}^\Lambda) $ 的公式。

实验结果

研究问题

• RQ1 在亏格 $ g $ 黎曼曲面上，具有固定行列式 $ \Lambda $ 的秩3抛物Higgs丛模空间的贝蒂数是什么？
• RQ2 抛物三元组模空间的拓扑如何随实参数变化，这种变化如何影响Morse理论的分解？
• RQ3 在抛物Higgs丛模空间中，尼尔庞特锥是否为拉格朗日子簇，如同非抛物情形一样？
• RQ4 具有固定行列式的秩3抛物Higgs丛模空间的庞加莱多项式是什么？
• RQ5 在 $ \Gamma_3 $ 作用下，模空间的有理上同调的变体部分是什么？它与镜像对称有何关联？

主要发现

• 定理12.20明确计算了具有固定行列式 $ \Lambda $ 的秩3抛物Higgs丛模空间的庞加莱多项式，综合了多个临界子流形的贡献。
• 推论12.21表明，具有固定行列式的秩3抛物Higgs丛模空间的欧拉示性数为零。
• 定理12.22指出，在 $ \Gamma_3 $ 作用下，有理上同调的变体部分的庞加莱多项式为 $ P^\mathrm{var}_t(\mathcal{M}^\Lambda) = 2 \cdot 6^{n-1}(3^{2g}-1)t^{12g-12+6n}(t+1)^{4g-4} $。
• 命题12.18给出了具有固定行列式的秩3抛物丛模空间的庞加莱多项式，其包含 $ t^2 $、$ t^4 $、$ t^6 $ 项及对称幂的贡献。
• 尼尔庞特锥——即Hitchin映射下零的原像——被证明是抛物Higgs丛模空间中的拉格朗日子簇，将Laumon定理推广至抛物情形。
• 计算得到的贝蒂数与Hausel关于抛物Higgs丛贝蒂数的猜想一致，为该猜想在秩3情形下提供了强有力的支持。