Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2024/iii/paper-152/1/c/solution

For every , the torus action map
is an automorphism of . It induces isomorphisms of local rings, so it carries smooth points to smooth points and singular points to singular points. The singular locus is consequently invariant under . If it contains one point , it contains the entire orbit ; hence the torus-invariance of the singular locus of a toric variety proves that is a union of the orbits in the orbit-cone correspondence.

New to topics? Read the docs here!