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: