[论文解读] K-theory of the moduli of bundles over a Riemann surface and deformations of the Verlinde algebra

Constantin Teleman|ArXiv.org|Jun 24, 2003

Homotopy and Cohomology in Algebraic Topology参考文献 16被引用 5

一句话总结

该论文推测，通过使用扭曲等变K-理论和换位子积上的Gysin映射，复李群G-主丛模空间上K-理论类的指标公式由Verlinde代数的Frobenius代数形变所控制。关键结果是一个以单位根之和表示的新指标公式，将Verlinde公式推广至更高扭量和虚拟丛线。

ABSTRACT

I conjecture that index formulas for $K$-theory classes on the moduli of holomorphic $G$-bundles over a compact Riemann surface $Σ$ are controlled, in a precise way, by Frobenius algebra deformations of the Verlinde algebra of $G$. The Frobenius algebras in question are twisted $K$-theories of $G$, equivariant under the conjugation action, and the controlling device is the equivariant Gysin map along the "product of commutators" from $G^{2g}$ to $G$. The conjecture is compatible with naive virtual localization of holomorphic bundles, from $G$ to its maximal torus; this follows by localization in twisted $K$-theory.

研究动机与目标

• 将Verlinde公式扩展至超越行列式线丛的更高K-理论类，特别是源自指标丛和虚拟丛线的类。
• 构建一个结构化框架，使得K-理论指标由有限维Frobenius代数控制，推广Verlinde代数。
• 为复李群G-主丛模空间上的虚拟K-理论类提供一个新的指标公式，即使在奇异情形下也成立。
• 通过扭曲K-理论和换位子积映射，建立从G-丛到T-丛的虚拟局部化原理。
• 通过G的扭曲K-理论中编码的2D拓扑量子场论结构，统一指标的描述。

提出的方法

• 该猜想使用扭曲等变K-理论 $^\tau K_G^*(G)$ 将Verlinde代数建模为Frobenius代数，其中扭量对应于虚拟丛线。
• 沿换位子积 $\Pi: G^{2g} \to G$ 的Gysin映射将传递扭量提升为可平凡化扭量，从而可在无扭K-理论中进行计算。
• 推测模空间上K-类的指标为 $^\tau K_G^*(G^{2g})$ 中单位类 $^\tau 1$ 的Gysin上推的Frobenius代数迹。
• 该方法通过虚拟局部化将指标约化为极大环面贡献的和，涉及对度数 $d$ 线丛的雅可比簇 $J_d$ 的积分。
• 公式通过陈示性类和分布表达，最终指标由 $u$-变量上的围道积分给出，捕捉在单位根处的狄拉克函数。
• 该方法通过指数形式的指标丛引入更高扭量，调整 $u$-平面上的坐标变换，推广了Verlinde公式。

实验结果

研究问题

• RQ1 如何系统地描述G-主丛模空间上K-理论类的指标公式，超越行列式线丛的情形？
• RQ2 K-理论中的更高扭量——以虚拟丛线实现——以何种方式形变Verlinde代数结构？
• RQ3 能否通过G的扭曲K-理论定义的2D拓扑量子场论计算K-类的指标？
• RQ4 从 $G_{\mathbb{C}}$-丛到 $T_{\mathbb{C}}$-丛的虚拟局部化如何从换位子积上的Gysin映射中自然涌现？
• RQ5 当K-类涉及指数形式的指标丛（如 $\exp[t\alpha(V)]$）时，其指标公式的精确形式是什么？

主要发现

• K-类 $D^{\otimes h} \otimes \mathcal{E}$ 的指标由一个包含 $d \in \mathbb{Z}$ 求和的围道积分给出，被积函数编码了陈示性类和指数因子。
• 对于评价丛 $\mathcal{E} = E_x^*V$，公式退化为标准Verlinde公式：$\mathrm{Ind} = \sum_{\zeta^{2h+4}=1, \Im \zeta > 0} \frac{(2h+4)^{g-1}}{|\Delta(\zeta)|^{2g-2}} \cdot ch_V(\zeta)$。
• 对于指数形式的指标丛 $\exp[t\alpha(V)]$，指标变为方程 $\zeta_t^{2h+4} \exp(t \dot{f}(\zeta_t)) = 1$ 的解 $\zeta_t$ 之和，且 $\mathrm{Ind} = \sum_{\zeta_t} \left[ \frac{2h+4 + t \ddot{f}(\zeta_t)}{|\Delta(\zeta_t)|^2} \right]^{g-1}$。
• 该公式通过变量替换 $u \mapsto u \exp(t \dot{f}(u)/(2h+4))$ 推导得出，该替换使坐标系与扭曲结构相匹配。
• 正常丛的K-理论欧拉类的陈示性类被证明为 $(-1)^{g-1} (u e^\eta - u^{-1} e^{-\eta})^{2g-2} (u e^\eta)^{4d} e^{-4\eta}$，从而导出最终的指标表达式。
• 求和的分布性质确保在 $u = \pm 1$ 之外收敛，其支集位于 $2(h+2)$ 阶单位根处，最终公式在这些点被声明为零。