An embedded resolution of V(J) in Kd is a non-singular variety W together with a proper, birational morphism satisfying the following properties:
	Restricting the morphism to the complement of the preimage of the singular locus of V(J), we obtain an isomorphism where is called the exceptional locus of the morphism. The strict transform of V(J) in W, is smooth and has normal crossings with E.

-> Back