The Thurston norm of graph manifolds

Alessandro V. Cigna

REVIEW 2 major objections 4 minor 14 references

The Thurston norm of graph manifolds

T0 review · 2 major / 4 minor · reviewed 2026-08-11 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read Every rational absolute-value norm is a Thurston norm of a graph manifold.

desk verdict Fresh converse realizability theorem for Thurston norms on graph manifolds, but the paper's load-bearing Neumann lemma is only sketched and needs a full proof before I'd trust Theorem 4.1. read the letter →

arxiv 2412.03437 v2 pith:ILCRJDV6 submitted 2024-12-04 math.GT

Alessandro V. Cigna This is my paper · ORCID

classification math.GT MSC 57K3057K31

keywords ThurstonnormgraphmanifoldsSeifertfiberedreducedplumbingmatrixconespolyhedralunitballsrealizationJSJdecomposition

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper proves a converse statement: any norm on $\mathbb{R}^d$ that is a finite sum of absolute values of rational linear functionals is the nonvanishing Thurston norm of some closed oriented good graph manifold, with respect to a rational basis of its second real homology. The realizing manifold can be chosen either to fiber over the circle or not to fiber, so the dichotomy forced by graph manifolds—all top-dimensional faces of the Thurston ball fibered, or none—is the only obstruction to realization. Since in dimension two every norm with a rational polygonal unit ball has the required form, every such polygon is realized, including by fibered graph manifolds. In higher dimensions the paper identifies a structural property, completeness, that all graph-manifold Thurston balls possess, and shows that every symmetric rational polyhedron can be refined by the unit ball of such a norm. The result pins down exactly which polyhedral norms can come from this large, tractable family of 3-manifolds.

What carries the argument

The load-bearing object is the reduced plumbing matrix $A$ of a graph manifold, whose diagonal entries are Euler numbers of the JSJ Seifert pieces and off-diagonal entries are sums of reciprocals of algebraic intersection numbers of regular fibers across decomposing tori. The corrected plumbing lemma (Lemma 2.17) identifies, up to a positive integer multiple, the tuples of algebraic intersection numbers of an embedded surface with the regular fibers of the pieces with the kernel of $A$; Proposition 3.2 then identifies the nonvanishing homology $H_2^{\mathrm{nv}}(M)$ with $\ker A$. This reduces the realizability of a norm to finding a symmetric integral matrix with a prescribed rational kernel and then building a graph manifold whose reduced plumbing matrix is a scalar multiple of it.

What would settle it

Take a closed oriented good graph manifold whose reduced plumbing matrix $A$ has nontrivial kernel, compute the image of $H_2(M;\mathbb{Q})$ under the fiber-intersection map $\psi$ directly from the gluing data, and test whether it equals $\ker A \cap \mathbb{Q}^n$; any class in the kernel whose positive multiples are never realized by algebraic intersection tuples of embedded surfaces would falsify the corrected lemma and the main theorem. Equivalently, finding a symmetric integral matrix with prescribed rational kernel that is provably not the scalar multiple of any reduced plumbing matrix would break the construction.

Watch

Extended reading notes

Core claim

The central claim is Theorem 4.1: given rational vectors $\beta_1,\dots,\beta_n \in \mathbb{Q}^d$ whose absolute-value sums define a norm, and given nonnegative integers $g_1,\dots,g_n$, there exists a closed oriented good graph manifold $M$—meaning all its Seifert fibered JSJ pieces have orientable base orbifolds—whose pieces have base surfaces of those genera, together with a rational basis of $H_2(M;\mathbb{R})$, such that the nonvanishing Thurston norm $x^{\mathrm{nv}}$ coincides with $\sum_i |\langle \beta_i,\cdot\rangle|$. The proof first shows that every good graph manifold has this form, with coefficients coming from the orbifold Euler characteristics of its Seifert pieces, and then inverts the construction: a symmetric integral matrix with a prescribed kernel is realized as the reduced plumbing matrix of a graph manifold built from surface bundles by Dehn surgeries. The same machinery gives a formula for the dimension of the null-space of the Thurston norm, shows that the fibered top-dimensional cones are either all or none depending on whether any $\beta_i$ vanishes, and yields the two-dimensional corollary that every rational polygon is the unit ball of the nonvanishing Thurston norm of a fibering graph manifold.

Load-bearing premise

The whole construction depends on a corrected technical lemma about surface intersections and the plumbing matrix, which the paper supports with a counterexample and a proof sketch rather than a complete proof.

Editorial extensions

If this is right

The class of nonvanishing Thurston norms of closed oriented good graph manifolds is exactly the class of norms that are finite sums of absolute values of rational linear functionals.
For any such norm, the realizing graph manifold can be chosen either to fiber over the circle (all top-dimensional faces of its Thurston ball fibered) or not to fiber, at will.
Every norm on $\mathbb{R}^2$ whose unit ball is a polygon with rational vertices occurs, so every such polygon is the unit ball of the nonvanishing Thurston norm of a good graph manifold, fibering if desired.
In dimension at least three, a polyhedron that is not complete—such as the cube $[-1,1]^n$—cannot be the nonvanishing Thurston unit ball of any graph manifold.
Every symmetric rational polyhedron in $\mathbb{R}^n$ admits a good graph manifold whose nonvanishing Thurston unit ball refines the decomposition into cones over the polyhedron's faces, with fibering behavior again chosen freely.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

Beyond the paper, the rational-basis restriction suggests a testable strengthening: if the construction could be adjusted to integral bases, the same norms would appear integrally rather than up to change of rational basis; the paper states this as an open direction.
Beyond the paper, the completeness obstruction separates graph manifolds from arbitrary 3-manifolds, since the chain-link example shows a non-complete Thurston ball exists; one could ask how much of the gap is filled by other families of 3-manifolds.
Beyond the paper, the all-or-none fibering dichotomy plus free choice of fibering suggests using these manifolds as test cases for algorithms that detect fibrations from the shape of the Thurston ball.
Beyond the paper, one could try to compute the minimal number of summands $n$ needed to realize a given polyhedral norm and ask whether it relates to the number of JSJ pieces; the paper does not address this.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

Dear colleague,

This is a genuine contribution to the Thurston norm realization program. The main new content is the converse direction: every norm on R^d expressible as a sum of absolute values of rational linear functionals is the nonvanishing Thurston norm of a closed oriented good graph manifold, with prescribed base genera, and you can choose whether the manifold fibers over the circle. That is a real advance, not a repackaging of known results. The completeness obstruction in Section 5 is also useful: such norms have complete unit balls, so the cube is not realizable, and Remark 5.11 shows that not every complete rational symmetric polyhedron is realizable. The fibering control (all or none of the top-dimensional faces) is a nice extra.

The paper is honest about its tools. It relies on Neumann's plumbing calculus, and importantly it corrects Neumann's Lemma 4.2: the original statement is false, and the counterexample given is convincing. The corrected Lemma 2.17 is exactly what Proposition 3.2 needs to identify the image of H_2(M;Q) in R^n with ker A ∩ Q^n, and Theorem 4.1 leans on that identification.

Here is where the paper is not ready as written. Lemma 2.17 is load-bearing and the proof is only a sketch. The sketch has the right shape — reduce the plumbing intersection matrix S by rational row and column moves to a direct sum of A with a diagonal block, extend an annihilating tuple for A to one for S, then multiply by n0 to clear denominators — but it doesn't actually verify that the reduction exists for the full S, nor that the resulting integer tuple is represented by a surface in M. Those are the two facts that make the identification true, and without them the central theorem is conditional. The counterexample to the original lemma suggests the correction is genuine, and I suspect a complete proof can be extracted from Neumann's paper, but suspicion is not a proof.

Everything else holds up. Lemmas 4.2 and 4.3 are clean: the symmetric integral matrix with prescribed kernel exists, and the Dehn-surgery construction for a graph manifold with that reduced plumbing matrix is convincing. The citation pattern is fair.

This paper is for 3-manifold topologists and anyone working on norm realization. It deserves a serious referee, and I would engage with it, but the referee should ask for a complete proof of Lemma 2.17 (or a precise citation to a source where the corrected version is proven) before acceptance. With that fixed, the paper is a solid accept.

Best.

Referee Report

2 major / 4 minor

Summary. The paper studies the Thurston norm of closed oriented graph manifolds. It proves that for a good graph manifold the nonvanishing Thurston norm is a sum of absolute values of linear functionals, with either all or no top-dimensional faces of the unit ball fibered. The main theorem (Theorem 4.1) asserts a converse: every norm on R^d expressible as a sum |<β_i,·>| with rational β_i is realized as the nonvanishing Thurston norm of some closed oriented good graph manifold with prescribed base genera, and the construction can be arranged so that the manifold either fibers over the circle or does not. A final section analyzes the unit polyhedra of such norms, showing that they are 'complete' in a precisely defined sense, and that every rational symmetric polyhedron is refined by a realizable one.

Significance. If the main theorem is correct, it gives a complete and constructive characterization of the possible nonvanishing Thurston norms of graph manifolds, with additional control over fibering behavior and base genera. The paper also identifies and corrects a genuine error in Neumann's plumbing lemma, which is a useful contribution in itself, and it introduces a clean notion of completeness for linear cellular decompositions of spheres. The arguments are largely explicit and constructive, and the paper is written in a clear style. However, two load-bearing points are not yet fully established, so the main theorem cannot be considered proven as the manuscript currently stands.

major comments (2)

[Section 2.3, Lemma 2.17 and its proof sketch] Lemma 2.17 is the foundation of Proposition 3.2 and therefore of Theorem 4.1 and its corollaries, but only a proof sketch is supplied. The manuscript itself states that the original version of Neumann's lemma is false and gives a counterexample, so a complete proof of the corrected statement is essential. The sketch asserts without proof that the plumbing intersection matrix S can be reduced by rational row and column moves to a direct sum of the reduced plumbing matrix A with a diagonal block, and that consequently every integer tuple annihilating A extends to a rational tuple annihilating S. It further asserts that after clearing denominators this tuple is realized by an embedded surface through the exact sequence H_2(M;Z) → H_2(X;Z). These are precisely the steps needed to identify ψ(H_2(M;Q)) with ker A ∩ Q^n in Proposition 3.2; if either step fails, the image of ψ could be a proper subspace or sublattice of ker A. A rigorous proof of the corrected lemma, or a precise reference to a published proof, is required before the central identification is established.
[Section 4, proof of Theorem 4.1] After obtaining a matrix A with kernel spanned by the columns v_i of P, the proof defines vectors v'_i by scaling the coordinates of v_i by -1/χ_j and asserts that (v'_1,...,v'_d) is again a basis of ker A. This is not true in general: multiplying the coordinates of vectors in a linear subspace by a diagonal matrix does not preserve the subspace. For example, if ker A = span{(1,2)} and the diagonal scaling is diag(2,1), then (1,2) is sent to (2,2), which is not in the kernel. In the paper's setting the χ_i are outputs of Lemma 4.3 and are not prescribed in advance, so the proof gives no reason for the specific diagonal matrix with entries -1/χ_i to preserve ker A. Since Proposition 3.3 is then applied to the purported basis (v'_1,...,v'_d), the proof of Theorem 4.1 is incomplete. The argument needs to be restructured, for instance by choosing the matrix A so that its kernel is spanned by the scaled vectors, rather than by the original columns of P.

minor comments (4)

[Lemma 4.3, proof] The phrase 'we can execute m (mα_i, β_i)-Dehn surgeries' is ambiguous; it should be clarified whether this means m surgeries each with coefficients (mα_i, β_i), and the effect of this operation on the orbifold Euler characteristic should be spelled out.
[Proposition 3.4, proof] The sentence describing the CW-chain complex of the graph as the sequence 0 → GE → GV → 0 omits the augmentation to Z; writing the standard complex 0 → C_1 → C_0 → Z → 0 would make the computation of H_1(Γ) clearer.
[Example 5.5] The statement that non-completeness follows because 'there are vertices with odd degree' would benefit from a brief explanation of why this prevents equality in the defining inclusion of the (n−2)-skeleton.
[General] There is a typo in 'Aknowledgements' (should be 'Acknowledgements'), and the notation 'RP2 e×S1' in Proposition 2.13 should be typeset consistently.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity found: the realizability proof constructs the graph manifold from the given norm, and no prediction reduces to a fitted input or to the author's own prior results.

full rationale

The paper's central derivation is constructive rather than circular. Given a target norm ||v|| = sum_i |<beta_i, v>|, Theorem 4.1 uses Lemma 4.2 to build an integral symmetric matrix A with prescribed kernel (a pure linear-algebra construction), then uses Lemma 4.3 to construct a good graph manifold whose reduced plumbing matrix is a scalar multiple of A. Proposition 3.3 then shows that the nonvanishing Thurston norm on ker A is exactly the given sum of absolute values after rescaling the basis columns by -1/chi_i. No parameter is fitted to data, no predicted quantity coincides with an input by construction, and no load-bearing step is justified solely by a self-citation. The only substantial reliance on a cited result is the corrected version of Neumann's plumbing lemma (Lemma 2.17), which identifies psi(H_2(M;Q)) with ker A cap Q^n and is used in Proposition 3.2 and hence in Theorem 4.1. That lemma is external to the paper, and the paper supplies a counterexample to the original formulation plus a proof sketch for the corrected version; any shortfall there is a correctness risk rather than circularity. The author's earlier work [2] appears only in the introduction as context and is not used in the proof of the main theorem. Accordingly, the appropriate circularity finding is no significant circularity.

Assumptions & free parameters 0 free parameters · 6 assumptions · 0 invented entities

The central claim rests on standard Thurston norm machinery, on a corrected version of Neumann's plumbing lemma, and on the domain assumption that all JSJ pieces have negative orbifold Euler characteristic. No new entities or fitted parameters are introduced.

assumptions (6)

standard math Thurston norm existence and polyhedrality: x extends to a seminorm with unit ball a finite rational polyhedron.
Invoked in Section 2.1 as background for the entire paper.
standard math Thurston's fibered face theorem: fibered classes are exactly the interiors of cones over a collection of top-dimensional faces.
Used in Proposition 3.5 to conclude the all-or-none fibering dichotomy.
standard math Additivity of the Thurston norm under cutting along incompressible tori (Lemma 2.8 from Lackenby).
Used in Lemma 3.1 to split the norm across JSJ pieces.
standard math Incompressible surfaces in Seifert fibered spaces are vertical or horizontal (Proposition 2.13 from Martelli).
Used to compute the Thurston norm of Seifert pieces and to derive formula (4).
domain assumption Corrected Neumann plumbing lemma (Lemma 2.17 of this paper, correcting Neumann's Lemma 4.2).
Load-bearing for Proposition 3.2: identifies ψ(H_2(M;Q)) with the kernel of the reduced plumbing matrix. Only a proof sketch is given.
domain assumption For good graph manifolds with all base orbifold Euler characteristics negative, the nullspace of the Thurston norm equals ker ψ (Proposition 3.2).
This is proven in the paper, but it is a domain restriction under which the main theorem operates; the construction in Theorem 4.1 ensures these hypotheses.

how reviews work

0 comments

Cite this review

Pith. "Pith review of The Thurston norm of graph manifolds." pith.science (2026). https://pith.science/paper/ILCRJDV6

@misc{pith2026241203437,
  author       = {Pith},
  title        = {Pith review of: The Thurston norm of graph manifolds},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/ILCRJDV6}},
  note         = {Machine review of arXiv:2412.03437}
}

abstract

The Thurston norm of a closed oriented graph manifold is a sum of absolute values of linear functionals, and either each or none of the top-dimensional faces of its unit ball are fibered. We show that, conversely, every norm that can be written as a sum of absolute values of linear functionals with rational coefficients is the nonvanishing Thurston norm of some graph manifold, with respect to a rational basis on its second real homology. Moreover, we can choose such graph manifold either to fiber over the circle or not. In particular, every symmetric polygon with rational vertices is the unit polygon of the nonvanishing Thurston norm of a graph manifold fibering over the circle. In dimension $\ge 3$ many symmetric polyhedra with rational vertices are not realizable as nonvanishing Thurston norm ball of any graph manifold. However, given such a polyhedron, we show that there is always a graph manifold whose nonvanishing Thurston norm ball induces a finer partition into cones over the faces.

Figures

Figures reproduced from arXiv: 2412.03437 by the authors.

**Figure 3.** Left: a 3-chain link. Right: the Thurston ball of its exterior. [PITH_FULL_IMAGE:figures/full_fig_p018_3.png] view at source ↗

**Figure 4.** Left: the octahedron P, unit ball of |x| + |y| + |z|. Right: the polyhedron P ′ , unit ball of |x| + |y| + |z| + |x + y|. The intersections of P and P ′ with {x + y = 0} coincide. Then, the rest of P ′ is obtained by “deflating” P symmetrically with respect to {x + y = 0}. Construction 5.9. We will now give an algorithm to visualize the unit ball of a sum of absolute values of linear functionals. Let || · || := X k … view at source ↗

Figures from the paper (1 more)

**Figure 5.** Figure 5: The polyhedron P, here represented for ϵ = 1 4 . When M is a closed oriented graph manifold, but not good, it admits a good double cover Mf. The pull-back map π ∗ : H1 (M) → H1 (Mf) is injective and for every α ∈ H1 (M) ∼= H2(M) we have xMf(π ∗α) = 2xM(α). (7) Identity…

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

14 extracted references · 14 canonical work pages

[1]

Chen J. C. Computing the twisted L2-Euler characteristic. arXiv:2310.07024 21

work page Pith review arXiv
[2]

Cigna A. V. The Thurston norm of 2-bridge link complements. arXiv:2407.11759

work page Pith review arXiv
[3]

Foliations and the topology of 3–manifolds

Gabai D. Foliations and the topology of 3–manifolds. J. Differential Geom. 18 no. 3, 445–503, 1983

work page 1983
[4]

The efficient certification of knottedness and Thurston norm

Lackenby M. The efficient certification of knottedness and Thurston norm. Adv. Math. 387, paper no. 107796, 142, 2021

work page 2021
[5]

Licata J. E. The Thurston polyhedron for four-stranded pretzel links. Algebraic & Geometric Topology no. 8, 211–243, 2008

work page 2008
[6]

An Introduction to Geometric Topology

Martelli B. An Introduction to Geometric Topology. 2022

work page 2022
[7]

Neumann W. D. A calculus for plumbing applied to the topology of complex surface singularities and degenerating complex curves. Trans. Amer. Math. Sot. 268, pp. 299-343, 1981

work page 1981
[8]

Neumann W. D. Commensurability and virtual fibration for graph manifolds. Topology, Volume 36, Issue 2, pp. 355-378, 1997

work page 1997

Show all 14 references

[9]

Ozsv´ ath P., Szab´ o Z.Link Floer homology and the Thurston norm. J. of the Am. Math. Soc., Vol. 21, no. 3, pp. 671-709, July 2008

2008
[10]

Pacheco-Tallaj N., Schreve K., Vlamis N. G. Thurston norms of tunnel number-one manifolds. J. of Knot Theory and Its Ramifications Vol. 28, No. 9, paper no. 1950056, 2019

2019
[11]

Sane A. K. Intersection norms and one-faced collections. Comptes Rendus. Math´ ematique, Volume 358 no. 8, pp. 941-956, 2020

2020
[12]

Sane A. K. On dual unit balls of Thurston norm. Canadian Mathematical Bulletin, Volume 65, Issue 3, pp. 674 - 685, September 2022

2022
[13]

A Norm for the Homology of 3-Manifolds

Thurston W. A Norm for the Homology of 3-Manifolds . American Mathematical Society, 1986

1986
[14]

Gruppen mit Zentrum und 3-dimensionale Mannigfaltigkeiten

Waldhausen F. Gruppen mit Zentrum und 3-dimensionale Mannigfaltigkeiten . Topology 6, 505–517, 1967. 22

1967

Pith tools

Reviewed August 11, 2026 · model on record in the stance chip above.

[1] [1]

Chen J. C. Computing the twisted L2-Euler characteristic. arXiv:2310.07024 21

work page Pith review arXiv

[2] [2]

Cigna A. V. The Thurston norm of 2-bridge link complements. arXiv:2407.11759

work page Pith review arXiv

[3] [3]

Foliations and the topology of 3–manifolds

Gabai D. Foliations and the topology of 3–manifolds. J. Differential Geom. 18 no. 3, 445–503, 1983

work page 1983

[4] [4]

The efficient certification of knottedness and Thurston norm

Lackenby M. The efficient certification of knottedness and Thurston norm. Adv. Math. 387, paper no. 107796, 142, 2021

work page 2021

[5] [5]

Licata J. E. The Thurston polyhedron for four-stranded pretzel links. Algebraic & Geometric Topology no. 8, 211–243, 2008

work page 2008

[6] [6]

An Introduction to Geometric Topology

Martelli B. An Introduction to Geometric Topology. 2022

work page 2022

[7] [7]

Neumann W. D. A calculus for plumbing applied to the topology of complex surface singularities and degenerating complex curves. Trans. Amer. Math. Sot. 268, pp. 299-343, 1981

work page 1981

[8] [8]

Neumann W. D. Commensurability and virtual fibration for graph manifolds. Topology, Volume 36, Issue 2, pp. 355-378, 1997

work page 1997