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.
Articles by others on the same topic
There are currently no matching articles.