Lemma 20.39.2 (0H3D)—The Stacks project

Processing math: 100%

Table of contents
Part 1: Preliminaries
Chapter 20: Cohomology of Sheaves
Section 20.39: Inverse systems and cohomology, III
Lemma 20.39.2 (cite)

numberstags

Lemma 20.39.2. Let $\mathcal{A}$ be an abelian category. Let $f : M \to M$ be a morphism of $\mathcal{A}$ . If $M[f^ n] = \mathop{\mathrm{Ker}}(f^ n : M \to M)$ stabilizes, then the inverse systems

$(M \xrightarrow {f^ n} M) \quad \text{and}\quad \mathop{\mathrm{Coker}}(f^ n : M \to M)$

are pro-isomorphic in $D(\mathcal{A})$ .

Proof. There is clearly a map from the first inverse system to the second. Suppose that $M[f^ c] = M[f^{c + 1}] = M[f^{c + 2}] = \ldots$ . Then we can define an arrow of inverse systems in $D(\mathcal{A})$ in the other direction by the diagrams

$\xymatrix{ M/M[f^ c] \ar[r]_-{f^{n + c}} \ar[d]_{f^ c} & M \ar[d]^1 \\ M \ar[r]^{f^ n} & M }$

Since the top horizontal arrow is injective the complex in the top row is quasi-isomorphic to $\mathop{\mathrm{Coker}}(f^{n + c} : M \to M)$ . Some details omitted. $\square$

Comments (0)

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).

Comments (0)

Post a comment