Skip to main content
3 events
when toggle format what by license comment
Sep 16, 2016 at 15:45 vote accept Vicky Cheung
Sep 15, 2016 at 11:09 comment added Bertram Arnold The persuasion can be done by Cartan's formula: If $A$ denotes the connection 1-form (satisfying $\iota_u A = i$ and $\mathrm d A = i\pi^*\omega$ and $\pi:L\to M$ the projection, then $\mathcal{L}_{\tilde X + fu} A = \iota_{\tilde X + fu}\mathrm dA + \mathrm d \iota_{\tilde X + fu}A = i(\iota_{\tilde X + fu} \pi^*\omega + \mathrm d \pi^*f) = i\pi^*(\iota_{X}\omega + f)$, so $X$ must be the Hamiltonian vector field of $f$.
Sep 15, 2016 at 1:50 history answered Johannes Nordström CC BY-SA 3.0