The Popescu-Gabriel theorem for triangulated categories

The Popescu-Gabriel theorem states that each Grothendieck abelian category is a localization of a module category. In this paper, we prove an analogue where Grothendieck abelian categories are replaced by triangulated categories which are well generated (in the sense of Neeman) and algebraic (in the sense of Keller). The role of module categories is played by derived categories of small differential graded categories. An analogous result for topological triangulated categories has recently been obtained by A. Heider.     

广义Comma范畴的Recollement

本文研究广义Comma范畴上Recollement问题.利用Abel范畴上Recollement及其伴随函子,诱导出广义Comma范畴,并利用比较函子构造出广义Comma范畴上的Recollement.这些结果推广了一般Abel范畴上的Recollement,丰富了Comma范畴研究.     

函子范畴的Recollement

函子范畴是—类重要的范畴,因为许多常见的范畴都是函子范畴,并且任意给定的范畴都可以通过Yoneda引理嵌入到一个函子范畴,而函子范畴具有比原范畴更好的性质。本文证明了Abel范畴的recollement可以自然诱导两类函子范畴的recollment．应用到k-线性范畴,得到k．线性Abel范畴的recollement可以自然诱导其模范畴的recollement．     

Generalized lax epimorphisms in the additive case

In this paper we call generalized lax epimorphism a functor defined on a ring with several objects, with values in an abelian AB5 category, for which the associated restriction functor is fully faithful. We characterize such a functor with the help of a conditioned right cancellation of another functor, constructed in a canonical way from the initial one. As consequences we deduce a characterization of functors inducing an abelian localization and also a necessary and sufficient condition for a morphism of rings with several objects to induce an equivalence at the level of two localizations of the respective module categories.     

Negative K-theory of derived categories

We define negative K-groups for exact categories and for ``derived categories' in the framework of Frobenius pairs, generalizing definitions of Bass, Karoubi, Carter, Pedersen-Weibel and Thomason. We prove localization and vanishing theorems for these groups. Dévissage (for noetherian abelian categories), additivity, and resolution hold. We show that the first negative K-group of an abelian category vanishes, and that, in general, negative K-groups of a noetherian abelian category vanish. Our methods yield an explicit non-connective delooping of the K-theory of exact categories and chain complexes, generalizing constructions of Wagoner and Pedersen-Weibel. Extending a theorem of Auslander and Sherman, we discuss the K-theory homotopy fiber of ε^⊕→ ε and its implications for negative K-groups. In the appendix, we replace Waldhausen's cylinder functor by a slightly weaker form of non-functorial factorization which is still sufficient to prove his approximation and fibration theorems.     

Exact categories

We survey the basics of homological algebra in exact categories in the sense of Quillen. All diagram lemmas are proved directly from the axioms, notably the five lemma, the 3×3$3\times 3$-lemma and the snake lemma. We briefly discuss exact functors, idempotent completion and weak idempotent completeness. We then show that it is possible to construct the derived category of an exact category without any embedding into abelian categories and we sketch Deligne's approach to derived functors. The construction of classical derived functors with values in an abelian category painlessly translates to exact categories, i.e., we give proofs of the comparison theorem for projective resolutions and the horseshoe lemma. After discussing some examples we elaborate on Thomason's proof of the Gabriel–Quillen embedding theorem in an appendix.     

Exactness of direct limits for abelian categories with an injective cogenerator

We prove that the exactness of direct limits in an abelian category with products and an injective cogenerator J is equivalent to a condition on J which is well-known to characterize pure-injectivity in module categories, and we describe an application of this result to the tilting theory. We derive our result as a consequence of a more general characterization of when inverse limits in the Eilenberg–Moore category of a monad on the category of sets preserve regular epimorphisms.     

Derived Functors of Inverse Limits Revisited

We prove, correct and extend several results of an earlier paperof ours (using and recalling several of our later papers) aboutthe derived functors of projective limit in abelian categories.In particular we prove that if C is an abelian category satisfyingthe Grothendieck axioms AB3 and AB4* and having a set of generatorsthen the first derived functor of projective limit vanisheson so-called Mittag-Leffler sequences in C. The recent examplesgiven by Deligne and Neeman show that the condition that thecategory has a set of generators is necessary. The conditionAB4* is also necessary, and indeed we give for each integerm 1 an example of a Grothendieck category C_m and a Mittag-Lefflersequence in C_m for which the derived functors of its projectivelimit vanish in all positive degrees except m. This leads toa systematic study of derived functors of infinite productsin Grothendieck categories. Several explicit examples of theapplications of these functors are also studied.     

A recollement construction of Gorenstein derived categories

We first give an equivalence between the derived category of a locally finitely presented category and the derived category of contravariant functors from its finitely presented subcategory to the category of abelian groups, in the spirit of Krause’s work [Math. Ann., 2012, 353: 765–781]. Then we provide a criterion for the existence of recollement of derived categories of functor categories, which shows that the recollement structure may be induced by a proper morphism defined in finitely presented subcategories. This criterion is then used to construct a recollement of derived category of Gorenstein injective modules over CM-finite 2-Gorenstein artin algebras.     

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.     

Cotorsion pairs, model category structures, and representation theory

We make a general study of Quillen model structures on abelian categories. We show that they are closely related to cotorsion pairs, which were introduced by Salce [Sal79] and have been much studied recently by Enochs and coauthors [EJ00]. This gives a method of constructing model structures on abelian categories, which we illustrate by building two model structures on the category of modules over a (possibly noncommutative) Gorenstein ring. The homotopy category of these model structures is a generalization of the stable module category much used in modular representation theory. This stable module category has also been studied by Benson [Ben97]. Received: 14 December 2000; in final form: 17 December 2001 / Published online: 5 September 2002     

Recollements and tilting objects

We study connections between recollements of the derived category D(Mod R) of a ring R and tilting theory. We first provide constructions of tilting objects from given recollements, recovering several different results from the literature. Secondly, we show how to construct a recollement from a tilting module of projective dimension one. By Nicolás and Saorín (2009) [31], every recollement of D(Mod R) is associated to a differential graded homological epimorphism λ:R→S. We will focus on the case where λ is a homological ring epimorphism or even a universal localization. Our results will be employed in a forthcoming paper in order to investigate stratifications of D(Mod R).     

Gabriel-Popescu type theorems and applications

In this paper we obtain a general version of Gabriel-Popescu theorem representing any Grothendieck category as a quotient category of the category of modules over a ring (not necessarily with unit) with enough idempotents to right using a family of generators (U_i)_i∈I of where U_i are not supposed to be small. Applications to locally finite categories are obtained. In particular, for a coalgebra C (over a field) we prove that C is right semiperfect if and only if the category has the AB4∗ condition.     

Model structures on exact categories

We define model structures on exact categories, which we call exact model structures. We look at the relationship between these model structures and cotorsion pairs on the exact category. In particular, when the underlying category is weakly idempotent complete, we get Hovey’s one-to-one correspondence between model structures and complete cotorsion pairs. We classify the right and the left homotopy relation in terms of the cotorsion pairs and look at examples of exact model structures. In particular, we see that given any hereditary abelian model category, the full subcategories of cofibrant, fibrant and cofibrant-fibrant subobjects each has natural exact model structures equivalent to the original model structure. These model structures each has interesting characteristics. For example, the cofibrant-fibrant subobjects form a Frobenius category, whose stable category is the same as the homotopy category of its model structure.     

Structure sheaves of definable additive categories

We prove that the 2-category of small abelian categories with exact functors is anti-equivalent to the 2-category of definable additive categories. We define and compare sheaves of localisations associated to the objects of these categories. We investigate the natural image of the free abelian category over a ring in the module category over that ring and use this to describe a basis for the Ziegler topology on injectives; the last can be viewed model-theoretically as an elimination of imaginaries result.     

The Grothendieck group of a cluster category

For the cluster category of a hereditary or a canonical algebra, or equivalently for the cluster category of the hereditary category of coherent sheaves on a weighted projective line, we study the Grothendieck group with respect to an admissible triangulated structure.     

Recollements of Module Categories

We establish a correspondence between recollements of abelian categories up to equivalence and certain TTF-triples. For a module category we show, moreover, a correspondence with idempotent ideals, recovering a theorem of Jans. Furthermore, we show that a recollement whose terms are module categories is equivalent to one induced by an idempotent element, thus answering a question by Kuhn.     

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

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

Homological Finiteness Conditions for Groups,Monoids, and Algebras

Let ? be an additive category and 𝒞 a full subcategory with split idempotents, and closed under isomorphic images and finite direct sums. We give conditions on ? and 𝒞 implying that ? embeds into an abelian category, so that the objects of 𝒞 turn into injective objects. This construction generalizes the embedding of exactly definable categories into locally coherent categories, while the dual construction generalizes the embedding of finitely accessible categories into Grothendieck categories with a family of finitely generated projective generators. As applications, we characterize exactly definable categories through intrinsic properties and study those locally coherent categories whose fp-injective objects form a Grothendieck category.