In our previous article, we constructed an abelian category from any torsion pair on a triangulated category. This generalizes the heart of a $t$-structure and the ideal quotient by a cluster tilting subcategory. Recently, generalizing the quotient by a cluster tilting subcategory, Buan and Marsh showed that an integral preabelian category can be constructed as a quotient, from a rigid object in a triangulated category with some conditions. In this article, by considering a pair of torsion pairs, we make a simultaneous genralization of these two constructions.
Extended heart construction (I): The heart of $n$-cotorsion pairs on triangulated categories
Graduate School of Mathematics, Nagoya University（名古屋大学大学院数学研究科）；Department of Mathematical Sciences, University of the Ryukyus（冲绳大学数学科学系）；Faculty of Engineering Science, Kansai University（关西大学工程科学部）
It was shown recently that the heart of a twin cotorsion pair on an extriangulated category is semi-abelian. In this article, we consider a special kind of hearts of twin cotorsion pairs induced by $d$-cluster tilting subcategories in extriangulated categories. We give a necessary and sufficient condition for such hearts to be abelian. In particular, we also can see that such hearts are hereditary. As an application, this generalizes the work by Liu in an exact case, thereby providing new insights in a triangulated case.
It was shown recently that the heart of a twin cotorsion pair ((S,T),(U,V)) on an extriangulated category is semi-abelian. We provide a sufficient condition for the heart to be integral and another for the heart to be quasi-abelian. This unifies and improves the corresponding results for exact and triangulated categories. Furthermore, if T=U, then we show that the Gabriel-Zisman localisation of the heart at the class of its regular morphisms is equivalent to the heart of the single twin cotorsion pair (S,T). This generalises and improves the known result for triangulated categories, thereby pr…
The stable module category of a selfinjective algebra is triangulated, but need not have any nontrivial $t$-structures, and in particular, full abelian subcategories need not arise as hearts of a $t$-structure. The purpose of this paper is to investigate full abelian subcategories of triangulated categories whose exact structures are related, and more precisely, to explore relations between invariants of finite-dimensional selfinjective algebras and full abelian subcategories of their stable module categories.
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 biject…
We introduce the notion of asymptotic Grothendieck groups for abelian and triangulated categories that are both AB4 and AB4*. We study when the asymptotic Grothendieck group of the heart of a triangulated category with a t-structure is isomorphic to the asymptotic Grothendieck group of the triangulated category itself. We also explain a connexion with the notion of topological Grothendieck group from Achar-Stroppel. Finally, we compute the asymptotic Grothendieck group of some positive (dg-)algebras having a cone bounded, locally finite dimension.
We exploit the equivalence between $t$-structures and normal torsion theories on a stable $\infty$-category to show how a few classical topics in the theory of triangulated categories, i.e., the characterization of bounded $t$-structures in terms of their hearts, their associated cohomology functors, semiorthogonal decompositions, and the theory of tiltings, as well as the more recent notion of Bridgeland's slicings, are all particular instances of a single construction, namely, the tower of a morphism associated with a $J$-slicing of a stable $\infty$-category $\mathcal C$, where $J$ is a tot…
Any Thomason filtration of a commutative ring yields (at least) two t-structures in the derived category of the ring, one of which is compactly generated [Hrb20,HHZ21]. We study the hearts of these two t-structures and prove that they coincide in case of a weakly bounded below filtration. Prompted by [SS20], in which it is proved that the heart of a compactly generated t-structure in a triangulated category with coproduct is a locally finitely presented Grothendieck category, we study the local coherence of the hearts associated with a weakly bounded below Thomason filtration, achieving a usef…
In this article, we show that the localization of an extriangulated category by a multiplicative system satisfying mild assumptions can be equipped with a natural, universal structure of an extriangulated category. This construction unifies the Serre quotient of abelian categories and the Verdier quotient of triangulated categories. Indeed we give such a construction for a bit wider class of morphisms, so that it covers several other localizations appeared in the literature, such as Rump's localization of exact categories by biresolving subcategories, localizations of extriangulated categories…
This paper is devoted to constructing some recollements of additive categories associated to concentric twin cotorsion pairs on an extriangulated category. As an application, this result generalizes the work by Chen-Liu-Yang in a triangulated case. Moreover, it highlights new phenomena when it applied to an exact category. Finally, we give some applications to illustrate our main results. In particular, we obtain the Krause's recollement whose the proofs are both elementary and very general.
A $t$-structure $t=(C_{t\le 0},C_{t\ge 0})$ on a triangulated category $C$ is right adjacent to a weight structure $w=(C_{w\le 0}, C_{w\ge 0})$ if $C_{t\ge 0}=C_{w\ge 0}$; then $t$ can be uniquely recovered from $w$ and vice versa. We prove that if $C$ satisfies the Brown representability property then $t$ that is adjacent to $w$ exists if and only if $w$ is smashing (i.e., coproducts respect weight decompositions); then the heart $Ht$ is the category of those functors $Hw^{op}\to Ab$ that respect products. The dual to this statement is related to results of B. Keller and P. Nicolas. We also p…
This paper is a coalgebra version of arXiv:1703.04266 and a sequel to arXiv:1607.03066. We present the definition of a pseudo-dualizing complex of bicomodules over a pair of coassociative coalgebras $\mathcal C$ and $\mathcal D$. For any such complex $\mathcal L^\bullet$, we construct a triangulated category endowed with a pair of (possibly degenerate) t-structures of the derived type, whose hearts are the abelian categories of left $\mathcal C$-comodules and left $\mathcal D$-contramodules. A weak version of pseudo-derived categories arising out of (co)resolving subcategories in abelian/exact…
