Derived functors of \(I\)-adic completion and local homology (Q1194046)

The completion functor \(M_{\widehat I}\) of a finitely generated \(A\)- module \(M\), where \(A\) is a Noetherian ring, is well known to be an exact functor. While considering this result for the Burnside ring \(A(G)\), where \(G\) is a compact Lie group (in which case, \(A(G)\) need not be Noetherian), the authors encounter and study the general question: What are the left derived functors of the completion functor \(M_{\widehat I}\) when \(M\) is not necessarily finitely generated and the ring \(A\) is not necessarily Noetherian? In this general setting, the authors define the left derived functors \(L^ I_ *(M)\), using the inverse limit approach to the completion functor, and compute them in terms of torsion products. With mild restriction on modules having bounded \(\alpha\)- torsion, where \(\alpha\in A\), they prove general results which yield exactness of \(I\)-adic completions under some further appropriate restrictions. Once this is achieved, the result is generalized for any finitely generated ideal \(I=(\alpha_ 1,\dots,\alpha_ n)\) of \(A\) (where \(A\) is of bounded \(\alpha_ i\)-torsion and \((\alpha_ 1,\dots,\alpha_ n)\) is a proregular sequence) by induction and the spectral sequence technique. Following Grothendieck's definition of local cohomology groups, the authors introduce local homology groups \(H^ I_ *(M)\), which are proved to be isomorphic to \(L^ I_ *(M)\) for ideals \(I=(\alpha_ 1,\dots,\alpha_ n)\) with some restrictions on the \(\alpha\)'s. Using relations between local homology and local cohomology groups, some duality results are also proved. Concrete results, showing that the generalizations obtained in the present paper are interesting improvements of known ones, are derived; examples, showing that the restrictions imposed on elements generating the ideal \(I\) are meaningful and needed, are also pointed out. Finally, it is shown that the right derived functors are not that interesting. Part (iii) of Proposition 1.5 should read \(L^ I_ i(M)=\emptyset\) for \(i\geq 2\).