pith. sign in

arxiv: 2512.06302 · v2 · submitted 2025-12-06 · 🧮 math.GT

A Simple Construction of Lefschetz Fibrations on Compact Stein Surfaces

Atsushi Tanaka This is my paper

Pith reviewed 2026-05-17 01:42 UTC · model grok-4.3

classification 🧮 math.GT
keywords Lefschetz fibrationStein surfacepositive allowable fibrationhandlebody decompositionknot tracegrid numberThurston-Bennequin number
0
0 comments X

The pith

Any compact Stein surface admits a positive allowable Lefschetz fibration over the disk with small-genus fiber via simple modifications of its 2-handlebody decomposition.

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

The paper presents a straightforward procedure to construct positive allowable Lefschetz fibrations on compact Stein surfaces directly from a given 2-handlebody decomposition. This yields fibrations whose regular fibers have relatively small genus and supplies an alternative constructive proof that every compact Stein surface admits such a fibration. The authors further define the minimal genus of the regular fiber for PALFs on the trace of a knot K as a knot invariant and prove an upper bound of (N-1)/2 when the grid number of K is N.

Core claim

We present a simple method for constructing a PALF from a 2-handlebody decomposition of any given compact Stein surface. Our method yields PALFs whose regular fibers have small genus, and it provides an alternative constructive proof that every compact Stein surface admits a PALF. We also define the minimal genus of a regular fiber of a PALF on the knot trace of a knot K with framing one less than its maximal Thurston-Bennequin number as an invariant of K. When the grid number of K is N, our construction produces a PALF whose regular fiber has genus at most (N-1)/2.

What carries the argument

Local modifications applied to the 2-handles that convert them into Lefschetz singularities while preserving positivity and allowability of the resulting fibration over the disk.

If this is right

  • Every compact Stein surface admits a PALF over the disk.
  • The genus of regular fibers in these PALFs is bounded above in terms of the grid number for knot traces.
  • The minimal genus of the fiber serves as a well-defined invariant of the knot.
  • The construction supplies an explicit method rather than a non-constructive existence argument alone.

Where Pith is reading between the lines

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

  • The small-genus bound may allow explicit computation of the invariant for concrete knots and comparison with other knot invariants.
  • The handle-modification technique could be tested on specific families of Stein surfaces to produce minimal examples.
  • Similar local changes might be adapted to produce fibrations with additional constraints such as prescribed monodromy.

Load-bearing premise

Every compact Stein surface admits a 2-handlebody decomposition and the local modifications to create Lefschetz singularities preserve the Stein property along with the positivity and allowability conditions.

What would settle it

A compact Stein surface or knot trace for which no sequence of local handle modifications produces a valid positive allowable Lefschetz fibration would show the construction does not apply in general.

Figures

Figures reproduced from arXiv: 2512.06302 by Atsushi Tanaka.

Figure 1
Figure 1. Figure 1: Front projection of a Legendrian trefoil knot. The Thurston–Bennequin number of a Legendrian knot L in (R 3 , ξst) is an in￾variant under Legendrian isotopy and is given by the formula tb(L) = w(L) − λ(L), where w(L) is the writhe of L and λ(L) is the number of left cusps of L. The max￾imal Thurston–Bennequin number tb(L) is the maximum value of the Thurston– Bennequin number attained by any Legendrian rep… view at source ↗
Figure 2
Figure 2. Figure 2: Legendrian link diagram in standard form. left to right are referred to as the first, second, and third columns, respectively, and the rows from bottom to top are referred to as the first, second, and third rows, respectively. (a) (b) [PITH_FULL_IMAGE:figures/full_fig_p004_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: Grid diagram (a) and corresponding knot in grid position (b). The four types of corners appearing in a knot in grid position are illustrated in [PITH_FULL_IMAGE:figures/full_fig_p004_3.png] view at source ↗
Figure 5
Figure 5. Figure 5: Conversion of the Legendrian knot in (a) to its grid position in (b) 2.3. Kirby diagram of a PALF. This subsection refers to [GS99, Section 4.6, 8.2], [OS04, Chapter 10], and [End21, Section 2, 3]. Let g ≥ 0 and b ≥ 0 be integers. We denote by Σb g an oriented surface (2-dimensional manifold) of genus g with b boundary components. The mapping class group of Σb g is denoted by MCG(Σb g ). For a simple close… view at source ↗
Figure 6
Figure 6. Figure 6: (a) A PALF with regular fiber T0 (Σ1 1 ). (b) The associated Kirby diagram of Σ1 1 × D2 . which is diffeomorphic to Σ1 1 . A PALF with regular fiber T0 is shown in [PITH_FULL_IMAGE:figures/full_fig_p007_6.png] view at source ↗
Figure 7
Figure 7. Figure 7: (a) PALF with regular fiber T0 (Σ1 1 ) and monodromy factorization (C1, C2, C3). (b) The Kirby diagram associated with the PALF in (a). consisting of a single 0-handle, some 1-handles, and some 2-handles attached along Legendrian knots Ce01, . . . , Ce0m, which lie in the union of the 0- and 1-handles, with framing tb(Ce0k) − 1 (1 ≤ k ≤ m). We first describe a method for constructing a PALF in the case whe… view at source ↗
Figure 8
Figure 8. Figure 8: Construction of a PALF from (a) SF(0). (b) SF(1). (c) SF(2). (d) PALF P (SF(4)). Monodromy factorization: (C0, C4, C3, C2, C1). (a) (b) [PITH_FULL_IMAGE:figures/full_fig_p009_8.png] view at source ↗
Figure 10
Figure 10. Figure 10: Attaching a 1- handle to lift a vertical segment with a northeast (NE) corner [PITH_FULL_IMAGE:figures/full_fig_p009_10.png] view at source ↗
Figure 11
Figure 11. Figure 11: Kirby diagrams KD(j) associated with SF(j) (j = 0, 1, 2, 4). The procedure to prove that the constructed PALF P is diffeomorphic to the original Stein surface Π is as follows: I Show that the 2-handlebody represented by KD(0) is diffeomorphic to the original Stein surface Π. II Show that the 2-handlebody represented by KD(n − 1) is diffeomorphic to the constructed PALF P. III Show that the 2-handlebodies … view at source ↗
Figure 12
Figure 12. Figure 12: Attaching a 1-handle to lift a vertical segment with an NW corner. -2 n n n -2 (a) (b) (c) [PITH_FULL_IMAGE:figures/full_fig_p013_12.png] view at source ↗
Figure 13
Figure 13. Figure 13: Attaching a 1-handle to lift a vertical segment with a NE corner. • KD(n − 1) is produced from SF(n − 1) by Φ(n − 1). • KD is diffeomorphic to the constructed PALF P. Since PALF P is SF(n￾1) with the given monodromy factorization, KD is produced from SF(n− 1) with the monodromy factorization by the procedure Φ described in Subsection 2.3. Both KD(n − 1) and KD contain n − 1 1-handles attached to a 0-handl… view at source ↗
Figure 14
Figure 14. Figure 14: Legendrian link diagram in the presence of 1-handles small white squares attached to the left ends of the 1-handles indicate the ℓ holes of ♮ ℓ S1 × D1 . 1 2 a a+1 a+2 a+3 n-1 n Partial surface with curves [PITH_FULL_IMAGE:figures/full_fig_p016_14.png] view at source ↗
Figure 16
Figure 16. Figure 16: The Kirby diagram KD(0) associated with SF(0). Step 2 We perform a sequence of operations, denoted by Θj (0 ≤ j ≤ n − 1), on SF(0), proceeding column by column from the first to the (n−1)-th column. This case differs from the no 1-handle case described in Subsection 3.1 in the following two points. In [PITH_FULL_IMAGE:figures/full_fig_p016_16.png] view at source ↗
Figure 17
Figure 17. Figure 17: The PALF SF(n − 1) constructed from [PITH_FULL_IMAGE:figures/full_fig_p017_17.png] view at source ↗
Figure 18
Figure 18. Figure 18: The Kirby diagram KD(n − 1)) associated with SF(n − 1) [PITH_FULL_IMAGE:figures/full_fig_p017_18.png] view at source ↗
Figure 21
Figure 21. Figure 21: The regular fiber has genus three and four boundary components. (For [PITH_FULL_IMAGE:figures/full_fig_p019_21.png] view at source ↗
Figure 19
Figure 19. Figure 19: Legendrian link dia￾gram for a concrete example with a 1-handle C 02 C 01 1 2 3 4 5 6 7 8 9 (0) (0) [PITH_FULL_IMAGE:figures/full_fig_p019_19.png] view at source ↗
Figure 21
Figure 21. Figure 21: PALF constructed from the example with a 1-handle. Mon￾odromy factorization: (C02, C01, C8, C7, C6, C5, C4, C3, C2, C1) Stein surface, whose attaching circle is a knot K framed by the maximal Thurston– Bennequin number tb(K) minus one. The minimal genus of a regular fiber of any PALF on such a knot trace defines an invariant of the knot K. We define: g(K) := min    genus of a regular fiber of a PALF on… view at source ↗
read the original abstract

Loi-Piergallini, Akbulut-Ozbagci, and Akbulut-Arikan showed that every compact Stein surface admits a positive allowable Lefschetz fibration over the disk $D^2$ with bounded fibers (PALF in short), and they provided constructions of PALF's corresponding to compact Stein surfaces. In this paper, we present a simple method for constructing a PALF from a 2-handlebody decomposition of any given compact Stein surface. Our method yields PALF's whose regular fibers have small genus, and it provides an alternative constructive proof of the above result. We also define the minimal genus of a regular fiber of a PALF on the knot trace of a knot $K$ with framing one less than its maximal Thurston-Bennequin number as an invariant of $K$. When the grid number of $K$ is $N$, our construction produces a PALF whose regular fiber has genus at most $(N - 1)/2$, showing that the defined invariant is bounded above by $(N - 1)/2$.

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

0 major / 3 minor

Summary. The manuscript presents a simple explicit construction that converts a given 2-handlebody decomposition of any compact Stein surface into a positive allowable Lefschetz fibration (PALF) over the disk. The method proceeds by local replacements of 2-handles with positive Lefschetz singularities while preserving positivity of vanishing cycles, allowability, diffeomorphism type, and the Stein structure. It supplies an alternative proof of the existence of PALFs with bounded fibers and, for the knot trace of a knot K framed one less than its maximal Thurston-Bennequin number, defines the minimal regular-fiber genus of such a PALF as an invariant of K; when the grid number of K is N the construction yields a PALF whose fiber has genus at most (N-1)/2.

Significance. If the local replacement steps are verified, the paper supplies a concrete, handle-by-handle recipe that simplifies earlier constructions of Loi-Piergallini, Akbulut-Ozbagci and Akbulut-Arikan while producing PALFs with explicitly controlled fiber genus. The grid-number bound for the knot-trace invariant is a direct, falsifiable estimate that may be useful for comparing Stein-fillable knots with other 4-dimensional invariants. The step-by-step verification that each replacement preserves positivity, allowability and the Stein property is a technical strength.

minor comments (3)
  1. The statement of the genus bound in the abstract and introduction should explicitly reference the framing condition (one less than maximal Thurston-Bennequin number) to avoid ambiguity.
  2. Notation for the local replacement maps (e.g., how a 2-handle is turned into a positive Dehn twist) is introduced without a dedicated diagram or equation; adding a small illustrative figure in §3 would improve readability.
  3. The paper cites the classical existence results but does not compare the obtained fiber genera with those produced by the earlier constructions; a short remark or table would help situate the improvement.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript and for recommending minor revision. The report accurately summarizes our construction and its relation to prior work by Loi-Piergallini, Akbulut-Ozbagci, and Akbulut-Arikan, as well as the new invariant and grid-number bound. No specific major comments or criticisms appear in the report.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper's core derivation starts from an independently supplied 2-handlebody decomposition of a compact Stein surface and applies explicit local replacements to produce a PALF, preserving positivity, allowability, and the Stein structure via the standard handle-to-Dehn-twist correspondence. The genus bound (N-1)/2 for grid diagrams of size N follows directly from counting the induced 2-handles in the construction, without any fitted parameters, self-definitional equations, or load-bearing self-citations. Prior existence theorems are cited from other authors solely for context and are not invoked to justify uniqueness or to close the argument. The new invariant is defined and then bounded from above by the construction; no step reduces the output to the input by construction or renames a known result as a derivation.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper rests on the standard existence of 2-handlebody decompositions for compact Stein surfaces and on the background theory of Lefschetz fibrations and contact structures; no new free parameters or invented entities are introduced.

axioms (2)
  • domain assumption Every compact Stein surface admits a 2-handlebody decomposition.
    Invoked implicitly when the method begins from an arbitrary 2-handlebody decomposition of the given Stein surface.
  • domain assumption Local handle modifications can be performed while preserving the Stein structure and the positivity/allowability of the resulting fibration.
    Required for the construction to produce a valid PALF; appears in the description of the method.

pith-pipeline@v0.9.0 · 5481 in / 1541 out tokens · 36796 ms · 2026-05-17T01:42:20.271230+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

5 extracted references · 5 canonical work pages

  1. [1]

    Firat Arikan,A note on Lefschetz fibrations on compact Stein 4-manifolds, Commun

    [AA12] Selman Akbulut and M. Firat Arikan,A note on Lefschetz fibrations on compact Stein 4-manifolds, Commun. Contemp. Math.14(2012), no. 5, 1250035,

    work page 2012

  2. [2]

    Topol.5(2001), 319–334

    MR 2972525 [AO01] Selman Akbulut and Burak Ozbagci,Lefschetz fibrations on compact Stein surfaces, Geom. Topol.5(2001), 319–334. MR 1825664 [EF06] John B. Etnyre and Terry Fuller,Realizing 4-manifolds as achiral Lefschetz fibrations, Int. Math. Res. Not. (2006), Art. ID 70272,

    work page 2001

  3. [3]

    MR 2219214 [Eli90] Yakov Eliashberg,Topological characterization of Stein manifolds of dimension>2, Internat. J. Math.1(1990), no. 1, 29–46. MR 1044658 [End21] Hisaaki Endo,Lefschetz fibrations [translation of 3675915], Sugaku Expositions34 (2021), no. 2, 175–204. MR 4327688 [Gom98] Robert E. Gompf,Handlebody construction of Stein surfaces, Ann. of Math. ...

    work page 1990

  4. [4]

    MR 2628695 [LP01] Andrea Loi and Riccardo Piergallini,Compact Stein surfaces with boundary as branched covers ofB 4, Invent

    MR 1707327 [Har79] John Lester Harer,PENCILS OF CURVES ON 4-MANIFOLDS, ProQuest LLC, Ann Arbor, MI, 1979, Thesis (Ph.D.)–University of California, Berkeley. MR 2628695 [LP01] Andrea Loi and Riccardo Piergallini,Compact Stein surfaces with boundary as branched covers ofB 4, Invent. Math.143(2001), no. 2, 325–348. MR 1835390 [NT09] Lenhard Ng and Dylan Thur...

    work page 1979

  5. [5]

    [Uki] Takuya Ukida,Small genus positive allowable Lefschetz fibrations on compact Stein 4-manifolds, in preparation

    MR 3381987 [Tan] Atsushi Tanaka,Lefschetz fibrations on knot traces of alternating knots and their ex- tensions, Preprint, to appear. [Uki] Takuya Ukida,Small genus positive allowable Lefschetz fibrations on compact Stein 4-manifolds, in preparation. [Uki16] ,A genus zero Lefschetz fibration on the Akbulut cork, Topology Appl.214 (2016), 127–136. MR 35710...

    work page 2016