Identify with the unit sphere in , and put . The generator of the cyclic group acts by
It preserves the sphere because . If its th power fixes a point, then for every . Some coordinate is nonzero, so , meaning . Thus the scalar root-of-unity action is free. The case is the trivial group and also satisfies freeness. The quotient is a standard lens space.

Articles by others on the same topic (0)

There are currently no matching articles.