6
$\begingroup$

This is a question related to another one in MO
Background : A special simplicial space $X_{\cdot}$ is a simplicial space with $X_{0}=\ast$ and $X_{n}\simeq X_{1}^{n}$ via the simplicial map $v_{i}:[1]\rightarrow [n]$ where $v_{i}(1)=i$ and $v_{i}(0)=i-1$.
Denote the category of special simplicial spaces by $SsTop$ and the category of pointed spaces $Top_{\ast}$ (i,e.the pointed compactly generated weak Hausdorff spaces).

Now $\Omega_{\cdot}$, being defined via $$\Omega_{k}X\equiv hom((\triangle^{k},(\triangle^{k})^{0}),(X,x_{0})),$$ is a right adjoint of the realization functor $\vert-\vert$, where $(\triangle^{k})^{0}$ means the vertices of $\triangle^{k}$ (face and degeneracy defined as in the singular simplicial space). We call $\Omega_{\ast}X$ the special singular simplicial space of $X$, for $X\in Top_{\ast}$.

We thus obtain $$\vert-\vert: SsTop\leftrightarrows Top_{\ast}: \Omega$$

Now my first question is: Do we have $\vert\Omega_{\cdot}X\vert\rightarrow X$ is a (weak) homotopy equivalence? Or under what condition of $X$, one can have this?

This has been actually proved in [May: Classifying spaces and fibrations, Porp. 15.5], under the assumption that $X$ is well-pointed. However there some properness assumption of $\Omega_{\cdot}X$ is made use of, but which is not quite clear to me.

More precisely, he first indicated there is a simplicial map from $B_{\cdot}\Lambda X$, the bar construction of the Moore loop space $\Lambda X$ which is a topological monoid, to $\Omega_{\cdot}X$ and it is a level-wise homotopy equivalence as both simplicial spaces are special and the simplicial map induces a homotopy equivalence on the $1$-simplices.

Then by applying the lemma:
If a simplicial map between two proper simplicial spaces is level-wise homotopy equivalence, then it induces a homotopy equivalence after applying realization functor.

and using the homotopy equivalence $\vert B_{\cdot}\Lambda X\vert \rightarrow X$ as well as the decomposition $$\vert B_{\cdot}\Lambda X\vert\rightarrow \vert\Omega_{\cdot}X\vert\rightarrow X,$$ the assertion follows.

But in applying this lemma, we need to have $\Omega_{\cdot}X$ and $B_{\cdot}\Lambda X$ are proper simplicial spaces. For the latter it is rather fine (see below), but for the former it is then not so clear.

So my second question is: How to see $\Omega_{\cdot}X$ is proper when X is well-pointed? Or it is actually not the case?

For the bar construction of the Moore loop space, $B_{\cdot}\Lambda X$, I think I can see it is proper as the Moore loops space is well-pointed if $X$ is. For $\Omega_{\cdot}X$, though, it is not so clear to me. Beside, as far as I can see, one also cannot apply the approach in the solution of the MO question cited above as well as the construction of the counterexample there.

Any comment or solution will be very much appreciated.

Thank you in advance.

$\endgroup$

1 Answer 1

3
$\begingroup$

On page 21 of the cited paper of May, $\mathcal{T}$ is defined to be the category of nondegenerately based spaces, but he inconsiderately fails to say that that convention remains in place in Section 15. With that convention, as he also fails to say but is true, the right adjoint ($\Omega_*$ in the question, $S$ in May) takes values in May's category $\mathcal{S}^+\mathcal{T}$ of special proper simplicial based spaces and all is well.

$\endgroup$
2
  • 2
    $\begingroup$ On second thought, I am not so sure about the claim that S takes values in proper simplicial based spaces. The author seems to have been careless. $\endgroup$
    – Peter May
    Mar 11, 2016 at 1:50
  • $\begingroup$ @May: Thank you very much for the comment! Indeed if $X$ is well-pointed, I only can see the first degeneracy map $s_{0}:X_{0}\rightarrow X_{1}$ is a closed cofibration, and am not sure yet how to deal with the other degeneracy maps. $\endgroup$
    – yisheng
    Mar 11, 2016 at 9:41

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.