Introduction Prologue: the category of ${\mathbb L}$-spectra Structured ring and module spectra The homotopy theory of $R$-modules The algebraic theory of $R$-modules $R$-ring spectra and the specialization to $MU$ Algebraic $K$-theory of $S$-algebras $R$-algebras and topological model categories Bousfield localizations of $R$-modules and algebras Topological Hochschild homology and cohomology Some basic constructions on spectra Spaces of linear isometries and technical theorems The monadic bar construction Epilogue: The category of ${\mathbb L}$-spectra under $S$ Appendix A. Twisted half-smash products and function spectra Bibliography Index.

Rings, Modules, and Algebras in Stable Homotopy Theory

This is the second part of a series of papers devoted to develop Homotopical Algebraic Geometry. We start by defining and studying generalizations of standard notions of linear and commutative algebra in an abstract monoidal model category, such as derivations, etale and smooth maps, flat and projective modules, etc. We then use the theory of stacks over model categories introduced in \cite{hagI} in order to define a general notion of geometric stack over a base symmetric monoidal model category C, and prove that this notion satisfies the expected properties. The rest of the paper consists in specializing C to several different contexts. First of all, when C=k-Mod is the category of modules over a ring k, with the trivial model structure, we show that our notion gives back the algebraic n-stacks of C. Simpson. Then we set C=sk-Mod, the model category of simplicial k-modules, and obtain this way a notion of geometric derived stacks which are the main geometric objects of Derived Algebraic Geometry. We give several examples of derived version of classical moduli stacks, as for example the derived stack of local systems on a space, of algebra structures over an operad, of flat bundles on a projective complex manifold, etc. Finally, we present the cases where C=(k) is the model category of unbounded complexes of modules over a char 0 ring k, and C=Sp^{\Sigma} the model category of symmetric spectra. In these two contexts, called respectively Complicial and Brave New Algebraic Geometry, we give some examples of geometric stacks such as the stack of associative dg-algebras, the stack of dg-categories, and a geometric stack constructed using topological modular forms.

/pdf/homotopical-algebraic-geometry-ii-geometric-stacks-and-dyi1d00ajz.pdf

Homotopical Algebraic Geometry II: Geometric Stacks and Applications

Higher Algebraic K-Theory

On the cyclic homology of exact categories

This chapter and the next are adapted from a lecture published in the Proceedings of the Third Physics Workshop, held at the Institute of Theoretical and Experimental Physics, Moscow, in 1975. They focus on the uses of homotopy theory in physics, and especially on the calculation of homotopy groups. The next chapter summarizes briefly the ways in which homotopy theory can be applied to quantum field theory.

Elements of Homotopy Theory

Algebraic K-theory.- Gamma-spaces and S-algebras.- Reductions.- Topological Hochschild Homology.- The Trace K --> THH.- Topological Cyclic Homology.- The Comparison of K-theory and TC.

Randy McCarthy

Papers

The local structure of algebraic K-theory

Relative algebraic K-theory and topological cyclic homology

The cyclic homology of an exact category

Stable K-theory and topological Hochschild homology

Topological Hochschild homology of ring functors and exact categories