Past exam of the mathematics course of the University of Cambridge 2007 iii Paper 10 4 b Solution Created 2026-10-03 Updated 2026-10-14
Write for the scalar quotient. Local strongly continuous sections exist: near a fixed projective unitary, fix its phase by requiring one nonzero matrix coefficient, taken relative to a fixed representative, to be positive real. Thus the pullback is a locally trivial central extension of the circle by the circle. It is compact, since finitely many closed arcs inside such trivializing neighbourhoods cover the compact base and each pullback is a product with the compact fibre.
Any two lifts commute up to a scalar. Their commutator defines a continuous alternating bicharacter on the base: the scalar commutator is independent of phase choices and multiplicative in each argument. If is an irrational rotation, its powers are dense and for every integer . Continuity makes for every . Such are themselves dense, so all the lifts commute, and is abelian.
The tautological representation is strongly continuous. Choose a unit vector and average its rank-one orthogonal projection over Haar measure on :The integrand is trace-norm continuous, so is positive compact with trace one, and commutes with . A positive eigenvalue has a nonzero finite-dimensional eigenspace invariant under . Commuting unitary matrices on that space have a common unit eigenvector . Therefore for a continuous character of .
On the central fibre, , so . Consequentlyis independent of that lift. It is a homomorphism and strongly continuous, because the continuous map on descends through its quotient to the base. It satisfies . This proves circle projective representations lift to unitary representations using an actual central character, rather than assuming a global choice of phases.