Skip to main content
3 of 3
http -> https (the question was bumped anyway)
Martin Sleziak
  • 4.7k
  • 4
  • 35
  • 40

When is a topological space the homotopy colimit of an open covering?

Suppose that $X$ is a topological space and $\left(U_i \to X\right)$ is an open cover. We can associate to it the Cech diagram of this cover $$C_U:\Delta^{op} \to Top.$$ I know that for many good classes of topological spaces, the homotopy colimit of $C_U$ is $X$ (e.g. for manifolds). How general is this result? Does it hold e.g. for locally contractible spaces? I believe that In general $X$ is (weakly) homotopy equivalent to the fat geometric realization of $C_U$ (e.g. see Cor. 4.8 here: https://arxiv.org/abs/0907.3925) , but for a general simplicial space, this need not agree with hocolim. Any feedback or references would be appreciated. Thanks!

David Carchedi
  • 15.5k
  • 38
  • 99