First, all lifts of the real one-parameter projective group commute. Its scalar commutator is again a continuous alternating bicharacter. For fixed nonzero and an integer , a lift of is a phase multiple of the th power of a lift of ; hence and for every integer . Rational multiples of are dense in , so continuity makes for every .
Choose a unitary representing and the allowed self-adjoint logarithm with . Every lift of commutes with , hence with by the double commutant theorem for star-algebras condition. Therefore
is a continuous projective homomorphism, with . It is periodic of period one and descends to . Part (b) lifts it to a continuous unitary homomorphism of that circle. Each is a lift of and commutes with , since a representative has the form of an original lift times . Thus
is a strongly continuous unitary homomorphism with projective class . This gives the required lift of the whole real group, not just unrelated unitary representatives at each time.

Articles by others on the same topic (0)

There are currently no matching articles.