The Stacks project

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)$.

Comments (10)

Comment #603 by Jyoti Prakash Saha on

In some references, a perfect complex is defined as an object (of or of the category of cochain complexes of -modules) to which a bounded complex of finite projective -modules is quasi-isomorphic. Is this definition equivalent to the above definition?

Comment #604 by on

Hi! I think your question is a semantic one? Namely, the definition literally states what you say? So maybe you mean that it is often applied to, for example, complexes of -modules without viewing them as objects of ?

Or are you complaining that, given objects and of , we shouldn't say " and are quasi-isomorphic" but we should say " and are isomorphic"?

In both cases my answer to the question would be the same, namely, that objects of are the same thing as complexes of -modules (by our construction of the derived category). Hence in both cases the terminology makes sense, it is what we want to say, and we will use it later in the Stacks project. OK?

Comment #605 by Jyoti Prakash Saha on

Probably I didn't state my question so well. In some references, a complex is called perfect if there exists a bounded complex of finite projective modules and a quasi-isomorphism . On the other hand, the definition in Stacks project says that is perfect if there exists a bounded complex of finite projective modules and a quasi-isomorphism (here the arrow is reversed). However quasi-isomorphism is not a symmetric relation. But still are these two definitions of perfect complex equivalent?

Comment #606 by on

Actually, no that is not what it says. The phrase "quasi-isomorphic" is supposed to mean that they are isomorphic as objects in . But since we never formally defined "quasi-isomorphic" there was no way for you to know that. Hmm... The solution is either to stop using the phrase "quasi-isomorphic" (it gets used 92 times), or to make a definition. For the moment I have just added a line to the chapter on Derived Categories saying what the terminology means, but I have stopped short of actually putting it in a definition, because now I am no longer so sure that it is standard terminology... Argh!

Anyway, thanks very much for pointing this out! You can find the change here. Note: By accident I placed committed this change to my development branch and so it will take some time because it gets merged into the actual project...

Comment #607 by Jyoti Prakash Saha on

In fact, quasi-isomorphism is defined in tag 0115, 010Z for cochain and chain complexes. Probably the '' definition'' of perfect complexes is the right one as it makes a perfect complex. The '' definition'' does not seem to make a perfect complex.

Comment #609 by on

Yes, what you say is correct. To spell out what I said, if and are quasi-isomorphic this means there exists a third complex and maps and which are both quasi-isomorphisms. Equivalently there is a complex and quasi-isomorphisms and . In any case the condition is symmetric in and .

Comment #612 by Jyoti Prakash Saha on

I think that adding this change is somewhat confusing because then it is not clear what does quasi-isomorphism mean in the definition of perfect complexes as there is already a definition of quasi-isomorphism in the book. If tag 0115 is left unchanged, then probably tag 0657 would require some modification or additional remark.

In the above comment, I guess that the quasi-isomorphisms are maps as given in this definition. If this is so, then is the existence of with quasi-isomorphisms (as here) (if I am not mistaken then this is precisely the statement in ) equivalent to the existence of with quasi-isomorphisms ? Could you add a word about it?

Comment #617 by on

For now I am going to leave it like this.

The definition of arrows in the derived category can be found in the chapter on derived categories. You start with the homotopy category of complexes of and then you invert the set of quasi-isomorphisms which is a multiplicative set compatible with the triangulated structure on . See 13.11.

Inverting the arrows is why we may not always have a quasi-isomorphism between isomorphic objects of the derived category.

Comment #619 by on

In comment #617 on the last line I should have added "in a given direction" after quasi-isomorphism.

Comment #635 by Jyoti Prakash Saha on

Thank you for your reply.

There are also:

  • 2 comment(s) on Section 15.69: Perfect complexes

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