[论文解读] Wallcrossing and Cohomology of The Moduli Space of Hitchin Pairs

Wu-yen Chuang, Duiliu-Emanuel Diaconescu+1 more|arXiv (Cornell University)|Apr 23, 2010

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

一句话总结

本文在 motivic Donaldson-Thomas 理论中提出了一种改进的 wallcrossing 框架，用于推导光滑射影曲线上的 Hitchin 对模空间的 Poincaré 多项式与 Hodge 多项式的递归公式。通过使用 ADHM 纤维丛与 Kontsevich-Soibelman 形式下的精化不变量，该研究建立了精化 Higgs 不变量的猜想递归关系，并提出了一个双重精化推广，可计算 Hodge 多项式，且在秩 1–3 的情形下通过具体例子得到验证。

ABSTRACT

A conjectural recursive relation for the Poincaré polynomial of the Hitchin moduli space is derived from wallcrossing in the refined local Donaldson-Thomas theory of a curve. A doubly refined generalization of this theory is also conjectured and shown to similarly determine the Hodge polynomial of the same moduli space.

研究动机与目标

• 通过 Donaldson-Thomas 理论中的精化 wallcrossing 推导稳定 Hitchin 对模空间的 Poincaré 多项式的递归公式。
• 将此递归关系扩展至一个双重精化框架，以计算同一模空间的 Hodge 多项式。
• 通过 ADHM 纤维丛建立对模空间 Higgs 纤维丛的上同调不变量的弦理论与几何工程视角。
• 将精化广义 Donaldson-Thomas 不变量与代数几何中的已知结果（包括 Hausel-Rodriguez-Villegas 公式）相联系。
• 对低秩情形（r=1,2,3）提供显式计算与比较，确认与现有文献的一致性。

提出的方法

• 本文采用 ADHM 纤维丛作为曲线上扭曲的 quiver 表示，由满足 M₁⊗M₂ ≅ K_X⁻¹ 的线丛 M₁, M₂ 参数化。
• 应用 Kontsevich 和 Soibelman 的 motivic Donaldson-Thomas 理论，定义不同稳定性区域中的精化不变量 A_δ(r,e)，并通过 wallcrossing 公式关联它们。
• 渐近不变量 A_∞(r,e) 被识别为局部稳定对不变量，从而通过临界稳定性参数 δ 的 wallcrossing 实现递归。
• 提出一个双重精化推广，其中不变量取值于两个变量的有理函数环，从而给出模空间的 Hodge 多项式。
• 该方法使用等变虚拟积分与局部化技术，尤其针对 r=2 的情形，计算不变量并验证其与规范理论及数论结果的一致性。
• 对 r=1,2 及多种 e，推导出精化 Higgs 不变量 H̃^(k)(r,e)(u,v) 的显式公式，其形式为关于 u,v 的多项式，归一化因子包含 (1−u)^3(1−v)^3 与 √(uv) 的幂次。

实验结果

研究问题

• RQ1 能否从 Donaldson-Thomas 理论中的精化 wallcrossing 推导出 Hitchin 对模空间 Poincaré 多项式的递归公式？
• RQ2 精化 DT 理论的双重精化推广与 Hitchin 对模空间的 Hodge 多项式之间有何关系？
• RQ3 通过 ADHM 纤维丛计算的精化不变量在多大程度上重现了已知结果（如 Hausel-Rodriguez-Villegas 公式）？
• RQ4 局部规则曲面的几何工程在将精化不变量实现为拓扑振幅方面起到何种作用？
• RQ5 r=2 与 r=3 的精化不变量与文献中已有的 Hodge 多项式计算相比如何？

主要发现

• 本文在 Kontsevich-Soibelman 框架下，通过精化 wallcrossing 推导出稳定 Hitchin 对模空间 Poincaré 多项式的猜想递归公式。
• 对于秩 r=1，精化不变量 H̃^(1)(1,1)(u,v) 为关于 u,v 的 15 次多项式，归一化因子为 (1−u)^3(1−v)^3 与 (√(uv))^19。
• 对于 r=2，精化不变量 H̃^(1)(2,1)(u,v) 表示为关于 u,v 的 19 次多项式，归一化因子包含 (1−u)^3(1−v)^3 与 (√(uv))^19，分母为 (1+uv)。
• 双重精化不变量 H̃^(2)(2,1)(u,v) 的归一化因子为 (√(uv))²¹，且为 21 次多项式，其复杂度高于单重精化情形。
• 对 r=2, e=0 的精化不变量也已计算，其中 H̃^(1)(2,0)(u,v) 与 H̃^(2)(2,0)(u,v) 分别为分子为 19 次与 21 次多项式的有理函数，且分母中额外含有 (1+uv) 因子。
• 对 r=3 的显式公式提出猜想，并表明其与 Hausel-Rodriguez-Villegas 公式及已有秩三纤维丛模空间 Hodge 多项式结果一致。