Skip to main content
2 of 2
edited title
Saal Hardali
  • 7.8k
  • 3
  • 43
  • 99

Defining hom spaces in the derived category as limits of hom spaces in the homotopy category

Let $C$ be an abelian category and $K(C)$ the homotopy category of complexes in $C$. I've seen the following claimed in several sources (without proof):

A. The following isomorphisms hold: $$\lim_{X' \underset{qis}\to X} Hom_{K(C)}(X',Y) \widetilde\to \lim_{X' \underset{qis}\to X,Y \underset{qis}\to Y'} Hom_{K(C)}(X',Y') \widetilde\leftarrow \lim_{Y \underset{qis}\to Y'}Hom_{K(C)}(X,Y') $$

The limits (actually colimits in this case) are taken over all quasi-isomorphisms.

Why is this true? And how can one prove this?

Can this statement be upgraded to a statement about the internal Hom bifunctor? Something along the lines of:

B. The following quasi-isomorphisms hold: $$\lim_{X' \underset{qis}\to X} Hom^{\bullet}(X',Y) \widetilde\to \lim_{X' \underset{qis}\to X,Y \underset{qis}\to Y'} Hom^{\bullet}(X',Y') \widetilde\leftarrow \lim_{Y \underset{qis}\to Y'}Hom^{\bullet}(X,Y')$$

Saal Hardali
  • 7.8k
  • 3
  • 43
  • 99