arxiv: 2605.13017 · v1 · submitted 2026-05-13 · 🧮 math.GT

Recognition: 2 theorem links

· Lean Theorem

Lefschetz Fibrations on Knot Traces of Alternating and Extended Alternating Knots

Atsushi Tanaka

Pith reviewed 2026-05-14 02:04 UTC · model grok-4.3

classification 🧮 math.GT

keywords alternating knotsknot tracespositive allowable Lefschetz fibrationsplanar graphspretzel knotstorus knotsStein surfacesextended alternating knots

0 comments

The pith

Knot traces of alternating and extended alternating knots admit positive allowable Lefschetz fibrations whose regular fibers have genus equal to the number of white regions in the associated planar graph.

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

The paper applies an earlier construction to produce positive allowable Lefschetz fibrations directly from the 2-handlebody decompositions of these knot traces. The resulting regular fibers achieve a genus that matches the white-region count in the planar graph of the knot diagram, which is smaller than many prior examples. This yields explicit low-genus fibrations for positive pretzel knots of s rows and for positive torus knots. The same bound holds for a new family the author calls positive torus-pretzel knots.

Core claim

Each knot trace whose attaching circle is an alternating knot or an extended alternating knot carries a positive allowable Lefschetz fibration whose regular fiber has genus exactly equal to the number of white regions in the planar graph coming from the knot diagram. The construction uses the author's prior method for turning any compact Stein surface's 2-handlebody into a PALF without introducing extra obstructions for these diagrams.

What carries the argument

The positive allowable Lefschetz fibration built from the 2-handlebody decomposition of the knot trace, with its regular fiber's genus fixed by the white-region count of the planar graph.

If this is right

Positive pretzel knots with s rows admit PALFs whose regular fibers have genus s-1.
Positive torus knots admit PALFs whose regular fibers have genus 1.
Positive torus-pretzel knots, formed by replacing each twist block of a positive pretzel knot with positive torus-knot crossings, admit PALFs whose regular fibers have genus s-1.
The same construction produces PALFs on the knot traces of all extended alternating knots with the stated genus bound.

Where Pith is reading between the lines

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

The bound may extend to other classes of knots whose diagrams admit similar planar-graph descriptions if the prior method continues to apply without obstruction.
These low-genus PALFs could be used to produce Stein fillings of contact 3-manifolds with controlled topological complexity.
Explicit monodromy factorizations for the constructed fibrations might be extractable from the planar graphs, offering concrete examples for studying Lefschetz fibrations on 4-manifolds.

Load-bearing premise

The earlier construction method applies directly to the 2-handlebody decompositions of these particular knot traces without new obstructions.

What would settle it

For a concrete alternating knot such as the figure-eight knot, compute the genus of the regular fiber in the constructed PALF and check whether it equals the number of white regions in the standard planar graph of that knot.

Figures

Figures reproduced from arXiv: 2605.13017 by Atsushi Tanaka.

**Figure 1.** Figure 1: Stabilizations preserving the Legendrian isotopy class: (a) original state; (b) after NE stabilization; (c) after SW stabilization. (a) (b) (c) [PITH_FULL_IMAGE:figures/full_fig_p004_1.png] view at source ↗

**Figure 2.** Figure 2: Stabilizations changing the Legendrian isotopy class: (a) original state; (b) after NW stabilization; (c) after SE stabilization. Suppose a knot in grid position is given on the plane. Assigning white to the unbounded outer region, we color the bounded complementary regions of the knot such that the entire plane, including the outer region, alternates between gray and white. (Note that the unbounded outer … view at source ↗

**Figure 3.** Figure 3: Checkerboard coloring of the knot diagram. 1 2 3 4 5 1 2 3 4 5 (a) (b) [PITH_FULL_IMAGE:figures/full_fig_p005_3.png] view at source ↗

**Figure 4.** Figure 4: Diagrams of the right-handed trefoil knot of types (a) and (b). knots that satisfy the following condition, referred to as Condition M. (The formal definition of a Mondrian diagram and the specific geometric rationale for taking the mirror image will be detailed later.) • Condition M: There exists an alternating knot in grid position derived from a Mondrian diagram that possesses exactly one local maximum … view at source ↗

**Figure 5.** Figure 5: The procedure for constructing an alternating knot in grid position that satisfies Condition M. q1 right half-twists q2 right half-twists qs right half-twists [PITH_FULL_IMAGE:figures/full_fig_p007_5.png] view at source ↗

**Figure 6.** Figure 6: A diagram of the positive pretzel knot P(q1, q2, . . . , qs). Definition 2.4. A positive torus knot, denoted Tp,q, is a knot of the form depicted in [PITH_FULL_IMAGE:figures/full_fig_p007_6.png] view at source ↗

**Figure 7.** Figure 7: A diagram of the positive torus knot Tp,q. 3. Lefschetz fibrations on knot traces of alternating knots 3.1. PALF construction and the main theorem. We now state the main theorem of this section together with its underlying assumptions. Let the initial Stein surface Π be a 2-handlebody consisting of a single 0-handle and m 2-handles (m ≥ 1) attached along a Legendrian knot whose topological type is an alte… view at source ↗

**Figure 8.** Figure 8: Deformation of a vertical segment intersecting a horizontal segment. 1 2 3 4 5 6 7 1 2 3 4 5 6 7 1 2 3 4 5 6 7 (a) (b) (c) C0 G1 G2 G3 W1 [PITH_FULL_IMAGE:figures/full_fig_p009_8.png] view at source ↗

**Figure 9.** Figure 9: The trefoil knot example: (b) Monodromy factorization: (C0, C5, C4, C3, C2, C1). Each Ci (1 ≤ i ≤ 5) denotes a red simple closed curve passing over the 1-handle in the i-th column. Regarding the PALF construction, this paper extends the method introduced in [Tan26a] as follows (see [PITH_FULL_IMAGE:figures/full_fig_p009_9.png] view at source ↗

**Figure 10.** Figure 10: Handling a vertical segment with an NE corner in the PALF construction: (a) the new procedure; (b) the corresponding Kirby move. As a second concrete example, the diagram obtained by applying the aforementioned deformation is shown in [PITH_FULL_IMAGE:figures/full_fig_p010_10.png] view at source ↗

**Figure 11.** Figure 11: An alternating knot diagram and its associated planar graph. 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 B0 [PITH_FULL_IMAGE:figures/full_fig_p011_11.png] view at source ↗

**Figure 13.** Figure 13: Monodromy factorization: (C0, C17, C15, C12, C11, C9, C8, C6, C5, C4, C3, C2, C1). Each Ci (1 ≤ i ≤ 17) denotes a red simple closed curve passing over the 1-handle in the i-th column. In the PALF construction process, it is a crucial requirement that the neighborhood immediately to the left of each vertical segment with an NW corner becomes part of the boundary of the 0-handle. Returning to our specific … view at source ↗

**Figure 14.** Figure 14: The gray region containing the starting point. and to the right. Crucially, this isotopy operation does not introduce any new boundary components. In the regular fiber resulting from the PALF construction, the boundaries of G1, G2, G3, G4, and G5 correspond precisely to the closed curves colored orange, dark green, magenta, light blue, and green, respectively. Consequently, Claim 1 and Claim 2 hold for t… view at source ↗

**Figure 15.** Figure 15: Gray regions containing neither the starting point nor the terminal point. 1 2 3 4 5 6 7 8 [PITH_FULL_IMAGE:figures/full_fig_p017_15.png] view at source ↗

**Figure 17.** Figure 17: A positive pretzel knot in grid position and its associated planar graph. 1 2 3 4 5 6 7 8 9 10 11 12 13 14 C0 [PITH_FULL_IMAGE:figures/full_fig_p019_17.png] view at source ↗

**Figure 20.** Figure 20: An example of an extended alternating knot (its corresponding alternating knot is shown in [PITH_FULL_IMAGE:figures/full_fig_p020_20.png] view at source ↗

**Figure 21.** Figure 21: A crossing node: schematic representation (left) and its internal structure with q positive crossings (right). Theorem 4.2. Let X be a Stein surface consisting of a single 0-handle and m 2-handles (m ≥ 1) attached along a Legendrian knot whose topological type is that of an extended alternating knot. Consider the planar graph associated with this extended alternating knot. Then, there exists a positive al… view at source ↗

**Figure 22.** Figure 22: An extended alternating knot in grid position and its associated planar graph. 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 B01 B02 B03 [PITH_FULL_IMAGE:figures/full_fig_p021_22.png] view at source ↗

**Figure 24.** Figure 24: Monodromy factorization: (C03, C02, C01, C23, C21, C16, C15, C14, C11, C10, C8, C7, C6, C5, C4, C3, C2, C1). Each Ci (1 ≤ i ≤ 23) denotes a red simple closed curve passing over the 1-handle in the i-th column. • Boundaries of holes formed by pushing the boundary of the 0- handle to the right inside the gray regions. These holes are generated after attaching 1-handles to lift the vertical segments classif… view at source ↗

**Figure 25.** Figure 25: The extended alternating diagram of a positive torus knot Tp,q, where q = q1 + q2. 1 2 3 4 5 6 7 8 9 10 Cf′ 0 [PITH_FULL_IMAGE:figures/full_fig_p024_25.png] view at source ↗

**Figure 27.** Figure 27: The definition of the positive torus-pretzel knot. q1 boxes q2 boxes qs boxes p1 strands p2 strands ps strands (p1 － r) strands (p2 + r) strands (ps + r) strands p3 strands (p3 － r) strands [PITH_FULL_IMAGE:figures/full_fig_p024_27.png] view at source ↗

**Figure 29.** Figure 29: An extended alternating diagram of the positive torus-pretzel knot. 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 [PITH_FULL_IMAGE:figures/full_fig_p025_29.png] view at source ↗

**Figure 31.** Figure 31: A modification for the Legendrian torus knot T3,3 with a non-maximal Thurston–Bennequin number: (b) Monodromy factorization: (C03, C02, C01, C11, C8, C7, C6, C5, C4, C3, C2, C1). [Ng05] Lenhard Ng, A Legendrian Thurston-Bennequin bound from Khovanov homology, Algebr. Geom. Topol. 5 (2005), 1637–1653. MR 2186113 [NT09] Lenhard Ng and Dylan Thurston, Grid diagrams, braids, and contact geometry, Proceeding… view at source ↗

read the original abstract

In our previous work, we introduced a simple and explicit method for constructing a positive allowable Lefschetz fibration (PALF) from a $2$-handlebody decomposition of any given compact Stein surface. In this paper, we apply this construction to knot traces whose attaching circles are either alternating knots or \emph{extended alternating knots} (a generalized class introduced herein). We demonstrate that each such knot trace admits a PALF whose regular fiber has a genus exactly equal to the number of white regions in the associated planar graph, yielding PALFs whose regular fibers have a significantly small genus. As immediate corollaries, we prove that knot traces of positive pretzel knots with $s$ rows admit PALFs with regular fibers of genus $s-1$, and those of positive torus knots admit PALFs with regular fibers of genus $1$. Furthermore, we define \emph{positive torus-pretzel knots} by replacing each twist block of a positive pretzel knot with the crossings of a positive torus knot, and we establish that their knot traces also admit PALFs with regular fibers of genus $s-1$.

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.

Desk Editor's Note private letter to a colleague

The paper applies the author's prior PALF construction to alternating and newly defined extended alternating knots, yielding explicit low-genus fibers equal to the white-region count in the diagram.

read the letter

The core result is straightforward: knot traces from alternating diagrams and the new extended alternating class admit positive allowable Lefschetz fibrations whose regular fiber has genus exactly equal to the number of white regions in the associated planar graph. This produces concrete small-genus Stein structures, with immediate corollaries giving genus s-1 for positive pretzel knots with s rows and genus 1 for positive torus knots, plus the same for the defined positive torus-pretzel knots. The construction is the same one from the author's earlier work, now applied to these diagram classes. The new element is the definition of extended alternating knots and the direct tie between genus and white-region count, which is not in the prior literature. The paper does this cleanly enough that the corollaries follow without extra parameters or fitting. The explicitness is the main strength; readers can in principle check the diagrams and see the fiber genus drop out from the region count. The soft spots are limited and mostly about verification. The central claim rests on the prior method applying without obstruction to the 2-handle attachments for these specific knots, and on the white-region count controlling the genus precisely. The abstract and description give no sign of hidden assumptions or inconsistencies, but a referee will want the diagram-level checks written out for the extended class to confirm there are no extra intersections or positivity failures. The work is incremental rather than foundational, but the claims are checkable and the examples are useful. This is for people working on Stein surfaces, Lefschetz fibrations, and explicit 4-manifold constructions. It adds concrete cases with small genus that can be used in further work. It deserves a serious referee because the construction is reproducible from the diagrams and the genus formula is stated in a falsifiable way. I would send it to review.

Referee Report

2 major / 3 minor

Summary. The paper applies the authors' prior explicit construction of positive allowable Lefschetz fibrations (PALFs) from 2-handlebody decompositions to the knot traces of alternating knots and a new class of extended alternating knots (defined via a generalized diagram condition). It proves that the resulting PALF has regular fiber genus equal to the number of white regions in the planar graph associated to the diagram. Corollaries give genus s-1 for positive pretzel knots with s rows, genus 1 for positive torus knots, and the same genus s-1 for the newly defined positive torus-pretzel knots.

Significance. If the central construction applies without obstruction, the result supplies an explicit, diagram-based formula for low-genus PALFs on an infinite family of Stein 4-manifolds (knot traces). This strengthens the authors' earlier method by removing the need for ad-hoc handle adjustments in these cases and yields concrete corollaries for well-studied knot families. The work is a direct, verifiable extension rather than a parameter-fitted claim.

major comments (2)

[§3] §3, construction of extended alternating knots: the definition via diagram moves must be shown to preserve the 2-handlebody decomposition up to isotopy so that the prior PALF construction (cited from the authors' previous paper) applies verbatim; a single counter-example diagram where the extension introduces a non-allowable vanishing cycle would falsify the genus claim.
[Theorem 1.1] Theorem 1.1 (genus formula): the equality genus = # white regions is asserted to follow directly from counting regions after the PALF construction; the proof sketch must explicitly verify that no extra 1-handles or stabilizations are introduced when the attaching circles are extended alternating, as any such addition would increase the fiber genus beyond the claimed count.

minor comments (3)

[Definition 2.3] Definition 2.3: the term 'extended alternating' is introduced without a figure showing a non-alternating example; adding one diagram with the white-region count labeled would clarify the generalization.
[Figure 4] Figure 4 (torus-pretzel example): the planar graph shading is difficult to read in black-and-white; use distinct hatching or labels for white regions.
[Corollary 1.3] Corollary 1.3: the statement for positive torus knots claims genus 1, but the proof relies on the diagram having exactly two white regions; a brief sentence confirming this count for the standard (p,q)-torus diagram would help readers.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and positive assessment of our manuscript. We address each major comment below and will revise the paper accordingly to incorporate the requested clarifications.

read point-by-point responses

Referee: [§3] §3, construction of extended alternating knots: the definition via diagram moves must be shown to preserve the 2-handlebody decomposition up to isotopy so that the prior PALF construction (cited from the authors' previous paper) applies verbatim; a single counter-example diagram where the extension introduces a non-allowable vanishing cycle would falsify the genus claim.

Authors: The extended alternating knots are defined in §3 via diagram moves that are explicitly chosen to correspond to isotopies and handle slides of the attaching circles in the boundary 3-sphere. These moves preserve the diffeomorphism type of the 2-handlebody and ensure that the resulting vanishing cycles remain positive and allowable, so that the PALF construction from our prior work applies directly without modification. We will add a short lemma in the revised §3 verifying this preservation and confirming that no non-allowable cycles arise. revision: yes
Referee: [Theorem 1.1] Theorem 1.1 (genus formula): the equality genus = # white regions is asserted to follow directly from counting regions after the PALF construction; the proof sketch must explicitly verify that no extra 1-handles or stabilizations are introduced when the attaching circles are extended alternating, as any such addition would increase the fiber genus beyond the claimed count.

Authors: The proof of Theorem 1.1 proceeds by direct application of the PALF construction to the 2-handlebody given by the alternating or extended alternating diagram. Because these diagrams satisfy the conditions of our earlier method, the attaching circles require no additional 1-handles or stabilizations; the regular fiber genus is therefore exactly the number of white regions in the planar graph. We will expand the proof sketch in the revised manuscript with an explicit paragraph confirming the absence of extra handles for these diagram classes. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation applies prior explicit construction to diagram-defined inputs

full rationale

The paper's central result follows from applying the explicit PALF construction introduced in the authors' prior work to 2-handlebody decompositions of knot traces coming from alternating and extended alternating diagrams. The genus equality is obtained by direct counting of white regions in the associated planar graph under this construction, without any fitted parameters, self-definitional loops, or load-bearing self-citations that reduce the claim to its own inputs. The self-citation supplies only the base method; the new content consists of verifying applicability and computing the genus for the specified class, which remains independent and falsifiable against the diagrams. No equations or uniqueness theorems collapse the output to the input by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 1 invented entities

The paper relies on standard 4-manifold topology and the authors' prior construction; no new free parameters or invented physical entities appear.

axioms (1)

domain assumption Every compact Stein surface admits a positive allowable Lefschetz fibration via the authors' prior explicit construction from a 2-handlebody decomposition.
Invoked in the first sentence of the abstract as the foundation for the current application.

invented entities (1)

extended alternating knots no independent evidence
purpose: A generalized class of knots that includes alternating knots and allows the same PALF construction to apply.
Introduced in the abstract to extend the result beyond classical alternating knots.

pith-pipeline@v0.9.0 · 5493 in / 1324 out tokens · 30862 ms · 2026-05-14T02:04:18.520358+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

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

IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear
Theorem 3.1 ... genus exactly equal to the number of white regions in the corresponding planar graph

Reference graph

Works this paper leans on

24 extracted references · 24 canonical work pages

[1]

Firat , TITLE =

Akbulut, Selman and Arikan, M. Firat , TITLE =. Commun. Contemp. Math. , FJOURNAL =. 2012 , NUMBER =. doi:10.1142/S0219199712500356 , URL =

work page doi:10.1142/s0219199712500356 2012
[2]

Akbulut, Selman and Ozbagci, Burak , TITLE =. Geom. Topol. , FJOURNAL =. 2001 , PAGES =. doi:10.2140/gt.2001.5.319 , URL =

work page doi:10.2140/gt.2001.5.319 2001
[3]

Akbulut, Selman and Yasui, Kouichi , TITLE =. J. G\"okova Geom. Topol. GGT , FJOURNAL =. 2008 , PAGES =

work page 2008
[4]

, TITLE =

Adams, Colin C. , TITLE =. 2004 , PAGES =

work page 2004
[5]

Avdek, Russell , TITLE =. Algebr. Geom. Topol. , FJOURNAL =. 2013 , NUMBER =. doi:10.2140/agt.2013.13.1613 , URL =

work page doi:10.2140/agt.2013.13.1613 2013
[6]

Internat

Eliashberg, Yakov , TITLE =. Internat. J. Math. , FJOURNAL =. 1990 , NUMBER =. doi:10.1142/S0129167X90000034 , URL =

work page doi:10.1142/s0129167x90000034 1990
[7]

Sugaku Expositions , FJOURNAL =

Endo, Hisaaki , TITLE =. Sugaku Expositions , FJOURNAL =. 2021 , NUMBER =. doi:10.1090/suga/462 , URL =

work page doi:10.1090/suga/462 2021
[8]

and Fuller, Terry , TITLE =

Etnyre, John B. and Fuller, Terry , TITLE =. Int. Math. Res. Not. , FJOURNAL =. 2006 , PAGES =. doi:10.1155/IMRN/2006/70272 , URL =

work page doi:10.1155/imrn/2006/70272 2006
[9]

, TITLE =

Gompf, Robert E. , TITLE =. Ann. of Math. (2) , FJOURNAL =. 1998 , NUMBER =. doi:10.2307/121005 , URL =

work page doi:10.2307/121005 1998
[10]

and Stipsicz, Andr\'as I

Gompf, Robert E. and Stipsicz, Andr\'as I. , TITLE =. 1999 , PAGES =. doi:10.1090/gsm/020 , URL =

work page doi:10.1090/gsm/020 1999
[11]

1979 , PAGES =

Harer, John Lester , TITLE =. 1979 , PAGES =

work page 1979
[12]

Loi, Andrea and Piergallini, Riccardo , TITLE =. Invent. Math. , FJOURNAL =. 2001 , NUMBER =. doi:10.1007/s002220000106 , URL =

work page doi:10.1007/s002220000106 2001
[13]

Proceedings of

Ng, Lenhard and Thurston, Dylan , TITLE =. Proceedings of. 2009 , ISBN =

work page 2009
[14]

Ng, Lenhard , TITLE =. Algebr. Geom. Topol. , FJOURNAL =. 2005 , PAGES =. doi:10.2140/agt.2005.5.1637 , URL =

work page doi:10.2140/agt.2005.5.1637 2005
[15]

, TITLE =

Ozbagci, Burak and Stipsicz, Andr\'as I. , TITLE =. 2004 , PAGES =. doi:10.1007/978-3-662-10167-4 , URL =

work page doi:10.1007/978-3-662-10167-4 2004
[16]

Interactions between low-dimensional topology and mapping class groups , SERIES =

Ozbagci, Burak , TITLE =. Interactions between low-dimensional topology and mapping class groups , SERIES =. 2015 , MRCLASS =. doi:10.2140/gtm.2015.19.73 , URL =

work page doi:10.2140/gtm.2015.19.73 2015
[17]

and Stipsicz, Andr\'as I

Ozsv\'ath, Peter S. and Stipsicz, Andr\'as I. and Szab\'o, Zolt\'an , TITLE =. 2015 , PAGES =. doi:10.1090/surv/208 , URL =

work page doi:10.1090/surv/208 2015
[18]

Topology Appl

Ukida, Takuya , TITLE =. Topology Appl. , FJOURNAL =. 2016 , PAGES =. doi:10.1016/j.topol.2016.10.003 , URL =

work page doi:10.1016/j.topol.2016.10.003 2016
[19]

Ukida, Takuya , TITLE =. Osaka J. Math. , FJOURNAL =. 2022 , NUMBER =

work page 2022
[20]

Ukida, Takuya , TITLE =

work page
[21]

2014 , eprint=

Partial twists and exotic Stein fillings , author=. 2014 , eprint=

work page 2014
[22]

2026 , eprint=

A Simple Construction of Lefschetz Fibrations on Compact Stein Surfaces , author=. 2026 , eprint=

work page 2026
[23]

2026 , eprint=

Combinatorial extension of a simple construction of Lefschetz fibrations , author=. 2026 , eprint=

work page 2026
[24]

Atsushi Tanaka , title =

work page