Proof. [04J5]
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 proof is the same as in [1] Proposition 3.10. Let and . Roughly speaking, one considers the maps given by and for small and fixed; these define sections of disjoint from , where is as in (14). The Hamiltonian vector fields of extend to . One can define a basis of in terms of suitable composition of the integral curves of . The period is obtained by integrating along the path starting at , passing through and going back to . The contribution of to the period is , whereas the contribution of is . The remaining periods can be computed integrating along classes in represented by integral curves of and , respectively. ∎