Relative recognition principle (Q2187734)

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.