Proof. [04PY]
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.
Over of any -dimensional face , is equal to , hence is an affinoid torus fibration. Around any vertex , is equal to for any triple such that . It follows from Section 3.3.1 that is an affinoid torus fibration around . We denote by the boundary of , with and ; we write and , and denote by the open segment joining two points. Then, for , is equal to over , thus is an affinoid torus fibration. We conclude that is an affinoid torus fibration away from the points for .
For a singular point , we consider a loop around it and contained in . We apply Corollary 3.2.4 to compute the monodromy along : the numbers and differ by , as the model has an additional exceptional curves in with respect to . Therefore, we obtain
with respect to the basis and origin . ∎