On the BNSR invariants of link groups

Yuta Nozaki

On the BNSR invariants of link groups

T0 review · reviewed 2026-06-28 · grok-4.3

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

Pith's one-line read For links with at least two components, the commutator subgroup is finitely generated precisely when the link is a Hopf link.

desk verdict The paper proves that link commutators are finitely generated precisely for the Hopf link and gives a new asymmetric BNS example for a ribbon 2-knot. read the letter →

arxiv 2606.02978 v1 pith:7UWWTDZA submitted 2026-06-02 math.GT math.GR

Yuta Nozaki This is my paper · ORCID

classification math.GTmath.GR

keywords BNSRinvariantslinkgroupscommutatorsubgroupHopf2-knotsribbonknotsfinitelygenerated

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 examines BNSR invariants of link groups to determine when their commutator subgroups are finitely generated. It proves that this occurs for a link with two or more components if and only if the link is the Hopf link. The work also finds a ribbon 2-knot whose group has a BNS invariant that is not symmetric. These findings link the algebraic structure of the group to the geometric type of the link or knot.

What carries the argument

BNSR invariants, subsets of the character sphere that determine finiteness properties of normal subgroups containing the commutator subgroup.

What would settle it

A multi-component link other than the Hopf link whose link group has a finitely generated commutator subgroup would contradict the result.

Watch

Extended reading notes

Core claim

For a link L with at least two components, the commutator subgroup of the link group is finitely generated if and only if L is a Hopf link. Moreover, there exists a ribbon 2-knot whose knot group has a non-symmetric BNS invariant.

Load-bearing premise

The identification of the BNSR invariants uses the standard character sphere of the link group and the usual notion of finite generation for the commutator subgroup.

Editorial extensions

If this is right

The only multi-component link with finitely generated commutator subgroup is the Hopf link.
BNSR invariants can be used to classify links based on group finiteness properties.
Ribbon 2-knots can have knot groups with non-symmetric BNS invariants.
The result holds with respect to the standard character sphere for link groups in S^3.

Reading between the lines

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

This classification may extend to other finiteness properties governed by BNSR invariants.
Similar techniques could apply to higher-dimensional links or different ambient spaces.
The existence of non-symmetric examples indicates that BNS invariants need not respect the usual symmetries in knot theory.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Desk Editor's Note

read the letter

The main takeaway is straightforward. For any link in S^3 with two or more components, the commutator subgroup of the fundamental group is finitely generated if and only if the link is the Hopf link. The paper also exhibits a ribbon 2-knot whose BNS invariant fails to be symmetric.

These two statements are the actual new content. The biconditional for links does not appear in the earlier literature cited, and the 2-knot example supplies a concrete case where the invariant is not invariant under inversion. Both results stay inside the usual character sphere and the standard definition of the BNSR sets, so they apply existing machinery to these groups rather than inventing new ones.

The work is useful because link groups and 2-knot groups have explicit presentations, which makes the BNSR calculations concrete. The Hopf-link characterization reduces a finiteness question to a single geometric type, which is a tidy outcome.

The abstract supplies no proof outline, so the strength of the argument is not visible from the summary alone. If the computations proceed by direct analysis of the Alexander module or Fox calculus for each link type, the claims should be checkable, but a reader cannot yet tell whether the argument is uniform or case-by-case. No internal contradiction or hidden parameter is apparent in the statements themselves.

The paper is written for specialists in low-dimensional topology who already know the BNSR framework and want concrete applications to knots and links. A reader outside that circle will find little to use.

The claims are precise and the objects are classical, so the paper deserves a serious referee to verify the details. I would send it out for review.

Referee Report

0 major / 0 minor

Summary. The manuscript investigates the Bieri-Neumann-Strebel-Renz (BNSR) invariants of link groups and 2-knot groups. Its central result is the biconditional that, for any link L in S^3 with at least two components, the commutator subgroup G' of the link group G is finitely generated if and only if L is the Hopf link. The paper also constructs a ribbon 2-knot whose knot group has a non-symmetric BNS invariant.

Significance. If the proofs hold, the characterization supplies a complete group-theoretic criterion, via equality of the BNS invariant with the full character sphere, that isolates the Hopf link among all multi-component links; this is a substantive application of BNSR theory to classical knot theory. The 2-knot example demonstrates that BNS invariants need not be symmetric even for ribbon knots, furnishing a concrete counterexample to symmetry expectations in higher-dimensional settings.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive evaluation of the manuscript, for highlighting the significance of the characterization of the Hopf link among multi-component links via BNSR invariants, and for recommending acceptance. We are gratified that the 2-knot example was viewed as a useful counterexample to symmetry expectations.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity

full rationale

The paper states a mathematical theorem: for μ≥2 component links in S^3, the commutator subgroup G' is finitely generated if and only if L is the Hopf link. This is expressed directly in terms of the standard BNSR invariants on the character sphere and the usual definition of finite generation. No derivation step reduces a claimed prediction to a fitted parameter, self-definition, or load-bearing self-citation chain. The biconditional is presented as a proved result within the BNSR framework without internal redefinition or renaming of known patterns as new derivations. The central claim remains independent of its own inputs.

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

Abstract-only review; no explicit free parameters, axioms, or invented entities are stated. The results rest on the standard definition of BNSR invariants and the geometric realization of link groups.

how reviews work

0 comments

Cite this review

Pith. "Pith review of On the BNSR invariants of link groups." pith.science (2026). https://pith.science/paper/7UWWTDZA

@misc{pith2026260602978,
  author       = {Pith},
  title        = {Pith review of: On the BNSR invariants of link groups},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/7UWWTDZA}},
  note         = {Machine review of arXiv:2606.02978}
}

abstract

For a finitely generated group $G$, the Bieri-Neumann-Strebel-Renz (BNSR) invariants are subsets of the character sphere of $G$ that govern the finiteness properties of normal subgroups containing the commutator subgroup. We investigate the BNSR invariants of link groups and $2$-knot groups. In particular, for a link $L$ with at least two components, we prove that the commutator subgroup of the link group is finitely generated if and only if $L$ is a Hopf link. Moreover, we show that there exists a ribbon $2$-knot whose knot group has a non-symmetric BNS invariant.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

21 extracted references · 1 canonical work pages

[1]

Bieri, W

R. Bieri, W. D. Neumann, and R. Strebel. A geometric invariant of discrete groups. Invent. Math., 90(3):451–477, 1987

1987
[2]

Bieri and B

R. Bieri and B. Renz. Valuations on free resolutions and higher geometric invariants of groups.Comment. Math. Helv., 63(3):464–497, 1988

1988
[3]

K. S. Brown. Trees, valuations, and the Bieri-Neumann-Strebel invariant.Invent. Math., 90(3):479–504, 1987

1987
[4]

Church, M

T. Church, M. Ershov, and A. Putman. On finite generation of the Johnson filtrations. Journal of the European Mathematical Society, 24(8):2875–2914, 2022

2022
[5]

M. J. Dunwoody. An equivariant sphere theorem.Bull. London Math. Soc., 17(5):437– 448, 1985

1985
[6]

Ershov and S

M. Ershov and S. He. On finiteness properties of the Johnson filtrations.Duke Math. J., 167(9):1713–1759, 2018

2018
[7]

Friedl and S

S. Friedl and S. Vidussi. BNS invariants and algebraic fibrations of group extensions. J. Inst. Math. Jussieu, 22(2):985–999, 2023

2023
[8]

Geoghegan.Topological methods in group theory, volume 243 ofGraduate Texts in Mathematics

R. Geoghegan.Topological methods in group theory, volume 243 ofGraduate Texts in Mathematics. Springer, New York, 2008

2008

Show all 21 references

[9]

Hempel.3-manifolds

J. Hempel.3-manifolds. AMS Chelsea Publishing, Providence, RI, 2004. Reprint of the 1976 original

2004
[10]

J. A. Hillman. The groups of fibred 2-knots. InGeometry and topology down under, volume 597 ofContemp. Math., pages 281–294. Amer. Math. Soc., Providence, RI, 2013

2013
[11]

D. Kielak. The Bieri-Neumann-Strebel invariants via Newton polytopes.Invent. Math., 219(3):1009–1068, 2020

2020
[12]

Kitayama

T. Kitayama. A survey of the Thurston norm. InIn the tradition of Thurston II. Geometry and groups, pages 149–199. Springer, Cham, 2022

2022
[13]

Kochloukova and S

D. Kochloukova and S. Vidussi. Finiteness properties of algebraic fibers of group extensions. InGeometry and topology of aspherical manifolds, volume 816 ofContemp. Math., pages 45–68. Amer. Math. Soc., Providence, RI, 2025

2025
[14]

D. H. Kochloukova. On a conjecture of E. Rapaport Strasser about knot-like groups and its pro-pversion.J. Pure Appl. Algebra, 204(3):536–554, 2006

2006
[15]

Renz.Geometrische Invarianten und Endlichkeitseigenschaften von Gruppen

B. Renz.Geometrische Invarianten und Endlichkeitseigenschaften von Gruppen. PhD thesis, Institut f¨ ur Mathematik der Johann Wolfgang Goethe-Universit¨ at, 1988

1988
[16]

Stallings

J. Stallings. On fibering certain 3-manifolds. InTopology of 3-manifolds and related topics (Proc. The Univ. of Georgia Institute, 1961), pages 95–100. Prentice-Hall, Inc., Englewood Cliffs, NJ, 1961

1961
[17]

R. Strebel. Notes on the Sigma invariants. arXiv:1204.0214v2, 2013

2013 arXiv
[18]

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

1986
[19]

Tischler

D. Tischler. On fibering certain foliated manifolds overS 1.Topology, 9:153–154, 1970. 8 YUTA NOZAKI

1970
[20]

T. Yajima. On a characterization of knot groups of some spheres inR 4.Osaka Math. J., 6:435–446, 1969

1969
[21]

E. C. Zeeman. Twisting spun knots.Trans. Amer. Math. Soc., 115:471–495, 1965. Department of Mathematics, F aculty of Science, Hokkaido University, Sap- poro 060-0810, Japan International Institute for Sustainability with Knotted Chiral Meta Mat- ter (WPI-SKCM2), Hiroshima Univ...

1965

Pith tools

Reviewed June 28, 2026 · model on record in the stance chip above.

[1] [1]

Bieri, W

R. Bieri, W. D. Neumann, and R. Strebel. A geometric invariant of discrete groups. Invent. Math., 90(3):451–477, 1987

1987

[2] [2]

Bieri and B

R. Bieri and B. Renz. Valuations on free resolutions and higher geometric invariants of groups.Comment. Math. Helv., 63(3):464–497, 1988

1988

[3] [3]

K. S. Brown. Trees, valuations, and the Bieri-Neumann-Strebel invariant.Invent. Math., 90(3):479–504, 1987

1987

[4] [4]

Church, M

T. Church, M. Ershov, and A. Putman. On finite generation of the Johnson filtrations. Journal of the European Mathematical Society, 24(8):2875–2914, 2022

2022

[5] [5]

M. J. Dunwoody. An equivariant sphere theorem.Bull. London Math. Soc., 17(5):437– 448, 1985

1985

[6] [6]

Ershov and S

M. Ershov and S. He. On finiteness properties of the Johnson filtrations.Duke Math. J., 167(9):1713–1759, 2018

2018

[7] [7]

Friedl and S

S. Friedl and S. Vidussi. BNS invariants and algebraic fibrations of group extensions. J. Inst. Math. Jussieu, 22(2):985–999, 2023

2023

[8] [8]

Geoghegan.Topological methods in group theory, volume 243 ofGraduate Texts in Mathematics

R. Geoghegan.Topological methods in group theory, volume 243 ofGraduate Texts in Mathematics. Springer, New York, 2008

2008