Involutions, links, and Floer cohomologies

Hokuto Konno,Jin Miyazawa,Masaki Taniguchi
2023-04-16
Abstract:We develop a version of Seiberg--Witten Floer cohomology/homotopy type for a spin$^c$ 4-manifold with boundary and with an involution which reverses the spin$^c$ structure, as well as a version of Floer cohomology/homotopy type for oriented links with non-zero determinant. This framework generalizes the previous work of the authors regarding Floer homotopy type for spin 3-manifolds with involutions and for knots. Based on this Floer cohomological setting, we prove Frøyshov-type inequalities which relate topological quantities of 4-manifolds with certain equivariant homology cobordism invariants. The inequalities and homology cobordism invariants have applications to the topology of unoriented surfaces, Nielsen realization problem for non-spin 4-manifolds, and non-smoothable unoriented surfaces in 4-manifolds.
Geometric Topology
What problem does this paper attempt to address?
The problems that this paper attempts to solve mainly focus on some complex structures in topology, especially the Floer homology theory of 4 - manifolds with involutions and the links on their boundaries. Specifically, the main objectives of the paper can be summarized as the following aspects: 1. **Develop the Seiberg - Witten Floer homology theory with involutions**: - The paper introduces a new Seiberg - Witten Floer homology theory, which is applicable to spin^c 4 - manifolds and links with involutions. These involutions reverse the spin^c structures, and the links have non - zero determinants. - This theory is a generalization of the author's previous work on spin 3 - manifolds and knots. 2. **Prove the Frøyshov - type inequalities**: - Based on the above Floer homology framework, the paper proves the Frøyshov - type inequalities, which relate the topological quantities of 4 - manifolds to certain equivariant cobordism invariants. - These inequalities and cobordism invariants have applications in the topology of non - orientable surfaces, the Nielsen realization problem, and non - smooth non - orientable surfaces in 4 - manifolds. 3. **Study the cobordism invariants of links**: - The paper defines some new cobordism invariants of links and proves their invariance under χ - homotopy. - These invariants define a homomorphism from a subgroup of the link homotopy group to \(\frac{1}{16}\mathbb{Z}\). 4. **Apply to specific topological problems**: - **Topology of non - orientable surfaces**: The paper provides topological constraints on non - orientable surfaces bounded by link boundaries in D^4. - **Nielsen realization problem**: The paper explores the Nielsen realization problem on non - spin 4 - manifolds and gives examples of subgroups that are not realizable in certain cases. - **Non - smooth non - orientable surfaces**: The paper constructs some non - orientable surfaces that are locally flatly embedded but not smoothly embedded in 4 - manifolds. Through these studies, the paper provides new tools and perspectives for understanding the topological properties of 4 - manifolds and links.