Let and be affine open subschemes of the separated scheme . Its diagonal morphism is a closed immersionRestricting this closed immersion to the open subscheme identifies its inverse image with . Henceis a closed immersion. A closed subscheme of an affine scheme is an affine scheme, soThe argument iterates to every finite intersection of affine open subschemes. The empty intersection of two disjoint charts causes no exception: the empty scheme is .
Articles by others on the same topic
There are currently no matching articles.