Milnor's invariants for knots and links in closed orientable 3-manifolds

Ryan Stees

arxiv: 2310.10918 · v3 · submitted 2023-10-17 · 🧮 math.GT

Milnor's invariants for knots and links in closed orientable 3-manifolds

Ryan Stees This is my paper

Pith reviewed 2026-05-24 06:59 UTC · model grok-4.3

classification 🧮 math.GT

keywords Milnor invariantslink concordance3-manifoldsknot theorylower central seriestopological concordancemu-invariants

0 comments

The pith

Milnor's invariants extend to topological concordance invariants for knots and links in every closed orientable 3-manifold.

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

The paper defines Milnor's invariants for knots and links in arbitrary closed orientable 3-manifolds by studying lower central quotients of link groups and comparing them to those of the unlink. It establishes that the resulting invariants are unchanged under topological concordance. This construction unifies and generalizes all earlier versions of the invariants in dimension 3, including the classical ones for links in the 3-sphere. A sympathetic reader would care because the invariants can now detect higher-order linking phenomena in a much wider range of spaces.

Core claim

Milnor's invariants are extended to knots and links in general closed orientable 3-manifolds by comparing the lower central quotients of the link groups to those of the unlink, and these extensions are topological concordance invariants that unify and generalize all previous versions of Milnor's invariants in dimension 3, including the original ones for links in S^3.

What carries the argument

Comparison of lower central quotients of the fundamental groups of link complements to those of the unlink, which defines the invariants and establishes their concordance invariance.

If this is right

The invariants detect higher-order linking in arbitrary closed orientable 3-manifolds.
They remain unchanged under topological concordance of the knots and links.
All prior extensions of Milnor invariants to special 3-manifolds become special cases of this single construction.
The original Milnor invariants for links in S^3 are recovered exactly when the ambient manifold is the 3-sphere.

Where Pith is reading between the lines

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

The same comparison technique might apply to other nilpotent quotients or derived series invariants in 3-manifold knot theory.
Concordance invariance opens the possibility of using these invariants to distinguish links that bound disjoint surfaces in 4-manifolds with boundary the given 3-manifold.
Applications could arise in studying links in Seifert fibered spaces or lens spaces where classical invariants are insufficient.

Load-bearing premise

The lower central quotients of link groups in a general closed orientable 3-manifold admit a well-defined comparison to the unlink that produces concordance invariants in the same manner as the S^3 case.

What would settle it

Explicit computation for a link such as the Hopf link in S^1 x S^2 showing that the extended invariants change under a topological concordance or fail to recover the known S^3 values when the manifold is the 3-sphere.

read the original abstract

In his 1957 paper, John Milnor introduced a collection of invariants for links in $S^3$ detecting higher-order linking phenomena by studying lower central quotients of link groups and comparing them to those of the unlink. These invariants, now known as Milnor's $\overline{\mu}$-invariants, were later shown to be topological link concordance invariants and have since inspired decades of consequential research. Milnor's invariants have many interpretations, and there have been numerous attempts to extend them to other settings. In this paper, we extend Milnor's invariants to topological concordance invariants of knots and links in general closed orientable 3-manifolds. These invariants unify and generalize all previous versions of Milnor's invariants in dimension 3, including Milnor's original invariants for links in $S^3$.

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 claims a unification of Milnor invariants across all closed orientable 3-manifolds, but the key step of making the lower-central-quotient comparison choice-independent when π1(M) is nontrivial is not addressed in the abstract and needs explicit verification.

read the letter

The new result here is an extension of Milnor's μ-bar invariants to topological concordance invariants of links in arbitrary closed orientable 3-manifolds, presented as a single framework that recovers the classical S^3 case and all earlier partial generalizations. That unification is the actual content; prior work had separate constructions for specific manifolds or other settings, so a uniform version would be useful if it holds up. The abstract states the claim cleanly and positions the work as a direct generalization rather than a routine application. Credit is due for identifying the pattern across the literature and attempting to carry the lower-central-series comparison through to the general case. The soft spot is exactly the one flagged in the stress-test note. When M has nontrivial fundamental group, the link group is an extension of π1(M) by a free group, so any map from the lower central quotients of the link group to those of an unlink requires a section or splitting. The paper must show that the resulting invariants do not depend on that choice and that they reduce exactly to the usual μ-bar invariants on S^3. Nothing in the abstract indicates how this independence is proved, and the construction is the load-bearing part of the argument. If the full text supplies a canonical, choice-free comparison or proves invariance under changes of section, the result stands; otherwise the claim is not yet supported. The paper is aimed at researchers who already work with Milnor invariants or higher-order linking in 3-manifolds. A reader looking for a reference that collects all the versions in one place would find it convenient, provided the technical details are filled in. It is worth sending to a serious referee because the target is a recognized open direction and the abstract is precise enough to allow focused review on the definition and invariance steps.

Referee Report

2 major / 2 minor

Summary. The paper extends Milnor's classical μ-bar invariants, originally defined for links in S^3 via lower central quotients of link groups compared to the unlink, to topological concordance invariants for knots and links in arbitrary closed orientable 3-manifolds. It claims these new invariants unify and generalize all prior versions in dimension 3.

Significance. If the construction is shown to be well-defined and independent of choices, the result would supply a single framework encompassing Milnor invariants in S^3 and all known extensions to other 3-manifolds, strengthening the study of higher-order linking phenomena beyond the sphere.

major comments (2)

[§2] §2 (construction of the invariants): the comparison of lower central quotients of G = π1(M ∖ L) to those of an unlink U requires a splitting of the extension 1 → F → G → π1(M) → 1; the manuscript must prove that the resulting invariants are independent of the choice of splitting (or section) and reduce exactly to the classical μ-bar invariants when M = S^3.
[Theorem 1.1] Theorem 1.1 (main statement): the claim that the invariants are topological concordance invariants in general M rests on the independence shown in the preceding construction; without an explicit argument that concordance moves preserve the invariants independently of splitting choices, the generalization does not yet follow from the S^3 case.

minor comments (2)

[Abstract, §1] The abstract and §1 should include a brief sentence clarifying how the new invariants specialize to each previously studied case (e.g., rational homology spheres, Seifert fibered spaces).
[§2] Notation for the lower central series quotients and the comparison maps should be introduced once in §2 and used consistently thereafter.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading and constructive comments on the construction and main theorem. We address each point below and will revise the manuscript to supply the requested explicit arguments.

read point-by-point responses

Referee: [§2] §2 (construction of the invariants): the comparison of lower central quotients of G = π1(M ∖ L) to those of an unlink U requires a splitting of the extension 1 → F → G → π1(M) → 1; the manuscript must prove that the resulting invariants are independent of the choice of splitting (or section) and reduce exactly to the classical μ-bar invariants when M = S^3.

Authors: We acknowledge that a complete, self-contained proof of independence from the choice of splitting is required for the construction to be rigorously well-defined. The current manuscript sketches the construction via a chosen splitting but does not supply a detailed verification that the resulting invariants are unaffected by the choice. In the revised version we will add a new lemma in §2 establishing this independence: any two splittings differ by conjugation by an element of the lower central series of F, which leaves the relevant quotients and thus the Milnor invariants unchanged. We will also include a direct comparison showing that, when M = S^3, the extension splits canonically (up to isomorphism) and the invariants recover exactly Milnor’s original definition. revision: yes
Referee: [Theorem 1.1] Theorem 1.1 (main statement): the claim that the invariants are topological concordance invariants in general M rests on the independence shown in the preceding construction; without an explicit argument that concordance moves preserve the invariants independently of splitting choices, the generalization does not yet follow from the S^3 case.

Authors: We agree that an explicit argument is needed to confirm that topological concordance in arbitrary M preserves the invariants independently of splitting choices. The manuscript currently reduces the general case to the S^3 situation via the construction, but does not spell out the compatibility with splittings under concordance moves. In the revision we will expand the proof of Theorem 1.1 (immediately following the new independence lemma in §2) to show that a concordance cobordism induces maps on fundamental groups that preserve the lower-central quotients compatibly with any choice of splitting; the invariants are therefore unchanged. revision: yes

Circularity Check

0 steps flagged

Derivation self-contained; no load-bearing reductions to self-citation or definition

full rationale

The provided abstract and context describe an extension of classical Milnor invariants via lower-central-quotient comparisons, claiming unification of prior versions. No equations, definitions, or cited results are quoted that reduce the new invariants to fitted parameters, self-referential maps, or unverified self-citations. The construction is presented as building on the S^3 case without the target result being presupposed in the inputs. This is the normal non-circular outcome when no explicit reduction is exhibited.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract only; no free parameters, axioms, or invented entities are mentioned.

pith-pipeline@v0.9.0 · 5661 in / 1071 out tokens · 43236 ms · 2026-05-24T06:59:17.841098+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

?

unclear
Relation between the paper passage and the cited Recognition theorem.

We extend Milnor’s invariants to topological concordance invariants of knots and links in general closed orientable 3-manifolds... lower central quotients... n-basing... hn(L′,ϕ) ∈ [M,Xn(L)]0/Aut(π/Γn,∂)
IndisputableMonolith/Foundation/ArithmeticFromLogic.lean LogicNat recovery / embed_injective unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Theorem D... µn(L′)=µn(L) iff (n+1)-basing... Stallings-Dwyer Theorem

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

4 extracted references · 4 canonical work pages

[1]

MR997364 [Lin91] Xiao-Song Lin, Null k-cobordant links in S3, Comment. Math. Helv.66 (1991), no. 3, 333–339. MR1120650 [Mil21] Maggie Miller, A concordance analogue of the 4D light bulb theorem, Int. Math. Res. Not. IMRN 4 (2021), 2565–2587. MR4218331 [Mil57] John Milnor, Isotopy of links , Algebraic geometry and topology. A symposium in honor of S. Lefsc...

work page 1991
[2]

MR2455920 [Sch03] Rob Schneiderman, Algebraic linking numbers of knots in 3-manifolds , Algebr. Geom. Topol. 3 (2003), 921–968. MR2012959 [Sch19] Hannah R. Schwartz, Equivalent non-isotopic spheres in 4-manifolds , J. Topol. 12 (2019), no. 4, 1396–

work page 2003
[3]

Spanier, Algebraic topology, Springer-Verlag, New York, 1995

MR4138734 [Spa95] Edwin H. Spanier, Algebraic topology, Springer-Verlag, New York, 1995. Corrected reprint of the 1966 original. MR1325242 [ST22] Rob Schneiderman and Peter Teichner, Homotopy versus isotopy: spheres with duals in 4-manifolds , Duke Math. J. 171 (2022), no. 2, 273–325. MR4375617 [Sta65] John Stallings, Homology and central series of groups...

work page 1995
[4]

These include a number of well-definedness and naturality properties; see [Ste23] for more details

MR4406694 61 A Properties of Xn(L) and ιn(L) In this brief appendix, we collect a number of properties of the spaces Xn(L) and maps ιn(L) : M , → Xn(L) defined in section 3.1. These include a number of well-definedness and naturality properties; see [Ste23] for more details. A.1 Well-definedness and naturality properties Observe the following well-defined...

work page

[1] [1]

MR997364 [Lin91] Xiao-Song Lin, Null k-cobordant links in S3, Comment. Math. Helv.66 (1991), no. 3, 333–339. MR1120650 [Mil21] Maggie Miller, A concordance analogue of the 4D light bulb theorem, Int. Math. Res. Not. IMRN 4 (2021), 2565–2587. MR4218331 [Mil57] John Milnor, Isotopy of links , Algebraic geometry and topology. A symposium in honor of S. Lefsc...

work page 1991

[2] [2]

MR2455920 [Sch03] Rob Schneiderman, Algebraic linking numbers of knots in 3-manifolds , Algebr. Geom. Topol. 3 (2003), 921–968. MR2012959 [Sch19] Hannah R. Schwartz, Equivalent non-isotopic spheres in 4-manifolds , J. Topol. 12 (2019), no. 4, 1396–

work page 2003

[3] [3]

Spanier, Algebraic topology, Springer-Verlag, New York, 1995

MR4138734 [Spa95] Edwin H. Spanier, Algebraic topology, Springer-Verlag, New York, 1995. Corrected reprint of the 1966 original. MR1325242 [ST22] Rob Schneiderman and Peter Teichner, Homotopy versus isotopy: spheres with duals in 4-manifolds , Duke Math. J. 171 (2022), no. 2, 273–325. MR4375617 [Sta65] John Stallings, Homology and central series of groups...

work page 1995

[4] [4]

These include a number of well-definedness and naturality properties; see [Ste23] for more details

MR4406694 61 A Properties of Xn(L) and ιn(L) In this brief appendix, we collect a number of properties of the spaces Xn(L) and maps ιn(L) : M , → Xn(L) defined in section 3.1. These include a number of well-definedness and naturality properties; see [Ste23] for more details. A.1 Well-definedness and naturality properties Observe the following well-defined...

work page