[论文解读] Homotopy categories and idempotent completeness, weight structures and weight complex functors

Olaf M. Schnürer|arXiv (Cornell University)|Jul 6, 2011

Algebraic structures and combinatorial models参考文献 15被引用 20

一句话总结

本文证明了任意加法范畴 $\mathcal{A}$ 的同伦范畴 $K(\mathcal{A})$ 的全子范畴 $K(π)^{w\leq n}$, $K(π)^{w\geq n}$, $K(π)^{-}$, 和 $K(π)^{+}$ 均为幂等完备，从而确认 $(K(\mathcal{A})^{w\leq 0}, K(\mathcal{A})^{w\geq 0})$ 构成一个权结构。此外，当三角范畴 $\mathcal{T}$ 上的有界权结构 $w$ 允许存在一个滤化三角增强 $\widetilde{\mathcal{T}}$ 时，本文在 $\widetilde{\mathcal{T}}$ 上引入一个新技术公理，证明了强权复形函子 $\mathcal{T} \to K(\heartsuit(w))^{\operatorname{anti}}$ 的存在性。该结果为通过心的同伦范畴实现权结构提供了基础工具。

ABSTRACT

This article provides some basic results on weight structures, weight complex functors and homotopy categories. We prove that the full subcategories K(A)^{w < n}, K(A)^{w > n}, K(A)^- and K(A)^+ (of objects isomorphic to suitably bounded complexes) of the homotopy category K(A) of an additive category A are idempotent complete, which confirms that (K(A)^{w <= 0}, K(A)^{w >= 0}) is a weight structure on K(A). We discuss weight complex functors and provide full details of an argument sketched by M. Bondarko, which shows that if w is a bounded weight structure on a triangulated category T that has a filtered triangulated enhancement T' then there exists a strong weight complex functor T -> K(heart(w))^{anti}. Surprisingly, in order to carry out the proof, we need to impose an additional axiom on the filtered triangulated category T' which seems to be new.

研究动机与目标

• 证明对于任意加法范畴 $\mathcal{A}$，同伦范畴 $K(\mathcal{A})$ 中的全子范畴 $K(\mathcal{A})^{w\leq n}$, $K(\mathcal{A})^{w\geq n}$, $K(\mathcal{A})^{-}$, 和 $K(\mathcal{A})^{+}$ 的幂等完备性。
• 通过验证定义子范畴的幂等完备性，确认 $(K(\mathcal{A})^{w\leq 0}, K(\mathcal{A})^{w\geq 0})$ 在 $K(\mathcal{A})$ 上构成一个权结构。
• 在新引入的 $\widetilde{\mathcal{T}}$ 上的公理条件下，为具有滤化三角增强 $\widetilde{\mathcal{T}}$ 的三角范畴 $\mathcal{T}$ 上的有界权结构 $w$，完整证明强权复形函子 $\mathcal{T} \to K(\heartsuit(w))^{\operatorname{anti}}$ 的存在性。
• 澄清并补全 M. Bondarko 关于通过滤化增强将弱权复形函子提升为强权复形函子的略图论证。

提出的方法

• 通过 R. W. Thomason 和 P. Balmer–M. Schlichting 的技术，构造性地证明 $K(\mathcal{A})^{w\leq n}$ 和 $K(\mathcal{A})^{w\geq n}$ 的幂等完备性，方法为在同伦范畴中通过投射闭包实现。
• 利用 $K(\mathcal{A})$ 的三角范畴结构及截断三角形的性质，验证其在投射下的闭包性与幂等元的提升能力。
• 为滤化三角范畴 $\widetilde{\mathcal{T}}$ 引入一个新公理，以确保权滤子与同伦群在提升过程中的相容性。
• 应用 $\sigma$-截断三角形与权截断函子 $w_{\leq n}$, $w_{\geq n}$ 对对象进行分解，并在 $\widetilde{\mathcal{T}}$ 中重构权结构。
• 利用分次函子 $\operatorname{gr}^j$ 和权函子 $\omega$ 分析 $\widetilde{\mathcal{T}}$ 中对象的分量，验证其权滤子结构。
• 构造一个 $3\times 3$-三角形图，将权分解从 $\mathcal{T}$ 提升至 $\widetilde{\mathcal{T}}$，确保其与权结构公理相容。

实验结果

研究问题

• RQ1 对于任意加法范畴 $\mathcal{A}$，子范畴 $K(\mathcal{A})^{w\leq n}$ 和 $K(\mathcal{A})^{w\geq n}$ 是否幂等完备？
• RQ2 $K(\mathcal{A})$ 上的标准权结构 $(K(\mathcal{A})^{w\leq 0}, K(\mathcal{A})^{w\geq 0})$ 是否满足权结构的公理？
• RQ3 在何种条件下，弱权复形函子 $\mathcal{T} \to K_{\operatorname{weak}}(\heartsuit(w))$ 可以被提升为强权复形函子 $\mathcal{T} \to K(\heartsuit(w))^{\operatorname{anti}}$？
• RQ4 为确保此类强函子的存在，滤化三角增强 $\widetilde{\mathcal{T}}$ 上需要增加哪些额外公理？
• RQ5 能否将 $\mathcal{T}$ 上的权结构提升为与 $\widetilde{\mathcal{T}}$ 兼容的权结构？

主要发现

• 通过投射闭包与三角范畴技术的构造性证明，确认对于任意加法范畴 $\mathcal{A}$，子范畴 $K(\mathcal{A})^{w\leq n}$ 和 $K(\mathcal{A})^{w\geq n}$ 均为幂等完备。
• 由于其定义子范畴的幂等完备性，标准权结构 $(K(\mathcal{A})^{w\leq 0}, K(\mathcal{A})^{w\geq 0})$ 在 $K(\mathcal{A})$ 上被确认为合法的权结构。
• 对于具有滤化三角增强 $\widetilde{\mathcal{T}}$ 的三角范畴 $\mathcal{T}$ 上的有界权结构 $w$，若 $\widetilde{\mathcal{T}}$ 满足关于权滤子与同伦群相容性的新技术公理，则强权复形函子 $\mathcal{T} \to K(\heartsuit(w))^{\operatorname{anti}}$ 存在。
• 强权复形函子的证明依赖于在 $\widetilde{\mathcal{T}}$ 中构造一个 $3\times 3$-三角形图，并利用 $\sigma$-截断与 $w$-截断函子实现权分解的提升。
• 该构造表明 $\omega(w_{\geq n+1}X) \in \mathcal{T}^{w\geq n+1-b}$ 且 $\omega(w_{\leq n}X) \in \mathcal{T}^{w\leq n-c-2}$，确保与权滤子的相容性。
• 强权复形函子的存在性通过三角范畴中态射扩张的唯一性，以及目标范畴 $K(\heartsuit(w))^{\operatorname{anti}}$ 的反等价性得以确立。