The inclusion of actual spectra (e.g. sequential Omega-spectra or excisive functors on $(\infty Grpd_{fin}^{\ast/})^{op}$) into pre-spectra (e.g. sequential pre-spectra or all functors on on $(\infty Grpd_{fin}^{\ast/})^{op}$) has a (infinity-)left adjoint, “spectrification”.
An original account is (Lewis 86). The following is the approach due to (Joyal 08), in the generality of parameterized spectra (which happens to make the analysis easier instead of harder).
Let $seq$ be the diagram category as follows:
Let $\mathbf{H}$ be an (∞,1)-topos, for instance $\mathbf{H} =$ ∞Grpd for purposes of traditional stable homotopy theory.
is equivalently
a choice of object $B \in \mathbf{H}$ (the image of $\ast \in seq$);
a sequence of objects $\{X_n\} \in \mathbf{H}_{/B}$ in the slice (∞,1)-topos over $B$;
a sequence of morphisms $X_n \longrightarrow \Omega_B X_{n+1}$ from $X_n$ into the loop space object of $X_{n+1}$ in the slice.
This is a prespectrum object in the slice (∞,1)-topos $\mathbf{H}_{/B}$.
A natural transformation $f \;\colon \;X_\bullet \to Y_\bullet$ between two such functors with components
is equivalently a morphism of base objects $f_b \;\colon\; B_1 \longrightarrow B_2$ in $\mathbf{H}$ together with morphisms $X_n \longrightarrow f_b^\ast Y_n$ into the (∞,1)-pullback of the components of $Y_\bullet$ along $f_b$.
Therefore the (∞,1)-presheaf (∞,1)-topos
is the codomain fibration of $\mathbf{H}$ with “fiberwise pre-stabilization”.
A genuine spectrum object is a prespectrum object for which all the structure maps $X_n \stackrel{\simeq}{\longrightarrow} \Omega_B X_{n+1}$ are equivalences. The full sub-(∞,1)-category
on the genuine spectrum objects is therefore the “fiberwise stabilization” of the self-indexing, hence the tangent $(\infty,1)$-category.
(spectrification is left exact reflective)
The inclusion of spectrum objects into $\mathbf{H}^{seq}$ is left reflective, hence it has a left adjoint (∞,1)-functor $L$ – spectrification – which preserves finite (∞,1)-limits.
Forming degreewise loop space objects constitutes an (∞,1)-functor $\Omega \colon \mathbf{H}^{seq} \longrightarrow \mathbf{H}^{seq}$ and by definition of $seq$ this comes with a natural transformation out of the identity
This in turn is compatible with $\Omega$ in that
Consider then a sufficiently deep transfinite composition $\rho^{tf}$. By the small object argument available in the presentable (∞,1)-category $\mathbf{H}$ this stabilizes, and hence provides a reflection $L \;\colon\; \mathbf{H}^{seq} \longrightarrow T \mathbf{H}$.
Since transfinite composition is a filtered (∞,1)-colimit and since in an (∞,1)-topos these commute with finite (∞,1)-limits, it follows that spectrum objects are an left exact reflective sub-(∞,1)-category.
See also at tangent (∞,1)-topos.
See at n-excisive functor – n-Excisive approximation and reflection
For $E$ a sequential CW-pre-spectrum, its spectrification to an Omega-spectrum may be constructed
(Lewis-May-Steinberger 86, p. 3, Weibel 94, 10.9.6 and topology exercise 10.9.2)
In the special case that $E = \Sigma^\infty X$ a suspension spectrum, i.e. with $E_n = \Sigma^n X$, then $(L E)_0$ is the free infinite loop space construction.
If the pre-spectrum $E$ is not a CW-spectrum then the construction of the spectrification is more involved (Lewis 86).
For $E$ a sequential prespectrum in pointed simplicial sets the spectrification may be constructed by (Bousfield-Friedlander 78, section 2.3)
(i.e. by the previous formula combined with geometric realization/Kan fibrant replacement).
Generally, for sequential spectra in any proper pointed simplicial model category which admits a small object argument, spectrification is discussed in (Schwede 97, section 2.1).
These spectrification functors on sequential prespectra satisfy the conditions of the Bousfield-Friedlander theorem, and hence the left Bousfield localization of pre-spectra with degree-wise fibrations weak equivalences at the morphisms of prespectra that become weak equivalences under spectrification exists. This is the stable Bousfield-Friedlander model structure.
Similarly for a coordinate-free spectrum $E$, if all the structure maps are inclusions
then the spectrification is
For symmetric spectra, see (Schwede 12, prop. 4.39).
Aldridge Bousfield, Eric Friedlander, Homotopy theory of $\Gamma$-spaces, spectra, and bisimplicial sets, Springer Lecture Notes in Math., Vol. 658, Springer, Berlin, 1978, pp. 80-130. (pdf)
L. Gaunce Lewis, Peter May, M. Steinberger, Equivariant stable homotopy theory, Springer Lecture Notes in Mathematics, 1986 (pdf)
L. Gaunce Lewis, Analysis of the passage from prespectra to spectra, appendix in L. Gaunce Lewis, Peter May, M. Steinberger, Equivariant stable homotopy theory, Springer Lecture Notes in Mathematics, 1986 (pdf)
Charles Weibel, An introduction to homological algebra, Cambridge Studies in Adv. Math. 38, CUP 1994
Anthony Elmendorf, Igor Kriz, Peter May, Modern foundations for stable homotopy theory, in Ioan Mackenzie James (ed.), Handbook of Algebraic Topology, Amsterdam: North-Holland, 1995 pp. 213–253, (pdf)
Stefan Schwede, Spectra in model categories and applications to the algebraic cotangent complex, Journal of Pure and Applied Algebra 120 (1997) 77-104 (pdf)
Stefan Schwede, around prop. 4.39 of Symmetric spectra (2012)
André Joyal, Notes on Logoi, 2008 (pdf)
Cary Malkiewich, Some facts about $Q X$ (pdf)
Last revised on June 9, 2022 at 05:59:13. See the history of this page for a list of all contributions to it.