Relative recognition principle

Loop spaces (55P35) Stable homotopy theory, spectra (55P42) Loop space machines and operads in algebraic topology (55P48) Classification of fiber spaces or bundles in algebraic topology (55R15)

Abstract: In this paper the relative recognition principle will be proved. It states that a pair of spaces

(X_{o}, X_{c})

is weakly equivalent to

(O m e g a_{e}^{N} x t r e l (i o t a : B h o o k r i g h t a r r o w Y), O m e g a^{N} (Y))

if and only if

(X_{o}, X_{c})

are grouplike

o v e r l i n e m a t h c a l {S C}^{N}

-spaces, where

o v e r l i n e m a t h c a l {S C}^{N}

is any cofibrant resolution of the Swiss-cheese 2-operad

m a t h c a l {S C}^{N}

. This principle will be proved for connected

o v e r l i n e m a t h c a l {S C}^{N}

-spaces, and also for grouplike

o v e r l i n e m a t h c a l {S C}^{N}

-spaces for

2 < N l e q i n f t y

, in the form of an equivalence of homotopy categories.

Review text

For a map of pointed spaces $\iota :B\to Y$, let $\mathrm{HFib}(\iota)$ denote the homotopy fiber given by the space of all pairs $(b,\gamma)\in B\times Y^I$ such that $\gamma (0)=\iota (b)$ and $\gamma (1)=*$. For each $1\leq N<\infty$, let $\Omega_2^N(\iota)$ denote the relative $N$-loop pair functor given by $\Omega^N_2(\iota):=(Y^{S^N},\mathrm{HFib}(\iota)^{S^{N-1}})$. In this paper the author investigates the relative version $N$-loop space recognition principle as a generalization of the usual recognition principle obtained by Stasheff and May. Let $(X_c,X_o)$ be a pair of spaces which is homotopy equivalent to CW complexes and let $3\leq N<\infty$. Then the author proves that the pair $(X_c,X_o)$ is homotopy equivalent to $\Omega^N_2(\iota)$ for a functorially determined relative space $\iota:B\to Y$ if and only if $(X_c,X_o)$ is a grouplike $\overline{SC}_N$-space, where $\overline{SC}_N$ is any cofibrant resolution of the Swiss-cheese relative operad $SC_N$. Similarly he also proves that the pair $(X_c,X_o)$ is homotopy equivalent to $(Y_0,\mathrm{HFib}(\iota_0))$ for a functorially determined relative spectrum $\iota_*:B_*\nearrow Y_{*+1}$ if and only if the pair $(X_c,X_o)$ is a grouplike $\mathcal{E}^{\to}$-algebra, where $\mathcal{E}^{\to}$ is a contractible cofibrant relative operad or equivalently a cofibrant resolution of the terminal relative operad $\mathrm{Com}^{\to}$ of continuous homomorphisms of commutative monoids. He proves these equivalences as equivalences of homotopy categories.

Recommendations

Cites work

Cited in

(3)

This page was built for publication: Relative recognition principle

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2187734)