[论文解读] Proper local complete intersection morphisms preserve perfect complexes

Bertrand Toën|arXiv (Cornell University)|Oct 10, 2012

Algebraic structures and combinatorial models参考文献 9被引用 23

一句话总结

本文利用导出代数几何，通过将问题约化到诺特情形，提供了一个关于概形的恰当局部完整交态射保持完美复形的新证明。通过在诺特基底上构造一个导出概形模型，作者利用导出基变换和连续性性质，在无需投影性或诺特性假设的前提下，确立了完美复形的保持性。

ABSTRACT

Let $f : X \longrightarrow Y$ be a proper and local complete intersection morphism of schemes. We prove that $\mathbb{R}f_{*}$ preserves perfect complexes, without any projectivity or noetherian assumptions. This provides a different proof of a theorem by Neeman and Lipman based on techniques from derived algebraic geometry to proceed a reduction to the noetherian case.

研究动机与目标

• 为Neeman与Lipman关于恰当完美态射下完美复形保持性的定理提供一个替代证明。
• 将结果推广至不假设诺特性或投影性的恰当局部完整交（lci）态射。
• 展示导出代数几何使得即使经典下降失效，也能将问题约化到诺特情形。
• 证明在诺特环上，导出lci概形的导出范畴在恰当上推向下保持完美复形。
• 建立导出代数几何中的基础工具，特别是基变换与连续性，以供代数K理论与对偶理论使用。

提出的方法

• 利用任何概形均可表示为诺特环的滤子余极限这一事实，将问题约化到诺特情形。
• 在诺特基底 $A_i$ 上构造一个导出概形 $X_i$，使其在导出意义下为恰当且lci，即使经典概形 $h^0(X_i)$ 并非lci。
• 应用导出范畴的连续性性质，将 $X$ 上的完美复形 $E$ 降为足够大的 $i$ 下 $X_i$ 上的完美复形 $E_i$。
• 利用导出代数几何中的基变换性质——该性质在无平坦性假设下依然成立——将 $X_i$ 上的导出上推与 $X$ 上的导出上推关联起来。
• 利用导出概形上余切复形幅度为 $[-1,0]$ 的局部结构定理，表明更高同伦层 $h^i(X)$ 在截断 $h^0(X)$ 上是凝聚的，且仅对有限多个 $i$ 非零。
• 应用Grothendieck的有限性定理与分解法，证明完美复形的导出上推是有界凝聚复形，并利用纤维上的完美性得出有限Tor维数。

实验结果

研究问题

• RQ1 在不假设投影性或诺特性假设的前提下，能否证明恰当态射下完美复形的保持性？
• RQ2 当经典概形无法作为lci态射下降时，导出代数几何时技术是否仍能实现对诺特情形的约化？
• RQ3 在缺乏平坦性的情况下，导出基变换性质是否能比经典基变换得出更强的结论？
• RQ4 在诺特环上，导出lci概形的导出范畴是否足够良好，以确保完美复形的导出上推仍为完美复形？
• RQ5 在缺乏全局因子分解的情况下，能否通过导出下降与连续性来接近恰当态射的GRR猜想？

主要发现

• 对于任意概形的恰当局部完整交态射 $f: X \to Y$，导出直接像函子 $\mathbb{R}f_*$ 保持完美复形，即使在无诺特性或投影性假设下亦成立。
• 关键技术进展在于：任何恰当lci态射均可下拉为诺特基环上导出概形的恰当lci态射。
• 该证明依赖于导出范畴的连续性与导出基变换性质，后者在导出设定下即使无平坦性假设也成立。
• 导出lci概形的更高同伦层 $h^i(X)$ 在截断 $h^0(X)$ 上是凝聚的，且仅对有限多个 $i$ 非零。
• 对于 $X$ 上任意完美复形 $E$，其导出上推 $\mathbb{R}f_*E$ 是 $Y$ 上的有界凝聚复形，且在任意闭点处的纤维为 $k(s)$-向量空间上的完美复形。
• 因此，导出上推具有有限Tor维数，故为完美复形，从而确立了主要结果。