[论文解读] Recollements of extriangulated categories

Li Wang, Jiaqun Wei+1 more|arXiv (Cornell University)|Dec 6, 2020

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

一句话总结

本文引入了扩张范畴的粘合结构作为统一框架，推广了阿贝尔范畴与三角范畴中的粘合结构。它建立了外范畴 $π$ 和 $σ$ 中的余挠对诱导出中间范畴 $β$ 中余挠对的条件，恢复了三角范畴中的已知结果，并揭示了阿贝尔范畴中的新现象。

ABSTRACT

We give a simultaneous generalization of recollements of abelian categories and triangulated categories, which we call recollements of extriangulated categories. For a recollement $(\mathcal{A}$, $\mathcal{B}$, $\mathcal{C})$ of extriangulated categories, we show that cotorsion pairs in $\mathcal{A}$ and $\mathcal{C}$ induce cotorsion pairs in $\mathcal{B}$ under certain conditions. As an application, our main result recovers a result given by Chen for recollements of triangulated categories, and it also shows a new phenomena when it is applied to abelian categories.

研究动机与目标

• 通过在更广泛的扩张范畴背景下引入扩张范畴的粘合结构，统一阿贝尔范畴与三角范畴中粘合结构的概念。
• 研究粘合结构中外范畴中余挠对之间的关系，及其在中间范畴中诱导出余挠对的潜力。
• 推广陈关于三角范畴粘合结构的结果，并揭示其在阿贝尔范畴中应用时出现的新行为。
• 建立充分条件，使得 $π$ 和 $σ$ 中余挠对的粘合对构成 $β$ 中的余挠对。
• 探讨逆问题：在何种条件下，$β$ 中的余挠对可由 $π$ 和 $σ$ 中的余挠对在特定条件下诱导而来。

提出的方法

• 利用 Nakaoka 和 Palu 提出的 WIC 条件，通过相容态射正式引入并形式化扩张范畴中粘合结构的概念。
• 在扩张范畴的框架内，定义左正合与右正合函子、左正合与右正合序列，以及相容态射。
• 通过与粘合结构相关的函子 $i^*$, $i^!$, $j_*$, $j^*$, 和 $j^!$ 实现余挠对的粘合。
• 通过 $τ$-扩张与 $σ$-扩张的消失性来验证中间范畴 $β$ 中余挠对的存在性。
• 将主定理应用于恢复陈关于三角范畴粘合结构的结果，作为特例。
• 在 mod-$A$ 和 mod-$B$ 中提供具体例子，以说明粘合过程并验证主定理的条件。

实验结果

研究问题

• RQ1 在扩张范畴的粘合结构中外范畴 $π$ 和 $σ$ 中的余挠对在何种条件下会诱导出中间范畴 $β$ 中的余挠对？
• RQ2 所提出的扩张范畴中粘合结构的框架如何推广阿贝尔范畴与三角范畴中的现有结果？
• RQ3 逆命题是否成立：在何种条件下，$β$ 中的余挠对可由 $π$ 和 $σ$ 中的余挠对诱导而来？
• RQ4 当主结果应用于阿贝尔范畴时，相较于三角范畴，会涌现出哪些新现象？
• RQ5 函子 $i^*$, $i^!$, $j^*$, 和 $j^!$ 在扩张范畴粘合结构的背景下如何与余挠对相互作用？

主要发现

• 本文证明：若 $(π_1, π_2)$ 和 $(σ_1, σ_2)$ 分别是 $π$ 和 $σ$ 中的余挠对，且函子 $i^*$, $i^!$, $j^*$, 和 $j^!$ 满足特定条件，则粘合对 $(β_1, β_2)$ 构成 $β$ 中的余挠对。
• 主结果作为特例恢复了陈关于三角范畴粘合结构的定理，确认了与先前工作的兼容性。
• 当应用于阿贝尔范畴时，该框架揭示了在三角范畴中不存在的新现象，表明阿贝尔情形具有更丰富的结构。
• 在 mod-$B$ 的例子中表明，并非所有粘合对都是余挠对，因为 $τ$-扩张可能不消失；但特定选择（如 $τ = π(ρ)$, $σ = ρ(ρ)$）确实能产生有效的余挠对。
• 本文证明：若 $i_*i^*τ \to τ$ 和 $j_*j^*σ \to σ$ 分别属于其对应的子范畴，则诱导对 $(i^*τ, i^!σ)$ 和 $(j^*τ, j^*σ)$ 是 $π$ 和 $σ$ 中的余挠对。
• 在例 4.7 中表明，尽管某些粘合对因 $τ$-扩张不消失而无法构成余挠对，但其他如 $(π(ρ), ρ(ρ))$ 等则满足条件，是 mod-$B$ 中的有效余挠对。