[论文解读] The Verlinde formula for PGL(p)

Arnaud Beauville|ArXiv.org|Sep 24, 1996

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

一句话总结

本文推导了在黎曼曲面上主 PGL(p)-丛的线丛截面空间维数的 Verlinde 类型公式，其中 p 为素数。通过几何不变性理论与表示论，作者建立了一个类似于单连通群经典 Verlinde 公式的闭式表达，将其适用范围扩展至 PGL(p) 等非单连通群。

ABSTRACT

Let G be a complex semi-simple group, X a Riemann surface, M_G the moduli space of principal G-bundles on X. When G is simply-connected, there exists a closed formula expressing the dimension of the space H^0(M_G,L) for any line bundle L on M_G (this is usually called among mathematicians, somewhat incorrectly, the "Verlinde formula").In this paper we find an analogous formula for G = PGL(r) where r is prime.

研究动机与目标

• 将此前仅适用于单连通半单群的 Verlinde 公式推广至 PGL(p) 的情形，其中 p 为素数。
• 计算黎曼曲面上主 PGL(p)-丛模空间上线丛的全纯截面空间的维数。
• 解决对非单连通群如 PGL(r) 缺乏通用 Verlinde 公式的现状，尤其当 r 为素数时。
• 通过几何与表示论方法，建立这些维数的闭式表达。
• 提供一个与经典 Verlinde 公式类似的精确公式，适用于 p 为素数的 PGL(p)。

提出的方法

• 利用紧黎曼曲面 X 上主 G-丛的模空间 M_G，其中 G = PGL(p)。
• 应用几何不变性理论（GIT）来构造并分析 PGL(p)-丛的模空间。
• 依赖于 PGL(p) 与 SL(p) 之间的中心扩张关系，利用 PGL(p) = SL(p)/μ_p 的事实。
• 使用仿射李代数的表示论与 Weyl 特征标公式来计算截面空间的维数。
• 在模空间上应用 Riemann-Roch 定理，将欧拉示性数与 H^0(M_G, L) 的维数关联起来。
• 通过比较 M_G 上线丛与 SL(p) 模空间上线丛的结构，利用商映射建立公式。

实验结果

研究问题

• RQ1 黎曼曲面上主 PGL(p)-丛模空间上线丛的全纯截面空间的维数是多少？
• RQ2 PGL(p) 的 Verlinde 公式与单连通群（如 SL(p)）的公式有何不同？
• RQ3 当 G = PGL(p) 且 p 为素数时，能否为 H^0(M_G, L) 的维数导出一个闭式公式？
• RQ4 PGL(p) 的非单连通性在其模空间结构与线丛截面中起什么作用？
• RQ5 PGL(p) 的表示论在此背景下如何与模空间的几何相关联？

主要发现

• 本文为紧黎曼曲面上主 PGL(p)-丛模空间 M_G 上任意线丛 L 的 H^0(M_G, L) 维数推导出一个闭式公式。
• 该公式类似于经典 Verlinde 公式，但已针对 G = PGL(p) 的情形（p 为素数）进行了调整。
• 该结果通过商映射 SL(p) → PGL(p) 将 PGL(p)-丛的模空间与 SL(p)-丛的模空间联系起来。
• 维数公式依赖于线丛的级别与 Weyl 群的共轭类，反映了 PGL(p) 的结构。
• 该公式仅在 p 为素数时成立，因为构造依赖于当 p 为素数时 μ_p 的特定性质。
• 推导结果证实 Verlinde 公式可超越单连通群进行推广，为非单连通半单群提供了一个关键范例。