Searcharxiv⌕ Search

arXiv · 2610.05537

Lefschetz fibrations with handlebody monodromy

Abstract

We study relatively minimal Lefschetz fibrations over closed oriented surfaces whose monodromy extends over a fixed 3--dimensional handlebody. If $X$ is the total space and $\ell$ is the number of critical points, we prove that $σ(X)=-\ell$. Such fibrations with $\ell>0$ exist precisely for fiber genus $g\geq3$ and base genus $h\geq2$, and one can take $\ell=1$ for every such pair. We also show that hyperelliptic handlebody monodromy forces the fibration to be a surface bundle and that every meridian twist, separating or nonseparating, has commutator length two in the handlebody group for $g\geq3$.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

R. Inanc Baykur, Susumu Hirose. 2026-10-04. Lefschetz fibrations with handlebody monodromy. https://arxiv.org/abs/2610.05537

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

On surgeries from lens space $L(p,1)$ to $L(q,2)$

We mainly use the d-invariant surgery formula established by Wu and Yang \cite{wu2025surgerieslensspacestype} to study the distance one surgeries along a homologically essential knot between lens spaces of the form $L(p,1)$ and $L(q,2)$ where $p,q$ are odd integers.

math.GT↗

On the BNSR invariants of $2$-knot groups

For a finitely generated group $G$, the Bieri--Neumann--Strebel--Renz (BNSR) invariants are subsets of the character sphere of $G$ that govern the finiteness properties of normal subgroups containing the commutator subgroup. We investigate the BNSR invariants of $2$-knot groups and link groups. As an application, we prove Yasuda's conjecture that every non-trivial $2$-plat $2$-knot is non-fibered.

math.GT↗

Ropelength-Filtered Essential Surface Spaces

We develop a filtered geometric framework for essential surfaces in knot exteriors. Let $γ$ be a unit-thickness representative of a knot type $K$ with $\mathrm{Len}(γ)\leΛ$, and let $F$ be a properly embedded essential surface in the exterior of a fixed-radius tube about $γ$, with $\mathrm{Area}(F)\leΔ$ and relative thickness at least $τ$, formulated through Federer reach and controlled boundary collars. We prove that this bounded-geometry pair space contains only finitely many pair-isotopy classes, and that equality of explicitly bounded canonical layered codes at resolution $\varepsilon\le c\min\{1,τ\}$ implies ambient pair-isotopy. In a fixed exterior $E$, the surface systems visible in a geometric window form finite subcomplexes ${ES}_{Δ,τ}(E)$ that exhaust the essential-surface complex; isometries act levelwise and $C^{1,1}$ self-diffeomorphisms act with controlled reindexing. For a fixed two-sided surface, compressing disks are filtered in the same way, giving finite geometric witnesses for compressibility and weak reducibility and recovering the index-one characterization in Bachman's topological index theory. On the peripheral torus, every visible numerical boundary slope lies in an explicit writhe window, so that $|r|\le C_{\mathrm{BS}}Λ^{4/3}+w(Δ,τ)$. Together with finite Reidemeister certificates, the faithful codes give two independent finite recognition mechanisms, one for the knot and one for the carried essential-surface type. The framework is a smooth, triangulation-free analogue of the finiteness philosophy of normal surface theory; it does not assert that a knot exterior has only finitely many essential surfaces without geometric bounds.

math.GT↗