The Stacks project

85.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 85.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 85.3. The functors satisfy property P by Lemma 85.15.1. Hence we may apply Lemma 85.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 85.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 85.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 85.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 85.4.2 for the relationship between $a$ and $j_{total}$. $\square$

Lemma 85.16.2. With assumption and notation as in Lemma 85.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 85.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 85.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 85.15.

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

Remark 85.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 85.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 85.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 85.16.1 and 85.16.2. The constructions above, keeping track of the sheaves of rings as in Remark 85.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 85.16.2 by Modules on Sites, Lemma 18.41.1. As discussed in Remark 85.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 85.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 85.6.3.

Remark 85.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 85.16.4 and 85.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 85.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'.