On the Cartan map for crossed products and Hopf-Galois extensions.

DOI10.1007/S10468-008-9095-4MaRDI QIDQ2267795zbMATH OpenOpenAlexFDO

Authors Konstantin Ardakov, Simon Wadsley

Publication date 2 March 2010

Published in Algebras and Representation Theory (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0703664

zbMATH Keywords

Cartan mapscrossed productsfinite-dimensional Hopf algebrashigher K-theoryHopf-Galois extensions

Mathematics Subject Classification ID

Grothendieck groups, (K)-theory, etc. (16E20) Twisted and skew group rings, crossed products (16S35) Hopf algebras and their applications (16T05)

Abstract: We study certain aspects of the algebraic K-theory of Hopf-Galois extensions. We show that the Cartan map from K-theory to G-theory of such an extension is a rational isomorphism, provided the ring of coinvariants is regular, the Hopf algebra is finite dimensional and its Cartan map is injective in degree zero. This covers the case of a crossed product of a regular ring with a finite group and has an application to the study of Iwasawa modules.

Review text

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.

Recommendations

• scientific article; zbMATH DE number 4017106
• scientific article; zbMATH DE number 701826
• Hopf Galois theory: a survey.
• FINITE HOPF-GALOIS EXTENSIONS EQUIVALENT TO CROSSED PRODUCTS
• Galois theory for multiplier Hopf algebras with integrals

Cites work

• K ₀ and the dimension filtration for p -torsion Iwasawa modules
• Algebraic K-theory of generalized free products. I
• Higher algebraic K-theory: I
• Hopf algebras and Galois theory
• Hopf Galois extensions, smash products, and Morita equivalence
• Hopf-Galois extensions with central invariants and their geometric properties
• scientific article; zbMATH DE number 3736029 (Why is no real title available?)
• scientific article; zbMATH DE number 482792 (Why is no real title available?)
• Representation theory of Hopf Galois extensions
• Representations of finite-dimensional Hopf algebras

Cited in

(2)

• On locally analytic Beilinson-Bernstein localization and the canonical dimension
• A generalization of a theorem of Swan with applications to Iwasawa theory

This page was built for publication: On the Cartan map for crossed products and Hopf-Galois extensions.

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