Artinian cofinite modules and going-up for \(R\subseteq \widehat {R}\) (Q1688344)

Let \((R,\mathfrak{m})\) be a commutative Noetherian local ring with identity and \(\widehat{R}\) denote its \(\mathfrak{m}\)-adic completion. This paper investigates the question: when does the going-up theorem hold for ring extension \(R\subseteq \widehat{R}\)? Its main result yields the equivalence of the following statements: (i) the going-up theorem holds for ring extension \(R\subseteq \widehat{R}\). (ii) \(\mathrm{Rad}(I+\text{Ann}_RA)=\mathfrak{m}\) for every proper ideal \(I\) of \(R\) and every non-zero Artinian \(I\)-cofinite module \(A\). (iii) \(R\) is formal catenary, \(\dim (\widehat{R})_{\mathfrak{p}}/\mathfrak{p} (\widehat{R})_{\mathfrak{p}}=0\) for all \(\mathfrak{p}\in \text{Spec} R\), and \[ \text{Att}_R(\text{H}_{I}^{\dim_RM}(M))=\{\mathfrak{p}\in \text{Assh}_RM|\;\mathrm{Rad}(\mathfrak{p}+\text{Ann}_RM)=\mathfrak{m} \} \] for every ideal \(I\) of \(R\) and every non-zero finitely generated \(R\)-module \(M\). Recall that an \(R\)-module \(X\) is called \(I\)-\textit{cofinite} if \(\text{Supp}_RX\subseteq \text{V}(I)\) and the \(R\)-module \(\text{Ext}_R^i(R/I,X)\) is finitely generated for all \(i\in \mathbb{N}_0\). Also, the local ring \(R\) is called \textit{formally catenary} if for every minimal prime \(\mathfrak{p}\) of \(R\), the ring \(\widehat{R}/\mathfrak{p} \widehat{R}\) is equidimensional.