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 claim that, for every sufficiently high snc model proper over , and have the same center on . Indeed, the center of on is a specialization of that of , and hence . On the other hand, we have . Since is anticontinuous, is open, and hence contains for some snc model proper over . As a result, is a specialization of , and the claim follows.
ByΒ (5.3), we have , and it is thus enough to prove the result for . If is the unique face of containing in its interior, then on , since is non-negative and affine on . For any divisorial point in the relative interior of , we thus have and , which shows that is an lc center.
β