Categorical characterizations of regularity for algebraic stacks

论文技术总结：代数叠正则性的范畴化刻画

1. 研究背景与问题 (Problem)

在代数几何中，诺特概型（Noetherian scheme）$X$ 的正则性（regularity）可以通过其导出范畴的范畴性质来刻画。Neeman 最近证明了两个关键结论：

1. 诺特概型 $X$ 是正则的，当且仅当其完美复形范畴 $\text{Perf}(X)$ admits 一个强生成元（strong generator）。
2. 对于闭子集 $Z \subseteq X$， $Z$ 包含在正则点集中，当且仅当 $\text{Perf}_Z(X)$ admits 一个有界 t-结构（bounded t-structure）。

核心问题：上述结果能否推广到代数叠（algebraic stacks）？
代数叠比概型更复杂，存在以下技术障碍：

• 紧对象与完美复形的差异：在概型中，$\text{Perf}(X)$ 通常等同于 $D_{\text{qc}}(X)$ 中的紧对象。但在一般的代数叠中，完美复形（perfect complexes）与紧对象（compact objects）并不总是重合（例如在具有无限稳定子的叠上）。
• t-结构的等价类：在概型中，存在一个“首选”的 t-结构等价类。在代数叠上，特别是具有无限稳定子的叠（如 $B\mathbb{G}_m$），这种首选类的存在性可能失效。
• 正则性的局部性：如何定义和检测代数叠上的正则性，特别是通过剩余格（residual gerbes）和闭点。

2. 方法论 (Methodology)

作者采用了一系列范畴论工具和代数叠的几何性质相结合的方法：

• 范畴生成理论：利用强生成元（strong generators）和经典生成元（classical generators）的概念，研究 $\text{Perf}(X)$ 和 $D^b_{\text{coh}}(X)$ 的结构。
• 重排（Recollement）与粘合：利用三角范畴的重排结构（recollement）将 t-结构从开子叠和闭子叠“粘合”到整个叠上。
• 逼近性质（Approximation by Compacts）：引入并验证了代数叠满足“紧对象逼近”性质（approximation by compacts），这是连接完美复形与紧对象的关键桥梁。
• 归纳原理：利用代数叠的归纳原理（induction principle，参考 Hall-Rydh），通过闭子叠和开子叠的性质来推导整体性质。
• 光滑覆盖与局部化：通过光滑覆盖（smooth covers）将问题约化到概型情形，利用概型上的已知结果（如 Neeman 的工作）来推导叠上的结果。
• Thomason 条件：引入并应用 1-Thomason 条件，确保 $D_{\text{qc}}(X)$ 由单个紧对象生成，这对于构造 t-结构至关重要。

3. 主要贡献与结果 (Key Contributions & Results)

A. 正则性与导出范畴的等价刻画 (核心定理)

• 定理 1.1 (强生成元刻画)：
  设 $X$ 是一个集中的（concentrated）、分离的、诺特的、具有仿射对角线且有限 Krull 维数的代数叠。
  结论：$X$ 是正则的 $\iff$ $\text{Perf}(X)$ admits 一个强生成元。
  注：这是 Neeman [Nee21] 关于概型结果的直接推广。

• 定理 1.2 (有界 t-结构刻画)：
  设 $X$ 是一个集中的、诺特的、有限 Krull 维数的代数叠，且满足以下之一：
  (1) 具有拟有限且分离的对角线；
  (2) 是特征零的 Deligne-Mumford 叠。
  结论：对于任意闭子集 $Z \subseteq |X|$，$Z \subseteq \text{reg}(X)$ $\iff$ $\text{Perf}_Z(X)$ admits 一个有界 t-结构。
  注：这推广了 Neeman [Nee23a] 关于概型的结果。

B. 基础引理：完美复形与有界导出范畴的等价性

• 命题 1.3：
  设 $X$ 是一个体面的（decent）、拟紧的、局部诺特的代数叠。
  结论：$X$ 是正则的 $\iff$ $\text{Perf}(X) = D^b_{\text{coh}}(X)$。
  意义：这是上述两个主要定理的基石。作者证明了即使在代数叠上，完美复形与有界凝聚复形相等这一经典事实依然成立，尽管在一般叠上完美复形不一定等于紧对象。

C. 经典生成元的存在性

• 命题 1.5：
  设 $X$ 是满足 1-Thomason 条件的集中诺特代数叠。
  结论：以下等价：
  (1) $X$ 的每个整闭子叠 $Z$ 的正则点集 $\text{reg}(Z)$ 包含非空开集（即 $Z$ 是 J-0 的）；
  (2) $D^b_{\text{coh}}(Z)$ 对每个整闭子叠 $Z$ admit 一个经典生成元。
  意义：推广了 Iyengar-Takahashi 和 Dey-Lank 关于环和概型的结果。

D. 技术突破：Hypothesis ★ 的验证

• 为了证明定理 1.2，作者定义了 Hypothesis ★（要求 $X$ 是 1-Thomason 的，且对于任意拟紧开子叠，其补集上的标准 t-结构属于首选等价类）。
• 命题 6.6：证明了具有拟有限分离对角线的集中代数叠，以及特征零的 Deligne-Mumford 叠，均满足 Hypothesis ★。
• 关键发现：作者指出，对于具有无限稳定子的叠（如 $B\mathbb{G}_m$），Proposition 6.6 失效，因为不存在由可数紧对象族生成的首选 t-结构等价类。这解释了为何定理需要特定的对角线条件或特征零条件。

4. 技术细节与证明策略

1. 处理非集中叠（Non-concentrated stacks）：
   作者指出，对于非集中叠，完美复形不等于紧对象。因此，他们通过检测剩余格（residual gerbes）的结构层（structure sheaf）的完美性来定义正则性，而不是直接依赖紧对象。

2. t-结构的粘合：
   在证明定理 1.2 时，作者利用重排（recollement）将 $D_{\text{qc}, Z}(X)$ 的 t-结构与开子叠上的 t-结构粘合。关键在于证明粘合后的 t-结构落在“首选等价类”中。这依赖于 $X$ 满足 1-Thomason 条件以及存在特定的紧生成元。

3. 避免弱可逼近性（Weak Approximability）：
   在概型情形下，Neeman 的证明依赖于 $D_{\text{qc}, Z}(X)$ 的弱可逼近性。作者的方法通过直接构造粘合 t-结构，避免了在代数叠上建立弱可逼近性的困难，这是一个独立的技术贡献。

4. 反例与边界条件：
   文章通过 Example 1.4 ($B_k \mathbb{G}_a$ 在特征 $p>0$) 和 Example 3.9 (有限群商) 展示了在什么情况下完美复形与紧对象不重合，以及为什么“集中”（concentrated）假设是必要的。

5. 意义与影响 (Significance)

• 理论统一：成功将 Neeman 关于概型正则性的深刻范畴化结果推广到了代数叠这一更广泛的几何对象上，统一了概型与叠的正则性理论。
• 解决开放问题：解决了在代数叠上 $\text{Perf}(X) = D^b_{\text{coh}}(X)$ 是否等价于正则性的问题（命题 1.3），填补了文献空白。
• 新工具：引入了针对代数叠的 t-结构粘合技术，特别是处理“首选等价类”的方法，为未来研究代数叠的导出范畴结构提供了新工具。
• 应用前景：这些结果为研究代数叠上的同调代数、K-理论以及奇点理论提供了新的范畴视角。特别是对于具有有限稳定子或特征零的 DM 叠，这些结果可以直接应用。

总结：
这篇文章通过精细的范畴论构造和对代数叠几何性质的深入分析，成功地将正则性的范畴化刻画从概型推广到了代数叠。其核心在于克服了完美复形与紧对象不重合的障碍，并建立了 t-结构在叠上的存在性与正则性之间的精确对应，为代数叠的导出几何研究奠定了重要基础。