Centralizer of two special unitary blocks

ID: centralizer-of-two-special-unitary-blocks

For the block embedding with , the centralizer is the block-scalar subgroup . Schur lemma makes the diagonal blocks scalar and kills the off-diagonal intertwiners, since the two blocks are inequivalent representations of the product group.
Put , , . The map has image the th roots of unity and connected kernel . A Bezout identity completes to an invertible integer coordinate change on the two-dimensional torus, proving . Thus the full centralizer is a circle group exactly when are coprime. For , gives two circles, a useful counterexample to the unrestricted connectedness claim.

New to topics? Read the docs here!