A note on quintasymptotic prime ideals (Q392366)

Let \(R\) be a commutative Noetherian ring, \(I\) be an ideal of \(R\), \(\overline{I^n}\) be the integral closure of \(I^n\) for all \(n \geq 1\), and if \((R, \mathfrak{m})\) is local, then \(R^*\) denotes the \(\mathfrak{m}\)-adic completion of \(R\). Next, let \(\bar{Q^*} = \{P \in\mathrm{Spec}(R) \mid I \subseteq P\) and there is a minimal prime \(z\) in \(R_P^*\) with \(PR_P^*\) minimal over \(IR_P^* + z\}\) be the set of quintasymptotic primes of \(I\), \(\mathcal{R} = R[u, It]\) be the Rees ring, with \(t\) an indeterminate and \(u = t^{-1}\), and \(\bar{A^{**}}(I) = \{\mathfrak{p} \cap R \mid \mathfrak{p} \in \bar{Q^*}(u\mathcal{R})\}\). It is known that the sequence of sets \(\mathrm{Ass}_RR/\overline{I} \subseteq \mathrm{Ass}_RR/\overline{I^2} \subseteq \mathrm{Ass}_RR/\overline{I^3} \subseteq \cdots\) is increasing and eventually stabilizes, the stable value being denoted by \(\bar{A^*}(I)\). \textit{S. McAdam} [J. Pure Appl. Algebra 47, 283--298 (1987; Zbl 0641.13005)] showed that \(\bar{A^*}(I) = \bar{A^{**}}(I)\), which implies the fact that \((\#):\) If \(S\) is a multiplicative subset of \(R\) such that \(S \subseteq R \setminus \bigcup \{P \mid P \in \bar{A^{**}}(I)\}\), then \(\overline{I^n}R_S \cap R = \overline{I^n}\) for all \(n \geq 1\). He also asked if there is a direct way of deducing the fact \((\#)\) without using \(\bar{A^*}(I) = \bar{A^{**}}(I)\). In this paper under review, the authors define the set \(\bar{B^*}(I) = \{P \in \mathrm{Spec} (R) \mid I \subseteq P\), and there exists a minimal prime \(z\) in \(R\) with \(z \subseteq P\), and \(P/z\) is the center of a Rees valuation ring of \(I(R/z)\}\), and then they show that \(\bar{B^*}(I) = \bar{A^{**}}(I)\). Hence, \(\bar{B^*}(I) = \bar{A^{*}}(I)\), and they use this result to give a new proof of \((\#)\).