On connective \(K\)-theory of elementary abelian 2-groups and local duality
type: Item
instance of: scholarly article
title: On connective \(K\)-theory of elementary abelian 2-groups and local duality
zbMATH Open document ID: 1304.19003
author: Geoffrey Powell
published in: Homology, Homotopy and Applications
publication date: 2014-09-02T00:00:00Z
full work available at URL: https://arxiv.org/abs/1112.6327
full work available at URL: https://projecteuclid.org/euclid.hha/1401800081
review text: The connective complex \(K\)-theory of elementary abelian 2-groups \(V\) was first computed by \textit{E. Ossa} [Lect. Notes Math. 1375, 269--275 (1989; Zbl 0683.55001)], who proved that it splits into copies of \(\mathbb{Z}/2\) and of the connective \(K\)-theory of \(B\mathbb{Z}/2\). In this paper the author attempts to study this in a more conceptual approach. More precisely, the author shows that \(ku^*(BV_+)\) and \(ku_*(BV_+)\) can be determined as functors of \(V\) to graded \(\mathbb{Z}[v]\)-modules where \(ku\) denotes the connective complex \(K\)-theory with coefficient ring \(ku^*=\mathbb{Z}[v]\), \(v\) being the Bott element of degree 2. If for example we consider the case of \(ku\)-cohomology, then this can be roughly described as follows: Let \(P_{\mathbb{Z}_2}\) denote the functor \(V \mapsto \mathbb{Z}_2[V]\) and \(\overline{P}_{\mathbb{Z}_2}\) the augmentation ideal where \(\mathbb{Z}_2\) denotes the 2-adic integers. Let \(Q_0\) and \(Q_1\) denote the derivations of degrees 1 and 3 on the symmetric algebra \(SV\) of \(V\) induced by the iterated Frobenius maps \(x \mapsto x^2\) and \(x \mapsto x^4\). We write \(L_n(V)\) for the image of \(Q_1 : \text{Ker} \, Q_0 \subset S^{n-3}V \to S^nV\) where \(S^iV \subset SV\) is the \(i\)th symmetric power of \(V\). Then if \(n=2d > 0\) there exists an exact sequence \[ 0 \to L_n(V^\sharp) \to ku^n(BV_+) \to \mathbb{Z}\oplus\overline{P}^d_{\mathbb{Z}_2}(V^\sharp) \to 0; \] otherwise we have an isomorphism \[ L_n(V^\sharp) \cong ku^n(BV_+) \] where \(V^\sharp\) is the dual of \(V\). The proof heavily depends on an analysis of the action of a morphism \(\mathfrak{Q} : H\mathbb{Z} \to \Sigma^3H\mathbb{Z}\) whose mod 2 reduction coincides with the Milnor derivation \(Q_1\) and which is given by the composite \(H\mathbb{Z} \to \Sigma^3ku \to \Sigma^3H\mathbb{Z}\) of morphisms induced from the cofibre sequence \(\Sigma^2ku \overset{v}{\to} {ku} H\mathbb{Z}\). The second part of this paper is devoted to looking at res…
reviewed by: Haruo Minami
Mathematics Subject Classification ID: 19L41
Mathematics Subject Classification ID: 20J06
zbMATH DE Number: 6338751
zbMATH Keywords: connective \(K\)-theory
zbMATH Keywords: elementary abelian group
zbMATH Keywords: group cohomology
zbMATH Keywords: group homology
zbMATH Keywords: local cohomology
MaRDI profile type: MaRDI publication profile
arXiv ID: 1112.6327
DOI: 10.4310/HHA.2014.V16.N1.A13
Recommended article: On connective KO-theory of elementary abelian 2-groups
Recommended article: Q4733110
Recommended article: \(K\)-theory equivariant with respect to an elementary abelian 2-group
Recommended article: Une description fonctorielle des K-théories de Morava des 2-groupes abéliens élémentaires
Recommended article: \(K(n)\)-local duality for finite groups and groupoids
Recommended article: The connective 𝐾-theory of finite groups
Recommended article: Tate cohomology of connected k-theory for elementary abelian groups revisited
Recommended article: On 2-primary localized algebraic \(K\)-theory
Recommended article: Q3056983
Recommended article: Towards the \(K(2)\)-local homotopy groups of \(Z\)
description: scientific article