Semisimple moment-map equivariance
ID: semisimple-moment-map-equivariance
For a semisimple Lie algebra, its nondegenerate Killing form turns a two-cocycle into an operator through . The cocycle identity makes a derivation. Choose by . Using and cyclicity of trace gives , so . Consequently is a coboundary. This proves that component Hamiltonians can be normalized to a Lie algebra homomorphism.
New to topics? Read the docs here!