[论文解读] The Verlinde formula for Higgs bundles

Jørgen Ellegaard Andersen, Sergei Gukov+1 more|arXiv (Cornell University)|Aug 5, 2016

Black Holes and Theoretical Physics参考文献 31被引用 26

一句话总结

本文为任意单连通半单代数群 $G$ 的 Higgs 簇模空间与模栈建立了量子化版本的 Verlinde 公式，通过 $t$-变形特征标将经典 Verlinde 公式推广至 Higgs 簇情形。关键结果是构造了一个由复 Verlinde 代数分类的一族 $1+1$-维拓扑量子场论（TQFT），该 TQFT 为经典 Verlinde 代数的形变。

ABSTRACT

We propose and prove the Verlinde formula for the quantization of the Higgs bundle moduli spaces and stacks for any simple and simply-connected group. This generalizes the equivariant Verlinde formula for the case of $SU(n)$ proposed previously by the second and third author. We further establish a Verlinde formula for the quantization of parabolic Higgs bundle moduli spaces and stacks. Finally, we prove that these dimensions form a one-parameter family of $1+1$-dimensional TQFT, uniquely classified by the complex Verlinde algebra, which is a one-parameter family of Frobenius algebras. We construct this one-parameter family of Frobenius algebras as a deformation of the classical Verlinde algebra for $G$.

研究动机与目标

• 将经典 Verlinde 公式推广至任意单连通半单代数群 $G$ 的 Higgs 簇模空间与模栈情形。
• 为抛物 Higgs 簇模空间与模栈建立 Verlinde 公式。
• 证明量子希尔伯特空间的维数构成一族 $1+1$-维拓扑量子场论（TQFT）。
• 将此 TQFT 构造为经典 Verlinde 代数的形变，识别其为一族 Frobenius 代数。
• 利用 Teleman 和 Woodward 的指标定理及模栈上层上同调的深刻结果证明该公式。

提出的方法

• 定义特征标映射 $\chi_t: T \to T^*$ 的 $t$-变形版本，该版本结合了 Higgs 簇模空间上的 ${\mathbb{C}}^*$-作用。
• 引入 Hitchin 特征标 $\dim_t H^0(M_H, L^k) = \sum_{n=0}^\infty \dim H_n^0(M_H, L^k) t^n$，以编码量子希尔伯特空间的分次维数。
• 在环面 $T$ 上构造 $t$-变形函数 $\theta_t(f)$，涉及 Weyl 分母及由生成函数 $D_t(\xi)$ 导出的 Hessian 衍生行列式 $\det H_t^\dagger$。
• 利用 Teleman 和 Woodward 的指标公式，将等变指标与 $F_{\rho,t}^\mathrm{reg}/W$ 中的不动点之和联系起来。
• 通过以 $\delta_i$ 和 $L_i$ 为参数的特征标几何级数分解，对抛物 Higgs 簇情形进行详细案例分析。
• 验证最终特征标表达式对 $k$ 和 $\lambda_1 + \lambda_2$ 的奇偶性假设不敏感，从而证明公式的普遍有效性。

实验结果

研究问题

• RQ1 如何将经典 Verlinde 公式推广至 Higgs 簇模空间与模栈的情形？
• RQ2 Higgs 簇的量子希尔伯特空间结构如何？其对水平 $k$ 与参数 $t$ 的依赖关系如何？
• RQ3 能否将量子希尔伯特空间的维数组织为一族 $1+1$-维拓扑量子场论（TQFT）？
• RQ4 在 Higgs 簇背景下，复 Verlinde 代数如何作为经典 Verlinde 代数的形变出现？
• RQ5 ${\mathbb{C}}^*$-作用及其导致的分次结构在 $t$-变形特征标的构造中起何作用？

主要发现

• 本文证明了 Higgs 簇模空间的 Verlinde 公式：$\dim_t H^0(M_H, L^k) = \sum_{f \in F_{\rho,t}^{\mathrm{reg}}/W} \theta_t(f)^{1-g}$，对所有 $g > 1$ 及非负整数 $k$ 成立。
• 量子希尔伯特空间的维数构成一族由复 Verlinde 代数唯一分类的 $1+1$-维拓扑量子场论（TQFT）。
• 复 Verlinde 代数被实现为经典 Verlinde 代数的形变，形变参数 $t$ 编码了 ${\mathbb{C}}^*$-等变结构。
• 通过分析多种情形下的几何级数，验证了公式对 $k$ 与抛物权的奇偶性假设不敏感，从而确认其普遍有效性。
• 当 $t=0$ 时，公式退化为经典 Verlinde 公式，其维数为 $ (L_3 - L_2)/2 + 1 $，与非抛物情形下的已知结果一致。
• 最终 Hitchin 特征标的表达式被证明具有普适性，在所有奇偶性条件下均保持相同函数形式，从而确认其普遍有效性。