# nLab split hypercover

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

Revised on August 31, 2010 03:56:17 by Urs Schreiber (87.212.203.135)