Affiliation:
1. Graduate School of Mathematical Sciences University of Tokyo Meguro Tokyo Japan
2. Department of Mathematics Graduate School of Science Kyoto University Kitashirakawa Oiwake‐cho Sakyo‐ku Kyoto Japan
Abstract
AbstractWe develop a version of Seiberg–Witten Floer cohomology/homotopy type for a 4‐manifold with boundary and with an involution that reverses the structure, as well as a version of Floer cohomology/homotopy type for oriented links with nonzero 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 that 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, the Nielsen realization problem for nonspin 4‐manifolds, and nonsmoothable unoriented surfaces in 4‐manifolds.
Funder
University of Tokyo
Japan Society for the Promotion of Science
Reference53 articles.
1. S.Allen Nonorientable surfaces bounded by knots: a geography problem available at arXiv:2007.14332 2020.
2. M.ArabadjiandR.Inanc Baykur The Nielsen realization for non‐spin 4‐manifolds available at arXiv:2304.10399 2023.
3. Obstructions to smooth group actions on 4-manifolds from families Seiberg-Witten theory
4. A note on the Nielsen realization problem for K3 surfaces;Baraglia D.;Proc. Amer. Math. Soc.,2023
5. Nonorientable slice genus can be arbitrarily large