[论文解读] Formulas of Verlinde type for non-simply connected groups

Anton Alekseev, Eckhard Meinrenken+1 more|ArXiv.org|May 4, 2000

Homotopy and Cohomology in Algebraic Topology参考文献 30被引用 12

一句话总结

本文利用环群作用的不动点公式，推导了黎曼曲面上平坦联络模空间的Verlinde型公式，将经典Verlinde公式从单连通群推广至任意紧致、连通李群。关键贡献是将Verlinde公式推广至非单连通群，已在 $SO(3)$ 和 $operatorname{PSU}(p)$ 等情形得到验证，并通过轨道李代数框架适用于任意数量边界分量的情形。

ABSTRACT

We derive Verlinde's formula from the fixed point formula for loop groups proved in the companion paper "A fixed point formula for loop group actions", and extend it to compact, connected groups that are not necessarily simply-connected.

研究动机与目标

• 将Verlinde公式在几何量子化框架下推广至非必然单连通的紧致、连通李群 $G$。
• 利用附录论文 [FP] 中建立的环群作用不动点公式推导Verlinde公式。
• 为共形场论与代数几何背景下Verlinde型公式的数学严格框架提供支持，特别针对 $G = SO(3)$ 和 $\operatorname{PSU}(p)$ 的情形。
• 为未来工作中关于任意数量标记的公式建立基础，涉及轨道李代数，该猜想由Fuchs与Schweigert提出。

提出的方法

• 以附录论文 [FP] 中建立的环群作用不动点公式为核心技术工具。
• 应用等变指标理论与局部化技术，计算模空间 $\mathcal{M}(\Sigma)$ 上预量子线丛的指标。
• 将模空间 $\mathcal{M}(\Sigma)$ 构造为平坦联络关于基点规范变换的商空间，其辛结构由不变双线性型 $B_k$ 导出。
• 引入全息流形 $M(\Sigma)$ 作为联络空间的辛约化，从而可应用辛几何与矩映射技术。
• 利用融合积与辛形式的同伦性，将模空间的辛结构与共形场论中的融合规则联系起来。
• 采用Weyl群提升与表示论构造（如 $\rho/c$、基本单形）分析 $\operatorname{Spin}(2N)$ 中中心元素及其在 $D_N$ 情形下的作用。

实验结果

研究问题

• RQ1 如何将Verlinde公式从单连通群推广至任意紧致、连通李群？
• RQ2 环群作用的不动点公式在推导Verlinde型公式中起什么作用？
• RQ3 在非单连通群中，几何量子化指标与共形块维数之间有何关系？
• RQ4 中心子群 $\Gamma$ 及其在Weyl群元素上的提升如何影响模空间的结构？
• RQ5 能否利用轨道李代数将Verlinde公式推广至具有多个边界分量的曲面？

主要发现

• 成功利用环群作用的不动点公式，将Verlinde公式推广至非单连通紧致、连通李群。
• 该公式计算模空间 $\mathcal{M}(\Sigma)$ 上预量子线丛的指标，当高阶上同调消失时，其值等于全纯截面空间的维数。
• $G = SO(3)$ 的情形此前已知（Pantev），$G = \operatorname{PSU}(p)$（$p$ 为素数）的情形由Beauville处理；本文将两者推广至任意紧致、连通 $G$。
• 作者建立了模空间上标准辛形式与融合形式之间的辛同伦，证明在稳定化子作用下二者等价。
• 对于 $G = \operatorname{Spin}(2N)$ 且 $N$ 为偶数的情形，$Z(G)$ 中的中心元素 $\gamma_1, \gamma_2$ 对应的Weyl群元素在 $N_G(T)$ 中可交换，确保融合构造的一致性。
• 该框架为未来证明任意数量标记情形下Verlinde公式的成立提供了基础，涉及轨道李代数，正如Fuchs与Schweigert所猜想。