Proof. [04P8]
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.
By the proof of Theorem B and Proposition 1.5.2 we have the following diagram:
where the upper arrow is an isomorphism of analytic spaces, and the lower one a homeomorphism. Here and are the generic fibers (in the sense of Berkovich) of the formal completions and respectively, and denotes the interior of the polyhedral complex obtained by intersecting the fan of the normal bundle of in with . In particular, is embedded in , the polyhedral decomposition of is the same of , and the vertex corresponds to the origin. By Section 1.6, the integral affine structure on is the pullback via of the integral affine structure on , and this concludes the proof. ∎