I was wondering if any of the arguments from elementary dimension theory of local noetherian rings could be simplified with knowledge of the Grothendieck group.


Let $A$ be a noetherian graded $K$-algebra over a ring $K$. We write $C$ for the category of noetherian $A$-modules. Let $K\_0 (C)$ be the Grothendieck group of $C$. The translation functor on noetherian $A$-modules gives an action of $\mathbb{Z}[x, x^{-1}]$ on $K\_0 (C)$.


If $\lambda$ is an additive function on the set of isomorphism classes of noetherian modules (edit: noetherian $K$-modules, not noetherian $A$-modules) taking values in $\mathbb{Z}$, then $\lambda$ arranges into an additive function $\lambda\_\* = \sum\_{i \in \mathbb{Z}} \lambda (-)$ on the isomorphism classes of $C$, sending a graded module $\oplus\_{i \in \mathbb{Z}} M\_i$ to the formal sum $\sum\_{i \in \mathbb{Z}} \lambda( M\_i)$. $\lambda\_\*: \text{iso}(C) \rightarrow \mathbb{Z}[[x]]$ must then factor through $K\_0 (C)$.


Usually we use $\lambda\_\*$ in the following theorem:


**Theorem:** (Hilbert, Serre) Let $A$ be a noetherian graded $K$-algebra, and let $M$ be a noetherian module. Then there is a $m \in \mathbb{Z}$ such that $\lambda(M)(n) = f(n) \prod\_{i = 1}^n (1 - n^{d\_i})$ for $n > m$, where $d\_i$ occur as the degrees of generators of $A$ over $K$. 


If generators of degree $1$ can be chosen, then this leads to a notion of dimension, where the dimension is the degree of the pole at $1$ minus $1$.


But I wonder whether the grothendieck group can be used here instead. Is this possible? I'm hoping someone can point me towards a more theoretical approach along these lines.


For instance, one might try to characterize the function $K\_0 (C) \rightarrow \mathbb{N}\_{\geq 0}$ which sends a class of modules to its dimension. The standard way of getting a function (but which does not characterize it) is by going through $\mathbb{Z}[[t]]$ and look at the degree of the pole at $1$, but maybe there are properties which define this uniquely. Another way of looking at it is to ask, "what sort of equivalence relation do we put on $K\_0(C)$ to get $\mathbb{N}\_{\geq 0}$, with the quotient map giving the dimension?"



Graded Grothendieck Group and Hilbert Polynomial
Your construction is basically the natural homomorphism of $\mathbb{Z}[x^{\pm 1}]$-modules
$$K\_0(A\mathsf{-grMod}) \to \left\{\text{formal "Laurent series"} \sum\_{i=k}^\infty a\_i x^i : k\in\mathbb{Z}, a\_i\in K\_0(K\mathsf{-mod})\right\},$$
sending the class $[M]$ of a graded $A$-module $M=\bigoplus\_i M\_i$ to $\sum\_{i\in\mathbb{Z}} [M\_i]x^i$. You can now post-compose with any out-going morphism from $K\_0(K\mathsf{-mod})$ to $\mathbb{Z}$ (or anywhere else) and get a corresponding morphism from $K\_0(A\mathsf{-grMod})$ to the Laurent series ring over $\mathbb{Z}$ ( or some other coefficients).


If $K$ is a field, then $K\_0(K\mathsf{-mod})$ is just isomorphic to $\mathbb{Z}$ itself via the dimension so that in this case your homomorphism just coincides with taking the Hilbert series of a module.


A generalisation of the Krull-dimension is surely possible, but tricky in the general setting. First of all, that dimension need not be constant across the spectrum. For example if $K$ is decomposable as $K=K\_1\times K\_2$, then every $K$-module, $A$ and every $A$-module also decomposes into a direct sum of a $K\_1$-module and a $K\_2$-module which are completely independent and can have vastly different dimensions. Even if $K$ is indecomposable, non-trivial behaviour is expected and does occur. At the very least we should aim for a dimension map defined on the spectrum which assigns to $\mathfrak{p}\in Spec(K)$ the "dimension" of the $A\_{\mathfrak{p}}$-module $M\_\mathfrak{p}$.


In other words: Characterising $K$-modules is contained in the problem of characterising $A$-modules and unless $K$ is very nice already, it may be useful to restrict attention to only those $A$-modules which have nicely behaved and well-understood underlying $K$-modules (at least locally). For example one could restrict to lattices, i.e. those $A$-modules $M$ for which all $M\_i$ are f.g. projective $K$-modules. In that case localising at $\mathfrak{p}$ gives free modules so that we can speak of the dimension as a map 
$$K\_0(K\mathsf{-proj})\to \mathbb{Z}^{Spec(K)}, [M] \mapsto (\mathfrak{p} \mapsto \dim\_{K\_\mathfrak{p}} M\_\mathfrak{p})$$ and similarly 
$$K\_0(A\mathsf{-grMod}) \to \mathbb{Q}((x))^{Spec(K)}, [M]\mapsto (\mathfrak{p} \mapsto \sum\_{i\in\mathbb{Z}} \dim\_{K\_\mathfrak{p}}(M\_i)\_\mathfrak{p} x^i).$$


And for any given $M$ the map on the Spectrum is even continuous w.r.t. the Zariski topology if I'm not mistaken.


