I have a lot of trouble remembering how the Proj functor works and how to think about sheaves of -modules on these spaces. Part of what makes this hard is that everybody finds it technical and explains it in their own way; in this document, I'll write things down in my own way (lifted from Hartshorne but more explicit, probably) so that I have a reference.
Let be a graded ring, and let be the set of homogeneous primes in . To topologise we take the sets as our closed sets, and to get a structure sheaf we define
where is the ring of degree 0 elements in and where is the multiplicative system of homog elements in . One then shows that this makes a locally ringed space, having distinguished open sets for homogeneous such that .
Sheaves of modules on are described in the same way as the structure sheaf : for a graded -module , we define in the analogous way and look at stalk-functions . A feature that distinguishes -modules from -modules on affine is existence of Serre twists. For , we can twist the grading of by making the th component of into the th component of . This twisting is compatible with localisation, so it extends to give twists of . Finally, we get twists of -modules by setting . Structurally, and are quite different sheaves: the former has local and global values determined by the degree 0 parts of and its localisations, while the latter has local and global values from the degree parts.
