Purity and Almost Split Morphisms in Abstract Homotopy Categories: A Unified Approach via Brown Representability

Our aim in this paper is to develop a theory of purity and to prove in a unified conceptual way the existence of almost split morphisms, almost split sequences and almost split triangles in abstract homotopy categories, a rather omnipresent class of categories of interest in representation theory. Our main tool for doing this is the classical Brown representability theorem.     

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.     

Triads

Triads are four-termed complexes with end terms connected by a translation functor, similar to triangles in a triangular category. We use triads to give an adequate theory of L-functors, introduced in [W. Rump, The category of lattices over a lattice-finite ring, Algebras and Representation Theory, in press] to investigate the global structure of categories with almost split sequences. Roughly speaking, L-functors extend the Auslander–Reiten translate to morphisms and thereby make it functorial.     

The Left and Right Triangulated Structures of Stable Categories

Beligiannis and Marmaridis in 1994, constructed the one-sided triangulated structures on the stable categories of additive categories induced from some homologically finite subcategories. We extend their results to slightly more general settings. As an application of our results, we give some new examples of one-sided triangulated categories arising from abelian model categories. An interesting outcome is that we can describe the pretriangulated structures of the homotopy categories of abelian model categories via those of stable categories.     

Properties of abelian categories via recollements

A recollement is a decomposition of a given category (abelian or triangulated) into two subcategories with functorial data that enables the glueing of structural information. This paper is dedicated to investigating the behaviour under glueing of some basic properties of abelian categories (well-poweredness, Grothendieck's axioms AB3, AB4 and AB5, existence of a generator) in the presence of a recollement. In particular, we observe that in a recollement of a Grothendieck abelian category the other two categories involved are also Grothendieck abelian and, more significantly, we provide an example where the converse does not hold and explore multiple sufficient conditions for it to hold.     

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.     

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.      

Noetherian hereditary abelian categories satisfying Serre duality

In this paper we classify -finite noetherian hereditary abelian categories over an algebraically closed field satisfying Serre duality in the sense of Bondal and Kapranov. As a consequence we obtain a classification of saturated noetherian hereditary abelian categories.

As a side result we show that when our hereditary abelian categories have no non-zero projectives or injectives, then the Serre duality property is equivalent to the existence of almost split sequences.

     

Resolving subcategories of triangulated categories and relative homological dimension

We introduce and study (pre)resolving subcategories of a triangulated category and the homological dimension relative to these subcategories. We apply the obtained properties to relative Gorenstein categories.     

On Modules over Endomorphism Algebras of Maximal Rigid Objects in 2-Calabi-Yau Triangulated Categories

This note investigates the modules over the endomorphism algebras of maximal rigid objects in 2-Calabi-Yau triangulated categories. We study the possible complements for almost complete tilting modules. Combining with Happel's theorem, we show that the possible exchange sequences for tilting modules over such algebras are induced by the exchange triangles for maximal rigid objects in the corresponding 2-Calabi-Yau triangulated categories. For the modules of infinite projective dimension, we generalize a recent result by Beaudet–Brüstle–Todorov for cluster-tilted algebras.     

Piecewise Hereditary Triangular Matrix Algebras

For any positive integer N,we clearly describe all finite-dimensional algebras A such that the upper triangular matrix algebras TN(A) are piecewise hereditary.Consequently,we describe all finite-dimensional algebras A such that their derived categories of N-complexes are triangulated equivalent to derived categories of hereditary abelian categories,and we describe the tensor algebras A (×) K[X]/(XN) for which their singularity categories are triangulated orbit categories of the derived categories of hereditary abelian categories.     

The homotopy category of pseudofunctors and translation cohomology

We develop the obstruction theory of the 2-category of abelian track categories, pseudofunctors and pseudonatural transformations by using the cohomology of categories. The obstructions are defined in Baues-Wirsching cohomology groups. We introduce translation cohomology to classify endomorphisms in the 2-category of abelian track categories. In a sequel to this paper we will show, under certain conditions which are satisfied by all homotopy categories, that a translation cohomology class determines the exact triangles of a triangulated category.     

Adjoint Functors and Triangulated Categories

We give a construction of triangulated categories as quotients of exact categories where the subclass of objects sent to zero is defined by a triple of functors. This includes the cases of homotopy and stable module categories. These categories naturally fit into a framework of relative derived categories, and once we prove that there are decent resolutions of complexes, we are able to prove many familiar results in homological algebra.     

Are all localizing subcategories of stable homotopy categories coreflective?

We prove that, in a triangulated category with combinatorial models, every localizing subcategory is coreflective and every colocalizing subcategory is reflective if a certain large-cardinal axiom (Vopěnka?s principle) is assumed true. It follows that, under the same assumptions, orthogonality sets up a bijective correspondence between localizing subcategories and colocalizing subcategories. The existence of such a bijection was left as an open problem by Hovey, Palmieri and Strickland in their axiomatic study of stable homotopy categories and also by Neeman in the context of well-generated triangulated categories.     

Auslander–Buchweitz Approximation Theory for Triangulated Categories

We introduce and develop an analogous of the Auslander–Buchweitz approximation theory (see Auslander and Buchweitz, Societe Mathematique de France 38:5–37, 1989) in the context of triangulated categories, by using a version of relative homology in this setting. We also prove several results concerning relative homological algebra in a triangulated category $\mathcal{T},$ which are based on the behavior of certain subcategories under finiteness of resolutions and vanishing of Hom-spaces. For example: we establish the existence of preenvelopes (and precovers) in certain triangulated subcategories of $\mathcal{T}.$ The results resemble various constructions and results of Auslander and Buchweitz, and are concentrated in exploring the structure of a triangulated category $\mathcal{T}$ equipped with a pair $(\mathcal{X},\omega),$ where $\mathcal{X}$ is closed under extensions and ω is a weak-cogenerator in $\mathcal{X},$ usually under additional conditions. This reduces, among other things, to the existence of distinguished triangles enjoying special properties, and the behavior of (suitably defined) (co)resolutions, projective or injective dimension of objects of $\mathcal{T}$ and the formation of orthogonal subcategories. Finally, some relationships with the Rouquier’s dimension in triangulated categories is discussed.     

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.     

粘合、倾斜同调维数与高维Auslander-Reiten理论

本文主要研究阿贝尔范畴粘合$(\mathscr{A}, \mathscr{B}, \mathscr{C})$中$\mathscr{A}$, $\mathscr{B}$与$\mathscr{C}$之间的倾斜同调维数关系. 特别地,对遗传的阿贝尔范畴$\mathscr{B}$,给出了粘合$(\mathscr{A}, \mathscr{B}, \mathscr{C})$中的范畴之间的$n$-几乎可裂序列间的联系.     

Formal completions and idempotent completions of triangulated categories of singularities

The main goal of this paper is to prove that the idempotent completions of triangulated categories of singularities of two schemes are equivalent if the formal completions of these schemes along singularities are isomorphic. We also discuss Thomason's theorem on dense subcategories and a relation to the negative K-theory.     

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.     

森田六元组的几乎分裂序列

令ΛA_1,Λ_2为两个环,M是(A_2-Λ_1)-双模,且N是(Λ_1-Λ_2)-双模.六元组Γ=(Λ_1,Λ_2,N,M,ψ,φ)是一个森田六元组.对于Γ的表示,确定其几乎分裂序列(也称AR-序列)是非常重要的.通过modΛ_1和modΛ_2的右(左)几乎分裂同态、既约同态构造Γ上的相应同态,并进一步确定它的几乎分裂序列.