On the Cartan map for crossed products and Hopf-Galois extensions. (Q2267795): Difference between revisions

To an associative ring \(A\) with unit, we can associate the Abelian groups \(G_i(A)\) and \(K_i(A)\), the K-groups of the exact categories of finitely generated \(A\)-modules and finitely generated projective \(A\)-modules, following Quillen's construction of higher K-groups. There are natural maps \(c_i\colon K_i(A)\to G_i(A)\) called the Cartan maps. A consequence of Quillen's resolution theorem is that the Cartan maps are isomorphisms if \(A\) is right regular, that is, \(A\) is right Noetherian and every finitely generated right \(A\)-module has finite projective dimension. The main result of this paper is the following: let \(H\) be a finite dimensional Hopf algebra and suppose that \(c_0\colon K_0(H)\to G_0(H)\) is injective. If \(B\) is a right regular \(k\)-algebra, and \(A\) is a right \(H\)-Galois extension of \(B\), then the kernel and cokernel of the Cartan map \(c_i\colon K_i(A)\to G_i(A)\) are \(m\)-torsion, for an integer \(m\) depending only on \(H\). As an application, consider a crossed product \(A=B*G\), where \(B\) is right regular and \(G\) is a finite group; then the Cartan maps have torsion kernels and cokernels. This is based on an observation made by Ulbrich, that a \(G\)-strongly graded \(k\)-algebra is a \(kG\)-Galois extension of its part of degree \(e\). This result is the original starting point and motivation of this paper.