Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2001/iii/paper-13/5/b/solution

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.

New to topics? Read the docs here!