Projective unitary group
= Projective unitary group
{title2=$PU(H)=U(H)/\mathbb T I$}
{wiki}
The quotient identifies unitary operators differing by a scalar phase. A continuous <projective unitary representation> takes values in this quotient, with the quotient of the strong operator topology. A local continuous section fixes the phase by requiring a chosen nonzero matrix coefficient to be positive real.