 Projective unitary group

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.