Table of Contents
Fetching ...

The homotopy fixed points of Real spin bordism

Hassan H. Abdallah, Yigal Kamel

TL;DR

This work extends the classic ABP/Stong 2-local splittings of spin and spin^c bordism to the $C_2$-equivariant setting, yielding a refined 2-local splitting of Real spin bordism $\mathrm{MSpin}^c_{\mathbb{R}}$ into higher connective covers of $\mathrm{ku}_{\mathbb{R}}$ and shifts of $\mathrm{H}\mathbb{Z}/2$, with the underlying map matching the classical ABP splitting on spectra. It then deduces a corresponding 2-local splitting for the homotopy fixed points $(\mathrm{MSpin}^c_{\mathbb{R}})^{hC_2}$ and provides explicit computations of its homotopy groups in terms of $\mathrm{ko}$-connective pieces and mod 2 data, together with the mod 2 Borel cohomology contributions. A central contribution is showing that each ABP component refines to a $C_2$-equivariant map in $\mathrm{Sp}^{\mathrm{B}C_2}$, enabling the $hC_2$-analysis; the paper also discusses obstructions to a genuine (non-Borel) refinement and proposes new $C_2$-spectra $\mathrm{ku}_{\mathbb{R}}\langle {4n,2} \rangle$ to address odd-index obstructions. The results clarify the relationship between Real spin bordism and equivariant $K$-theory, enabling concrete calculations of $(\mathrm{MSpin}^c_{\mathbb{R}})^{hC_2}$ and guiding future work on genuine splittings in the $C_2$-equivariant setting.

Abstract

We show that the 2-local splitting of spin$^c$ bordism by Anderson--Brown--Peterson and Stong refines to a $C_2$-equivariant map in the category of spectra with $C_2$-action from Real spin bordism to a sum of (higher) connective covers of $\mathrm{ku}_{\mathbb{R}}$ and suspensions of mod 2 Eilenberg--Mac Lane spectra. We use this to deduce a corresponding 2-local splitting of the homotopy fixed points of Real spin bordism. We also discuss prospects that arise in the genuine setting.

The homotopy fixed points of Real spin bordism

TL;DR

This work extends the classic ABP/Stong 2-local splittings of spin and spin^c bordism to the -equivariant setting, yielding a refined 2-local splitting of Real spin bordism into higher connective covers of and shifts of , with the underlying map matching the classical ABP splitting on spectra. It then deduces a corresponding 2-local splitting for the homotopy fixed points and provides explicit computations of its homotopy groups in terms of -connective pieces and mod 2 data, together with the mod 2 Borel cohomology contributions. A central contribution is showing that each ABP component refines to a -equivariant map in , enabling the -analysis; the paper also discusses obstructions to a genuine (non-Borel) refinement and proposes new -spectra to address odd-index obstructions. The results clarify the relationship between Real spin bordism and equivariant -theory, enabling concrete calculations of and guiding future work on genuine splittings in the -equivariant setting.

Abstract

We show that the 2-local splitting of spin bordism by Anderson--Brown--Peterson and Stong refines to a -equivariant map in the category of spectra with -action from Real spin bordism to a sum of (higher) connective covers of and suspensions of mod 2 Eilenberg--Mac Lane spectra. We use this to deduce a corresponding 2-local splitting of the homotopy fixed points of Real spin bordism. We also discuss prospects that arise in the genuine setting.

Paper Structure

This paper contains 12 sections, 32 theorems, 75 equations.

Key Result

Theorem 1.1

There is a $C_2$-equivariant map of spectra with $C_2$-action, whose underlying spectrum map is the 2-local splitting of $\mathop{\mathrm{\mathrm{MSpin}}}\nolimits^c$ of Anderson--Brown--Peterson ABPspin67 and Stong Stong68.

Theorems & Definitions (65)

  • Theorem 1.1
  • Theorem 1.2: Corollary \ref{['cor.homotopy.fixedpoints']}
  • Theorem 1.3: Corollary \ref{['cor.homotopy.groups']}
  • Proposition 2.1
  • proof
  • Definition 2.2
  • Remark 2.3
  • Definition 2.4
  • Proposition 2.5: May_EquivariantBook
  • Definition 2.6
  • ...and 55 more