[论文解读] The Picard group of the moduli of G-bundles on a curve

Arnaud Beauville, Yves Laszlo+1 more|ArXiv.org|Aug 2, 1996

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

一句话总结

本文确定了复半单群 G 的主 G-丛模空间在紧致黎曼曲面上的 Picard 群，其中 G 为经典型或 G₂ 型，涵盖粗模空间与模堆栈两种情形。通过几何不变性理论与表示论，作者证明 Picard 群同构于 G 的共轭字符群，从而对这些模空间上的全纯线丛给出了完整描述。

ABSTRACT

Let G be a complex semi-simple group, and X a compact Riemann surface. The moduli space of principal G-bundles on X, and in particular the holomorphic line bundles on this space and their global sections, play an important role in the recent applications of Conformal Field Theory to algebraic geometry. In this paper we determine the Picard group of this moduli space when G is of classical or G_2 type (we consider both the coarse moduli space and the moduli stack).

研究动机与目标

• 计算紧致黎曼曲面上复半单群 G 的主 G-丛模空间的 Picard 群。
• 研究这些模空间上全纯线丛的结构，其在共形场论与代数几何中具有核心意义。
• 区分粗模空间与模堆栈，并在两种情形下确定 Picard 群。
• 通过表示论与几何方法，对模空间上的线丛实现完整分类。

提出的方法

• 运用几何不变性理论（GIT）构造并分析光滑射影曲线上 G-丛的模空间。
• 利用抛物丛理论与对勒维子群的约化，通过限制到子群研究 Picard 群。
• 应用堆栈上线丛的理论及其拉回，关联堆栈与粗模空间的 Picard 群。
• 将 G 的共轭字符群作为关键不变量，通过表示论论证证明 Picard 群同构于该群。
• 分析 G 在线丛截面空间上的作用，以判断其平凡性或非平凡性。
• 通过 G 的秩的归纳法及对经典型与 G₂ 的情形分析，确立结果。

实验结果

研究问题

• RQ1 对于经典型或 G₂ 型的半单群 G，紧致黎曼曲面上 G-丛模空间的 Picard 群结构如何？
• RQ2 G-丛的粗模空间与模堆栈的 Picard 群之间有何关系？
• RQ3 G 的共轭字符群与表示论在分类模空间上全纯线丛的过程中起何作用？
• RQ4 如何利用几何不变性理论与抛物约化来计算 Picard 群？
• RQ5 模空间上是否存在非平凡线丛？若存在，其参数化方式如何？

主要发现

• 对于经典型或 G₂ 型的 G，曲线上 G-丛模堆栈的 Picard 群同构于 G 的共轭字符群。
• 粗模空间的 Picard 群同构于 G 的共轭字符群模去由 G 的李群导出子群的共轭字符生成的子群。
• 当 G = SL_n、PGL_n 或 G₂ 时，Picard 群同构于共轭字符群，其中 SL_n 对应 Z，PGL_n 对应平凡群。
• 该结果在堆栈与粗模空间上均成立，通常情况下堆栈的 Picard 群更大。
• 计算依赖于模空间上线丛源于 G 的特征通过行列式线丛构造这一事实。
• 作者确认 Picard 群无挠，且同构是典范的，仅依赖于群 G。