[论文解读] Intervals of $s$-torsion pairs in extriangulated categories with negative first extensions

Takahide Adachi, Haruhisa Enomoto+1 more|arXiv (Cornell University)|Mar 17, 2021

Algebraic structures and combinatorial models参考文献 17被引用 5

一句话总结

本文在具有负一阶扩张的外三角范畴中引入了 $s$-扭序对，推广了三角范畴中的 $t$-结构与同调范畴中的扭序对。它建立了 $s$-扭序对的区间与它们对应心范畴中 $s$-扭序对之间的偏序集同构，通过范畴化的心构造方法，统一了 HRS-tilt 框架与 $\tau$-tilting 降低框架。

ABSTRACT

As a general framework for the studies of $t$-structures on triangulated categories and torsion pairs in abelian categories, we introduce the notions of extriangulated categories with negative first extensions and $s$-torsion pairs. We define a heart of an interval in the poset of $s$-torsion pairs, which naturally becomes an extriangulated category with a negative first extension. This notion generalizes hearts of $t$-structures on triangulated categories and hearts of twin torsion pairs in abelian categories. In this paper, we show that an interval in the poset of $s$-torsion pairs is bijectively associated with $s$-torsion pairs in the corresponding heart. This bijection unifies two well-known bijections: One is the bijection induced by HRS-tilt of $t$-structures on triangulated categories. The other is Asai--Pfeifer's and Tattar's bijections for torsion pairs in an abelian category, which is related to $τ$-tilting reduction and brick labeling.

研究动机与目标

• 为在三角范畴中的 $t$-结构与在同调范畴中的扭序对提供一个统一的范畴框架，借助外三角范畴。
• 在具有负一阶扩张的外三角范畴中定义并研究 $s$-扭序对，推广 $t$-结构与扭序对。
• 将 $s$-扭序对区间的心定义为具有负一阶扩张的外三角范畴。
• 建立 $s$-扭序对区间与它们心范畴中 $s$-扭序对之间的偏序集同构，统一两种已知的双射关系。

提出的方法

• 在具有负一阶扩张的外三角范畴中引入负一阶扩张 $\mathbb{E}^{-1}$ 的概念，推广三角范畴中 $t$-结构的负一阶扩张为零的性质。
• 将 $s$-扭序对定义为满足 $\mathbb{E}^{-1}(\mathcal{T},\mathcal{F}) = 0$ 的扭序对。
• 构造偏序集中的 $s$-扭序对区间 $[t_1,t_2]$ 的心 $\mathcal{H}_{[t_1,t_2]} = \mathcal{T}_2 \cap \mathcal{F}_1$。
• 证明心自然继承具有负一阶扩张的外三角范畴结构。
• 证明区间 $[t_1,t_2]$ 与心 $\mathcal{H}_{[t_1,t_2]}$ 中 $s$-扭序对的偏序集同构。
• 将一般结果应用于恢复已知双射：三角范畴中 $t$-结构与扭序对之间的 HRS-tilt 双射，以及阿萨伊–普菲弗与塔塔尔在同调范畴中扭序对的双射。

实验结果

研究问题

• RQ1 如何在统一的范畴框架下统一三角范畴中的 $t$-结构与同调范畴中的扭序对？
• RQ2 在具有负一阶扩张的外三角范畴中，$t$-结构与扭序对的适当推广是什么？
• RQ3 $s$-扭序对区间的心作为具有负一阶扩张的范畴，其行为如何？
• RQ4 是否存在 $s$-扭序对区间与它们心范畴中 $s$-扭序对之间的自然偏序集同构？
• RQ5 HRS-tilt 与 $\tau$-tilting 降低双射是否可作为单一一般构造的特例被恢复？

主要发现

• 在具有负一阶扩张的外三角范畴中，$s$-扭序对偏序集中的区间 $[t_1,t_2]$ 与该区间心范畴 $\mathcal{H}_{[t_1,t_2]}$ 中 $s$-扭序对的偏序集之间存在偏序集同构。
• 心范畴 $\mathcal{H}_{[t_1,t_2]} = \mathcal{T}_2 \cap \mathcal{F}_1$ 自然继承了具有负一阶扩张的外三角范畴结构。
• 该一般定理在范畴为三角范畴时，作为特例恢复了 HRS-tilt 双射，即 $t$-结构与心范畴中扭序对之间的双射。
• 该一般定理还通过 $\tau$-tilting 降低框架，恢复了阿萨伊–普菲弗与塔塔尔在同调范畴中扭序对的双射。
• 对于有限无环有向图，$s$-扭序对的偏序集对应于后继闭子集，且该同构与图子图的组合结构相容。
• 该同构通过映射 $I \mapsto I \setminus I_1$ 与 $J \mapsto I_1 \cup J$ 显式构造，将区间偏序集与子图偏序集联系起来。