in the Lie algebra of vector fields on a smooth manifold
Bug
The usual definition of commutator as derivations of and infinitesimal generators of Lie group actions
produces an anti-homomorphism . This is expected because acts on on the right.
- settle with the brackets
- [?] does it agree with brackets in ?
- settle with the anti-homomorphism
- use as definition of infinitesimal generators
- [!] this seems to produce as the infinitesimal generator of flow of
- use the brackets , possibly defined using flows/adjoint action
in the Hamiltonian vector field of a smooth function on a symplectic manifold
Hamiltonian vector field of is
where is the symplectic form.
Why the minus sign?