Perpendicular categories of infinite dimensional partial tilting modules and transfers of tilting torsion classes

Let R be a ring and P be an (infinite dimensional) partial tilting module. We show that the perpendicular category of P is equivalent to the full module category where and ?R is the Bongartz complement of P modulo its P-trace. Moreover, there is a ring epimorphism φ:R→S. We characterize the case when φ is a perfect localization. By [Riccardo Colpi, Alberto Tonolo, Jan Trlifaj, Partial cotilting modules and the lattices induced by them, Comm. Algebra 25 (10) (1997) 3225-3237], there exist mutually inverse isomorphisms μ^′ and ν^′ between the interval in the lattice of torsion classes in , and the lattice of all torsion classes in . We provide necessary and sufficient conditions for μ^′ and ν^′ to preserve tilting torsion classes. As a consequence, we show that these conditions are always satisfied when R is a Dedekind domain, and if P is finitely presented and R is an artin algebra, then the conditions reduce to the trivial ones, namely that each value of μ^′ and ν^′ contains all injectives.     

Cluster tilting objects in generalized higher cluster categories

We prove the existence of an m-cluster tilting object in a generalized m-cluster category which is (m+1)-Calabi-Yau and Hom-finite, arising from an (m+2)-Calabi-Yau dg algebra. This is a generalization of the result for the m=1 case in Amiot’s Ph.D. thesis. Our results apply in particular to higher cluster categories associated to Ginzburg dg categories coming from suitable graded quivers with superpotential, and higher cluster categories associated to suitable finite-dimensional algebras of finite global dimension.     

Compact objects in stable module categories

Let R be a perfect ring, the stable module category of right R-modules. We show that any compact object in is isomorphic to some finitely generated R-module. Moreover, we apply the above to stable equivalences between module categories. Received: 10 April 2006     

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.     

On the (non)vanishing of some “derived” categories of curved dg algebras

Since curved dg algebras, and modules over them, have differentials whose square is not zero, these objects have no cohomology, and there is no classical derived category. For different purposes, different notions of “derived” categories have been introduced in the literature. In this article, we show that for some concrete curved dg algebras, these derived categories vanish. This happens for example for the initial curved dg algebra whose module category is the category of precomplexes, and for certain deformations of dg algebras.     

An elementary construction of tilting complexes

Let A be an artin algebra and e∈A an idempotent with add(eA_A)=add(D(_AAe)). Then a projective resolution of Ae_eAe gives rise to tilting complexes for A, where P(l)^• is of term length l+1. In particular, if A is self-injective, then is self-injective and has the same Nakayama permutation as A. In case A is a finite dimensional algebra over a field and eAe is a Nakayama algebra, a projective resolution of eAe over the enveloping algebra of eAe gives rise to two-sided tilting complexes {T(2l)^•}_l?1 for A, where T(2l)^• is of term length 2l+1. In particular, if eAe is of Loewy length two, then we get tilting complexes {T(l)^•}_l?1 for A, where T(l)^• is of term length l+1.     

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.     

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.     

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.     

Hochschild-Mitchell cohomology and Galois extensions

We define H-Galois extensions for k-linear categories and prove the existence of a Grothendieck spectral sequence for Hochschild-Mitchell cohomology related to this situation. This spectral sequence is multiplicative and for a group algebra decomposes as a direct sum indexed by conjugacy classes of the group. We also compute some Hochschild-Mitchell cohomology groups of categories with infinite associated quivers.     

Tilting via torsion pairs and almost hereditary noetherian rings

We generalize the tilting process by Happel, Reiten and Smalø to the setting of finitely presented modules over right coherent rings. Moreover, we extend the characterization of quasi-tilted artin algebras as the almost hereditary ones to all right noetherian rings.     

On the relation between cluster and classical tilting

Let be a triangulated category with a cluster tilting subcategory U. The quotient category is abelian; suppose that it has finite global dimension.We show that projection from to sends cluster tilting subcategories of to support tilting subcategories of , and that, in turn, support tilting subcategories of can be lifted uniquely to weak cluster tilting subcategories of .     

Cluster-tilted algebras are Gorenstein and stably Calabi-Yau

We prove that in a 2-Calabi-Yau triangulated category, each cluster tilting subcategory is Gorenstein with all its finitely generated projectives of injective dimension at most one. We show that the stable category of its Cohen-Macaulay modules is 3-Calabi-Yau. We deduce in particular that cluster-tilted algebras are Gorenstein of dimension at most one, and hereditary if they are of finite global dimension. Our results also apply to the stable (!) endomorphism rings of maximal rigid modules of [Christof Geiß, Bernard Leclerc, Jan Schröer, Rigid modules over preprojective algebras, arXiv: math.RT/0503324, Invent. Math., in press]. In addition, we prove a general result about relative 3-Calabi-Yau duality over non-stable endomorphism rings. This strengthens and generalizes the Ext-group symmetries obtained in [Christof Geiß, Bernard Leclerc, Jan Schröer, Rigid modules over preprojective algebras, arXiv: math.RT/0503324, Invent. Math., in press] for simple modules. Finally, we generalize the results on relative Calabi-Yau duality from 2-Calabi-Yau to d-Calabi-Yau categories. We show how to produce many examples of d-cluster tilted algebras.     

Classification of split torsion torsionfree triples in module categories

A TTF-triple (C,T,F) in an abelian category is one-sided split in case either (C,T) or (T,F) is a split torsion theory. In this paper we classify one-sided split TTF-triples in module categories, thus completing Jans’ classification of two-sided split TTF-triples and answering a question that has remained open for almost 40 years.     

A note on relative tilting modules

Bazzoni had given a simple characterization of infinitely generated n-tilting modules. Though her method is even inapplicable to classical n-tilting modules over Artin algebras, we show in this note that a similar characterization does hold for (finitely generated) relative n-tilting modules introduced by Auslander and Solberg for Artin algebras, by using a different method. We also present some applications.     

The countable Telescope Conjecture for module categories

By the Telescope Conjecture for Module Categories, we mean the following claim: “Let R be any ring and (A,B) be a hereditary cotorsion pair in Mod-R with A and B closed under direct limits. Then (A,B) is of finite type.”We prove a modification of this conjecture with the word ‘finite’ replaced by ‘countable.’ We show that a hereditary cotorsion pair (A,B) of modules over an arbitrary ring R is generated by a set of strongly countably presented modules provided that B is closed under unions of well-ordered chains. We also characterize the modules in B and the countably presented modules in A in terms of morphisms between finitely presented modules, and show that (A,B) is cogenerated by a single pure-injective module provided that A is closed under direct limits. Then we move our attention to strong analogies between cotorsion pairs in module categories and localizing pairs in compactly generated triangulated categories.     

The homotopy category of complexes of projective modules

The homotopy category of complexes of projective left-modules over any reasonably nice ring is proved to be a compactly generated triangulated category, and a duality is given between its subcategory of compact objects and the finite derived category of right-modules.     

Twisted support varieties

We define and study twisted support varieties for modules over an Artin algebra, where the twist is induced by an automorphism of the algebra. Under a certain finite generation hypothesis we show that the twisted variety of a module satisfies Dade’s Lemma and is one dimensional precisely when the module is periodic with respect to the twisting automorphism. As a special case we obtain results on DTr-periodic modules over Frobenius algebras.