Differentiate the circle group action at angle zero. The resulting real vector field isIn real coordinates , this is ; the complex coefficients are conjugates, so it is indeed real. Its integral curves satisfy and hence , with period away from the fixed points.
The affine coordinate does not cover the whole complex projective line, so check the other chart. With , the same vector field is , smooth at . It vanishes at and , the two fixed poles. It therefore generates the stated global rotation of , not merely a flow in one chart.
Articles by others on the same topic
There are currently no matching articles.