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.69 Perfect complexes

A perfect complex is a pseudo-coherent complex of finite tor dimension. We will not use this as the definition, but define perfect complexes over a ring directly as follows.

Definition 15.69.1. Let $R$ be a ring. Denote $D(R)$ the derived category of the abelian category of $R$-modules.

  1. An object $K$ of $D(R)$ is perfect if it is quasi-isomorphic to a bounded complex of finite projective $R$-modules.

  2. An $R$-module $M$ is perfect if $M[0]$ is a perfect object in $D(R)$.

For example, over a Noetherian ring a finite module is perfect if and only if it has finite projective dimension, see Lemma 15.69.3 and Algebra, Definition 10.108.2.

Lemma 15.69.2. Let $K^\bullet $ be an object of $D(R)$. The following are equivalent

  1. $K^\bullet $ is perfect, and

  2. $K^\bullet $ is pseudo-coherent and has finite tor dimension.

If (1) and (2) hold and $K^\bullet $ has tor-amplitude in $[a, b]$, then $K^\bullet $ is quasi-isomorphic to a complex $E^\bullet $ of finite projective $R$-modules with $E^ i = 0$ for $i \not\in [a, b]$.

Proof. It is clear that (1) implies (2), see Lemmas 15.62.5 and 15.63.3. Assume (2) holds and that $K^\bullet $ has tor-amplitude in $[a, b]$. In particular, $H^ i(K^\bullet ) = 0$ for $i > b$. Choose a complex $F^\bullet $ of finite free $R$-modules with $F^ i = 0$ for $i > b$ and a quasi-isomorphism $F^\bullet \to K^\bullet $ (Lemma 15.62.5). Set $E^\bullet = \tau _{\geq a}F^\bullet $. Note that $E^ i$ is finite free except $E^ a$ which is a finitely presented $R$-module. By Lemma 15.63.2 $E^ a$ is flat. Hence by Algebra, Lemma 10.77.2 we see that $E^ a$ is finite projective. $\square$

Lemma 15.69.3. Let $M$ be a module over a ring $R$. The following are equivalent

  1. $M$ is a perfect module, and

  2. there exists a resolution

    \[ 0 \to F_ d \to \ldots \to F_1 \to F_0 \to M \to 0 \]

    with each $F_ i$ a finite projective $R$-module.

Proof. Assume (2). Then the complex $E^\bullet $ with $E^{-i} = F_ i$ is quasi-isomorphic to $M[0]$. Hence $M$ is perfect. Conversely, assume (1). By Lemmas 15.69.2 and 15.62.4 we can find resolution $E^\bullet \to M$ with $E^{-i}$ a finite free $R$-module. By Lemma 15.63.2 we see that $F_ d = \mathop{\mathrm{Coker}}(E^{d - 1} \to E^ d)$ is flat for some $d$ sufficiently large. By Algebra, Lemma 10.77.2 we see that $F_ d$ is finite projective. Hence

\[ 0 \to F_ d \to E^{-d+1} \to \ldots \to E^0 \to M \to 0 \]

is the desired resolution. $\square$

Lemma 15.69.4. Let $R$ be a ring. Let $(K^\bullet , L^\bullet , M^\bullet , f, g, h)$ be a distinguished triangle in $D(R)$. If two out of three of $K^\bullet , L^\bullet , M^\bullet $ are perfect then the third is also perfect.

Lemma 15.69.5. Let $R$ be a ring. If $K^\bullet \oplus L^\bullet $ is perfect, then so are $K^\bullet $ and $L^\bullet $.

Lemma 15.69.6. Let $R$ be a ring. Let $K^\bullet $ be a bounded complex of perfect $R$-modules. Then $K^\bullet $ is a perfect complex.

Proof. Follows by induction on the length of the finite complex: use Lemma 15.69.4 and the stupid truncations. $\square$

Lemma 15.69.7. Let $R$ be a ring. If $K^\bullet \in D^ b(R)$ and all its cohomology modules are perfect, then $K^\bullet $ is perfect.

Proof. Follows by induction on the length of the finite complex: use Lemma 15.69.4 and the canonical truncations. $\square$

Lemma 15.69.8. Let $A \to B$ be a ring map. Assume that $B$ is perfect as an $A$-module. Let $K^\bullet $ be a perfect complex of $B$-modules. Then $K^\bullet $ is perfect as a complex of $A$-modules.

Proof. Using Lemma 15.69.2 this translates into the corresponding results for pseudo-coherent modules and modules of finite tor dimension. See Lemma 15.63.12 and Lemma 15.62.12 for those results. $\square$

Lemma 15.69.9. Let $A \to B$ be a ring map. Let $K^\bullet $ be a perfect complex of $A$-modules. Then $K^\bullet \otimes _ A^{\mathbf{L}} B$ is a perfect complex of $B$-modules.

Proof. Using Lemma 15.69.2 this translates into the corresponding results for pseudo-coherent modules and modules of finite tor dimension. See Lemma 15.63.13 and Lemma 15.62.13 for those results. $\square$

Lemma 15.69.10. Let $A \to B$ be a flat ring map. Let $M$ be a perfect $A$-module. Then $M \otimes _ A B$ is a perfect $B$-module.

Proof. By Lemma 15.69.3 the assumption implies that $M$ has a finite resolution $F_\bullet $ by finite projective $R$-modules. As $A \to B$ is flat the complex $F_\bullet \otimes _ A B$ is a finite length resolution of $M \otimes _ A B$ by finite projective modules over $B$. Hence $M \otimes _ A B$ is perfect. $\square$

Lemma 15.69.11. Let $R$ be a ring. Let $f_1, \ldots , f_ r \in R$ be elements which generate the unit ideal. Let $K^\bullet $ be a complex of $R$-modules. If for each $i$ the complex $K^\bullet \otimes _ R R_{f_ i}$ is perfect, then $K^\bullet $ is perfect.

Proof. Using Lemma 15.69.2 this translates into the corresponding results for pseudo-coherent modules and modules of finite tor dimension. See Lemma 15.63.16 and Lemma 15.62.15 for those results. $\square$

Lemma 15.69.12. Let $R$ be a ring. Let $a, b \in \mathbf{Z}$. Let $K^\bullet $ be a complex of $R$-modules. Let $R \to R'$ be a faithfully flat ring map. If the complex $K^\bullet \otimes _ R R'$ is perfect, then $K^\bullet $ is perfect.

Proof. Using Lemma 15.69.2 this translates into the corresponding results for pseudo-coherent modules and modules of finite tor dimension. See Lemma 15.63.17 and Lemma 15.62.16 for those results. $\square$

Lemma 15.69.13. Let $R$ be a regular ring of finite dimension. Then

  1. an $R$-module is perfect if and only if it is a finite $R$-module, and

  2. a complex of $R$-modules $K^\bullet $ is perfect if and only if $K^\bullet \in D^ b(R)$ and each $H^ i(K^\bullet )$ is a finite $R$-module.

Proof. By Algebra, Lemma 10.109.8 the assumption on $R$ means that $R$ has finite global dimension. Hence every module has finite tor dimension, see Lemma 15.63.19. On the other hand, as $R$ is Noetherian, a module is pseudo-coherent if and only if it is finite, see Lemma 15.62.18. This proves part (1).

Let $K^\bullet $ be a complex of $R$-modules. If $K^\bullet $ is perfect, then it is in $D^ b(R)$ and it is quasi-isomorphic to a finite complex of finite projective $R$-modules so certainly each $H^ i(K^\bullet )$ is a finite $R$-module (as $R$ is Noetherian). Conversely, suppose that $K^\bullet $ is in $D^ b(R)$ and each $H^ i(K^\bullet )$ is a finite $R$-module. Then by (1) each $H^ i(K^\bullet )$ is a perfect $R$-module, whence $K^\bullet $ is perfect by Lemma 15.69.7 $\square$

Lemma 15.69.14. Let $A$ be a ring. Let $K \in D(A)$ be perfect. Then $K^\vee = R\mathop{\mathrm{Hom}}\nolimits _ A(K, A)$ is a perfect complex and $K = (K^\vee )^\vee $. There are functorial isomorphisms

\[ K^\vee \otimes _ A^\mathbf {L} L = R\mathop{\mathrm{Hom}}\nolimits _ A(K, L) \quad \text{and}\quad H^0(K^\vee \otimes _ A^\mathbf {L} L) = \mathop{\mathrm{Ext}}\nolimits _ A^0(K, L) \]

for $L \in D(A)$.

Proof. We can represent $K$ by a complex $K^\bullet $ of finite projective $A$-modules. By Lemma 15.68.2 the object $K^\vee $ is represented by the complex $E^\bullet = \mathop{\mathrm{Hom}}\nolimits ^\bullet (K^\bullet , A)$. Note that $E^ n = \mathop{\mathrm{Hom}}\nolimits _ A(K^{-n}, A)$ and the differentials of $E^\bullet $ are the transpose of the differentials of $K^\bullet $. Thus the formula $(K^\vee )^\vee = K$ is clear from the fact that the double dual of a finite projective module is itself.

The second equality follows from the first by Lemma 15.68.1 and Derived Categories, Lemma 13.19.8 as well as the definition of Ext groups, see Derived Categories, Section 13.27. Let us prove the first equality.

Let $L^\bullet $ be a complex of $A$-modules representing $L$. The object on the left of the first equality is represented by $\text{Tot}(E^\bullet \otimes _ A L^\bullet )$. The object on the right of the first equality sign is represented by the complex $\mathop{\mathrm{Hom}}\nolimits ^\bullet (K^\bullet , L^\bullet )$ by the same lemma as before. Thus the equality follows from the fact that

\[ \mathop{\mathrm{Hom}}\nolimits _ A(K^ n, A) \otimes _ A L^ m = \mathop{\mathrm{Hom}}\nolimits _ A(K^ n, L^ m) \]

for all $n, m$ because $K^ n$ is finite projective. To be a bit more precise we define the map on the level of complexes

\[ \text{Tot}(E^\bullet \otimes _ A L^\bullet ) = \text{Tot}(\mathop{\mathrm{Hom}}\nolimits ^\bullet (A, L^\bullet ) \otimes _ A \mathop{\mathrm{Hom}}\nolimits ^\bullet (K^\bullet , A)) \longrightarrow \mathop{\mathrm{Hom}}\nolimits ^\bullet (K^\bullet , L^\bullet ) \]

using Lemma 15.67.2 and then the statement above shows this is an isomorphism of complexes. $\square$

slogan

Lemma 15.69.15. Let $A$ be a ring. Let $(K_ n)_{n \in \mathbf{N}}$ be a system of perfect objects of $D(A)$. Let $K = \text{hocolim} K_ n$ be the derived colimit (Derived Categories, Definition 13.31.1). Then for any object $E$ of $D(A)$ we have

\[ R\mathop{\mathrm{Hom}}\nolimits _ A(K, E) = R\mathop{\mathrm{lim}}\nolimits E \otimes ^\mathbf {L}_ A K_ n^\vee \]

where $(K_ n^\vee )$ is the inverse system of dual perfect complexes.

Proof. By Lemma 15.69.14 we have $R\mathop{\mathrm{lim}}\nolimits E \otimes ^\mathbf {L}_ A K_ n^\vee = R\mathop{\mathrm{lim}}\nolimits R\mathop{\mathrm{Hom}}\nolimits _ A(K_ n, E)$ which fits into the distinguished triangle

\[ R\mathop{\mathrm{lim}}\nolimits R\mathop{\mathrm{Hom}}\nolimits _ A(K_ n, E) \to \prod R\mathop{\mathrm{Hom}}\nolimits _ A(K_ n, E) \to \prod R\mathop{\mathrm{Hom}}\nolimits _ A(K_ n, E) \]

Because $K$ similarly fits into the distinguished triangle $\bigoplus K_ n \to \bigoplus K_ n \to K$ it suffices to show that $\prod R\mathop{\mathrm{Hom}}\nolimits _ A(K_ n, E) = R\mathop{\mathrm{Hom}}\nolimits _ A(\bigoplus K_ n, E)$. This is a formal consequence of (15.68.0.1) and the fact that derived tensor product commutes with direct sums. $\square$

Lemma 15.69.16. Let $R = \mathop{\mathrm{colim}}\nolimits _{i \in I} R_ i$ be a filtered colimit of rings.

  1. Given a perfect $K$ in $D(R)$ there exists an $i \in I$ and a perfect $K_ i$ in $D(R_ i)$ such that $K \cong K_ i \otimes _{R_ i}^\mathbf {L} R$ in $D(R)$.

  2. Given $0 \in I$ and $K_0, L_0 \in D(R_0)$ with $K_0$ perfect, we have

    \[ \mathop{\mathrm{Hom}}\nolimits _{D(R)}(K_0 \otimes _{R_0}^\mathbf {L} R, L_0 \otimes _{R_0}^\mathbf {L} R) = \mathop{\mathrm{colim}}\nolimits _{i \geq 0} \mathop{\mathrm{Hom}}\nolimits _{D(R_ i)}(K_0 \otimes _{R_0}^\mathbf {L} R_ i, L_0 \otimes _{R_0}^\mathbf {L} R_ i) \]

In other words, the triangulated category of perfect complexes over $R$ is the colimit of the triangulated categories of perfect complexes over $R_ i$.

Proof. We will use the results of Algebra, Lemmas 10.126.5 and 10.126.6 without further mention. These lemmas in particular say that the category of finitely presented $R$-modules is the colimit of the categories of finitely presented $R_ i$-modules. Since finite projective modules can be characterized as summands of finite free modules (Algebra, Lemma 10.77.2) we see that the same is true for the category of finite projective modules. This proves (1) by our definition of perfect objects of $D(R)$.

To prove (2) we may represent $K_0$ by a bounded complex $K_0^\bullet $ of finite projective $R_0$-modules. We may represent $L_0$ by a K-flat complex $L_0^\bullet $ (Lemma 15.57.12). Then we have

\[ \mathop{\mathrm{Hom}}\nolimits _{D(R)}(K_0 \otimes _{R_0}^\mathbf {L} R, L_0 \otimes _{R_0}^\mathbf {L} R) = \mathop{\mathrm{Hom}}\nolimits _{K(R)}(K_0^\bullet \otimes _{R_0} R, L_0^\bullet \otimes _{R_0} R) \]

by Derived Categories, Lemma 13.19.8. Similarly for the $\mathop{\mathrm{Hom}}\nolimits $ with $R$ replaced by $R_ i$. Since in the right hand side only a finite number of terms are involved, since

\[ \mathop{\mathrm{Hom}}\nolimits _ R(K_0^ p \otimes _{R_0} R, L_0^ q \otimes _{R_0} R) = \mathop{\mathrm{colim}}\nolimits _{i \geq 0} \mathop{\mathrm{Hom}}\nolimits _{R_ i}(K_0^ p \otimes _{R_0} R_ i, L_0^ q \otimes _{R_0} R_ i) \]

by the lemmas cited at the beginning of the proof, and since filtered colimits are exact (Algebra, Lemma 10.8.8) we conclude that (2) holds as well. $\square$


Comments (2)

Comment #1160 by Matthieu Romagny on

Typo in the second sentence : the --> this


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