The Stacks project

83.16 The site associate to a simplicial semi-representable object

Let $\mathcal{C}$ be a site. Let $K$ be a simplicial object of $\text{SR}(\mathcal{C})$. As usual, set $K_ n = K([n])$ and denote $K(\varphi ) : K_ n \to K_ m$ the morphism associated to $\varphi : [m] \to [n]$. By the construction in Section 83.15 we obtain a simplicial object $n \mapsto \mathcal{C}/K_ n$ in the category whose objects are sites and whose morphisms are cocontinuous functors. In other words, we get a gadget as in Case B of Section 83.3. The functors satisfy property P by Lemma 83.15.1. Hence we may apply Lemma 83.3.2 to obtain a site $(\mathcal{C}/K)_{total}$.

We can describe the site $(\mathcal{C}/K)_{total}$ explicitly as follows. Say $K_ n = \{ U_{n, i}\} _{i \in I_ n}$. For $\varphi : [m] \to [n]$ the morphism $K(\varphi ) : K_ n \to K_ m$ is given by a map $\alpha (\varphi ) : I_ n \to I_ m$ and morphisms $f_{\varphi , i} : U_{n, i} \to U_{m, \alpha (\varphi )(i)}$ for $i \in I_ n$. Then we have

  1. an object of $(\mathcal{C}/K)_{total}$ corresponds to an object $(U/U_{n, i})$ of $\mathcal{C}/U_{n, i}$ for some $n$ and some $i \in I_ n$,

  2. a morphism between $U/U_{n, i}$ and $V/U_{m, j}$ is a pair $(\varphi , f)$ where $\varphi : [m] \to [n]$, $j = \alpha (\varphi )(i)$, and $f : U \to V$ is a morphism of $\mathcal{C}$ such that

    \[ \vcenter { \xymatrix{ U \ar[r]_ f \ar[d] & V \ar[d] \\ U_{n, i} \ar[r]^-{f_{\varphi , i}} & U_{m, j} } } \]

    is commutative, and

  3. coverings of the object $U/U_{n, i}$ are constructed by starting with a covering $\{ f_ j : U_ j \to U\} $ in $\mathcal{C}$ and letting $\{ (\text{id}, f_ j) : U_ j/U_{n, i} \to U/U_{n, i}\} $ be a covering in $(\mathcal{C}/K)_{total}$.

All of our general theory developed for simplicial sites applies to $(\mathcal{C}/K)_{total}$. Observe that the obvious forgetful functor

\[ j_{total} : (\mathcal{C}/K)_{total} \longrightarrow \mathcal{C} \]

is continuous and cocontinuous. It turns out that the associated morphism of topoi comes from an (obvious) augmentation.

Lemma 83.16.1. Let $\mathcal{C}$ be a site. Let $K$ be a simplicial object of $\text{SR}(\mathcal{C})$. The localization functor $j_0 : \mathcal{C}/K_0 \to \mathcal{C}$ defines an augmentation $a_0 : \mathop{\mathit{Sh}}\nolimits (\mathcal{C}/K_0) \to \mathop{\mathit{Sh}}\nolimits (\mathcal{C})$, as in case (B) of Remark 83.4.1. The corresponding morphisms of topoi

\[ a_ n : \mathop{\mathit{Sh}}\nolimits (\mathcal{C}/K_ n) \longrightarrow \mathop{\mathit{Sh}}\nolimits (\mathcal{C}),\quad a : \mathop{\mathit{Sh}}\nolimits ((\mathcal{C}/K)_{total}) \longrightarrow \mathop{\mathit{Sh}}\nolimits (\mathcal{C}) \]

of Lemma 83.4.2 are equal to the morphisms of topoi associated to the continuous and cocontinuous localization functors $j_ n : \mathcal{C}/K_ n \to \mathcal{C}$ and $j_{total} : (\mathcal{C}/K)_{total} \to \mathcal{C}$.

Proof. This is immediate from working through the definitions. See in particular the footnote in the proof of Lemma 83.4.2 for the relationship between $a$ and $j_{total}$. $\square$

Lemma 83.16.2. With assumption and notation as in Lemma 83.16.1 we have the following properties:

  1. there is a functor $a^{Sh}_! : \mathop{\mathit{Sh}}\nolimits ((\mathcal{C}/K)_{total}) \to \mathop{\mathit{Sh}}\nolimits (\mathcal{C})$ left adjoint to $a^{-1} : \mathop{\mathit{Sh}}\nolimits (\mathcal{C}) \to \mathop{\mathit{Sh}}\nolimits ((\mathcal{C}/K)_{total})$,

  2. there is a functor $a_! : \textit{Ab}((\mathcal{C}/K)_{total}) \to \textit{Ab}(\mathcal{C})$ left adjoint to $a^{-1} : \textit{Ab}(\mathcal{C}) \to \textit{Ab}((\mathcal{C}/K)_{total})$,

  3. the functor $a^{-1}$ associates to $\mathcal{F}$ in $\mathop{\mathit{Sh}}\nolimits (\mathcal{C})$ the sheaf on $(\mathcal{C}/K)_{total}$ wich in degree $n$ is equal to $a_ n^{-1}\mathcal{F}$,

  4. the functor $a_*$ associates to $\mathcal{G}$ in $\textit{Ab}((\mathcal{C}/K)_{total})$ the equalizer of the two maps $j_{0, *}\mathcal{G}_0 \to j_{1, *}\mathcal{G}_1$,

Proof. Parts (3) and (4) hold for any augmentation of a simplicial site, see Lemma 83.4.2. Parts (1) and (2) follow as $j_{total}$ is continuous and cocontinuous. The functor $a^{Sh}_!$ is constructed in Sites, Lemma 7.21.5 and the functor $a_!$ is constructed in Modules on Sites, Lemma 18.16.2. $\square$

Lemma 83.16.3. Let $\mathcal{C}$ be a site. Let $K$ be a simplicial object of $\text{SR}(\mathcal{C})$. Let $U/U_{n, i}$ be an object of $\mathcal{C}/K_ n$. Let $\mathcal{F} \in \textit{Ab}((\mathcal{C}/K)_{total})$. Then

\[ H^ p(U, \mathcal{F}) = H^ p(U, \mathcal{F}_{n, i}) \]

where

  1. on the left hand side $U$ is viewed as an object of $\mathcal{C}_{total}$, and

  2. on the right hand side $\mathcal{F}_{n, i}$ is the $i$th component of the sheaf $\mathcal{F}_ n$ on $\mathcal{C}/K_ n$ in the decomposition $\mathop{\mathit{Sh}}\nolimits (\mathcal{C}/K_ n) = \prod \mathop{\mathit{Sh}}\nolimits (\mathcal{C}/U_{n, i})$ of Section 83.15.

Proof. This follows immediately from Lemma 83.8.4 and the product decompositions of Section 83.15. $\square$

Remark 83.16.4 (Variant for over an object). Let $\mathcal{C}$ be a site. Let $X \in \mathop{\mathrm{Ob}}\nolimits (\mathcal{C})$. Recall that we have a category $\text{SR}(\mathcal{C}, X) = \text{SR}(\mathcal{C}/X)$ of semi-representable objects over $X$, see Remark 83.15.5. We may apply the above discussion to the site $\mathcal{C}/X$. Briefly, the constructions above give

  1. a site $(\mathcal{C}/K)_{total}$ for a simplicial $K$ object of $\text{SR}(\mathcal{C}, X)$,

  2. a localization functor $j_{total} : (\mathcal{C}/K)_{total} \to \mathcal{C}/X$,

  3. localization functors $j_ n : \mathcal{C}/K_ n \to \mathcal{C}/X$,

  4. a morphism of topoi $a : \mathop{\mathit{Sh}}\nolimits ((\mathcal{C}/K)_{total}) \to \mathop{\mathit{Sh}}\nolimits (\mathcal{C}/X)$,

  5. morphisms of topoi $a_ n : \mathop{\mathit{Sh}}\nolimits (\mathcal{C}/K_ n) \to \mathop{\mathit{Sh}}\nolimits (\mathcal{C}/X)$,

  6. a functor $a^{Sh}_! : \mathop{\mathit{Sh}}\nolimits ((\mathcal{C}/K)_{total}) \to \mathop{\mathit{Sh}}\nolimits (\mathcal{C}/X)$ left adjoint to $a^{-1}$, and

  7. a functor $a_! : \textit{Ab}((\mathcal{C}/K)_{total}) \to \textit{Ab}(\mathcal{C}/X)$ left adjoint to $a^{-1}$.

All of the results of this section hold in this setting. To prove this one replaces the site $\mathcal{C}$ everywhere by $\mathcal{C}/X$.

Remark 83.16.5 (Ringed variant). Let $\mathcal{C}$ be a site. Let $\mathcal{O}_\mathcal {C}$ be a sheaf of rings. Given a simplicial semi-representable object $K$ of $\mathcal{C}$ we set $\mathcal{O} = a^{-1}\mathcal{O}_\mathcal {C}$, where $a$ is as in Lemmas 83.16.1 and 83.16.2. The constructions above, keeping track of the sheaves of rings as in Remark 83.15.6, give

  1. a ringed site $((\mathcal{C}/K)_{total}, \mathcal{O})$ for a simplicial $K$ object of $\text{SR}(\mathcal{C})$,

  2. a morphism of ringed topoi $a : (\mathop{\mathit{Sh}}\nolimits ((\mathcal{C}/K)_{total}), \mathcal{O}) \to (\mathop{\mathit{Sh}}\nolimits (\mathcal{C}), \mathcal{O}_\mathcal {C})$,

  3. morphisms of ringed topoi $a_ n : (\mathop{\mathit{Sh}}\nolimits (\mathcal{C}/K_ n), \mathcal{O}_ n) \to (\mathop{\mathit{Sh}}\nolimits (\mathcal{C}), \mathcal{O}_\mathcal {C})$,

  4. a functor $a_! : \textit{Mod}(\mathcal{O}) \to \textit{Mod}(\mathcal{O}_\mathcal {C})$ left adjoint to $a^*$.

The functor $a_!$ exists (but in general is not exact) because $a^{-1}\mathcal{O}_\mathcal {C} = \mathcal{O}$ and we can replace the use of Modules on Sites, Lemma 18.16.2 in the proof of Lemma 83.16.2 by Modules on Sites, Lemma 18.41.1. As discussed in Remark 83.15.6 there are exact functors $a_{n!} : \textit{Mod}(\mathcal{O}_ n) \to \textit{Mod}(\mathcal{O}_\mathcal {C})$ left adjoint to $a_ n^*$. Consequently, the morphisms $a$ and $a_ n$ are flat. Remark 83.15.6 implies the morphism of ringed topoi $f_\varphi : (\mathop{\mathit{Sh}}\nolimits (\mathcal{C}/K_ n), \mathcal{O}_ n) \to (\mathop{\mathit{Sh}}\nolimits (\mathcal{C}/K_ m), \mathcal{O}_ m)$ for $\varphi : [m] \to [n]$ is flat and there exists an exact functor $f_{\varphi !} : \textit{Mod}(\mathcal{O}_ n) \to \textit{Mod}(\mathcal{O}_ m)$ left adjoint to $f_\varphi ^*$. This in turn implies that for the flat morphism of ringed topoi $g_ n : (\mathop{\mathit{Sh}}\nolimits (\mathcal{C}/K_ n), \mathcal{O}_ n) \to (\mathop{\mathit{Sh}}\nolimits ((\mathcal{C}/K)_{total}), \mathcal{O})$ the functor $g_{n!} : \textit{Mod}(\mathcal{O}_ n) \to \textit{Mod}(\mathcal{O})$ left adjoint to $g_ n^*$ is exact, see Lemma 83.6.3.

Remark 83.16.6 (Ringed variant over an object). Let $\mathcal{C}$ be a site. Let $\mathcal{O}_\mathcal {C}$ be a sheaf of rings. Let $X \in \mathop{\mathrm{Ob}}\nolimits (\mathcal{C})$ and denote $\mathcal{O}_ X = \mathcal{O}_\mathcal {C}|_{\mathcal{C}/X}$. Then we can combine the constructions given in Remarks 83.16.4 and 83.16.5 to get

  1. a ringed site $((\mathcal{C}/K)_{total}, \mathcal{O})$ for a simplicial $K$ object of $\text{SR}(\mathcal{C}, X)$,

  2. a morphism of ringed topoi $a : (\mathop{\mathit{Sh}}\nolimits ((\mathcal{C}/K)_{total}), \mathcal{O}) \to (\mathop{\mathit{Sh}}\nolimits (\mathcal{C}/X), \mathcal{O}_ X)$,

  3. morphisms of ringed topoi $a_ n : (\mathop{\mathit{Sh}}\nolimits (\mathcal{C}/K_ n), \mathcal{O}_ n) \to (\mathop{\mathit{Sh}}\nolimits (\mathcal{C}/X), \mathcal{O}_ X)$,

  4. a functor $a_! : \textit{Mod}(\mathcal{O}) \to \textit{Mod}(\mathcal{O}_ X)$ left adjoint to $a^*$.

Of course, all the results mentioned in Remark 83.16.5 hold in this setting as well.


Comments (0)


Post a comment

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

Unfortunately JavaScript is disabled in your browser, so the comment preview function will not work.

All contributions are licensed under the GNU Free Documentation License.




In order to prevent bots from posting comments, we would like you to prove that you are human. You can do this by filling in the name of the current tag in the following input field. As a reminder, this is tag 0D8A. Beware of the difference between the letter 'O' and the digit '0'.