arxiv: 2604.19611 · v1 · submitted 2026-04-21 · 🧮 math.GT

Recognition: unknown

Sutured manifold hierarchies and the Thurston nom

Alessandro V. Cigna

Pith reviewed 2026-05-10 00:49 UTC · model grok-4.3

classification 🧮 math.GT

keywords Thurston normsutured manifold hierarchiesmaw dual graphpretzel linksHaken manifoldsthree-manifoldslink exteriorshomology classes

0 comments

The pith

The maw dual graph extracts Thurston norm data from any taut sutured manifold hierarchy.

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

Classical results of Thurston and Gabai establish that finitely many taut sutured manifold hierarchies determine the Thurston norm of a compact oriented irreducible 3-manifold with toroidal boundary. This paper supplies an explicit procedure to read that data off the hierarchies by means of the maw dual graph construction. The same construction is built into a general method for computing the Thurston norm on any such manifold. The method is applied to compute the norms on the exteriors of all alternating three-component pretzel links and some nonalternating ones. These values give a negative answer to a question of Baker and Taylor, and they support a general statement that certain nonseparating surfaces in Haken manifolds with toroidal boundary have homology classes lying outside the interior of top-dimensional cones in the Thurston norm ball.

Core claim

Taut sutured manifold hierarchies determine the Thurston norm of a compact oriented irreducible 3-manifold with toroidal boundary. An explicit procedure extracts this information via the maw dual graph construction, which can be incorporated into a general method for computing the Thurston norm. As an application, the Thurston norm is computed for the exterior of all alternating and some nonalternating pretzel links with three components, giving a negative answer to a question of Baker--Taylor. Moreover, if a nonseparating surface S in a Haken manifold M with toroidal boundary is disjoint from a boundary torus, then the class [S] does not lie in the interior of a top-dimensional cone of the

What carries the argument

The maw dual graph construction, which builds a graph directly from the hierarchy data so that the Thurston norm coefficients can be read off its structure.

Load-bearing premise

The maw dual graph construction correctly and explicitly extracts the Thurston norm data from any given taut sutured manifold hierarchy without additional assumptions beyond the classical results of Thurston and Gabai.

What would settle it

An explicit taut sutured hierarchy for a three-manifold whose Thurston norm is already known by independent means, such that the maw dual graph produces a different norm value.

Figures

Figures reproduced from arXiv: 2604.19611 by Alessandro V. Cigna.

**Figure 1.** Figure 1: Shape of Thurston polyhedra for Pretzel links P(2a, 2b, 2c). when a > 0 (i.e., when the standard diagram of L is alternating); • the octahedron spanned by ± ℓ1 + ℓ2 b − 1 , ± ℓ1 + ℓ3 c − 1 , and ± (ℓ1 + ℓ2 + ℓ3) ( [PITH_FULL_IMAGE:figures/full_fig_p003_1.png] view at source ↗

**Figure 2.** Figure 2: Shape of the Thurston polyhedron for Pretzel links P(2a, 2b, 2c) with a ≤ −2, b, c > 0 and ab + bc + ac ≤ a. by modifying H+. Indeed, suppose that the last decomposition of H+ is along a disk D. We can instead consider the hierarchy H− that differs from H+ just in the chosen orientation of D. How much do the Euler classes of the two obtained foliations differ from each other? This question is answered by t… view at source ↗

**Figure 3.** Figure 3: Local view of the oriented cut and paste operation of the surfaces S1 and S2. Red arrows indicate the normal orientation. Equivalently, χ−(S) = |χ(S ′ )|, where S ′ is the surface obtained from S after discarding all sphere or disk components. For every class α ∈ H2(M, ∂M), let x(α) = min [S]=α χ−(S), where S ⊂ M varies among the properly embedded oriented surfaces representing α. Theorem 2.3 ([Thu86]). Th… view at source ↗

**Figure 4.** Figure 4: A 2-dimensional Reeb component is a subset of leaves of the boundary foliation that cover an annulus. The boundary of the annulus is composed of leaves with the same coorientation, i.e., they both point inside or both outside the annulus. The interior leaves are lines. the interior of γ to look like points on R ×{0} × (0, +∞), points in the interior of R(γ) as points on R ×(0, +∞) × {0}, and points on ∂γ a… view at source ↗

**Figure 5.** Figure 5: Local view of a surface decomposition close to a transverse intersection with a suture. On both left and right, the sutures γ and γ ′ are in grey. (ii) λ is a simple closed curve in an annular component A of γ in the same homology class as A ∩ s(γ); (iii) λ is a homotopically nontrivial curve in a toral component T of γ, and if δ is another component of T ∩ S, then λ and δ represent the same homology class… view at source ↗

**Figure 6.** Figure 6: Local views of a branched surface close to a triple point c (left) and at the intersection with ∂M (right). Big arrows indicate local coherent choices of coorientations for the sectors, the small grey arrows indicate the maw vector field. In this case, the normal orientation of ∂M is pointing out of M [PITH_FULL_IMAGE:figures/full_fig_p012_6.png] view at source ↗

**Figure 7.** Figure 7: Local view of the fibered neighbourhood N(B) of a branched surface B close to a triple point of the branching locus. The grey intervals are some fibers. The small shaded areas are part of the vertical boundary ∂vN(B). 3.3. From sutured manifold hierarchies to branched surfaces. Consider a sequence of sutured manifold decompositions (M, γ) ⇝ S1 (M1, γ1) ⇝ S2 ... ⇝ Sn (Mn, γn). We can imagine each Mi to be n… view at source ↗

**Figure 8.** Figure 8: Local view of the branched surface Bi+1 close to a transverse intersection between Si+1 and ∂vN(Bi). Theorem 3.10. [Gab87b, Construction 4.17] If (M, γ) ⇝ S1 (M1, γ1) ⇝ S2 ... ⇝ Sn (Mn, γn) is a groomed sutured manifold hierarchy, then the branched surface Bn ⊂ M fully carries a taut foliation. Namely, there is a taut foliation F of M such that F ∩ N(B) is transverse to the interval fibers and F ∩ M(B) is … view at source ↗

**Figure 9.** Figure 9: Left: a smoothable vertex, labelled (1), and a double corner, labelled (2). Right: the maw vector field induces a corner structure on ∂s, where every smoothable vertex can indeed be smoothed (therefore inducing no corners), and each double vertex gives rise to a couple of right angles. Remark 4.6. Suppose S ⊂ M is algebraically fully marked with respect to a taut foliation F, and χ(S) < 0. Then equality [… view at source ↗

**Figure 10.** Figure 10: The annuli Ad (orange) and Ac (light blue), inside the sutured manifold (H, δ). To induce a groomed sutured decomposition, the outermost boundary of the orange annulus Ad should be moved to one of the dark grey sutures. This is here avoided for a clearer picture. Notice that the above is the case when M is the exterior of a nonsplit link, and two components of the link have zero linking number. Indeed, ca… view at source ↗

**Figure 11.** Figure 11: Left: the diagram D of the pretzel link L = P(2a, 2b, 2c). Right: the Seifert surface S of the link L. Topologically, S is a pair of pants. • the polyhedron spanned by ± ℓ1 b + c − 1 , ± ℓ2 a + c − 1 , ± ℓ3 a + b − 1 , and ± (ℓ1 + ℓ2 + ℓ3), when a > 0 (i.e., when the standard diagram of L is alternating); • the octahedron spanned by ± ℓ1 + ℓ2 b − 1 , ± ℓ1 + ℓ3 c − 1 , and ± (ℓ1 + ℓ2 + ℓ3), when a = −1 (th… view at source ↗

**Figure 12.** Figure 12: Top left: the Seifert surface S embedded in the exterior of the link L = P(−4, 4, 4). Top right: the sutured manifold (M(S), γ(S)) obtained by decomposing (ML, ∂ML) along S. The decomposing disk D1 is coloured light blue. The black, red and green curves represent the sutures of γ(S). Bottom right: the sutured manifold (M1, γ1) resulting by decomposing (M(S), γ(S)) along D1. Bottom left: the manifold (M1, … view at source ↗

**Figure 13.** Figure 13: Left: the branched surface B ′ −−. Right: the branched surface B−−. The coorientations of the disks D1 and D2 are pointing out of the page. The two indices “−” of B−− represent the fact that the boundary orientation of D1 does not match with the orientation of ℓ1 and, similarly, the boundary orientation of D2 does not match with the orientation of ℓ2. Let B ′ −− be the branched surface associated with the… view at source ↗

**Figure 14.** Figure 14: The subdivision of S into sectors of B−−. The purple and tan segments represent the portion of brloc(B−−) on S. The small arrows indicate the direction of the maw vector field, which is always tangent to S. Remember that, by convention, the maw vector field always points outward at the boundary. s how many χm(s) [a(s)] ∈ H1(M) total contribution o1 1 −1 m2 −m2 o2 1 −2 m3 −2m3 a + i |a| − 1 +1 m2 +(|a| − 1… view at source ↗

**Figure 15.** Figure 15: Top left: the Seifert surface S embedded in the exterior of the link L = P(−4, 4, 4). Top right: the sutured manifold (M(S), γ(S)) obtained by decomposing (ML, ∂ML) along S. Bottom right: the sutured manifold (M2, γ2) resulting by the decomposition of (M(S), γ(S)) along D1. Bottom left: the manifold (M2, γ2) after an isotopy of γ2. After decomposing along D2, the sutured manifold (M2, γ2) yields a sutured… view at source ↗

**Figure 16.** Figure 16: The branched surface B+− for P(−4, 4, 4). The sector coming from the decomposing disk D2 is not shown for a clearer picture. The trace of ∂D2 is drawn in orange. We conclude that in this case the Thurston ball Bx coincides with the polyhedron B. In [PITH_FULL_IMAGE:figures/full_fig_p025_16.png] view at source ↗

**Figure 17.** Figure 17: Top: boundary components of c copies of A (in blue) and b − 1 copies of P (in red) on ∂N(ℓ1). In the picture, b = c = 3. Middle: boundary components of Q0 on ∂N(ℓ1). Bottom: how to isotope ℓ3 (in green) so to intersect Q0 only close to ∂N(ℓ2). Lemma 6.3. Let L be the pretzel link P(2a, 2b, 2c) with oriented components ℓ1, ℓ2 and ℓ3 as in [PITH_FULL_IMAGE:figures/full_fig_p027_17.png] view at source ↗

read the original abstract

Classical work of Thurston and Gabai shows that finitely many taut sutured manifold hierarchies determine the Thurston norm of a compact oriented irreducible $3$-manifold with toroidal boundary. We give an explicit procedure to extract this information from such hierarchies. This is achieved via the maw dual graph construction, which can be incorporated into a general method for computing the Thurston norm of a manifold. As an application, we compute the Thurston norm of the exterior of all alternating and some nonalternating pretzel links with three components. Using these computations, we give a negative answer to a question of Baker--Taylor. Moreover, we show that if a nonseparating surface $S$ in a Haken manifold $M$ with toroidal boundary is disjoint from a boundary torus, then the class $[S] \in H_2(M,\partial M)$ does not lie in the interior of a top-dimensional cone of the Thurston norm. In particular, if two components $\ell_i$ and $\ell_j$ of a nonsplit link have zero linking number, then neither represents a class in an open top-dimensional cone of the Thurston norm ball of the link exterior.

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 turns sutured hierarchies into an explicit tool for the Thurston norm via the maw dual graph and applies it to pretzel links plus a structural result on nonseparating surfaces.

read the letter

This paper's main point is an explicit way to get the Thurston norm out of a taut sutured manifold hierarchy. They introduce the maw dual graph for this purpose and show how to fold it into a general computation method. As an application they find the norm for the exteriors of all alternating pretzel links with three components plus some non-alternating ones. The numbers let them give a negative answer to a question from Baker and Taylor. They also prove a general fact: in a Haken manifold with toroidal boundary, any nonseparating surface that misses a boundary torus cannot sit in the open interior of a top-dimensional cone in the norm ball. This immediately implies the same for link components with zero linking number. The new graph construction and the two applications are the fresh parts. The proofs use only the standard results from Thurston and Gabai, so there is no circularity. The concrete link calculations are the kind of thing that can be verified by hand or machine once the method is clear. One limitation worth noting is that you still need to have the hierarchy in hand before the graph helps. For arbitrary manifolds this may leave the initial step non-explicit. But the paper does not claim a full algorithm from scratch, and for the families it treats the hierarchies are manageable. This is solid work for people who care about the Thurston norm on link exteriors and Haken manifolds. The explicit procedure and the negative answer to the prior question make it worth refereeing.

Referee Report

0 major / 3 minor

Summary. Classical results of Thurston and Gabai show that finitely many taut sutured manifold hierarchies determine the Thurston norm of a compact oriented irreducible 3-manifold with toroidal boundary. The paper gives an explicit procedure to extract this information via the maw dual graph construction, which is incorporated into a general method for computing the Thurston norm. As an application, the Thurston norm is computed for the exteriors of all alternating and some nonalternating pretzel links with three components; these computations yield a negative answer to a question of Baker--Taylor. The paper also proves that if a nonseparating surface S in a Haken manifold M with toroidal boundary is disjoint from a boundary torus, then the class [S] does not lie in the interior of a top-dimensional cone of the Thurston norm ball.

Significance. If the maw dual graph construction is correct, the work supplies an explicit, parameter-free extraction procedure for Thurston norm data directly from hierarchies, relying only on the classical theorems of Thurston and Gabai. This yields a concrete computational method with immediate applications to link exteriors. The pretzel-link calculations and the negative resolution of the Baker--Taylor question illustrate the method's utility, while the nonseparating-surface theorem is a clean consequence for the structure of the Thurston norm polytope. The explicit construction and direct derivations from classical results are notable strengths.

minor comments (3)

[§3] §3: The definition and properties of the maw dual graph would be easier to follow if a small, fully worked example (e.g., a simple taut sutured manifold) were included to illustrate how vertices, edges, and weights encode the norm-minimizing surfaces and the resulting polyhedral decomposition.
[§5] §5 (pretzel-link computations): A compact table listing the computed Thurston norms for each alternating and nonalternating example, together with the corresponding hierarchy and maw-graph data, would make the verification of the Baker--Taylor counterexample more transparent.
[Introduction] Introduction and §6: The statement that the nonseparating-surface result holds 'in particular' for links with zero linking number would benefit from an explicit sentence clarifying how the general theorem specializes to that case.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary, recognition of the significance of the maw dual graph construction, and recommendation for minor revision. No specific major comments were raised in the report.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper's derivation rests on the classical theorems of Thurston and Gabai establishing that taut sutured manifold hierarchies determine the Thurston norm, then introduces an independent maw dual graph construction to extract the norm data explicitly. This construction is defined and its properties proved directly in the manuscript without fitting parameters to the target quantities or invoking self-citations as load-bearing premises. The pretzel-link computations and the nonseparating surface result are derived from the new framework applied to the hierarchies, remaining self-contained against external benchmarks. No step reduces by definition or construction to its own inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 1 invented entities

The central claims rest on the classical existence theorem of Thurston and Gabai together with the correctness of the newly introduced maw dual graph construction; no free parameters are apparent from the abstract.

axioms (2)

domain assumption Compact oriented irreducible 3-manifolds with toroidal boundary admit taut sutured manifold hierarchies that determine the Thurston norm.
Invoked as the foundation from classical work of Thurston and Gabai.
ad hoc to paper The maw dual graph construction faithfully encodes the norm information contained in any such hierarchy.
The new procedure assumes this encoding property holds.

invented entities (1)

maw dual graph no independent evidence
purpose: To provide an explicit combinatorial extraction of the Thurston norm from a given taut sutured manifold hierarchy.
New object introduced in the paper to make the classical existence result computable.

pith-pipeline@v0.9.0 · 5498 in / 1643 out tokens · 46471 ms · 2026-05-10T00:49:54.823596+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

36 extracted references · 17 canonical work pages

[1]

Baker and Scott A

Kenneth L. Baker and Scott A. Taylor , title =. Journal of Differential Geometry , number =. 2019 , doi =

2019
[2]

Lectures on differential topology , isbn =

Benedetti, Riccardo , year =. Lectures on differential topology , isbn =
[3]

Taut foliations in branched cyclic covers and left-orderable groups , journal =

Boyer, Steven and Hu, Ying , year =. Taut foliations in branched cyclic covers and left-orderable groups , journal =
[4]

2025 , eprint=

On 3-manifolds admitting co-orientable taut foliations, but none with vanishing Euler class , author=. 2025 , eprint=

2025
[5]

Foliations

Candel, Alberto and Conlon, Lawrence , month = jul, year =. Foliations
[6]

, title =

Cigna, Alessandro V. , title =. Journal of Knot Theory and Its Ramifications , volume =. 2025 , doi =

2025
[7]

Cigna, Alessandro V. , year=. A formula for the
[8]

Geometry & Topology , author =

Floer homology, group orderability, and taut foliations of hyperbolic 3–manifolds , volume =. Geometry & Topology , author =. 2020 , pages =. doi:10.2140/gt.2020.24.2075 , language =

work page doi:10.2140/gt.2020.24.2075 2020
[9]

Transactions of the American Mathematical Society , author =

The. Transactions of the American Mathematical Society , author =. 1988 , pages =. doi:10.2307/2000879 , number =

work page doi:10.2307/2000879 1988
[10]

Topology , author =

Foliations and genera of links , volume =. Topology , author =. 1984 , pages =. doi:10.1016/0040-9383(84)90001-6 , language =

work page doi:10.1016/0040-9383(84)90001-6 1984
[11]

, title =

Foliations and the topology of 3-manifolds , volume =. Journal of Differential Geometry , author =. doi:10.4310/jdg/1214437784 , number =

work page doi:10.4310/jdg/1214437784
[12]

Journal of Differential Geometry , author =

Foliations and the topology of 3-manifolds. Journal of Differential Geometry , author =. doi:10.4310/jdg/1214441488 , number =

work page doi:10.4310/jdg/1214441488
[13]

Journal of Differential Geometry , author =

Foliations and the topology of 3-manifolds. Journal of Differential Geometry , author =. doi:10.4310/jdg/1214441487 , number =

work page doi:10.4310/jdg/1214441487
[14]

Geometric Topology (Athens, GA, 1993) , series =

David Gabai , title =. Geometric Topology (Athens, GA, 1993) , series =. 1997 , isbn =

1993
[15]

Commentarii Mathematici Helvetici , volume =

David Gabai , title =. Commentarii Mathematici Helvetici , volume =. 2000 , pages =

2000
[16]

Acta Mathematica , author =

The fully marked surface theorem , volume =. Acta Mathematica , author =. 2020 , pages =. doi:10.4310/ACTA.2020.v225.n2.a4 , language =

work page doi:10.4310/acta.2020.v225.n2.a4 2020
[17]

Commentarii Mathematici Helvetici , volume =

Joel Hass , title =. Commentarii Mathematici Helvetici , volume =. 1986 , pages =

1986
[18]

A Survey of the Thurston Norm

Kitayama, Takahiro. A Survey of the Thurston Norm. In the Tradition of Thurston II: Geometry and Groups. 2022. doi:10.1007/978-3-030-97560-9_5

work page doi:10.1007/978-3-030-97560-9_5 2022
[19]

Taut ideal triangulations of 3-manifolds

Lackenby, Marc , journal =. Taut ideal triangulations of 3-manifolds. , url =
[20]

Advances in Mathematics , author =

The efficient certification of knottedness and. Advances in Mathematics , author =. 2021 , pages =. doi:10.1016/j.aim.2021.107796 , language =

work page doi:10.1016/j.aim.2021.107796 2021
[21]

Katzgraber

Michael P. Landry , keywords =. Veering triangulations and the Thurston norm: Homology to isotopy , journal =. 2022 , issn =. doi:https://doi.org/10.1016/j.aim.2021.108102 , url =

work page doi:10.1016/j.aim.2021.108102 2022
[22]

Landry and Yair N

Michael P. Landry and Yair N. Minsky and Samuel J. Taylor , title =. Journal of the European Mathematical Society , volume =. 2024 , pages =

2024
[23]

Journal für die reine und angewandte Mathematik (Crelles Journal) , doi =

Transverse surfaces and pseudo-Anosov flows , author =. Journal für die reine und angewandte Mathematik (Crelles Journal) , doi =. 2026 , lastchecked =

2026
[24]

Geometry & Topology , author =

Laminar branched surfaces in 3–manifolds , volume =. Geometry & Topology , author =. 2002 , pages =. doi:10.2140/gt.2002.6.153 , language =

work page doi:10.2140/gt.2002.6.153 2002
[25]

Algebraic & Geometric Topology , author =

The. Algebraic & Geometric Topology , author =. 2008 , pages =. doi:10.2140/agt.2008.8.211 , language =

work page doi:10.2140/agt.2008.8.211 2008
[26]

2025 , note =

On the Euler class one conjecture for fillable contact structures , author=. 2025 , note =

2025
[27]

International Mathematics Research Notices , volume =

Miller, Maggie , title =. International Mathematics Research Notices , volume =. 2023 , month =. doi:10.1093/imrn/rnac353 , url =

work page doi:10.1093/imrn/rnac353 2023
[28]

, number =

Topology of foliations. , number =. Trans. Moscow Math. Soc , author =. 1965 , pages =

1965
[29]

Low Dimensional Topology and Kleinian Groups , editor =

Ulrich Oertel , title =. Low Dimensional Topology and Kleinian Groups , editor =
[30]

Annals of Mathematics , volume =

Richard Schoen and Shing-Tung Yau , title =. Annals of Mathematics , volume =. 1979 , pages =

1979
[31]

Publications mathématiques de l'IHÉS , author =

Plongements dans les variétés feuilletées et classification de feuilletages sans holonomie , volume =. Publications mathématiques de l'IHÉS , author =. 1974 , pages =. doi:10.1007/BF02684367 , language =

work page doi:10.1007/bf02684367 1974
[32]

Proceedings of the American Mathematical Society , author =

Thurston norm and taut branched surfaces , volume =. Proceedings of the American Mathematical Society , author =. 1988 , pages =. doi:10.1090/S0002-9939-1988-0934889-9 , language =

work page doi:10.1090/s0002-9939-1988-0934889-9 1988
[33]

Commentarii Mathematici Helvetici , volume =

Dennis Sullivan , title =. Commentarii Mathematici Helvetici , volume =. 1979 , pages =

1979
[34]

Memoirs of the American Mathematical Society , year=

A norm for the homology of 3-manifolds , author=. Memoirs of the American Mathematical Society , year=
[35]

Proceedings of the American Mathematical Society , author =

Branched. Proceedings of the American Mathematical Society , author =. 1994 , pages =. doi:10.2307/2161059 , number =

work page doi:10.2307/2161059 1994
[36]

Acta Mathematica , author =

On. Acta Mathematica , author =. 2020 , pages =. doi:10.4310/ACTA.2020.v225.n2.a3 , language =

work page doi:10.4310/acta.2020.v225.n2.a3 2020