We investigate the (unbounded) derived category of a differential Z-graded 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 Z-graded k-algebra 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) A-module is a Z-graded A-module 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 A-modules is a homogeneous morphism of degree 0 of the underlying graded A-modules commuting with the differentials. The DG A-modules form an abelian category CA. A morphism f : M ! N of CA is null-homotopic if f = dr + rd for some homogeneous morphism r : M ! N of degree-1 of the underlying graded A-modules.

Galois comodules of a coring are studied. A special class of Galois comodules termed principal comodules is introduced. The conditions for a simple comodule to be a Galois comodule are found. Induction of Galois and principal comodules via morphisms of corings is described. A connection between the relative injectivity of a Galois comodule and the properties of the extension of endomorphism rings associated to this comodule is revealed.

Abstract not found

Abstract. In this survey article we describe some geometric results in the theory of noncommutative rings and, more generally, in the theory of abelian categories. Roughly speaking and by analogy with the commutative situation, the category of graded modules modulo torsion over a noncommutative graded ring of quadratic, respectively cubic growth should be thought of as the noncommutative analogue of a projective curve, respectively surface. This intuition has lead to a remarkable number of nontrivial insights and results in noncommutative algebra. Indeed, the problem of classifying noncommutative curves (and noncommutative graded rings of quadratic growth) can be regarded as settled. Despite the fact that no classification of noncommutative surfaces is in sight, a rich body of nontrivial examples and techniques, including blowing

The notion of semi-abelian category as proposed in this paper is designed to capture typical algebraic properties valid for groups, rings and algebras, say, just as abelian categories allow for a generalized treatment of abelian-group and module theory. In modern terms, semi-abelian categories are exact in the sense of Barr and protomodular in the sense of Bourn and have finite coproducts and a zero object. We show how these conditions relate to "old" exactness axioms involving normal monomorphisms and epimorphisms, as used in the fifties and sixties, and we give extensive references to the literature in order to indicate why semi-abelian categories provide an appropriate notion to establish the isomorphism and decomposition theorems of group theory, to pursue general radical theory of rings, and how to arrive at basic statements as needed in homological algebra of groups and similar non-abelian structures. Mathematics Subject Classification: 18E10, 18A30, 18A32. Key words:...

Dedicated to Claus Michael Ringel on the occasion of his sixtieth birthday. Abstract. For a noetherian scheme, we introduce its unbounded stable derived category. This leads to a recollement which reflects the passage from the bounded derived category of coherent sheaves to the quotient modulo the subcategory of perfect complexes. Some applications are included, for instance an analogue of maximal Cohen-Macaulay approximations, a construction of Tate cohomology, and an extension of the classical Grothendieck duality. In addition, the relevance of the stable derived category in modular representation theory is indicated.

Abstract not found

These are lecture notes for the course 18.769 “Tensor categories”, taught by P. Etingof at MIT in the spring of 2009. In these notes we will assume that the reader is familiar with the basic theory of categories and functors; a detailed discussion of this theory can be found in the book [ML]. We will also assume the basics of the theory of abelian categories (for a more detailed treatment see the book [F]). If C is a category, the notation X ∈ C will mean that X is an object of C, and the set of morphisms between X, Y ∈ C will be denoted by Hom(X, Y). Throughout the notes, for simplicity we will assume that the ground field k is algebraically closed unless otherwise specified, even though in many cases this assumption will not be needed. 1. Monoidal categories 1.1. The definition of a monoidal category. A good way of thinking

Abstract not found

. We prove a modified version of Ravenel's telescope conjecture. It is shown that every smashing subcategory of the stable homotopy category is generated by a set of maps between finite spectra. This result is based on a new characterization of smashing subcategories, which leads in addition to a classification of these subcategories in terms of the category of finite spectra. The approach presented here is purely algebraic; it is based on an analysis of pure-injective objects in a compactly generated triangulated category, and covers therefore also situations arising in algebraic geometry and representation theory. Introduction Smashing subcategories naturally arise in the stable homotopy category S from localization functors l : S ! S which induce for every spectrum X a natural isomorphism l(X) ' X l(S) between the localization of X and the smash product of X with the localization of the sphere spectrum S. In fact, a localization functor has this property if and only if it preserv...