Perfect generation for regular algebraic stacks

以下是帕特·兰克（Pat Lank）的论文《正则代数叠的完美生成》（Perfect Generation for Regular Algebraic Stacks）的详细技术总结：

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

核心问题：
代数叠（Algebraic Stacks）上的拟凝聚复形导出范畴 $D_{qc}(X)$ 是否由单个完美复形（Perfect Complex）生成？

现状与挑战：

• 概形情形： 对于拟紧拟分离（quasi-compact quasi-separated, qcqs）概形，$D_{qc}(X)$ 已知是由单个紧对象生成的（Thomason-Trobaugh 定理等）。
• 代数叠情形： 情况更为复杂。虽然 Hall-Rydh 等人在特定条件下（如具有拟有限分离对角线的 qcqs 代数叠，或 Deligne-Mumford Q-叠）证明了 $D_{qc}(X)$ 是紧生成的（compactly generated，即由一组紧对象生成），但单对象生成（singly generated，即由单个对象生成）的问题尚未完全解决。
• 现有局限： 之前的结果通常要求堆栈是“集中”的（concentrated，即紧对象等同于完美复形），或者对角线是分离的。对于更一般的正则代数叠（Regular Algebraic Stacks），特别是那些可能非集中或非分离对角线的情况，单对象生成的存在性尚不明确。

本文目标：
证明对于正则（regular）、拟紧拟分离、且具有拟有限对角线（quasi-finite diagonal）的代数叠 $X$，其导出范畴 $D_{qc}(X)$ 是由单个完美复形生成的。

---

2. 主要结果 (Key Results)

定理 1.1 (Theorem 1.1)：
设 $X$ 是一个具有拟有限对角线的拟紧拟分离正则代数叠。则存在一个完美复形 $P \in \text{Perf}(X)$，使得 $P$ 生成 $D_{qc}(X)$。

• 意义： 这是一个全新的结果，即使对于特征任意（包括正特征）的 Deligne-Mumford 叠，只要满足正则性假设，该结论也成立。
• 推广性： 不需要假设对角线是分离的，也不需要假设 $X$ 是“集中”的（concentrated）。

推论 1.2 (Corollary 1.2)：
若 $X$ 是集中的（concentrated）正则代数叠且具有拟有限对角线，则 $D_{qc}(X)$ 是单对象紧生成的（singly compactly generated）。

• 这改进了 Hall (2022) 的结果，去除了对 Krull 维数有限性的要求，并将“紧生成”加强为“单对象紧生成”。

---

3. 方法论与证明策略 (Methodology)

证明过程结合了代数叠的几何结构与三角范畴的重组技术（Recollement），主要分为以下几个关键步骤：

A. 几何分解与归纳法

利用 Hall-Rydh (2018) 关于有限稳定子代数叠的表示理论：

1. Nisnevich 覆盖与分裂序列： 构造一个 Nisnevich 覆盖 $f: Y \to X$，其中 $Y$ 是仿射概形。利用该覆盖的“单射分裂序列”（monomorphic splitting sequence），将 $X$ 分解为一系列开子叠 $X_0 \subset X_1 \subset \dots \subset X_n = X$。
2. 归纳假设： 对分裂序列的长度 $n$ 进行归纳。
   • 基础情形： 处理序列中的局部闭子叠。利用正则性假设，证明在正则代数叠的闭子集上，相关子范畴由单个完美复形生成。
   • 归纳步骤： 假设 $X_{c-1}$ 可由单个完美复形生成，证明 $X_c$ 也可由单个完美复形生成。

B. 重组技术 (Recollement Techniques)

利用三角范畴的重组（Recollement）来“粘合”生成元：

• 对于开浸入 $j: U \hookrightarrow X$ 及其补集闭子叠 $i: Z \hookrightarrow X$，存在如下重组结构：
  $$D_{qc}(Z) \rightleftarrows D_{qc}(X) \rightleftarrows D_{qc}(U)$$
• 命题 3.7： 如果 $D_{qc}(U)$ 由集合 $\mathcal{G}$ 生成，且 $D_{qc,Z}(X)$ 由集合 $\mathcal{G}'$ 生成，则 $D_{qc}(X)$ 由 $\mathcal{G} \oplus Q_\lambda(\mathcal{G}')$ 生成。
• 通过归纳，将 $X_{c-1}$ 的生成元与 $Z_c$（闭子集）上的生成元结合，得到 $X_c$ 的生成元。

C. 对偶性与有限性论证

• 有限态射与对偶： 利用有限态射 $f: Y \to X$ 的右伴随 $f^\times$ 和推前 $Rf_*$ 的伴随对。
• Thomason 条件： 引入 $\beta$-Thomason 条件（即 $D_{qc}$ 由基数为 $\beta$ 的集合生成，且每个拟紧补集的闭子集都有对应的完美复形支撑）。
• 命题 4.3 & 引理 4.4： 证明在有限平坦满射和拟仿射单射下，Thomason 条件具有传递性。
• 正则性的关键作用： 在正则代数叠上，完美复形范畴 $\text{Perf}(X)$ 等同于有界凝聚复形范畴 $D^b_{coh}(X)$。这使得可以利用对偶性（如 $Ri_* \mathcal{O}_Z \in \text{Perf}(X)$）来构造支撑在特定闭集上的完美复形。

D. 生成元的构造

1. 首先证明在正则代数叠的特定局部闭子叠上，子范畴 $D_{qc,Z}(X)$ 由单个完美复形生成（利用正则性和对偶性，引理 4.1 和引理 4.6）。
2. 利用重组技术，将这些局部生成元“粘合”起来，最终得到整个 $X$ 上的单个生成元。

---

4. 关键创新点 (Key Contributions)

1. 单对象生成的突破： 首次证明了在非常一般的正则代数叠（无需分离对角线，无需集中条件）上，$D_{qc}(X)$ 由单个完美复形生成。
2. 去除了维数限制： 在推论 1.2 中，去除了 Hall (2022) 结果中关于 Krull 维数有限的假设。
3. 重组技术的独立应用： 展示了如何利用三角范畴的重组（Recollement）技术，将代数叠的几何分解（Nisnevich 分裂序列）与范畴生成理论相结合。这种方法本身具有独立的研究价值。
4. 非集中情形的处理： 证明了即使在没有“集中”条件（即紧对象不一定等于完美复形）的情况下，单对象生成依然成立（尽管此时生成元可能不是紧对象，但它是完美复形）。

---

5. 意义与影响 (Significance)

• 理论完善： 填补了代数叠导出范畴生成理论中的关键空白，将概形上的经典结果推广到了更复杂的代数叠情形。
• 应用潜力： 单对象生成性在代数几何的许多领域至关重要，例如：
  • Bousfield 局部化： 简化了局部化构造。
  • K-理论： 有助于理解代数叠的 K-理论结构。
  • 同调镜像对称： 为研究代数叠上的同调镜像对称提供了更坚实的范畴基础。
• 正则性的重要性： 强调了正则性（Regularity）在控制完美复形与凝聚复形关系中的核心作用，表明正则性是获得强生成性质的关键几何条件。

总结：
这篇文章通过巧妙结合代数叠的几何分解（Nisnevich 覆盖与分裂序列）和三角范畴的重组技术，成功证明了正则代数叠的导出范畴由单个完美复形生成。这一结果不仅推广了现有的紧生成理论，还放宽了对堆栈几何性质（如分离性、集中性）的严格限制，为后续研究代数叠的导出几何性质奠定了重要基础。