Under the World Tree

Total Space of Bundles on Proj(S)

I have a lot of trouble remembering how the Proj functor works and how to think about sheaves of OX\mathcal{O}_X-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 SS be a graded ring, and let Proj(S)\mathsf{Proj}(S) be the set of homogeneous primes in SS. To topologise Proj\mathsf{Proj} we take the sets V(a)V(\mathfrak{a}) as our closed sets, and to get a structure sheaf we define

O(U)={s:UpUS(p),s(p)  S(p) for all pProj(S)locally s is a quotient a/fof homog elements in S of same degree},\mathcal{O}(U) = \bigl\{s : U \to \coprod_{\mathfrak{p} \in U}S_{(\mathfrak{p})}, \substack{s(\mathfrak{p}) \ \in \ S_{(\mathfrak{p})} \text{ for all } \mathfrak{p} \in \mathsf{Proj}(S) \\ \text{locally } s \text{ is a quotient } a/f \\ \text{of homog elements in } S \text{ of same degree}}\bigr \},

where S(p)S_{(\mathfrak{p})} is the ring of degree 0 elements in T1ST^{-1}S and where TT is the multiplicative system of homog elements in SpS \setminus \mathfrak{p}. One then shows that this makes Proj(S)\mathsf{Proj}(S) a locally ringed space, having distinguished open sets D+(f)={p  f∉p}D_+(f) = \{\mathfrak{p} \ | \ f \not \in \mathfrak{p} \} for homogeneous ff such that D+(f)Spec S(f)D_+(f) \cong \text{Spec} \ S_{(f)}.

Sheaves of modules M~\tilde{M} on Proj\mathsf{Proj} are described in the same way as the structure sheaf O\mathcal{O}: for a graded SS-module MM, we define MpM_{\mathfrak{p}} in the analogous way and look at stalk-functions m:UpUM(p)m : U \to \coprod_{\mathfrak{p} \in U} M_{(\mathfrak{p})}. A feature that distinguishes O\mathcal{O}-modules from OX\mathcal{O}_X-modules on XX affine is existence of Serre twists. For nZn \in \mathbb{Z}, we can twist the grading of SS by making the mmth component of SS into the m+nm+nth component of S(n)S(n). This twisting is compatible with localisation, so it extends to give twists of O\mathcal{O}. Finally, we get twists of O\mathcal{O}-modules by setting M~(n)=M~O(n)\tilde{M}(n) = \tilde{M} \otimes \mathcal{O}(n). Structurally, M~\tilde{M} and M~(n)\tilde{M}(n) are quite different sheaves: the former has local and global values determined by the degree 0 parts of MM and its localisations, while the latter has local and global values from the degree nn parts.

Back