A Cartan-Eilenberg approach to homotopical algebra

In this paper we propose an approach to homotopical algebra where the basic ingredient is a category with two classes of distinguished morphisms: strong and weak equivalences. These data determine the cofibrant objects by an extension property analogous to the classical lifting property of projective modules. We define a Cartan-Eilenberg category as a category with strong and weak equivalences such that there is an equivalence of categories between its localisation with respect to weak equivalences and the relative localisation of the subcategory of cofibrant objects with respect to strong equivalences. This equivalence of categories allows us to extend the classical theory of derived additive functors to this non additive setting. The main examples include Quillen model categories and categories of functors defined on a category endowed with a cotriple (comonad) and taking values on a category of complexes of an abelian category. In the latter case there are examples in which the class of strong equivalences is not determined by a homotopy relation. Among other applications of our theory, we establish a very general acyclic models theorem.     

Quotient categories,stability conditions,and birational geometry

This article deals with the quotient category of the category of coherent sheaves on an irreducible smooth projective variety by the full subcategory of sheaves supported in codimension greater than c. We prove that this category has homological dimension c. As an application, we describe the space of stability conditions on its derived category in the case c  \(=\) 1. Moreover, we describe all exact equivalences between these quotient categories in this particular case, which is closely related to classification problems in birational geometry.     

Strong cofibrations and fibrations in enriched categories

We define strong cofibrations and fibrations in suitably enriched categories using the relative homotopy extension resp. lifting property. We prove a general pairing result, which for topological spaces specializes to the well-known pushout-product theorem for cofibrations. Strong cofibrations and fibrations give rise to cofibration and fibration categories in the sense of homotopical algebra. We discuss various examples; in particular, we deduce that the category of chain complexes with chain equivalences and the category of categories with equivalences are symmetric monoidal proper closed model categories. Eine überarbeitete Fassung ging am 5. 12. 2001 ein     

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.     

相对于子范畴的同伦分解的存在性

本文证明了在相对于子范畴的情形下上有界复形的同伦分解的存在性,推广了经典的复形的同伦分解,是使得相对导出范畴具有可操作性的基础.进一步,证明了在R-模范畴和相对于特殊子范畴的情形下,任意无界复形的同伦分解的存在性.最后,建立了同伦范畴和相对导出范畴的(余)局部化序列.     

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.     

Stable model categories are categories of modules

A stable model category is a setting for homotopy theory where the suspension functor is invertible. The prototypical examples are the category of spectra in the sense of stable homotopy theory and the category of unbounded chain complexes of modules over a ring. In this paper we develop methods for deciding when two stable model categories represent ‘the same homotopy theory’. We show that stable model categories with a single compact generator are equivalent to modules over a ring spectrum. More generally stable model categories with a set of generators are characterized as modules over a ‘ring spectrum with several objects’, i.e., as spectrum valued diagram categories. We also prove a Morita theorem which shows how equivalences between module categories over ring spectra can be realized by smashing with a pair of bimodules. Finally, we characterize stable model categories which represent the derived category of a ring. This is a slight generalization of Rickard's work on derived equivalent rings. We also include a proof of the model category equivalence of modules over the Eilenberg-Mac Lane spectrum HR and (unbounded) chain complexes of R-modules for a ring R.     

Recollements of extension algebras

Let A be a finite-dimensional algebra over arbitrary base field k. We prove: if the unbounded derived module category D-(Mod-A) admits symmetric recollement relative to unbounded derived module categories of two finite-dimensional k-algebras B and C:D- (Mod - B) D-(Mod - A) D-(Mod - C),then the unbounded derived module category D-(Mod - T(A)) admits symmetric recollement relative to the unbounded derived module categories of T(B) and T(C):D-(Mod - T(B)) D-(Mod - T(A)) D-(Mod -T(C)).     

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.     

Relative Semi-abelian Categories

We define a relative semi-abelian category as a pair (C,E), where C is a pointed category with finite limits, and E is a class of regular epimorphisms in C satisfying certain conditions, stronger than those defining a relative homological category. Some results on the equivalence of the so-called old-style and new-style axioms for the semi-abelian categories are extended to the relative case. Partially supported by the University of Cape Town Research Associateship and Georgia National Science Foundation (GNSF/ST06/3-004).     

Representation Dimension as a Relative Homological Invariant of Stable Equivalence

Over an Artin algebra Λ many standard concepts from homological algebra can be relativized with respect to a contravariantly finite subcategory of mod-Λ, which contains the projective modules. The main aim of this article is to prove that the resulting relative homological dimensions of modules are preserved by stable equivalences between Artin algebras. As a corollary, we see that Auslander’s notion of representation dimension is invariant under stable equivalence (a result recently obtained independently by Guo). We then apply these results to the syzygy functor for self-injective algebras of representation dimension three, where we bound the number of simple modules in terms of the number of indecomposable nonprojective summands of an Auslander generator.      

On Gorenstein injective discrete modules over profinite groups

Gorenstein homological algebra was introduced in categories of modules. But it has proved to be a fruitful way to study various other categories such as categories of complexes and of sheaves. In this paper, the research of relative homological algebra in categories of discrete modules over profinite groups is initiated. This seems appropriate since (in some sense) the subject of Gorenstein homological algebra had its beginning with Tate homology and cohomology over finite groups. We prove that if the profinite group has virtually finite cohomological dimension then every discrete module has a Gorenstein injective envelope, a Gorenstein injective cover and we study various cohomological dimensions relative to Gorenstein injective discrete modules. We also study the connection between relative and Tate cohomology theories.     

On the Derived Categories and Quasitilted Algebras

In this paper, we present some results on the bounded derived category of Artin algebras, and in particular on the indecomposable objects in these categories, using homological properties. Given a complex X ^*, we consider the set and we define the application . We give relationships between some homological properties of an algebra and the respective application l. On the other hand, using homological properties again, we determine two subcategories of the bounded derived category of an algebra, which turn out to be the bounded derived categories of quasi-tilted algebras. As a consequence of these results we obtain new characterizations of quasi-tilted and quasi-tilted gentle algebras. Presented by Raymundo Bautista.     

Auslander-Reiten Triangles, Ziegler Spectra and Gorenstein Rings

We investigate (existence of) Auslander—Reiten triangles in a triangulated category in connection with torsion pairs, existence of Serre functors, representability of homological functors and realizability of injective modules. We also develop an Auslander—Reiten theory in a compactly generated triangulated category and we study the connections with the naturally associated Ziegler spectrum. Our analysis is based on the relative homological theory of purity and Brown's Representability Theorem. Our main interest lies in the structure of Auslander—Reiten triangles in the full subcategory of compact objects. We also study the connections and the interplay between Auslander—Reiten theory, pure-semisimplicity and the finite type property, Grothendieck groups, and we give applications to derived categories of Gorenstein rings.     

Relative left derived functors of tensor product functors

We introduce and study the relative left derived functor Tor_n^(F,F') (-,-) in the module category, which unifies several related left derived functors. Then we give some criteria for computing the F-resolution dimensions of modules in terms of the properties of Tor_n^(F,F') (-,-). We also construct a complete and hereditary cotorsion pair relative to balanced pairs. Some known results are obtained as corollaries.     

Cubist algebras

We construct algebras from rhombohedral tilings of Euclidean space obtained as projections of certain cubical complexes. We show that these ‘Cubist algebras’ satisfy strong homological properties, such as Koszulity and quasi-heredity, reflecting the combinatorics of the tilings. We construct derived equivalences between Cubist algebras associated to local mutations in tilings. We recover as a special case the Rhombal algebras of Michael Peach and make a precise connection to weight 2 blocks of symmetric groups.     

Modified Ringel-Hall algebras,naive lattice algebras and lattice algebras

For a given hereditary abelian category satisfying some finiteness conditions, in certain twisted cases it is shown that the modified Ringel-Hall algebra is isomorphic to the naive lattice algebra and there exists an epimorphism from the modified Ringel-Hall algebra to the lattice algebra. Furthermore, the kernel of this epimorphism is described explicitly. Finally, we show that the naive lattice algebra is invariant under the derived equivalences of hereditary abelian categories.     

在具有终对象的范畴内的正合列

本文对于具有终对象的范畴定义了四个一般正合列．在Ａｂｅｌ范畴同调代数里，对于具有零对象的任何范畴四个一般正合列与通常的正合列相同     

Failure of Brown representability in derived categories

Let be a triangulated category with coproducts, the full subcategory of compact objects in . If is the homotopy category of spectra, Adams (Topology 10 (1971) 185–198), proved the following: All homological functors are the restrictions of representable functors on , and all natural transformations are the restrictions of morphisms in . It has been something of a mystery, to what extent this generalises to other triangulated categories. In Neeman (Topology 36 (1997) 619–645), it was proved that Adams’ theorem remains true as long as is countable, but can fail in general. The failure exhibited was that there can be natural transformations not arising from maps in . A puzzling open problem remained: Is every homological functor the restriction of a representable functor on ? In a recent paper, Beligiannis (Relative homological and purity in triangulated categories, 1999, preprint) made some progress. But in this article, we settle the problem. The answer is no. There are examples of derived categories of rings, and homological functors which are not restrictions of representables.