Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I have just started to learn about derived categories, I am now trying to understand what morphisms look like in some easy examples. Let me describe one for you.

Let $D(\mathcal A)$ be the derived category of an Abelian category $\mathcal A$. Pick two objects $E,F$ in $\mathcal A$ and look at them in $D(\mathcal A)$. Now the $i$th shift $F[i]$ of $F$ is not an object of $\mathcal A$ anymore (I guess).

Question. Is there an easy or standard description of $\hom_{D(\mathcal A)}(E,F[i])$?

Essentially I have $E$, which I look at as a complex $$\dots\to 0\to E\to 0\to \dots\,\,\,\,\,\,\,\,\,\,\,\,\,E\,\textrm{in degree }0$$ concentrated in degree $0$, and $F[i]$ is the complex $$\dots \to 0\to F\to 0\to \dots\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,F\,\textrm{in degree }-i.$$

How to construct roofs $E\leftarrow R\to F[i]$ and equivalence classes of them?

I would be very glad to have some explicit example, e.g. for $\mathcal A$ the category of $\mathcal O_X$-modules, or the category of (quasi)coherent $\mathcal O_X$-modules on a scheme $X$.

share|cite|improve this question
Yes!! $Hom_{D(\mathcal{A})}(E, F[i])=Ext^i_A (E, F)$ – Matt Oct 31 '13 at 1:04
... where $\mathrm{Ext}^i$ is understood to be zero when $i<0$. – Martin Brandenburg Oct 31 '13 at 8:17

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.