ScalingStacks

Theorem 3.3 (Duistermaat) . [04I1]

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

Theorem 3.3 (Duistermaat).

Given a basis {γ1,…,γn}\{\gamma_{1},\ldots,\gamma_{n}\} of H1​(Fb,ℤ)H_{1}(F_{b},\mathbb{Z}), then the corresponding 1-forms λ1,…,λn\lambda_{1},\ldots,\lambda_{n} defined on a contractible open neighborhood UU of bb are closed and locally generate Λ\Lambda. In particular, Λ\Lambda is Lagrangian with respect to the standard symplectic structure in TB∗T^{\ast}_{B}. A choice of functions aja_{j} such that λj=d​aj\lambda_{j}=da_{j} defines coordinates a=(a1,…,an)a=(a_{1},\ldots,a_{n}) called action coordinates. A covering {Ui}\{U_{i}\} of BB by contractible open sets and a choice of action coordinates on each UiU_{i} defines an integral affine structure 𝒜\mathscr{A} on BB. Moreover, if ff has a Lagrangian section σ:U→X\sigma:U\rightarrow X over an open set U⊆BU\subseteq B, then there is a natural symplectomorphism

Θ:TU∗/Λ→f−1​(U).\Theta:T^{\ast}_{U}/\Lambda\rightarrow f^{-1}(U). (5)

If σ\sigma is a global section then X⁡(B,𝒜)X(B,\mathscr{A}) is symplectically conjugate to XX. If in addition the monodromy of Λ\Lambda is trivial XX is symplectically conjugate to B×TnB\times T^{n}. The map Θ\Theta is called the period map or action-angle coordinates map.

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