Lefschetz Fibrations in 4-Manifold Topology

• Lefschetz fibrations are smooth maps from oriented 4-manifolds to surfaces, with isolated critical points modeled on complex Morse-type data.
• They utilize monodromy factorizations via Dehn twists in mapping class groups, encoding singular fibers and enabling fiber sum operations.
• Applications span constructing exotic 4-manifolds, analyzing symplectic structures, and linking singularity theory with mirror symmetry.

A Lefschetz fibration is a smooth map from a higher-dimensional manifold (typically a compact, oriented 4-manifold) to a 2-dimensional base, most often the disk, sphere, or more generally a surface, modeled so that away from isolated critical points it is a surface bundle, while at critical points it exhibits prescribed singularities determined by complex Morse-type data. The structure of Lefschetz fibrations is fundamental in the paper of 4-manifold topology, symplectic structures, mapping class groups, and their interactions with singularity theory, categorification, and mirror symmetry.

1. Definition and Fundamental Properties

A Lefschetz fibration $f: X \rightarrow S$ (with $X$ a compact oriented 4-manifold, $S$ an oriented surface) is a surjective smooth map such that all critical points are isolated and modeled (in orientation-preserving local complex coordinates) on

$(z_1, z_2) \mapsto z_1^2 + z_2^2$

or, in the achiral/negative case, $(z_1, z_2) \mapsto z_1^2 + \overline{z_2}^2$. The regular fiber $F$ is an oriented surface, and the fiber over a critical value is a singular surface with a so-called vanishing cycle.

The mapping class group $\Gamma_{g}$ of the (closed) fiber of genus $g$ governs the monodromy around singular fibers, with right-handed (positive) Dehn twists corresponding to the standard Lefschetz singularities. The global topology of the fibration is determined by a factorization of the identity (or suitable boundary twist) in $\Gamma_{g}$ as a product of these Dehn twists—possibly with additional braiding moves, depending on the base and whether multisections or boundary marked points are present.

2. Monodromy, Hurwitz Systems, and Chart Descriptions

The monodromy data of a Lefschetz fibration is a homomorphism

$\rho: \pi_1(S^0) \to \Gamma_{g,b}$

where $S^0$ is the complement in $S$ of the critical values and $\Gamma_{g,b}$ is the (possibly extended or boundary-permuting) mapping class group of the fiber. The global monodromy factorization

$t_{c_1} t_{c_2} \cdots t_{c_n} = \mathrm{id}$

(for fibrations over $S^2$ without boundary or sections) encodes the sequence of vanishing cycles $\{c_i\}$ associated to singular fibers.

Hurwitz systems and chart descriptions provide an efficient, combinatorial encoding of the monodromy:

• Charts are labeled oriented graphs on the base surface, with edges labeled by generators of $\Gamma_{g}$ and vertices encoding relations (e.g. chain, lantern, or braid relations). Chart moves (of types W, transition, conjugacy) transform equivalent fibrations, and the signature of the total space can be recovered as a sum over certain chart vertices (Endo et al., 2014).
• Hurwitz equivalence relates different factorizations producing the same fibration up to isotopy of the base and fiber framing, using elementary Hurwitz moves, global conjugation, and possibly boundary (framing) moves (Apostolakis et al., 2011, Baykur et al., 2015).

3. Classification, Modifications, and Stabilization

Lefschetz fibrations are classified up to isomorphism by Hurwitz equivalence classes of positive monodromy factorizations, subject to stabilization and fiber summing operations:

• The fiber sum of two Lefschetz fibrations $f_1, f_2$ over the same base is defined by gluing along a regular fiber, yielding a new fibration whose invariant data is the concatenation of the monodromies. This operation is central to constructing new fibrations with prescribed invariants (Cengel et al., 2020).
• Stabilization by certain model fibrations leads to stable classification results: two genus $g$ Lefschetz fibrations over the same base become isomorphic after summing with a sufficient number of copies of a "universal" or "elementary" Lefschetz fibration, provided basic numerical invariants (numbers of singular fibers by type, signature, etc.) coincide (Endo et al., 2014).
• Lantern, daisy, and odd chain substitution relations transform the monodromy factorization, allowing controlled modification of global invariants such as signature, Euler characteristic, and the presence of sections or multisections (Akhmedov et al., 2014, Baykur et al., 2020, Cengel et al., 2020).

4. Universal and Strongly Universal Lefschetz Fibrations

A universal Lefschetz fibration is one from which every Lefschetz fibration over a bounded base (with the same fiber type) is obtained by pullback via a "regular" map of the base. The universality is characterized by surjectivity of the Lefschetz monodromy homomorphism to the mapping class group, surjectivity on the associated permutation monodromy, and representability (possibly with opposite signs) of each class of homologically essential curve among the vanishing cycles (Zuddas, 2011). Special universal examples include:

• $u_{1,1}: B^4 \to B^2$ (fiber the punctured torus), total space $B^4$.
• $u_{g,1}: U_{g,1} \to B^2$ for $g \geq 2$, total space $M(\mathrm{O},1)$, with $\mathrm{O}$ the unknot.
• $u_{1,0}: U_{1,0} \to B^2$ (fiber $T^2$), total space $M(\mathrm{E},0)$, with $\mathrm{E}$ the figure-eight knot.

Universal fibrations underlie immersion results: any compact oriented 4-dimensional 2-handlebody immerses into a standard 4-manifold (e.g., a tubular neighborhood in $\mathbb{CP}^2$) (Zuddas, 2011).

5. Topological and Smooth Structures via Lefschetz Fibrations

Lefschetz fibrations provide concrete descriptions of 4-manifold topology:

• For genus-1 fibrations, every simplified broken Lefschetz fibration admits a normal form Hurwitz system, with total spaces diffeomorphic to connected sums of familiar 4-manifolds (e.g., $\sharp r \overline{\mathbb{CP}^2}$, $$S^1 \times S^3 \sharp S \sharp r \overline{\mathbb{CP}^2}$$, $L \sharp r \overline{\mathbb{CP}^2}$, with $S^2 \times S^2$ or its non-trivial bundle as building blocks), or elliptic surfaces in the case of honest Lefschetz fibrations (Hayano, 2010).
• For closed oriented surfaces of genus $g \geq 2$, any Lefschetz fibration is classified, after stabilization, by the counts of separating and nonseparating singular fibers and the signature (Endo et al., 2014).
• Iterated fiber sums along regular fibers generalize the construction of elliptic surfaces and allow the controlled creation of new symplectic 4-manifolds; in the algebraic category, the canonical class (and thus Seiberg–Witten invariants) after fiber sum can be explicitly described and used to derive obstructions for extending boundary diffeomorphisms (Hamilton, 2012).
• Chart descriptions and diagrammatic manipulations permit computations of topological invariants (especially the signature) and reveal how global invariants depend combinatorially on the monodromy (Endo et al., 2014).

6. Exotic Structures, Slope, and Geography

By varying monodromy factorizations and employing chain, lantern, or daisy substitutions, one can control the smooth structure and invariants of the total space:

• Lefschetz fibrations can realize a broad range of invariants—including any prescribed signature (positive or negative) and any finitely presented group as the fundamental group of a spin symplectic 4-manifold (Baykur et al., 2020, Arabadji et al., 2023).
• Exotic 4-manifolds arise, for example, via daisy substitution and knot surgery, yielding infinite families of pairwise non-diffeomorphic symplectic and non-symplectic 4-manifolds within a fixed homeomorphism type (Akhmedov et al., 2014).
• The slope invariant $$\lambda_f = \frac{c_1^2(X) + 8(g-1)}{\chi_h(X) + (g-1)}$$ can be made arbitrarily close to $2$ for genus $g \ge 3$, but no Lefschetz fibration realizes the infimum or supremum of possible slopes; fiber sum and lantern substitutions are used to construct such extremal examples (Cengel et al., 2020).
• For small genus-2 cases, reverse engineering of positive Dehn twist factorizations yields minimal symplectic 4-manifolds with very small $\operatorname{b}_2^+$ and prescribed $c_1^2$, contributing to the geography of 4-manifolds and the construction of exotic rational or ruled examples (Akhmedov et al., 2015, Baykur et al., 2015).

7. Lefschetz Fibrations, Higher Structures, and Related Theories

Lefschetz fibrations serve as a bridge to several advanced structures:

• In symplectic and contact topology, they underlie the existence of supporting open book decompositions for 3-manifolds, and relative trisection diagrams for 4-manifolds; these decompositions provide tools for analyzing and comparing smooth structures, including distinguishing homeomorphic but non-diffeomorphic pairs (Castro et al., 2017).
• The combinatorics of monodromy, via Hurwitz moves and the algebra of mapping class groups, extends to the paper of multisections, pencils, and broken Lefschetz fibrations (BLFs), where positive Dehn twist factorizations of mapping classes encode 4-manifold data in purely combinatorial terms, and uniqueness or abundance theorems for BLFs probe the symplectic and near-symplectic categories (Baykur et al., 2014, Baykur et al., 2015).
• Explicit constructions exist for nonorientable 4-manifolds, with classification and trisection diagrams arising through analogous Lefschetz fibration theory (Miller et al., 2020).
• In the singularity and algebraic geometric context, Milnor fibers of singularities (e.g., cusp, simple elliptic) are shown to admit Lefschetz torus fibrations, and duality phenomena (e.g., extended strange duality) relate the decomposition of K3 surfaces or symplectic gluing to the monodromy and vanishing cycle data (Kasuya et al., 2021).
• For high-dimensional and Weinstein settings, handle decompositions and Legendrian surgery translate into explicit Lefschetz fibrations on cotangent bundles and plumbings, influencing symplectic topology and Fukaya category theory (Lee, 2021, Gasparim et al., 2013).

---

Lefschetz fibrations are thus central to 4-manifold topology, symplectic geometry, and mapping class group theory, providing a unifying framework that relates monodromy, combinatorial group theory, and geometric/topological invariants, with profound implications and numerous constructions across smooth, symplectic, and complex geometry.