Results 1  10
of
68
Stable model categories are categories of modules
 TOPOLOGY
, 2003
"... 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 ..."
Abstract

Cited by 76 (16 self)
 Add to MetaCart
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 EilenbergMac Lane spectrum HR and (unbounded) chain complexes of Rmodules for a ring R.
Deriving Dg Categories
, 1993
"... We investigate the (unbounded) derived category of a differential Zgraded category (=DG category). As a first application, we deduce a 'triangulated analogue` (4.3) of a theorem of Freyd's [5, Ex. 5.3 H] and Gabriel's [6, Ch. V] characterizing module categories among abelian categories. After adapt ..."
Abstract

Cited by 74 (8 self)
 Add to MetaCart
We investigate the (unbounded) derived category of a differential Zgraded category (=DG category). As a first application, we deduce a 'triangulated analogue` (4.3) of a theorem of Freyd's [5, Ex. 5.3 H] and Gabriel's [6, Ch. V] characterizing module categories among abelian categories. After adapting some homological algebra we go on to prove a 'Morita theorem` (8.2) generalizing results of [19] and [20]. Finally, we develop a formalism for Koszul duality [1] in the context of DG augmented categories. Summary We give an account of the contents of this paper for the special case of DG algebras. Let k be a commutative ring and A a DG (k)algebra, i.e. a Zgraded kalgebra A = a p2Z A p endowed with a differential d of degree 1 such that d(ab) = (da)b + (\Gamma1) p a(db) for all a 2 A p , b 2 A. A DG (right) Amodule is a Zgraded Amodule M = ` p2Z M p endowed with a differential d of degree 1 such that d(ma) = (dm)a + (\Gamma1) p m(da) for all m 2 M p , a 2 A. A morphism of DG Amodules is a homogeneous morphism of degree 0 of the underlying graded Amodules commuting with the differentials. The DG Amodules form an abelian category CA. A morphism f : M ! N of CA is nullhomotopic if f = dr + rd for some homogeneous morphism r : M ! N of degree1 of the underlying graded Amodules.
The homotopy theory of dgcategories and derived Morita Theory
, 2006
"... The main purpose of this work is to study the homotopy theory of dgcategories up to quasiequivalences. Our main result is a description of the mapping spaces between two dgcategories C and D in terms of the nerve of a certain category of (C, D)bimodules. We also prove that the homotopy category ..."
Abstract

Cited by 60 (7 self)
 Add to MetaCart
The main purpose of this work is to study the homotopy theory of dgcategories up to quasiequivalences. Our main result is a description of the mapping spaces between two dgcategories C and D in terms of the nerve of a certain category of (C, D)bimodules. We also prove that the homotopy category Ho(dg −Cat) possesses internal Hom’s relative to the (derived) tensor product of dgcategories. We use these two results in order to prove a derived version of Morita theory, describing the morphisms between dgcategories of modules over two dgcategories C and D as the dgcategory of (C, D)bimodules. Finally, we give three applications of our results. The first one expresses Hochschild cohomology as endomorphisms of the identity functor, as well as higher homotopy groups of the classifying space of dgcategories (i.e. the nerve of the category of dgcategories and quasiequivalences between them). The second application is the existence of a good theory of localization for dgcategories, defined in terms of a natural universal property. Our last application states that the dgcategory of (continuous) morphisms between the dgcategories of quasicoherent (resp. perfect) complexes on two schemes (resp. smooth and proper schemes) is quasiequivalent
DUALIZING COMPLEXES, MORITA EQUIVALENCE AND THE DERIVED PICARD GROUP OF A RING
, 1998
"... Two rings A and B are said to be derived Morita equivalent if the derived categories Db (Mod A) and Db (Mod B) are equivalent. By results of Rickard in [Ri1] and [Ri2], if A and B are derived Morita equivalent algebras over a field k, then there is a complex of bimodules T s.t. the functor T ⊗L A − ..."
Abstract

Cited by 29 (10 self)
 Add to MetaCart
Two rings A and B are said to be derived Morita equivalent if the derived categories Db (Mod A) and Db (Mod B) are equivalent. By results of Rickard in [Ri1] and [Ri2], if A and B are derived Morita equivalent algebras over a field k, then there is a complex of bimodules T s.t. the functor T ⊗L A −: Db (Mod A) → Db (Mod B) is an equivalence. The complex T is called a tilting complex. When B = A the isomorphism classes of tilting complexes T form the derived Picard group DPic(A). This group acts naturally on the Grothendieck group K0(A). We prove that when the algebra A is either local or commutative, then any derived Morita equivalent algebra B is actually Morita equivalent. This enables us to compute DPic(A) in these cases. Assume A is noetherian. Dualizing complexes over A were defined in [Ye]. These are complexes of bimodules which generalize the commutative definition of [RD]. We prove that the group DPic(A) classifies the set of isomorphism
Ktheory and derived equivalences
 Duke Math. J
"... Abstract. We show that if two rings have equivalent derived categories then they have the same algebraic Ktheory. Similar results are given for Gtheory, and for a large class of abelian categories. Contents ..."
Abstract

Cited by 28 (6 self)
 Add to MetaCart
Abstract. We show that if two rings have equivalent derived categories then they have the same algebraic Ktheory. Similar results are given for Gtheory, and for a large class of abelian categories. Contents
Invariance and localization for cyclic homology of DG algebras
 J. PURE APPL. ALGEBRA
, 1998
"... We show that two flat differential graded algebras whose derived categories are equivalent by a derived functor have isomorphic cyclic homology. In particular, ‘ordinary ’ algebras over a field which are derived equivalent [48] share their cyclic homology, and iterated tilting [19] [3] preserves cyc ..."
Abstract

Cited by 24 (6 self)
 Add to MetaCart
We show that two flat differential graded algebras whose derived categories are equivalent by a derived functor have isomorphic cyclic homology. In particular, ‘ordinary ’ algebras over a field which are derived equivalent [48] share their cyclic homology, and iterated tilting [19] [3] preserves cyclic homology. This completes results of Rickard’s [48] and Happel’s [18]. It also extends well known results on preservation of cyclic homology under Morita equivalence [10], [39], [25], [26], [41], [42]. We then show that under suitable flatness hypotheses, an exact sequence of derived categories of DG algebras yields a long exact sequence in cyclic homology. This may be viewed as an analogue of ThomasonTrobaugh’s [51] and Yao’s [58] localization theorems in Ktheory (cf. also [55]).
DERIVED INVARIANCE OF HIGHER STRUCTURES ON THE HOCHSCHILD COMPLEX
"... Abstract. We show that derived equivalences preserve the homotopy type of the (cohomological) Hochschild complex as a B∞algebra. More generally, we prove that, as an object of the homotopy category of B∞algebras, the Hochschild complex is contravariant with respect to fully faithful derived tensor ..."
Abstract

Cited by 19 (1 self)
 Add to MetaCart
Abstract. We show that derived equivalences preserve the homotopy type of the (cohomological) Hochschild complex as a B∞algebra. More generally, we prove that, as an object of the homotopy category of B∞algebras, the Hochschild complex is contravariant with respect to fully faithful derived tensor functors. We also show that the Hochschild complexes of a Koszul algebra and its dual are homotopy equivalent as B∞algebras. In particular, their Hochschild cohomologies are isomorphic as algebras, which is a recent result by R.O. Buchweitz [4], and as Lie algebras. Our methods also yield a derived invariant definition of the Hochschild complex of an exact category. 1.
Morita theory in abelian, derived and stable model categories, Structured ring spectra
 London Math. Soc. Lecture Note Ser
, 2004
"... These notes are based on lectures given at the Workshop on Structured ring spectra and ..."
Abstract

Cited by 19 (0 self)
 Add to MetaCart
These notes are based on lectures given at the Workshop on Structured ring spectra and