Dice Question Streamline Icon: https://streamlinehq.com

Isomorphisms between spherically framed bordism and flow-category homology/cohomology theories

Establish natural isomorphisms of multiplicative homology theories R^fr_*(·) ≅ Ω^fr_*(·) and R^sfr_*(·) ≅ Ω^sfr_*(·), compatible with the forgetful maps, and additionally establish analogous natural isomorphisms of multiplicative cohomology theories compatible with the same forgetful maps.

Information Square Streamline Icon: https://streamlinehq.com

Background

The paper uses Abouzaid–Blumberg's framework of flow categories to construct spectra associated to Floer-theoretic data. For framed flow categories, the endomorphism ring spectrum Rfr is known to be equivalent to the sphere spectrum, and its homology theory agrees with classical framed bordism.

For the spherically framed variant, the authors introduce Rsfr and conjecture that it underlies a bordism theory where tangent bundles are trivialized as stable spherical fibrations, expecting natural isomorphisms between Rsfr-based (co)homology theories and the corresponding spherically framed bordism theories. This would place spherically framed Floer homotopy constructions within a well-understood bordism-theoretic context.

References

The following conjecture seems sensible. There are natural isomorphisms of multiplicative homology theories compatible with the obvious forgetful maps: \begin{equation} \begin{tikzcd} Rfr_*(\cdot)\arrow[r]\arrow[d,"\sim"] & Rsfr_*(\cdot)\arrow[d,"\sim"] \ \Omegafr_*(\cdot)\arrow[r] & \Omegasfr_*(\cdot) \end{tikzcd} . \end{equation} Moreover, there are analogous natural isomorphisms of multiplicative cohomology theories compatible with the obvious forgetful maps.

Parameterized Lagrangian Floer homotopy (2506.20122 - Blakey et al., 25 Jun 2025) in Appendix: Spherically framed versus framed bordism