[论文解读] A complete degeneration of the moduli of $G$-bundles on a curve

Pablo Solis|arXiv (Cornell University)|Nov 26, 2013

Advanced Algebra and Geometry参考文献 23被引用 6

一句话总结

本文通过扭曲线与环路群嵌入，构建了在退化为节点曲线的一族曲线上的 $G$-丛模堆栈的完整紧化。关键贡献是通过一种类似于 Gieseker 的退化方式，实现了满足完备性赋值准则的模形式紧化，该方式利用仿射 Weyl 仿射单纯形内的 cocharacter 确定的等变结构。

ABSTRACT

For a semi simple group G it is known the moduli stack of principal G-bundles over a fixed nodal curve is not complete. Finding a completion requires compactifying the group G. However it was shown in [34] that this is not sufficient to complete the moduli stack over a family of curves. In this paper I describe how to use an embedding of the loop group LG to provide a completion of the stack of G-bundles over a one dimensional family of curves degenerating to a nodal curve. The completion comes with a modular interpretation inspired by the work of Gieseker, Seshadri, Kausz and Thaddeus and Martens.

研究动机与目标

• 解决 $G$-丛模堆栈 $\mathcal{M}_G(C)$ 在退化为节点曲线的一族曲线情形下的非完备性问题。
• 将 Gieseker 型紧化方法从 $GL_r$-丛推广至任意 simply connected simple 群 $G$。
• 构造一个满足完备性赋值准则的模堆栈 $\mathcal{X}_G(C_S)$。
• 通过扭修正与环路群上的等变结构，为紧化提供模解释。
• 通过统一框架将先前关于 $\mathcal{M}_{GL_r}$ 与 $\mathcal{M}_{\mathbb{C}^\times}$ 的结果推广至任意半单 $G$。

提出的方法

• 定义一个模堆栈 $\mathcal{X}_G(C_S)$，用于参数化退化为节点曲线的一族曲线 $C_S$ 的扭修正上的 $G$-丛。
• 利用环路群 $LG$ 及其抛物子群，在特殊纤维的节点处编码等变结构。
• 通过总空间的迭代爆破 $D'^{1/k}_S$ 构造扭曲线，以消除节点处的奇点。
• 利用环路群的 Bruhat 分解，对过渡映射进行因式分解，并将从 $\operatorname{Spec}K'$ 到 $\operatorname{Spec}R'$ 的态射上拉。
• 利用 $L_{poly}G \times L_{poly}G$ 中抛物子群的 Levi 分解，将结构群约化至 Levi 分量。
• 应用基变换与平凡化技术，将态射上拉至 ind-射影旗簇 $L_{poly}G/\mathcal{P}^{-}_I \times L_{poly}G/\mathcal{P}_I$，以确保延拓的存在性。

实验结果

研究问题

• RQ1 能否以模形式方式完成退化为节点曲线的一族曲线上的 $G$-丛模堆栈？
• RQ2 如何将 $GL_r$-丛的 Gieseker 型退化推广至任意 simply connected simple 群 $G$？
• RQ3 环路群嵌入与扭曲线上等变结构在实现完备性中起到何种作用？
• RQ4 退化曲线上的 $G$-丛模堆栈的紧化是否满足完备性的赋值准则？
• RQ5 是否可以不依赖于无挠层或非典范的 $G$ 嵌入来构造该完成？

主要发现

• 模堆栈 $\mathcal{X}_G(C_S)$ 满足完备性的赋值准则，确保从穿孔圆盘到堆栈的任意态射在有限基变换后可延拓。
• 通过引入扭曲线并使用由仿射 Weyl 仿射单纯形内 cocharacter 决定的等变 $G$-丛，实现了该紧化。
• 该构造推广了 Kausz 的 $GL_r$-丛退化与 Martens-Thaddeus 对 $\mathbb{C}^\times$-丛的工作，适用于任意 simple simply connected $G$。
• 关键技术步骤是将一个态射 $\phi \in H/H_1((s))$ 上拉至 $H((s^{1/m}))$，并将其因式分解为 $\phi' = \phi'' \psi$，其中 $\phi'' \in H[[s^{1/m}]]$ 且 $\psi \in H_2((s^{1/m}))$，从而实现向特殊纤维的延拓。
• 在 $\mathcal{X}_G(C_S)$ 中的最终对象通过将 $\psi$ 约化为其 Levi 分量 $\psi_L$ 构造，该分量属于 $L_I((s^{1/m})) \times L_I((s^{1/m}))$，并利用 Bruhat 分解识别出位于仿射单纯形内的一个 cocharacter $\eta'$。
• 当指标集 $I = \{0, \dots, r\}$ 时，退化过程终止，此时旗簇态射成为同构，从而确认了延拓的存在性。