ScalingStacks

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 ℱ|U\mathcal{F}|_{U} 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 f+f^{+} and f−f^{-} beyond all connected components of the seam and then using the Lagrangian section to normalize with the period map.

∎

Original mathematics by the credited authors. Source-backed reader collection; mathematical self-containment is not assessed.