Proof. [04LQ]
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.
Since , it is enough to show that, if for fixed we let , then is a bijection onto its image. If and are the periods of the fibration corresponding to and , then is computed by taking primitives of and . If we let denote the symplectic reduction of at and the reduced fibration, then it is not difficult to see that and are in fact periods of (cf. [3]Lemma 5.9). Now the conclusion follows by simply observing that is a proper Lagrangian submersion, i.e. an integrable system. The argument works also when .
An explicit computation of the periods was done in [3]Proposition 5.10 for the fibration in Example 5.8. There we found that
| (78) |
where and are functions depending only on . The periods of the perturbed fibration obtained in Lemma 7.6 will have this same expression away from where the perturbation took place (i.e. away from the white region in Figure 15), for example in a neighborhood of the codimension 1 part of . It is easy to see from this expression of the periods that extends continuously to and that it is a bijection. ∎