Given a smooth vector field X on the configuration space, let P X be its conjugate momentum. The conjugate momentum mapping is a Lie algebra anti-homomorphism from the Lie bracket to the Poisson bracket: { P X , P Y } = − − P [ X , Y ] .