On a surmise of McAdam concerning quintasymptotic primes (Q1184199)

For an ideal \(I\) in a Noetherian ring \(R\), the set \(\overline Q^*(I)\) of quintasymptotic primes of \(I\) is \[ {\{P\in\text{Spec}(R)\mid}I\subseteq P,\;P^*_ P \text{ minimal over }IR^*_ P+q,\;\exists q\in M\text{ in Spec}(R^*_ P)\}. \] (Here \(^*\) denotes the completion.) \textit{S. McAdam} [``Primes associated to an ideal'', Contemp. Math. 102 (1989; Zbl 0696.13002)] proved the following result: Let \(R\) and \(T\) be Noetherian rings with \(R\subseteq T\) an integral extension. Suppose that \(T\) is a finite \(R\)-module. If \(P\in\overline Q^*(I)\), then there is a \(Q\in\overline Q^*(IT)\) with \(Q\cap R=P\). If every minimal prime in \(T\) contracts to a minimal prime in \(R\), then the converse holds. McAdam conjectured that the hypothesis that \(T\) be a finite \(R\)-module was not necessary. The main result of this paper is that this is indeed the case. More precisely, it is shown that if \(R\) is Noetherian and \(R\subseteq T\) is integral, then if \(R^*_ P\otimes_ RT\) is Noetherian, then there exists \(Q\in\overline Q^*(IT)\) with \(Q\cap R=P\) and that if every minimal prime of \(T\) contracts to a minimal prime of \(R\) and if \(Q\in\overline Q^*(IT)\) with \(P=Q\cap R\), then \(P\in\overline Q^*(I)\) if \(R^*_ P\otimes_ RT_ Q\) is Noetherian and excellent. The proof uses a generalization of the result of Heitman used by McAdam in his proof (loc. cit.).