Adams \(e\)-invariant, Toda bracket and \([X,U(n)]\) (Q1890388): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1215/kjm/1250281737 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1580776477 / rank | |||
Normal rank |
Latest revision as of 23:06, 19 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Adams \(e\)-invariant, Toda bracket and \([X,U(n)]\) |
scientific article |
Statements
Adams \(e\)-invariant, Toda bracket and \([X,U(n)]\) (English)
0 references
3 January 2005
0 references
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.
0 references
homotopy set
0 references
Adams \(e\)-invariant
0 references
Toda bracket
0 references