ScalingStacks

Proof. [04I2]

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.

We just give a sketch of the proof. Using the Weinstein neighborhood theorem one can show that in a sufficiently small tubular neighborhood of a fibre FbF_{b}, the symplectic form is exact, i.e ω=−d​η\omega=-d\eta for some 1-form η\eta. Notice that η|Fb\eta|_{F_{b}} is a closed 1-form. Define functions aja_{j} on UU by

aj=∫γjη.a_{j}=\int_{\gamma_{j}}\eta.

One can show that

λj=d​aj\lambda_{j}=da_{j}

and therefore λj\lambda_{j} is closed. It is clear that the coordinates a=(a1,…,an)a=(a_{1},...,a_{n}) are well defined up to an integral affine transformation and therefore they define an integral affine structure on BB inducing the lattice Λ\Lambda in TB∗T^{\ast}_{B}. Finally, notice that given a section σ:U→X\sigma:U\rightarrow X we have a covering map

TU∗→f−1​(U)α↦θα​(σ⁡(π⁡(α)))\begin{array}[]{rcl}T^{\ast}_{U}&\rightarrow&f^{-1}(U)\\ \alpha&\mapsto&\theta_{\alpha}(\sigma(\pi(\alpha)))\end{array}

This map induces a diffeomorphism between TU∗/ΛT^{\ast}_{U}/\Lambda and f−1​(U)f^{-1}(U). One can check that in the case σ\sigma is Lagrangian this map is a symplectomorphism. For the proof of the last statement we refer the reader to [4]. ∎

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