Solution

ID: past-exam-of-the-introduction-to-schemes-course-of-the-university-of-oxford/2023/1/c/iii/solution

Let and . The idempotent determines the disjoint clopen sets and . Each is closed in . Define the open subsets
They cover and satisfy . The global section defines morphisms of schemes and , both sending the coordinate to . On their intersection is a unit, so both maps land in the common open subscheme , where they agree. They therefore glue uniquely:
For an entirely explicit description, choose any lift of . Then and
The equality proves that these open subsets cover. The inclusion proves that their intersection is exactly . Their description as complements of proves independence of the chosen lift. In particular, no lift of to an idempotent of is required.

New to topics? Read the docs here!