Working in the category T of based spaces, we give the basic theory of diagram spaces and diagram spectra. These are functorsD→T for a suitable small topological categoryD. WhenD is symmetric monoidal, there is a smash product that gives the category of D‐spaces a symmetric monoidal structure. Examples include prespectra, as defined classically, symmetric spectra, as defined by Jeff Smith, orthogonal spectra, a coordinate‐free analogue of symmetric spectra with symmetric groups replaced by orthogonal groups in the domain category, Γ‐spaces, as defined by Graeme Segal, W‐spaces, an analogue of Γ‐spaces with finite sets replaced by finite CW complexes in the domain category. We construct and compare model structures on these categories. With the caveat that Γ‐spaces are always connective, these categories, and their simplicial analogues, are Quillen equivalent and their associated homotopy categories are equivalent to the classical stable homotopy category. Monoids in these categories are (strict) ring spectra. Often the subcategories of ring spectra, module spectra over a ring spectrum, and commutative ring spectra are also model categories. When this holds, the respective categories of ring and module spectra are Quillen equivalent and thus have equivalent homotopy categories. This allows interchangeable use of these categories in applications. 2000Mathematics Subject Classification: primary 55P42; secondary 18A25, 18E30, 55U35.
In recent years the theory of structured ring spectra (formerly known as A∞‐ and E∞‐ring spectra) has been simplified by the discovery of categories of spectra with strictly associative and commutative smash products. Now a ring spectrum can simply be defined as a monoid with respect to the smash product in one of these new categories of spectra. In this paper we provide a general method for constructing model category structures for categories of ring, algebra, and module spectra. This provides the necessary input for obtaining model categories of symmetric ring spectra, functors with smash product, Gamma‐rings, and diagram ring spectra. Algebraic examples to which our methods apply include the stable module category over the group algebra of a finite group and unbounded chain complexes over a differential graded algebra. 1991 Mathematics Subject Classification: primary 55U35; secondary 18D10.
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 construct Quillen equivalences between the model categories of monoids (rings), modules and algebras over two Quillen equivalent model categories under certain conditions. This is a continuation of our earlier work where we established model categories of monoids, modules and algebras [SS00]. As an application we extend the Dold-Kan equivalence to show that the model categories of simplicial rings, modules and algebras are Quillen equivalent to the associated model categories of connected differential graded rings, modules and algebras. We also show that our classification results from [SS03] concerning stable model categories translate to any one of the known symmetric monoidal model categories of spectra.
In this paper we advertise the category of Γ-spaces as a convenient framework for doing ‘algebra’ over ‘rings’ in stable homotopy theory. Γ-spaces were introduced by Segal [Se] who showed that they give rise to a homotopy category equivalent to the usual homotopy category of connective (i.e. (−1)-connected) spectra. Bousfield and Friedlander [BF] later provided model category structures for Γ-spaces. The study of ‘rings, modules and algebras’ based on Γ-spaces became possible when Lydakis [Ly] introduced a symmetric monoidal smash product with good homotopical properties. Here we develop model category structures for modules and algebras, set up (derived) smash products and associated spectral sequences and compare simplicial modules and algebras to their Eilenberg–MacLane spectra counterparts.
Abstract. Let k be a field and let G be a finite group. There is a canonical element in the Hochschild cohomology of the Tate cohomology γ G ∈ HH 3,−1Ĥ * (G, k) with the following property. Given a gradedĤ(X, X) vanishes if and only if X is isomorphic to a direct summand ofĤ * (G, M ) for some kG-module M .The description of the realizability obstruction works in any triangulated category with direct sums. We show that in the case of the derived category of a differential graded algebra A, there is also a canonical element of Hochschild cohomology HH 3,−1 H * (A) which is a predecessor for these obstructions.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.
hi@scite.ai
10624 S. Eastern Ave., Ste. A-614
Henderson, NV 89052, USA
Copyright © 2024 scite LLC. All rights reserved.
Made with 💙 for researchers
Part of the Research Solutions Family.