A boundedness theorem for principal bundles on curves

技术摘要：曲线上的主丛有界性定理

问题陈述
本文研究了光滑射影曲线 $C$ 上主 $G$-丛的模空间的有界性，特别是在映射到商叠层 $[V/G]$ 的拟映射（quasimaps）背景下，其中 $G$ 是一个还原群，作用在仿射方案 $V$ 上。一个映射被定义为一个主 $G$-丛 $P$ 以及关联向量丛 $P \times_G V$ 的一个截面。研究重点在于“拟映射”，即曲线的泛点映射到 GIT 稳定子集 $V^s(\theta)$（对于某个特征 $\theta$）。

虽然底层曲线以及固定丛的截面的有界性已得到充分理解，但在给定其截面将泛点映射到稳定子集的条件下，主丛 $P$ 本身的集合（即拟映射的集合）的有界性仍然是一个关键性的空白，尤其是在非交换情形下。作者旨在证明，对于由特征 $\theta$ 诱导的线丛的固定次数，此类主丛的集合是有界的。这一结果对于完成非交换情形下 $\epsilon$-稳定拟映射和 $\Omega$-稳定 LG-拟映射的有界性证明至关重要，而该任务在之前的研究 [CGL+23] 中尚未完成。

方法论
作者采用了植根于主丛规范约化（canonical reductions，即 Harder-Narasimhan 约化）理论的策略，将用于斜率半稳定向量丛的技术进行了推广。

1. 约化为规范形式：与其直接对丛进行有界性分析，作者转而分析它们向抛物子群的规范约化。对于一个主丛 $P$，存在一个向抛物子群 $P_i$（包含一个固定的 Borel 子群 $B$）的唯一规范约化，使得其关联的列维因子丛（Levi factor bundle）是半稳定的，且该约化的次数相对于非负简单根的线性组合满足特定的正性条件。
2. 拓扑有限性：证明的核心在于展示这些规范约化的拓扑类型（次数）的集合是有限的。如果规范约化的次数是有界的，那么原始丛族的有界性即可由半稳定丛的有界性和它们之间扩张的有界性推导得出。
3. GIT 稳定性约束：证明利用了存在一个将泛点映射到稳定子集 $V^s(\theta)$ 的截面 $\sigma$ 这一事实。通过分析表示 $V$ 的权重以及截面对关联向量丛的作用，作者推导出了规范约化次数的下界。
4. 凸几何：作者构造了抛物子群李代数对偶中的一个有限字符集 $K$。他们证明了 $K$ 的凸包包含原点在其内部。这一几何性质结合推导出的次数界限，确保了可能次数的集合是有限的。

主要贡献与结果

• 定理 1.1（简化版）：对于固定的整数 $d$，满足 $\deg(P \times_G \mathbb{C}_\theta) = d$ 且 $P \times_G V$ 存在将泛点映射到 $V^s(\theta)$ 的截面的主 $G$-丛 $P$ 的集合是有界的。
• 定理 1.2（一般版本）：该结果被推广到扭曲曲线上的 $\Gamma$-丛（其中 $\Gamma$ 满足精确序列 $1 \to G \to \Gamma \xrightarrow{\epsilon} \mathbb{G}_m \to 1$）。对于不可约分量上特征 $\vartheta$ 和 $\epsilon$ 的固定次数，此类丛的集合是有界的。
• LG-拟映射的有界性：作为直接推论，本文确立了非交换情形下 $\Omega$-稳定 LG-拟映射的有界性。这完成了这些对象的模空间理论，此前这些对象在交换情形下已被证明是分离且紧致的 [CGL+23]。
• 稳定拟映射的有界性：本文还将对 $[V/G]$ 的稳定拟映射的有界性作为一种特例进行了推导。

意义与主张
本文声称为非交换情形下 $\Omega$-稳定 LG-拟映射模空间的缺失的有界性部分提供了证明，从而完成了由 [CGL+23] 引入的这些模空间的奠基性理论。作者强调，他们的方法将用于向量丛（使用 Harder-Narasimhan 过滤）的策略推广到了主丛（使用向抛物子群的规范约化）。

其意义在于能够为非交换规范线性 $\sigma$ 模型（gauged linear sigma models）和混合自旋-$P$ 场构建行为良好的模空间。作者指出，虽然底层曲线已经是已知的有界，但主丛本身的有界性是确保模空间为有限型（finite type）所必需的非平凡步骤。证明依赖于关于半稳定丛和扩张有界性的标准论证，其新颖之处在于具体应用了目标空间 $V$ 上的 GIT 稳定性条件来约束主丛规范约化的次数。