Adams \(e\)-invariant, Toda bracket and \([X,U(n)]\)
type: Item
instance of: scholarly article
title: Adams \(e\)-invariant, Toda bracket and \([X,U(n)]\)
zbMATH Open document ID: 1062.55012
author: Hiroaki Hamanaka
published in: Journal of Mathematics of Kyoto University
publication date: 2005-01-03T00:00:00Z
review text: Let \(U(n)\) be the unitary group and \(X\) be a finite CW-complex. The homotopy set \(U_n(X)=[X,U(n)]\) forms a group with the pointwise multiplication. If \(2n>\dim X\), \(U_n(X)\) coincides with \(\widetilde{K^1}(X)\). In [\textit{H. Hamanaka} and \textit{A. Kono}, J. Math. Kyoto Univ. 43, No. 2, 333--348 (2003; Zbl 1070.55007)], the authors showed that, for \(\dim X=2n\), \([X,U(n)]\) is an extension of \(\widetilde{K^1}(X)\) by \(N_n(X)\), where \(N_n(X)\) is a group defined as the cokernel of a map \(\Theta :\widetilde{K^0}(X)\rightarrow H^{2n}(X;\mathbb{Z})\). When \(\widetilde{K^1}(X)\) is a free \(\mathbb{Z}\)-module, the extension \(0\rightarrow N_n(X)\rightarrow U_n(X)\rightarrow \widetilde{K^1}(X)\rightarrow 0\) is determined by the commutators between the inverse images in \(U_n(X)\) of the elements in \(\widetilde{K^1}(X)\). In this paper, the author offers another interpretation of \(N_n(X)\) as the image of a map \(\rho^*:U_n(\bigvee_{i\in I}S^{2n}) \rightarrow U_n(X)\). This image can be determined by the Adams \(e\)-invariants. When \(\widetilde{K^1}(X)\) is not free the above extension is determined by some secondary compositions. As applications, the author determines \([SO(4),U(3)]\), and also shows examples in which \(U_n(X)\) is commutative but the above extension is not trivial.
Mathematics Subject Classification ID: 55Q35
zbMATH DE Number: 2124480
zbMATH Keywords: homotopy set
zbMATH Keywords: Adams \(e\)-invariant
zbMATH Keywords: Toda bracket
reviewed by: J. Remedios
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1215/kjm/1250281737
OpenAlex ID: W1580776477
DOI: 10.1215/KJM/1250281737
Recommended article: On \([X,U(n)]\) when \(\dim X\) is \(2n\)
Recommended article: On the groups \([X,Sp(n)]\) with \(\dim X\leq4n+2\)
Recommended article: On \([X, U (n)]\) when \(dim X\) is \(2n+1\)
Recommended article: Nilpotency of unstable \(K\)-theory
Recommended article: A topological characterization of \(SU\)
Recommended article: Divisible groups in the \(K\)-theory completion of \(SU(n)\)
Recommended article: Q4878332
Recommended article: On Localized Unstable K1-groups and Applications to Self-homotopy Groups
Recommended article: Bott maps and the complex projective plane: A construction of R. Wood's equivalences
Recommended article: Stable summands ofU(n)
description: scientific article; zbMATH DE number 2124480