to pursue blow-up in its greatest generality, let "x" be a scheme, and let formula_44 be a coherent sheaf of ideals on "x". the blow-up of "x" with respect to formula_44 is a scheme formula_46 along with a morphism