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.
Let be a projective snc model dominating and write . We denote by the components of containing .
Let be any stratum of , and denote by the corresponding simplex in .
By construction of , we have if and only if ; in this case, for any . Thus, if is an irreducible component of not cutting , it follows that does not have any component along the for .
We deduce from this that for each component of containing and , the coefficient of in is determined by and a local equation of in a formal neighbourhood of . This proves that over only depends on over .
By construction of Berkovich retraction, only depends on above (see SectionΒ 1.5). If moreover , then induces a morphism , hence only depends on over .
By the independence of on the choice of projective model and morphism , we conclude that over only depends on the formal completion .
β