Real spin bordism and orientations of topological $\mathrm{K}$-theory

Zachary Halladay,Yigal Kamel

2024-05-02

Abstract:We construct a commutative orthogonal $C_2$-ring spectrum, $\mathrm{MSpin}^c_{\mathbb{R}}$, along with a $C_2$-$E_{\infty}$-orientation $\mathrm{MSpin}^c_{\mathbb{R}} \to \mathrm{KU}_{\mathbb{R}}$ of Atiyah's Real K-theory. Further, we define $E_{\infty}$-maps $\mathrm{MSpin} \to (\mathrm{MSpin}^c_{\mathbb{R}})^{C_2}$ and $\mathrm{MU}_{\mathbb{R}} \to \mathrm{MSpin}^c_{\mathbb{R}}$, which are used to recover the three well-known orientations of topological $\mathrm{K}$-theory, $\mathrm{MSpin}^c \to \mathrm{KU}$, $\mathrm{MSpin} \to \mathrm{KO}$, and $\mathrm{MU}_{\mathbb{R}} \to \mathrm{KU}_{\mathbb{R}}$, from the map $\mathrm{MSpin}^c_{\mathbb{R}} \to \mathrm{KU}_{\mathbb{R}}$. We also show that the integrality of the $\hat{A}$-genus on spin manifolds provides an obstruction for the fixed points $(\mathrm{MSpin}^c_{\mathbb{R}})^{C_2}$ to be equivalent to $\mathrm{MSpin}$, using the Mackey functor structure of $\underline{\pi}_*\mathrm{MSpin}^c_{\mathbb{R}}$. In particular, the usual map $\mathrm{MSpin} \to \mathrm{MSpin}^c$ does not arise as the inclusion of fixed points for any $C_2$-$E_{\infty}$-ring spectrum.

Algebraic Topology,K-Theory and Homology

What problem does this paper attempt to address?

The main problem that this paper attempts to solve is to construct a framework that can unify the three standard orientations in topological K - theory. Specifically, it is to construct a real spin bordism spectrum with C2 - E∞ - orientation, denoted as \( MSpin^c_{\mathbb{R}} \), and map it into Atiyah's real K - theory. The three standard orientations are as follows:

1. \( MSpin^c \to KU \)
2. \( MSpin \to KO \)
3. \( MU_{\mathbb{R}} \to KU_{\mathbb{R}} \)

The core achievement of the paper is to prove the existence of a mapping of C2 - E∞ - ring spectra \( MSpin^c_{\mathbb{R}} \to KU_{\mathbb{R}} \) which satisfies the following properties:
- The underlying spectrum of \( MSpin^c_{\mathbb{R}} \) is \( MSpin^c \).
- There exists an E∞ - mapping \( MSpin \to (MSpin^c_{\mathbb{R}})^{C_2} \).
- There exists a C2 - E∞ - mapping \( MU_{\mathbb{R}} \to MSpin^c_{\mathbb{R}} \).

These mappings enable the above three standard orientations to be recovered through \( MSpin^c_{\mathbb{R}} \to KU_{\mathbb{R}} \).

In addition, the paper also explores the relationship between the C2 fixed points of \( MSpin^c_{\mathbb{R}} \) and \( MSpin \), and points out that under certain conditions, the C2 fixed points of \( MSpin^c_{\mathbb{R}} \) are not equivalent to \( MSpin \). This conclusion is based on the obstruction of the integrality of  - genus to spin manifolds and the homotopy Mackey functor structure.

In summary, this paper aims to provide a method for unified treatment of different types of K - theory orientations by introducing a new real spin bordism spectrum \( MSpin^c_{\mathbb{R}} \), and to reveal the internal relations between these orientations.