Past exam of the mathematics course of the University of Cambridge 2024 iii Paper 152 1 d ii Solution Created 2026-09-24 Updated 2026-09-25
The primitive ray generators of areand . They do not form a lattice basis, so the smoothness criterion for a toric variety shows that is singular. The presentation from part (i) gives the same conclusion by the Jacobian criterion: all derivatives of vanish at .
Insert the primitive raysLet consist of the conesand all their faces. Sinceevery cone of is smooth. Its support is , so this fan subdivision induces a proper birational toric morphismThe source is smooth, and is an isomorphism over the dense algebraic torus; it is therefore a toric resolution of singularities.
Past exam of the mathematics course of the University of Cambridge 2026 iii Paper 152 1 b Solution Created 2026-09-24 Updated 2026-09-25
Insert the primitive rayinside the singular cone. The corresponding star subdivision replaces by and . Both new determinants have absolute value one, as do the two unchanged cones, so the subdivided fan is smooth. The induced proper birational toric morphism is therefore a toric resolution of singularities. Its exceptional invariant curve has self-intersection , and is the Hirzebruch surface .