15.87 Rlim of modules
We briefly discuss R\mathop{\mathrm{lim}}\nolimits on modules. Many of the arguments in this section duplicate the arguments used to construct the cohomological machinery for modules on ringed sites.
Let (A_ n) be an inverse system of rings. We will denote \textit{Mod}(\mathbf{N}, (A_ n)) the category of inverse systems (M_ n) of abelian groups such that each M_ n is given the structure of a A_ n-module and the transition maps M_{n + 1} \to M_ n are A_{n + 1}-module maps. This is an abelian category. Set A = \mathop{\mathrm{lim}}\nolimits A_ n. Given an object (M_ n) of \textit{Mod}(\mathbf{N}, (A_ n)) the limit \mathop{\mathrm{lim}}\nolimits M_ n is an A-module.
Lemma 15.87.1. In the situation above. The functor \mathop{\mathrm{lim}}\nolimits : \textit{Mod}(\mathbf{N}, (A_ n)) \to \text{Mod}_ A has a right derived functor
R\mathop{\mathrm{lim}}\nolimits : D(\textit{Mod}(\mathbf{N}, (A_ n))) \longrightarrow D(A)
As usual we set R^ p\mathop{\mathrm{lim}}\nolimits (K) = H^ p(R\mathop{\mathrm{lim}}\nolimits (K)). Moreover, we have
for any (M_ n) in \textit{Mod}(\mathbf{N}, (A_ n)) we have R^ p\mathop{\mathrm{lim}}\nolimits M_ n = 0 for p > 1,
the object R\mathop{\mathrm{lim}}\nolimits M_ n of D(\text{Mod}_ A) is represented by the complex
\prod M_ n \to \prod M_ n,\quad (x_ n) \mapsto (x_ n - f_{n + 1}(x_{n + 1}))
sitting in degrees 0 and 1,
if (M_ n) is ML, then R^1\mathop{\mathrm{lim}}\nolimits M_ n = 0, i.e., (M_ n) is right acyclic for \mathop{\mathrm{lim}}\nolimits ,
every K^\bullet \in D(\textit{Mod}(\mathbf{N}, (A_ n))) is quasi-isomorphic to a complex whose terms are right acyclic for \mathop{\mathrm{lim}}\nolimits , and
if each K^ p = (K^ p_ n) is right acyclic for \mathop{\mathrm{lim}}\nolimits , i.e., of R^1\mathop{\mathrm{lim}}\nolimits _ n K^ p_ n = 0, then R\mathop{\mathrm{lim}}\nolimits K is represented by the complex whose term in degree p is \mathop{\mathrm{lim}}\nolimits _ n K_ n^ p.
Proof.
The proof of this is word for word the same as the proof of Lemma 15.86.1.
\square
The products in the following lemma can be seen as termwise products of complexes or as products in the derived category D(A), see Derived Categories, Lemma 13.34.2.
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
Lemma 15.87.4. With notation as in Lemma 15.87.3 the long exact cohomology sequence associated to the distinguished triangle breaks up into short exact sequences
0 \to R^1\mathop{\mathrm{lim}}\nolimits _ n H^{p - 1}(K_ n^\bullet ) \to H^ p(R\mathop{\mathrm{lim}}\nolimits K) \to \mathop{\mathrm{lim}}\nolimits _ n H^ p(K_ n^\bullet ) \to 0
of A-modules.
Proof.
The proof is exactly the same as the proof of Lemma 15.86.8 using Lemma 15.87.1 in stead of Lemma 15.86.1.
\square
Warning. As in the case of abelian groups an object M = (M_ n^\bullet ) of D(\textit{Mod}(\mathbf{N}, (A_ n))) is an inverse system of complexes of modules, which is not the same thing as an inverse system of objects in the derived categories. In the following lemma we show how an inverse system of objects in derived categories always lifts to an object of D(\textit{Mod}(\mathbf{N}, (A_ n))).
Lemma 15.87.5. Let (A_ n) be an inverse system of rings. Suppose that we are given
for every n an object K_ n of D(A_ n), and
for every n a map \varphi _ n : K_{n + 1} \to K_ n of D(A_{n + 1}) where we think of K_ n as an object of D(A_{n + 1}) by restriction via A_{n + 1} \to A_ n.
There exists an object M = (M_ n^\bullet ) \in D(\textit{Mod}(\mathbf{N}, (A_ n))) and isomorphisms \psi _ n : M_ n^\bullet \to K_ n in D(A_ n) such that the diagrams
\xymatrix{ M_{n + 1}^\bullet \ar[d]_{\psi _{n + 1}} \ar[r] & M_ n^\bullet \ar[d]^{\psi _ n} \\ K_{n + 1} \ar[r]^{\varphi _ n} & K_ n }
commute in D(A_{n + 1}).
Proof.
We write out the proof in detail. For an A_ n-module T we write T_{A_{n + 1}} for the same module viewd as an A_{n + 1}-module. Suppose that K_ n^\bullet is a complex of A_ n-modules representing K_ n. Then K_{n, A_{n + 1}}^\bullet is the same complex, but viewed as a complex of A_{n + 1}-modules. By the construction of the derived category, the map \psi _ n can be given as
\psi _ n = \tau _ n \circ \sigma _ n^{-1}
where \sigma _ n : L_{n + 1}^\bullet \to K_{n + 1}^\bullet is a quasi-isomorphism of complexes of A_{n + 1}-modules and \tau _ n : L_{n + 1}^\bullet \to K_{n, A_{n + 1}}^\bullet is a map of complexes of A_{n + 1}-modules.
Now we construct the complexes M_ n^\bullet by induction. As base case we let M_1^\bullet = K_1^\bullet . Suppose we have already constructed M_ e^\bullet \to M_{e - 1}^\bullet \to \ldots \to M_1^\bullet and maps of complexes \psi _ i : M_ i^\bullet \to K_ i^\bullet such that the diagrams
\xymatrix{ M_{n + 1}^\bullet \ar[d]_{\psi _{n + 1}} \ar[rr] & & M_{n, A_{n + 1}}^\bullet \ar[d]^{\psi _{n, A_{n + 1}}} \\ K_{n + 1}^\bullet & L_{n + 1}^\bullet \ar[l]_{\sigma _ n} \ar[r]^{\tau _ n} & K_{n, A_{n + 1}}^\bullet }
above commute in D(A_{n + 1}) for all n < e. Then we consider the diagram
\xymatrix{ & & M_{e, A_{e + 1}}^\bullet \ar[d]^{\psi _{e, A_{e + 1}}} \\ K_{e + 1}^\bullet & L_{e + 1}^\bullet \ar[r]^{\tau _ e} \ar[l]_{\sigma _ e} & K_{e, A_{e + 1}}^\bullet }
in D(A_{e + 1}). Because \psi _ e is a quasi-isomorphism, we see that \psi _{e, A_{e + 1}} is a quasi-isomorphism too. By the definition of morphisms in D(A_{e + 1}) we can find a quasi-isomorphism \psi _{e + 1} : M_{e + 1}^\bullet \to K_{e + 1}^\bullet of complexes of A_{e + 1}-modules such that there exists a morphism of complexes M_{e + 1}^\bullet \to M_{e, A_{e + 1}}^\bullet of A_{e + 1}-modules representing the composition \psi _{e, A_{e + 1}}^{-1} \circ \tau _ e \circ \sigma _ e^{-1} in D(A_{e + 1}). Thus the lemma holds by induction.
\square
Lemma 15.87.7. Let (A_ n) be an inverse system of rings. Every K \in D(\textit{Mod}(\mathbf{N}, (A_ n))) can be represented by a system of complexes (M_ n^\bullet ) such that all the transition maps M_{n + 1}^\bullet \to M_ n^\bullet are surjective.
Proof.
Let K be represented by the system (K_ n^\bullet ). Set M_1^\bullet = K_1^\bullet . Suppose we have constructed surjective maps of complexes M_ n^\bullet \to M_{n - 1}^\bullet \to \ldots \to M_1^\bullet and homotopy equivalences \psi _ e : K_ e^\bullet \to M_ e^\bullet such that the diagrams
\xymatrix{ K_{e + 1}^\bullet \ar[d] \ar[r] & K_ e^\bullet \ar[d] \\ M_{e + 1}^\bullet \ar[r] & M_ e^\bullet }
commute for all e < n. Then we consider the diagram
\xymatrix{ K_{n + 1}^\bullet \ar[r] & K_ n^\bullet \ar[d] \\ & M_ n^\bullet }
By Derived Categories, Lemma 13.9.8 we can factor the composition K_{n + 1}^\bullet \to M_ n^\bullet as K_{n + 1}^\bullet \to M_{n + 1}^\bullet \to M_ n^\bullet such that the first arrow is a homotopy equivalence and the second a termwise split surjection. The lemma follows from this and induction.
\square
Lemma 15.87.8. Let (A_ n) be an inverse system of rings. Every K \in D(\textit{Mod}(\mathbf{N}, (A_ n))) can be represented by a system of complexes (K_ n^\bullet ) such that each K_ n^\bullet is K-flat.
Proof.
First use Lemma 15.87.7 to represent K by a system of complexes (M_ n^\bullet ) such that all the transition maps M_{n + 1}^\bullet \to M_ n^\bullet are surjective. Next, let K_1^\bullet \to M_1^\bullet be a quasi-isomorphism with K_1^\bullet a K-flat complex of A_1-modules (Lemma 15.59.10). Suppose we have constructed K_ n^\bullet \to K_{n - 1}^\bullet \to \ldots \to K_1^\bullet and maps of complexes \psi _ e : K_ e^\bullet \to M_ e^\bullet such that
\xymatrix{ K_{e + 1}^\bullet \ar[d] \ar[r] & K_ e^\bullet \ar[d] \\ M_{e + 1}^\bullet \ar[r] & M_ e^\bullet }
commutes for all e < n. Then we consider the diagram
\xymatrix{ C^\bullet \ar@{..>}[d] \ar@{..>}[r] & K_ n^\bullet \ar[d]^{\psi _ n} \\ M_{n + 1}^\bullet \ar[r]^{\varphi _ n} & M_ n^\bullet }
in D(A_{n + 1}). As M_{n + 1}^\bullet \to M_ n^\bullet is termwise surjective, the complex C^\bullet fitting into the left upper corner with terms
C^ p = M_{n + 1}^ p \times _{M_ n^ p} K_ n^ p
is quasi-isomorphic to M_{n + 1}^\bullet (details omitted). Choose a quasi-isomorphism K_{n + 1}^\bullet \to C^\bullet with K_{n +1}^\bullet K-flat. Thus the lemma holds by induction.
\square
Lemma 15.87.9. Let (A_ n) be an inverse system of rings. Given K, L \in D(\textit{Mod}(\mathbf{N}, (A_ n))) there is a canonical derived tensor product K \otimes ^\mathbf {L} L in D(\mathbf{N}, (A_ n)) compatible with the maps to D(A_ n). The construction is symmetric in K and L and an exact functor of triangulated categories in each variable.
Proof.
Choose a representative (K_ n^\bullet ) for K such that each K_ n^\bullet is a K-flat complex (Lemma 15.87.8). Then you can define K \otimes ^\mathbf {L} L as the object represented by the system of complexes
(\text{Tot}(K_ n^\bullet \otimes _{A_ n} L_ n^\bullet ))
for any choice of representative (L_ n^\bullet ) for L. This is well defined in both variables by Lemmas 15.59.2 and 15.59.12. Compatibility with the map to D(A_ n) is clear. Exactness follows exactly as in Lemma 15.58.4.
\square
Lemma 15.87.11. Let A be a ring. Let E \to D \to F \to E[1] be a distinguished triangle of D(\mathbf{N}, A). Let (E_ n), resp. (D_ n), resp. (F_ n) be the system of objects of D(A) associated to E, resp. D, resp. F. Then for every K \in D(A) there is a canonical distinguished triangle
R\mathop{\mathrm{lim}}\nolimits (K \otimes ^\mathbf {L}_ A E_ n) \to R\mathop{\mathrm{lim}}\nolimits (K \otimes ^\mathbf {L}_ A D_ n) \to R\mathop{\mathrm{lim}}\nolimits (K \otimes ^\mathbf {L}_ A F_ n) \to R\mathop{\mathrm{lim}}\nolimits (K \otimes ^\mathbf {L}_ A E_ n)[1]
in D(A) with notation as in Remark 15.87.10.
Proof.
This is clear from the construction in Remark 15.87.10 and the fact that \Delta : D(A) \to D(\mathbf{N}, A), - \otimes ^\mathbf {L} -, and R\mathop{\mathrm{lim}}\nolimits are exact functors of triangulated categories.
\square
Lemma 15.87.12. Let A be a ring. Let E \to D be a morphism of D(\mathbf{N}, A). Let (E_ n), resp. (D_ n) be the system of objects of D(A) associated to E, resp. D. If (E_ n) \to (D_ n) is an isomorphism of pro-objects, then for every K \in D(A) the corresponding map
R\mathop{\mathrm{lim}}\nolimits (K \otimes ^\mathbf {L}_ A E_ n) \longrightarrow R\mathop{\mathrm{lim}}\nolimits (K \otimes ^\mathbf {L}_ A D_ n)
in D(A) is an isomorphism (notation as in Remark 15.87.10).
Proof.
Follows from the definitions and Lemma 15.86.11.
\square
Comments (2)
Comment #9957 by Elías Guisado on
Comment #9984 by Elías Guisado on