Algebraic cycles and the classical groups II: quaternionic cycles (Q2388866)

The paper is the second part of the work of the authors on algebraic cycles. In part I [Topology 42, 467--506 (2003; Zbl 1043.14002)] the authors studied spaces of real algebraic cycles on a complex projective space \(\mathbb P(V)\), where \(V\) is assumed to be endowed with the real structure. It was shown that the stabilized space \({\mathcal Z}_{\mathbb R}^{\infty}\) of these cycles is an \(E_{\infty}\)-ring space and that the graded ring of homotopy groups \({\pi}_{*}({\mathcal Z}_{\mathbb R}^{\infty})\) is isomorphic to the quotient \({\mathbb Z}[x,y]/(2y)\). The standard complexification and forgetful functors in \(K\)-theory were extended to algebraic cycles yielding relationship to characteristic classes for classical groups. In the current paper the authors prove corresponding results for quaternionic algebraic cycles i.e. for the case where \(V\) has a quaternionic structure. A quaternionic structure on a complex vector space \(V\) is a \(\mathbb C\)-antilinear \({\mathbf j}: V\rightarrow V\), \({\mathbf j}^2=-\text{Id}.\) The group \({\mathcal Z}_{\mathbb H}^{q}(\mathbb P(V))\) of quaternionic algebraic cycles of codimension \(q\) in \(\mathbb P(V)\) consists of cycles which are fixed by the induced involution. The group of reduced quaternionic algebraic cycles is defined to be the quotient: \({\tilde{\mathcal Z}}_{\mathbb H}^{q}(\mathbb P(V))= {\mathcal Z}_{\mathbb H}^{q}(\mathbb P(V))/{\mathcal Z}^{q}(\mathbb P(V))^{\text{av}}\), where \({\mathcal Z}^{q}(\mathbb P(V))^{\text{av}}=\{c+{\text \mathbf j}c \, | \,\, c\in {\mathcal Z}^{q}(\mathbb P(V))\}.\) The homotopy types of the spaces of quaternionic algebraic cycles are given in the following theorem. Theorem. For any quaternionic vector space \((V,\rho)\) there are canonical homotopy equivalences: (1) \({\mathcal Z}_{\mathbb H}^{2q}(\mathbb P(V))\cong {\prod}_{j=0}^{q}K({\mathbb Z},4j)\times {\prod}_{j=1}^{q}K({\mathbb Z}_2,4j-2)\) and \({\tilde{\mathcal Z}}_{\mathbb H}^{2q}(\mathbb P(V))\cong {\mathbb Z}_2,\) (2) \({\mathcal Z}_{\mathbb H}^{2q+1}(\mathbb P(V))\cong {\prod}_{j=0}^{q}K({\mathbb Z},4j)\times {\prod}_{j=0}^{q}K({\mathbb Z}_2,4j+1)\) and \({\tilde{\mathcal Z}}_{\mathbb H}^{2q+1}(\mathbb P(V))\cong \{\text{point}\}\) for all \(q\).