Last time, we talked about , which takes rings and gives us affine schemes in a manner analogous to affine varieties. Now, though it is safe to say that projective varieties are schemes (well, with the extra points taken into account) because they are covered by affine varieties (and so affine schemes), they’re actually MUCH nicer than arbitrary schemes. So, we’re going to discuss which takes graded rings to special types of schemes.
The analogies between projective varieties and for a graded ring are the same as those between affine varieties and . To start with, we take a graded ring. There is a distinguished ideal in called the irrelevant ideal, it is given by . So we take the set to be the set of homogeneous prime ideals not containing the irrelevant ideal. Now, why do we throw out this irrelevant ideal? Let’s look at the case of . We want Proj of this to be projective space. The irrelevant ideal is then , which requires that all the homogeneous coordinates vanish. However, this isn’t a point in projective space, so we want to ignore it in general. Additionally, the primes that are maximal among those not containing the irrelevant ideal will correspond to the points of a projective variety. In , we take the point , then the ideal of the point is given by the linear equations of the form , and is maximal among this set.
So we have our point set. We’ll get our closed sets in the same way as before: let be a homogeneous ideal, then is a closed set. This gives us a topology on . All that remains is to define the structure sheaf. We define the distinguished open sets of as follows: given a homogeneous element of of degree one, we define the distinguished open given by to be . The distinguished opens cover the space, and so we can define a sheaf by giving it on these open sets. To the distinguished open determined by , we assign the ring , that is, the degree 0 elements of . Similarly to the affine case, this procedure will give for projective varieties the original structure sheaf.
So now we’ve defined Proj. We step back and work with both affine and projective schemes for a moment. Let be a ring. Then we make the convention that is called and that is called . These two schemes are related just as we would expect from varieties: can be thought of as .
We’ve spoken about subvarieties, so now what about subschemes? We’ll need a subset which has, in the subspace topology, a sheaf, and we’ll even want it to relate to the original one in some nice manner. Let and be schemes. We define a morphism of schemes to be a morphism of locally ringed spaces. Now, an open subscheme of will just be an open subset whose structure sheaf is the restriction of that of . So then an open immersion will just be a morphism such that it induces an isomorphism of with an open subscheme of .
More interesting is the case of closed subschemes. Here, we must first define a closed immersion, which is a map such that it induces a homeomorphism of onto a closed subset of and such that the induced map on sheaves is surjective. Then a closed subscheme is an equivalence class of closed immersions, where and are equivalent if we have an isomorphism such that . Now this sounds complicated, but really this just says that we’re identifying the subset up to automorphism. After all, what’s the difference between parameterizing the x-axis from left to right and from right to left? We’ll just treat them as the same. As for closed immersion, it’s saying that a closed immersion is given by a sheaf of ideals, so this really is a good definition of closed subscheme to have generalizing the notion of a subvariety.
This, in fact, tells us that the closed subschemes of are of the form for an ideal , and that the same holds for with the caveat that must be homogeneous.
Now, we’ll talk about the properties that let us distinguish our abstract varieties from arbitrary schemes. I’ll start out by just saying what a variety is, and then we’ll go for each word individually. A variety is an integral separated scheme of finite type over an algebraically closed field . The first word is easy: an integral scheme is any scheme whose structure sheaf consists only of integral domains. This has the nice property that a scheme is integral if and only if it is irreducible as a topological space and all the rings have no nilpotents.
Now we’re going to skip to the “over ” part. Let be a scheme. Then we say that is a scheme over , that is, a scheme with a map to . The ability to do things like this is extremely important, and we call the base that we are working over. Many powerful theorems are proved using a method called base change. The idea there is that we have and and we’d like to work over instead. So we take the fiber product and call it , and we have a map . Then the problem is reduced to checking the property for and checking that it is preserved by base change. Now, to make sense of the notation, whenever happens to be of the form , we often say that is a scheme over as a convention. So this just means that a variety comes with a map to , that is, a point with structure sheaf . The map to the point is easy, and the last part says that the structure sheaf consists of -algebras, and that’s what we’d prefer to have.
Next up is separated. This will be quick, because we’ve discussed it before as the difference between prevarieties and varieties (this is why people used to call arbitrary schemes preschemes: they kept the word scheme for the separated ones). Now we can actually say what it means for a morphism to be separated. A morphism is separated if the diagonal morphism , which is the unique morphism whose composition with both projections is the identity map on , is a closed immersion. So what we really mean above is that is separated over , that is, the morphism is separated, which means that is a closed immersion. The truth of the matter is, we’ve been secretly taking fiber products over the whole time, because we have a unique map there for varieties, so this is precisely the condition we started with.
Now the tricky one: of finite type. This is again a property of the morphism . We define a morphism of schemes to be locally of finite type if there is a covering of by open affine subsets whose preimages are covered by open affines where is a finitely presented -algebra. The morphism if of finite type if we can do this with finitely many ‘s for each . So this says that the preimage of this structure map, which is the whole variety, can be covered by finitely many affine vareities.
Taken all together, these conditions say the following: of finite type over tells us that our space is covered by finitely many affine varieties, then the integral condition requires that there be no nilpotent functions and that it be irreducible, and finally separatedness moves our prevariety into the realm of being an actual variety, so we have our old class singled out in this way from the more general collection of schemes. We even can get back down to projective varieties by requiring that we look at the Proj of a graded ring on top of things, so inside of the big category of schemes we can find the varieties that we know and love.