Abstract not found

Abstract not found

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.

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.

This is the second of a series of four articles studying various generalisations of Khovanov’s diagram algebra. In this article we develop the general theory of Khovanov’s diagrammatically defined “projective functors” in our setting. As an application, we give a direct proof of the fact that the

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. 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

Abstract not found

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:...

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.