11
votes
2answers
340 views

Truncations of E_infinity algebras

In section 4.1 of Lurie's DAG VIII, he implies the existence of an $E_\infty$-ring spectrum $A$ such that the coconnective truncation $\tau_{\leq 0} (A)$ does not admit the structure of an ...
1
vote
0answers
154 views

Units of a ring spectrum

Is there a good notion of the spectrum of units $R^\ast$ in a (possibly non-connective) $E_\infty$-ring spectrum $R$? A standard definition (see section 1.2 in http://arxiv.org/abs/0810.4535) seems ...
19
votes
1answer
861 views

Why not a Roadmap for Homotopy Theory and Spectra?

MO has seen plenty of roadmap questions but oddly enough I haven't seen one for homotopy theory. As an algebraic geometer who's fond of derived categories I would like some guidance on how to build up ...
2
votes
1answer
137 views

Does Wolbert's derived equivalence between $E_*^R$-local $R$-modules and $R_E$-modules come from a Quillen equivalence?

Let $R$ be a ring spectrum (in the world of EKMM $S$-modules) and let $E$ be a smashing $R$-module. Denote by $R_E$ the $E_*$-localization of $R$. By a theorem of Wolbert (Theorem 2 in Classifying ...
5
votes
1answer
107 views

Is this a description of the $\aleph_1$-localizing subcategory generated by a compact generator?

This should be obvious but I'm not seeing it: The $\mathfrak T$ be a triangulated category with coproducts and with a compact generator $A$ (that is, the functor $\mathfrak T(A,\_)$ preserves ...
6
votes
1answer
539 views

Are Thom spectra MU, MSO and K-theory spectra KU, KO modules over some truncations of the sphere spectrum?

The Thom spectrum MO is a module over the ring spectrum π≤0S=HZ, where S is the sphere spectrum. In particular, MO is equivalent to the Eilenberg-MacLane spectrum Hπ*(MO). On the other hand, MU and ...
3
votes
1answer
208 views

If a t-truncation of the unit object in a stable homotopy category is a ring object up to homotopy, can it be lifted to a ring spectrum? What about the Postnikov t-truncations of the sphere spectrum?

Let $S$ be the unit object in a monoidal stable homotopy category $SH$ (we demand that the multiplication $S\times S\to S$ is commutative and associative on the level of spectra, and not just up to ...