Abstract:In part I of this work we studied the spaces of real algebraic cycles on a complex projective space P(V), where V carries a real structure, and completely determined their homotopy type. We also extended some functors in K-theory to algebraic cycles, establishing a direct relationship to characteristic classes for the classical groups, specially Stiefel-Whitney classes. In this sequel, we establish corresponding results in the case where V has a quaternionic structure. The determination of the homotopy type of quaternionic algebraic cycles is more involved than in the real case, but has a similarly simple description. The stabilized space of quaternionic algebraic cycles admits a nontrivial infinite loop space structure yielding, in particular, a delooping of the total Pontrjagin class map. This stabilized space is directly related to an extended notion of quaternionic spaces and bundles (KH-theory), in analogy with Atiyah's real spaces and KR-theory, and the characteristic classes that we introduce for these objects are nontrivial. The paper ends with various examples and applications.

What problem does this paper attempt to address?

The problem that this paper attempts to solve is to determine the homotopy type of the algebraic cycle space with quaternion structure. Specifically, the paper aims to study the space of quaternion algebraic cycles in the complex projective space \(P(V)\), where \(V\) carries a quaternion structure. The main objectives of the paper include: 1. **Determine the homotopy type of the quaternion algebraic cycle space**: Compared with the real case, the homotopy type of the quaternion algebraic cycle space is more complex, but there is also a similar simple description. 2. **Stabilized quaternion algebraic cycle space**: Study the stabilized quaternion algebraic cycle space and find that it has a non - trivial infinite loop space structure, which leads to the delooping of the total Pontryagin class map. 3. **Extended quaternion spaces and bundles**: Introduce the concepts of extended quaternion spaces and bundles, similar to Atiyah's real spaces and real bundles (\(KR\)-theory), and define the characteristic classes of these objects, which are non - trivial. 4. **Construction of characteristic classes**: Establish an inclusion map from linear quaternion cycles (i.e., quaternion Grassmann manifolds) to all cycle spaces, and obtain a characteristic map \(BSp\to\prod_{i}K(\mathbb{Z}, 4i)\) that classifies the total Pontryagin class. In addition, it is also proved that the forgetful functor and the quaternionization functor in \(K\)-theory can be extended to infinite loop maps on the characteristic maps. 5. **Determination of the ring structure**: During the stabilization process, there are two limits \(Z_{2\infty}^H\) and \(Z_{2\infty + 1}^H\), and their homotopy groups form a \(\mathbb{Z}_2\times\mathbb{Z}\)-graded ring under the algebraic connection pairing. The paper determines the specific structure of this ring. Through these studies, the paper provides an important theoretical basis for understanding the space of quaternion algebraic cycles and its applications in geometry and topology.

Algebraic cycles and the classical groups II: Quaternionic cycles

Dual Hopf Algebras from a Quiver and Dual Quiver Quantum Groups

The string topology coproduct on complex and quaternionic projective space

Loop homology of quaternionic projective spaces

Algebraic cycles on hyper-Kähler varieties of generalized Kummer type

Exceptional Cycles for Perfect Complexes over Gentle Algebras

Cyclic Homology and Group Actions

Notes on Algebraic Cycles and Homotopy theory

Algebraic cycles of a fixed degree

From projective representations to pentagonal cohomology via quantization

Theta cycles and the Beilinson--Bloch--Kato conjectures

Non-vanishing of Ceresa and Gross--Kudla--Schoen cycles associated to modular curves

A $p$-adic local invariant cycle theorem with applications to Brauer groups

On arithmetic quotients of the group SL 2 over a quaternion division k -algebra

Hodge theory, algebraic cycles of hyper-Kähler manifolds

Quantum Algebras and Cyclic Quiver Varieties

Cycle classes on abelian varieties and the geometry of the Abel-Jacobi map

Poisson Structures on Basic Cycles

Quantization of locally compact groups associated with essentially bijective $1$-cocycles

Hochschild homology, global dimension, and truncated oriented cycles