Proposition 36.17.1. Let $X$ be a quasi-compact and quasi-separated scheme. An object of $D_\mathit{QCoh}(\mathcal{O}_ X)$ is compact if and only if it is perfect.
Proof. If $K$ is a perfect object of $D(\mathcal{O}_ X)$ with dual $K^\vee $ (Cohomology, Lemma 20.50.5) we have
functorially in $M$. Since $K^\vee \otimes _{\mathcal{O}_ X}^\mathbf {L} -$ commutes with direct sums and since $H^0(X, -)$ commutes with direct sums on $D_\mathit{QCoh}(\mathcal{O}_ X)$ by Lemma 36.4.5 we conclude that $K$ is compact in $D_\mathit{QCoh}(\mathcal{O}_ X)$.
Conversely, let $K$ be a compact object of $D_\mathit{QCoh}(\mathcal{O}_ X)$. To show that $K$ is perfect, it suffices to show that $K|_ U$ is perfect for every affine open $U \subset X$, see Cohomology, Lemma 20.49.2. Observe that $j : U \to X$ is a quasi-compact and separated morphism. Hence $Rj_* : D_\mathit{QCoh}(\mathcal{O}_ U) \to D_\mathit{QCoh}(\mathcal{O}_ X)$ commutes with direct sums, see Lemma 36.4.5. Thus the adjointness of restriction to $U$ and $Rj_*$ implies that $K|_ U$ is a compact object of $D_\mathit{QCoh}(\mathcal{O}_ U)$. Hence we reduce to the case that $X$ is affine.
Assume $X = \mathop{\mathrm{Spec}}(A)$ is affine. By Lemma 36.3.5 the problem is translated into the same problem for $D(A)$. For $D(A)$ the result is More on Algebra, Proposition 15.78.3. $\square$
Comments (0)
There are also: