2025/01/30 by Kouichi Yasui, Yasui, Kouichi · 1 citation
Mathematics · #57K41 #57K45 #57R55 #57R65 #Advanced Topology and Set Theory #FOS: Mathematics #Geometric Topology (math.GT) #Geometric and Algebraic Topology #Homotopy and Cohomology in Algebraic Topology #Symplectic Geometry (math.SG)
paper · pdf · doi:10.48550/arxiv.2501.18584
openalex publication_date 2025/01/30 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
We prove that every 4-dimensional oriented handlebody without 3- and 4-handles can be modified to admit infinitely many exotic smooth structures, and moreover prove that their genus functions are pairwise equivalent. We furthermore show that for any 4-manifold admitting an embedding into a symplectic 4-manifold with weakly convex boundary, its genus function is algebraically realized as those of infinitely many pairwise exotic 4-manifolds. In addition, we prove that algebraic inequivalences of genus functions are stable under connected sums and boundary sums with a certain type of 4-manifolds having arbitrarily large second Betti numbers. Besides, we introduce a notion of genus function type for diffeomorphism invariants, and show that any such invariant shares properties similar to all the preceding results and yields lower bounds for the values of genus functions. As an application of our exotic 4-manifolds, we also prove that for any (possibly non-orientable) 4-manifold, every submanifold of codimension at most one satisfying a mild condition can be modified to admit infinitely many exotically knotted copies.