Pith. sign in

REVIEW 1 cited by

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

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2405.00963 v2 pith:DE3JRPSA submitted 2024-05-02 math.AT math.KT

classification math.ATmath.KT
keywords mathrmmspinmathbbinftyfixedorientationspointsreal
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
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.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. A family completion theorem for tempered cohomology

    math.AT 2026-08 accept novelty 7.0 of 10

    For oriented P-divisible groups over noetherian E-infinity rings, family-completion of tempered cohomology modules is equivalent to algebraic completion at the corresponding ideal, generalizing Atiyah–Segal and AHJM.

Pith tools