• ### Whitney towers and abelian invariants of knots(1606.03608)

Feb. 26, 2019 math.GT
We relate certain abelian invariants of a knot, namely the Alexander polynomial, the Blanchfield form, and the Arf invariant, to intersection data of a Whitney tower in the 4-ball bounded by the knot. We also give a new 3-dimensional algorithm for computing these invariants.
• ### Group localization and two problems of Levine(1306.6065)

June 25, 2013 math.AT, math.GR
A. K. Bousfield's $H\mathbb Z$-localization of groups inverts homologically two-connected homomorphisms of groups. J. P. Levine's algebraic closure of groups inverts homomorphisms between finitely generated and finitely presented groups which are homologically two-connected and for which the image normally generates. We resolve an old problem concerning Bousfield $H\mathbb Z$-localization of groups, and answer two questions of Levine regarding algebraic closure of groups. In particular, we show that the kernel of the natural homomorphism from a group $G$ to it's Bousfield $H\mathbb Z$-localization is not always a $G$-perfect subgroup. In the case of algebraic closure of groups, we prove the analogous result that this kernel is not always an invisible subgroup.
• ### Hidden torsion, 3-manifolds, and homology cobordism(1101.4092)

Dec. 11, 2012 math.GT
This paper continues our exploration of homology cobordism of 3-manifolds using our recent results on Cheeger-Gromov rho-invariants associated to amenable representations. We introduce a new type of torsion in 3-manifold groups we call hidden torsion, and an algebraic approximation we call local hidden torsion. We construct infinitely many hyperbolic 3-manifolds which have local hidden torsion in the transfinite lower central subgroup. By realizing Cheeger-Gromov invariants over amenable groups, we show that our hyperbolic 3-manifolds are not pairwise homology cobordant, yet remain indistinguishable by any prior known homology cobordism invariants. Additionally we give an answer to a question about transfinite lower central series of homology cobordant 3-manifold groups, asked by T. D. Cochran and M. H. Freedman.
• ### A new look at finitely generated metabelian groups(1203.5431)

March 24, 2012 math.GN, math.GR
A group is metabelian if its commutator subgroup is abelian. For finitely generated metabelian groups, classical commutative algebra, algebraic geometry and geometric group theory, especially the latter two subjects, can be brought to bear on their study. The object of this paper is to describe some of the new ideas and open problems that arise.
• ### $L^2$-signatures, homology localization, and amenable groups(0910.3700)

Oct. 19, 2009 math.GT
Aimed at geometric applications, we prove the homology cobordism invariance of the $L^2$-betti numbers and $L^2$-signature defects associated to the class of amenable groups lying in Strebel's class $D(R)$, which includes some interesting infinite/finitenon-torsion-free groups. The proofs include the only prior known condition, that $\Gamma$ is a poly-torsion-free abelian group (or potentially a finite $p$-group.) We define a new commutator-type series which refines Harvey's torsion-free derived series of groups, using the localizations of groups and rings of Bousfield, Vogel, and Cohn. The series, called the local derived series, has versions for homology with arbitrary coefficients, and satisfies functoriality and an injectivity theorem. We combine these two new tools to give some applications to distinct homology cobordism types within the same simple homotopy type in higher dimensions, to concordance of knots in three manifolds, and to spherical space forms in dimension three.
• ### Structure in the classical knot concordance group(math/0206059)

June 6, 2002 math.GT
We provide new information about the structure of the abelian group of topological concordance classes of knots in $S^3$. One consequence is that there is a subgroup of infinite rank consisting entirely of knots with vanishing Casson-Gordon invariants but whose non-triviality is detected by $L^{(2)}$ signatures.