In this section we prove some technical lemmas which we will need later. Let $\mathcal{C}$ be a site with fibre products. Let $X$ be an object of $\mathcal{C}$. As we pointed out in Section 25.7 above, the objects $U \times K$ and $\mathop{\mathrm{Hom}}\nolimits (U, K)$ for certain simplicial sets $U$ and any simplicial object $K$ of $\text{SR}(\mathcal{C}, X)$ are defined. See Simplicial, Sections 14.13 and 14.17.
Lemma 25.8.1. Let $\mathcal{C}$ be a site with fibre products. Let $X$ be an object of $\mathcal{C}$. Let $K$ be a hypercovering of $X$. Let $U \subset V$ be simplicial sets, with $U_ n, V_ n$ finite nonempty for all $n$. Assume that $U$ has finitely many nondegenerate simplices. Suppose $n \geq 0$ and $x \in V_ n$, $x \not\in U_ n$ are such that
$V_ i = U_ i$ for $i < n$,
$V_ n = U_ n \cup \{ x\} $,
any $z \in V_ j$, $z \not\in U_ j$ for $j > n$ is degenerate.
Then the morphism
of $\text{SR}(\mathcal{C}, X)$ is a covering.
Proof. If $n = 0$, then it follows easily that $V = U \amalg \Delta [0]$ (see below). In this case $\mathop{\mathrm{Hom}}\nolimits (V, K)_0 = \mathop{\mathrm{Hom}}\nolimits (U, K)_0 \times K_0$. The result, in this case, then follows from Lemma 25.3.2.
Let $a : \Delta [n] \to V$ be the morphism associated to $x$ as in Simplicial, Lemma 14.11.3. Let us write $\partial \Delta [n] = i_{(n-1)!} \text{sk}_{n - 1} \Delta [n]$ for the $(n - 1)$-skeleton of $\Delta [n]$. Let $b : \partial \Delta [n] \to U$ be the restriction of $a$ to the $(n - 1)$ skeleton of $\Delta [n]$. By Simplicial, Lemma 14.21.7 we have $V = U \amalg _{\partial \Delta [n]} \Delta [n]$. By Simplicial, Lemma 14.17.5 we get that
is a fibre product square. Thus it suffices to show that the bottom horizontal arrow is a covering. By Simplicial, Lemma 14.21.11 this arrow is identified with
and hence is a covering by definition of a hypercovering. $\square$
Lemma 25.8.2. Let $\mathcal{C}$ be a site with fibre products. Let $X$ be an object of $\mathcal{C}$. Let $K$ be a hypercovering of $X$. Let $U \subset V$ be simplicial sets, with $U_ n, V_ n$ finite nonempty for all $n$. Assume that $U$ and $V$ have finitely many nondegenerate simplices. Then the morphism of $\text{SR}(\mathcal{C}, X)$ is a covering.
\[ \mathop{\mathrm{Hom}}\nolimits (V, K)_0 \longrightarrow \mathop{\mathrm{Hom}}\nolimits (U, K)_0 \]
Proof. By Lemma 25.8.1 above, it suffices to prove a simple lemma about inclusions of simplicial sets $U \subset V$ as in the lemma. And this is exactly the result of Simplicial, Lemma 14.21.8. $\square$
Lemma 25.8.3. Let $\mathcal{C}$ be a site with fibre products. Let $X$ be an object of $\mathcal{C}$. Let $K$ be a hypercovering of $X$. Then
$K_ n$ is a covering of $X$ for each $n \geq 0$,
$d^ n_ i : K_ n \to K_{n - 1}$ is a covering for all $n \geq 1$ and $0 \leq i \leq n$.
Proof. Recall that $K_0$ is a covering of $X$ by Definition 25.3.3 and that this is equivalent to saying that $K_0 \to \{ X \to X\} $ is a covering in the sense of Definition 25.3.1. Hence (1) follows from (2) because it will prove that the composition $K_ n \to K_{n - 1} \to \ldots \to K_0 \to \{ X \to X\} $ is a covering by Lemma 25.3.2.
Proof of (2). Observe that $\mathop{\mathrm{Mor}}\nolimits (\Delta [n], K)_0 = K_ n$ by Simplicial, Lemma 14.17.4. Therefore (2) follows from Lemma 25.8.2 applied to the $n + 1$ different inclusions $\Delta [n - 1] \to \Delta [n]$. $\square$
Remark 25.8.4. A useful special case of Lemmas 25.8.2 and 25.8.3 is the following. Suppose we have a category $\mathcal{C}$ having fibre products. Let $P \subset \text{Arrows}(\mathcal{C})$ be a subset stable under base change, stable under composition, and containing all isomorphisms. Then one says a $P$-hypercovering is an augmentation $a : U \to X$ from a simplicial object of $\mathcal{C}$ such that
$U_0 \to X$ is in $P$,
$U_1 \to U_0 \times _ X U_0$ is in $P$,
$U_{n + 1} \to (\text{cosk}_ n\text{sk}_ n U)_{n + 1}$ is in $P$ for $n \geq 1$.
The category $\mathcal{C}/X$ has all finite limits, hence the coskeleta used in the formulation above exist (see Categories, Lemma 4.18.4). Then we claim that the morphisms $U_ n \to X$ and $d^ n_ i : U_ n \to U_{n - 1}$ are in $P$. This follows from the aforementioned lemmas by turning $\mathcal{C}$ into a site whose coverings are $\{ f : V \to U\} $ with $f \in P$ and taking $K$ given by $K_ n = \{ U_ n \to X\} $.
Your email address will not be published. Required fields are marked.
In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).
All contributions are licensed under the GNU Free Documentation License.
Comments (0)