\(\mathbf H\mathbf P^ 2\)-bundles and elliptic homology (Q1336312)

This paper gives a geometric definition of an integral homology theory which agrees with elliptic homology after inverting the prime 2. The starting point for this definition is to form a quotient \(\text{ell}_n(X) = \Omega^{\text{Spin}}_n (X)/\widetilde{T}_n(X)\) of the spin bordism of \(X\). Here \(\widetilde{T}_n (X)\) is the subgroup consisting of all bordism classes of composite maps \(E \overset {p} {} B \overset {f}{} X\), where \(p\) is the projection of the fiber bundle with fiber quaternionic projective plane \(\text{HP}^2\) and structure group the projective symplectic group and \(f\) is the map of a spin manifold into \(X\) which bounds. The main results are: (1) \(\text{ell}_*(X)\) localized at the prime 2 is a multiplicative homology theory. (2) The natural transformation \(\Omega^{\text{Spin}}_* (X) \otimes \text{ell}_* \to \text{ell}_*(X)\) is an isomorphism after inverting 2. (3) \(\text{ell}_*\) is generated over \(Z\) by the classes of the circle, the Kummer surface, the quaternionic projective plane, and the Bott manifold \((\widehat{A} =1\), \(\text{Sign} = 0\)) with the relations from \(\Omega^{\text{Spin}}_*\). (4) The functor \(E \ell_*(X) = \text{ell}_*(X) [v^{-1}]\) obtained by inverting any element of positive degree in \(\text{ell}_*\) is a multiplicative homology theory which agrees with elliptic homology formed by inverting \(\phi(v)\) after inverting 2. Here \(\phi(v)\) is the elliptic genus of \(v\). Forming the quotient \(\text{koo}_n(X) = \Omega^{\text{Spin}}_n (X)/T_n(x)\) where \(T_n(X)\) removes the restriction that \(f\) bound gives a geometric description for KO-homology. When localized at 2, \(\text{koo}_*\) becomes connective real K-theory and \(\text{koo}_*(X) [b^{-1}]\) where \(b\) is the class of the Bott manifold is periodic real K-theory, \(KO_* (X)\).