retractive space in nLab

Contents

Contents

Idea

In parameterized homotopy theory, by a retractive space (older terminology: “ex-space” [James (1995)], cf. footnote 1, p. 19 in May & Sigurdsson (2006)) one means a retraction in a given category 𝒮\mathcal{S} of models for homotopy types (usually in TopologicalSpaces or SimplicialSets), to be thought of as a bundle p:E→Bp \colon E \to B of pointed topological spaces over a base space BB, where the section i:B→Ei \colon B \to E exhibits the fiber-wise base points.

Just as plain pointed topological spaces serve as the basis on which to construct spectra, so retractive spaces serve as a basis on which to construct parameterized spectra.

Definition

A retractive space is a commuting diagram in a category 𝒮\mathcal{S} “of spaces”, of this form:

Taking the category 𝒮 ℛ\mathcal{S}_{\mathcal{R}} of retractive spaces to have as morphisms the evident commuting diagrams

reflecting bundle-homomorphisms respecting the base points, this is equivalent to the Grothendieck construction on the pseudo-functor

(𝒮 /(−)) */:𝒮⟶Cat \big(\mathcal{S}_{/(-)}\big)^{\ast/} \;\colon\; \mathcal{S} \longrightarrow Cat

which sends

• spaces B∈ℬB \in \mathcal{B} to the pointed category (𝒮 /B) */\big(\mathcal{S}_{/B}\big)^{\ast/} of pointed objects in the slice category of 𝒮\mathcal{S} over BB (i.e. in the category of “bundles” over the fixed base space BB),

• morphisms f:B→B′f \colon B \to B' of base spaces to the functor f !f_! forming pushouts of bundles along f !f_!:

i.e.

𝒮 ℛ≃∫ B∈𝒮(𝒮 /B) */. \mathcal{S}_{\mathcal{R}} \;\simeq\; \int_{B \in \mathcal{S}} \big(\mathcal{S}_{/B}\big)^{\ast/} \,.

This follows readily from the definitions, but see also Braunack-Mayer (2021), Rem. 1.15; Hebestreit, Sagave & Schlichtkrull (2020), Lem. 2.14.

• retraction

• parameterized homotopy theory

• parameterized spectrum

• model structure for parameterized spectra

References

The terminology “ex-spaces” is due to Ioan James, used for instance in:

• Ioan Mackenzie James, Introduction to fibrewise homotopy theory in Ioan Mackenzie James (ed.), Handbook of Algebraic Topology (1995)

Early discussion of their model category structures includes

• Michele Intermont, Mark Johnson, Model structures on the category of ex-spaces, Topology and its Applications 119 3 (2002) 325-353 [doi:10.1016/S0166-8641(01)00076-1]

Discussion in the context of model structures for parameterized spectra:

• Peter May, Johann Sigurdsson, Sections 1.3 and 8.5 of: Parametrized Homotopy Theory, Mathematical Surveys and Monographs, vol. 132, AMS 2006 (ISBN:978-0-8218-3922-5, arXiv:math/0411656, pdf)

• Vincent Braunack-Mayer, Combinatorial parametrised spectra, Algebr. Geom. Topol. 21 (2021) 801-891 [arXiv:1907.08496, doi:10.2140/agt.2021.21.801]

  (based on the PhD thesis, 2018)

• Fabian Hebestreit, Steffen Sagave, Christian Schlichtkrull, Multiplicative parametrized homotopy theory via symmetric spectra in retractive spaces, Forum of Mathematics, Sigma 8 (2020) e16 [arXiv:1904.01824, doi:10.1017/fms.2020.11]

• Cary Malkiewich, Section 2.1 in: Parametrized spectra, a low-tech approach [arXiv:1906.04773, user guide: pdf, pdf]