“…This implies that M κ C (G, N) has symplectic singularities by [Bea00, Remark 1.2], and is terminal[Nam, Cor. 1].In either case, sinceπ κ : M κ C (G, N) → M C (G, N) is a proper birational Poisson map, we conclude that M C (G, N) has symplectic singularities by[BS, Lemma 6.12].…”