
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 4ball bounded by the knot. We also give a new
3dimensional algorithm for computing these invariants.

A. K. Bousfield's $H\mathbb Z$localization of groups inverts homologically
twoconnected homomorphisms of groups. J. P. Levine's algebraic closure of
groups inverts homomorphisms between finitely generated and finitely presented
groups which are homologically twoconnected 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.

This paper continues our exploration of homology cobordism of 3manifolds
using our recent results on CheegerGromov rhoinvariants associated to
amenable representations. We introduce a new type of torsion in 3manifold
groups we call hidden torsion, and an algebraic approximation we call local
hidden torsion. We construct infinitely many hyperbolic 3manifolds which have
local hidden torsion in the transfinite lower central subgroup. By realizing
CheegerGromov invariants over amenable groups, we show that our hyperbolic
3manifolds 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 3manifold groups, asked by T. D. Cochran and M. H. Freedman.

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.

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/finitenontorsionfree groups. The proofs include the only
prior known condition, that $\Gamma$ is a polytorsionfree abelian group (or
potentially a finite $p$group.) We define a new commutatortype series which
refines Harvey's torsionfree 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.

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 CassonGordon invariants but whose nontriviality is detected by
$L^{(2)}$ signatures.