Intervals of $s$-torsion pairs in extriangulated categories with negative first extensions

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.Recently, inspired by τ -tilting theory [AIR], the study of the poset structures of torsion pairs in abelian categories has been developed by various authors [IRTT, BCZ, DIRRT, AP]. Let t 1 := (T 1 , F 1 ) and t 2 := (T 2 , F 2 ) be torsion pairs in an abelian category A. We define t 1 ≤ t 2 if it satisfies T 1 ⊆ T 2 , and in this case, [t 1 , t 2 ] denotes the interval in the poset of torsion pairs in A consisting of t with t 1 ≤ t ≤ t 2 . We call the subcategorywhich tells us "the difference" between t 1 and t 2 . As for this heart, the following isomorphism was established in [AP] (when the heart is a wide subcategory) and [T].Theorem 1.2. [T, Theorem A] Let A be an abelian category and [t 1 , t 2 ] an interval in the poset of torsion pairs in A. Then there exists a poset isomorphism between [t 1 , t 2 ] and the poset of torsion pairs inThis isomorphism originally appeared in the context of τ -tilting reduction in [Ja], and is a useful tool to study various subcategories of module categories, e.g. [DIRRT, AP, ES].The aim of this paper is to show that two poset isomorphisms in Theorem 1.1 and Theorem 1.2 are consequences of a more general poset isomorphism in extriangulated categories. We

Right triangulated categories: As extriangulated categories, aisles and co-aisles

“…Remark 3.14. The concept of negative (first) extensions of an extriangulated category has been recently introduced and studied [1,21]. For a triangulated category T one may take E −1 (−, ?)…”

“…(b) When R is equipped with a negative first extension structure, E −1 , (see Remark 3.14) a torsion pair (U , V) in R is an s-torsion pair [1] if E −1 (U , V) = 0. In this case the extriangle 5 is essentially unique and assigments…”