This paper is a generalization of the author's previous work on link homotopy to link concordance. We show that the only real-valued finite type link concordance invariants are the linking numbers of the components.
We study the eta-invariants of links and show that in many cases they form link concordance invariants, in particular that many eta-invariants vanish for slice links. This result contains and generalizes previous invariants by Smolinsky and Cha--Ko. We give a formula for the eta-invariant for boundary links. In several intersting cases this allows us to show that a given link is not slice. We show that even more eta-invariants have to vanish for boundary slice links. We give an example of a boundary link $L$ that is not boundary slice but where all the known link concordance invariants compute…
We show that the twisted signature invariants of boundary link concordance derived from unitary representations of the free group are actually ordinary link concordance invariants. We also show how the discontinuity locus of this signature function is determined by Seifert matrices of the link.
We prove the analogue of the Concordance Implies Isotopy in Codimension $\ge 3$ Theorem for link maps, together with some other its singular analogues. In the case of spherical link maps, a stronger result was independently obtained by P. Teichner (by different methods).
We define a family of link concordance invariants $\left\{ s_n \right\}_{n=2,3, \cdots}$. These link concordance invariants give lower bounds on the slice genus of a link $L$. We compute the slice genus of positive links. Moreover, these invariants give lower bounds on the link splitting number of a link. Especially, this new lower bound determines the splitting number of positive torus links. This is a generalization of Lobb's knot concordance invariants $\left\{ s_n \right\}$, obtained from Gornik's spectral sequence.
We define a notion of concordance based on Euler characteristic, and show that it gives rise to a concordance group of links in the three-sphere, which has the concordance group of knots as a direct summand with infinitely generated complement. We consider variants of this using oriented and nonoriented surfaces as well as smooth and locally flat embeddings.
We investigate the concordance properties of `parallel links' P(K), given by the (2,0) cable of a knot K. We focus on the question: if P(K) is concordant to a split link, is K necessarily slice? We show that if P(K) is smoothly concordant to a split link, then many smooth concordance invariants of K must vanish, including the tau and s-invariants, and suitably normalized d-invariants of surgeries on K. We also investigate the (2,2m) cables P_m(K), and find obstructions to smooth concordance to the sum of the (2,2m) torus link and a split link.
Satellite constructions on a knot can be thought of as taking some strands of a knot and then tying in another knot. Using satellite constructions one can construct many distinct isotopy classes of knots. Pushing this further one can construct distinct concordance classes of knots which preserve some algebraic invariants. Infection is a generalization of satellite operations, which has been previously studies. An infection by a string link can be thought of as grabbing a knot at multiple locations and then tying in a link. Cochran, Friedl and Techner showed that any algebraically slice knot is…
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.
Fixing two concordant links in $3$--space, we study the set of all embedded concordances between them, as knotted annuli in $4$--space. When regarded up to surface-concordance or link-homotopy, the set $\mathcal{C}(L)$ of concordances from a link $L$ to itself forms a group. In order to investigate these groups, we define Milnor-type invariants of $\mathcal{C}(L)$, which are integers defined modulo a certain indeterminacy given by Milnor invariants of $L$. We show in particular that, for a slice link $L$, these invariants classify $\mathcal{C}(L)$ up to link-homotopy.
We construct links of arbitrarily many components each component of which is slice and yet are not concordant to any link with even one unknotted component. The only tool we use comes from the Alexander modules.
We introduce a generalization of the Ozsváth-Szabó $τ$-invariant to links by studying a filtered version of link grid homology. We prove that this invariant remains unchanged under strong concordance and we show that it produces a lower bound for the slice genus of a link. We show that this bound is sharp for torus links and we also give an application to Legendrian link invariants in the standard contact 3-sphere.
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.
Knots and links in 3-manifolds are studied by applying intersection invariants to singular concordances. The resulting link invariants generalize the Arf invariant, the mod 2 Sato-Levine invariants, and Milnor's triple linking numbers. Besides fitting into a general theory of Whitney towers, these invariants provide obstructions to the existence of a singular concordance which can be homotoped to an embedding after stabilization by connected sums with $S^2\times S^2$. Results include classifications of stably slice links in orientable 3-manifolds, stable knot concordance in products of an orie…
In this paper we construct a sequence of integer-valued concordance invariants $ν_n(K)$ that generalize the Ozsváth-Szabó $ν$-invariant and the Hom-Wu $ν^+$-invariant.
Hom gives an example of a knot with vanishing Upsilon invariant but nonzero epsilon invariant. We build more such knots that are linearly independent in the smooth concordance group.
We can construct a 4-manifold by attaching 2-handles to a 4-ball with framing r along the components of a link in the boundary of the 4-ball. We define a link as r-shake slice if there exists embedded spheres that represent the generators of the second homology of the 4-manifold. This naturally extends r-shake slice, a generalization of slice that has previously only been studied for knots, to links of more than one component. We also define a relative notion of shake r-concordance for links and versions with stricter conditions on the embedded spheres that we call strongly r-shake slice and s…
We compare the smooth concordance invariants Upsilon, phi and epsilon. Previous work gave examples of knots with one of the Upsilon and phi invariants zero but the epsilon invariant nonzero. We build an infinite family of linearly independent knots with both the Upsilon and phi invariants zero but the epsilon invariant nonzero.
It was recently proved by several authors that ribbon concordances induce injective maps in knot Floer homology, Khovanov homology, and the Heegaard Floer homology of the branched double cover. We give a simple proof of a similar statement in a more general setting, which includes knot Floer homology, Khovanov-Rozansky homologies, and all conic strong Khovanov-Floer theories. This gives a philosophical answer to the question of which aspects of a link TQFT make it injective under ribbon concordances.
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.
A fibered concordance of knots, introduced by Harer, is a concordance between fibered knots that is well-behaved with respect to the fibrations. We consider semi-fibered concordance of two component ordered links $L=J \sqcup K$ with $J$ fibered. These are concordances that restrict to fibered concordances on the first component. Motivated by some examples of Gompf-Scharlemann-Thompson, we further limit our attention to those links $L$ where $K$ is "close to" a fiber of $J$. Such $L$ are studied with virtual covers, where a virtual knot $\upsilon$ is associated to $L$. We show that the concorda…
Dai, Hom, Stoffregen and Truong defined a family of concordance invariants $φ_j$. The example of a knot with zero Upsilon invariant but nonzero epsilon invariant previously given by Hom also has nonzero phi invariant. We show there are infinitely many such knots that are linearly independent in the smooth concordance group. In the opposite direction, we build infinite families of linearly independent knots with zero phi invariant but nonzero Upsilon invariant. We also give a recursive formula for the phi invariant of torus knots.
Concordance invariants of knots are derived from the instanton homology groups with local coefficients, as introduced in earlier work of the authors. These concordance invariants include a 1-parameter family of homomorphisms $f_{r}$, from the knot concordance group to the reals. Prima facie, these concordance invariants have the potential to provide independent bounds on the genus and number of double points for immersed surfaces with boundary a given knot.
We study the effect of mutation on link concordance and 3-manifolds. We show that the set of links concordant to sublinks of homology boundary links is not closed under positive mutation. We show that mutation does not preserve homology cobordism classes of 3-manifolds. A significant consequence is that there exist 3-manifolds which have the same quantum SU(2)-invariants but are not homology cobordant. These results are obtained by investigating the effect of mutation on the Milnor invariants, or equivalently the Massey products.
To a region $C$ of the plane satisfying a suitable convexity condition we associate a knot concordance invariant $Υ^C$. For appropriate choices of the domain this construction gives back some known knot Floer concordance invariants like Rasmussen's $h_i$ invariants, and the Ozsv\' ath-Stipsicz-Szab\' o upsilon invariant. Furthermore, to three such regions $C$, $C^+$ and $C^- $ we associate invariants $Υ_{C^\pm, C}$ generalising Kim-Livingston secondary invariant. We show how to compute these invariants for some interesting classes of knots (including alternating and torus knots), and we use th…
We construct the concordance invariant coming from the $E(-1)$ spectral sequence on Khovanov homology in the same way Rasmussen's $s$ invariant comes from the Lee spectral sequence, and show that it gives a bound on the nonorientable slice genus.
Ozsvath-Stipsicz-Szabo recently defined a one-parameter family, upsilon of K at t, of concordance invariants associated to the knot Floer complex. We compare their invariant to the {-1, 0, 1}-valued concordance invariant epsilon, which is also associated to the knot Floer complex. In particular, we give an example of a knot K with upsilon uniformly equal to zero but epsilon non-zero.
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…
We use the knot homology of Khovanov and Lee to construct link concordance invariants generalizing the Rasmussen $s$-invariant of knots. The relevant invariant for a link is a filtration on a vector space of dimension $2^{|L|}$. The basic properties of the $s$-invariant all extend to the case of links; in particular, any orientable cobordism $Σ$ between links induces a map between their corresponding vector spaces which is filtered of degree $χ(Σ)$. A corollary of this construction is that any component preserving orientable cobordism from a $\Kh$-thin link to a link split into $k$ components …
In the study of homology cobordisms, knot concordance and link concordance, the following technical problem arises frequently: let $π$ be a group and let $M \to N$ be a homomorphism between projective $\Z[π]$-modules such that $\Z_p \otimes_{\Z[π]} M\to \Z_p \otimes_{\Z[π]} N$ is injective; for which other right $\Z[π]$-modules $V$ is the induced map $V \otimes_{\Z[π]} M\to V\otimes_{\Z[π]}N$ also injective? Our main theorem gives a new criterion which combines and generalizes many previous results.
The knot concordance invariant Upsilon, recently defined by Ozsvath, Stipsicz, and Szabo, takes values in the group of piecewise linear functions on the closed interval [0,2]. This paper presents a description of one approach to defining Upsilon and of proving its basic properties related to the knot 3-genus, 4-genus, and concordance genus.
We compute the effect of concordance surgery, a generalization of knot surgery defined using a self-concordance of a knot, on the Ozsváth-Szabó 4-manifold invariant. The formula involves the graded Lefschetz number of the concordance map on knot Floer homology. The proof uses the sutured Floer TQFT, and a version of sutured Floer homology perturbed by a 2-form.
We introduce a new class of links for which we give a lower bound for the slice genus $g_*$, using the generalized Rasmussen invariant. We show that this bound, in some cases, allows one to compute $g_*$ exactly; in particular, we compute $g_*$ for torus links. We also study another link invariant: the strong slice genus $g_*^*$. Studying the behaviour of a specific type of cobordisms in Lee homology, a lower bound for $g_*^*$ is also given.
Link-homotopy and self Delta-equivalence are equivalence relations on links. It was shown by J. Milnor (resp. the last author) that Milnor invariants determine whether or not a link is link-homotopic (resp. self Delta-equivalent) to a trivial link. We study link-homotopy and self Delta-equivalence on a certain component of a link with fixing the rest components, in other words, homotopy and Delta-equivalence of knots in the complement of a certain link. We show that Milnor invariants determine whether a knot in the complement of a trivial link is null-homotopic, and give a sufficient condition…
In the present paper we extend the definition of slice-torus invariant to links. We prove a few properties of the newly-defined slice-torus link invariants: the behaviour under crossing change, a slice genus bound, an obstruction to strong sliceness, and a combinatorial bound. Furthermore, we provide an application to the computation of the splitting number. Finally, we use the slice-torus link invariants, and the Whitehead doubling to define new strong concordance invariants for links, which are proven to be independent from the corresponding slice-torus link invariant.
We establish several new results about both the (n)-solvable filtration, F_n^m, of the set of link concordance classes and the (n)-solvable filtration of the string link concordance group. We first establish a relationship between Milnor's invariants and links, L, with certain restrictions on the 4-manifold bounded by M_L. Using this relationship, we can relate (n)-solvability of a link (or string link) with its Milnor's invariants. Specifically, we show that if a link is (n)-solvable, then its Milnor's invariants vanish for lengths up to 2^{n+2}-1. Previously, there were no known results abou…
Using the Gordon-Litherland pairing, one can define invariants (signature, nullity, determinant) for ${\mathbb Z}/2$ null-homologous links in thickened surfaces. In this paper, we study the concordance properties of these invariants. For example, if $K \subset Σ\times I$ is ${\mathbb Z}/2$ null-homologous and slice, we show that its signatures vanish and its determinants are perfect squares. These statements are derived from a cobordism result for closed unoriented surfaces in certain 4-manifolds. The Brown invariants are defined for ${\mathbb Z}/2$ null-homologous links in thickened surfaces.…
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.
In this paper we investigate the 0-concordance classes of 2-knots in $S^4$, an equivalence relation that is related to understanding smooth structures on 4-manifolds. Using Rochlin's invariant, and invariants arising from Heegaard-Floer homology, we will prove that there are infinitely many 0-concordance classes of 2-knots.
We show that the differences between various concordance invariants of knots, including Rasmussen's $s$-invariant and its generalizations $s_n$-invariants, give lower bounds to the Turaev genus of knots. Using the fact that our bounds are nontrivial for some quasi-alternating knots, we show the additivity of Turaev genus for a certain class of knots. This leads us to the first example of an infinite family of quasi-alternating knots with Turaev genus exactly $g$ for any fixed positive integer $g$, solving a question of Champanerkar-Kofman.
Ozsvath and Szabo have defined a knot concordance invariant tau that bounds the 4-ball genus of a knot. Here we discuss shortcuts to its computation. We include examples of Alexander polynomial one knots for which the invariant is nontrivial, including all iterated untwisted positive doubles of knots with nonnegative Thurston-Bennequin number, such as the trefoil, and explicit computations for several 10 crossing knots. We also note that a new proof of the Slice-Bennequin Inequality quickly follows from these techniques.
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…