arXiv2023
In this article, the author defines an invariant of rational homology 3-spheres equipped with a contact structure as an element of a cohomotopy set of the Seiberg-Witten Floer spectrum as defined in Manolescu (2003). Furthermore, in light of the equivalence established in Lidman & Manolescu (2018a) between the Borel equivariant homology of said spectrum and the Seiberg-Witten Floer homology of Kronheimer & Mrowka (2007), the author shall show that this homotopy theoretic invariant recovers the already well known contact element in the Seiberg-Witten Floer cohomology (vid. e.g. Kronheimer, Mrowka, Ozsváth & Szabó 2007) in a natural fashion. Next, the behaviour of the cohomotopy invariant is considered in the presence of a finite covering. This setting naturally asks for the use of Borel cohomology equivariant with respect to the group of deck transformations. Hence, a new equivariant contact invariant is defined and its properties studied. The invariant is then computed in one concrete example, wherein the author demonstrates that it opens the possibility of considering scenarios hitherto inaccessible.