Is the $\infty$-topos $Sh(X)$ hypercomplete whenever $X$ is a CW complex? It can be shown (see Is every paracompact, Hausdorff, locally contractible space homotopy equivalent to a CW complex?) that if $X$ is a locally contractible paracompact Hausdorff space such that the $\infty$-topos $Sh(X)$ of sheaves on $X$ is hypercomplete then $X$ is homotopy equivalent to a CW complex. On the other hand, if $X$ is actually a CW complex then $X$ is a locally contractible paracompact Hausdorff space. However, it is not clear if in this case $Sh(X)$ is necessarily hypercomplete (it is true, for example, if $X$ is finite dimensional). Note that we are talking about the $\infty$-topos of all sheaves, not just the locally constant ones. The question then naturally arises - is $Sh(X)$ hypercomplete for every CW complex $X$?
 A: ETA The answer is yes in general. Replace 2 below with a reference to HTT, Prop. 7.1.5.8.
Since this has been open for a while, let me give a partial answer which hopefully is already interesting: I believe that the ∞-topos of sheaves on any locally finite (equivalently, locally compact) CW complex $X$ is hypercomplete. Since we know this is true if $X$ is finite-dimensional, the following two observations imply the result:


*

*Any colimit of hypercomplete ∞-topoi is hypercomplete.

*If a locally compact space $X$ is a filtered union of closed subspaces $X_i$, then the ∞-topos $\operatorname{Shv}(X)$ is the colimit of the ∞-topoi $\operatorname{Shv}(X_i)$. (Here "locally compact" can be in the sense of Higher Topos Theory, Def. 7.3.1.7.)
One might hope to answer the question for arbitrary CW complexes by generalizing 2.
Assertion 1 follows from the fact that hypercomplete ∞-topoi form a coreflective subcategory of ∞-topoi (HTT, Prop. 6.5.2.13).
Assertion 2 can be proved using the description of sheaves on locally compact spaces in terms of K-sheaves (HTT, Def. 7.3.4.1, Cor. 7.3.4.10). I claim that, if $i: Y\hookrightarrow X$ is a closed embedding of locally compact spaces, then precomposition with $i$ preserves K-sheaves.
The only nontrivial point to check is the colimit condition: if $F$ is a sheaf on $X$ and $K\subset Y$ is compact, we must show that $$F(K)=\operatorname{colim}_{K\Subset_Y K'} F(K').$$ The LHS is the colimit of $F(U)$ over the filtered poset of opens $U\subset X$ containing $K$, while the RHS is the colimit of $F(U)$ over the filtered poset of pairs $K'\subset U$ with $K\Subset_Y K'$ and $U$ open in $X$. Since $X$ is locally compact and $Y$ is closed in $X$, it is clear that the "forget $K'$" map between these posets is cofinal.
Thus, the pullback functor $i^*: \operatorname{Shv}(X) \to \operatorname{Shv}(Y)$ is simply given by $(i^*F)(K) = F(i(K))$. Since any compact subset of $X$ belongs to $X_i$ for some $i$ (by a standard argument), we see that a K-sheaf on $X$ is the same thing as a compatible family of K-sheaves on the subspaces $X_i$, which is exactly what Assertion 2 is saying (colimits of ∞-topoi being computed as limits of underlying ∞-categories).
