General Heart Construction on a Triangulated Category (II): Associated Homological Functor

In the preceding part (I) of this paper, we showed that for any torsion pair (i.e., t-structure without the shift-closedness) in a triangulated category, there is an associated abelian category, which we call the heart. Two extremal cases of torsion pairs are t-structures and cluster tilting subcategories. If the torsion pair comes from a t-structure, then its heart is nothing other than the heart of this t-structure. In this case, as is well known, by composing certain adjoint functors, we obtain a homological functor from the triangulated category to the heart. If the torsion pair comes from a cluster tilting subcategory, then its heart coincides with the quotient category of the triangulated category by this subcategory. In this case, the quotient functor becomes homological. In this paper, we unify these two constructions, to obtain a homological functor from the triangulated category, to the heart of any torsion pair.     

From triangulated categories to abelian categories: cluster tilting in a general framework

A general framework for cluster tilting is set up by showing that any quotient of a triangulated category modulo a tilting subcategory (i.e., a maximal 1-orthogonal subcategory) carries an induced abelian structure. These abelian quotients turn out to be module categories of Gorenstein algebras of dimension at most one.      

On t-structures and torsion theories induced by compact objects

First, we show that a compact object C in a triangulated category, which satisfies suitable conditions, induces a t-structure. Second, in an abelian category we show that a complex P· of small projective objects of term length two, which satisfies suitable conditions, induces a torsion theory. In the case of module categories, using a torsion theory, we give equivalent conditions for P· to be a tilting complex. Finally, in the case of artin algebras, we give a one-to-one correspondence between tilting complexes of term length two and torsion theories with certain conditions.     

Axiomatizing subcategories of Abelian categories

We investigate how to characterize subcategories of abelian categories in terms of intrinsic axioms. In particular, we find axioms which characterize generating cogenerating functorially finite subcategories, precluster tilting subcategories, and cluster tilting subcategories of abelian categories. As a consequence we prove that any d-abelian category is equivalent to a d-cluster tilting subcategory of an abelian category, without any assumption on the categories being projectively generated.     

Compact corigid objects in triangulated categories and co-<Emphasis Type="Italic">t</Emphasis>-structures

In the work of Hoshino, Kato and Miyachi, [11], the authors look at t-structures induced by a compact object, , of a triangulated category, , which is rigid in the sense of Iyama and Yoshino, [12]. Hoshino, Kato and Miyachi show that such an object yields a non-degenerate t-structure on whose heart is equivalent to Mod(End()^op). Rigid objects in a triangulated category can the thought of as behaving like chain differential graded algebras (DGAs). Analogously, looking at objects which behave like cochain DGAs naturally gives the dual notion of a corigid object. Here, we see that a compact corigid object, , of a triangulated category, , induces a structure similar to a t-structure which we shall call a co-t-structure. We also show that the coheart of this non-degenerate co-t-structure is equivalent to Mod(End()^op), and hence an abelian subcategory of .      

Homological Systems in Triangulated Categories

We introduce the notion of homological systems Θ for triangulated categories. Homological systems generalize, on one hand, the notion of stratifying systems in module categories, and on the other hand, the notion of exceptional sequences in triangulated categories. We prove that, attached to the homological system Θ, there are two standardly stratified algebras A and B, which are derived equivalent. Furthermore, it is proved that the category \(\mathfrak {F}({\Theta }),\) of the Θ-filtered objects in a triangulated category \(\mathcal {T},\) admits in a very natural way a structure of an exact category, and then there are exact equivalences between the exact category \(\mathfrak {F}({\Theta })\) and the exact categories of the Δ-good modules associated to the standardly stratified algebras A and B. Some of the obtained results can be seen also under the light of the cotorsion pairs in the sense of Iyama-Nakaoka-Yoshino (see 6.6 and 6.7 ). We recall that cotorsion pairs are studied extensively in relation with cluster tilting categories, t-structures and co-t-structures.     

Tilting subcategories in extriangulated categories

Extriangulated category was introduced by H.Nakaoka and Y.Palu to give a unification of properties in exact categories anjd triangulated categories.A notion of tilting(resp.,cotilting)subcategories in an extriangulated category is defined in this paper.We give a Bazzoni characterization of tilting(resp.,cotilting)subcategories and obtain an Auslander-Reiten correspondence between tilting(resp.,cotilting)subcategories and coresolving covariantly(resp.,resolving contravariantly)finite subcatgories which are closed under direct summands and satisfy some cogenerating(resp.,generating)conditions.Applications of the results are given:we show that tilting(resp.,cotilting)subcategories defined here unify many previous works about tilting modules(subcategories)in module categories of Artin algebras and in abelian categories admitting a cotorsion triples;we also show that the results work for the triangulated categories with a proper class of triangles introduced by A.Beligiannis.     

Mutation pairs and quotient categories of Abelian categories

The notion of 𝒟-mutation pairs of subcategories in an abelian category is defined in this article. When (𝒵,𝒵) is a 𝒟-mutation pair in an abelian category 𝒜, the quotient category 𝒵∕𝒟 carries naturally a triangulated structure. Moreover, our result generalize the construction of the quotient triangulated category by Happel [10 Happel, D. (1988). Triangulated Categories in the Representation of Finite Dimensional Algebras. London Mathematical Society, LMN, Vol. 119. Cambridge: Cambridge University Press.[Crossref] , [Google Scholar], Theorem 2.6]. Finally, we find a one-to-one correspondence between cotorsion pairs in 𝒜 and cotorsion pairs in the quotient category 𝒵∕𝒟, and study homological finiteness of subcategories in a mutation pair.     

Approximations and cotorsion pairs related to a tilting pair

The notion of a tilting pair Miyashita in 2001. It is a useful tool in cotorsion pairs related to a fixed tilting （covariantly） finite subcategory and a tilting pair were given in this paper. over artin algebras was introduced by the tilting theory. Approximations and pair were discussed. A eontravariantly eotorsion pair associated with a fixed     

Unifying two results of Orlov on singularity categories

Let \mathbbX\mathbb{X} be a separated Noetherian scheme of finite Krull dimension which has enough locally free sheaves of finite rank and let U í \mathbbXU\subseteq \mathbb{X} be an open subscheme. We prove that the singularity category of U is triangle equivalent to the Verdier quotient triangulated category of the singularity category of \mathbbX\mathbb{X} with respect to the thick triangulated subcategory generated by sheaves supported in the complement of U. The result unifies two results of Orlov. We also prove a noncommutative version of this result.     

Mutation Pairs in Abelian Categories

A notion of mutation pairs of subcategories in an abelian category is defined in this article. For an extension closed subcategory 𝒵 and a rigid subcategory 𝒟 ? 𝒵, the subfactor category 𝒵/[𝒟] is also a triangulated category whenever (𝒵, 𝒵) forms a 𝒟-mutation pair. Moreover, if 𝒟 and 𝒵 satisfy certain conditions in modΛ, the category of finitely generated Λ-modules over an artin algebra Λ, the triangulated category 𝒵/[𝒟] has a Serre functor.     

Rigid objects, triangulated subfactors and abelian localizations

We show that the abelian category $\mathsf{mod}\text{-}\mathcal{X }$ of coherent functors over a contravariantly finite rigid subcategory $\mathcal{X }$ in a triangulated category $\mathcal{T }$ is equivalent to the Gabriel–Zisman localization at the class of regular maps of a certain factor category of $\mathcal{T }$ , and moreover it can be calculated by left and right fractions. Thus we generalize recent results of Buan and Marsh. We also extend recent results of Iyama–Yoshino concerning subfactor triangulated categories arising from mutation pairs in $\mathcal{T }$ . In fact we give a classification of thick triangulated subcategories of a natural pretriangulated factor category of $\mathcal{T }$ and a classification of functorially finite rigid subcategories of $\mathcal{T }$ if the latter has Serre duality. In addition we characterize $2$ -cluster tilting subcategories along these lines. Finally we extend basic results of Keller–Reiten concerning the Gorenstein and the Calabi–Yau property for categories arising from certain rigid, not necessarily cluster tilting, subcategories, as well as several results of the literature concerning the connections between $2$ -cluster tilting subcategories of triangulated categories and tilting subcategories of the associated abelian category of coherent functors.     

n-angulated quotient categories induced by mutation pairs

Geiss, Keller and Oppermann (2013) introduced the notion of n-angulated category, which is a “higher dimensional” analogue of triangulated category, and showed that certain (n-2)-cluster tilting subcategories of triangulated categories give rise to n-angulated categories. We define mutation pairs in n-angulated categories and prove that given such a mutation pair, the corresponding quotient category carries a natural n-angulated structure. This result generalizes a theorem of Iyama-Yoshino (2008) for triangulated categories.     

Right n-angulated categories arising from covariantly finite subcategories

We define right n-angulated categories, which are analogous to right triangulated categories. Let 𝒞 be an additive category and 𝒳 a covariantly finite subcategory of 𝒞. We show that under certain conditions, the quotient 𝒞∕[𝒳] is a right n-angulated category. This has immediate applications to n-angulated quotient categories.     

On t-Structures and Tilting Theory

Abstract

Let A be a right coherent associative ring with unit. We introduce the notion of coendofinite complex and we associate to such a complex a t-structure in D ^b (mod A). We give conditions for the heart of that t-structure to be a module category. We also give some applications in connection with derived equivalent rings and tilting theory. In particular for a tilting module over a finite dimensional k-algebra, we get a reformulation of Brenner-Butler's theorem in terms of t-structures.     

A right triangulated version of Gentle-Todorov’s theorem

Gentle and Todorov proved that in an abelian category with enough projective objects, the extension subcategory of two covariantly finite subcategories is covariantly finite. We prove a right triangulated version of Gentle-Todorov’s theorem by introducing the notion of right homotopy cartesian square.     

正合范畴中的复形、余挠对及粘合

作者在弱幂等完备的正合范畴(A,E)中引入了复形的新的定义,并且证明了E-正合复形的同伦范畴Kex(E)是同伦范畴KE(A)的厚子范畴.给定(A,E)中的余挠对(x,y),定义了正合范畴(CE(A),C(E))中的两个余挠对((x)E,dg(y)E)和(dg(x)E,(y)E),并且证明了当A是可数完备时,CE(A)中...     

Extensions of covariantly finite subcategories

Gentle and Todorov proved that in an abelian category with enough projective objects, the extension subcategory of two covariantly finite subcategories is covariantly finite. We give an example to show that Gentle–Todorov’s theorem may fail in an arbitrary abelian category; however we prove a triangulated version of Gentle–Todorov’s theorem which holds for arbitrary triangulated categories; we apply Gentle–Todorov’s theorem to obtain short proofs of a classical result by Ringel and a recent result by Krause and Solberg. This project is partially supported by China Postdoctoral Science Foundation (No.s 20070420125 and 200801230). The author also gratefully acknowledges the support of K. C. Wong Education Foundation, Hong Kong.     

When the heart of a faithful torsion pair is a module category

An abelian category with arbitrary coproducts and a small projective generator is equivalent to a module category (Mitchell (1964) [17]). A tilting object in an abelian category is a natural generalization of a small projective generator. Moreover, any abelian category with a tilting object admits arbitrary coproducts (Colpi et al. (2007) [8]). It naturally arises the question when an abelian category with a tilting object is equivalent to a module category. By Colpi et al. (2007) [8], the problem simplifies in understanding when, given an associative ring R and a faithful torsion pair (X,Y) in the category of right R-modules, the heartH(X,Y)of the t-structure associated with (X,Y) is equivalent to a category of modules. In this paper, we give a complete answer to this question, proving necessary and sufficient conditions on (X,Y) for H(X,Y) to be equivalent to a module category. We analyze in detail the case when R is right artinian.