[论文解读] Addendum to 'Direct limits in the heart of a t-structure: The case of a torsion pair'

Carlos E. Parra, Manuel Saorı́n|arXiv (Cornell University)|Sep 1, 2015

Algebraic structures and combinatorial models参考文献 4被引用 6

一句话总结

该论文证明了，在格罗滕迪克范畴中，由一个扭对（torsion pair）导出的哈帕尔-雷滕-索恩斯坦 t-结构的中心（heart）是格罗滕迪克范畴，当且仅当挠自由类（torsionfree class）在取直和极限下封闭。证明依赖于将中心中的对象表示为在 -1 和 0 度集中、且具有内射分量的复形，并证明从这类复形出发的同调函子（hom-functor）保持直和极限，当且仅当挠自由类是极限封闭的。

ABSTRACT

Let $\mathcal{G}$ be a Grothendieck category, let $\mathbf{t}=(\mathcal{T},\mathcal{F})$ be a torsion pair in $\mathcal{G}$ and let $(\mathcal{U}_\mathbf{t},\mathcal{W}_\mathbf{t})$ be the associated Happel-Reiten-Smal$ø$ t-structure in the derived category $\mathcal{D}(\mathcal{G})$. We prove that the heart of this t-structure is a Grothendieck category if, and only if, the torsionfree class $\mathcal{F}$ is closed under taking direct limits in $\mathcal{G}$.

研究动机与目标

• 为解决文献 [7] 中的问题 4.11，该问题询问：挠自由类在直和极限下封闭是否意味着中心是格罗滕迪克范畴？
• 完成科普利、格雷戈里奥、曼特塞和托诺洛早期工作中启动的特征刻画。
• 为格罗滕迪克范畴中由扭对导出的 t-结构的中心成为格罗滕迪克范畴，建立必要且充分条件。
• 为导出范畴理论中长期悬而未决的开放问题提供最终答案，即关于 t-结构中心的同调性质。

提出的方法

• 将中心中的每个对象表示为在 -1 和 0 度集中、且 -1 度分量为格罗滕迪克范畴中内射对象的复形。
• 利用中心中任意对象都与一个内射复形 quasi-isomorphic 的事实，并通过智能截断（intelligent truncation）获得一个具有内射 -1 度分量的代表复形。
• 通过超限归纳法在同伦范畴中构造此类复形的直系统，确保其与导出范畴中原始直系统相容。
• 证明对于此类内射表示的复形，从同伦范畴到导出范畴的典范同态（canonical map）是同构。
• 证明函子 $ H^{-1} $（将每个复形映射到其 -1 度上同调）保持直和极限，当且仅当挠自由类 $ \mathcal{F} $ 在直和极限下封闭。
• 利用中心中直和极限与复形范畴 $ \mathcal{C}(\mathcal{G}) $ 中直和极限之间的同构，推导出 $ H^{-1} $ 保持直和极限当且仅当 $ \mathcal{F} $ 是极限封闭的。

实验结果

研究问题

• RQ1 挠自由类在直和极限下封闭是否意味着相关 t-结构的中心是格罗滕迪克范畴？
• RQ2 文献 [7] 中定理 4.8 的逆命题是否成立？即，如果中心是格罗滕迪克范畴，是否必须有挠自由类在直和极限下封闭？
• RQ3 哈帕尔-雷滕-索恩斯坦 t-结构的中心是否可能成为格罗滕迪克范畴，而挠自由类在直和极限下不封闭？
• RQ4 扭对的何种条件可确保中心从基范畴继承格罗滕迪克性质？

主要发现

• 在格罗滕迪克范畴 $ \mathcal{G} $ 中，由扭对 $ \mathbf{t} = (\mathcal{T}, \mathcal{F}) $ 导出的 t-结构的中心 $ \mathcal{H}_{\mathbf{t}} $ 是格罗滕迪克范畴，当且仅当挠自由类 $ \mathcal{F} $ 在 $ \mathcal{G} $ 中对取直和极限封闭。
• 当 $ N $ 是在 -1 和 0 度集中、且 $ N^{-1} $ 在 $ \mathcal{G} $ 中为内射时，典范同态 $ \text{Hom}_{\mathcal{K}(\mathcal{G})}(M,N) \to \text{Hom}_{\mathcal{D}(\mathcal{G})}(M,N) $ 是同构，这使得能够对中心中的态射进行有效控制。
• 函子 $ H^{-1}: \mathcal{H}_{\mathbf{t}} \to \mathcal{G} $ 保持直和极限，当且仅当 $ \mathcal{F} $ 在直和极限下封闭，这是确立中心格罗滕迪克性质的关键。
• 中心中的直系统可提升为复形范畴 $ \mathcal{C}(\mathcal{G}) $ 中具有内射 -1 度分量的直系统，同时保持导出范畴的结构。
• 中心中的直和极限同构于复形范畴 $ \mathcal{C}(\mathcal{G}) $ 中底层复形的直和极限，且该同构与 $ H^{-1} $ 函子可交换。
• 该证明确认了 $ \mathcal{F} $ 在直和极限下封闭的条件，对 $ \mathcal{H}_{\mathbf{t}} $ 成为格罗滕迪克范畴而言，既是必要也是充分条件，从而完全解决了 [7] 中的开放问题。