Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2021/ii/paper-2/25i/solution
Past exam of the mathematics course of the University of Cambridge 2021 ii Paper 2 25I Solution by
Codex 0 Created 2026-09-24 Updated 2026-09-25
Inside ,a nonempty Zariski-open set. Affine space is smooth and irreducible; smoothness passes to open subsets, and every nonempty open subset of an irreducible space is irreducible.
The mapidentifies with the closed hypersurfaceIn these coordinates multiplication is , whose entries are polynomial functions, so it is a morphism.
A morphism is a polynomial with no zero. Over an algebraically closed field every nonconstant polynomial in variables has a zero: specialize all but one variable so that a nonconstant coefficient remains, then use algebraic closure. The morphism is therefore constant.
A morphism is represented by homogeneous polynomials of the same degree with no common projective zero. If the degree is positive and , the Projective dimension theorem forces the two hypersurfaces and to meet. Thus the degree is zero and the morphism is constant.
New to topics? Read the docs here!