Let $k$ be an algebraically closed field of characteristic zero and $m$ be a positive integer.Let $R$ be the subring $k[x,xy,xy^2,…,xy^m]$ of the polynomial ring $k[x,y]$, and $B$ be the quotient ring $R/xR$. I am trying to compute the $G$-theory groups of the ring $R$. So far, I have tried to use the $G$-theory localization sequence induced by the fibration sequence $G(R/xR)\rightarrow G(R)\rightarrow G(R_x)$ to do this computation. By using this localization sequence, it suffices to compute the image of the boundary map $\partial:G_1(R_x)\rightarrow G_0(R/xR)$. I have also computed that $B_{red}\cong k[t]$. So by devissage, we have $G_0(R/xR)\cong G_0((R/xR)_{red})=G_0(B_{red})\cong G_0(k[t])\cong\mathbb{Z}$. The isomorphism $G_0(R/xR)\rightarrow G_0((R/xR)_{red})$ maps the class $[R/xR]$ in $G_0(R/xR)$ to the class $[B/I]+[I/I^2]+…+[I^{m-1}/I^m]$ in $G_0((R/xR)_{red})$, where $I$ is the nilradical of $B$. This comes from the filtration $0=I^m\subseteq I^{m-1}\subseteq…\subseteq I\subseteq B$. My question is, what integer does this class in $G_0((R/xR)_{red})$ correspond to? How do I compute this integer? Thank you so much for your kind help.
How to compute the integer corresponding to a class in $G_0(B_{red})$ for a commutative noetherian ring $B$?
Boris
- 639
- 2
- 8