MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Given two simplicial topological spaces $X_{\bullet}$ and $Y_{\bullet}$ (i.e. a simplicial object in Top) and a continuous map between their geometric realizations $f \colon \lvert X_{\bullet} \rvert \to \lvert Y_{\bullet} \rvert$. Is $f$ homotopic to $\lvert \varphi_{\bullet} \rvert$ for a map $\varphi_{\bullet}$ of simplicial spaces?

share|cite|improve this question
To parallel ordinary simplicial approximation, shouldn't you allow $X$ to be replaced with some notion of its 'subdivision'? – Jeff Strom Mar 7 '12 at 19:29
@Jeff: That's true, but I had no idea what that should be in case of simplicial spaces. – Ulrich Pennig Mar 7 '12 at 19:58
The motivation for this admittedly naive question was the following setup: Consider a topological category C and homotopy classes of maps from a topological space X to BC. Now replace X by the geometric realization Y of the nerve of a good cover. This yields two simplicial spaces and I would understand [Y,BC] much better, if I had some kind of theorem like the above. – Ulrich Pennig Mar 7 '12 at 20:03

The answer is no. For an arbitrary simplicial space $X_\bullet$ we can consider $|X_\bullet|$ as a constant simplicial space, lets call this $Y_\bullet$. Then there is clearly the identity $|X_\bullet| \to |Y_\bullet|$, but there is in general no nontrivial map $X_\bullet \to Y_\bullet$ (take e.g. BG for a top. group $G$).

share|cite|improve this answer

I'm just reformulating your question in simplicial case. If you consider the category of simplicial sets $\mathbf{sSet}$ you can formulate your question as follows: Is the diagonal functor $diag: [\mathbf{\Delta}^{op},\mathbf{sSet}]\rightarrow \mathbf{sSet}$ from bisimplicial sets to simplicial sets homotopicaly full ? The diagonal functor is actually the realization functor. If we put the diagonal model structure on $ [\mathbf{\Delta}^{op},\mathbf{sSet}]$ then $diag$ is a Quillen equivalence. As a consequence, if $f: diag(X_{\bullet, \bullet})\rightarrow diag(Y_{\bullet, \bullet})$ is a bisimplicial map and $X_{\bullet, \bullet}$, $Y_{\bullet, \bullet}$ are fibrant-cofibrant bisimplicial sets (in the diagonal model structure), then there exists $g: X_{\bullet, \bullet}\rightarrow Y_{\bullet, \bullet}$ such that $diag(g)$ is homotopic to $f$.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

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