Homology of Artinian and Matlis reflexive modules. I. (Q635463): Difference between revisions

Let \((R, \mathfrak{m})\) denote a commutative Noetherian local ring with \(k\) its residue field and \(\hat{R}\) the \(\mathfrak{m}\)-adic completion. Let \(A\) denote an Artinian \(R\)-module. In the paper the authors study the functors \(\text{Hom}_R(A,-)\) and \(A \otimes_R -\) and their derived functors. Assume that \(L, L'\) are \(R\)-modules such that the Bass number \(\mu_R^i(L) = \dim_k \text{Ext}_R^i(k,L)\) and the Betti number \(\beta_i^R(L') = \dim_k \text{Tor}_i^R(k,L')\) is finite for some \(i \geq 0\). Then, among others the following results are shown: (1) \(\text{Ext}^i_R(A,L)\) is a Noetherian \(\hat{R}\)-module and \(\text{Tor}_i^R(A,L')\) is an Artinian \(R\)-module. (2) Assume that \(R\) is complete. Then the modules \(\text{Ext}^i_R(A,L)\) and \(\text{Tor}_i^R(A,L')\) are Matlis reflexive. These results are part of an outstanding new research on Matlis duality including vanishing behavior of the functors as well as detailed discussions on the sharpness of these results. Many of the results generalize to the non-local setting, which the authors treat in a second paper [``Homology of Artinian and mini-max modules'', to appear].