Skip to main content
4 of 5
added 9 characters in body
Ilias A.
  • 2k
  • 10
  • 18

Vietoris-Begle theorem for simplicial sets

I've learned the theorem when reading a comment by Vidit Nanda to my question see here. Here is the (simplified) version of the theorem for topological spaces:

Vietoris-Begle Theorem

Let $f:X\rightarrow Y$ be a surjective closed continuous map between paracompact Hausdorff spaces. Assume that for any $y\in Y$, $f^{-1}(y)$ is weakly contractible, then the induced map $$H^{\ast}(f): H^{\ast}(Y,G)\rightarrow H^{\ast}(X,G)$$ is an isomorphism (reduced cohomology) for any abelian group $G$.

It seems that the assumption that $f$ is closed is essential.

My question is the following: Do we have a simplicial version of Vietoris-Begle Theorem ? i.e.,

simplicial Vietoris-Begle Theorem ?

Let $f:X\rightarrow Y$ be a surjective morphism of simplicial sets (Kan complexes). Assume that for any $y\in Y_{0}$, $f^{-1}(y)$ is weakly contractible simplicial sets, then the induced map $$H^{\ast}(f): H^{\ast}(Y,G)\rightarrow H^{\ast}(X,G)$$ is an isomorphism (reduced cohomology) for any abelian group $G$.

reference for the topological case: reference

Edit: Please feel free to add more conditions on $f,X ,Y$ but not the trivial ones such as $f$ is a fibration or something similar...
There is for example a simplicial (strong) version here (lemma 26, case (3))

Ilias A.
  • 2k
  • 10
  • 18