NK₀ and NK₁ of the groups C₄ and D₄

From MaRDI portal
Publication:1012472





Let \(R\) be a ring and \(K_i(R)\) denote the \(i\)-th \(K\)-theory group of \(R\), (\(i\in\mathbb{Z}\)). Recall that \(NK_i(R)\) is defined as the quotient \(K_{i}(R[X])/K_{i}(R)\). The author explicitly computes these groups in the following cases: \(R=\mathbb{Z}[G]\) (the integral group ring), \(G=D_{2}, C_{4}\) or \(D_4\) (dihedral of order \(2\), cyclic of order \(4\) and dihedral of order \(8\), respectively) and \(i=0,1\). The computations keep track of the module structure of these groups given by Verschiebung and Frobenius operators, as well as the continuous module structure over the ring of big Witt vectors \(W(\mathbb{Z})\). Let \(V\) denote the continuous \(W(\mathbb{F}_2)\)-module \(x\mathbb{F}_2[x]\): it is a countable direct sum of copies of \(\mathbb{F}_2\) on generator \(x^{i}\), \(i>0\) and the module structure is determined by \(V_{m}(x^{n})=x^{mn}\), \([a]x^{n}=a^{n}x^{n}; F_m(x^{n})=0\) if \( (m,n)=1\) \((m>1)\) and \( F_d(x^n)=dx^{n/d}\) wif \(d|n\). The results are as follows. Theorem 1.3: For \(D_2=C_2\times C_2\) we have \(NK_0(\mathbb{Z}[D_2])\cong V, NK_1(\mathbb{Z}[D_2])\cong \Omega_{\mathbb{F}_2[x]}\), Theorem 1.4: \(NK_1(\mathbb{Z}[C_4])\cong \Omega_{\mathbb{F}_2[x]}\) and \(NK_0(\mathbb{Z}[C_4])\cong V\), Theorem 2.5: \(NK_0(\mathbb{Z}[D_4])\) is isomorphic to the cyclic Cartier module \(NK_1(\mathbb{Z}[C_2],1-\tau)\) (described in the paper). As a group, this is the direct sum of a countable infinite free \(\mathbb{Z}/4\)-module and a countable infinite free \(\mathbb{Z}/2\)-module. The author also proves that \(NK_0(\mathbb{Z}[D_4])\) surjects onto \(NK_1(\mathbb{Z}[D_4])\).











This page was built for publication: \(NK_{0}\) and \(NK_{1}\) of the groups \(C_{4}\) and \(D_{4}\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1012472)