Some Characterizations of Relative Sequentially Cohen-Macaulay and Relative Cohen-Macaulay Modules (2210.12666v1)

Abstract: Let $M$ be an $R$-module over a Noetherian ring $R$ and $\mathfrak{a}$ be an ideal of $R$ with $c={\rm cd}(\mathfrak{a},M)$. First, we prove that $M$ is finite $\mathfrak{a}$-relative Cohen-Macaulay if and only if ${\rm H}i(\Lambda{\mathfrak{a}}({\rm H}{\mathfrak{a}}^c(M)))=0$ for all $i\neq c$ and ${\rm H}_c(\Lambda{\mathfrak{a}}({\rm H}{\mathfrak{a}}^c(M))) \cong \widehat{M}^{\mathfrak{a}}$. Next, over an $\mathfrak{a}$-relative Cohen-Macaulay local ring $(R,\mathfrak{m})$, we provide a characterization of $\mathfrak{a}$-relative sequentially Cohen-Macaulay modules $M$ in terms of $\mathfrak{a}$-relative Cohen-Macaulayness of the $R$-modules ${\rm Ext}^{d-i}{R}(M,{\rm D}{\mathfrak{a}})$ for all $i\geq 0$, where ${\rm D}{\mathfrak{a}} = {\rm Hom}R({\rm H}^d{\mathfrak{a}}(R),{\rm E}(R/\mathfrak{m}))$ and $d={\rm cd}(\mathfrak{a},R)$. Finally, we provide another characterization of $\mathfrak{a}$-relative sequentially Cohen-Macaulay modules $M$ in terms of vanishing of the local homology modules ${\rm H}j(\Lambda{\mathfrak{a}}({\rm H}_{\mathfrak{a}}^i(M)))=0$ for all $0\leq i\leq c$ and for all $j\neq i$.