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.


It seems that Martin has provided the answer which Daniel sought. But the question in the title doesn't appear to be answered yet: Is there a universal property for graded localization? More precisely, for the degree-0 part of the localization?

I believe there is one. Let $S$ be an $\mathbb{N}$-graded ring. Let $M \subseteq S$ be a multiplicatively closed set consisting only of homogenous elements. Assume that $M$ contains an element of degree $1$. Let $R$ be an arbitrary ring. Then $$ \mathrm{Hom}_{\mathrm{Ring}}(S[M^{-1}]_0, R) \cong \mathrm{Hom}_{\mathrm{grRing}}(S, R[X])_M / R^ \times. $$ An element of the right hand side is an equivalence class (modulo rescaling) of a graded ring homomorphism $S \to R[X]$ which maps the degree-$n$ elements of $M$ to polynomials whose coefficient of $X^n$ is a unit in $R$.

A ring homomorphism $\varphi : S[M^{-1}]_0 \to R$ gives rise to such an equivalence class $[\psi]$ by picking an element $f \in M \cap S_1$ and defining $\psi(x) := \varphi(x/f^n) X^n$ for homogeneous elements $x$ of degree $n$.

Conversely, such an equivalence class $[\psi]$ gives rise to a ring homomorphism $\varphi$ by setting $\varphi(x/s) := \psi(x)|_{X=1} \cdot \psi(s)|_{X=1}^{-1}$.

I sincerely hope that there is some better way to express this universal property.