
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.

We study complexities of 3manifolds defined from triangulations, Heegaard
splittings, and surgery presentations. We show that these complexities are
related by linear inequalities, by presenting explicit geometric constructions.
We also show that our linear inequalities are asymptotically optimal. Our
results are used in [arXiv:1405.1805] to estimate CheegerGromov $L^2$
$\rho$invariants in terms of geometric group theoretic and knot theoretic
data.

We study the structure of the exteriors of gropes and Whitney towers in
dimension 4, focusing on their fundamental groups. In particular we introduce a
notion of unknottedness of gropes and Whitney towers in the 4sphere. We prove
that various modifications of gropes and Whitney towers preserve the
unknottedness and do not enlarge the fundamental group. We exhibit handlebody
structures of the exteriors of gropes and Whitney towers constructed by earlier
methods of Cochran, Teichner, Horn, and the first author, and use them to
construct examples of unknotted gropes and Whitney towers. As an application,
we introduce geometric bifiltrations of knots which approximate the double
sliceness in terms of unknotted gropes and Whitney towers. We prove that the
bifiltrations do not stabilize at any stage.

We present complete classifications of links in the 3sphere modulo framed
and twisted Whitney towers in a rational homology 4ball. This provides a
geometric characterization of the vanishing of the Milnor invariants of links
in terms of Whitney towers. Our result also says that the higher order Arf
invariants, which are conjectured to be nontrivial, measure the potential
difference between the Whitney tower theory in rational homology 4balls and
that in the 4ball extensively developed by Conant, Schneiderman and Teichner.

We present a large family of knots for which the Rasmussen sinvariants of
arbitrary satellites do not detect sliceness. This answers a question of
Hedden. The proof hinges on work of KronheimerMrowka and CochranHarveyHorn.

Polytopes in R^n with integral vertices form a monoid under the Minkowski
sum, and the Grothendieck construction gives rise to a group. We show that
every symmetric polytope is a norm in this group for every n.

We prove that a Casson tower of height 4 contains a flat embedded disc
bounded by the attaching circle, and we prove disc embedding results for height
2 and 3 Casson towers which are embedded into a 4manifold, with some
additional fundamental group assumptions. In the proofs we create a capped
grope from a Casson tower and use a refined height raising argument to
establish the existence of a symmetric grope which has two layers of caps, data
which is sufficient for a topological disc to exist, with the desired boundary.
As applications, we present new slice knots and links by giving direct
geometric constructions of slicing discs. In particular we construct a family
of slice knots which are potential counterexamples to the homotopy ribbon slice
conjecture.

We present new lower bounds on the complexity of Dehn surgery manifolds of
knots, using our recent result on the CheegerGromov rho invariants and
triangulations. As an application, we give explicit examples of closed
hyperbolic 3manifolds with fixed first homology for which the gap between the
Gromov norm and the complexity is arbitrarily large.

Using deep analytic methods, Cheeger and Gromov showed that for any smooth
(4k1)manifold there is a universal bound for the von Neumann $L^2$
$\rho$invariants associated to arbitrary regular covers. We present a proof of
the existence of a universal bound for topological (4k1)manifolds, using
$L^2$signatures of bounding 4kmanifolds. For 3manifolds, we give explicit
linear universal bounds in terms of triangulations, Heegaard splittings, and
surgery descriptions respectively. We show that our explicit bounds are
asymptotically optimal. As an application, we give new lower bounds of the
complexity of 3manifolds which can be arbitrarily larger than previously known
lower bounds. As ingredients of the proofs which seem interesting on their own,
we develop a geometric construction of efficient 4dimensional bordisms of
3manifolds over a group, and develop an algebraic topological notion of
uniformly controlled chain homotopies.

In the literature of the study of knot group epimorphisms, the existence of
an epimorphism between two given knot groups is mostly (if not always) shown by
giving an epimorphism which preserves meridians. A natural question arises: is
there an epimorphism preserving meridians whenever a knot group is a
homomorphic image of another? We answer in the negative by presenting
infinitely many pairs of prime knot groups (G,G') such that G' is a homomorphic
image of G but no epimorphism of G onto G' preserves meridians.

We use topological surgery in dimension four to give sufficient conditions
for the zero framed surgery manifold of a 3component link to be homology
cobordant to the 3torus, which arises from zero framed surgery on the
Borromean rings, via a topological homology cobordism preserving the homotopy
classes of the meridians. This enables us to give new examples of 3component
links with unknotted components and vanishing pairwise linking numbers, such
that any two of these links have homology cobordant zero surgeries in the above
sense, but the zero surgery manifolds are not homeomorphic. Moreover the links
are not concordant to one another, and in fact they can be chosen to be height
n but not height n+1 symmetric grope concordant, for each n which is at least
three.

This paper, to be regularly updated, lists those prime knots with the fewest
possible number of crossings for which values of basic knot invariants, such as
the unknotting number or the smooth 4genus, are unknown. This list is being
developed in conjunction with "KnotInfo" (www.indiana.edu/~knotinfo), a
webbased table of knot invariants.

The bipolar filtration introduced by T. Cochran, S. Harvey, and P. Horn is a
framework for the study of smooth concordance of topologically slice knots and
links. It is known that there are topologically slice 1bipolar knots which are
not 2bipolar. For knots, this is the highest known level at which the
filtration does not stabilize. For the case of links with two or more
components, we prove that the filtration does not stabilize at any level: for
any n, there are topologically slice links which are nbipolar but not
(n+1)bipolar. In the proof we describe an explicit geometric construction
which raises the bipolar height of certain links exactly by one. We show this
using the covering link calculus. Furthermore we discover that the bipolar
filtration of the group of topologically slice string links modulo smooth
concordance has a rich algebraic structure.

The splitting number of a link is the minimal number of crossing changes
between different components required, on any diagram, to convert it to a split
link. We introduce new techniques to compute the splitting number, involving
covering links and Alexander invariants. As an application, we completely
determine the splitting numbers of links with 9 or fewer crossings. Also, with
these techniques, we either reprove or improve upon the lower bounds for
splitting numbers of links computed by J. Batson and C. Seed using Khovanov
homology.

J. Davis showed that the topological concordance class of a link in the
3sphere is uniquely determined by its Alexander polynomial for 2component
links with Alexander polynomial one. A similar result for knots with Alexander
polynomial one was shown earlier by M. Freedman. We prove that these two cases
are the only exceptional cases, by showing that the link concordance class is
not determined by the Alexander invariants in any other case.

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.

We introduce a notion of symmetric Whitney tower cobordism between bordered
3manifolds, aiming at the study of homology cobordism and link concordance. It
is motivated by the symmetric Whitney tower approach to slicing knots and links
initiated by Cochran, Orr, and Teichner. We give amenable CheegerGromov
rhoinvariant obstructions to bordered 3manifolds being Whitney tower
cobordant. Our obstruction is related to and generalizes several prior known
results, and also gives new interesting cases. As an application, our method
applied to link exteriors reveals new structures on (Whitney tower and grope)
concordance between links with nonzero linking number, including the Hopf link.

We show that there are links whose individual components are concordant to
the unknot, but which are not concordant to any link with unknotted components.
We give examples in the topological category, and examples in the smooth
category which are topologically slice. We also give generalizations regarding
components of prescribed Alexander polynomials. The main tools are covering
link calculus, algebraic invariants of rational knot concordance theory, and
the correction term of Heegaard Floer homology.

We introduce new obstructions to topological knot concordance. These are
obtained from amenable groups in Strebel's class, possibly with torsion, using
a recently suggested $L^2$theoretic method due to Orr and the author.
Concerning $(h)$solvable knots which are defined in terms of certain Whitney
towers of height $h$ in bounding 4manifolds, we use the obstructions to reveal
new structure in the knot concordance group not detected by prior known
invariants: for any $n>1$ there are $(n)$solvable knots which are not
$(n.5)$solvable (and therefore not slice) but have vanishing
CochranOrrTeichner $L^2$signature obstructions as well as Levine algebraic
obstructions and CassonGordon invariants.

It was shown by Jim Davis that a 2component link with Alexander polynomial
one is topologically concordant to the Hopf link. In this paper, we show that
there is a 2component link with Alexander polynomial one that has unknotted
components and is not smoothly concordant to the Hopf link, answering a
question of Jim Davis. We construct infinitely many concordance classes of such
links, and show that they have the stronger property of not being smoothly
concordant to the Hopf link with knots tied in the components.

The twisted torsion of a 3manifold is wellknown to be zero whenever the
corresponding twisted Alexander module is nontorsion. Under mild extra
assumptions we introduce a new twisted torsion invariant which is always
nonzero. We show how this torsion invariant relates to the twisted
intersection form of a bounding 4manifold, generalizing a theorem of Milnor.
Using this result, we give new obstructions to 3manifolds being homology
cobordant and to links being concordant. These obstructions are sufficiently
strong to detect that the Bing double of the figure eight knot is not slice.

Garoufalidis and Levine introduced the homology cobordism group of homology
cylinders over a surface. This group can be regarded as a generalization of the
mapping class group. Using torsion invariants, we show that the abelianization
of this group is infinitely generated provided that the first Betti number of
the surface is positive. In particular, this shows that the group is not
perfect. This answers questions of GaroufalidisLevine and GodaSakasai.
Furthermore we show that the abelianization of the group has infinite rank for
the case that the surface has more than one boundary component. These results
hold for the homology cylinder analogue of the Torelli group as well.

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 give a new geometric obstruction to the iterated Bing double of a knot
being a slice link: for n>1 the (n+1)st iterated Bing double of a knot is
rationally slice if and only if the nth iterated Bing double of the knot is
rationally slice. The main technique of the proof is a covering link
construction simplifying a given link. We prove certain similar geometric
obstructions for n <= 1 as well. Our results are sharp enough to conclude, when
combined with algebraic invariants, that if the nth iterated Bing double of a
knot is slice for some n, then the knot is algebraically slice. Also our
geometric arguments applied to the smooth case show that the OzsvathSzabo and
ManolescuOwens invariants give obstructions to iterated Bing doubles being
slice. These results generalize recent results of Harvey, Teichner, Cimasoni,
Cha and ChaLivingstonRuberman. As another application, we give explicit
examples of algebraically slice knots with nonslice iterated Bing doubles by
considering von Neumann rhoinvariants and rational knot concordance. Refined
versions of such examples are given, that take into account the
CochranOrrTeichner filtration.

We obtain new invariants of topological link concordance and homology
cobordism of 3manifolds from Hirzebruchtype intersection form defects of
towers of iterated pcovers. Our invariants can extract geometric information
from an arbitrary depth of the derived series of the fundamental group, and can
detect torsion which is invisible via signature invariants. Applications
illustrating these features include the following: (1) There are infinitely
many homology equivalent rational 3spheres which are indistinguishable via
multisignatures, etainvariants, and L2signatures but have distinct homology
cobordism types. (2) There is an infinite family of 2torsion (amphichiral)
knots, including the figure eight knot, with nonslice iterated Bing doubles;
as a special case, we give the first proof of the conjecture that the Bing
double of the figure eight knot is not slice. (3) There exist infinitely many
torsion elements at any depth of the CochranOrrTeichner filtration of link
concordance.