Results 1  10
of
50
Model Theory and Modules
, 1988
"... The modeltheoretic investigation of modules has led to ideas, techniques and results which are of algebraic interest, irrespective of their modeltheoretic significance. It is these aspects that I will discuss in this article, although I will make some comments on the model theory of modules per se ..."
Abstract

Cited by 96 (23 self)
 Add to MetaCart
(Show Context)
The modeltheoretic investigation of modules has led to ideas, techniques and results which are of algebraic interest, irrespective of their modeltheoretic significance. It is these aspects that I will discuss in this article, although I will make some comments on the model theory of modules per se. Our default is that the term “module ” will mean (unital) right module over a ring (associative with 1) R. The category of such modules is denoted ModR, the full subcategory of finitely presented modules will be denoted modR, the
Cohomological quotients and smashing localizations
 Amer. J. Math
"... Abstract. The quotient of a triangulated category modulo a subcategory was defined by Verdier. Motivated by the failure of the telescope conjecture, we introduce a new type of quotients for any triangulated category which generalizes Verdier’s construction. Slightly simplifying this concept, the coh ..."
Abstract

Cited by 24 (6 self)
 Add to MetaCart
(Show Context)
Abstract. The quotient of a triangulated category modulo a subcategory was defined by Verdier. Motivated by the failure of the telescope conjecture, we introduce a new type of quotients for any triangulated category which generalizes Verdier’s construction. Slightly simplifying this concept, the cohomological quotients are flat epimorphisms, whereas the Verdier quotients are Ore localizations. For any compactly generated triangulated category S, a bijective correspondence between the smashing localizations of S and the cohomological quotients of the category of compact objects in S is established. We discuss some applications of this theory, for instance the problem of lifting chain complexes along a ring homomorphism. This is motivated by some consequences in algebraic Ktheory and demonstrates the relevance of the telescope
Failure Of Brown Representability In Derived Categories
"... Let T be a triangulated category with coproducts, T c T the full subcategory of compact objects in T. If T is the homotopy category of spectra, Adams proved the following in [1]: All homological functors fT c g op ! Ab are the restrictions of representable functors on T, and all natural tr ..."
Abstract

Cited by 23 (0 self)
 Add to MetaCart
(Show Context)
Let T be a triangulated category with coproducts, T c T the full subcategory of compact objects in T. If T is the homotopy category of spectra, Adams proved the following in [1]: All homological functors fT c g op ! Ab are the restrictions of representable functors on T, and all natural transformations are the restrictions of morphisms in T. It has been something of a mystery, to what extent this generalises to other triangulated categories. In [36], it was proved that Adams' theorem remains true as long as T c is countable, but can fail in general. The failure exhibited was that there can be natural transformations not arising from maps in T. A puzzling open problem remained: Is every homological functor the restriction of a representable functor on T? In a recent paper, Beligiannis [5] made some progress. But in this article, we settle the problem. The answer is no. There are examples of derived categories T = D(R) of rings, and homological functors fT c g op ! Ab which are not restrictions of representables. Contents
Homological algebra in bivariant Ktheory and other triangulated categories
"... Abstract. Bivariant (equivariant) Ktheory is the standard setting for noncommutative topology. We may carry over various techniques from homotopy theory and homological algebra to this setting. Here we do this for some basic notions from homological algebra: phantom maps, exact chain complexes, pro ..."
Abstract

Cited by 22 (6 self)
 Add to MetaCart
(Show Context)
Abstract. Bivariant (equivariant) Ktheory is the standard setting for noncommutative topology. We may carry over various techniques from homotopy theory and homological algebra to this setting. Here we do this for some basic notions from homological algebra: phantom maps, exact chain complexes, projective resolutions, and derived functors. We introduce these notions and apply them to examples from bivariant Ktheory. An important observation of Beligiannis is that we can approximate our
DIMENSIONS OF TRIANGULATED CATEGORIES VIA KOSZUL OBJECTS
"... Abstract. Lower bounds for the dimension of a triangulated category are provided. These bounds are applied to stable derived categories of Artin algebras and of commutative complete intersection local rings. As a consequence, one obtains bounds for the representation dimensions of certain Artin alge ..."
Abstract

Cited by 20 (10 self)
 Add to MetaCart
Abstract. Lower bounds for the dimension of a triangulated category are provided. These bounds are applied to stable derived categories of Artin algebras and of commutative complete intersection local rings. As a consequence, one obtains bounds for the representation dimensions of certain Artin algebras. 1.
C ∗ALGEBRAS OVER TOPOLOGICAL SPACES: FILTRATED KTHEORY
, 810
"... Abstract. We define the filtrated Ktheory of a C ∗algebra over a finite topological space X and explain how to construct a spectral sequence that computes the bivariant Kasparov theory over X in terms of filtrated Ktheory. For finite spaces with totally ordered lattice of open subsets, this spect ..."
Abstract

Cited by 14 (0 self)
 Add to MetaCart
(Show Context)
Abstract. We define the filtrated Ktheory of a C ∗algebra over a finite topological space X and explain how to construct a spectral sequence that computes the bivariant Kasparov theory over X in terms of filtrated Ktheory. For finite spaces with totally ordered lattice of open subsets, this spectral sequence becomes an exact sequence as in the Universal Coefficient Theorem, with the same consequences for classification. We also exhibit an example where filtrated Ktheory is not yet a complete invariant. We describe two C ∗algebras over a space X with four points that have isomorphic filtrated Ktheory without being KK(X)equivalent. For this space X, we enrich filtrated Ktheory by another Ktheory functor to a complete invariant up to KK(X)equivalence that satisfies a Universal Coefficient Theorem. 1.
On The Freyd Categories Of An Additive Category
, 2000
"... To any additive category C, we associate in a functorial way two additive categories A(C), B(C). The category A(C), resp. B(C), is the reflection of C in the category of additive categories with cokernels, resp. kernels, and cokernel, resp. kernel, preserving functors. Then the iteration AB(C) i ..."
Abstract

Cited by 10 (5 self)
 Add to MetaCart
To any additive category C, we associate in a functorial way two additive categories A(C), B(C). The category A(C), resp. B(C), is the reflection of C in the category of additive categories with cokernels, resp. kernels, and cokernel, resp. kernel, preserving functors. Then the iteration AB(C) is the reflection of C in the category of abelian categories and exact functors. We call A(C) and B(C) the Freyd categories of C since the first systematic study of these categories was done by Freyd in the midsixties. The purpose of the paper is to study further the Freyd categories and to indicate their applications to the module theory of an abelian or triangulated category.