when to use projective vs. injective resolution

homological-algebra

I am a bit confused about when I should use projective versus injective resolutions to calculate derived functors. Am I correct in thinking that for right exact functors, the left derived functor is defined using projective resolutions and for left exact functors, the right derived functor is defined using injective resolutions? Is this true regardless of whether the functors are covariant or contravariant? This is what Lang's algebra seems to imply. Is this the universal convention?

I am also a bit confused about the situation with Ext, which can apparently be computed using both injective and projective resolutions even though $Hom(\_ ,A)$ and $Hom(A, \_)$ are both left exact functors. When else are free to use any resolution?

thank you!


Solution 1:

  • Right exact, covariant $\Rightarrow$ projective resolution
  • Right exact, contravariant $\Rightarrow$ injective resolution
  • Left exact, covariant $\Rightarrow$ injective resolution
  • Left exact, contravariant $\Rightarrow$ projective resolution

The rule of thumb is that arrows in a resolution go left to right. For a "$\langle$blank$\rangle$ exact functor" your resolution should go $\langle$blank$\rangle$ after applying your functor.

Related

There is a primitive $m^{th}$ root of unity in $\mathbb{Q}_p$ $\Leftrightarrow m \mid (p-1)$
How can we show the cone $x^2 +y^2 = z^2$ is not a smooth manifold?
Is there a geometric reason for why every map has a divergence-free Jacobian cofactor matrix?
When pseudo inverse and general inverse of a invertible square matrix will be equal or not equal?
Elementary problems that could be solved using homological algebra
Dyck paths with $k$ peaks
(Quasi)coherent sheaves on smooth manifolds, and their applications
proof of basic fact that torus actions are diagonalizable
Show that $\mathbb{C}[x,y]/(x^2+y^2-1)$ is a UFD. [duplicate]
Is the rank of the sum of two positive semi-definite matrices larger than their individual ranks?
Isomorphism class of vector bundle over $\mathbb S^1$.
Hausdorff measure of rectifiable curve equal to its length