[论文解读] Topology of Hitchin systems and Hodge theory of character varieties: the case A_1

Mark Andrea de Cataldo, Tamás Hausel+1 more|arXiv (Cornell University)|Apr 8, 2010

Algebraic Geometry and Number Theory参考文献 20被引用 12

一句话总结

该论文通过非交换Hodge理论，证明了在GL₂、PGL₂和SL₂情形下，扭曲Higgs丛模空间上上同调的奇异过滤与相应特征丛模空间上同调的权重过滤一致，从而确立了W=P猜想。证明依赖于对积分谱曲线上的Hitchin纤维丛的拓扑分析，并应用Grothendieck-Riemann-Roch与单值性技术，验证了所有情形下过滤的一致性。

ABSTRACT

For G = GL_2, PGL_2 and SL_2 we prove that the perverse filtration associated to the Hitchin map on the cohomology of the moduli space of twisted G-Higgs bundles on a Riemann surface C agrees with the weight filtration on the cohomology of the twisted G character variety of C, when the cohomologies are identified via non-Abelian Hodge theory. The proof is accomplished by means of a study of the topology of the Hitchin map over the locus of integral spectral curves.

研究动机与目标

• 在A₁情形下，为G = GL₂、PGL₂和SL₂确立W=P猜想，建立模空间上奇异过滤与权重过滤之间的联系。
• 证明扭曲G-Higgs丛模空间上同调的奇异过滤与扭曲G-特征丛模空间上同调的权重过滤一致。
• 通过非交换Hodge理论验证该对应关系，识别两个空间上同调之间的同构。
• 分析Hitchin纤维丛在积分谱曲线分支上的拓扑结构，以建立过滤同构。
• 确认在GL₂/PGL₂与SL₂情形下过滤的一致性，包括当D = K_C（canonical bundle）的情形。

提出的方法

• 分析G = GL₂的Hitchin纤维丛，利用谱曲线构造将Higgs丛与曲线C的覆盖上的线丛联系起来。
• 应用Grothendieck-Riemann-Roch定理，计算谱曲线上全纯Higgs丛的陈类，特别关注自同态丛的陈类。
• 利用单值性不变量与上同调上的局部单值作用构造适配基，并验证消去条件。
• 采用相对硬Lefschetz定理与初等分解分析H*(M)上奇异过滤的结构。
• 研究Hitchin映射在椭圆分支上的行为，并通过上界与下界估计上同调，以约束过滤结构。
• 应用Deligne的Q-分裂与精细交形式，验证奇异过滤与权重过滤的相容性。

实验结果

研究问题

• RQ1 对于G = GL₂、PGL₂、SL₂，扭曲G-Higgs丛模空间上同调的奇异过滤是否与对应扭曲G-特征丛模空间上同调的权重过滤一致？
• RQ2 Hitchin纤维丛在积分谱曲线上的拓扑如何约束奇异过滤的结构？
• RQ3 非交换Hodge理论在多大程度上诱导了Higgs模空间与特征丛模空间上同调之间的典范同构，且该同构是否保持过滤结构？
• RQ4 在谱曲线设定下，单值性在检测上同调类正确perversity方面起什么作用？
• RQ5 全纯Higgs丛及其自同态丛的陈类在向基空间的推出下如何行为？这对过滤相容性有何含义？

主要发现

• 对于G = GL₂、PGL₂、SL₂，扭曲G-Higgs丛模空间上同调的奇异过滤与对应扭曲G-特征丛模空间上同调的权重过滤一致。
• 该一致性在所有情形下成立，包括当deg D > 2g−2以及当D = K_C（canonical bundle）的情形。
• 在Hitchin基上一般点的纤维上，类c₁(End E)具有(2,2)型，确认了该类的正确perversity。
• 在紧化模空间 ˆM 上的类α被证明是ample，因其在对偶纤维的通用纤维上限制为4θ。
• 类β与ψ_i在Hitchin映射纤维上的限制为零，确认了其正确的perversity，并支持了过滤同构。
• 在一般谱曲线的纤维上，类c₂(End E)具有(2,2)型，其推出与预期的权重过滤分量一致。