We prove that if the order of the first homology of the 2-fold branched cover of a knot K in the 3-sphere is given by pm where p is a prime congruent to 3 mod 4 and gcd(p,m) =1, then K is of infinite order in the knot concordance group. This provides an obstruction to classical knots being of order 4. In particular, there are 11 prime knots with 10 or fewer crossings that are of order 4 in the algebraic concordance group; all are infinite order in concordance. Another corollary states that any knot with Alexander polynomial 5t^2 - 11t + 5 is of infinite order in concordance; Levine proved that in higher dimensions all such knots are of order 4.
We show that any knot which is smoothly the closure of a 3-braid cannot be Lagrangian concordant to and from the maximum Thurston-Bennequin Legendrian unknot except the unknot itself. Our obstruction comes from drawing the Weinstein handlebody diagrams of particular symplectic fillings of cyclic branched double covers of knots in $S^3$. We use the Legendrian contact homology differential graded algebra of the links in these diagrams to compute the symplectic homology of these fillings to derive a contradiction. As a corollary, we find an infinite family of contact manifolds which are rational …
We define a nontrivial mod 2 valued additive concordance invariant defined on the torsion subgroup of the knot concordance group using involutive knot Floer package. For knots not contained in its kernel, we prove that their iterated $(\text{odd},1)$-cables have infinite order in the concordance group and, among them, infinitely many are linearly independent. Furthermore, by taking $(2,1)$-cables of the aforementioned knots, we present an infinite family of knots which are strongly rationally slice but not slice.
Let $M_K$ be the 2-fold branched cover of a knot $K in $S^3$. If $H_1(M_K) = {\bf Z}_3 \oplus {\bf Z}_{3^{2i}} \oplus G$ where 3 does not divide the order of $G$ then $K$ is not of order 4 in the concordance group. This obstruction detects infinite new families of knots that represent elements of order 4 in the algebraic concordance group that are not of order 4 in concordance.
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.
Let K be a knot in the 3-sphere with 2-fold branched covering space M. If for some prime p congruent to 3 mod 4 the p-torsion in the first homology of M is cyclic with odd exponent, then K is of infinite order in the knot concordance group. As one application, recall that the n-twisted double of an arbitrary knot has order 4 in Levine's algebraic concordance group if and only if n is positive and some prime congruent to 3 mod 4 has odd exponent in 4n+1; we show that all such knots are of infinite order in the knot concordance group. As a second application, the 2-bridge knot K(r,s) has infinit…
We prove a concordance analogue of Gabai's $4$-dimensional light bulb theorem. That is, we show that when $R$ and $R'$ are homotopically (smoothly) embedded $2$-spheres in a $4$-manifold $X^4$ where $π_1(X^4)$ has no $2$-torsion and one of $R$ or $R'$ has a transverse sphere, then $R$ and $R'$ are concordant. When $π_1(X^4)$ has $2$-torsion, we give a similar statement with extra hypotheses as in the $4$-dimensional light bulb theorem. We also give similar statements when $R$ and $R'$ are orientable positive-genus surfaces.
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 hom…
We discuss an infinite class of metabelian Von Neumann rho-invariants. Each one is a homomorphism from the monoid of knots to the real line. In general they are not well defined on the concordance group. Nonetheless, we show that they pass to well defined homomorphisms from the subgroup of the concordance group generated by anisotropic knots. Thus, the computation of even one of these invariants can be used to conclude that a knot is of infinite order. We introduce a method to give a computable bound on these invariants. Finally we compute this bound to get a new and explicit infinite set of t…
Torsion in the concordance group $\mathscr{C}$ of knots in $S^3$ can be studied with the algebraic concordance group $\mathscr{G}^{\mathbb{F}}$. Here $\mathbb{F}$ is a field of characteristic $χ(\mathbb{F}) \ne 2$. The group $\mathscr{G}^{\mathbb{F}}$ was defined by J. Levine, who also obtained an algebraic classification when $\mathbb{F}=\mathbb{Q}$. While the concordance group $\mathscr{C}$ is abelian, it embeds into the non-abelian virtual knot concordance group $\mathscr{VC}$. It is unknown if $\mathscr{VC}$ admits non-classical finite torsion. Here we define the virtual algebraic concorda…
In 1997 Cochran-Orr-Teichner introduced a natural filtration, called the n-solvable filtration, of the smooth knot concordance group, C. Its terms {F_n} are indexed by half integers. We show that each associated graded abelian group G_n=F_n/F_{n.5}, n>1, contains infinite linearly independent sets of elements of order 2 (this was known previously for n=0,1). Each of the representative knots is negative amphichiral, with vanishing s-invariant, tau-invariant, delta-invariants and Casson-Gordon invariants. Moreover each is smoothly slice in a rational homology 4-ball. In fact we show that there a…
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-Te…
We study the group of rational concordance classes of codimension two knots in rational homology spheres. We give a full calculation of its algebraic theory by developing a complete set of new invariants. For computation, we relate these invariants with limiting behaviour of the Artin reciprocity over an infinite tower of number fields and analyze it using tools from algebraic number theory. In higher dimensions it classifies the rational concordance group of knots whose ambient space satisfies a certain cobordism theoretic condition. In particular, we construct infinitely many torsion element…
We employ Hirzebruch-type invariants obtained from iterated p-covers to investigate concordance of links and string links. We show that the invariants naturally give various group homomorphisms of the string link concordance group into L-groups over number fields. We also obtain homomorphisms of successive quotients of the Cochran-Orr-Teichner filtration. As an application we show that the kernel of Harvey's $ρ_n$-invariant is large enough to contain a subgroup with infinite rank abelianization, modulo local knots. As another application, we show that recently discovered nontrivial 2-torsion e…
Given a connected cobordism between two knots in the 3-sphere, our main result is an inequality involving torsion orders of the knot Floer homology of the knots, and the number of local maxima and the genus of the cobordism. This has several topological applications: The torsion order gives lower bounds on the bridge index and the band-unlinking number of a knot, the fusion number of a ribbon knot, and the number of minima appearing in a slice disk of a knot. It also gives a lower bound on the number of bands appearing in a ribbon concordance between two knots. Our bounds on the bridge index a…
Given a 3-manifold $Y$ and a free homotopy class in $[S^1,Y]$, we investigate the set of topological concordance classes of knots in $Y \times [0,1]$ representing the given homotopy class. The concordance group of knots in the 3-sphere acts on this set. We show in many cases that the action is not transitive, using two techniques. Our first technique uses Reidemeister torsion invariants, and the second uses linking numbers in covering spaces. In particular, we show using covering links that for the trivial homotopy class, and for any 3-manifold that is not the 3-sphere, the set of orbits is in…
We study knots of order 2 in the grope filtration $\{\G_h\}$ and the solvable filtration $\{\F_h\}$ of the knot concordance group. We show that, for any integer $n\ge4$, there are knots generating a $\Z_2^\infty$ subgroup of $\G_n/\G_{n.5}$. Considering the solvable filtration, our knots generate a $\Z_2^\infty$ subgroup of $\F_n/\F_{n.5}$ $(n\ge2)$ distinct from the subgroup generated by the previously known 2-torsion knots of Cochran, Harvey, and Leidy. We also present a result on the 2-torsion part in the Cochran, Harvey, and Leidy's primary decomposition of the solvable filtration.
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 $Γ$ 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,…
For any group G, we define a new characteristic series related to the derived series, that we call the torsion-free derived series of G. Using this series and the Cheeger-Gromov rho-invariant, we obtain new real-valued homology cobordism invariants rho_n for closed (4k-1)-dimensional manifolds. For 3-dimensional manifolds, we show that {rho_n} is a linearly independent set and for each n, the image of rho_n is an infinitely generated and dense subset of R. In their seminal work on knot concordance, T. Cochran, K. Orr, and P. Teichner define a filtration F_(n)^m of the m-component (string) link…
Residual torsion-free nilpotence has proven to be an important property for knot groups with applications to bi-orderability and ribbon concordance. Mayland proposed a strategy to show that a two-bridge knot group has a commutator subgroup which is a union of an ascending chain of parafree groups. This paper proves Mayland's assertion and expands the result to the subgroups of two-bridge link groups that correspond to the kernels of maps to $\mathbb{Z}$. We call these kernels the Alexander subgroups of the links. As a result, we show the bi-orderability of a large family of two-bridge link gro…
Let p be an odd regular prime, and assume that the Lichtenbaum-Quillen conjecture holds for K(Z[1/p]) at p. Then the p-primary homotopy type of the smooth Whitehead spectrum Wh(*) is described. A suspended copy of the cokernel-of-J spectrum splits off, and the torsion homotopy of the remainder equals the torsion homotopy of the fiber of the restricted S^1-transfer map t: SigmaCP^infty--> S. The homotopy groups of Wh(*) are determined in a range of degrees, and the cohomology of Wh(*) is expressed as an A-module in all degrees, up to an extension. These results have geometric topological interp…
We develop new algebraic methods refining the Witt group of linking forms and Ranicki's torsion algebraic L-groups into double Witt groups and double L-groups. At each prime ideal of the underlying ring, our double Witt groups capture infinitely many more integral signatures of the linking form than the single Witt groups. The double L-groups are an algebraic theory of `double cobordism', refining L-theory analogously. We exhibit an exact sequence relating the double L-groups to classical projective L-theory via a double homology surgery obstruction group. The algebraic techniques are applied …
