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!