Adams operations for projective modules over group rings

DOI10.1017/S0305004196001351MaRDI QIDQ4352081zbMATH OpenOpenAlexFDO

Publication date 17 March 1998

Published in Mathematical Proceedings of the Cambridge Philosophical Society (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s0305004196001351

Adams operations cyclic power operations higher K-theory shuffle power map

Grothendieck groups, (K)-theory, etc. (16E20) Twisted and skew group rings, crossed products (16S35) Computations of higher (K)-theory of rings (19D50) Group rings of finite groups and their modules (group-theoretic aspects) (20C05) Homological methods in group theory (20J05)

Review text

Various definitions of Adams operations on the higher \(K\)-theory have been given since [\textit{H. L. Hiller}, ``\(\lambda\)-rings and algebraic K-theory, J. Pure Appl. Algebra 20, 241-266 (1981; Zbl 0471.18007)] and [\textit{Ch. Kratzer}, ``\(\lambda\)-structure en K-théorie algébrique, Comment. Math. Helv. 55, 233-254 (1980; Zbl 0444.18008)]. The author is concerned here with Adams operations on the higher \(K\)-theory groups associated with the exact category \(\mathcal M\) of finitely generated over \(R\) and projective \(R\#\Gamma\)-modules, where \(\Gamma\) is a group and \(R\) a commutative \(\Gamma\)-ring. For the Grothendieck group, the definition of Adams operations \(\Psi^k,\;k\in{\mathbb{N}}\) invertible in \(R\) and the study of their properties (multiplicativity, commutation with the other Adams operations, with base changes and with the Cartan homomorphism) rely on the Atiyah-Kervaire strategy for defining Adams operations via cyclic group actions [\textit{M. Kervaire}, ``Opérations d'Adams en théorie des représentations linéaires des groupes finis, Enseignement Math., II. Sér. 22, 1-28 (1976; Zbl 0335.20003)]. Let \(C\) be a cyclic group of order \(l\), \(G:={\mathbb{Z}}/{l{\mathbb{Z}}}^\times\) and \(K\) their semidirect product. The key tools are, at this level, certain exact functors \(F_a,\;a\in{{\mathbb{Z}}/{l{\mathbb{Z}}}}\), from the \(K\)-modules over \(R\#\Gamma\) to the \(R\#\Gamma\)-modules. The generalisation to higher \(K\)-theory of these results requires other tools, namely Grayson's \(G{\mathcal M}\) and \({\mathcal H}^l{\mathcal M}\) constructions [\textit{D. R. Grayson}, ``Exterior power operations on higher K-theory, K-Theory 3, No. 3, 247-260 (1989; Zbl 0701.18007)]. A ``tensor power map, the shuffle power map, is constructed from \(G{\mathcal M}\) to \({\mathcal H}^l{\mathcal M}\) by means of the results of the author in [\textit{B. Köck}, ``Shuffle products in higher \(K\)-theory, J. Pure Appl. Algebra 92, No. 3, 269-307 (1994; Zbl 0797.19003)]. When \(\Gamma =\{ 1\}\), this map identifies with Grayson's \(\Lambda^k\). Together with Grayson's results and the functors \(F_a\), this map yields to the definition of cyclic power operations and Adams operations on \(K_q(R\#\Gamma)\).

Recommendations

Cited in

(9)

This page was built for publication: Adams operations for projective modules over group rings

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