Descent criterion for representations of U(n)
ID: descent-criterion-for-representations-of-u-n
The map identifies the unitary group with , where . If an irreducible SU(n) tensor transformation has boxes in its Young diagram, the central scalar acts as . Therefore, for integer , is trivial on precisely when , proving the criterion. Adding a full -box column changes by and leaves the condition unchanged. In particular a lift with trivial first-factor U(1) charge descends only if its central action is trivial; this does not prevent other lifts of the same special unitary group representation from descending.
New to topics? Read the docs here!