symplectisation symplectomorphism symplectic equivariantization symmetrification symmetrizer symplectic group young symmetrizer convexification toroidalization