Write a point of Real projective space as a nonzero vector modulo real nonzero scaling. The map to Complex projective space sends its class to the complex line through that vector. A free right action of the circle group is where ; the two possible roots differ by a real sign and therefore give the same projective point. Local smooth square-root branches prove smoothness. Over , the fibre coordinate is ; over , it is . On the overlap , the transition function of a principal bundle is . Its phase winds twice. Ordinary scalar multiplication by instead has a kernel of order two and is not a free action of a group.

Articles by others on the same topic (0)

There are currently no matching articles.