Triviality of finite-dimensional unitary representations of SL2R

ID: triviality-of-finite-dimensional-unitary-representations-of-sl2r

The diagonal element conjugates to . In a finite-dimensional unitary representation, conjugacy therefore makes its eigenvalue multiset invariant under every square power. Square-power rigidity of a finite nonzero spectrum makes the image of every upper unipotent the identity. Its kernel is a normal subgroup; elementary unipotent generators of SL2R then force the entire group representation to be trivial. This algebraic argument does not require continuity.

New to topics? Read the docs here!