A simultaneous generalization of mutation and recollement of cotorsion pairs on a triangulated category (Q722247): Difference between revisions

In [J. Algebra 374, 195--215 (2013; Zbl 1309.18011)], the author introduced twin cotorsion pairs on triangulated categories. In the paper under review, the author introduces the notion of concentric twin cotorsion pair on a triangulated category. This notion contains the notions of t-structure, cluster tilting subcategory, co-t-structure and functorally finite rigid subcategory as example. \par Let $\mathcal{C}$ be a triangulated category with shift functor $[1]$. \par Recall that a pair ($\mathcal{U}, \mathcal{V}$) of full additive subcategories of $\mathcal{C}$ is a cotorsion pair if $$ \mathcal{C}=\mathcal{U}\ast\mathcal{V}[1], \mathrm{Ext}^1(\mathcal{U},\mathcal{V})=0.$$ Two cotorsion pairs ($\mathcal{S},\mathcal{T}$) and ($\mathcal{U},\mathcal{V}$) on $\mathcal{C}$ form a twin cotorsion pair (called TCP for short), if \[ \mathrm{Ext}^1(\mathcal{S},\mathcal{V})=0. \] A TCP $\mathcal{P}=((\mathcal{S},\mathcal{T}), (\mathcal{U},\mathcal{V}))$ on $\mathcal{C}$ is called concentric if \[ \mathcal{S}\cap\mathcal{T}=\mathcal{U}\cap\mathcal{V}. \] \par Let $\mathcal{P}=((\mathcal{S},\mathcal{T}), (\mathcal{U},\mathcal{V}))$ be a concentric TCP. It is proved that the subquotient category called idea quotient \[ \mathcal{T}\cap\mathcal{U}/\mathcal{S}\cap\mathcal{V} \] of $\mathcal{C}$ admits a pretriangulated structure. Then this subquotient category becomes triangulated under further conditions. Moreover, there is a bijection between the set of mutable cotorsion pairs on $\mathcal{C}$ with respect to $\mathcal{P}$ and the set of all cotorsion pairs on the subquotient triangulated category. Consequently, pulling back the shift $\mathbb{Z}$-action on the latter set yields a mutation of the mutable cotorsion pairs on $\mathcal{C}$. \par There are two two particular cases to understand the bijection. \par In the heart-equivalent case, i.e., the hearts of $(\mathcal{S},\mathcal{T})$ and $(\mathcal{U},\mathcal{V})$ are equivalent, the triangulation on the subquotient category $\mathcal{T}\cap\mathcal{U}/\mathcal{S}\cap\mathcal{V}$ is the same as \textit{O. Iyama} and \textit{Y. Yoshino} [Invent. Math. 172, No. 1, 117--168 (2008; Zbl 1140.18007)], and the bijection and mutation of cotorsion pairs agree with Zhou-Zhu's construction [\textit{Y. Zhou} and \textit{B. Zhu}, Algebr. Represent. Theory 21, No. 4, 817--832 (2018; Zbl 1405.18027)]. \par In the Hovey twin cotorsion pair case, i.e., \[ \mathcal{S}\ast\mathcal{V}[1]=\mathcal{S}[-1]\ast\mathcal{V}:=\mathcal{N}, \] the category $\mathcal{N}$ is a thick triangulated subcategory of $\mathcal{C}$ and the subquotient category $ \mathcal{T}\cap\mathcal{U}/\mathcal{S}\cap\mathcal{V}$ is equivalent to the Verdier quotient $\mathcal{C}/\mathcal{N}$.