Algebraic cycles and the classical groups II: quaternionic cycles (Q2388866): Difference between revisions
From MaRDI portal
Latest revision as of 16:27, 10 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Algebraic cycles and the classical groups II: quaternionic cycles |
scientific article |
Statements
Algebraic cycles and the classical groups II: quaternionic cycles (English)
0 references
20 September 2005
0 references
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\).
0 references
quaternionic algebraic cycles
0 references
characteristic classes
0 references
equivariant infinite loop spaces
0 references