[论文解读] Products, Homotopy Limits and Applications

Amit Hogadi, Chenyang Xu|ArXiv.org|Feb 23, 2009

Algebraic Geometry and Number Theory参考文献 6被引用 5

一句话总结

该论文在满足更高阶导出函子的积（AB4*-n）消失以及同伦极限技术的条件下，建立了德利涅-穆尔代夫堆上拟 coherent 层的导出范畴与笛卡尔拟 coherent 模的导出范畴之间的等价性。关键结果表明，当对角态射为仿射且 QC(X) 满足 AB4*-n 时，两个导出范畴之间的自然函子构成等价关系。

ABSTRACT

In this note, we discuss the derived functors of infinite products and homotopy limits. $QC(X)$, the category of quasi-coherent sheaves on a Deligne-Mumford stack $X$, usually has the property that the derived functors of product vanish after a finite stage. We use this fact to study the convergence of certain homotopy limits and apply it compare the derived category of $QC(X)$ with certain other closely related triangulated categories.

研究动机与目标

• 建立德利涅-穆尔代夫堆上拟 coherent 层的导出范畴与笛卡尔模的导出范畴等价的条件。
• 通过引入 AB4*-n 条件，将同伦极限构造在无界导出范畴中的应用从 AB4* 范畴扩展至更广范围。
• 定义并利用强塞尔子范畴的概念，以比较层与模的导出范畴。
• 证明对于具有仿射对角态射且 QC(X) 满足 AB4*-n 的代数堆，导出范畴 D(X)、D_qc(O_X) 与 D^cart_qc(O_X) 相互等价。
• 在适当的有限性与模空间条件下，为德利涅-穆尔代夫堆的导出范畴的紧生成性提供一个框架。

提出的方法

• 引入 AB4*-n 条件：当 i > n 时，第 i 个积的导出函子消失，这是 AB4* 的推广。
• 应用同伦极限构造 N → hlim N≥−i，当 AB4*-n 成立时，可将无界复形约化为下有界的复形。
• 将强塞尔子范畴定义为全子范畴，其在扩张、核与余核下封闭，并存在包含映射的右伴随。
• 利用 K-内射化解的存在性以及导出函子 RF: D(C) → D_C(M) 的构造，比较子范畴与环境范畴的导出范畴。
• 应用比较定理：若 F: C → M 是一个具有右伴随的强塞尔子范畴，且两个范畴均满足 AB4*-n，则 RF: D(C) → D_C(M) 是一个等价。
• 使用 Leray 谱序列与上同调消失性构造反例，以说明仿射对角条件的必要性。

实验结果

研究问题

• RQ1 在何种条件下，德利涅-穆尔代夫堆 X 的导出范畴 D(X) 与笛卡尔拟 coherent 模的导出范畴等价？
• RQ2 当 AB4* 不成立时，同伦极限构造 N → hlim N≥−i 是否可用于将无界复形的问题约化为下有界复形？
• RQ3 AB4*-n 条件在控制 QC(X) 中无限积的导出函子方面起什么作用？
• RQ4 为何仿射对角条件对导出范畴等价性是必要的？若该条件被移除，会发生什么？
• RQ5 强塞尔子范畴的概念在代数堆背景下如何促进导出范畴之间的比较？

主要发现

• 对于一个关于诺特概化的有限型分离德利涅-穆尔代夫堆 X，若其具有概形态的粗模空间，并存在从概形的有限 étale 覆盖，则 QC(X) 满足 AB4*-n（对某个 n ≥ 0）。
• 当 QC(X) 满足 AB4*-n 时，自然映射 N → hlim N≥−i 是 D(QC(X)) 中的拟同构，从而可将问题约化为下有界复形。
• 若对角态射 Δ_X/ℤ 为仿射且 QC(X) 满足 AB4*-n，则通过自然等价关系，有 D(X) ≅ D_qc(O_X) ≅ D^cart_qc(O_X)。
• 比较定理表明：若 F: C → M 是一个具有右伴随的强塞尔子范畴，且两个范畴均满足 AB4*-n，则导出函子 RF: D(C) → D_C(M) 是一个等价。
• 对商堆 [Spec(k)/A]（其中 A 是正维数的阿贝尔簇）的示例表明，仿射对角条件是必要的：Ext^2_M(O_X,O_X) ≠ 0，但 Ext^2_C(O_X,O_X) = 0，因此 C 不是 M 的强塞尔子范畴。
• 本文证实，在所述条件下，德利涅-穆尔代夫堆的导出范畴是紧生成的，支持了阿马伦杜·克里希纳的猜想。