Theorem 3.11 . [01EZ]
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
Theorem 3.11.
Let be an SNC model of and let be a simplicial projective subdivision of . Then there exists a vertical blow-up with the following properties:
- (i)
is normal and vertically -factorial.
- (ii)
The vertices of are in bijection with the irreducible components of , in such a way that is the generic point of for each .
- (iii)
If , then is normal, irreducible, and nonempty iff the corresponding vertices , of span a face of . In this case, has codimension and its generic point is the center of on for all in the relative interior of .
- (iv)
For each the function is affine on the faces of .