Blowing up finitely supported complete ideals in a regular local ring (Q290444)

Let \((R, \mathfrak{m})\) be a regular local ring. If \(\dim R=2\) and \(S\) is a local unique factorization domain that birationally dominates \(R\), results of \textit{J. Lipman} [Publ. Math., Inst. Hautes Étud. Sci. 36, 195--279 (1969; Zbl 0181.48903)] and \textit{C. Huneke} and \textit{J. D. Sally} [J. Algebra 115, No. 2, 481--500 (1988; Zbl 0658.13017)] show that \(S\) must be a regular local ring. In this paper the authors generalize this result to higher dimension \(\dim R \geq 2\). More precisely, if \(I\) is a finitely supported \(\mathfrak{m}\)-primary ideal, \(S\) is a local ring on \(\mathrm {Proj } \overline{R[It]}\) that dominates \(R\), and \(S\) is a unique factorization domain, then \(S\) is a regular local ring. We note that in dimension 2 the extra condition imposed on \(S\) is always satisfied. The authors also show that if \(\mathrm {Proj } \overline{R[It]}\) is regular, then \(\mathrm {Proj } \overline{R[It]}\) is the regular projective model obtained by succesively blowing up the maximal ideals of the points in the (finite) set of base points of \(I\).