## Tag `0994`

## 55.13. Compact generation

Let $S$ be a scheme. The site $S_{pro\text{-}\acute{e}tale}$ has enough quasi-compact, weakly contractible objects $U$. For any sheaf of rings $\mathcal{A}$ on $S_{pro\text{-}\acute{e}tale}$ the corresponding objects $j_{U!}\mathcal{A}_U$ are compact objects of the derived category $D(\mathcal{A})$, see Cohomology on Sites, Lemma 21.42.5. Since every complex of $\mathcal{A}$-modules is quasi-isomorphic to a complex whose terms are direct sums of the modules $j_{U!}\mathcal{A}_U$ (details omitted). Thus we see that $D(\mathcal{A})$ is generated by its compact objects.

The same argument works for the big pro-étale site of $S$.

The code snippet corresponding to this tag is a part of the file `proetale.tex` and is located in lines 2795–2814 (see updates for more information).

```
\section{Compact generation}
\label{section-compact-generation}
\noindent
Let $S$ be a scheme. The site $S_\proetale$ has enough quasi-compact,
weakly contractible objects $U$. For any sheaf of rings $\mathcal{A}$
on $S_\proetale$ the corresponding objects $j_{U!}\mathcal{A}_U$
are compact objects of the derived category $D(\mathcal{A})$, see
Cohomology on Sites, Lemma
\ref{sites-cohomology-lemma-quasi-compact-weakly-contractible-compact}.
Since every complex of $\mathcal{A}$-modules is quasi-isomorphic to
a complex whose terms are direct sums of the modules
$j_{U!}\mathcal{A}_U$ (details omitted). Thus we see that
$D(\mathcal{A})$ is generated by its compact objects.
\medskip\noindent
The same argument works for the big pro-\'etale site of $S$.
```

## Comments (0)

## Add a comment on tag `0994`

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 lower-right corner).

All contributions are licensed under the GNU Free Documentation License.

There are no comments yet for this tag.