[论文解读] $t$-Structures on stable derivators and Grothendieck hearts

Manuel Saorı́n, Jan Šťovíček+1 more|arXiv (Cornell University)|Aug 24, 2017

Homotopy and Cohomology in Algebraic Topology被引用 7

一句话总结

本文提出了一种利用格罗滕迪克心（Grothendieck hearts）在稳定导出范畴上构造 $t$-结构的框架，结合同伦代数与伴随函子。证明了导出范畴中的分裂正合序列对应于涉及左、右伴随函子的自然同构，关键结果包括涉及同伦上积与基变换函子的图表交换性。

ABSTRACT

We prove that given any strong, stable derivator and a $t$-structure on its base triangulated category $\cal D$, the $t$-structure canonically lifts to all the (coherent) diagram categories and each incoherent diagram in the heart uniquely lifts to a coherent one. We use this to show that the $t$-structure being compactly generated implies that the coaisle is closed under directed homotopy colimit which in turns implies that the heart is an (Ab.$5$) Abelian category. If, moreover, $\cal D$ is a well generated algebraic or topological triangulated category, then the heart of any accessibly embedded (in particular, compactly generated) $t$-structure has a generator. As a consequence, it follows that the heart of any compactly generated $t$-structure of a well generated algebraic or topological triangulated category is a Grothendieck category.

研究动机与目标

• 开发一种系统化方法，利用格罗滕迪克心在稳定导出范畴上构造 $t$-结构。
• 阐明余筛（cosieves）与全纯函子在控制导出范畴中精确性时的作用。
• 在导出范畴的背景下，建立涉及导出函子、同伦上积与基变换函子的图表交换性。
• 证明在索引范畴满足特定条件时，对对象的求值会导出分裂正合序列。
• 刻画自然变换 $\epsilon_u$、$\eta_i$ 与 $\gamma_!$ 在导出设定下的行为。

提出的方法

• 利用全纯函子 $i: \texttt{1} \to I$ 的伴随关系 $i_! \dashv i^*$ 分析导出态射空间。
• 应用自然同构 $k^* \epsilon_k \cong \mathrm{id}$（其中 $k \in I \setminus J$）推导分裂正合序列。
• 使用同伦上积函子 $\mathrm{Hocolim}_{u/i}$ 与基变换函子 $\mathrm{pt}_{u/i}^*$，建立不同范畴间态射的关系。
• 依赖由伴随关系与导出范畴公理（Der.4）诱导的可逆自然变换 $\gamma_!$ 与 $\eta_{u/i}$。
• 通过在余积范畴 $u/i$ 中对 $(j,a): j \to i$ 求值，分析态射在对象上的作用。
• 通过伴随关系的自然性与三角恒等式，建立图表的交换性。

实验结果

研究问题

• RQ1 如何利用格罗滕迪克心系统化地在稳定导出范畴上构造 $t$-结构？
• RQ2 在何种条件下，对对象 $k \in I$ 的求值会在 $D(1)$ 中导出分裂正合序列？
• RQ3 自然变换 $\epsilon_u$、$\eta_i$ 与 $\gamma_!$ 在导出态射空间中如何相互作用？
• RQ4 映射 $\mathrm{pt}_{u/i}^*(f) \circ \gamma^*$ 在余积范畴 $u/i$ 中的对象上的精确作用是什么？
• RQ5 涉及 $u_!u^*$、$i_!i^*$ 与同伦上积的图表在何时交换？这对导出函子意味着什么？

主要发现

• 对于 $k \in J$，在 $k$ 处的求值导出分裂正合序列 $0 \to k^*u_!u^*\mathscr{X} \xrightarrow{k^*\epsilon_u} k^*\mathscr{X} \to 0$，其中 $k^*\epsilon_u$ 是同构。
• 对于 $k \in I \setminus J$，序列 $k^*k_!k^*u_!u^*\mathscr{X} \to k^*k_!k^*\mathscr{X} \sqcup k^*u_!u^*\mathscr{X} \to k^*\mathscr{X}$ 是分裂正合的。
• 命题 3.6 中的图表是交换的，所有列均由伴随关系与导出范畴公理诱导的自然同构构成。
• $\mathrm{pt}_{u/i}^*(f) \circ \gamma^*$ 在对象 $(j,a): j \to i$ 上的作用为 $f \circ \mathscr{X}_a: \mathscr{X}_j \to \mathscr{Y}_i$。
• 由于 $\gamma_!$、$\eta_i$ 与 $\eta_{u/i}$ 的自然性，以及恒等式 $\gamma^* = (\gamma_!)^*$，命题 3.7 中的图表是交换的。
• $\mathrm{pt}_{u/i}^* \circ i^* \circ \epsilon_u \circ u_!$ 的复合等于 $\gamma^* \circ \mathrm{pr}_i^*$，从而确认了图表的交换性。