[论文解读] The equivariant Verlinde formula on the moduli of Higgs bundles

Daniel Halpern-Leistner|arXiv (Cornell University)|Aug 5, 2016

Algebraic Geometry and Number Theory参考文献 15被引用 16

一句话总结

本文通过使用 $\mathbb{G}_m$-作用定义正线丛截面的分次维数，为光滑曲线上半稳定 Higgs丛模堆栈建立了等变 Verlinde 公式。该公式将此分次维数表达为一个有限和，索引于半单代数群 $G$ 的极大环面上的广义 Bethe ansatz 方程的正式解，其中 $G$ 的基本群自由，通过导出代数几何与量子化技术将经典 Verlinde 公式推广至 Higgs 丛情形。

ABSTRACT

We prove an analog of the Verlinde formula on the moduli space of semistable meromorphic G-Higgs bundles over a smooth curve for a reductive group G whose fundamental group is free. The formula expresses the graded dimension of the space of sections of a positive line bundle as a finite sum whose terms are indexed by formal solutions of a generalized Bethe ansatz equation on the maximal torus of G. In an appendix, Constantin Teleman proves a vanishing theorem for the higher cohomology of positive line bundles on the stack of Higgs bundles.

研究动机与目标

• 将经典 Verlinde 公式推广至 Higgs 丛情形，因非紧性导致全局截面为无限维。
• 通过引入 $\mathbb{G}_m$-作用对半稳定 Higgs 丛模堆栈上正线丛的截面空间进行分次，定义有意义的有限维不变量。
• 利用消去定理与量子化定理，证明半稳定子簇上截面的分次维数等于其分次欧拉示性数。
• 建立分次维数的公式，表示为 $G$ 的极大环面上广义 Bethe ansatz 方程的正式解的有限和。
• 应用导出代数几何技术，特别是导出 $\Theta$-分层，以处理 Harder-Narasimhan 分层中的奇点与非正则嵌入。

提出的方法

• 利用 Higgs 丛堆栈上的 $\mathbb{G}_m$-作用，定义正线丛 $\mathcal{L}$ 全局截面的分次维数，从而得到关于 $t$ 的生成函数。
• 通过 Teleman 指标公式的修改形式计算分次欧拉示性数 $\chi_{\mathbb{C}^*}(\mathcal{H}, \mathcal{L})$，将形式参数 $t$ 重新解释为权参数。
• 应用 '量子化交换约化' 定理的导出版本，证明 $R\Gamma(\mathcal{H}, \mathcal{L}) \simeq R\Gamma(\mathcal{H}^{\rm{ss}}, \mathcal{L})$，即全堆栈与半稳定子簇上上同调的等价。
• 依赖于附录 A 中证明的高阶上同调 $H^{>0}(\mathcal{H}, \mathcal{L})$ 的消去定理，得出分次指标等于 $H^0(\mathcal{H}^{\rm{ss}}, \mathcal{L})$ 的分次维数。
• 依赖于导出 $\Theta$-分层的结构定理，即使嵌入非正则，也能在各分层之间比较上同调。
• 使用分解方法与上同调消去结果（如定理 A.3），处理环路群上同调，以建立关键谱序列中正次数上同调的消去。

实验结果

研究问题

• RQ1 鉴于非紧性导致全局截面无限维，如何将 Verlinde 公式推广至 Higgs 丛模空间？
• RQ2 在 Higgs 丛情形下，应使用何种适当的等变不变量来替代截面的维数？
• RQ3 半稳定子簇上截面的分次维数能否表示为广义 Bethe ansatz 方程解的有限和？
• RQ4 在何种程度上，导出代数几何技术（如 $\Theta$-分层）允许对全堆栈与半稳定子簇上的上同调进行严格比较？
• RQ5 环路群表示与切复叠对称幂的上同调消去结果如何贡献于最终公式？

主要发现

• 全局截面 $H^0(\mathcal{H}^{\rm{ss}}, \mathcal{L})$ 的分次维数由广义 Bethe ansatz 方程的正式解 $\phi_k = \frac{\pi k}{h+2} + t\phi_k^{(1)} + \cdots$ 索引的有限和给出，方程为 $e^{-i2(h+2)\phi_k}\left(\frac{1-te^{2i\phi_k}}{1-te^{-2i\phi_k}}\right)^2 = 1$。
• 当 $G = SL_2$ 时，公式将分次维数表达为 $\left(\frac{h+2}{2(1-t)}\right)^{g-1}\sum_{k=1}^{l+1}(\sin\phi_k)^{2-2g}\left[\frac{1}{(1-t)^2 + 4t\sin^2\phi_k}\cdot\left(1 + \frac{4t}{h+2}\frac{(1-t)-2\sin^2\phi_k}{(1-t)^2 + 4t\sin^2\phi_k}\right)\right]^{g-1}$。
• 对于 $i > 0$，高阶上同调群 $H^i(\mathcal{H}^{\rm{ss}}, \mathcal{L})$ 消去，因此上同调复形的分次指标等于 $H^0(\mathcal{H}^{\rm{ss}}, \mathcal{L})$ 的分次维数。
• 分次欧拉示性数 $\chi_{\mathbb{C}^*}(\mathcal{H}, \mathcal{L})$ 作为生成函数被计算，其与 Teleman (2009) 的指标公式一致，其中 $t$ 被重新解释为权参数。
• 通过谱序列与环路群表示的上同调消去定理 A.3，证明了 $H^{>0}(\mathcal{M}_G, \mathcal{L} \otimes \mathrm{Sym}^r T)$ 的消去。
• 最终公式在线丛的 $c$-扭作用下保持不变，其中表示 $R$ 被替换为 $c(R)$，反映了中心 $Z(G)$ 的作用。