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.

Abstract. We show that if two rings have equivalent derived categories then they have the same algebraic K-theory. Similar results are given for G-theory, and for a large class of abelian categories. Contents

Abstract: We show that the homotopy theory of differential graded algebras coincides with the homotopy theory of HZ-algebra spectra. Namely, we construct Quillen equivalences between the Quillen model categories of (unbounded) differential graded algebras and HZ-algebra spectra. We also construct Quillen equivalences between the differential graded modules and module spectra over these algebras. We use these equivalences in turn to produce algebraic models for rational stable model categories. We show that bascially any rational stable model category is Quillen equivalent to modules over a differential graded Q-algebra (with many objects). 1.

Abstract. We investigate the relationship between differential graded algebras (dgas) and topological ring spectra. Every dga C gives rise to an Eilenberg-Mac Lane ring spectrum denoted HC. If HC and HD are weakly equivalent, then we say C and D are topologically equivalent. Quasiisomorphic dgas are topologically equivalent, but we produce explicit counterexamples of the converse. We also develop an associated notion of topological Morita equivalence using a homotopical version of tilting. Contents

Abstract. We construct localization cofiber sequences for the topological Hochschild homology (THH) and topological cyclic homology (TC) of spectral categories. Using a “global ” construction of the THH and TC of a scheme in terms of the perfect complexes in a spectrally enriched version of the category of unbounded complexes, the sequences specialize to localization cofiber sequences associated to the inclusion of an open subscheme. These are the targets of the cyclotomic trace from the localization sequence of Thomason-Trobaugh in K-theory. We also deduce versions of Thomason’s blow-up formula and the projective bundle formula for THH and TC. 1.

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

Abstract. We define the notion of an additive model category and prove that

Abstract. Let M be a smooth manifold and V a Euclidean space. Let Emb(M, V) be the homotopy fiber of the map Emb(M, V) − → Imm(M, V). This paper is about the rational homology of Emb(M, V). We study it by applying embedding calculus and orthogonal calculus to the bi-functor (M, V) ↦ → HQ ∧ Emb(M, V)+. Our main theorem states that if dim V ≥ 2ED(M) + 1 (where ED(M) is the embedding dimension of M), the Taylor tower in the sense of orthogonal calculus (henceforward called “the orthogonal tower”) of this functor splits as a product of its layers. Equivalently, the rational homology spectral sequence associated with the tower collapses at E 1. In the case of knot embeddings, this spectral sequence coincides with the Vassiliev spectral sequence. The main ingredients in the proof are embedding calculus and Kontsevich’s theorem on the formality of the little balls operad. We write explicit formulas for the layers in the orthogonal tower of the functor HQ ∧ Emb(M, V)+. The formulas show, in particular, that the (rational) homotopy type of the layers of the orthogonal tower is determined by the (rational) homotopy type of M. This, together with our rational splitting theorem, implies that, under the above assumption on codimension, rational homology equivalences of manifolds induce isomorphisms between the rational homology groups of Emb(−, V).

We study spaces of natural transformations between homogeneous functors in Goodwillie’s calculus of homotopy functors and in Weiss’s orthogonal calculus. We give a description of such spaces of natural transformations in terms of the homotopy fixed point construction. Our main application is a delooping theorem for connecting maps in the Goodwillie tower of the identity and in the Weiss tower of BU(V). The interest in such deloopings stems from conjectures made by the first and the third author [4] that these towers provide a source of contracting homotopies for certain projective chain complexes of spectra.

ABSTRACT. For M a closed, connected, oriented manifold, we obtain the Batalin-Vilkovisky (BV) algebra of its string topology through homotopy-theoretic constructions on its based loop space. In particular, we show that the Hochschild cohomology of the chain algebra C∗ΩM carries a BV algebra structure isomorphic to that of the loop homology H∗(LM). Furthermore, this BV algebra structure is compatible with the usual cup product and Gerstenhaber bracket on Hochschild cohomology. To produce this isomorphism, we use a derived form of Poincaré duality with C∗ΩM-modules as local coefficient systems, and a related version of Atiyah duality for parametrized spectra connects the algebraic constructions to the Chas-Sullivan loop product. 1.