Modern Source for Spectra (including Ring Spectra) - MathOverflow most recent 30 from http://mathoverflow.net2013-05-20T17:59:12Zhttp://mathoverflow.net/feeds/question/81740http://www.creativecommons.org/licenses/by-nc/2.5/rdfhttp://mathoverflow.net/questions/81740/modern-source-for-spectra-including-ring-spectraModern Source for Spectra (including Ring Spectra)Anthony Bak2011-11-23T19:13:18Z2011-11-26T02:12:56Z
<p>I am looking for a modern introduction to Spectra that improves on the treatment by Adams in his "Stable Homotopy and Generalized Homology" notes (by improves I mean taking into account what has been learned since the notes were written). In particular I'm interested in a source that covers some of the variations on Spectra (CW Spectra, Symmetric Spectra, Other types/categories of Spectra etc.) and Ring Spectra.</p>
<p>Question: What is good introduction to the modern point of view on Spectra?</p>
<p>I am particularly interested in the stable/unstable Adams' spectral sequence but the source need not take that as a goal.</p>
<p>As an aside I'll point out that notes from Hatcher in his unfinished book on spectral sequences has a short but nice, clear and concrete introduction to spectra. It does not go into the detail and depth I need.</p>
http://mathoverflow.net/questions/81740/modern-source-for-spectra-including-ring-spectra/81750#81750Answer by Lennart Meier for Modern Source for Spectra (including Ring Spectra)Lennart Meier2011-11-23T20:07:31Z2011-11-23T20:07:31Z<p>There is probably no ideal source for this. The canonical choice for symmetric spectra is probably Stefan Schwede's book project <a href="http://www.math.uni-bonn.de/~schwede/SymSpec.pdf" rel="nofollow">http://www.math.uni-bonn.de/~schwede/SymSpec.pdf</a> . There you will find a good treatment of symmetric spectra and especially ring spectra and comparision with other types of spectra. There is nothing in there about the Adams spectral sequence, but you probably know that the treatment of the Adams spectral sequence mainly relies on formal properties of spectra, which can be shown in any model and therefore Adams's treatment might still be one of the best. </p>
http://mathoverflow.net/questions/81740/modern-source-for-spectra-including-ring-spectra/81756#81756Answer by Greg Friedman for Modern Source for Spectra (including Ring Spectra)Greg Friedman2011-11-23T21:09:49Z2011-11-23T21:09:49Z<p>Probably neither of these will be exactly what you're looking for, but here are two references that come to mind and might have some of what you want:</p>
<p>Algebraic Topology by Robert M. Switzer is a good classical source. It doesn't have the newer things you're looking for, but it's less hand-wavey than Adams tends to be. </p>
<p>On Thom Spectra, Orientability, and Cobordism by Yuli Rudyak. I don't remember exactly what's in there (probably not symmetric spectra), but I've found it to be a useful source in the past.</p>
<p>Certainly both of these handle ring spectra and module spectra. </p>
http://mathoverflow.net/questions/81740/modern-source-for-spectra-including-ring-spectra/81930#81930Answer by Peter May for Modern Source for Spectra (including Ring Spectra)Peter May2011-11-25T23:31:19Z2011-11-26T02:12:56Z<p>[I'm a novice, and this got posted out of order: it answers Bak's question below.]</p>
<p>Sure, I can provide that. The cited reference was published in 1995, which
was well before details of symmetric or orthogonal spectra were available,
so it gives a fair amount of background but only refers to EKMM spectra for
a modern category. There is a paper (Mandell, May, Schwede, Shipley) that
compares all choices except EKMM, and there are various papers that compare
those choices with EKMM, starting with a paper by Schwede. Those papers are
maybe more technical than you want. A recent survey paper compares the various
approaches philosophically: see Sections 11 and 12 of my paper</p>
<p>What precisely are $E_{\infty}$ ring spaces and $E_{\infty}$ ring spectra?
Geometry \& Topology Monographs 16(2009), 215--282.</p>
<p>That gives references and is fairly independent of Sections 1-10. It starts
with a theorem (11.1) of Gaunce Lewis explaining that there is no ideal choice
of category: if you assume your category has all the good properties
you want, you reach a contradiction. The incompatibility comes when you ask
for a homotopically meaningful symmetric monoidal structure on your category
of spectra that also has a homotopically meaningful monoidal adjunction
$(\Sigma^{\infty},\Omega^{\infty})$ relating spaces and spectra. I'm old-fashioned
maybe, but I think spaces are still kind of important. </p>
<p>EKMM comes as close as possible to having such an adjunction, with the related
advantage that all objects are fibrant and the related disadvantage that the sphere
spectrum is not cofibrant. Symmetric and orthogonal spectra have the advantage that
they are significantly easier to define and the sphere spectrum is cofibrant.<br>
The simplicial version of symmetric spectra has the advantage that it is especially
well-suited to adaptation to the motivic world. Orthogonal spectra have the
advantage that they are much better suited for equivariant and parametrized
generalizations than symmetric spectra. Common features are captured by the
web of Quillen equivalences relating not just all known constructions but
all possible ``good'' model categories of spectra: there is an axiomatization,
due to Shipley; symmetric spectra play a privileged role in the proof.</p>