the exceptional divisor of a blowup formula_51 is the subscheme defined by the inverse image of the ideal sheaf formula_44, which is sometimes denoted formula_53. it follows from the definition of the blow up in terms of proj that this subscheme "e" is defined by the ideal sheaf formula_54. this ideal sheaf is also the relative formula_55 for π.