On the Bauer--Furuta construction

TL;DR

This paper introduces a new sheaf-theoretic construction of the Bauer--Furuta invariant using the six-functor formalism and Borel--Moore homology, avoiding traditional finite-dimensional approximation methods.

Contribution

It provides a novel sheaf-theoretic approach to the Bauer--Furuta invariant and its family version, employing Borel--Moore homology spectra and local properness of Fredholm maps.

Findings

Constructed the Bauer--Furuta invariant via sheaf-theoretic methods.

Established the local properness of $C^1$-Fredholm maps between Banach manifolds.

Proposed a candidate for the stable homotopy theory of equivariant sheaves with Lie group actions.

Abstract

Using the six-functor formalism for sheaves of spectra on topological spaces, we provide a novel construction of the Bauer--Furuta invariant, as well as its family version. This approach avoids the conventional arguments based on approximations by finite-dimensional subspaces, and we instead employ the Borel--Moore homology spectra relative to Fredholm maps between Banach spaces. A key observation here is that $C^1$-differentiable Fredholm maps between Banach manifolds are locally proper, thereby defining the shriek functors, whose dualizing objects may be described as the Thom spectra of the Atiyah--Singer families index. We also outline a possible candidate for the stable homotopy theory of genuine equivariant sheaves on topological spaces with Lie group actions. In this context, we investigate the proper pushforward functor, which accommodates the genuine equivariant Bauer--Furuta invariant.