An open subscheme is the analogue of an open subset of a topological space for schemes.
An open subscheme of a scheme is a scheme whose underlying space is the subspace of together with an isomorphism of the structure sheaf with the restriction of the structure sheaf to . An isomorphism of a scheme and an open subscheme of another scheme amounts to an open immersion of schemes .
Before embarking upon the proof of Proposition , we shall need a few preliminaries. Let be a commutative ring. Let denote the set of prime ideals of . Given an element of , we denote by the set of prime ideals of to which does not belong. Either by definition, or by a little basic commutative algebra, we have that is a basis for the Zariski topology on .
An affine scheme is by definition the locally ringed space , where is the set we have just defined equipped with the Zariski topology, and is a certain sheaf of rings on this space.
A basic result in commutative algebra is that, for any , is an affine scheme, isomorphic to . Here is the localisation of at .
Let be a scheme, and let be an open subset of . Then , in the same notation as at scheme, is a scheme.
Let . We must prove that has an open neighbourhood in such that is isomorphic to an affine scheme.
Immediately from the definition of a scheme, there is an open neighbourhood of in such that is isomorphic to an affine scheme, that is to say, a pair as defined above, for some commutative ring . This isomorphism in particular involves an isomorphism of topological spaces , which we shall denote by .
Since is a basis for the Zariski topology on , there is some such that and , noting that since is open in , is open in .
Now, as we have remarked, is isomorphic to an affine scheme. Hence is isomorphic to an affine scheme, where is the inverse image functor from sheaves of commutative rings on to sheaves of commutative rings on .
But is isomorphic to . Since , we conclude that we can take to be .
Let be a point of the underlying topological space of a scheme . The set need not be a closed subset of , but if it is, then, by Proposition , defines an open subscheme of .
Last revised on April 29, 2018 at 19:54:11. See the history of this page for a list of all contributions to it.