Quasi-affine schemes and singly compactly generated $t$-structures

技术摘要：拟仿射方案与单紧致生成 $t$-结构

问题陈述
本文探讨了关于拟相干层 $\infty$-范畴 $\text{QCoh}(X)$ 在拟紧拟分离方案 $X$ 上一个特定的结构性问题。虽然已知结果（Bondal 和 Van den Bergh）表明 $\text{QCoh}(X)$ 拥有单个紧致生成元，且存在一个其连通半部分由该单个对象生成的 $t$-结构，但目前仍有一个开放性问题：该生成的 $t$-结构是否与“标准”$t$-结构一致。具体而言，作者研究了标准 $t$-结构的连通半部分（记作 $\text{QCoh}(X)_{\ge 0}$）由一个“连通完美对象”单紧致生成的条件。

方法论
作者综合运用了稳定 $\infty$-范畴理论与代数几何，特别利用了 Grothendieck 预稳定 $\infty$-范畴的理论。其方法论通过以下逻辑步骤展开：

1. 范畴框架： 本文使用稳定 $\infty$-范畴和 $t$-结构的语言，将 $\text{QCoh}(X)_{\ge 0}$ 视为一个 Grothendieck 预稳定 $\infty$-范畴。它依赖于这样一个特征描述：如果一个连通半部分由对象 $G$ 单紧致生成，那么该 $t$-结构的核（heart）由截断 $\pi_0 G$ 生成。
2. 严格性与分解： 假设 $X$ 拥有充足的线丛族，作者引用 [DHM20] 和 [Aut18] 的结果，确立了任何完美复形都可以由向量丛的有界复形来表示（即它是“严格的”）。
3. 特殊向量丛的构造： 从一个假设的严格紧致生成元 $G \in \text{QCoh}(X)_{\ge 0}$ 出发，作者通过对表示 $G$ 的有界复形中出现的向量丛进行直和运算，构造了一个特定的向量丛 $E_G$。
4. 核的生成： 通过对 $G$ 的余连通性（coconnectivity）进行归纳论证，论文证明了 $E_G$ 生成了整个连通半部分 $\text{QCoh}(X)_{\ge 0}$。因此，截断 $\pi_0 E_G$（在核中同构于 $E_G$ 本身）生成了离散拟相干层范畴 $\text{QCoh}(X)^\heartsuit$。
5. 1-分解性质： 作者将“1-分解性质”定义为：存在单个向量丛 $E$，使得每个有限型拟相干层都是 $E$ 的有限直和的商。论文证明了存在严格生成元 $G$ 蕴含 $X$ 满足此性质。
6. 几何特征化： 最后，作者应用了 [DHM20, Proposition 3.4] 中的结果，该结果指出对于具有充足线丛族的方案，1-分解性质等价于该方案是拟仿射的。

核心贡献与结果
本文的核心结果是定理 1.1（重述为定理 3.9）：

令 $X$ 为拟紧拟分离方案。则 $X$ 是拟仿射的，当且仅当它拥有充足的线丛族，且连通半部分 $\text{QCoh}(X)_{\ge 0}$ 由一个连通完美对象紧致生成。

支持该结论的关键技术引理包括：

• 引理 3.6： 确立了若 $G$ 是严格紧致生成元，则相关的向量丛 $E_G$ 同时生成该 $t$-结构的连通半部分和核。
• 引理 3.7： 证明了此类生成元的存在迫使方案满足 1-分解性质。
• 推论 3.8： 提供了该定理适用的特定实例，表明某些诺特型正规方案（例如 J-2 或 Q-factorial 型）若拥有严格紧致生成元，则必为拟仿射。

意义与主张
本文声称提供了一个精确的几何特征，用以判定 $\text{QCoh}(X)$ 上的标准 $t$-结构何时是单紧致生成的。作者指出，这一结果与近期的非存在性结果相兼容；例如，它解释了为什么复数域上的光滑射影曲线（并非拟仿射）不具备单紧致生成的标准连通半部分，这一事实此前已通过 [BDH+25] 中的 Harder-Narasimhan 过滤得到证实。

作者将此称为一个“可怕的发现”，因为它揭示了一个严格的限制：在拥有充足线丛族的假设下，标准 $t$-结构仅在拟仿射情形下才由一个完美对象单紧致生成。作者最后提出了一个开放性问题：是否存在既非拟仿射、却仍拥有单紧致连通半部分的拟紧拟分离方案？这暗示了“充足线丛族”的假设是当前特征化描述的一个关键边界。

惯例与范围
本研究严格运行在导出代数几何与 $\infty$-范畴的领域内。它假设 $X$ 是拟紧且拟分离的。本文并未提出新的实验性应用或未来的研究方向，除了关于“充足线丛族”假设必要性的特定开放问题。文中对作者已故叔父的纪念以及对 Josef Albers 的致敬被视为个人与艺术元素，并不影响技术内容。