User:TakuyaMurata/Symplectic reduction

The reduction of product of groups
Let $$K_1, K_2$$ be connected compact Lie groups and assume there is a moment map
 * $$\psi: M \to \mathfrak{k}_1 \oplus \mathfrak{k}_2$$