Definition 27.8.3. Let S be a graded ring.
The structure sheaf \mathcal{O}_{\text{Proj}(S)} of the homogeneous spectrum of S is the unique sheaf of rings \mathcal{O}_{\text{Proj}(S)} which agrees with \widetilde S on the basis of standard opens.
The locally ringed space (\text{Proj}(S), \mathcal{O}_{\text{Proj}(S)}) is called the homogeneous spectrum of S and denoted \text{Proj}(S).
The sheaf of \mathcal{O}_{\text{Proj}(S)}-modules extending \widetilde M to all opens of \text{Proj}(S) is called the sheaf of \mathcal{O}_{\text{Proj}(S)}-modules associated to M. This sheaf is denoted \widetilde M as well.
Comments (0)
There are also: