pith. sign in

arxiv: 2604.10943 · v1 · submitted 2026-04-13 · 🧮 math.GT

On sections of Lefschetz fibrations and bundles over 2-complexes

Jonathan A. Hillman , Riccardo Pedrotti This is my paper

Pith reviewed 2026-05-10 16:31 UTC · model grok-4.3

classification 🧮 math.GT
keywords sections of fibrationsLefschetz fibrationsbundles over 2-complexesfundamental group sequencesmapping toriachiral Lefschetz fibrationshomologically distinct sections
0
0 comments X

The pith

A bundle over a finite 2-complex has a section exactly when the fiber inclusion is injective on fundamental groups and the induced group extension splits.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper gives algebraic tests for when fibrations admit sections in two low-dimensional settings. For a bundle whose base is any finite 2-complex, a section exists precisely when the fiber inclusion induces an injection on fundamental groups and the resulting short exact sequence of groups splits. For Lefschetz fibrations over the disk, the paper supplies a complete algebraic condition on loops in the boundary mapping torus that decides whether they extend to sections. These tests are then used on doubled achiral Lefschetz fibrations to produce fibrations over the sphere that carry at least two homologically distinct sections.

Core claim

A bundle with base a finite 2-complex admits a section if and only if the inclusion of the fiber is π1-injective and the associated short exact sequence of fundamental groups splits. For Lefschetz fibrations over the disk, loops in the boundary mapping torus extend to continuous or smooth sections over the disk according to a complete algebraic criterion. Doubling these fibrations along the vertical boundary yields achiral Lefschetz fibrations over the sphere for which the criterion guarantees at least two homologically distinct sections.

What carries the argument

The splitting of the short exact sequence of fundamental groups coming from the fibration, together with the condition that the fiber inclusion is injective on fundamental groups; and the algebraic extension condition on loops inside the boundary mapping torus.

If this is right

  • The existence of sections in any bundle over a finite 2-complex reduces to a pair of group-theoretic checks that can be performed once the fundamental groups are known.
  • The algebraic criterion on the boundary mapping torus completely classifies which loops bound sections in Lefschetz fibrations over the disk.
  • Doubling a Lefschetz fibration over the disk along its vertical boundary produces an achiral Lefschetz fibration over the sphere carrying at least two homologically distinct sections whenever the given algebraic condition holds.
  • Geometric questions about sections in these fibrations become computable from the monodromy representation and the boundary data alone.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same splitting-plus-injectivity test may apply to bundles over other 2-dimensional complexes that are not necessarily finite, provided the fundamental-group data can still be extracted.
  • In four-manifold constructions that produce Lefschetz fibrations by surgery or gluing, the criterion offers a way to guarantee multiple sections without drawing them explicitly.
  • One could check the algebraic condition on known explicit examples, such as torus bundles or standard Lefschetz fibrations with small numbers of critical points, to see whether it recovers the geometrically visible sections.

Load-bearing premise

The base is a finite 2-complex and the fibration is either a genuine locally trivial bundle or a Lefschetz fibration with the standard local models near its critical points.

What would settle it

A concrete bundle over a finite 2-complex in which the fiber inclusion is injective on fundamental groups, the group sequence splits, yet no continuous section exists, or the converse where a section exists but one of the two algebraic conditions fails.

Figures

Figures reproduced from arXiv: 2604.10943 by Jonathan A. Hillman, Riccardo Pedrotti.

Figure 1
Figure 1. Figure 1: Family of sections of ΣτV realizing an homotopy-through￾sections starting at sV (resp. sV 0 ) and ending at sṼ (resp. s∗Σ ). The following is a simple but useful observation Lemma 3.10. If ∗Σ ∈ Fix(f), then for any class [α] ∈ π1(Σ, ∗Σ) there is a smooth section sα ∈ Γ(Σf ) realizing the class ([α], 1) ∈ π1(Σf , ∗Σ) ⋊f∗ Z. Proof. Any section of the mapping torus of f can be seen as a twisted loop, i.e. an… view at source ↗
Figure 2
Figure 2. Figure 2: The homotopy of sections between σ∣∂D′ and sṼ when σ(0) and ∗Σ belong to different connected components of N (V ) ∖ V . 3.2. Smooth and continuous sections for general Lefschetz fibrations over the disk. 3.2.1. Lefschetz fibrations over the disk with several critical values. Let Σ be an oriented surface and let τ ∈ Aut(Σ) satisfying (8) τ = τVk ○ ⋯ ○ τV1 , for a family of embedded curves V1, . . . , Vk ⊂ … view at source ↗
read the original abstract

We address the question of existence of sections of fibrations in two settings. First, we show that a bundle with base a finite 2-complex admits a section if and only if the inclusion of the fiber is $\pi_1$-injective and the associated short exact sequence of fundamental groups splits. Second, for Lefschetz fibrations over the disk we provide a complete algebraic criterion characterizing which loops in the boundary mapping torus extend to continuous or smooth sections over the disk. Finally, we apply our results to achiral Lefschetz fibrations over the sphere obtained by doubling along the vertical boundary, and give a criterion ensuring the existence of at least two homologically distinct sections.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 3 minor

Summary. The paper establishes two main results on sections of fibrations. For a fiber bundle over a finite 2-complex, a section exists if and only if the fiber inclusion induces an injection on fundamental groups and the resulting short exact sequence 1 → π₁(F) → π₁(E) → π₁(B) → 1 splits. For Lefschetz fibrations over the disk, it gives a complete algebraic criterion, in terms of loops in the boundary mapping torus, determining which such loops extend to continuous or smooth sections over the disk. These are applied to achiral Lefschetz fibrations over S² obtained by doubling along the vertical boundary, yielding a criterion for the existence of at least two homologically distinct sections.

Significance. If the derivations hold, the results supply explicit algebraic tests that reduce the geometric question of section existence to π₁-level data and monodromy representations. The 2-complex case follows directly from the vanishing of higher obstruction classes in H^k(B; π_{k-1}(F)) for k > 2, while the Lefschetz-disk criterion translates the standard local models at critical points into algebraic conditions on the boundary. The doubling construction then produces concrete applications to closed surfaces. These tools are likely to be useful in 4-manifold topology and the study of Lefschetz fibrations.

major comments (2)
  1. [Section 3] The abstract and introduction assert that the Lefschetz-fibration criterion over the disk is 'complete' once the standard local models are fixed, but the manuscript does not appear to include an explicit verification that every algebraic solution corresponds to a geometric section (i.e., that the algebraic condition is also sufficient, not merely necessary). A concrete check against a known example (e.g., a simple nodal fibration) would strengthen the claim.
  2. [Section 4] In the doubling construction for achiral fibrations over S², the criterion for two homologically distinct sections relies on the existence of sections on each half-disk that agree on the boundary in a controlled way. The manuscript should clarify whether the homology classes of the resulting sections on the closed surface are independent of the choice of gluing diffeomorphism up to isotopy.
minor comments (3)
  1. [Section 2] Notation for the monodromy representation and the associated local coefficients in H²(B; π₁(F)) is introduced without a dedicated preliminary subsection; a short paragraph collecting the conventions would improve readability.
  2. [Introduction] The statement of the main bundle theorem (presumably Theorem 2.1 or similar) uses 'finite 2-complex' without specifying whether the complex is assumed to be aspherical or whether the result holds for any finite 2-complex; a clarifying sentence would help.
  3. [Section 2] Several references to classical obstruction theory (e.g., to the primary obstruction class) are given without page numbers or theorem citations; adding these would make the reduction steps easier to follow.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the positive evaluation of our manuscript and for the constructive comments. We address each major comment below and will revise the paper accordingly to improve clarity.

read point-by-point responses

  1. Referee: [Section 3] The abstract and introduction assert that the Lefschetz-fibration criterion over the disk is 'complete' once the standard local models are fixed, but the manuscript does not appear to include an explicit verification that every algebraic solution corresponds to a geometric section (i.e., that the algebraic condition is also sufficient, not merely necessary). A concrete check against a known example (e.g., a simple nodal fibration) would strengthen the claim.

    Authors: The algebraic criterion in Section 3 is shown to be both necessary and sufficient. Necessity is derived directly from the local models at critical points and the requirement that the section intersects the singular fibers transversely in the prescribed way. Sufficiency is established by an explicit construction: given a loop in the boundary mapping torus satisfying the algebraic conditions (compatible with the monodromy representation and avoiding forbidden conjugacy classes), one extends the section over the regular neighborhood using the product structure and then patches across each critical point using the standard local model for the Lefschetz singularity. While this construction is present in the proof, we acknowledge that an illustrative example would make the sufficiency more immediate. We will therefore add a short subsection containing a concrete verification for the simplest nodal fibration (one critical point with monodromy a Dehn twist), confirming that the algebraic data produces a smooth section over the disk. revision: yes

  2. Referee: [Section 4] In the doubling construction for achiral fibrations over S², the criterion for two homologically distinct sections relies on the existence of sections on each half-disk that agree on the boundary in a controlled way. The manuscript should clarify whether the homology classes of the resulting sections on the closed surface are independent of the choice of gluing diffeomorphism up to isotopy.

    Authors: The homology classes of the two sections on the doubled surface are independent of the choice of gluing diffeomorphism up to isotopy. Any two gluings differ by a diffeomorphism of the boundary mapping torus that is isotopic to the identity relative to the fiber; such an isotopy extends across the doubling and does not alter the homology class of either section in the closed 4-manifold, because the sections are determined by their boundary loops and the doubling identification identifies the two copies of the boundary in a homology-preserving manner. We will insert a clarifying paragraph in Section 4 making this independence explicit and noting that the criterion therefore yields well-defined homology classes on the closed surface. revision: yes

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper's central claims rest on standard obstruction theory for sections of fibrations: the primary obstruction lies in H²(B; π₁(F)) with local coefficients, and for a 2-dimensional base all higher obstructions vanish automatically. This is a classical topological fact, not derived from or equivalent to the paper's own inputs by construction. The algebraic criterion for Lefschetz fibrations over the disk translates the boundary condition on the mapping torus using the fixed local models for critical points, without fitting parameters or renaming known results. The doubling construction for achiral fibrations follows by gluing and inherits the same non-circular reduction. No self-citations are load-bearing, no ansatz is smuggled, and no step equates a prediction to its input by definition. The derivation is self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The results rest on standard facts from algebraic topology: the long exact sequence of a fibration, properties of fundamental groups of mapping tori, and the local normal forms for Lefschetz singularities. No new entities are postulated and no numerical parameters are fitted.

axioms (2)
  • standard math The long exact sequence of homotopy groups for a fibration yields a short exact sequence on fundamental groups when the fiber is path-connected.
    Invoked implicitly when the authors speak of the associated short exact sequence of fundamental groups.
  • domain assumption Lefschetz fibrations admit a well-defined monodromy representation on the fundamental group of the regular fiber.
    Required for the algebraic criterion on boundary loops to be stated in terms of group elements.

pith-pipeline@v0.9.0 · 5409 in / 1512 out tokens · 51559 ms · 2026-05-10T16:31:54.646047+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

1 extracted references · 1 canonical work pages

  1. [1]

    ˙Inan¸ c Baykur, Robion Kirby, and Daniel Ruberman, editors.K3: A New Problem List in Low-Dimensional Topology, volume 295 ofMathematical Surveys and Monographs

    [BKR26] R. ˙Inan¸ c Baykur, Robion Kirby, and Daniel Ruberman, editors.K3: A New Problem List in Low-Dimensional Topology, volume 295 ofMathematical Surveys and Monographs. American Mathematical Society, Providence, RI, 2026. [Gom25] Robert E. Gompf. On sections of maps from 4-manifolds to the 2-sphere. 2025. [Got65] D. H. Gottlieb. A certain subgroup of ...

    work page 2026