[论文解读] The moduli stack of $G$-bundles

Jonathan Wang|arXiv (Cornell University)|Apr 26, 2011

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

一句话总结

本文对在平坦、有限表现、投影态射 $X\to S$ 上的 $G$-丛的模堆栈 $\operatorname{Bun}⁡_{G}$ 提供了一篇全面的解说性论述，证明了在适当条件下其代数性与光滑性。文章使用商堆栈、Hom 堆栈及提升叠的技巧，证明 $\operatorname{Bun}_{G}$ 是局部有限表现的代数堆栈，具有概形的、仿射的对角线，并且当 $G$ 光滑且 $X\to S$ 的纤维维数为一的条件下，其在 $S$ 上光滑。

ABSTRACT

In this paper, we give an expository account of the geometric properties of the moduli stack of $G$-bundles. For $G$ an algebraic group over a base field and $X o S$ a flat, finitely presented, projective morphism of schemes, we give a complete proof that the moduli stack $Bun_G$ is an algebraic stack locally of finite presentation over $S$ with schematic, affine diagonal. In the process, we prove some properties of $BG$ and Hom stacks. We then define a level structure on $Bun_G$ to provide alternative presentations of quasi-compact open substacks. Finally, we prove that $Bun_G$ is smooth over $S$ if $G$ is smooth and $X o S$ is a relative curve.

研究动机与目标

• 提供关于曲线族上 $\operatorname{Bun}_G$ 的几何性质的完整、自包含的解说。
• 在基概形 $S$ 上建立 $\operatorname{Bun}_G$ 作为代数堆栈的代数性，给出精确的有限性与可表示性条件。
• 通过无穷小提升与叠论方法，证明当 $G$ 光滑且 $X\to S$ 的纤维维数为一的条件下，$\operatorname{Bun}_G$ 在 $S$ 上光滑。
• 提出对 $\operatorname{Bun}_G$ 代数性主定理的新、详尽的证明，填补了尽管专家已知该结果但文献中仍存在的空白。
• 通过幂零加粗定义层级结构，用于呈现 $\operatorname{Bun}_G$ 的拟紧开子堆栈。

提出的方法

• 通过构造概形 $Z$ 上 $G$-作用的堆栈商 $[Z/G]$ 来建模主 $G$-丛，并建立其代数性。
• 证明拟投影态射的截面层的可表示性，这是分析 Hom 堆栈的关键技术工具。
• 使用无穷小提升准则验证 $\operatorname{Bun}_G$ 的光滑性，将问题约化为一个上同调群的消失。
• 分析与 $\mathcal{G}_0$-扭化 $\mathcal{P}$ 相关的提升叠 $\mathcal{Q}_{\mathcal{P}}$，证明当 $H^2(X_{T_0}, {}_{\mathcal{P}}\mathcal{A}) = 0$ 时其为平凡叠。
• 将障碍层 $\mathcal{A}$ 表示为 $\mathfrak{g} \otimes_k \mathcal{I}$，其中 $\mathcal{I}$ 是幂零加粗的理想层，并利用伴随表示定义作用。
• 应用 EGA 与 SGA 中的上同调消失结果，证明当纤维维数为一的条件下 $H^2(X_{T_0}, {}_{\mathcal{P}}\mathcal{A}) = 0$，从而保证光滑性。

实验结果

研究问题

• RQ1 在何种条件下，曲线族上 $G$-丛的模堆栈 $\operatorname{Bun}_G$ 是代数堆栈？
• RQ2 如何通过无穷小提升与上同调障碍来刻画 $\operatorname{Bun}_G$ 在基 $S$ 上的光滑性？
• RQ3 通过幂零加粗定义的层级结构在呈现 $\operatorname{Bun}_G$ 的拟紧开子堆栈中起什么作用？
• RQ4 在光滑性背景下，提升叠 $\mathcal{Q}_{\mathcal{P}}$ 的结构如何与 $H^2$-上同调的消失相关联？
• RQ5 为何当纤维维数更高时 $\operatorname{Bun}_1$ 在 $S$ 上不光滑？反例说明了这一点。

主要发现

• 模堆栈 $\operatorname{Bun}_G$ 是 $S$ 上局部有限表现的代数堆栈，具有有限表现的概形的、仿射的对角线。
• 堆栈 $\operatorname{Bun}_G$ 允许被 $S$ 上有限表现的代数子堆栈开覆盖，确保了良好的局部结构。
• 当 $G$ 光滑且 $X\to S$ 的纤维维数为一的条件下，$\operatorname{Bun}_G$ 在 $S$ 上光滑，因为提升叠 $\mathcal{Q}_{\mathcal{P}}$ 由于 $H^2(X_{T_0}, {}_{\mathcal{P}}\mathcal{A}) = 0$ 而平凡。
• 拟投影态射的截面层是可表示的，这是分析 $\operatorname{Bun}_G$ 构造中 Hom 堆栈的基础性结果。
• 将 $\mathcal{G}_0$-扭化 $\mathcal{P}$ 提升为 $G$-丛的障碍由上同调群 $H^2((X_{T_0})_{\text{ét}}, {}_{\mathcal{P}}\mathcal{A})$ 控制，当纤维维数为一时该群消失。
• 反例表明，当 $X\to S$ 的纤维维数为二且 $\operatorname{Pic}_{X/S}$ 不是约化的条件下，$\operatorname{Bun}_1$ 在 $S$ 上不光滑，说明维数假设的必要性。