nLab split hypercover

Contents

model category

Model structures

for ∞-groupoids

for $(\infty,1)$-sheaves / $\infty$-stacks

$(\infty,1)$-Topos Theory

(∞,1)-topos theory

Constructions

structures in a cohesive (∞,1)-topos

Contents

Idea

A split hypercover is a cofibrant resolution of a representable in the projective local model structure on simplicial presheaves $[C^{op}, sSet]_{proj,loc}$ over a site $C$.

It is a hypercover satisfying an extra condition that roughly says that it is degreewise freely given by representables.

Definition

Regard $X \in C$ under the Yoneda embedding as an object $X \in [C^{op}, sSet]_{proj,loc}$. Then a morphism $(Y \to X) \in [C^{op}, sSet]$ is a split hypercover of $X$ if

1. $Y$ is a hypercover in that

1. $Y$ is degreewise a coproduct of representables,

$Y = \int^{[n] \in \Delta} \Delta[n] \cdot \coprod_{i_n} U_{i_n} \;\,, \;\;\; with \{U_{i_n} \in C\}$ ;

2. with $Y \to X$ regarded as a presheaf of augmented simplicial sets, for all $n \in \mathbb{N}$ the morphism $Y_{n+1} \to (\mathbf{cosk}_n Y)_{n+1}$ into the $n+1$-cells of the $n$-coskeleton is a local epimorphism with respect to the given Grothendieck topology on $C$

2. $Y$ is split in that the image of the degeneracy maps identifies with a direct summand in each degree.

Properties

The splitness condition on the hypercover is precisely such that $Y$ becomes a cofibrant object in $[C^{op}, sSet]_{proj,loc}$, according to the characterization of such cofibrant objects described here.

Examples

Over the site CartSp, the Cech nerve of an open cover becomes split as a height-0 hypercover precisely if the cover is a good open cover.

References

Last revised on August 31, 2010 at 03:56:17. See the history of this page for a list of all contributions to it.