Proof. [04PC]
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.
We write ; we assume to be negative or zero by the condition , as the case and is already treated in the proof of [NXY19, prop. 5.4].
The blow-up of the point in yields a new irreducible component (we denote the strict transforms by the same letters for notational simplicity) with multiplicity , the point and the intersection numbers . If we repeat the process times, we obtain the models , the exceptional divisors with multiplicity , the points and the intersection numbers .
For , we have , and by [NXY19] the integral affine structure induced by on is given by and
| (3.1.2) |
The sequence of blow-ups induces (weighted) barycentric subdivisions of the faces with vertices such that
| (3.1.3) |
Combining Eq. 3.1.2 and Eq. 3.1.3, at each step we obtain that
and in particular . The proposition follows from the following lemma. ∎