Proof. [04LS]
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.
The fibrations constructed in Theorem 6.19 have smooth Lagrangian sections and the action coordinates extend continuously to the whole base. Since also has a Lagrangian section (cf. Remarks 7.7) and the action coordinates extend continuously to the whole base, the statement easily follows from the results on stitched fibrations such as the existence of a normal form. The latter is found extending the maps and beyond all connected components of the seam and then using the Lagrangian section to normalize with the period map.
∎