Openness of various loci over Noetherian rings (Q6170760)

Let \(R\) be a commutative, Noetherian ring and all modules be finitely generated. Let \(\mathbb{P}\) be a property of local rings. The \(\mathbb{P}\)-locus of \(R\) is denoted by \[ \mathbb{P}(R)=\{\mathfrak{p}\in \mathrm{Spec}(R)\mid \mathbb{P} \text{ holds for }R_\mathfrak{p}\}. \] Let \(M\) be an R-module, then the \(\mathbb{P}\)-locus of \(M\) (over \(R\)) is denoted by \[ \mathbb{P}_R(M)=\{\mathfrak{p}\in \mathrm{Spec}(R)\mid \mathbb{P} \text{ holds for }M_\mathfrak{p}\}. \] In this paper, the author studied the openness of the \(\mathbb{P}\)-locus of a module in the case where \(\mathbb{P}\) is each of the finite injective dimension property (FID), the Gorenstein property (Gor), the canonical property (Can), the Cohen-Macaulay property (CM), the maximal Cohen-Macaulay property (MCM), and Serre's conditions (\(S_n\)) and (\(T_n\)). Main results: {Theorem 3.6} Let \(M\) be an \(R\)-module, and let \(\mathfrak{p} \in \mathrm{FID}_R(M).\) Suppose that \(\mathrm{Gor}(R/\mathfrak{p})\) contains a nonempty open subset of \(\mathrm{Spec}(R/\mathfrak{p}).\) Then \(\mathrm{FID}_R(M)\) contains a nonempty open subset of \(V(\mathrm{p}).\) {Theorem 4.4} Let \(M\) be an \(R\)-module, and \(\mathfrak{p} \in \mathrm{Supp}_R(M) \cap \mathrm{FID}_R(M) \cap \mathrm{MCM}_R(M).\) The following conditions are equivalent. (1) \(\mathrm{FID}_R(M)\) contains a nonempty open subset of \(V(\mathbf{p}).\) (2) \(\mathrm{Gor}(R/\mathfrak{p})\) contains a nonempty open subset of \(\mathrm{Spec}(R/\mathfrak{p}).\) {Theorem 5.4} Let \(M\) be an \(R\)-module, and \(\mathfrak{p} \in \mathrm{Supp}_R(M)\cap\mathrm{CM}_R(M).\) Then the following two conditions are equivalent. (1) \(\mathrm{CM}_R(M)\) contains a nonempty open subset of \(V(\mathfrak{p}).\) (2) \(\mathrm{CM}(R/\mathfrak{p})\) contains a nonempty open subset of \(\mathrm{Spec}(R/\mathfrak{p}).\) {Theorem 6.1} Let \(M\) be an \(R\)-module, and let \(n \ge 0\) be an integer. (1) Suppose that \(S^R_n(M)\) contains a nonempty open subset of \(V(\mathfrak{p})\) for all \(\mathfrak{p}\in \mathrm{Supp}_R(M) \cap S^R_n(M)\) such that \(\mathrm{ht} \mathfrak{p} < n.\) Then \(S^R_n (M)\) is an open subset of \(\mathrm{Spec}(R).\) (2) Suppose that \(T^R_n(M)\) contains a nonempty open subset of \(V(\mathfrak{p})\) for all \(\mathfrak{p} \in \mathrm{Supp}_R(M) \cap T^R_n(M)\) such that \(\dim M_\mathfrak{p} < n.\) Then \(T^R_n (M)\) is an open subset of \(\mathrm{Spec}(R).\) Let denote by \((\mathrm{NC})^*\) the Nagata criterion for a property \(\mathbb{P}\) of modules over a local ring. {Theorem 7.8} Let \(n \ge 0.\) Then \((\mathrm{NC})^*\) holds for each \(\mathrm{P} \in \{\mathrm{FID, Gor, Can, CM, MCM}, (S_n), (T_n)\}.\)