On the fiberedness of surgery 3-manifolds

Yi Ni; Zhongzi Wang

REVIEW

On the fiberedness of surgery 3-manifolds

Yi Ni, Zhongzi Wang

Geometric Topology · Submitted 28 Jun 2026 · 17 references

Pith's verdict: Clean sparseness theorem for fibered Dehn surgeries; solid classical topology that assembles known tools into a useful global statement.

T0 · AI review

How this review was made: An AI referee (grok-4.5) read the paper on July 14, 2026 and answered a fixed list of questions about it. T0 is the starting level every paper gets. The levels describe how deeply Pith has checked the paper, never the authors.

T0 AI review An AI read the paper and answered a fixed list of questions.
T1 Audit Automatic checks that the references and files the paper relies on exist and match.
T2 Compute The paper's code or calculations re-run with the same results.
T3 Formal statement The claims written out in a formal math language a computer can read.
T4 Proof Those claims proved, and the proof checked by computer.

How Pith checks papers →

· 5 minor · Ask about this paper · Read the full review →

Challenge this review Comment (0) Read on arXiv ↗

Cite ▾

arXiv ID2606.29268 (version 2)

Pith IDYUX4NJCM, Pith's permanent record of this paper and its review

CitationYi Ni, Zhongzi Wang. "On the fiberedness of surgery 3-manifolds." arXiv:2606.29268 (2026). https://pith.science/paper/YUX4NJCM

Cite this reviewBibTeX for Pith's review of this paper

Claim paper

Why Pith says this

Highlight any text to comment on it.

Editor's note

read the letter

This paper proves that for an irreducible 3-manifold with incompressible torus boundary, only a sparse set of Dehn fillings can be surface-fibered. The extension to arbitrary closed manifolds and knots (Corollary 1.2) is immediate, and the two geometric corollaries (volume approximation by non-fibered hyperbolics, degree-one maps from non-fibered hyperbolics) are clean payoffs.

What is new is the global sparseness statement itself. The authors split on the JSJ piece containing the boundary torus. The Seifert case is elementary: after excluding a sparse set so that the Seifert structure survives, a homology obstruction (Proposition 2.7 plus the fiber-intersection lemma) kills fiberedness for all but one remaining slope. The hyperbolic case is the real work. They show that for all but a finite set of slopes the inclusion of the relative homology of the unfilled piece is an isometric embedding for Thurston norm (Proposition 3.8, using Gabai–Lackenby invariance on the finitely many barycenters of faces). Fiber classes that miss the core must then lie over one of those faces; reducing to a product F imes I and invoking Ni’s earlier classification of product-restoring surgeries forces the slope into a sparse set (0 or 1/n under blackboard framing). Finite unions of sparse sets remain sparse, so the theorem closes.

The argument is fully written, the case division exhaustive, and the only external black box is Ni’s published product-surgery theorem, which is independent of the present claim and is applied only after the norm reduction has already restricted attention to finitely many faces. No free parameters, no circularity. Soft spots are minor: the definition of “sparse” is natural but slightly non-standard, and the product-surgery citation is load-bearing for the hyperbolic case; if that classification ever needed repair the sparseness conclusion would need re-checking. Neither issue undermines the written proof.

This is for people who work with Dehn surgery, Thurston norm, or fibered 3-manifolds. It organizes an infinite family of examples and supplies two ready-to-use geometric statements. It deserves a serious referee and should be accepted after ordinary polishing.

Referee report

Significance

The result gives a uniform, quantitative sparseness statement for fibered Dehn fillings that applies to every irreducible manifold with torus boundary and, via the corollaries, to every knot in every closed orientable 3-manifold. The hyperbolic-boundary case is a clean synthesis of Thurston-norm geometry with an existing product-surgery classification; the Seifert case is elementary. The volume and degree-one-map corollaries are immediate but useful applications. The argument relies on standard tools (JSJ, Thurston norm, hyperbolic Dehn filling) plus one independent published theorem of the first author; there is no circularity. The paper therefore supplies a solid, broadly applicable non-fiberedness theorem of the kind that is frequently invoked in 3-manifold topology.

Minor objections (5)

Throughout: several typographical slips (e.g., “surgery 3-manifolds” in the title, “half-die and half-survive” for half-lives half-dies, “dimemsion”, “barrycenter”, “Propostion”). A careful proof-reading pass would remove them.
Page 2 / Definition of sparseness: the embedding of A_T into RP^1 is used repeatedly; a one-sentence reminder that accumulation points are taken in the real projective line would make the definition self-contained for non-specialists.
Proposition 3.10: the “if” direction is omitted as unused. A one-line remark that it follows by the same uniqueness of norm-minimizing fibers would make the statement complete without lengthening the argument.
Lemma 2.5 and Corollary 1.2: the exceptional manifold N(K) is handled separately; a brief forward reference in the introduction would help the reader anticipate the case division.
References: the arXiv identifier and date appear in the header; once the paper is accepted the published versions of [Ga], [La], [Ni] should be cited if available.

How Pith checks papers → · Full audit of this paper → · Review history (2 revisions) →

The paper

The paper claims

Dehn surgery on a knot yields a surface-fibered 3-manifold for only a sparse set of slopes.

The reading

This paper proves that when you perform Dehn surgery on a knot in a closed orientable 3-manifold, the resulting manifold is almost never fibered by a surface. More precisely, the slopes that produce a fibered manifold form a sparse set: they have at most finitely many accumulation points among the real projective line of slopes. The argument splits according to the geometric type of the JSJ piece that contains the boundary torus. In the hyperbolic case it combines Thurston-norm geometry, invariance of the norm under most fillings, and a classification of surgeries that restore a product structure; in the Seifert case it uses the vanishing of the fiber class in homology after filling. The result supplies a uniform reason why fibered manifolds are rare among Dehn surgeries and immediately yields existence of non-fibered hyperbolic manifolds of volume arbitrarily close to a given cusped volume, as well as non-fibered hyperbolic manifolds that map with degree one onto any prescribed closed 3-manifold.

What carries the argument

Sparseness of slopes (a set with at most finitely many accumulation points in RP1) together with the Thurston norm on the hyperbolic JSJ piece: after most fillings the inclusion of relative homology remains an isometric embedding, so fibered faces can be tracked and reduced to a known classification of product-restoring surgeries.

Extended reading notes

Core claim

For an orientable irreducible 3-manifold M whose boundary is a single incompressible torus, the set of Dehn filling slopes that make M fibered is sparse in the space of all slopes. Equivalently, all but a sparse set of fillings are non-fibered. The same sparseness holds for Dehn surgery on an arbitrary knot in a closed orientable 3-manifold.

Load-bearing premise

The argument for hyperbolic boundary pieces rests on a prior classification that the only surgeries on a knot in a product surface times interval that restore the product structure have slopes 0 or 1/n under the blackboard framing.

Original abstract

Let $M$ be a closed orientable 3-manifold and $k$ be a knot in $M$. Then the Dehn surgery of $M$ along $k$ with slope $\alpha$ is not surface fibered for all but a sparse set of slopes.

References

Works cited (17)

[1]

M. Boileau and S. Wang, Non-zero degree maps and surface bundle over S^1 , J. Differ. Geom. 26 (1996), 789-806

View on Pith 1996
[2]

B. Farb, D. Margalit, A primer on mapping class groups. Princeton Mathematical Series, 49. Princeton University Press, Princeton, NJ, 2012

View on Pith 2012
[3]

D. Gabai, Foliations and the topology of 3-manifolds, II, J. Differ. Geom. 26 (1987), 461-478

View on Pith 1987
[4]

A. Hatcher, Algebraic topology. Cambridge University Press, Cambridge, 2002

View on Pith 2002
[5]

C. Gordon and J. Luecke, Knots are determined by their complements , J. Amer. Math. Soc. 2 (1989) 371-415

View on Pith 1989
[6]

A. Hatcher, Notes on basic 3 -manifold topology . http://pi.math.cornell.edu/ hatcher/

View on Pith
[7]

W. Jaco, Lectures on Three-Manifold Topology, Regional Conference Series in Mathematics, No. 43, Providence 1980

View on Pith 1980
[8]

W. Jaco, P. B. Shalen , Seifert fibered space in

View on Pith
[9]

K. Johannson Homotopy Equivalence of 3-Manifolds with

View on Pith
[10]

P. Scott , The geometries of 3 -manifolds , Bull. London Math. Soc. 15 (1983), no.5, 401 - 487

View on Pith 1983
[11]

M. Lackenby, Dehn surgery on knots in 3-manifolds. J. Amer. Math. Soc. 10 (1997), no. 4, 835-864

View on Pith 1997
[12]

R. Myers, Simple knots in compact orientable 3-manifolds , Trans. Amer. Math. Soc. 273 (1982) 75-92, 271-288

View on Pith 1982
[13]

Y. Ni, Dehn surgeries on knots in product manifolds. J. Topol. 4 (2011), no. 4, 799-816

View on Pith 2011
[14]

I. Agol , The virtual Haken conjecture , with an appendix by I. Agol, D. Groves, J. Manning, Documenta Math. 18 (2013), 1045 - 1087

View on Pith 2013
[15]

W. Thurston, Three dimensional manifolds, Kleinian groups and hyperbolic geometry, Bull. Amer. Math. Soc. 6(1982) 357-381

View on Pith 1982
[16]

W. Thurston, A norm for the homology of 3-manifolds. Mem. Amer. Math. Soc. 59 (1986), no. 339, i-vi and 99-130

View on Pith 1986
[17]

W. Thurston, On the geometry and dynamics of

View on Pith

Discussion

Disagree with the review, or know something it missed? Leave a comment, highlight any passage above to comment on it, or challenge this review formally.

[1] [1]

M. Boileau and S. Wang, Non-zero degree maps and surface bundle over S^1 , J. Differ. Geom. 26 (1996), 789-806

View on Pith 1996

[2] [2]

B. Farb, D. Margalit, A primer on mapping class groups. Princeton Mathematical Series, 49. Princeton University Press, Princeton, NJ, 2012

View on Pith 2012

[3] [3]

D. Gabai, Foliations and the topology of 3-manifolds, II, J. Differ. Geom. 26 (1987), 461-478

View on Pith 1987

[4] [4]

A. Hatcher, Algebraic topology. Cambridge University Press, Cambridge, 2002

View on Pith 2002

[5] [5]

C. Gordon and J. Luecke, Knots are determined by their complements , J. Amer. Math. Soc. 2 (1989) 371-415

View on Pith 1989

[6] [6]

A. Hatcher, Notes on basic 3 -manifold topology . http://pi.math.cornell.edu/ hatcher/

View on Pith

[7] [7]

W. Jaco, Lectures on Three-Manifold Topology, Regional Conference Series in Mathematics, No. 43, Providence 1980

View on Pith 1980

[8] [8]

W. Jaco, P. B. Shalen , Seifert fibered space in

View on Pith

[9] [9]

K. Johannson Homotopy Equivalence of 3-Manifolds with

View on Pith

[10] [10]

P. Scott , The geometries of 3 -manifolds , Bull. London Math. Soc. 15 (1983), no.5, 401 - 487

View on Pith 1983

[11] [11]

M. Lackenby, Dehn surgery on knots in 3-manifolds. J. Amer. Math. Soc. 10 (1997), no. 4, 835-864

View on Pith 1997

[12] [12]

R. Myers, Simple knots in compact orientable 3-manifolds , Trans. Amer. Math. Soc. 273 (1982) 75-92, 271-288

View on Pith 1982

[13] [13]

Y. Ni, Dehn surgeries on knots in product manifolds. J. Topol. 4 (2011), no. 4, 799-816

View on Pith 2011

[14] [14]

I. Agol , The virtual Haken conjecture , with an appendix by I. Agol, D. Groves, J. Manning, Documenta Math. 18 (2013), 1045 - 1087

View on Pith 2013

[15] [15]

W. Thurston, Three dimensional manifolds, Kleinian groups and hyperbolic geometry, Bull. Amer. Math. Soc. 6(1982) 357-381

View on Pith 1982

[16] [16]

W. Thurston, A norm for the homology of 3-manifolds. Mem. Amer. Math. Soc. 59 (1986), no. 339, i-vi and 99-130

View on Pith 1986

[17] [17]

W. Thurston, On the geometry and dynamics of

View on Pith