[论文解读] Homologically optimal categories of sequences lead to N-complexes

Djalal Mirmohades|arXiv (Cornell University)|May 15, 2014

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

一句话总结

本文引入了在阿贝尔范畴上取值的 $\mathbb{Z}$-指标序列的广义同调函子，其参数为整数 $a$ 和 $b$，并证明当 $N = a + b$ 时，$N$-复形的范畴是同调最优的子范畴：它支持投射化解析，并在该同调下诱导出与任何更大范畴等价的导出范畴。在此情况下，同调退化为 Kapranov 的 $\ker d^a / \operatorname{im} d^b$。

ABSTRACT

We study the category of $\mathbb{Z}$-indexed sequences over an abelian category and certain generalized homology functors for this category of sequences which are indexed by positive integers $a$ and $b$. By looking at the corresponding derived category, we show that there is an "optimal" subcategory of sequences for every choice of our generalized homology functors, namely, the category of $N$-complexes (sequences for which the differential $d$ satisfies $d^N = 0$) where $N = a + b$. In this optimal case we show that our homology functors reduce to Kapranov's homology functors $\operatorname{ker} d^a / \operatorname{im} d^b$.

研究动机与目标

• 识别阿贝尔范畴上序列的最小子范畴，使其在广义同调函子 $\mathrm{H}^{(a,b)} = \ker d^a / \operatorname{im} d^b$ 下支持投射化解析。
• 确定在何种条件下，相对于 $\mathrm{H}^{(a,b)}$ 的导出范畴继承“具有足够多投射对象”的性质。
• 确立 $N$-复形范畴 $\mathrm{Com}_N(\mathcal{A})$（其中 $N = a + b$）在导出范畴等价意义下是最优的。
• 证明 Kapranov 的同调 $\ker d^a / \operatorname{im} d^b$ 自然地作为广义同调在 $N$-复形上的限制而出现。

提出的方法

• 定义 $\mathbb{Z}$-指标序列的范畴 $\mathrm{Seq}(\mathcal{A})$，其微分算子 $d$ 满足 $d^N = 0$，即 $N$-复形。
• 为正整数 $a, b$ 引入广义同调函子 $\mathrm{H}^{(a,b)} = \ker d^a / \left(\ker d^a \cap \operatorname{im} d^b\right)$。
• 构造一个从链复形到 $N$-复形的函子 $\mathrm{R}_N$，使其在广义同调下保持拟同构。
• 证明任何包含 $\mathrm{Com}_N(\mathcal{A})$ 的范畴 $\mathcal{B}$ 的导出范畴 $\mathrm{D}_\mathrm{H}(\mathcal{B})$ 与 $\mathrm{D}_\mathrm{H}(\mathrm{Com}_N(\mathcal{A}))$ 同构。
• 利用 $N$-复形中 $d^N = 0$ 推出 $\operatorname{im} d^b \subset \ker d^a$ 的关系，将 $\mathrm{H}^{(a,b)}$ 简化为 Kapranov 的同调。
• 通过 $\mathrm{R}_N$ 提升经典投射化解析，在 $\mathrm{Com}_N(\mathcal{A})$ 中建立 $\mathrm{H}^{(a,b)}$-投射化解析。

实验结果

研究问题

• RQ1 在阿贝尔范畴上，序列的哪个子范畴是极小的，同时在广义同调 $\mathrm{H}^{(a,b)}$ 下支持投射化解析？
• RQ2 在何种条件下，序列子范畴 $\mathcal{B}$ 的导出范畴 $\mathrm{D}_\mathrm{H}(\mathcal{B})$ 继承“具有足够多投射对象”的性质？
• RQ3 为何 $N = a + b$ 时的范畴 $\mathrm{Com}_N(\mathcal{A})$ 在导出范畴等价意义下是最优的？
• RQ4 广义同调 $\mathrm{H}^{(a,b)}$ 在 $N$-复形设定下如何退化为 Kapranov 的同调 $\ker d^a / \operatorname{im} d^b$？
• RQ5 非投射对象 $X \in \mathcal{A}$ 在 $\mathrm{Com}_N(\mathcal{A})$ 中存在 $\mathrm{H}^{(a,b)}$-投射化解析的最小 $N$ 是多少？

主要发现

• 当 $N = a + b$ 时，范畴 $\mathrm{Com}_N(\mathcal{A})$ 是同调最优的：任何包含它的更大范畴 $\mathcal{B}$ 所诱导的导出范畴 $\mathrm{D}_\mathrm{H}(\mathcal{B})$ 都与 $\mathrm{D}_\mathrm{H}(\mathrm{Com}_N(\mathcal{A}))$ 同构。
• 由于 $d^N = 0$ 推出 $\operatorname{im} d^b \subset \ker d^a$，广义同调 $\mathrm{H}^{(a,b)}$ 在 $\mathrm{Com}_N(\mathcal{A})$ 中退化为 Kapranov 的同调 $\ker d^a / \operatorname{im} d^b$。
• 若 $\mathcal{A}$ 具有足够多投射对象，则通过将经典解祈施加于 $\mathrm{R}_N$，$\mathcal{A}$ 中每个对象在 $\mathrm{Com}_N(\mathcal{A})$ 中都存在 $\mathrm{H}^{(a,b)}$-投射化解析。
• 对于非投射对象 $X \in \mathcal{A}$，其在 $\mathrm{Com}_N(\mathcal{A})$ 中的任何 $\mathrm{H}^{(a,b)}$-投射化解析都不可能属于 $\mathrm{Com}_{N-1}(\mathcal{A})$，从而证明了 $N = a + b$ 的最小性。
• $\mathrm{R}_N$ 保持拟同构：它将 $\mathrm{Com}_2(\mathcal{A})$ 中的普通拟同构映射为 $\mathrm{Com}_N(\mathcal{A})$ 中的 $\mathrm{H}^{(a,b)}$-拟同构。
• $\mathrm{Com}_N(\mathcal{A})$ 的导出范畴在给定广义同调下，是导出等价意义下的最小且最大的此类范畴。