Lemma 15.87.3 (0CQD)—The Stacks project

Processing math: 100%

Lemma 15.87.3. Let $K = (K_ n^\bullet )$ be an object of $D(\textit{Mod}(\mathbf{N}, (A_ n)))$ . There exists a canonical distinguished triangle

$R\mathop{\mathrm{lim}}\nolimits K \to \prod \nolimits _ n K_ n^\bullet \to \prod \nolimits _ n K_ n^\bullet \to R\mathop{\mathrm{lim}}\nolimits K[1]$

in $D(A)$ . In other words, $R\mathop{\mathrm{lim}}\nolimits K$ is a derived limit of the inverse system $(K_ n^\bullet )$ of $D(A)$ , see Derived Categories, Definition 13.34.1.

Proof. The proof is exactly the same as the proof of Lemma 15.86.7 using Lemma 15.87.1 in stead of Lemma 15.86.1. $\square$

Comments (0)

There are also:

2 comment(s) on Section 15.87: Rlim of modules

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