[论文解读] A note on cohomological localization

Henning Krause|ArXiv.org|Nov 4, 2006

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

一句话总结

本文通过上同调函子，建立了一种将局部化函子从阿贝尔范畴提升到三角范畴的方法，确保原始局部化与提升后局部化之间的相容性。关键结果是：给定一个上同调函子 $ H^*: \mathcal{T} \to \mathcal{A} $ 和 $ \mathcal{A} $ 上的一个局部化 $ L $，存在唯一的三角局部化 $ \tilde{L} $ 在 $ \mathcal{T} $ 上，使得 $ H^* \tilde{L} \cong L H^* $，前提是 $ H^* $ 反射同构且 $ L $ 保持正合性。

ABSTRACT

Given a cohomological functor from a triangulated category to an abelian category, we construct under appropriate assumptions for any localization functor of the abelian category a lift to a localization functor of the triangulated category. This discussion of Bousfield localization is combined with a basic introduction to the concept of localization for arbitrary categories.

研究动机与目标

• 提供一个通用框架，通过上同调函子将阿贝尔范畴上的局部化函子提升到三角范畴。
• 澄清并推广先前在稳定同伦论与表示论背景下关于布什代尔局部化的联合研究成果。
• 建立阿贝尔范畴上局部化可被提升至三角范畴的条件，同时保持与上同调函子的相容性。
• 证明提升后的局部化函子 $ \tilde{L} $ 由上同调函子 $ H^* $ 和阿贝尔局部化 $ L $ 唯一确定。

提出的方法

• 将三角范畴 $ \mathcal{T} $ 上的局部化函子定义为复合函子 $ \tilde{L} = G \circ F $，其中 $ F: \mathcal{T} \to \mathcal{D} $ 和 $ G: \mathcal{D} \to \mathcal{T} $ 构成伴随对，且 $ G $ 是全忠实的。
• 利用伴随态射 $ \Psi: \mathrm{id}_{\mathcal{T}} \to \tilde{L} $ 将 $ \tilde{L} $ 特征化为满足 $ \tilde{L} \Psi \cong \Psi \tilde{L} $ 且 $ \tilde{L} \Psi $ 可逆的局部化函子。
• 通过利用 $ H^* $ 是上同调函子且反射同构的事实，构造 $ \mathcal{T} $ 上的提升局部化 $ \tilde{L} $，使得 $ H^* \tilde{L} \cong L H^* $。
• 证明 $ \tilde{L} $-殆零对象恰好对应于 $ H^* $-殆零对象，从而确保 $ \mathcal{T} $ 和 $ \mathcal{A} $ 上局部化的相容性。
• 证明提升函子 $ \tilde{L} $ 在同构意义下唯一，完全由 $ \mathcal{T} $ 中 $ \tilde{L} $-殆零对象的类决定。
• 若 $ C $ 是 $ \mathcal{T} $ 的生成元且 $ L $ 保持小余积，则由于相容性 $ H^* \tilde{L} \cong L H^* $ 及 $ H^* $ 反射同构的性质，$ \tilde{L} $ 也保持小余积。

实验结果

研究问题

• RQ1 在何种条件下，阿贝尔范畴上的局部化函子可通过上同调函子被提升至三角范畴？
• RQ2 如何构造三角范畴 $ \mathcal{T} $ 上的三角局部化函子 $ \tilde{L} $，使得对给定的上同调函子 $ H^*: \mathcal{T} \to \mathcal{A} $ 和 $ \mathcal{A} $ 上的局部化 $ L $，有 $ H^* \tilde{L} \cong L H^* $？
• RQ3 在 $ \mathcal{T} $ 中的 $ \tilde{L} $-殆零对象与在 $ \mathcal{A} $ 中的 $ L $-殆零对象之间存在何种精确关系？
• RQ4 提升后的局部化函子 $ \tilde{L} $ 是否唯一？若是，它如何由 $ H^* $ 和 $ L $ 决定？
• RQ5 在何种条件下，提升后的局部化 $ \tilde{L} $ 保持小余积？

主要发现

• 在 $ H^* $ 反射同构且 $ L $ 是 $ \mathcal{A} $ 上的局部化函子的前提下，存在唯一的三角局部化函子 $ \tilde{L} $ 在 $ \mathcal{T} $ 上，使得 $ H^* \tilde{L} \cong L H^* $。
• 当且仅当 $ H^*X $ 是 $ L $-局部化时，$ \mathcal{T} $ 中的对象 $ X $ 是 $ \tilde{L} $-殆零的，这在两个范畴的殆零对象之间建立了直接对应关系。
• 提升后的局部化 $ \tilde{L} $ 由 $ \tilde{L} $-殆零对象的类决定，因此在同构意义下唯一。
• 自然变换 $ \Psi: \mathrm{id}_{\mathcal{T}} \to \tilde{L} $ 是同构当且仅当 $ H^*X $ 是 $ L $-局部化，前提是 $ H^* $ 反射同构。
• 若 $ C $ 是 $ \mathcal{T} $ 的生成元且 $ L $ 保持小余积，则由于 $ H^* \tilde{L} \cong L H^* $ 及 $ H^* $ 反射同构的性质，$ \tilde{L} $ 也保持小余积。
• 诱导函子 $ J: \mathcal{T}/\ker \tilde{L} \to \mathcal{A}/\ker L $ 通过同构 $ \operatorname{Hom}^*_{{\mathcal{T}}/{\ker \tilde{L}}}(C,X) \cong LH^*X $ 显式描述，表明商结构的相容性。