• ### 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.
• ### Complexities of 3-manifolds from triangulations, Heegaard splittings, and surgery presentations(1506.00757)

Aug. 23, 2017 math.GT
We study complexities of 3-manifolds 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 Cheeger-Gromov $L^2$ $\rho$-invariants in terms of geometric group theoretic and knot theoretic data.
• ### Unknotted gropes, Whitney towers, and doubly slicing knots(1612.02226)

Aug. 22, 2017 math.GT
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 4-sphere. 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 bi-filtrations of knots which approximate the double sliceness in terms of unknotted gropes and Whitney towers. We prove that the bi-filtrations do not stabilize at any stage.
• ### Rational Whitney tower filtration of links(1609.05161)

March 15, 2017 math.GT
We present complete classifications of links in the 3-sphere modulo framed and twisted Whitney towers in a rational homology 4-ball. 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 4-balls and that in the 4-ball extensively developed by Conant, Schneiderman and Teichner.
• ### Rasmussen s-invariants of satellites do not detect slice knots(1512.08931)

Dec. 30, 2015 math.GT
We present a large family of knots for which the Rasmussen s-invariants of arbitrary satellites do not detect sliceness. This answers a question of Hedden. The proof hinges on work of Kronheimer-Mrowka and Cochran-Harvey-Horn.
• ### The Grothendieck group of polytopes and norms(1512.06699)

Dec. 21, 2015 math.GT, math.MG, math.GR
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.
• ### Casson towers and slice links(1411.1621)

Dec. 2, 2015 math.GT
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 4-manifold, 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.
• ### Complexity of surgery manifolds and Cheeger-Gromov invariants(1506.00758)

June 2, 2015 math.GT
We present new lower bounds on the complexity of Dehn surgery manifolds of knots, using our recent result on the Cheeger-Gromov rho invariants and triangulations. As an application, we give explicit examples of closed hyperbolic 3-manifolds with fixed first homology for which the gap between the Gromov norm and the complexity is arbitrarily large.
• ### A topological approach to Cheeger-Gromov universal bounds for von Neumann rho-invariants(1405.1805)

June 2, 2015 math.DG, math.AT, math.GT
Using deep analytic methods, Cheeger and Gromov showed that for any smooth (4k-1)-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 (4k-1)-manifolds, using $L^2$-signatures of bounding 4k-manifolds. For 3-manifolds, 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 3-manifolds 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 4-dimensional bordisms of 3-manifolds over a group, and develop an algebraic topological notion of uniformly controlled chain homotopies.
• ### Non-meridional epimorphisms of knot groups(1502.06039)

Feb. 20, 2015 math.GT
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.
• ### Non-concordant links with homology cobordant zero framed surgery manifolds(1309.5051)

Dec. 11, 2014 math.GT
We use topological surgery in dimension four to give sufficient conditions for the zero framed surgery manifold of a 3-component link to be homology cobordant to the 3-torus, 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 3-component 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.
• ### Unknown values in the table of knots(math/0503125)

June 14, 2014 math.GT
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 4-genus, are unknown. This list is being developed in conjunction with "KnotInfo" (www.indiana.edu/~knotinfo), a web-based table of knot invariants.
• ### Covering link calculus and the bipolar filtration of topologically slice links(1212.5011)

Oct. 24, 2013 math.GT
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 1-bipolar knots which are not 2-bipolar. 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 n-bipolar 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.
• ### Splitting numbers of links(1308.5638)

Aug. 26, 2013 math.GT
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.
• ### Concordance of links with identical Alexander invariants(1212.2924)

Dec. 12, 2012 math.GT
J. Davis showed that the topological concordance class of a link in the 3-sphere is uniquely determined by its Alexander polynomial for 2-component 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.
• ### 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.
• ### Symmetric Whitney tower cobordism for bordered 3-manifolds and links(1204.4968)

Nov. 27, 2012 math.GT
We introduce a notion of symmetric Whitney tower cobordism between bordered 3-manifolds, 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 Cheeger-Gromov rho-invariant obstructions to bordered 3-manifolds 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.
• ### Concordance to links with unknotted components(1103.2417)

Feb. 11, 2012 math.GT
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.
• ### Amenable L2-theoretic methods and knot concordance(1010.1058)

July 5, 2011 math.GT
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 4-manifolds, 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 Cochran-Orr-Teichner $L^2$-signature obstructions as well as Levine algebraic obstructions and Casson-Gordon invariants.
• ### Smooth concordance of links topologically concordant to the Hopf link(1012.2045)

Dec. 9, 2010 math.GT
It was shown by Jim Davis that a 2-component link with Alexander polynomial one is topologically concordant to the Hopf link. In this paper, we show that there is a 2-component 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.
• ### Twisted torsion invariants and link concordance(1001.0926)

Sept. 29, 2010 math.GT
The twisted torsion of a 3-manifold is well-known to be zero whenever the corresponding twisted Alexander module is non-torsion. Under mild extra assumptions we introduce a new twisted torsion invariant which is always non-zero. We show how this torsion invariant relates to the twisted intersection form of a bounding 4-manifold, generalizing a theorem of Milnor. Using this result, we give new obstructions to 3-manifolds 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.
• ### The cobordism group of homology cylinders(0909.5580)

April 14, 2010 math.GT
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 Garoufalidis-Levine and Goda-Sakasai. 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.
• ### $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.
• ### Covering link calculus and iterated Bing doubles(0712.3762)

July 1, 2008 math.GT
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 n-th 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 n-th 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 Ozsvath-Szabo and Manolescu-Owens invariants give obstructions to iterated Bing doubles being slice. These results generalize recent results of Harvey, Teichner, Cimasoni, Cha and Cha-Livingston-Ruberman. As another application, we give explicit examples of algebraically slice knots with non-slice iterated Bing doubles by considering von Neumann rho-invariants and rational knot concordance. Refined versions of such examples are given, that take into account the Cochran-Orr-Teichner filtration.
• ### Link concordance, homology cobordism, and Hirzebruch-type defects from iterated p-covers(0705.0088)

June 16, 2008 math.GT
We obtain new invariants of topological link concordance and homology cobordism of 3-manifolds from Hirzebruch-type intersection form defects of towers of iterated p-covers. 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 3-spheres which are indistinguishable via multisignatures, eta-invariants, and L2-signatures but have distinct homology cobordism types. (2) There is an infinite family of 2-torsion (amphichiral) knots, including the figure eight knot, with non-slice 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 Cochran-Orr-Teichner filtration of link concordance.