[论文解读] The combinatorics of the Verlinde formulas

András Szenes|ArXiv.org|Feb 4, 1994

Advanced Combinatorial Mathematics参考文献 13被引用 22

一句话总结

本文为Verlinde数 $ V_k^G(g) $ 提供了一个留数公式，该公式计算在亏格 $ g $ 曲线上的 $ G $-丛模空间上线丛截面的数量。通过拓扑场论，该公式建立了这些数与模空间上交点理论之间的联系，利用陈类和Todd类的一条留数计算，证明了Verlinde公式。

ABSTRACT

A residue formula is given for the Verlinde formula, which allows one to calculate its coefficients as a polynomial in the level and connects it to the Riemann-Roch formula on the moduli space of vector bundles on a curve.

研究动机与目标

• 解释Verlinde公式 $ V_k^G(g) $ 的整数性与多项式性，该公式计算的是 $ G $-丛模空间上线丛截面的数量。
• 为 $ G = \text{SL}_n $ 推导出 $ V_k^G(g) $ 的留数公式，从而能够显式计算其作为 $ k $ 的多项式时的系数。
• 通过结合Riemann-Roch定理与模空间上的留数计算，提供Verlinde公式 (1.2) 的简洁一维证明。
• 通过陈类与Todd类，将Verlinde公式与模空间上的交点数联系起来，特别针对 $ \text{SL}_3 $。
• 为任意 $ G $ 提出一般留数形式 $ \bar{\theta}^G $，将Witten的交点数公式推广至Verlinde情形。

提出的方法

• 利用拓扑场论 (TFT) 公理来建模黎曼曲面上的相关函数，从而在场空间上诱导出融合代数结构。
• 应用半单融合代数的谱基，将Verlinde公式表示为对权的求和：$ F(g) = \text{Res}_{0} \theta^G \text{ 其中 } \theta^G = \text{Res}_{x_1=0} \cdots \text{Res}_{x_{n-1}=0} \prod_{\alpha \in \Delta^+} L_\alpha^{2(g-1)} \prod_{i=1}^{n-1} \cot(x_i) \, dx_i $。
• 对于 $ G = \text{SL}_n $，通过基本根 $ x_i $ 显式构造留数形式 $ \Omega^G $，并证明 $ \Omega^{\text{SL}_n} = n^{g-1} \text{Res}_{x_1=0} \cdots \text{Res}_{x_{n-1}=0} \prod_{\alpha \in \Delta^+} L_\alpha^{2(g-1)} \prod_{i=1}^{n-1} \cot(x_i) \, dx_i $。
• 应用Riemann-Roch定理计算 $ \dim H^0(\mathcal{M}_C^G, \mathcal{L}^k) = \chi(\mathcal{M}_C^G, \mathcal{L}^k) = \int_{\mathcal{M}} e^{k\omega} \text{Todd}(\mathcal{M}) $，其中使用 $ c_1(T_{\mathcal{M}}) = h\omega $ 和 $ \hat{A}(T_{\mathcal{M}}) = \prod_{\alpha \in \Delta^+} \left( \frac{\alpha/2}{\sinh(\alpha/2)} \right)^{2(g-1)} $。
• 使用平移技巧将 $ \int e^{k\omega} \hat{A}(\mathcal{M}) = \int e^{(k+h)\omega} \hat{A}(\mathcal{M}) $ 重写，其与Verlinde公式 $ V_{k+h}^G(g) $ 一致。
• 通过恒等式如 $ \int e^{\omega} P = \text{Res} \Omega^G P $ 验证与Witten交点数公式的自洽性，并通过显式留数计算确认 $ \text{SL}_3 $ 情形的公式。

实验结果

研究问题

• RQ1 为何Verlinde数 $ V_k^G(g) $ 尽管公式形式看似具有超越性，却总是整数？
• RQ2 Verlinde公式如何从 $ G $-丛模空间 $ \mathcal{M}_C^G $ 上的交点理论推导得出？
• RQ3 当 $ G = \text{SL}_n $ 时，$ V_k^G(g) $ 的精确留数公式是什么？它如何计算 $ k $ 的多项式系数？
• RQ4 是否能通过陈类与Todd类的一条留数计算，证明Verlinde公式？
• RQ5 对于任意 $ G $，计算 $ \int_{\mathcal{M}} e^{\omega} P $ 的一般留数形式 $ \Omega^G $ 是什么？它与Witten的 $ \zeta $-函数公式有何关系？

主要发现

• Verlinde公式 $ V_k^G(g) $ 是整数值且关于 $ k $ 为多项式，这通过留数公式与融合代数的结构得到解释。
• 对于 $ G = \text{SL}_n $，Verlinde数 $ V_k^G(g) $ 由留数公式给出：$ \Omega^{\text{SL}_n} = n^{g-1} \text{Res}_{x_1=0} \cdots \text{Res}_{x_{n-1}=0} \prod_{\alpha \in \Delta^+} L_\alpha^{2(g-1)} \prod_{i=1}^{n-1} \cot(x_i) \, dx_i $。
• 对于 $ \text{SL}_3 $，公式变为 $ \int_{\mathcal{M}} e^{k\omega} P = (3k^2)^{g-1} \text{Res}_{y=0} \text{Res}_{x=0} \frac{k^2 \cot(kx) \cot(ky)}{(8xy(x+y))^{2(g-1)}} P \, dx \, dy $，其计算的是 $ V_{k+h}^G(g) $。
• Verlinde公式 (1.2) 通过Riemann-Roch定理得证：$ \dim H^0(\mathcal{M}_C^G, \mathcal{L}^k) = \int_{\mathcal{M}} e^{(k+h)\omega} \hat{A}(\mathcal{M}) $，其中积分通过留数公式计算。
• 线丛 $ \mathcal{L} $ 的第一陈类为 $ c_1(\mathcal{L}) = \omega = \eta_C \cap s(P_2) $，且 $ \omega $ 生成了第二维上同调类。
• 该公式与Witten的交点数公式一致，如通过恒等式 (4.2) 将留数结构与多重zeta值匹配所示。