[论文解读] Derived category of filtered objects

Pierre Schapira, Jean-Pierre Schneiders|arXiv (Cornell University)|Jun 6, 2013

Homotopy and Cohomology in Algebraic Topology参考文献 5被引用 5

一句话总结

本文建立了在预序集 Λ 索引的阿贝尔范畴中过滤对象的导出范畴与从 Λ 到该范畴的函子范畴的导出范畴之间的等价性。其关键贡献是通过一个等价的阿贝尔模型替代了过滤模的准阿贝尔范畴，从而简化了在过滤 D-模和过滤环上的层等情境下的同调代数。

ABSTRACT

For an abelian category C and a filtrant preordered set Lambda, we prove that the derived category of the quasi-abelian category of filtered objects in C indexed by Lambda is equivalent to the derived category of the abelian category of functors from Lambda to C. We apply this result to the study of the category of filtered modules over a filtered ring in a tensor category.

研究动机与目标

• 通过用等价的阿贝尔范畴替代准阿贝尔范畴，解决在导出范畴中处理准阿贝尔范畴的技术困难。
• 在预序集 Λ 索引的阿贝尔范畴 C 中的过滤对象范畴与从 Λ 到 C 的函子范畴之间建立导出等价性。
• 将结果应用于张量范畴中过滤环上的过滤模，特别是在复流形上的 D-模情境下。
• 为使用阿贝尔函子范畴的导出范畴研究过滤 D-模提供基础。

提出的方法

• 将 C 中的过滤对象视为函子 M: Λ → C，使得每个 M(λ) 是 colimit lim M 的子对象。
• 利用此类函子的范畴构成阿贝尔范畴，而过滤对象的范畴仅为准阿贝尔范畴的事实。
• 在过滤对象的准阿贝尔范畴的导出范畴与从 Λ 到 C 的函子的阿贝尔范畴的导出范畴之间构造导出等价性。
• 证明该等价性保持导出函子，并在 C 为张量范畴且 Λ 为预序半群时保持张量结构。
• 将结果应用于过滤环与模的层，特别是微分算子层 D_X 及其标准滤过结构。
• 利用该等价性将过滤 D_X-模的导出范畴与 D_X 关联的 Λ-环上的模的导出范畴联系起来。

实验结果

研究问题

• RQ1 能否用等价的阿贝尔范畴的导出范畴替代准阿贝尔范畴中过滤对象的导出范畴？
• RQ2 在张量范畴中，过滤环上的过滤模的导出范畴是否可通过函子范畴获得等价的阿贝尔模型？
• RQ3 过滤 D_X-模的导出范畴与关联 Λ-环上模的导出范畴之间有何关系？
• RQ4 在过滤环设定下，何种条件可确保导出等价性保持张量结构与单位元？
• RQ5 该等价性是否可应用于层论构造，如子解析层与 D-模？

主要发现

• 在预序集 Λ 索引的阿贝尔范畴 C 中，过滤对象的准阿贝尔范畴的导出范畴与从 Λ 到 C 的函子的阿贝尔范畴的导出范畴之间存在等价性。
• 该等价性在 C 允许小的精确滤过列极限的假设下成立，这确保了与滤过结构的兼容性。
• 当 C 为张量范畴且 Λ 为预序半群时，该结果可推广至过滤环 A 及其模，得到与关联 Λ-环 FA 的 D(Mod(FA)) 和 D(Mod(FA)) 之间的等价性。
• 该等价性与有界导出范畴相容：D^*(Mod(FR)) ≅ D^*(Mod(ιFR))，其中 * = ub, b, +, −。
• 该构造适用于复流形上的过滤 D-模，其中 D_X 的标准滤过结构诱导出 Λ = Z 的 Λ-环结构。
• 该结果为通过滤过结构研究子解析层 O_X,sa 的导出范畴提供了框架，如 [GS12] 所述。