# Homotopy equivalences between singular simplicial sets

Let $A$ be a topological space, and $S(A)$ its singular simplicial set. If $|S(A)|$ denotes the geometric realisation, it is known that the co-unit $\epsilon_A\colon|S(A)|\to A$ is a weak-equivalence.

Now, since the functor $S$ preserves weak-equivalences, the map $S(\epsilon_A)\colon S(|S(A)|)\to S(A)$ is still a weak equivalence. Since both simplicial sets are Kan complexes, it is in fact an homotopy equivalence, and one inverse is given by the unit of the adjunction $\eta_{S(A)}\colon S(A)\to S(|S(A)|)$.

One checks easily by hand that $S(\epsilon_A)\circ\eta_{S(A)}=\text{Id}_{S(A)}$. The question is, does there exist an explicit homotopy between $\eta_{S(A)}\circ S(\epsilon_A)$ and $\text{Id}_{S(|S(A)|)}$, preferably functorial in $A$?

Edit : after a bit of work, I reformulated my question into several questions that do not rely on any explicit homotopy. I am still interested in an answer for the previous question, but any answer to the reformulated ones would be helpfull.

(1) : Let $K$ be a simplicial set (one might assume that it is the nerve of a (finite) poset if needed). Taking the realisation, and applying the previous construction, we have an homotopy equivalence given by $S(\epsilon_{|K|})\colon S(|S(|K|)|)\to S(|K|)$ and $\eta_{S(|K|)}\colon S(|K|)\to S(|S(|K|)|)$. We have $S(\epsilon_{|K|})\circ\eta_{S(|K|)}=\text{Id}_{S(|K|)}$, the first question is, does there exist an homotopy $H\colon S(|S(|K|)|)\times \Delta^1\to S(|S(|K|)|)$ between $\eta_{S(|K|)}\circ S(\epsilon_{|K|})$ and $\text{Id}_{S(|S(|K|)|)}$ such that the following diagram commutes

$$\require{AMScd}\begin{CD} K\times\Delta^1@>\text{pr}_K>>K\\ @V(\eta_{S(|K|)}\circ\eta_K)\times \Delta^1 VV@VV\eta_{S(|K|)}\circ\eta_K V\\ S(|S(|K|)|)\times \Delta^1@>H>>S(|S(|K|)|) \end{CD}$$

(2) Let $f\colon A\to |K|$ be a continous map, where $K$ is the same simplicial set as in (1), and let $H$ be the homotopy obtained in (1) (or any fixed homotopy). Does there exist a homotopy $H'\colon S(|S(A)|)\times \Delta^1\to S(|S(A)|)$ between $\eta_{S(A)}\circ S(\epsilon_A)$ and $\text{Id}_{S(|S(A)|)}$ such that the following diagram commutes : $$\begin{CD} S(|S(A)|)\times \Delta^1@>H'>>S(|S(A)|)\\ @VS(|S(f)|)\times \Delta^1 VV@VVS(|S(f)|)V\\ S(|S(|K|)|)\times \Delta^1@>H>>S(|S(|K|)|) \end{CD}$$

Edit 2: The answer to (1) seems to be positive. Indeed in Piccinini and Fritsch Cellular structures in topology, in Proposition 4.5.29, they show that for any topological space $T$, there is an homotopy relative to $S(T)$ between $\text{Id}$ and $\eta_{S(T)}\circ S(\epsilon_T)$, which is stronger than (1).

I still can't figure out the answer to (2), even though I suspect that the proofs of Proposition 4.5.29 and the preceeding theorem could be adapted to provide such a homotopy. Any help on this point would be appreciated.

Fritsch, Rudolf; Piccinini, Renzo A., Cellular structures in topology, Cambridge Studies in Advanced Mathematics. 19. Cambridge etc.: Cambridge University Press. xi, 326 p. (1990). ZBL0837.55001.