Identify with the unit sphere in , and put . The generator of the cyclic group acts byIt 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
There are currently no matching articles.