A *hypercovering* in an $\infty$-topos $E$ is a simplicial object $U \in {\rm Fun}(\Delta^{\rm op},E)$ such that each map $U\_n \to ({\rm cosk}\_{n-1} U)\_n$ is an effective epimorphism. Theorem 6.5.3.12 of *Higher Topos Theory* shows that if $E$ is hypercomplete, then all hypercoverings are *effective*, i.e. ${\rm colim}(U)$ is terminal.


The notion of hypercovering makes sense also for *semisimplicial* objects $U \in {\rm Fun}(\Delta\_s^{\rm op},E)$, with $\Delta\_s$ the subcategory of injective maps in $\Delta$. I believe the argument of Lemma 6.5.3.7 in HTT shows that the underlying semisimplicial object of a simplicial object $U$ is a semisimplicial hypercovering if and only if $U$ is a simplicial hypercovering, and since the inclusion $\Delta\_s \subseteq \Delta$ is homotopy cofinal (Lemma 6.5.3.7 in HTT) their colimits also coincide. However, not every semisimplicial object underlies any simplicial object. On the other hand, we can left Kan extend a semisimplicial object from $\Delta\_s$ to $\Delta$ to obtain a simplicial object with the same colimit, but this operation doesn't preserve the property of being a hypercovering. This exhausts my ideas for reducing the semisimplicial case to the simplicial one; I've also inspected the proof of 6.5.3.12, but it's not clear to me how to generalize it to the semisimplicial case, since it seems to use the degeneracies (even though, intriguingly, the way it uses them is to reduce one of the main questions to the semisimplicial case, in 6.5.3.9!).


So is a semisimplicial hypercovering in a hypercomplete $\infty$-topos necessarily effective?



Are semisimplicial hypercoverings in a hypercomplete $\infty$-topos effective?
You should check out appendix A of SAG, which has a much-expanded section on semisimplicial hypercoverings. In particular, take a look at A.5.3.3.


<http://www.math.harvard.edu/~lurie/papers/SAG-rootfile.pdf>


