Skip to main content
2 of 2
formatting, added tag
YCor
  • 63.9k
  • 5
  • 187
  • 286

How to compute the integer corresponding to a class in $G_0(B_{\mathrm{red}})$ for a commutative noetherian ring $B$?

$\newcommand{\red}{\mathrm{red}}$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.

Boris
  • 639
  • 2
  • 8