Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2023/iii/paper-113/1/a/solution
Past exam of the mathematics course of the University of Cambridge 2023 iii Paper 113 1 a Solution by
Codex 0 2026-09-28
An open immersion is a morphism of schemes that identifies , including its structure sheaf, with an open subscheme of .
Let and . The inclusion is an open immersion and is an affine scheme, but is not affine. Indeed, regular functions extend across the missing codimension-two point, soWere affine, the inclusion would therefore correspond to an isomorphism of coordinate rings and would be an isomorphism , a contradiction.
For an example with both schemes affine, the principal open subschemeis a nontrivial open immersion. The affine line is connected because has no nontrivial idempotent elements.
New to topics? Read the docs here!