The Stacks project

Lemma 13.14.6. Assumptions and notation as in Situation 13.14.1. Let $(X, Y, Z, f, g, h)$ be a distinguished triangle of $\mathcal{D}$. If $RF$ is defined at two out of three of $X, Y, Z$, then it is defined at the third. Moreover, in this case

\[ (RF(X), RF(Y), RF(Z), RF(f), RF(g), RF(h)) \]

is a distinguished triangle in $\mathcal{D}'$. Similarly for $LF$.

Proof. Say $RF$ is defined at $X, Y$ with values $A, B$. Let $RF(f) : A \to B$ be the induced morphism, see Lemma 13.14.3. We may choose a distinguished triangle $(A, B, C, RF(f), b, c)$ in $\mathcal{D}'$. We claim that $C$ is a value of $RF$ at $Z$.

To see this pick $s : X \to X'$ in $S$ such that there exists a morphism $\alpha : A \to F(X')$ as in Categories, Definition 4.22.1. We may choose a commutative diagram

\[ \xymatrix{ X \ar[d]_ f \ar[r]_ s & X' \ar[d]^{f'} \\ Y \ar[r]^{s'} & Y' } \]

with $s' \in S$ by MS2. Using that $Y/S$ is filtered we can (after replacing $s'$ by some $s'' : Y \to Y''$ in $S$) assume that there exists a morphism $\beta : B \to F(Y')$ as in Categories, Definition 4.22.1. Picture

\[ \xymatrix{ A \ar[d]_{RF(f)} \ar[r]_-\alpha & F(X') \ar[r] \ar[d]^{F(f')} & A \ar[d]^{RF(f)} \\ B \ar[r]^-\beta & F(Y') \ar[r] & B } \]

It may not be true that the left square commutes, but the outer and right squares commute. The assumption that the ind-object $\{ F(Y')\} _{s' : Y' \to Y}$ is essentially constant means that there exists a $s'' : Y \to Y''$ in $S$ and a morphism $h : Y' \to Y''$ such that $s'' = h \circ s'$ and such that $F(h)$ equal to $F(Y') \to B \to F(Y') \to F(Y'')$. Hence after replacing $Y'$ by $Y''$ and $\beta $ by $F(h) \circ \beta $ the diagram will commute (by direct computation with arrows).

Using MS6 choose a morphism of triangles

\[ (s, s', s'') : (X, Y, Z, f, g, h) \longrightarrow (X', Y', Z', f', g', h') \]

with $s'' \in S$. By TR3 choose a morphism of triangles

\[ (\alpha , \beta , \gamma ) : (A, B, C, RF(f), b, c) \longrightarrow (F(X'), F(Y'), F(Z'), F(f'), F(g'), F(h')) \]

By Lemma 13.14.4 it suffices to prove that $RF(Z')$ is defined and has value $C$. Consider the category $\mathcal{I}$ of Lemma 13.5.9 of triangles

\[ \mathcal{I} = \{ (t, t', t'') : (X', Y', Z', f', g', h') \to (X'', Y'', Z'', f'', g'', h'') \mid (t, t', t'') \in S\} \]

To show that the system $F(Z'')$ is essentially constant over the category $Z'/S$ is equivalent to showing that the system of $F(Z'')$ is essentially constant over $\mathcal{I}$ because $\mathcal{I} \to Z'/S$ is cofinal, see Categories, Lemma 4.22.11 (cofinality is proven in Lemma 13.5.9). For any object $W$ in $\mathcal{D}'$ we consider the diagram

\[ \xymatrix{ \mathop{\mathrm{colim}}\nolimits _\mathcal {I} \mathop{\mathrm{Mor}}\nolimits _{\mathcal{D}'}(W, F(X'')) & \mathop{\mathrm{Mor}}\nolimits _{\mathcal{D}'}(W, A) \ar[l] \\ \mathop{\mathrm{colim}}\nolimits _\mathcal {I} \mathop{\mathrm{Mor}}\nolimits _{\mathcal{D}'}(W, F(Y'')) \ar[u] & \mathop{\mathrm{Mor}}\nolimits _{\mathcal{D}'}(W, B) \ar[u] \ar[l] \\ \mathop{\mathrm{colim}}\nolimits _\mathcal {I} \mathop{\mathrm{Mor}}\nolimits _{\mathcal{D}'}(W, F(Z'')) \ar[u] & \mathop{\mathrm{Mor}}\nolimits _{\mathcal{D}'}(W, C) \ar[u] \ar[l] \\ \mathop{\mathrm{colim}}\nolimits _\mathcal {I} \mathop{\mathrm{Mor}}\nolimits _{\mathcal{D}'}(W, F(X''[1])) \ar[u] & \mathop{\mathrm{Mor}}\nolimits _{\mathcal{D}'}(W, A[1]) \ar[u] \ar[l] \\ \mathop{\mathrm{colim}}\nolimits _\mathcal {I} \mathop{\mathrm{Mor}}\nolimits _{\mathcal{D}'}(W, F(Y''[1])) \ar[u] & \mathop{\mathrm{Mor}}\nolimits _{\mathcal{D}'}(W, B[1]) \ar[u] \ar[l] } \]

where the horizontal arrows are given by composing with $(\alpha , \beta , \gamma )$. Since filtered colimits are exact (Algebra, Lemma 10.8.8) the left column is an exact sequence. Thus the $5$ lemma (Homology, Lemma 12.5.20) tells us the

\[ \mathop{\mathrm{colim}}\nolimits _\mathcal {I} \mathop{\mathrm{Mor}}\nolimits _{\mathcal{D}'}(W, F(Z'')) \longrightarrow \mathop{\mathrm{Mor}}\nolimits _{\mathcal{D}'}(W, C) \]

is bijective. Choose an object $(t, t', t'') : (X', Y', Z') \to (X'', Y'', Z'')$ of $\mathcal{I}$. Applying what we just showed to $W = F(Z'')$ and the element $\text{id}_{F(X'')}$ of the colimit we find a unique morphism $c_{(X'', Y'', Z'')} : F(Z'') \to C$ such that for some $(X'', Y'', Z'') \to (X''', Y''', Z'')$ in $\mathcal{I}$

\[ F(Z'') \xrightarrow {c_{(X'', Y'', Z'')}} C \xrightarrow {\gamma } F(Z') \to F(Z'') \to F(Z''') \quad \text{equals}\quad F(Z'') \to F(Z''') \]

The family of morphisms $c_{(X'', Y'', Z'')}$ form an element $c$ of $\mathop{\mathrm{lim}}\nolimits _\mathcal {I} \mathop{\mathrm{Mor}}\nolimits _{\mathcal{D}'}(F(Z''), C)$ by uniqueness (computation omitted). Finally, we show that $\mathop{\mathrm{colim}}\nolimits _\mathcal {I} F(Z'') = C$ via the morphisms $c_{(X'', Y'', Z'')}$ which will finish the proof by Categories, Lemma 4.22.9. Namely, let $W$ be an object of $\mathcal{D}'$ and let $d_{(X'', Y'', Z'')} : F(Z'') \to W$ be a family of maps corresponding to an element of $\mathop{\mathrm{lim}}\nolimits _\mathcal {I} \mathop{\mathrm{Mor}}\nolimits _{\mathcal{D}'}(F(Z''), W)$. If $d_{(X', Y', Z')} \circ \gamma = 0$, then for every object $(X'', Y'', Z'')$ of $\mathcal{I}$ the morphism $d_{(X'', Y'', Z'')}$ is zero by the existence of $c_{(X'', Y'', Z'')}$ and the morphism $(X'', Y'', Z'') \to (X''', Y''', Z'')$ in $\mathcal{I}$ satisfying the displayed equality above. Hence the map

\[ \mathop{\mathrm{lim}}\nolimits _\mathcal {I} \mathop{\mathrm{Mor}}\nolimits _{\mathcal{D}'}(F(Z''), W) \longrightarrow \mathop{\mathrm{Mor}}\nolimits _{\mathcal{D}'}(C, W) \]

(coming from precomposing by $\gamma $) is injective. However, it is also surjective because the element $c$ gives a left inverse. We conclude that $C$ is the colimit by Categories, Remark 4.14.4. $\square$


Comments (3)

Comment #556 by Nuno on

This is something I missed when I first read this lemma, but since is not an exact functor, why is the first column in the first diagram with five lines exact?

Comment #557 by on

Good catch! Also the horizontal arrows in the second big diagram are pointing in the wrong direction! Argh! Anyway, I have two ideas for fixing what you point out.

First idea: probably the column is exact because it is the limit of a directed inverse system of 5-term exact sequences all of whose terms except the middle one are essentially constant. A result of this kind was proven in Lemma 12.31.7 (see also Lemma 15.86.2).

Second idea: apply the isomorphism to for any object of the category . This shows that there is a map in and a morphism such that agrees with . Check that the maps define an element in . Then use this to show that is the colimit (actually I think this is clear at this point -- but I didn't write it out). Will code this up soon.

There are also:

  • 4 comment(s) on Section 13.14: Derived functors in general

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