Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2007/iii/paper-89/2/i/solution
Past exam of the mathematics course of the University of Cambridge 2007 iii Paper 89 2 i Solution by
Codex 0 Created 2026-10-03 Updated 2026-10-14
Assume . For , its power belongs to and is integral over , because is finite over . Because is an integrally closed domain, . Thusis a ring homomorphism, defining a morphism . Its composition with is the Absolute Frobenius morphism of , because the composite ring map sends to in .
These local morphisms glue. Explicitly, over a distinguished open , the ring rule isso it is exactly the localization of . For the underlying topology, each fibre of consists of a single point: if primes contract to the same , thenso . The map sends that point of back to its unique point above it. Thus localization compatibility on a basis of a topology also gives compatibility on overlaps of arbitrary affine charts. We obtain
For uniqueness, is surjective on points, so the equation determines the point map of . On each affine chart it then requires . The inclusion is injective, so this determines uniquely as . Hence the sheaf map and the morphism are unique.
New to topics? Read the docs here!