[论文解读] Strong generators in $D^{perf}(X)$ and $D^b_{coh}(X)$

Amnon Neeman|arXiv (Cornell University)|Mar 13, 2017

Algebraic structures and combinatorial models参考文献 25被引用 7

一句话总结

本文证明了代数几何中的两个主要猜想：首先，若一个拟紧、分离的概形 $X$ 允许由有限多个仿射开集 $\mathrm{Spec}(R_i)$ 覆盖，且每个 $R_i$ 具有有限整体维数，则 $X$ 上的完美复形的导出范畴 $\mathbf{D}^{\mathrm{perf}}(X)$ 是强生成的；其次，当 $X$ 是诺特概形，且在维数 $\leq 2$ 的优良概形上有限型时，其有界凝聚层的导出范畴 $\mathbf{D}^{b}_{\mathrm{coh}}(X)$ 也是强生成的。证明方法基于对仿射开覆盖中开集数量的归纳法，并依赖于导出范畴中高级同调代数技术，特别是紧致生成元在正向像与拉回下的行为。

ABSTRACT

We characterize the separated schemes for which the derived category of perfect complexes is strongly generated, proving a conjecture of Bondal and Van den Bergh. And we also prove the strong generation of the bounded derived category of coherent sheaves under mild conditions. In the proof we introduce techniques that have shown themselves to have powerful consequences in other contexts. In this final, pre-publication version of the manuscript there is a (very brief) survey of subsequent, followup articles.

研究动机与目标

• 解决邦达尔与范登伯格关于拟紧、分离概形 $X$ 上 $\mathbf{D}^{\mathrm{perf}}(X)$ 强生成性的猜想，其条件为存在由有限整体维数环构成的仿射覆盖。
• 在不假设相等特征的前提下，建立诺特概形 $X$（在维数 $\leq 2$ 的优良概形上有限型）的 $\mathbf{D}^{b}_{\mathrm{coh}}(X)$ 的强生成性。
• 发展一种在概形的导出范畴中利用紧致生成元与仿射覆盖归纳法证明强生成性的通用方法。
• 基于正向像的有界 $\mathrm{Tor}$-幅度，提供一种关于拟紧、拟分离概形间分离态射的有限 $\mathrm{Tor}$-维数准则的新证明。

提出的方法

• 基于 $X$ 的覆盖中仿射开子集数量的归纳法，假设每个 $\mathrm{Spec}(R_i)$ 具有有限整体维数。
• 利用 $\mathbf{D}_{\mathrm{qc}}(X)$ 中的紧致生成元 $G$ 及其在正向像 $\mathbf{R}j_*G$ 下的像，以控制更大范畴中的生成。
• 应用涉及三角形 $\mathbf{R}j_{1*}F \to F \to \mathbf{R}j_{1*}j^*F \oplus \mathbf{R}j_{2*}j^*F$ 的论证，以分解 $\mathbf{D}_{\mathrm{qc}}(X)$ 中的对象。
• 使用子范畴 $\mathrm{Coprod}_K(G[-\infty,\infty])$ 来度量从紧致生成元 $G$ 生成对象所需的步骤数。
• 利用 $\mathbf{R}h'_*Q'$ 属于 $\mathrm{Coprod}_K(G'[¯{A},¯{B}])$ 的事实（对某个紧致生成元 $G'$），并通过基变换将此性质提升至 $X$。
• 通过 $\mathrm{Tor}$-幅度的有界性与紧致性，证明 $\mathbf{R}j_*G$ 属于 $\mathrm{Coprod}_N(G[-\infty,\infty])$，其中 $N$ 为某常数。

实验结果

研究问题

• RQ1 在何种条件下，拟紧、分离概形 $X$ 上的完美复形导出范畴 $\mathbf{D}^{\mathrm{perf}}(X)$ 是强生成的？
• RQ2 能否在不假设相等特征的前提下，为在维数 $\leq 2$ 的优良概形上有限型的诺特概形 $X$ 建立 $\mathbf{D}^{b}_{\mathrm{coh}}(X)$ 的强生成性？
• RQ3 何种条件可确保一个拟紧、拟分离概形间的分离态射 $f: X \to Y$ 具有有限 $\mathrm{Tor}$-维数？
• RQ4 如何利用 $\mathbf{D}_{\mathrm{qc}}(X)$ 中的紧致生成元，通过归纳法生成整个导出范畴？
• RQ5 有界 $\mathrm{Tor}$-幅度的 $\mathbf{R}f_*\mathcal{F}$ 与 $f$ 的有限 $\mathrm{Tor}$-维数之间的确切关系为何？

主要发现

• 当 $X$ 为拟紧、分离概形，且允许由有限多个仿射开集 $\mathrm{Spec}(R_i)$ 覆盖，且每个 $R_i$ 具有有限整体维数时，其完美复形的导出范畴 $\mathbf{D}^{\mathrm{perf}}(X)$ 是强生成的。
• 对于在维数 $\leq 2$ 的优良概形上有限型的诺特概形 $X$，其有界凝聚层的导出范畴 $\mathbf{D}^{b}_{\mathrm{coh}}(X)$ 是强生成的，即使不假设相等特征。
• 该方法提供了一种新证明：若 $f: X \to Y$ 是拟紧、拟分离概形间的分离态射，且对所有完美复形 $\mathcal{F}$，$\mathbf{R}f_*\mathcal{F}$ 具有有界下界 $\mathrm{Tor}$-幅度，则 $f$ 具有有限 $\mathrm{Tor}$-维数。
• 导出范畴 $\mathbf{D}_{\mathrm{qc}}(X)$ 的强生成性由满足 $\mathbf{D}_{\mathrm{qc}}(X) = \mathrm{Coprod}_K(G[-\infty,\infty])$ 的步骤数 $K$ 控制，且该 $K$ 受归纳与正向像参数乘积的有界性约束。
• 证明建立了 $\mathbf{R}j_{1*}G_1$ 与 $\mathbf{R}j_{2*}G_2$ 属于 $\mathrm{Coprod}_N(G[-\infty,\infty])$（对某 $N$），从而实现对生成过程的归纳控制。
• 关键的技术步骤是证明 $\mathbf{R}h'_*Q'$ 属于 $\mathrm{Coprod}_K(G'[¯{A},¯{B}])$，这使得可借助基变换从 $Y$ 将生成性提升至 $X$。