representation theory of unitary group