Skip to content

Commit

Permalink
Add remark on boundedness perfect complexes
Browse files Browse the repository at this point in the history
  • Loading branch information
aisejohan committed Apr 14, 2024
1 parent 7d09eef commit 8f452f6
Show file tree
Hide file tree
Showing 2 changed files with 11 additions and 0 deletions.
5 changes: 5 additions & 0 deletions cohomology.tex
Expand Up @@ -12482,6 +12482,11 @@ \section{Perfect complexes}
if it can be represented by a perfect complex of $\mathcal{O}_X$-modules.
\end{definition}

\noindent
If $X$ is quasi-compact, then a perfect object of $D(\mathcal{O}_X)$
is in $D^b(\mathcal{O}_X)$. But this need not be the case if
$X$ is not quasi-compact.

\begin{lemma}
\label{lemma-perfect-independent-representative}
Let $(X, \mathcal{O}_X)$ be a ringed space.
Expand Down
6 changes: 6 additions & 0 deletions sites-cohomology.tex
Expand Up @@ -12707,6 +12707,12 @@ \section{Perfect complexes}
if it can be represented by a perfect complex of $\mathcal{O}$-modules.
\end{definition}

\noindent
If $\Sh(\mathcal{C})$ is quasi-compact
(Sites, Section \ref{sites-section-quasi-compact}),
then a perfect object of $D(\mathcal{O})$
is in $D^b(\mathcal{O})$. But this need not be the case otherwise.

\begin{lemma}
\label{lemma-perfect-independent-representative}
Let $(\mathcal{C}, \mathcal{O})$ be a ringed site.
Expand Down

0 comments on commit 8f452f6

Please sign in to comment.