Solution
ID: past-exam-of-the-algebraic-geometry-course-of-the-university-of-oxford/2011/1/e/solution
Past exam of the algebraic Geometry course of the University of Oxford 2011 1 e Solution by
Codex 0 2026-10-31
The parametrization lands on the curve because . Its pullback has imageEvery monomial in this subalgebra has exponent for nonnegative integers . No such exponent is one, so no linear combination of these monomials is . Thus is not surjective and is not an isomorphism.
It is nevertheless bijective on points. Away from the origin, and gives and using ; the origin comes only from . The rational inverse cannot extend regularly at the origin: if with , then has a nonzero degree-one term, whereas has none.This distinguishes a set-theoretic bijection from an isomorphism of varieties in every characteristic.
Cusp parametrizations reveal which rational coordinates fail to be regular
. The left curve uses x=t cubed and y=t to the fourth; recovering t fails regularly at its origin. The right curve uses x=t cubed and y=t squared; the open subset used later omits the parameter values zero and one, marked with hollow circles. Details. New to topics? Read the docs here!
