adic-completion and some dual homological results (Q2366861)

In this paper \(A\) is a commutative ring, \(a\) an ideal of \(A\) and the \(A\)-modules are given the \(a\)-adic topology. There is a certain duality between the left derived functors \(U^a_i\) of the \(a\)-adic completion functor and the local cohomology functors \(H^i_a\), first observed by \textit{E. Matlis} [Commun. Algebra 1, 87-144 (1974; Zbl 0277.13011)] when the ideal \(a\) is generated by a (finite) regular sequence, true also for any noetherian ring. More recently, that duality has also been observed by Greenlees and May in a more general context. The purpose of this note is to pursue the analogy between the local cohomology functors and these functors \(U^a_i\), called local homology functors by \textit{J. P. C. Greenlees} and \textit{J. P. May} [J. Algebra 149, No. 2, 438-453 (1992; Zbl 0774.18007)]. First we have dual results about codepth, a notion dual to the notion of homological depth or grade. To go further, we need some noetherian hypothesis in order to have a change of rings theorem for the \(U^a_i\), analogous to the corresponding one in local cohomology. This brings us back to the first case studied by Matlis, namely the case of an ideal generated by a regular sequence, and allows generalizations of some Matlis' results. As a consequence, we obtain vanishing results for the \(U^a_i\), and also inequalities involving both local cohomology and local homology. So local cohomology and local homology are not only duals of each other, but are also intimately connected.