Blowing up finitely supported complete ideals in a regular local ring

Associated graded rings of ideals (Rees ring, form ring), analytic spread and related topics (13A30) Structure, classification theorems for modules and ideals in commutative rings (13C05) Commutative Noetherian rings and modules (13E05) Regular local rings (13H05)

Abstract: Let I be a finitely supported complete m-primary ideal of a regular local ring (R, m). We consider singularities of the normalization of the blow-up Proj R[It] of I. A theorem of Lipman implies that the ideal I has a unique factorization as a star-product of special star-simple complete ideals with possibly negative exponents for some of the factors. If the normalization of the projective model Proj R[It] is regular, we prove that it is the regular model obtained by blowing up the finite set of base points of I. Extending work of Lipman and Huneke-Sally in dimension 2, we prove that every local ring S on the normalization of Proj R[It] that is a unique factorization domain is regular. Moreover, if dim S is at least 2 and S dominates R, then S is an infinitely near point to R, that is, S is obtained from R by a finite sequence of local quadratic transforms.

Review text

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\).

Recommendations

Cites work

Cited in

(9)

This page was built for publication: Blowing up finitely supported complete ideals in a regular local ring

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q290444)