---
title: Nearly Lefschetz Fibrations
url: https://www.emergentmind.com/topics/nearly-lefschetz-fibrations
type: topic
---

# Nearly Lefschetz Fibrations

Auroux, Donaldson and Katzarkov introduced broken Lefschetz fibrations as a generalization of Lefschetz fibrations in order to describe near-symplectic 4-manifolds [1012.4049]. In the literature considered here, nearly Lefschetz fibrations are controlled relaxations of genuine Lefschetz fibrations in which one allows a prescribed additional singular behavior beyond isolated ordinary Lefschetz points. For closed 4-manifolds this appears as the simplified broken Lefschetz fibration, with isolated Lefschetz singularities together with a connected circle of indefinite-fold, or round, singularities [1104.1037]. In recent symplectic filling theory, a nearly Lefschetz fibration over the disk is a smooth map on a compact 4-manifold with corners whose singularities consist of ordinary Lefschetz points and finitely many exotic fibers locally modeled on \(\{y^2=x\}\), producing spinal rather than classical open books on the boundary [2507.21293]. Across these settings, the extra singularity enlarges the available monodromy, section theory, and filling theory beyond the classical Lefschetz regime.

## 1. Definitions and local models

A broken Lefschetz fibration \(f\colon M\to B\), where \(M\) is an oriented 4-manifold and \(B\) an oriented surface, is a smooth map whose only critical points are Lefschetz singularities and indefinite folds. In compatible complex local coordinates \((z_1,z_2)\) on \(M\) and \(\xi\) on \(B\), a Lefschetz singularity is modeled by
\[
f(z_1,z_2)=\xi=z_1z_2,
\]
while in real coordinates \((t,x_1,x_2,x_3)\) on \(M\) and \((y_1,y_2)\) on \(B\), an indefinite fold is modeled by
\[
f(t,x_1,x_2,x_3)=(t,\;x_1^2+x_2^2-x_3^2).
\]
The isolated Lefschetz points are denoted \(\mathcal C_f\subset M\), and the indefinite folds form a connected 1-manifold \(Z_f\subset M\) [1104.1037].

A broken Lefschetz fibration \(f\colon M\to S^2\) is called simplified when three conditions hold: \(f|_{\mathcal C_f\cup Z_f}\) is injective, \(Z_f\) is a single embedded circle and all fibers are connected, and all Lefschetz critical points lie on the higher-genus side. Under these hypotheses, \(S^2\setminus f(Z_f)\) is the disjoint union of two disks \(D_1,D_2\), the fibers over them differ in genus by one, and the region over a tubular neighborhood of \(f(Z_f)\) is the round cobordism [1104.1037]. In the genus-1 case, the higher side has genus \(1\), the lower side genus \(0\), and the round cobordism can be described handle-theoretically as an untwisted or twisted round 1-handle, equivalently a pair of ordinary 1- and 2-handles attached with algebraic intersection zero or two on the belt sphere [1012.4049].

The recent disk-based notion is formulated differently. Let \(W\) be a compact 4-manifold with corners and boundary decomposition
\[
\partial W=(\partial_{\mathrm{vert}}W)\cup(\partial_{\mathrm{hor}}W),\qquad
(\partial_{\mathrm{vert}}W)\cap(\partial_{\mathrm{hor}}W)=\bigsqcup T^2.
\]
A nearly Lefschetz fibration over \(D^2\) is a smooth map \(\pi\colon W\to D^2\) such that over the interior of \(D^2\) it is a fibration with connected fiber \(P\), its restriction to \(\partial_{\mathrm{vert}}W\) is exactly this surface bundle, it has finitely many ordinary Lefschetz critical points locally modeled on \((z_1,z_2)\mapsto z_1^2+z_2^2\), and finitely many exotic fibers locally modeled on the branched-cover curve \(\{y^2=x\}\subset\mathbb C^2\), equivalently by
\[
(x,y)\mapsto x
\quad\text{restricted to}\quad
\{e^{i\mu}x=y^2\}\subset D_x\times D_y,\quad 0<\mu\ll 1.
\]
Away from the exotic fibers, \(\pi\) carries \(\partial_{\mathrm{hor}}W\) to \(\partial D^2\) as a smooth bundle [2507.21293].

These two formalisms are not identical, but both replace the rigidity of genuine Lefschetz fibrations by one additional singular mechanism. This suggests that “nearly Lefschetz” is best understood as a controlled departure from the honest Lefschetz category rather than as a single universally fixed local model.

## 2. Monodromy and boundary structures

For a simplified broken Lefschetz fibration, the higher-side restriction
\[
f|_{f^{-1}(D_1)}\colon f^{-1}(D_1)\to D_1
\]
is an honest genus-\(g\) Lefschetz fibration with vanishing cycles \(d_1,\dots,d_n\subset \Sigma_g\) and Hurwitz sequence
\[
W_f=(t_{d_1},\dots,t_{d_n})\in \operatorname{Map}(\Sigma_g)^n.
\]
If \(c\subset\Sigma_g\) is the vanishing cycle of the indefinite fold, then Baykur’s analysis shows that the total monodromy around \(\partial D_1\) preserves \(c\) and lies in the kernel of the cut-along-\(c\) map
\[
\phi_c\colon \operatorname{Map}(\Sigma_g;c)\to \operatorname{Map}(\Sigma_{g-1}).
\]
Conversely, any factorization \(t_{d_1}\cdots t_{d_n}\in \ker \phi_c\) gives a simplified broken Lefschetz fibration with indefinite-fold vanishing cycle \(c\) [1104.1037]. The round cobordism is built by first attaching a fiberwise 2-handle along the nonseparating curve \(c\) with fiber framing and then a 3-handle, so the monodromy condition and the handle picture are tightly linked.

For nearly Lefschetz fibrations over \(D^2\), the monodromy contains two kinds of generators. Ordinary critical values determine vanishing cycles, that is, embedded closed curves in the fiber about which the monodromy is a positive Dehn twist. Exotic fibers determine vanishing arcs, along which the monodromy is a positive boundary-interchange, namely a half-twist swapping two boundary components of the page. As a result, the monodromy lives not in the ordinary mapping class group alone but in the spinal mapping class group generated by Dehn twists and boundary-interchanges [2507.21293].

This distinction is reflected on the boundary. A standard Lefschetz fibration over \(D^2\) induces a classical open book, in which each binding component appears once in the boundary of each page. A nearly Lefschetz fibration induces instead a spinal open book: the 3-manifold decomposes as
\[
Y=M_{\mathrm{paper}}\cup \nu(\beta),
\]
where \(M_{\mathrm{paper}}\to S^1\) is a bundle with page \(P\), \(\nu(\beta)\) is a union of solid tori, and each page can meet a torus in multiple longitudes. The multiplicities of these longitudes are part of the boundary data [2507.21293]. In this sense, the passage from standard to nearly Lefschetz fibrations is simultaneously a change in local singularity theory and in the global boundary category.

## 3. Sections and the failure of classical Lefschetz constraints

For relatively minimal genuine Lefschetz fibrations \(f\colon M\to S^2\) of genus \(g\ge 2\), classical constraints are stringent. Smith proved that there are only finitely many homotopy classes of sections \(\sigma\colon S^2\to M\), and Smith and Stipsicz independently proved that every section satisfies
\[
[\sigma(S^2)]^2<0
\]
unless the fibration is the trivial product \(\Sigma_g\times S^2\to S^2\) [1104.1037].

Hayano showed that neither phenomenon survives in the simplified broken setting. For every \(g\ge 2\), there exists a nontrivial genus-\(g\) simplified broken Lefschetz fibration
\[
f_g\colon M_g\to S^2
\]
with no \((-1)\)-sphere in any fiber and with infinitely many pairwise non-homotopic sections \(\sigma_n\colon S^2\to M_g\) [1104.1037]. The construction chooses a simple closed curve \(\mu\subset \Sigma_g\), takes the Hurwitz system \(W_f=(t_\mu,t_\mu)\), and selects the indefinite-fold cycle \(c\) so that \((t_\mu)^2\in \ker \phi_c\). The resulting Kirby diagram presents
\[
M_g \cong S^2\times \Sigma_{g-1}\;\#\;S^1\times S^3\;\#\;2\,\overline{\mathbb{CP}^2}.
\]
The sections \(\sigma_n\) are obtained by trivializing over the lower-genus side the boundary torus of \(f_g^{-1}(D_2)\) with winding number \(n\) around one fundamental loop in \(\Sigma_{g-1}\). A computation of \(\pi_2(M_g)\) then shows that these section classes are all distinct.

Hayano also proved that for any integer \(k\) and any \(g\ge 2\) there exists a nontrivial genus-\(g\) simplified broken Lefschetz fibration admitting a section \(\sigma\) with
\[
[\sigma(S^2)]^2=k
\]
[1104.1037]. The monodromy-based construction works on \(\Sigma_{g,1}\), choosing a nonseparating curve \(\tilde d\) and curves \(\tilde d_1,\dots,\tilde d_n\) so that
\[
t_{\tilde d_1}\cdots t_{\tilde d_n}\in \operatorname{Map}(\Sigma_{g,1};\tilde d),
\qquad
\phi_{\tilde d}(t_{\tilde d_1}\cdots t_{\tilde d_n})=t_\delta^k,
\]
where \(\delta\) is the boundary circle. Kas’s handle-attachment construction gives a Lefschetz fibration over \(D^2\), after which one attaches the round 2-handle along \(\tilde d\) and caps with a trivial \(\Sigma_g\times D^2\) piece to obtain a closed simplified broken Lefschetz fibration over \(S^2\). The section is then read off from the handle picture.

These results indicate that the finiteness of section homotopy classes and the negativity of section square are not features of “broken” or “nearly” Lefschetz theory in general; they are genuinely classical Lefschetz phenomena, destroyed by the presence of the round singularity.

## 4. Spin structures and obstruction theory

Let \(f\colon M\to S^2\) be a genus-\(g\) simplified broken Lefschetz fibration with Lefschetz vanishing cycles \(d_1,\dots,d_n\subset\Sigma_g\) and round-vanishing cycle \(d\subset\Sigma_g\). Suppose \(M\) admits a dual class \(S\in H_2(M;\mathbb Z)\) to a lower-side fiber \([F]\), meaning
\[
S\cdot [F]=1.
\]
This hypothesis holds, for example, whenever the higher-plus-round region is simply connected, or if the fibration has a section [1104.1037].

Hayano’s spin criterion states that \(M\) admits a spin structure if and only if two conditions hold. First, there exists a \(\mathbb Z/2\)-quadratic form
\[
q\colon H_1(\Sigma_g;\mathbb Z/2)\to \mathbb Z/2
\]
with respect to the intersection pairing on \(\Sigma_g\) such that
\[
q(d)=0,\qquad q(d_i)=1 \ \text{for all } i=1,\dots,n.
\]
Second, the self-intersection \(S^2\) is even [1104.1037].

Equivalently, the monodromy data determine the relevant contribution to the second Stiefel-Whitney class \(w_2(M)\) through the quadratic form \(q\), while the only additional global obstruction is the parity of the dual class \(S\). In the genuine Lefschetz case, where there is no round singularity, the condition reduces to the usual Stipsicz-Gompf criterion \(q(d_i)=1\). The extra requirement \(q(d)=0\) isolates precisely how the round vanishing cycle enters the obstruction theory.

This criterion is structurally significant because it shows that the broken setting retains a mapping-class-group formulation of spin obstructions, but only after incorporating data from the non-Lefschetz singularity. The obstruction theory therefore parallels the classical one without coinciding with it.

## 5. Genus-\(1\) normal forms and low-complexity classification

The genus-\(1\) case admits a particularly explicit description because the mapping class group \(M_1\) is identified with \(SL(2,\mathbb Z)\). Writing
\[
X_1=\begin{bmatrix}1&0\\ 1&1\end{bmatrix},
\qquad
X_2=\begin{bmatrix}1&-1\\ 0&1\end{bmatrix},
\]
a genus-\(1\) simplified broken Lefschetz fibration with \(r\) Lefschetz critical points has a Hurwitz system
\[
W_f=(\phi_1,\phi_2,\dots,\phi_r),
\]
where each \(\phi_i\) is a right-handed Dehn twist \(X_1^{-n_i}X_2X_1^{n_i}\) along a slope \(\gamma_{p,q}\), and the product
\[
w(W_f)=\phi_1\cdots \phi_r
\]
is the boundary monodromy of the higher-side torus bundle [1012.4049]. Because that torus bundle has a section, the monodromy fixes one slope, hence
\[
w(W_f)=\pm X_1^m
\]
for some integer \(m\).

Hayano proved that after simultaneous conjugations and elementary Hurwitz moves, the higher-side monodromy can be put in the normal form
\[
W_f=(X_1,\dots,X_1,\;X_1^{-n_1}X_2X_1^{n_1},\dots,X_1^{-n_s}X_2X_1^{n_s}),
\]
that is, a block
\[
S_k=(X_1,\dots,X_1)
\]
followed by a twisted block
\[
T(n_1,\dots,n_s)=(X_1^{-n_1}X_2X_1^{n_1},\dots,X_1^{-n_s}X_2X_1^{n_s})
\]
[1012.4049]. For \(r\le 5\), the allowable twisted blocks are exactly the standard sequences
\[
T_2=(X_1^{-1}X_2X_1,\;X_1X_2X_1^{-1}),
\]
\[
T_3=(X_1^{-3}X_2X_1^3,\;X_2,\;X_1^3X_2X_1^{-3}),
\]
and for \(s\ge 4\),
\[
T_s=T(2s-3,\;2s-6,\;2s-10,\;\dots,\;-2s+6,\;-2s+3),
\]
with
\[
w(T_s)=(-1)^{s+1}X_1^{-5s+6}.
\]

This leads to a complete classification for the low-complexity range \(r\le 5\). When \(r=0,1\), only \(S_r\) occurs. When \(r=2\), the possibilities are \(S_2\) or \(T_2\). When \(r=3\), the possibilities are \(S_3\), \(S_1T_2\), or \(T_3\); in the purely Lefschetz limit, \(T_3\) connects to the elliptic-surface picture, and when the round handle is absent the standard 12\(n\)-term factorization recovers the elliptic surfaces \(E(n)\) [1012.4049].

The diffeomorphism types of the total spaces are obtained by Kirby calculus. The families \(S_r\) realize
\[
M\cong \#r\,\overline{\mathbb{CP}^2},
\quad
L_n\# r\,\overline{\mathbb{CP}^2},
\quad\text{or}\quad
S^1\times S^3\# S\# r\,\overline{\mathbb{CP}^2},
\]
while the families \(T_s\) realize
\[
M\cong S\#(s-2)\mathbb{CP}^2,
\]
where \(S=S^2\times S^2\) or \(S^2\widetilde\times S^2\) [1012.4049]. The numerical invariants are correspondingly explicit:
\[
\chi(M)=\chi(\text{base})\cdot\chi(\text{fiber})+r=2\cdot 0+r=r,
\]
since the round handle contributes zero to \(\chi\), and in the pure \(S_r\) case the signature is \(-r\). Hayano further conjectured that the families \(S_r\) and \(T_s\), together with their possible \(S^1\times S^3\#\cdots\) summands, exhaust all genus-\(1\) simplified broken Lefschetz fibrations with non-empty round locus [1012.4049].

## 6. Spinal open books, multisections, and fillings of sandwiched links

In the symplectic-topological setting of sandwiched singularities, nearly Lefschetz fibrations over the disk are tied to spinal open books and filling classification. A spinal open book on a 3-manifold \(Y\) is a decomposition
\[
Y=M_{\mathrm{paper}}\cup \nu(\beta),
\]
where \(M_{\mathrm{paper}}\to S^1\) is a bundle with compact surface pages \(P\) with boundary, and \(\nu(\beta)\cong \bigsqcup(\text{solid tori})\) is the spine, glued so that each page meets each torus in a collection of longitudes, possibly more than one. When the spine is a union of solid tori and the pages are planar, the open book is called planar uniform over \(D^2\), and each binding component carries a multiplicity \(d_i\) equal to the number of longitudes contributed by a page [2507.21293].

Roy, Min, and Wang, building on work of Lisi, Van Horn-Morris, and Wendl, proved that if \((Y,\xi)\) is supported by a planar spinal open book uniform over \(D^2\), then any minimal strong or Stein filling \((W,\omega)\) admits the structure of a positive allowable nearly Lefschetz fibration inducing that spinal open book on \(\partial W\); moreover, the number of exotic fibers is determined solely by the binding multiplicities [2507.21293]. This theorem supplies the passage from contact boundary data to nearly Lefschetz structures.

The corresponding filling constructions are encoded by immersed disk arrangements
\[
(\Gamma,p)=\{\Gamma_i\subset D_x\times D_y:i=1,\dots,m\}\cup\{\text{marked points }p_j\},
\]
subject to three conditions: each \(\Gamma_i\to D_x\) is a simple branched cover; all self-intersections and mutual intersections are positive transverse multipoints, with every branch point or intersection marked; and the total number of marked points on \(\Gamma_i\) equals a prescribed weight \(w_i\) [2507.21293]. After blowing up the \(n\) marked points, the strict transforms \(\widetilde\Gamma_i\) become a multisection of the blown-up trivial fibration, and the complement
\[
W_{(\Gamma,p)}
=
\bigl[(D_x\times D_y)\#_n\bigr]\setminus\bigcup_i \nu(\widetilde\Gamma_i)
\]
carries a natural positive allowable nearly Lefschetz fibration. Ordinary singular fibers come from blowing down intersections, and exotic fibers come from branch points. The monodromy around an ordinary critical value is a Dehn twist enclosing exactly the holes corresponding to the disks meeting there, while the monodromy around an exotic value is a boundary-interchange of the two adjacent holes.

This framework yields two central existence statements. First, if \((\Gamma,p)\) is compatible with the decorated germ \((C,w)\) of a sandwiched singularity, then \(W_{(\Gamma,p)}\) admits a Stein structure filling the canonical contact link. Second, every minimal strong symplectic filling of the contact link of a sandwiched singularity arises, up to deformation, as some \(W_{(\Gamma,p)}\), equivalently via a positive allowable nearly Lefschetz fibration whose vanishing cycles and arcs can be packaged into a braided wiring diagram, and conversely a wiring diagram produces an immersed-disk arrangement [2507.21293].

The same formalism detects unexpected Stein fillings, namely Stein fillings not diffeomorphic, indeed not homeomorphic, to any Milnor fiber of any analytic smoothing. The incidence matrix
\[
\mathcal I(\Gamma,p)\in \operatorname{Mat}_{m\times n}(\mathbb Z_{\ge 0})
\]
records how many marked points each \(\Gamma_i\) carries. Akhmedov, Ozbagci, and Popescu-Pampu show topologically that any two fillings with the same boundary marking have the same matrix, while de Jong–van Straten’s algebraic picture deformations impose additional constraints on realizable matrices. For the decorated germ consisting of \(m=2N+5\ge 10\) lines through the origin in \(\mathbb C^2\), each weighted \(w_i\ge m-1\), one obtains at least \(N+1\) pairwise non-homeomorphic Stein fillings by choosing DJVS arrangements with incidence matrices not realizable by any complex picture deformation; each such filling carries its unique positive allowable nearly Lefschetz fibration, with monodromy factoring as a product of boundary-interchanges followed by Dehn twists [2507.21293].

In this symplectic-filling context, nearly Lefschetz fibrations generalize planar Lefschetz fibrations to the spinal setting, arise naturally from complements of multisections, and parametrize all minimal symplectic fillings of sandwiched contact links, including Stein fillings outside the classical algebraic Milnor-fiber picture.

Source: https://www.emergentmind.com/topics/nearly-lefschetz-fibrations