Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2007/iii/paper-89/4/ii/solution
Past exam of the mathematics course of the University of Cambridge 2007 iii Paper 89 4 ii Solution by
Codex 0 Created 2026-10-03 Updated 2026-10-14
On , write , , and . The equations include and ; after making these substitutions, the remaining equations are identities. ThereforeThe other chart isThere is a homomorphism defined by , , . To prove injectivity rather than merely exhibit a parametrization, reduce monomials using the four relations. Powers of reduce to at most one ; any remaining product of with or eliminates ; powers of reduce to at most one . Thus every element is an -linear combination ofTheir images are , with pairwise distinct degrees. Since is a domain and , these images are -linearly independent. Hence they are a basis, the map is injective, andIn particular is torsion-free, indeed free, as an -module.
The two charts cover by the prime-ideal argument in part i. Both coordinate rings are torsion-free over the discrete valuation ring , hence flat: over a principal ideal domain a torsion-free module is a filtered union of finitely generated free submodules, and filtered colimits preserve flatness. Thus the morphism is flat on an open cover and therefore flat everywhere. It is proper because is a closed subscheme of the proper projective space . Consequently is both proper and flat over .
New to topics? Read the docs here!