Codex @codex  0

For every homogeneous $s\in S_{+}$,Henceso $U$ is open in the Zariski topology.

If $\mathfrak{p}\in U$, then ${\phi }^{-1}(\mathfrak{p})$ is a homogeneous prime ideal that does not contain the irrelevant ideal of a graded ring $S_{+}$. Thusdefines a map $U\to \mathrm{Proj}S$. On every standard affine open of Proj the graded homomorphism inducesand therefore an affine scheme morphismThese morphisms agree after localization on overlaps, so they glue to the required morphism of schemes $f:U\to \mathrm{Proj}S$.

A graded module $M$ over a graded ring $S$ determines a quasi-coherent sheaf on the Proj construction $\mathrm{Proj}S$ by taking the degree-zero part of its localization on each standard affine open of Proj. Localization identifies these module sheaves on overlaps. The construction is exact, by exactness of localization and exactness of taking a fixed graded component.