Global optimality under amenable symmetry constraints