The Stacks project

Lemma 47.15.5. Let $A$ be a Noetherian ring. If $\omega _ A^\bullet $ and $(\omega '_ A)^\bullet $ are dualizing complexes, then $(\omega '_ A)^\bullet $ is quasi-isomorphic to $\omega _ A^\bullet \otimes _ A^\mathbf {L} L$ for some invertible object $L$ of $D(A)$.

Proof. By Lemmas 47.15.3 and 47.15.4 the functor $K \mapsto R\mathop{\mathrm{Hom}}\nolimits _ A(R\mathop{\mathrm{Hom}}\nolimits _ A(K, \omega _ A^\bullet ), (\omega _ A')^\bullet )$ maps $A$ to an invertible object $L$. In other words, there is an isomorphism

\[ L \longrightarrow R\mathop{\mathrm{Hom}}\nolimits _ A(\omega _ A^\bullet , (\omega _ A')^\bullet ) \]

Since $L$ has finite tor dimension, this means that we can apply More on Algebra, Lemma 15.98.2 to see that

\[ R\mathop{\mathrm{Hom}}\nolimits _ A(\omega _ A^\bullet , (\omega '_ A)^\bullet ) \otimes _ A^\mathbf {L} K \longrightarrow R\mathop{\mathrm{Hom}}\nolimits _ A(R\mathop{\mathrm{Hom}}\nolimits _ A(K, \omega _ A^\bullet ), (\omega _ A')^\bullet ) \]

is an isomorphism for $K$ in $D^ b_{\textit{Coh}}(A)$. In particular, setting $K = \omega _ A^\bullet $ finishes the proof. $\square$

Comments (2)

Comment #3584 by Kestutis Cesnavicius on

Continuing the somewhat pedantic theme of my comment on, I think in this lemma it would be better to say that and are isomorphic as objects of rather than quasi-isomorphic (the latter somehow entails a lift to a map of actual complexes that induces an isomorphism on cohomology).

Comment #3708 by on

OK, yes, this is another one of these types of things. Please see Derived Categories, Section 13.11 where we introduce the following sloppy terminology: If and are complexes of then we sometimes say is quasi-isomorphic to to indicate that and are isomorphic objects of .

Today I went to a talk by Bhargav Bhatt where he used this word in exactly this way, so I feel I am in good company! But still, you should continue to complain and if you get multiple mathematical friends to be on your side, then I will consider changing this.

There are also:

  • 2 comment(s) on Section 47.15: Dualizing 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 0A7F. Beware of the difference between the letter 'O' and the digit '0'.