[论文解读] Some questions about $\mathcal G$-bundles on curves

G. Pappas, Michael Rapoport|ArXiv.org|Aug 27, 2008

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

一句话总结

本文将曲线上的 $G$-丛模理论推广至 $τ$-丛，其中结构群为曲线上的仿射包群 scheme $σ$，将经典 $G$-丛结果推广至非平凡的半单群 scheme。关键贡献是提出了模堆栈上主导线丛全局截面空间的猜想公式，该公式以局部仿射旗流形上张量积的不变子空间形式表达，与共形块及 Verlinde 型公式相关。

ABSTRACT

We define the notion of a parahoric group scheme $\mathcal G$ over a smooth projective curve, and formulate four conjectures on the structure of the stack of $\mathcal G$-bundles, which generalize to this case well-known results on $G$-bundles with $G$ a constant reductive group. The conjectures concern the set of connected components, the uniformization by affine flag varieties of twisted loop groups, the Picard groups, and the space of global sections of a dominant line bundle. Since a first version of this paper was circulated, Heinloth [arXiv:0711.4450] has proved a good part of these conjectures.

研究动机与目标

• 将曲线上的 $G$-丛模堆栈理论推广至非平凡半单群 scheme 的情形，特别是曲线上的仿射包群 scheme。
• 为 $σ$-扭器模堆栈上主导线丛的全局截面空间提出一个全局几何猜想。
• 为将经典结果（如 Verlinde 公式与融合规则）推广至仿射包群 scheme 的情形提供一个框架。
• 通过仿射旗流形与环路群理论，将全局模堆栈的几何与局部结构联系起来。
• 阐明标记点集 $S$ 与主导权在该推广设定下共形块构造中的作用。

提出的方法

• 利用与局部域上李群 $H$ 的仿射包子群相关的环路群与仿射旗流形理论，其中 $H$ 是局部域上的半单群。
• 将局部模空间 ${\mathcal{F}}_P = LH / L^+P$ 构造为 ind-概形，表示曲线上每点处的局部几何。
• 为光滑射影曲线 $X$ 上的仿射包群 scheme $\mathcal{G}$ 构造 $\mathcal{G}$-扭器的全局模堆栈 $\mathcal{M}_{\mathcal{G}/X}$，其纤维连通且一般纤维为半单群。
• 利用统一化定理将全局模堆栈与仿射 Grassmannian 的商联系起来，扩展了 Beauville-Laszlo 与 Faltings 的经典方法。
• 引入 $H^0(X\setminus S, \text{Lie}(\mathcal{G}))$ 对局部上同调空间张量积的自然作用，从而构造不变子空间。
• 应用中心扩张与中心荷载理论定义主导线丛，并确保各局部因子间的一致性。

实验结果

研究问题

• RQ1 如何将曲线上的 $G$-丛模理论推广至非平凡半单群 scheme 的情形，特别是仿射包群 scheme？
• RQ2 在仿射包群 scheme 的 $σ$-扭器背景下，Verlinde 公式的正确推广形式是什么？
• RQ3 在此推广设定下，全局模堆栈上的共形块如何与局部仿射旗流形上的数据相关联？
• RQ4 标记点集 $S$ 与中心荷载在模堆栈上线丛全局截面结构中起什么作用？
• RQ5 共形块的融合规则与因子分解性质能否超越分裂的、常值群 scheme 的情形而被推广？

主要发现

• 全局截面空间 $H^0(\mathcal{M}_{\mathcal{G}/X}, \mathcal{L})$ 的猜想同构于 $H^0(X\setminus S, \text{Lie}(\mathcal{G}))$-不变子空间 $\bigotimes_{x\in S} H^0({\mathcal{F}}_x, p_x^*\mathcal{L})$，推广了经典统一化定理。
• 该猜想在 Laszlo 与 Sorger 确认的特例中成立，且 Heinloth 在后续预印本中已证明了该猜想的大部分内容。
• 为使同构成立，中心荷载 $c_{\mathcal{G}/X,x}(\mathcal{L})$ 必须在 $X$ 上为常数，以确保局部数据的一致性。
• 该构造依赖于在每个标记点 $x \in S$ 处识别环路代数中心扩张中的中心元素，这要求 $S \supset \text{Bad}(\mathcal{G})$。
• 在一般仿射包情形下，全局截面空间的维数预期满足 Verlinde 型公式，尽管该公式仍为猜想。
• 当 $S$ 扩大时，结果保持稳定，因为不变子空间在 $S$ 扩展时不变，反映了共形块的因子分解性质。