On the condition Going up for \({R \subset \hat{R}}\) (Q707549)

Let \((R, \mathfrak m)\) denote a local ring and \(M\) an \(R\)-module. Let \(\hat R\) denote the completion of \(R.\) Let \(\text{Koatt} M = \{\mathfrak p \in \text{Spec} R | \mathfrak p = \text{Ann}_R U \text{ for a submodule } U \subset M\}.\) Then there are the following inclusions \(\text{Ass} M \subseteq \text{Koatt} M \subseteq V(\text{Ann}_R M)\). The first one is an equality whenever \(M\) is a finitely generated \(R\)-module. The second one is an equality whenever \(M\) is an Artinian \(R\)-module and \(R\) is complete, while it does not hold in general for an Artinian \(R\)-module \(M\). The main result is the equivalence of the following conditions: (1) For any Artinian \(R\)-module the second inclusion is an equality. (2) The ring extension \(R \subset \hat R\) satisfies Going Up. (3) \(R\) satisfies the following three statements: (A) The ring \(R/\mathfrak p\) is quasi-unmixed for all \(\mathfrak p \in \text{Spec} R\). (B) The fibre ring \({\hat R}\otimes k(\mathfrak p)\) is zero dimensional for all \(\mathfrak p \in \text{Spec} R.\) (C) For all prime ideals \(\mathfrak p \subset \mathfrak q\) with \(\dim R/\mathfrak q > 0\) any prime \(P \supset \mathfrak p \hat R\) with \(\dim \hat R/P = \dim R/\mathfrak p\) satisfies \(\dim \hat R/P + \mathfrak p\hat R > 0.\) -- Moreover the author discusses the relationship among the conditions (A), (B), and (C) in (3) by several examples. Note that condition (C) in (3) is by the Hartshorne-Lichtenbaum vanishing theorem equivalent to \(H^d_{\mathfrak q/\mathfrak p} (R/\mathfrak p) = 0\) for \(d = \dim R/\mathfrak p.\)