The Stacks project

Lemma 13.17.7 (Leray's acyclicity lemma). Let $F : \mathcal{A} \to \mathcal{B}$ be an additive functor between abelian categories and assume $RF : D^{+}(\mathcal{A}) \to D^{+}(\mathcal{B})$ is everywhere defined. Let $A^\bullet $ be a bounded below complex of $F$-acyclic objects. The canonical map

\[ F(A^\bullet ) \longrightarrow RF(A^\bullet ) \]

is an isomorphism in $D^{+}(\mathcal{B})$, i.e., $A^\bullet $ computes $RF$.

Proof. First we claim the lemma holds for a bounded complex of acyclic objects. Namely, it holds for complexes with at most one nonzero object by definition. Suppose that $A^\bullet $ is a complex with $A^ n = 0$ for $n \not\in [a, b]$. Using the “stupid” truncations we obtain a termwise split short exact sequence of complexes

\[ 0 \to \sigma _{\geq a + 1} A^\bullet \to A^\bullet \to \sigma _{\leq a} A^\bullet \to 0 \]

see Homology, Section 12.14. Thus a distinguished triangle $(\sigma _{\geq a + 1} A^\bullet , A^\bullet , \sigma _{\leq a} A^\bullet )$. By induction hypothesis the two outer complexes compute $RF$. Then the middle one does too by Lemma 13.15.12.

Suppose that $A^\bullet $ is a bounded below complex of acyclic objects. To show that $F(A) \to RF(A)$ is an isomorphism in $D^{+}(\mathcal{B})$ it suffices to show that $H^ i(F(A)) \to H^ i(RF(A))$ is an isomorphism for all $i$. Pick $i$. Consider the termwise split short exact sequence of complexes

\[ 0 \to \sigma _{\geq i + 2} A^\bullet \to A^\bullet \to \sigma _{\leq i + 1} A^\bullet \to 0. \]

Note that this induces a termwise split short exact sequence

\[ 0 \to \sigma _{\geq i + 2} F(A^\bullet ) \to F(A^\bullet ) \to \sigma _{\leq i + 1} F(A^\bullet ) \to 0. \]

Hence we get distinguished triangles

\[ \begin{matrix} (\sigma _{\geq i + 2} A^\bullet , A^\bullet , \sigma _{\leq i + 1} A^\bullet ) \\ (\sigma _{\geq i + 2} F(A^\bullet ), F(A^\bullet ), \sigma _{\leq i + 1} F(A^\bullet )) \\ (RF(\sigma _{\geq i + 2} A^\bullet ), RF(A^\bullet ), RF(\sigma _{\leq i + 1} A^\bullet )) \end{matrix} \]

Using the last two we obtain a map of exact sequences

\[ \xymatrix{ H^ i(\sigma _{\geq i + 2} F(A^\bullet )) \ar[r] \ar[d] & H^ i(F(A^\bullet )) \ar[r] \ar[d]^\alpha & H^ i(\sigma _{\leq i + 1} F(A^\bullet )) \ar[r] \ar[d]^\beta & H^{i + 1}(\sigma _{\geq i + 2} F(A^\bullet )) \ar[d] \\ R^ iF(\sigma _{\geq i + 2} A^\bullet ) \ar[r] & R^ iF(A^\bullet ) \ar[r] & R^ iF(\sigma _{\leq i + 1} A^\bullet ) \ar[r] & R^{i + 1}F(\sigma _{\geq i + 2} A^\bullet ) } \]

By the results of the first paragraph the map $\beta $ is an isomorphism. By inspection the objects on the upper left and the upper right are zero. Hence to finish the proof it suffices to show that $R^ iF(\sigma _{\geq i + 2} A^\bullet ) = 0$ and $R^{i + 1}F(\sigma _{\geq i + 2} A^\bullet ) = 0$. This follows immediately from Lemma 13.17.1. $\square$


Comments (0)


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