Solution

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

Assume . For , its power belongs to and is integral over , because is finite over . Because is an integrally closed domain, . Thus
is 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 is
so it is exactly the localization of . For the underlying topology, each fibre of consists of a single point: if primes contract to the same , then
so . 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!