The Stacks project

\begin{equation*} \DeclareMathOperator\Coim{Coim} \DeclareMathOperator\Coker{Coker} \DeclareMathOperator\Ext{Ext} \DeclareMathOperator\Hom{Hom} \DeclareMathOperator\Im{Im} \DeclareMathOperator\Ker{Ker} \DeclareMathOperator\Mor{Mor} \DeclareMathOperator\Ob{Ob} \DeclareMathOperator\Sh{Sh} \DeclareMathOperator\SheafExt{\mathcal{E}\mathit{xt}} \DeclareMathOperator\SheafHom{\mathcal{H}\mathit{om}} \DeclareMathOperator\Spec{Spec} \newcommand\colim{\mathop{\mathrm{colim}}\nolimits} \newcommand\lim{\mathop{\mathrm{lim}}\nolimits} \newcommand\Qcoh{\mathit{Qcoh}} \newcommand\Sch{\mathit{Sch}} \newcommand\QCohstack{\mathcal{QC}\!\mathit{oh}} \newcommand\Cohstack{\mathcal{C}\!\mathit{oh}} \newcommand\Spacesstack{\mathcal{S}\!\mathit{paces}} \newcommand\Quotfunctor{\mathrm{Quot}} \newcommand\Hilbfunctor{\mathrm{Hilb}} \newcommand\Curvesstack{\mathcal{C}\!\mathit{urves}} \newcommand\Polarizedstack{\mathcal{P}\!\mathit{olarized}} \newcommand\Complexesstack{\mathcal{C}\!\mathit{omplexes}} \newcommand\Pic{\mathop{\mathrm{Pic}}\nolimits} \newcommand\Picardstack{\mathcal{P}\!\mathit{ic}} \newcommand\Picardfunctor{\mathrm{Pic}} \newcommand\Deformationcategory{\mathcal{D}\!\mathit{ef}} \end{equation*}

15.72 Characterizing perfect complexes

In this section we prove that the perfect complexes are exactly the compact objects of the derived category of a ring. First we show the following.

Lemma 15.72.1. Let $R$ be a ring. The full subcategory $D_{perf}(R) \subset D(R)$ of perfect objects is the smallest strictly full, saturated, triangulated subcategory containing $R = R[0]$. In other words $D_{perf}(R) = \langle R \rangle $. In particular, $R$ is a classical generator for $D_{perf}(R)$.

Proof. To see what the statement means, please look at Derived Categories, Definitions 13.6.1 and 13.33.2. It was shown in Lemmas 15.69.4 and 15.69.5 that $D_{perf}(R) \subset D(R)$ is a strictly full, saturated, triangulated subcategory of $D(R)$. Of course $R \in D_{perf}(R)$.

Recall that $\langle R \rangle = \bigcup \langle R \rangle _ n$. To finish the proof we will show that if $M \in D_{perf}(R)$ is represented by

\[ \ldots \to 0 \to M^ a \to M^{a + 1} \to \ldots \to M^ b \to 0 \to \ldots \]

with $M^ i$ finite projective, then $M \in \langle R \rangle _{b - a + 1}$. The proof is by induction on $b - a$. By definition $\langle R \rangle _1$ contains any finite projective $R$-module placed in any degree; this deals with the base case $b - a = 1$ of the induction. In general, we consider the distinguished triangle

\[ M_ b[-b] \to M^\bullet \to \sigma _{\leq b - 1}M^\bullet \to M_ b[-b + 1] \]

By induction the truncated complex $\sigma _{\leq b - 1}M^\bullet $ is in $\langle R \rangle _{b - a}$ and $M_ b[-b]$ is in $\langle R \rangle _1$. Hence $M^\bullet \in \langle R \rangle _{b - a + 1}$ by definition. $\square$

Let $R$ be a ring. Recall that $D(R)$ has direct sums which are given simply by taking direct sums of complexes, see Derived Categories, Lemma 13.31.5. We will use this in the lemmas of this section without further mention.

Lemma 15.72.2. Let $R$ be a ring. Let $K \in D(R)$ be an object such that for every countable set of objects $E_ n \in D(R)$ the canonical map

\[ \bigoplus \mathop{\mathrm{Hom}}\nolimits _{D(R)}(K, E_ n) \longrightarrow \mathop{\mathrm{Hom}}\nolimits _{D(R)}(K, \bigoplus E_ n) \]

is a bijection. Then, given any system $L_ n^\bullet $ of complexes over $\mathbf{N}$ we have that

\[ \mathop{\mathrm{colim}}\nolimits \mathop{\mathrm{Hom}}\nolimits _{D(R)}(K, L^\bullet _ n) \longrightarrow \mathop{\mathrm{Hom}}\nolimits _{D(R)}(K, L^\bullet ) \]

is a bijection, where $L^\bullet $ is the termwise colimit, i.e., $L^ m = \mathop{\mathrm{colim}}\nolimits L_ n^ m$ for all $m \in \mathbf{Z}$.

Proof. Consider the short exact sequence of complexes

\[ 0 \to \bigoplus L_ n^\bullet \to \bigoplus L_ n^\bullet \to L^\bullet \to 0 \]

where the first map is given by $1 - t_ n$ in degree $n$ where $t_ n : L_ n^\bullet \to L_{n + 1}^\bullet $ is the transition map. By Derived Categories, Lemma 13.12.1 this is a distinguished triangle in $D(R)$. Apply the homological functor $\mathop{\mathrm{Hom}}\nolimits _{D(R)}(K, -)$, see Derived Categories, Lemma 13.4.2. Thus a long exact cohomology sequence

\[ \xymatrix{ & \ldots \ar[r] & \mathop{\mathrm{Hom}}\nolimits _{D(R)}(K, \mathop{\mathrm{colim}}\nolimits L^\bullet _ n[-1]) \ar[lld] \\ \mathop{\mathrm{Hom}}\nolimits _{D(R)}(K, \bigoplus L^\bullet _ n) \ar[r] & \mathop{\mathrm{Hom}}\nolimits _{D(R)}(K, \bigoplus L^\bullet _ n) \ar[r] & \mathop{\mathrm{Hom}}\nolimits _{D(R)}(K, \mathop{\mathrm{colim}}\nolimits L^\bullet _ n) \ar[lld] \\ \mathop{\mathrm{Hom}}\nolimits _{D(R)}(K, \bigoplus L^\bullet _ n[1]) \ar[r] & \ldots } \]

Since we have assumed that $\mathop{\mathrm{Hom}}\nolimits _{D(R)}(K, \bigoplus L^\bullet _ n)$ is equal to $\bigoplus \mathop{\mathrm{Hom}}\nolimits _{D(R)}(K, L^\bullet _ n)$ we see that the first map on every row of the diagram is injective (by the explicit description of this map as the sum of the maps induced by $1 - t_ n$). Hence we conclude that $\mathop{\mathrm{Hom}}\nolimits _{D(R)}(K, \mathop{\mathrm{colim}}\nolimits L^\bullet _ n)$ is the cokernel of the first map of the middle row in the diagram above which is what we had to show. $\square$

The following proposition, characterizing perfect complexes as the compact objects (Derived Categories, Definition 13.34.1) of the derived category, shows up in various places. See for example [proof of Proposition 6.3, Rickard] (this treats the bounded case), [Theorem 2.4.3, TT] (the statement doesn't match exactly), and [Proposition 6.4, Bokstedt-Neeman] (watch out for horrendous notational conventions).

Proposition 15.72.3. Let $R$ be a ring. For an object $K$ of $D(R)$ the following are equivalent

  1. $K$ is perfect, and

  2. $K$ is a compact object of $D(R)$.

Proof. Assume $K$ is perfect, i.e., $K$ is quasi-isomorphic to a bounded complex $P^\bullet $ of finite projective modules, see Definition 15.69.1. If $E_ i$ is represented by the complex $E_ i^\bullet $, then $\bigoplus E_ i$ is represented by the complex whose degree $n$ term is $\bigoplus E_ i^ n$. On the other hand, as $P^ n$ is projective for all $n$ we have $\mathop{\mathrm{Hom}}\nolimits _{D(R)}(P^\bullet , K^\bullet ) = \mathop{\mathrm{Hom}}\nolimits _{K(R)}(P^\bullet , K^\bullet )$ for every complex of $R$-modules $K^\bullet $, see Derived Categories, Lemma 13.19.8. Thus $\mathop{\mathrm{Hom}}\nolimits _{D(R)}(P^\bullet , E^\bullet )$ is the cohomology of the complex

\[ \prod \mathop{\mathrm{Hom}}\nolimits _ R(P^ n, E^{n - 1}) \to \prod \mathop{\mathrm{Hom}}\nolimits _ R(P^ n, E^ n) \to \prod \mathop{\mathrm{Hom}}\nolimits _ R(P^ n, E^{n + 1}). \]

Since $P^\bullet $ is bounded we see that we may replace the $\prod $ signs by $\bigoplus $ signs in the complex above. Since each $P^ n$ is a finite $R$-module we see that $\mathop{\mathrm{Hom}}\nolimits _ R(P^ n, \bigoplus _ i E_ i^ m) = \bigoplus _ i \mathop{\mathrm{Hom}}\nolimits _ R(P^ n, E_ i^ m)$ for all $n, m$. Combining these remarks we see that the map of Derived Categories, Definition 13.34.1 is a bijection.

Conversely, assume $K$ is compact. Represent $K$ by a complex $K^\bullet $ and consider the map

\[ K^\bullet \longrightarrow \bigoplus \nolimits _{n \geq 0} \tau _{\geq n} K^\bullet \]

where we have used the canonical truncations, see Homology, Section 12.14. This makes sense as in each degree the direct sum on the right is finite. By assumption this map factors through a finite direct sum. We conclude that $K \to \tau _{\geq n} K$ is zero for at least one $n$, i.e., $K$ is in $D^{-}(R)$.

Since $K \in D^{-}(R)$ and since every $R$-module is a quotient of a free module, we may represent $K$ by a bounded above complex $K^\bullet $ of free $R$-modules, see Derived Categories, Lemma 13.16.5. Note that we have

\[ K^\bullet = \bigcup \nolimits _{n \leq 0} \sigma _{\geq n}K^\bullet \]

where we have used the stupid truncations, see Homology, Section 12.14. Hence by Lemma 15.72.2 we see that $1 : K^\bullet \to K^\bullet $ factors through $\sigma _{\geq n}K^\bullet \to K^\bullet $ in $D(R)$. Thus we see that $1 : K^\bullet \to K^\bullet $ factors as

\[ K^\bullet \xrightarrow {\varphi } L^\bullet \xrightarrow {\psi } K^\bullet \]

in $D(R)$ for some complex $L^\bullet $ which is bounded and whose terms are free $R$-modules. Say $L^ i = 0$ for $i \not\in [a, b]$. Fix $a, b$ from now on. Let $c$ be the largest integer $\leq b + 1$ such that we can find a factorization of $1_{K^\bullet }$ as above with $L^ i$ is finite free for $i < c$. We will show by induction that $c = b + 1$. Namely, write $L^ c = \bigoplus _{\lambda \in \Lambda } R$. Since $L^{c - 1}$ is finite free we can find a finite subset $\Lambda ' \subset \Lambda $ such that $L^{c - 1} \to L^ c$ factors through $\bigoplus _{\lambda \in \Lambda '} R \subset L^ c$. Consider the map of complexes

\[ \pi : L^\bullet \longrightarrow (\bigoplus \nolimits _{\lambda \in \Lambda \setminus \Lambda '} R)[-i] \]

given by the projection onto the factors corresponding to $\Lambda \setminus \Lambda '$ in degree $i$. By our assumption on $K$ we see that, after possibly replacing $\Lambda '$ by a larger finite subset, we may assume that $\pi \circ \varphi = 0$ in $D(R)$. Let $(L')^\bullet \subset L^\bullet $ be the kernel of $\pi $. Since $\pi $ is surjective we get a short exact sequence of complexes, which gives a distinguished triangle in $D(R)$ (see Derived Categories, Lemma 13.12.1). Since $\mathop{\mathrm{Hom}}\nolimits _{D(R)}(K, -)$ is homological (see Derived Categories, Lemma 13.4.2) and $\pi \circ \varphi = 0$, we can find a morphism $\varphi ' : K^\bullet \to (L')^\bullet $ in $D(R)$ whose composition with $(L')^\bullet \to L^\bullet $ gives $\varphi $. Setting $\psi '$ equal to the composition of $\psi $ with $(L')^\bullet \to L^\bullet $ we obtain a new factorization. Since $(L')^\bullet $ agrees with $L^\bullet $ except in degree $c$ and since $(L')^ c = \bigoplus _{\lambda \in \Lambda '} R$ the induction step is proved.

The conclusion of the discussion of the preceding paragraph is that $1_ K : K \to K$ factors as

\[ K \xrightarrow {\varphi } L \xrightarrow {\psi } K \]

in $D(R)$ where $L$ can be represented by a finite complex of free $R$-modules. In particular we see that $L$ is perfect. Note that $e = \varphi \circ \psi \in \text{End}_{D(R)}(L)$ is an idempotent. By Derived Categories, Lemma 13.4.13 we see that $L = \mathop{\mathrm{Ker}}(e) \oplus \mathop{\mathrm{Ker}}(1 - e)$. The map $\varphi : K \to L$ induces an isomorphism with $\mathop{\mathrm{Ker}}(1 - e)$ in $D(R)$. Hence we finally conclude that $K$ is perfect by Lemma 15.69.5. $\square$

Lemma 15.72.4. Let $R$ be a ring. Let $I \subset R$ be an ideal. Let $K$ be an object of $D(R)$. Assume that

  1. $K \otimes _ R^\mathbf {L} R/I$ is perfect in $D(R/I)$, and

  2. $I$ is a nilpotent ideal.

Then $K$ is perfect in $D(R)$.

Proof. Choose a finite complex $\overline{P}^\bullet $ of finite projective $R/I$-modules representing $K \otimes _ R^\mathbf {L} R/I$, see Definition 15.69.1. By Lemma 15.70.3 there exists a complex $P^\bullet $ of projective $R$-modules representing $K$ such that $\overline{P}^\bullet = P^\bullet /IP^\bullet $. It follows from Nakayama's lemma (Algebra, Lemma 10.19.1) that $P^\bullet $ is a finite complex of finite projective $R$-modules. $\square$

Lemma 15.72.5. Let $R$ be a ring. Let $I, J \subset R$ be ideals. Let $K$ be an object of $D(R)$. Assume that

  1. $K \otimes _ R^\mathbf {L} R/I$ is perfect in $D(R/I)$, and

  2. $K \otimes _ R^\mathbf {L} R/J$ is perfect in $D(R/J)$.

Then $K \otimes _ R^\mathbf {L} R/IJ$ is perfect in $D(R/IJ)$.

Proof. It is clear that we may assume replace $R$ by $R/IJ$ and $K$ by $K \otimes _ R^\mathbf {L} R/IJ$. Then $R \to R/(I \cap J)$ is a surjection whose kernel has square zero. Hence by Lemma 15.72.4 it suffices to prove that $K \otimes _ R^\mathbf {L} R/(I \cap J)$ is perfect. Thus we may assume that $I \cap J = 0$.

We prove the lemma in case $I \cap J = 0$. First, we may represent $K$ by a K-flat complex $K^\bullet $ with all $K^ n$ flat, see Lemma 15.57.12. Then we see that we have a short exact sequence of complexes

\[ 0 \to K^\bullet \to K^\bullet /IK^\bullet \oplus K^\bullet /JK^\bullet \to K^\bullet /(I + J)K^\bullet \to 0 \]

Note that $K^\bullet /IK^\bullet $ represents $K \otimes ^\mathbf {L}_ R R/I$ by construction of the derived tensor product. Similarly for $K^\bullet /JK^\bullet $ and $K^\bullet /(I + J)K^\bullet $. Note that $K^\bullet /(I + J)K^\bullet $ is a perfect complex of $R/(I + J)$-modules, see Lemma 15.69.9. Hence the complexes $K^\bullet /IK^\bullet $, and $K^\bullet /JK^\bullet $ and $K^\bullet /(I + J)K^\bullet $ have finitely many nonzero cohomology groups (since a perfect complex has finite Tor-amplitude, see Lemma 15.69.2). We conclude that $K \in D^ b(R)$ by the long exact cohomology sequence associated to short exact sequence of complexes displayed above. In particular we assume $K^\bullet $ is a bounded above complex of free $R$-modules (see Derived Categories, Lemma 13.16.5).

We will now show that $K$ is perfect using the criterion of Proposition 15.72.3. Thus we let $E_ j \in D(R)$ be a family of objects parametrized by a set $J$. We choose complexes $E_ j^\bullet $ with flat terms representing $E_ j$, see for example Lemma 15.57.12. It is clear that

\[ 0 \to E_ j^\bullet \to E_ j^\bullet /IE_ j^\bullet \oplus E_ j^\bullet /JE_ j^\bullet \to E_ j^\bullet /(I + J)E_ j^\bullet \to 0 \]

is a short exact sequence of complexes. Taking direct sums we obtain a similar short exact sequence

\[ 0 \to \bigoplus E_ j^\bullet \to \bigoplus E_ j^\bullet /IE_ j^\bullet \oplus E_ j^\bullet /JE_ j^\bullet \to \bigoplus E_ j^\bullet /(I + J)E_ j^\bullet \to 0 \]

(Note that $- \otimes _ R R/I$ commutes with direct sums.) This short exact sequence determines a distinguished triangle in $D(R)$, see Derived Categories, Lemma 13.12.1. Apply the homological functor $\mathop{\mathrm{Hom}}\nolimits _{D(R)}(K, -)$ (see Derived Categories, Lemma 13.4.2) to get a commutative diagram

\[ \xymatrix{ \bigoplus \mathop{\mathrm{Hom}}\nolimits _{D(R)}(K^\bullet , E_ j^\bullet /(I + J))[-1] \ar[r] \ar[d] & \mathop{\mathrm{Hom}}\nolimits _{D(R)}(K^\bullet , \bigoplus E_ j^\bullet /(I + J))[-1] \ar[d] \\ \bigoplus \mathop{\mathrm{Hom}}\nolimits _{D(R)}(K^\bullet , E_ j^\bullet /I \oplus E_ j^\bullet /J)[-1] \ar[r] \ar[d] & \mathop{\mathrm{Hom}}\nolimits _{D(R)}(K^\bullet , \bigoplus E_ j^\bullet /I \oplus E_ j^\bullet /J)[-1] \ar[d] \\ \bigoplus \mathop{\mathrm{Hom}}\nolimits _{D(R)}(K^\bullet , E_ j^\bullet ) \ar[r] \ar[d] & \mathop{\mathrm{Hom}}\nolimits _{D(R)}(K^\bullet , \bigoplus E_ j^\bullet ) \ar[d] \\ \bigoplus \mathop{\mathrm{Hom}}\nolimits _{D(R)}(K^\bullet , E_ j^\bullet /I \oplus E_ j^\bullet /J) \ar[r] \ar[d] & \mathop{\mathrm{Hom}}\nolimits _{D(R)}(K^\bullet , \bigoplus E_ j^\bullet /I \oplus E_ j^\bullet /J) \ar[d] \\ \bigoplus \mathop{\mathrm{Hom}}\nolimits _{D(R)}(K^\bullet , E_ j^\bullet /(I + J)) \ar[r] & \mathop{\mathrm{Hom}}\nolimits _{D(R)}(K^\bullet , \bigoplus E_ j^\bullet /(I + J)) } \]

with exact columns. It is clear that, for any complex $E^\bullet $ of $R$-modules we have

\begin{align*} \mathop{\mathrm{Hom}}\nolimits _{D(R)}(K^\bullet , E^\bullet /I) & = \mathop{\mathrm{Hom}}\nolimits _{K(R)}(K^\bullet , E^\bullet /I) \\ & = \mathop{\mathrm{Hom}}\nolimits _{K(R/I)}(K^\bullet /IK^\bullet , E^\bullet /I) \\ & = \mathop{\mathrm{Hom}}\nolimits _{D(R/I)}(K^\bullet /IK^\bullet , E^\bullet /I) \end{align*}

and similarly for when dividing by $J$ or $I + J$, see Derived Categories, Lemma 13.19.8. Derived Categories. Thus all the horizontal arrows, except for possibly the middle one, are isomorphisms as the complexes $K^\bullet /IK^\bullet $, $K^\bullet /JK^\bullet $, $K^\bullet /(I + J)K^\bullet $ are perfect complexes of $R/I$, $R/J$, $R/(I + J)$-modules, see Proposition 15.72.3. It follows from the $5$-lemma (Homology, Lemma 12.5.20) that the middle map is an isomorphism and the lemma follows by Proposition 15.72.3. $\square$


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 07LQ. Beware of the difference between the letter 'O' and the digit '0'.