Principal circle bundle on real projective three-space
ID: principal-circle-bundle-on-real-projective-three-space
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.
New to topics? Read the docs here!