Abstract:We study a class of homotopies between maps from 4‐manifolds to surfaces which we call cusp merges. These homotopies naturally appear in the uniqueness problems for certain pictorial descriptions of 4‐manifolds derived from maps to the 2‐sphere (for example, broken Lefschetz fibrations, wrinkled fibrations, or Morse 2‐functions). Our main results provide a classification of cusp merge homotopies in terms of suitably framed curves in the source manifold, as well as a fairly explicit description of a parallel transport diffeomorphism associated to a cusp merge homotopy. The latter is the key ingredient in understanding how the aforementioned pictorial descriptions change under homotopies involving cusp merges. We apply our methods to the uniqueness problem of surface diagrams of 4‐manifolds and describe algorithms to obtain surface diagrams for total spaces of (achiral) Lefschetz fibrations and 4‐manifolds of the form M×S1, where M is a 3‐manifold. Along the way we provide extensive background material about maps to surfaces and homotopies thereof and develop a theory of parallel transport that generalizes the use of gradient flows in Morse theory.

From Heegaard splittings to trisections; porting 3-dimensional ideas to dimension 4

Diagrams for Relative Trisections

Trisections of non-orientable 4-manifolds

Practical Software for Triangulating and Simplifying 4-Manifolds

Combed Trisection Diagrams and Non-Semisimple 4-Manifold Invariants

Trisections of PL 4-manifolds arising from colored triangulations

Attractiveness and activity in Internet communities

On diagrams of simplified trisections and mapping class groups

Relative trisections of fiber bundles over the circle

Calculating the homology and intersection form of a 4-manifold from a trisection diagram

Knots and 4-manifolds

Multisections of higher-dimensional manifolds

Floer theoretic invariants for 3- and 4-manifolds

A family of Andrews–Curtis trivializations via 4-manifold trisections

Relative Group Trisections

Multisections of $(m+3)$-dimensional $m$-spun $3$-manifolds

Trisecting a 4-dimensional book into three chapters

Elimination of cusps in dimension 4 and its applications

3-Alterfolds and Quantum Invariants

A family of Andrews-Curtis trivializations via 4-manifold trisections