Lemma 84.25.1. Let $U$ be a simplicial object of $\textit{LC}$ and let $a : U \to X$ be an augmentation. There is a commutative diagram

$\xymatrix{ \mathop{\mathit{Sh}}\nolimits ((\textit{LC}_{qc}/U)_{total}) \ar[r]_-h \ar[d]_{a_{qc}} & \mathop{\mathit{Sh}}\nolimits (U_{Zar}) \ar[d]^ a \\ \mathop{\mathit{Sh}}\nolimits (\textit{LC}_{qc}/X) \ar[r]^-{h_{-1}} & \mathop{\mathit{Sh}}\nolimits (X) }$

where the left vertical arrow is defined in Section 84.21 and the right vertical arrow is defined in Lemma 84.2.8.

Proof. Write $\mathop{\mathit{Sh}}\nolimits (X) = \mathop{\mathit{Sh}}\nolimits (X_{Zar})$. Observe that both $(\textit{LC}_{qc}/U)_{total}$ and $U_{Zar}$ fall into case A of Situation 84.3.3. This is immediate from the construction of $U_{Zar}$ in Section 84.2 and it follows from Lemma 84.21.5 for $(\textit{LC}_{qc}/U)_{total}$. Next, consider the functors $U_{n, Zar} \to \textit{LC}_{qc}/U_ n$, $U \mapsto U/U_ n$ and $X_{Zar} \to \textit{LC}_{qc}/X$, $U \mapsto U/X$. We have seen that these define morphisms of sites in Cohomology on Sites, Section 21.31. Thus we obtain a morphism of simplicial sites compatible with augmentations as in Remark 84.5.4 and we may apply Lemma 84.5.5 to conclude. $\square$

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).