Transfinite Milnor invariants for 3-manifolds
type: Item
instance of: scholarly article
title: Transfinite Milnor invariants for 3-manifolds
author: Jae Choon Cha
author: Kent E. Orr
published in: Journal of the European Mathematical Society (JEMS)
publication date: 2024-07-03T00:00:00Z
review text: For links in a \(3\)-manifold \(M\), Milnor introduced in 1957 invariants obtained from the lower central series of the link group \(\Gamma\) and posed the problem to extract information from the \textit{transfinite} lower series quotients of \(\Gamma\), indexed by ordinals. In the present paper, the authors develop four new families of such transfinite invariants for arbitrary closed orientable \(3\)-manifolds \(M\) and view these invariants to be a solution to Milnor's problem.\N\NOne such family \(\{{\bar {\mu}_\kappa}(M)\}\), indexed by ordinals, includes the classical Milnor invariants as a special case. The authors show the following: (i) the \({\bar {\mu}_\kappa}(M)\) inductively determine the isomorphism classes of the lower central series quotients (where induction extends to transfinite ordinals), (ii) the \({\bar {\mu}_\kappa}(M)\) are invariant under homology cobordism, (iii) the \({\bar {\mu}_\kappa}(M)\) with finite \(\kappa\) determine Milnor's link invariants (when \(M\) is \(0\)-surgery on a link in \(S^3\)), (iv) \({\bar {\mu}_\kappa}(M)\) is an obstruction to building gropes, (v) the \({\bar {\mu}_\kappa}(M)\) live in a certain explicitly characterized set \(S\) and every element of \(S\) is realized as \({\bar {\mu}_\kappa}(M)\) for some closed \(3\)-manifold \(M\).\N\NThe authors compute and analyze the invariants for certain torus bundles over \(S^1\). In particular, they show that there are infinitely many such \(3\)-manifolds \(M\) with vanishing \({\bar {\mu}_\kappa}(M)\) for all finite \(\kappa\), but having non-vanishing pairwise distinct \({\bar {\mu}_\omega}(M)\) for the first transfinite ordinal \(\omega\).
reviewed by: Wolfgang Heil
Mathematics Subject Classification ID: 57K31
zbMATH DE Number: 7875502
zbMATH Keywords: transfinite Milnor invariants
zbMATH Keywords: 3-manifolds
zbMATH Keywords: homology cobordism
zbMATH Keywords: transfinite lower central series contents
MaRDI profile type: Publication
cites work: Q4061680
cites work: The localization of spaces with respect to homology
cites work: Link Cobordism and Milnor's Invariant
cites work: Injectivity theorems and algebraic closures of groups with coefficients
cites work: Rational Whitney tower filtration of links
cites work: \(L^2\)-signatures, homology localization, and amenable groups
cites work: Hidden torsion, 3-manifolds, and homology cobordism
cites work: Higher-order intersections in low-dimensional topology
cites work: Whitney tower concordance of classical links
cites work: On the third homotopy group of Orr's space
cites work: Bousfield localization as an algebraic closure of groups
cites work: Homology, Massey products and maps between groups
cites work: 4-manifold topology. II: Dwyer's filtration and surgery kernels
cites work: Concordance and homotopy. I: Fundamental group
cites work: Alexander ideals of links
cites work: Links, pictures and the homology of nilpotent groups
cites work: Right exact group completion as a transfinite invariant of homology equivalence
cites work: Cobordisme d'enlacements de disques
cites work: Link concordance and algebraic closure. II
cites work: Link concordance and algebraic closure of groups
cites work: Link invariants via eta invariant
cites work: Q3247621
cites work: New link invariants and applications
cites work: Homotopy invariants of links
cites work: Homology and central series of groups
cites work: Q3678321
cites work: Q4296949
DOI: 10.4171/JEMS/1328
description: scientific article; zbMATH DE number 7875502