×

The Bott cofiber sequence in deformation \(K\)-theory and simultaneous similarity in U\(( n)\). (English) Zbl 1163.19002

The author proves that there is a homotopy cofiber sequence of \(ku\)-modules \(\Sigma^2{\mathcal K}G @>{\beta}>> {\mathcal K}G \to R[G]\) induced by the Bott map \(\beta : S^2 \to ku\) in connective \(K\)-theory, where \(G\) is a finitely generated group (Corollary 4). Here \({\mathcal K}G\) denotes the unitary deformation \(K\)-theory of \(G\) defined by G. Carlsson [“Structured stable homotopy theory and the descent problem for the algebraic \(K\)-theory of fields”, Preprint, http://math.stanford.edu/~gunnar/ (2003)] and \(R[G]\) denotes the unitary deformation representation ring introduced by the author [T. Lawson, Algebr. Geom. Topol. 6, 253–286 (2006; Zbl 1118.55009)]. There is also a natural map of spectra \({\mathcal K}G \to \text{Rep}[G]\). Then the main theorem of this paper is in fact that this map induces a weak equivalence \(\text{H}\mathbb{Z}\wedge_{ku}{\mathcal K}G \to R[G]\). Considering the smash product of the Bott periodicity sequence \(\Sigma^2ku @>{\beta}>> ku \to \text{H}{\mathbb Z}\) with \({\mathcal K}G\) over \(ku\), one finds that the assertion above is an immediate consequence of this theorem. The proof of the theorem is done based on results of the author [T. Lawson, \(K\)-Theory 37, No. 4, 395-422 (2006; Zbl 1110.19004)], using another type of spectrum associated to a certain category of representations of \(G\) instead of using \({\mathcal K}G\).
It is also shown that this cofiber sequence yields an Atiyah-Hirzebruch type spectral sequence converging to \(\pi_{p+q}({\mathcal K}G)\), whose \(E_2\)-term is \(\pi_p(R[G])\otimes\pi_q(ku)\). Actually this follows by considering the tower of spectra \(\cdots \to \Sigma^4\text{K}G @>{\Sigma^2\beta}>> \Sigma^2{\mathcal K}G @>{\beta}>> {\mathcal K}G\). The fourth section is devoted to example computations for several groups. For example, for \(G=\mathbb{Z}\rtimes\mathbb{Z}/2\) one has \(\pi_*({\mathcal K}G)=\mathbb{Z}^3\) if \(*\) is even, \(* \geq 0\), and 0 otherwise.
Finally as an application the author considers the case when \(G\) is free. This allows one to obtain information about simultaneous similarity of unitary matrices. Taking the eigenvalues of a matrix gives a map from \(\text{U}(n)^{\text{Ad}}/\text{U}(n)\) to \(\text{Sym}^{n}(S^1)\). This map can be generalized to a map \(X(n, k)=[\text{U}(n)^{\text{Ad}}]^k/\text{U}(n) \to [\text{Sym}^n(S^1)]\). It is proved here that the stabilization of this map \(X(\infty, k) \to [\text{Sym}^\infty(S^1)]\) is a homotopy equivalence. Moreover in the last section there is given another proof which amounts to showing that this stabilization map is a quasifibration.

MSC:

19D99 Higher algebraic \(K\)-theory
55P43 Spectra with additional structure (\(E_\infty\), \(A_\infty\), ring spectra, etc.)
19L41 Connective \(K\)-theory, cobordism

References:

[1] DOI: 10.2140/agt.2007.7.2239 · Zbl 1127.19003 · doi:10.2140/agt.2007.7.2239
[2] DOI: 10.1007/s002090100376 · Zbl 1052.14067 · doi:10.1007/s002090100376
[3] DOI: 10.1007/s10977-006-9003-9 · Zbl 1110.19004 · doi:10.1007/s10977-006-9003-9
[4] DOI: 10.2140/agt.2006.6.253 · Zbl 1118.55009 · doi:10.2140/agt.2006.6.253
[5] DOI: 10.1016/0021-8693(80)90194-5 · Zbl 0419.55006 · doi:10.1016/0021-8693(80)90194-5
[6] DOI: 10.1017/S0305004198003272 · Zbl 0920.55011 · doi:10.1017/S0305004198003272
[7] DOI: 10.1016/0001-8708(83)90044-0 · Zbl 0532.15009 · doi:10.1016/0001-8708(83)90044-0
[8] DOI: 10.2307/1970005 · Zbl 0091.37102 · doi:10.2307/1970005
[9] DOI: 10.1007/BF01231296 · Zbl 0804.55004 · doi:10.1007/BF01231296
[10] DOI: 10.1016/0040-9383(74)90022-6 · Zbl 0284.55016 · doi:10.1016/0040-9383(74)90022-6
[11] Friedlander, Mem. Amer. Math. Soc. 110 (1994)
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.