Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2007/iii/paper-89/4/ii/solution

On , write , , and . The equations include and ; after making these substitutions, the remaining equations are identities. Therefore
The other chart is
There 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 of
Their 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, and
In 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!