Proof. [04J7]
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.
Consider the coordinates on and the period lattice as in Proposition 4.8. With respect to these coordinates . Define open subsets of :
On the action coordinates have the form
where is a choice of primitive of . Then gives the integral affine structure on . As in the focus-focus case, for either , the map extends to a homeomorphism, such that . It is easy to show that, if , then is an isomorphism between and a neighborhood of in the affine manifold with singularities of Example 3.9. ∎