Lifting Milnor Invariants for 3-Component Links
Pith reviewed 2026-05-25 04:54 UTC · model grok-4.3
The pith
Integer-valued γ-invariants for 3-component links lift certain Milnor invariants and stay unchanged under concordance and weak cobordism.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We define a sequence of integer-valued invariants γ^k(L) for a 3-component link L. We prove that the resulting γ-invariants are invariant under concordance, and more generally under weak cobordism, and that they lift certain Milnor invariants of 3-component links. To establish this, we introduce an invariant h(L), a 3-component analogue of the Kojima-Yamasaki η-invariant, and show that it recovers the γ-invariants.
What carries the argument
The γ^k invariants recovered by the auxiliary h(L), a 3-component analogue of the Kojima-Yamasaki η-invariant.
If this is right
- The γ-invariants give a weak-cobordism classification of 3-component links whenever the distinguished component has trivial Alexander polynomial.
- They characterize which knots bound continuously embedded disks in B^4 whose complements have fundamental group exactly Z.
- Because they lift Milnor invariants, they supply concordance obstructions that classical Milnor invariants alone cannot detect.
- The same construction yields new invariants that are unchanged under any weak cobordism between 3-component links.
Where Pith is reading between the lines
- The lifting mechanism may extend to produce concordance invariants for links with more than three components by iterating the h(L) construction.
- The characterization of disk-bounding knots could be used to test whether a given knot is slice in a stronger 4-dimensional sense than classical sliceness.
- If two links agree on all γ^k then any Milnor invariant they share must also agree, tightening the relationship between the two families of invariants.
Load-bearing premise
The auxiliary invariant h(L) recovers the γ-invariants exactly, which is required for the lifting of Milnor invariants to hold.
What would settle it
An explicit pair of concordant 3-component links whose computed γ^k values differ would falsify the invariance claim.
Figures
read the original abstract
We define a sequence of integer-valued invariants $\gamma^k(L)$ for a $3$-component link $L$. We prove that the resulting $\gamma$-invariants are invariant under concordance, and more generally under weak cobordism, and that they lift certain Milnor invariants of 3-component links. To establish this, we introduce an invariant $h(L)$, a $3$-component analogue of the Kojima--Yamasaki $\eta$-invariant, and show that it recovers the $\gamma$-invariants. As applications, we obtain a weak-cobordism classification when the distinguished component has trivial Alexander polynomial and characterize knots that bound continuously embedded disks in $B^4$ whose complements have fundamental group $\mathbb{Z}$.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper defines a sequence of integer-valued invariants γ^k(L) for a 3-component link L. It proves that the γ-invariants are invariant under concordance and more generally under weak cobordism, and that they lift certain Milnor invariants of 3-component links. To establish the lifting, the authors introduce an auxiliary invariant h(L), a 3-component analogue of the Kojima–Yamasaki η-invariant, and show that h(L) recovers the γ-invariants. Applications include a weak-cobordism classification when the distinguished component has trivial Alexander polynomial and a characterization of knots bounding continuously embedded disks in B^4 whose complements have fundamental group ℤ.
Significance. If the invariance and lifting statements hold, the work supplies new concordance invariants for 3-component links that extend Milnor theory in a controlled way. The construction of h(L) and its recovery of the γ-sequence is a concrete technical contribution. The applications to weak cobordism classification and to 4-dimensional knot theory are of interest to the field. The manuscript provides explicit proofs of the claimed invariance and recovery properties.
minor comments (2)
- [Abstract / Introduction] The abstract states that h(L) recovers the γ-invariants, but the precise statement of this recovery (e.g., whether it is equality or up to a fixed multiple) should be made explicit in the introduction or in the statement of the main theorem.
- [Introduction] Notation for the sequence γ^k(L) and the range of k should be clarified early; it is not immediately clear whether k begins at 1 or 2 and whether the invariants are defined for all k or only sufficiently large k.
Simulated Author's Rebuttal
We thank the referee for their positive assessment of the manuscript and for recommending minor revision. The referee's summary correctly identifies the definition of the γ^k invariants, their concordance and weak-cobordism invariance, the auxiliary h-invariant, the lifting of Milnor invariants, and the applications to weak-cobordism classification and 4-dimensional knot theory. No specific major comments are listed in the report.
Circularity Check
No circularity detected; derivation self-contained
full rationale
The abstract defines new invariants γ^k(L) and auxiliary h(L), then states proofs of invariance under concordance/weak cobordism and that h recovers γ to enable lifting of Milnor invariants. No equations, fitted parameters, self-citations, or ansatzes are exhibited that would reduce any claimed result to an input by construction. The lifting statement is presented as a proved theorem rather than a definitional identity, and the paper's central claims rest on independent arguments not visible as tautological in the given text. This is the default honest finding when no load-bearing reduction can be quoted.
Axiom & Free-Parameter Ledger
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/AlexanderDuality.leanalexander_duality_circle_linking echoes?
echoesECHOES: this paper passage has the same mathematical shape or conceptual pattern as the Recognition theorem, but is not a direct formal dependency.
We define a sequence of integer-valued invariants γ^k(L) for a 3-component link L... γk(L) := μ-bar_{D^k(L)}(23) = lk(L^{1^k}2, L3)
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
-
[1]
Habegger, Nathan and Masbaum, Gregor , TITLE =. Topology , FJOURNAL =. 2000 , NUMBER =. doi:10.1016/S0040-9383(99)00041-5 , URL =
- [2]
-
[3]
Ko, Ki Hyoung , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 1987 , NUMBER =. doi:10.2307/2000519 , URL =
-
[4]
Sheiham, Desmond , TITLE =. Mem. Amer. Math. Soc. , FJOURNAL =. 2003 , NUMBER =. doi:10.1090/memo/0784 , URL =
-
[5]
Blanchfield, Richard C. , doi =. Intersection theory of manifolds with operators with applications to knot theory , url =. Ann. of Math. (2) , mrclass =. 1957 , bdsk-url-1 =
work page 1957
-
[6]
Cochran, Tim D. and Levine, Jerome P. , date-modified =. Homology boundary links and the. Topology , mrclass =. 1991 , bdsk-url-1 =. doi:10.1016/0040-9383(91)90009-S , fjournal =
-
[7]
and Harvey, Shelly and Leidy, Constance , doi =
Cochran, Tim D. and Harvey, Shelly and Leidy, Constance , doi =. Knot concordance and higher-order. Geom. Topol. , mrclass =. 2009 , bdsk-url-1 =
work page 2009
- [8]
-
[9]
Taylor E. Martin , doi =. Classification of links up to 0-solvability , url =. Topology and its Applications , keywords =. 2022 , bdsk-url-1 =
work page 2022
-
[10]
Conant, James and Schneiderman, Rob and Teichner, Peter , doi =. Milnor invariants and twisted. J. Topol. , mrclass =. 2014 , bdsk-url-1 =
work page 2014
-
[11]
Cochran, Tim D. , doi =. Trans. Amer. Math. Soc. , mrclass =. 1991 , bdsk-url-1 =
work page 1991
-
[12]
Otto, Carolyn , doi =. The. Algebr. Geom. Topol. , mrclass =. 2014 , bdsk-url-1 =
work page 2014
-
[13]
and Nagel, Matthias and Orson, Patrick and Powell, Mark , doi =
Davis, Christopher W. and Nagel, Matthias and Orson, Patrick and Powell, Mark , doi =. Surface systems and triple linking numbers , url =. Indiana Univ. Math. J. , mrclass =. 2020 , bdsk-url-1 =
work page 2020
-
[14]
Davis, Christopher W. , date-added =. Topological concordance of knots in homology spheres and the solvable filtration , url =. J. Topol. , mrclass =. 2020 , bdsk-url-1 =. doi:10.1112/topo.12126 , fjournal =
-
[15]
and Park, JungHwan , date-modified =
Davis, Christopher W. and Park, JungHwan , date-modified =. Concordance to links with an unknotted component , url =. Math. Proc. Cambridge Philos. Soc. , mrclass =. 2021 , bdsk-url-1 =. doi:10.1017/S0305004119000367 , fjournal =
-
[16]
Cochran, Tim D. and Orr, Kent E. and Teichner, Peter , date-added =. Knot concordance,. Ann. of Math. (2) , mrclass =. 2003 , bdsk-url-1 =. doi:10.4007/annals.2003.157.433 , fjournal =
-
[17]
Links not concordant to boundary links , url =
Livingston, Charles , date-added =. Links not concordant to boundary links , url =. Proc. Amer. Math. Soc. , mrclass =. 1990 , bdsk-url-1 =. doi:10.2307/2047766 , fjournal =
-
[18]
Cochran, Tim D. and Orr, Kent E. , date-added =. Not all links are concordant to boundary links , url =. Ann. of Math. (2) , mrclass =. 1993 , bdsk-url-1 =. doi:10.2307/2946555 , fjournal =
-
[19]
Cochran, T. D. and Orr, K. E. , date-added =. Not all links are concordant to boundary links , url =. Bull. Amer. Math. Soc. (N.S.) , mrclass =. 1990 , bdsk-url-1 =. doi:10.1090/S0273-0979-1990-15912-9 , fjournal =
-
[20]
A family of freely slice good boundary links , url =
Cha, Jae Choon and Kim, Min Hoon and Powell, Mark , date-added =. A family of freely slice good boundary links , url =. Math. Ann. , mrclass =. 2020 , bdsk-url-1 =. doi:10.1007/s00208-019-01907-3 , fjournal =
-
[21]
Garoufalidis, Stavros and Teichner, Peter , TITLE =. J. Differential Geom. , FJOURNAL =. 2004 , NUMBER =
work page 2004
-
[22]
Freedman, Michael H. and Quinn, Frank , TITLE =. 1990 , PAGES =
work page 1990
-
[23]
Freedman, M. H. , booktitle =. The disk theorem for four-dimensional manifolds , year =
-
[24]
Austin, David and Rolfsen, Dale , date-added =. Homotopy of knots and the. Canad. Math. Bull. , mrclass =. 1999 , bdsk-url-1 =. doi:10.4153/CMB-1999-031-6 , fjournal =
-
[25]
Lyndon, Roger C. and Schupp, Paul E. , doi =. Combinatorial group theory , url =. 2001 , bdsk-url-1 =
work page 2001
-
[26]
Tietze, Heinrich , doi =. \". Monatsh. Math. Phys. , mrclass =. 1908 , bdsk-url-1 =
work page 1908
- [27]
- [28]
-
[29]
Gompf, Robert E. and Stipsicz, Andr\'as I. , isbn =. 1999 , bdsk-url-1 =
work page 1999
-
[30]
Cochran, Tim D. and Davis, Christopher W. and Ray, Arunima , fjournal =. Injectivity of satellite operators in knot concordance , url =. J. Topol. , mrclass =. 2014 , bdsk-url-1 =
work page 2014
-
[31]
Atiyah, Michael , fjournal =. The logarithm of the. Math. Ann. , mrclass =
-
[32]
Problems in low-dimensional topology , volume =. Geometric topology (
-
[33]
Atiyah, M. F. , booktitle =. Elliptic operators, discrete groups and von
-
[34]
Atiyah, M. F. and Patodi, V. K. and Singer, I. M. , fjournal =. Spectral asymmetry and. Math. Proc. Cambridge Philos. Soc. , mrclass =
-
[35]
Longueur stable des commutateurs , volume =
Bavard, Christophe , coden =. Longueur stable des commutateurs , volume =. Enseign. Math. (2) , mrclass =
-
[36]
Groups with the same lower central sequence as a relatively free group
Baumslag, Gilbert , fjournal =. Groups with the same lower central sequence as a relatively free group. Trans. Amer. Math. Soc. , mrclass =
-
[37]
From fractal groups to fractal sets , year =
Bartholdi, Laurent and Grigorchuk, Rostislav and Nekrashevych, Volodymyr , booktitle =. From fractal groups to fractal sets , year =
-
[38]
Bounded cohomology of subgroups of mapping class groups , volume =
Bestvina, Mladen and Fujiwara, Koji , fjournal =. Bounded cohomology of subgroups of mapping class groups , volume =. Geom. Topol. , mrclass =
-
[39]
Quasi-homomorphisms on mapping class groups , volume =
Bestvina, Mladen and Fujiwara, Koji , coden =. Quasi-homomorphisms on mapping class groups , volume =. Glas. Mat. Ser. III , mrclass =
-
[40]
Bohn, Michael , note =
-
[41]
Non-zero degree maps and surface bundles over
Boileau, Michel and Wang, Shicheng , coden =. Non-zero degree maps and surface bundles over. J. Differential Geom. , mrclass =
-
[42]
Borodzik, Macief , note =
-
[43]
Bousfield, A. K. , fjournal =. Homological localization towers for groups and. Mem. Amer. Math. Soc. , mrclass =
- [44]
- [45]
-
[46]
Length and stable length , volume =
Calegari, Danny , coden =. Length and stable length , volume =. Geom. Funct. Anal. , mrclass =
- [47]
-
[48]
Calegari, Danny , coden =. What is. Notices Amer. Math. Soc. , mrclass =
-
[49]
Stable commutator length is rational in free groups , url =
Calegari, Danny , doi =. Stable commutator length is rational in free groups , url =. J. Amer. Math. Soc. , mrclass =. 2009 , bdsk-url-1 =
work page 2009
-
[50]
Casson, Andrew J. , TITLE =. Bull. London Math. Soc. , FJOURNAL =. 1975 , PAGES =. doi:10.1112/blms/7.1.39 , URL =
-
[51]
Atomic surgery problems , volume =
Casson, Andrew and Freedman, Michael , booktitle =. Atomic surgery problems , volume =
-
[52]
Casson, A. J. and Gordon, C. McA. , booktitle =. On slice knots in dimension three , year =
-
[53]
Casson, A. J. and Gordon, C. McA. , booktitle =. Cobordism of classical knots , volume =
-
[54]
Injectivity theorems and algebraic closures of groups with coefficients , volume =
Cha, Jae Choon , fjournal =. Injectivity theorems and algebraic closures of groups with coefficients , volume =. Proc. Lond. Math. Soc. (3) , mrclass =
-
[55]
Cha, Jae Choon and Orr, Kent , note =
-
[56]
Cha, Jae Choon, Stefan Friedl and Taehee Kim , note =
-
[57]
The structure of the rational concordance group of knots , volume =
Cha, Jae Choon , coden =. The structure of the rational concordance group of knots , volume =. Mem. Amer. Math. Soc. , mrclass =
-
[58]
Cha, Jae Choon , fjournal =. Topological minimal genus and. Algebr. Geom. Topol. , mrclass =
-
[59]
Knot signature functions are independent , volume =
Cha, Jae Choon and Livingston, Charles , coden =. Knot signature functions are independent , volume =. Proc. Amer. Math. Soc. , mrclass =
- [60]
-
[61]
Link concordance, homology cobordism, and
Cha, Jae Choon , journal =. Link concordance, homology cobordism, and
-
[62]
Structure of the string link concordance group and
Cha, Jae Choon , coden =. Structure of the string link concordance group and. Indiana Univ. Math. J. , mrclass =
-
[63]
Cha, Jae Choon , TITLE =. Math. Ann. , FJOURNAL =. 2018 , NUMBER =. doi:10.1007/s00208-017-1534-2 , URL =
-
[64]
Cha, Jae Choon and Livingston, Charles and Ruberman, Daniel , coden =. Algebraic and. Math. Proc. Cambridge Philos. Soc. , mrclass =
-
[65]
Chang, Stanley and Weinberger, Shmuel , fjournal =. On invariants of. Geom. Topol. , mrclass =
-
[66]
Cheeger, Jeff and Gromov, Mikhael , coden =. Bounds on the von. J. Differential Geom. , mrclass =
-
[67]
Cimasoni, David , fjournal =. Slicing. Algebr. Geom. Topol. , mrclass =
-
[68]
Cimasoni, David and Florens, Vincent , coden =. Generalized. Trans. Amer. Math. Soc. , mrclass =. 2008 , bdsk-url-1 =. doi:10.1090/S0002-9947-07-04176-1 , fjournal =
- [69]
-
[70]
Church, Thomas and Benson Farb , note =
-
[71]
Cooper, David B. , booktitle =. The universal abelian cover of a link , volume =
-
[72]
A geometric construction of the
Cimasoni, David , doi =. A geometric construction of the. Comment. Math. Helv. , mrclass =. 2004 , bdsk-url-1 =
work page 2004
-
[73]
An explicit computation of the
Conway, Anthony , doi =. An explicit computation of the. Canad. J. Math. , mrclass =. 2018 , bdsk-url-1 =
work page 2018
-
[74]
Mellor, Blake and Melvin, Paul , doi =. A geometric interpretation of. Algebr. Geom. Topol. , mrclass =. 2003 , bdsk-url-1 =
work page 2003
-
[75]
Cimasoni, David and Florens, Vincent , coden =. Generalized. Trans. Amer. Math. Soc. , mrclass =
-
[76]
and Gerges, Amir and Orr, Kent , coden =
Cochran, Tim D. and Gerges, Amir and Orr, Kent , coden =. Dehn surgery equivalence relations on 3-manifolds , volume =. Math. Proc. Cambridge Philos. Soc. , mrclass =
-
[77]
Concordance to boundary links and the solvable filtration , author=. 2023 , eprint=
work page 2023
-
[78]
Milnor's invariants for knots and links in closed orientable 3-manifolds , author=. 2023 , eprint=
work page 2023
-
[79]
Milnor's invariants for knots and links in closed orientable 3-manifolds , author=. Geom. Topol. , FJOURNAL =. 2025 , NUMBER =. doi:10.2140/gt.2026.30.983 , URL =
-
[80]
and Nagel, Matthias and Orson, Patrick and Powell, Mark , TITLE =
Davis, Christopher W. and Nagel, Matthias and Orson, Patrick and Powell, Mark , TITLE =. Indiana Univ. Math. J. , FJOURNAL =. 2020 , NUMBER =. doi:10.1512/iumj.2020.69.8081 , URL =
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.