Proof. [0164]
Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Complete original source context Β· Original author HTML
Proof.
This is well known (seeΒ e.g. Β [KS06, p.381]) but we supply a proof for the convenience of the reader. To simplify notation, we set , , and .
Let be the center of the blowup , and the smallest stratum of containing . Let , be the irreducible components of , the subset such that is an component of , and the simplex defined by . Let , be the strict transform of to . Finally, let be the exceptional divisor of . It corresponds to a vertex of .
First assume . In this case, is obtained from by βraising a tent over the simplex β. Let us be more precise. Consider a simplex of , corresponding to a stratum of . By the definition of a simple blowup, meets every irreducible component of transversely (if at all). It follows that cannot be contained in , so is a biholomorphism above a general point of . Thus the strict transform of defines a stratum of as well as a simplex of , whose vertices correspond to the strict transforms of the vertices of . In this case, maps onto , and is a bimeromorphic morphism, so is active for .
This proves that is surjective. To prove injectivity, consider a stratum of , with corresponding simplex of . If is not contained in , then is a biholomorphism at the general point of , is a stratum of of the same dimension as , and is the strict transform of . Thus we are in the situation above. On the other hand, if is contained in , then there exist irreducible components , of , having strict transforms , , such that has and , as vertices. Since is not a stratum of , the smallest stratum containing is cut out by , . It follows that maps the simplex onto the lower-dimensional simplex , so is not active for . Hence is injective.
Now assume is stratum of , defining a simplex with vertices , . In this case, is obtained from by a barycentric subdivision of the simplex . Again, let us be more precise. The same argument as above shows that if is a stratum of that is not contained in , and is the strict transform, then the simplex is active for and . Further, is the unique simplex in that is active for and whose image under meets the interior of .
It remains to consider strata of contained in . This becomes a toroidal calculation. Let be such a stratum, cut out by , , where . Then consists of strata , , each cut out by and , . The restriction is a bimeromorphic morphism, and the the corresponding simplex is active for and maps homeomorphically onto a simplex contained in . Further, these simplices have disjoint interiors and cover . Finally, if is a stratum of contained in , then is a stratum contained in , hence is one of the strata above. This completes the proof. β