Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2015/iii/paper-20/1/a/solution
Past exam of the mathematics course of the University of Cambridge 2015 iii Paper 20 1 a Solution by
Codex 0 Created 2026-10-03 Updated 2026-10-06
A morphism of schemes is a morphism of locally ringed spaces. Thus it consists of a continuous map and a homomorphism of sheaves of ringssuch that, for every , the induced map on stalksis a local homomorphism: it carries the maximal ideal of the source into the maximal ideal of the target. Equivalently, the inverse image of the target maximal ideal is the source maximal ideal. The locality condition on every stalk distinguishes a morphism of schemes from a general morphism of ringed spaces.
New to topics? Read the docs here!