Achiral Lefschetz Fibration

Updated 10 July 2026

Achiral Lefschetz fibrations are smooth maps from 4-manifolds to surfaces that admit both right- and left-handed singular points.
They are characterized by monodromy representations into mapping class groups, using both positive and negative Dehn twists to encode singular fibers.
These fibrations connect diverse concepts such as moduli-space methods, trisection theory, and homological section obstructions, offering versatile construction techniques.

An achiral Lefschetz fibration is a smooth map $f:X\to \Sigma$ from a smooth 4-manifold to a surface whose critical points are isolated Lefschetz-type singularities, but with both orientations allowed locally. In the orientable setting, this means that the singular set may contain both positive and negative critical points, so the monodromy may involve both right- and left-handed Dehn twists. Relative to ordinary Lefschetz fibrations, the achiral category enlarges the range of admissible 4-manifolds and singularity patterns, and it has become a meeting point for monodromy factorizations, section-obstruction problems, singular fibration theory, trisection theory, and moduli-space methods (Yoshikawa, 8 Sep 2025, Funar, 2022).

1. Local models and basic structure

A Lefschetz fibration is a smooth map from a closed, oriented 4-manifold $X$ to a 2-manifold such that all critical points are isolated and locally modeled on complex quadratic singularities. In the achiral case, both the standard complex model and its orientation-reversing counterpart are allowed. Concretely, the local models are $f(z,w)=zw$ and $f(z,w)=\bar z\,w$ , or equivalently the map may have both positive and negative critical points depending on whether the local complex orientation is preserved or reversed. Over regular values, the fibers are smooth surfaces; over finitely many critical values, the fibers acquire isolated singular points. The vanishing cycle determines whether the local monodromy is a right- or left-handed Dehn twist (Yakupov, 21 Oct 2025).

This formulation places chirality at the level of local orientation data rather than at the level of the global fibration alone. In particular, achiral fibrations retain the Lefschetz package of isolated quadratic singularities and mapping-class-group monodromy, but they need not support the symplectic conclusions that are standard in the chiral case. The term therefore marks a precise weakening of the usual positivity condition rather than a different class of singular maps altogether (Castro et al., 2017).

2. Monodromy, mapping class groups, and chart descriptions

As with ordinary Lefschetz fibrations, achiral Lefschetz fibrations are encoded by monodromy representations into mapping class groups. A systematic combinatorial model is given by chart descriptions: finite oriented labeled graphs embedded in the base surface, with edge labels drawn from Wajnryb’s generators of the mapping class group. In this formalism, white vertices encode mapping-class-group relations, while black vertices encode positive or negative Dehn twists, hence the singular fibers themselves. Chart moves—Type W moves, transition moves, and conjugacy moves—preserve the underlying monodromy class and provide a Reidemeister-type calculus for achiral monodromy data (Endo et al., 2014).

A second monodromy mechanism arises from orientation double covers of non-orientable Lefschetz fibrations. If $f:X\to \Sigma$ is a genus- $g$ non-orientable Lefschetz fibration and $\pi:\widetilde X\to X$ is the standard orientation double covering, then $f\circ \pi:\widetilde X\to \Sigma$ is an achiral Lefschetz fibration of genus $g-1$ . Each critical point lifts to one positive and one negative critical point, and a two-sided vanishing cycle $c\subset N_g$ lifts to a pair of curves $X$ 0. The induced mapping-class-group homomorphism is

$X$ 1

so a positive factorization on the non-orientable fiber becomes a product alternating positive and negative twists on the orientable cover. In the same setting, isomorphism classes are preserved under two generalized elementary transformations and simultaneous conjugation, mirroring Hurwitz equivalence in the orientable theory (Yoshikawa, 8 Sep 2025).

3. Constructions and sources of achiral fibrations

A concrete family of achiral Lefschetz fibrations without sections is obtained by doubling a Lefschetz pencil on $X$ 2. For a degree- $X$ 3 pencil, one removes small balls around the $X$ 4 base points to obtain a manifold $X$ 5 with Hopf-fibered boundary components, and then forms the double $X$ 6. The resulting map $X$ 7 is achiral because every singularity in one copy is paired with an oppositely oriented singularity in the other. The total space satisfies

$X$ 8

the regular fiber has genus

$X$ 9

and there are $f(z,w)=zw$ 0 quadratic singularities of each orientation. Since $f(z,w)=zw$ 1 is arbitrary, these examples realize connected regular fibers of arbitrarily high genus (Gompf, 22 Jun 2025).

The same paper isolates a more general gluing principle: if two Lefschetz fibrations carry sections of the same self-intersection number but opposite orientations, then gluing along those sections produces an achiral Lefschetz fibration whose fiber class is divisible in homology. This gives a robust source of achiral fibrations with prescribed global homological behavior, not merely isolated ad hoc examples (Gompf, 22 Jun 2025).

A different and systematic source comes from non-orientable topology. The orientation double cover construction described above turns every non-orientable Lefschetz fibration into an achiral one on an orientable total space, with explicit control of genus, critical points, and monodromy factorization. In this sense, achiral fibrations can be viewed both as doubled chiral objects and as orientable shadows of non-orientable fibrations (Yoshikawa, 8 Sep 2025).

4. Sections, nonexistence phenomena, and algebraic criteria

One of the most striking features of the achiral category is the failure of any uniform section-existence principle. In Gompf’s doubled-pencil examples, the obstruction is homological. If $f(z,w)=zw$ 2 were a section and $f(z,w)=zw$ 3 a regular fiber, then one must have

$f(z,w)=zw$ 4

But in those constructions the fiber class is divisible by $f(z,w)=zw$ 5, so every intersection with $f(z,w)=zw$ 6 is a multiple of $f(z,w)=zw$ 7. Therefore no section can exist. The obstruction is not merely geometric but homological: the fiber class is non-primitive, and this alone rules out any candidate section class (Gompf, 22 Jun 2025).

A complementary picture emerges for Lefschetz fibrations over the disk and for doubles built from them. For a fibration $f(z,w)=zw$ 8 with monodromy $f(z,w)=zw$ 9, the boundary is the mapping torus $f(z,w)=\bar z\,w$ 0, and a loop $f(z,w)=\bar z\,w$ 1 extends to a continuous section over the disk exactly when $f(z,w)=\bar z\,w$ 2 admits a decomposition

$f(z,w)=\bar z\,w$ 3

with

$f(z,w)=\bar z\,w$ 4

and the section is smoothable exactly when each $f(z,w)=\bar z\,w$ 5. More generally, for bundles over finite 2-complexes, a section exists if and only if the fiber inclusion is $f(z,w)=\bar z\,w$ 6-injective and the associated short exact sequence of fundamental groups splits. When one forms the double

$f(z,w)=\bar z\,w$ 7

along the vertical boundary, the result is an achiral Lefschetz fibration over $f(z,w)=\bar z\,w$ 8. In this setting, if for some vanishing cycle $f(z,w)=\bar z\,w$ 9 and some integer $f:X\to \Sigma$ 0,

$f:X\to \Sigma$ 1

then $f:X\to \Sigma$ 2 admits at least two homologically distinct sections; if the total monodromy is trivial, the double admits countably many homologically distinct sections (Hillman et al., 13 Apr 2026).

These results show that section behavior in the achiral category is highly sensitive to the global construction. Gompf’s doubles can have no sections at all, whereas doubles along the vertical boundary can carry many homologically distinct sections. This suggests that section existence is controlled by global homology and monodromy data rather than by achirality alone (Gompf, 22 Jun 2025, Hillman et al., 13 Apr 2026).

5. Position within singular-fibration theory and broken Lefschetz fibrations

Achiral Lefschetz fibrations sit inside the broader class of singular fibrations over surfaces. In that larger category, one allows finitely many regular cone-like singularities whose local links are arbitrary fibered links in $f:X\to \Sigma$ 3, not only Hopf links. From this viewpoint, achiral Lefschetz fibrations are precisely those singular fibrations whose local links are $f:X\to \Sigma$ 4-Hopf links and whose local models remain quadratic. Singular fibrations and achiral Lefschetz fibrations share several structural features, including smooth surface fibers over regular values and an exact sequence

$f:X\to \Sigma$ 5

The broader framework includes Matsumoto’s singular fibration $f:X\to \Sigma$ 6 with a single critical point, modeled locally by

$f:X\to \Sigma$ 7

whose local link is the pretzel link $f:X\to \Sigma$ 8. In comparison, the minimal number of critical points for an achiral Lefschetz fibration $f:X\to \Sigma$ 9 is $g$ 0 (Funar, 2022).

Negative Lefschetz singularities can also be traded for broken-fibration singularities. Baykur gives a handlebody modification that replaces a neighborhood of a negative achiral singularity by a broken Lefschetz fibration piece containing three positive Lefschetz 2-handles of fiber framing $g$ 1 and one round 2-handle of fiber framing $g$ 2. The boundary monodromy matches that of the original negative node, so the replacement is local and topologically controlled. Combined with the existence of achiral Lefschetz fibrations from earlier work of Gay and Kirby, this yields a handlebody proof that every closed oriented smooth 4-manifold admits a broken Lefschetz fibration over $g$ 3 (Baykur, 2010).

6. Moduli-space constructions, signatures, and stabilization

For fiber genus $g$ 4, achiral Lefschetz fibrations admit classifying maps to the Deligne–Mumford compactification of the moduli space of curves. If $g$ 5 is such a fibration, there exists a classifying map

$g$ 6

unique up to isotopy and a choice of slicing metrics at the singular values. The construction uses Riemannian rather than symplectic geometry: slicing metrics are chosen near singular fibers, and normalized fibered Ricci flow produces a smooth family of hyperbolic metrics on the regular fibers. In this framework the signature is expressed by

$g$ 7

extending Smith’s signature formula to the achiral setting (Yakupov, 21 Oct 2025).

A parallel, purely combinatorial signature theory is available via charts. For a chart $g$ 8 describing the monodromy of a genus- $g$ 9 achiral Lefschetz fibration over a closed oriented base, the signature is

$\pi:\widetilde X\to X$ 0

and one has $\pi:\widetilde X\to X$ 1. The same chart formalism supports stabilization theorems under fiber sum: for genus $\pi:\widetilde X\to X$ 2, after summing with sufficiently many copies of a universal Lefschetz fibration, the stabilized isomorphism class is determined by the numbers and types of singular fibers together with the signature. These results extend earlier $\pi:\widetilde X\to X$ 3-based theorems to arbitrary closed oriented base surfaces and to the achiral category (Endo et al., 2014).

Achiral Lefschetz fibrations provide explicit trisections of 4-manifolds when suitable sections are present. If a closed 4-manifold admits a genus- $\pi:\widetilde X\to X$ 4 Lefschetz fibration over $\pi:\widetilde X\to X$ 5 with $\pi:\widetilde X\to X$ 6 singular fibers and a section of square $\pi:\widetilde X\to X$ 7, then it admits an explicit trisection of type

$\pi:\widetilde X\to X$ 8

and after blowing down the section the resulting manifold admits a trisection of type

$\pi:\widetilde X\to X$ 9

The same construction works for achiral Lefschetz fibrations: the vanishing cycles, together with their signs, determine the trisection diagram through a relative-trisection gluing procedure (Castro et al., 2017).

This has been extended to arbitrary $f\circ \pi:\widetilde X\to \Sigma$ 0-sections. If $f\circ \pi:\widetilde X\to \Sigma$ 1 admits a genus- $f\circ \pi:\widetilde X\to \Sigma$ 2 achiral Lefschetz fibration over $f\circ \pi:\widetilde X\to \Sigma$ 3 with $f\circ \pi:\widetilde X\to \Sigma$ 4 singular fibers and a $f\circ \pi:\widetilde X\to \Sigma$ 5-section, then $f\circ \pi:\widetilde X\to \Sigma$ 6 for $f\circ \pi:\widetilde X\to \Sigma$ 7, $f\circ \pi:\widetilde X\to \Sigma$ 8 for $f\circ \pi:\widetilde X\to \Sigma$ 9, and $g-1$ 0 itself for $g-1$ 1, admit trisections of type

$g-1$ 2

with diagrams explicitly constructed from the monodromy factorization. Fiber sums of achiral fibrations with $g-1$ 3- and $g-1$ 4-sections admit analogous explicit trisections (Isoshima et al., 24 Dec 2025).

Achiral Lefschetz fibrations also interact closely with open books and codimension-two embedding problems. A 4-dimensional achiral Lefschetz fibration over $g-1$ 5 induces on its boundary a 3-dimensional open book with the same fiber and monodromy. Every such fibration admits a relative Lefschetz-fibration embedding in $g-1$ 6, which yields another proof that every closed orientable 4-manifold embeds in $g-1$ 7. For $g-1$ 8, a proper embedding into $g-1$ 9 forces $c\subset N_g$ 0, while hyperelliptic monodromy gives explicit relative LF embeddings into $c\subset N_g$ 1 (Nath et al., 2020).