$\mathrm{D}-\mathrm{mod}(\mathrm{Bun}_G^\mathrm{I})$ is Compactly Generated

技术摘要：$D\text{-mod}(\text{Bun}^I_G)$ 是紧致生成的

问题陈述
本文探讨了 $D$-模的 DG 范畴（记作 $D\text{-mod}(\text{Bun}^I_G)$）是否为紧致生成的（compactly generated）问题。这里，$\text{Bun}^I_G$ 是光滑射影曲线 $X$ 上配备了固定点 $x \in X$ 处的 Iwahori 能级结构的 $G$-主丛的代数叠（algebraic stack）。

该问题是无分歧（unramified）几何朗兰兹纲领的一个自然推广。在无分歧情形下，Drinfeld 和 Gaitsgory 在 [DG15] 中证明了 $D\text{-mod}(\text{Bun}_G)$ 是紧致生成的。这一性质是几何朗兰兹猜想的一个必要条件，该猜想断言 $D\text{-mod}(\text{Bun}_G)$ 与局部系统叠上的 ind-相干层（ind-coherent sheaves）之间存在等价关系。虽然无分歧情形已得到解决，但分歧情形（具体为配备 Iwahori 能级结构，代表 tame 分歧）关于紧致生成性的问题仍是一个悬而未决的问题。

方法论
本文采用了由 Drinfeld 和 Gaitsgory 建立的框架，用于证明非拟紧（non-quasicompact）叠上 $D$-模的紧致生成性。其核心策略是证明叠 $\text{Bun}^I_G$ 是可截断的（truncatable）。一个叠是可截断的，如果它可以被一个由**共截断（co-truncative）**的拟紧开子叠组成的共满系统（cofinal system）所覆盖。

该方法论通过以下步骤进行：

1. 归约为共截断性： 由于 $\text{Bun}^I_G$ 是局部 QCA（拟紧且自同构群为仿射型）但非拟紧的，作者旨在将其表示为拟紧开子叠 $\text{Bun}^I_{G, (\leq \theta)}$ 的并集。目标是证明对于足够大的 $\theta$，这些子叠的补集是可截断的（truncative）。
2. 分层（Stratification）： 作者构造了一个类似于无分歧情形中使用的 Harder-Narasimhan 分层的 $\text{Bun}^I_G$ 分层。这包括：
   • 按底层 $G$-主丛的 Harder-Narasimhan 类型 $\lambda$ 进行分层。
   • 进一步按 Iwahori 能级结构（一个 $B$-约化）与与该层相关的抛物约化（$P$-约化）之间的相对位置 $w$ 进行分层。
3. 收缩判据（Contractiveness Criterion）： 为了证明开子叠的补集是可截断的，作者利用了“收缩子叠”判据。一个子叠是收缩的，如果它允许一个 $\mathbb{A}^1$-作用将该子叠收缩到一个截面，并满足特定的几何条件（平滑性、满射性和特定图表中的开嵌入）。
4. 全局生成估计： 一个关键的技术组成部分是证明某些相关的向量丛是全局生成的。具体而言，对于 Levi 子群 $M$ 和抛物子群 $P$，作者证明了在特定的丛度数值界限下，关联于 $P$ 的幂零根（nilradical）的丛 $\mathfrak{n}(P)F_M$ 是全局生成的。这依赖于扭曲丛的 $H^1$ 消失定理。

主要贡献与结果

• 主定理： 本文证明了 $D\text{-mod}(\text{Bun}^I_G)$ 是紧致生成的（定理 0.2.3）。
• 推广： 该结果被推广到在有限个点 $x_1, \dots, x_k \in X$ 处具有 Iwahori 能级结构的情形，证明了 $D\text{-mod}(\text{Bun}^{(I; x_1, \dots, x_k)}_G)$ 也是紧致生成的（定理 0.2.5）。
• 界限精细化： 一个重要的技术贡献是调整了使分层为共截断所需的数值界限。
  • 在无分歧情形 [DG15] 中，配对 $\langle \theta, \check{\alpha}_i \rangle$ 的界限为 $2g - 2$。
  • 在单点 Iwahori 情形下，作者证明该界限必须提高到 $2g - 1$。
  • 在 $k$ 点情形下，界限被证明为 $2g - 2 + k$。
    这种转变是由确保相关向量丛的 $k$-全局生成性以保证分层补集的收缩性所必需的。
• 模型（Toy Model）： 第 2 节为 $G = SL_2$ 的情形提供了一个详细且自洽的证明，在不涉及一般情形下复杂的组合复杂性的情况下，展示了概念性机制（纤维平方、映射的满射性和收缩作用）。

意义

本文声称，建立 $D\text{-mod}(\text{Bun}^I_G)$ 的紧致生成性是朝着制定和证明 Iwahori 分歧几何朗兰兹猜想迈出的必要一步。

其意义是双重的：

1. 等价性的前提： 如引言所述，提议的朗兰兹等价性的右侧（局部系统叠上的 ind-相干层）先验上是紧致生成的。因此，左侧（$D\text{-mod}(\text{Bun}^I_G)$）的紧致生成性是此类等价关系存在的必要条件。
2. 方法论的延伸： 这项工作表明，为无分歧情形开发的 Drinfeld 和 Gaitsgory 的组合与几何技术可以成功地适配到分歧情形。作者指出，虽然存在 Gaitsgory 和 Arkhipov [AG09] 的一份未发表的草稿，但该草稿在无分歧情形 [DG15] 中修复了其中的组合缺陷；本文提供了必要的修改，以修复针对 Iwahori 分歧情形的论证。

本文并不声称证明了完整的分歧情形朗兰兹等价性，而是建立了使该计划得以进行的奠基性的有限性性质。