
> 
>  **Question:**  Let $S$ be a graded ring and $ f \in S\_+$. Does the ring $ S\_{(f)}$ which consists of degree $ 0$ elements of $ S\_f$ represent a nice functor?
> 
> 
> 


 **Motivation:**  Let $ X = {\rm Spec} A$. Assume that $D(f) \subseteq D(g)$. It is messy to think about the restriction map $ A\_g \to A\_f $ using formulas. Things are much more transparent in the language of representable functors. Indeed, $A\_g$ represents the functor


$$ R \mapsto \{ \text{maps $ A \to R$ which send $ g $ to a unit} \} $$


Since $ D(f) \subseteq D(g) $ we have a natural transformaion


$$ \{ \text{maps $ A \to R$ which send $ f $ to a unit} \} \subseteq \{ \text{maps $ A \to R$ which send $ g $ to a unit} \} $$


The yoneda lemma gives us a ring homomorphism $ A\_g \to A\_f $ which is the restriction map in the structure sheaf of the affine scheme. I just want to emphasize that I am not saying the yoneda lemma construction is better, it is just easier for me to keep in my head than a bunch of formulas.


Now let $S$ be a graded ring. We construct $ {\rm Proj} S $ by gluing together the affine schemes $ {\rm Spec} S\_{(f)}$ where $ f \in S\_{+}$ is homogeneous. In order to glue we need ring isomorphisms
$$ S\_{(fg)} \cong (S\_{f})\_{\frac{g^{\deg f}}{f^{\deg g}}} $$
If $ S\_{(f)}$ represented a nice functor, we could try and mimic the construction of the restriction maps in the structure sheaf of an affine scheme. As it stands, the standard construction of this isomorphism is messy and very hard to remember (for me).



Is there a universal property for graded localization?
As for your motivation: First of all, $S\_f$ satisfies the same universal property in the category of graded commutative rings (in fact, there is a theory of localization for objects or algebras in arbitrary cocomplete tensor categories). From this one deduces a natural isomorphism of graded rings $S\_{fg} \cong (S\_f)\_{g}$. Instead of inverting $g$ here, we can also invert $g^n/f^m$ for any positive integers $n,m$, but we choose $n=\deg(f)$, $m=\deg(f)$ so that the element has degree $0$. Every isomorphism of graded rings induces an isomorphism of the rings in degree $0$, hence $S\_{(fg)} \cong (S\_{(f)})\_{g^n/f^m}$. As you see, this is not messy at all.


