Proxy smallness meets $t$-structures

技术摘要：代理小性与 t-结构

1. 问题与动机
本文探讨了“代理小性”（proxy smallness）的局限性，该概念由 Dwyer、Greenlees 和 Iyengar [DGI06a, DGI06b] 引入，作为三角范畴中紧致性的弱化形式。虽然代理小性成功刻画了局部情形下的局部完全交（LCI）奇点（例如 [Pol19]），并通过张量作用被改进以全局刻画 LCI 概型（[BILP22]），但在通过 t-结构的视角观察时，它在全球化过程中表现不佳。具体而言，代理小性的朴素全局类比在从局部过渡到全局设定时，无法捕捉正确的几何性质。

作者旨在引入一种自然的代理小性改进，使其整合 t-结构与张量作用。核心目标是发展一种“针对 t-结构的代理小性”理论（具体为 t-代理小性和 t-张量 - 代理小性），以提供 LCI 概型的新刻画，并对有界相干层导出范畴 $D^b_{\text{coh}}(X)$ 中的特定子范畴（预象限，preaisles）进行分类。

2. 方法论与框架
该理论在刚性紧致生成张量三角范畴的背景下发展，特别关注诺特概型 $X$ 的 $D_{\text{qc}}(X)$。方法论依赖于三个主要技术支柱：

• 张量作用与预象限：作者利用完美复形范畴 $\text{Perf}(X)$ 对 $D_{\text{qc}}(X)$ 及相关范畴（如内射同伦范畴 $K(\text{Inj}(X))$）的作用。他们定义了 $\otimes$-预象限（在正移位、扩张、直和项以及与 $\text{Perf}_{\leq 0}(X)$ 张量下封闭的子范畴）。
• 重接（Recollements）：Krause 的重接是连接 $D_{\text{qc}}(X)$、$K(\text{Inj}(X))$ 和奇点范畴 $D_{\text{sg}}(X)$ 的关键工具。作者利用该框架来“粘合”t-结构，并分析代理小性等性质在这些范畴间如何表现。
• 伪相干生成：通过研究由伪相干复形生成的象限（aisles），本文将仿射情形的结果推广到任意诺特概型。一个关键的技术结果（定理 3.5）确立了由伪相干复形生成的 $\otimes$-象限是紧致生成的，从而推广了 [ATJLS10]。

3. 关键定义与贡献

• t-代理小性：对象 $P$ 被称为 t-代理小，如果由 $P$ 生成的完备预象限 $\langle P \rangle^{(-\infty, 0]}$ 是紧致生成的，且其紧致对象位于由 $P$ 的紧致对象生成的预象限内。这将“构建”过程限制在正移位和扩张上，而不同于允许任意三角运算的经典代理小性。
• t-张量 - 代理小性：这将概念扩展至存在张量作用的情形。如果一个对象生成的 $\otimes$-预象限满足 t-代理小条件，则该对象为 t-张量 - 代理小。
• 结构刻画（定理 4.7）：作者通过重接刻画了 t-代理小对象。对象 $P$ 是 t-代理小的，当且仅当：
  1. 预象限 $\langle P \rangle^{(-\infty, 0]}$ 是紧致生成的。
  2. 涉及导出 Hom 和张量积的特定自函子保持小余积。
  3. $P$ 的 dg-自同态代数的标准 t-结构沿相关重接进行粘合。
• 与经典代理小性的区别：本文证明了 t-代理小性是比经典代理小性更严格的条件。例 4.11 在 $D^b_{\text{coh}}(R)$ 中构造了一个对象（其中 $R$ 是特定的局部阿廷环），该对象是代理小但不是 t-代理小。这依赖于 [JŞ04] 和 [GP90] 中关于 Eisenbud 和 Auslander 猜想的模论反例。

4. 主要结果

• LCI 概型的刻画（命题 1.2）：本文提供了局部完全交概型的新刻画。对于诺特概型 $X$，以下条件等价：
  1. $X$ 局部为完全交。
  2. $D^b_{\text{coh}}(X)$ 中的每个对象都是 $\otimes$-代理小。
  3. $D^b_{\text{coh}}(X)$ 中的每个对象都是 t-张量 - 代理小。
     新颖之处在于条件 (3)，它提供了现有刻画的 t-结构改进。证明利用了通过引理 6.8 建立的局部到全局性质，表明属于 $K(\text{Inj}(X))$ 上紧致生成象限的成员资格是一个茎局部条件。
• 预象限的分类（定理 1.1 和定理 5.4）：作者建立了一个从 $D^b_{\text{coh}}(X)$ 的 $\otimes$-悬垂子范畴（由 t-张量 - 代理小对象生成）到以下笛卡尔积的单射 $\Theta$：
  • 奇点范畴 $D_{\text{sg}}(X)$ 的 $\star$-悬垂子范畴。
  • $X$ 上的 Thomason 滤过。
    该映射由 $A \mapsto (\langle \pi(A) \rangle^{(-\infty, 0]}, \phi_A)$ 给出，其中 $\pi$ 是 Verdier 局部化，$\phi_A$ 是 $D_{\text{qc}}(X)$ 中生成象限关联的 Thomason 滤过。
• 特定情形下的显式分类：
  • 超曲面奇点（定理 1.3）：如果 $X$ 仅具有超曲面奇点，则 $\Theta$ 成为 $D^b_{\text{coh}}(X)$ 的 $\otimes$-悬垂子范畴与对 $(W, \phi)$ 之间的双射，其中 $W$ 是奇点闭子集，$\phi$ 是满足特定包含条件的 Thomason 滤过。
  • 截面零点（定理 1.5）：对于作为正则概型上向量丛截面的零点出现的概型 $X$（满足分解性质），分类被细化为涉及相关超曲面概型 $Y$ 的奇点闭子集。该结果为 Takahashi 关于包含结构层悬垂子范畴的分类 [Tak25] 提供了非仿射推广。

5. 意义与主张
本文声称提供了一种对 t-结构敏感的代理小性的“自然改进”。其意义体现在两方面：

1. 几何刻画：它提供了一个新的 t-结构判据来识别局部完全交概型，将先前的结果升级以处理非分离情形，并提供了一个更稳健的局部到全局原理。
2. 分类理论：它得出了特定类概型（超曲面和零点）上 $D^b_{\text{coh}}(X)$ 的 $\otimes$-预象限的拓扑分类。该分类将概型的几何（通过 Thomason 滤过）及其奇点（通过奇点范畴）与其导出范畴的结构联系起来。

作者强调，他们的方法独立于 Takahashi 近期工作 [Tak25] 中使用的方法，提供了替代证明并推广到非仿射设定。此外，反例的构造（例 4.11）突显了经典小性与 t-结构小性概念之间的微妙差异，利用了交换代数中关于非 LCI 环上模行为的深刻结果。