[论文解读] Counting Higgs bundles

Sergey Mozgovoy, Olivier Schiffmann|arXiv (Cornell University)|Nov 8, 2014

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

一句话总结

本文通过霍尔代数技巧绕过几何形变论证，建立了一个关于有限域上光滑射影曲线上的半稳定扭曲希格斯丛的计数闭式公式。关键贡献是给出了在 deg(D) ≥ 2g−2 条件下，扭曲希格斯丛模空间的唐纳森-托马斯不变量的显式公式，通过对偶性论证将问题约化为幂零希格斯对的情形。

ABSTRACT

We prove a closed formula counting semistable twisted Higgs bundles of fixed rank and degree over a smooth projective curve defined over a finite field. We also prove a formula for the Donaldson-Thomas invariants of the moduli spaces of twisted Higgs bundles over a curve.

研究动机与目标

• 计算有限域上光滑射影曲线上的扭曲希格斯丛模空间的motivic不变量。
• 为这些模空间的唐纳森-托马斯不变量提供一个闭式公式，扩展先前的猜想。
• 通过适用于所有特征的霍尔代数技巧，克服几何形变方法的局限性。
• 证明当 deg(D) > 2g−2 时，不变量仅依赖于秩和次数，通过 D 与 K−D 之间的对偶性。
• 通过挠层与向量丛分解，将一般计数问题约化为幂零情形。

提出的方法

• 作者定义了半稳定 D-扭曲希格斯丛（斜率 > 0）的截断模栈 M⁺_D(r,d)，其为有限对象，允许使用墙-crossing技术。
• 他们引入不变量 I⁺_D(r,d)，用于计数满足 E ∈ A⁺ 且 θ 幂零的希格斯对 (E,θ) 的同构类，权重为 |Hom(E,E(D))|/|Aut(E)|。
• 利用霍尔代数形式化，通过指数映射将 I⁺_D(r,d) 的生成函数与唐纳森-托马斯不变量联系起来：∑ I⁺_D w^r z^d = Exp(∑ Ω⁺_D w^r z^d / (q−1))。
• 建立了一个对偶同构：当 deg(D) > 2g−2 时，有 Ω⁺_D(r,d) = Ω⁺_{K−D, nil}(r,d)，这是由于 Hom(E,E(K−D)) 的幂零性所致。
• 当 D=K 时，他们证明 Ω⁺_K(r,d) = q·Ω⁺_{0, nil}(r,d)，将其与绝对不可约向量丛的计数联系起来。
• 显式计算了幂零不变量的生成函数：∑_λ (−q^{1/2})^{(2g−2−l)⟨λ,λ⟩} J_λ(z) H_λ(z) w^{|λ|} · Exp( [X]/(q−1) · z/(1−z) )。

实验结果

研究问题

• RQ1 当 deg(D) ≥ 2g−2 时，扭曲希格斯丛模空间的唐纳森-托马斯不变量 Ω_D(r,d) 是否仅依赖于 r 和 d，而与 d 无关？
• RQ2 能否通过某种对偶性将扭曲希格斯丛的不变量约化为幂零希格斯对的不变量？
• RQ3 在有限域上曲线的固定秩与次数下，半稳定扭曲希格斯丛的不变量的显式生成函数是什么？
• RQ4 霍尔代数方法如何在所有特征下实现计数，从而避免对辛结构或高特征的假设？
• RQ5 Ω_K(r,d) 与绝对不可约向量丛计数之间的确切关系是什么？

主要发现

• 当 deg(D) ≥ 2g−2 时，不变量的生成函数 H⁺_D(r,d) 等于模栈 M⁺_D(r,d) 的 motivic 类，最多相差一个归一化因子 (−q^{1/2})^{−lr²}。
• 当 d > (r choose 2)l 时，不变量 H_D(r,d) 与 H⁺_D(r,d) 一致，因此截断栈捕捉到了完整的模空间。
• 当 deg(D) ≥ 2g−2 时，不变量 Ω_D(r,d) 与 d 无关，确认了在扭曲希格斯丛情形下的一个猜想。
• 幂零不变量的生成函数显式计算为 ∑_λ (−q^{1/2})^{(2g−2−l)⟨λ,λ⟩} J_λ(z) H_λ(z) w^{|λ|} · Exp( [X]/(q−1) · z/(1−z) )。
• 当 D=K 时，不变量 Ω⁺_K(r,d) 等于 q 倍的秩为 r、次数为 d 的绝对不可约向量丛的数量。
• 当 deg(D) > 2g−2 时，对偶关系 Ω⁺_D(r,d) = Ω⁺_{K−D, nil}(r,d) 成立，从而将一般情形约化为幂零情形。