We generalize the Manolescu-Owens smooth concordance invariant delta(K) of knots K in the 3-sphere to invariants delta_{p^n}(K) obtained by considering covers of order p^n, with p prime. Our main result shows that for any odd prime p, the direct sum of delta_{p^n} as n ranges through the natural numbers, yields a homomorphism of infinite rank from the smooth concordance group to Z^\infty. We also show that unlike delta, these new invariants typically are not multiples of the knot signature, even for alternating knots. A significant portion of the article is devoted to exploring examples.
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…
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…
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 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.
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 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.
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.
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.
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.
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…
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.
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.
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.
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 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 show that the EH class and the LOSS invariant of Legendrian knots in contact 3-manifolds are functorial under regular Lagrangian concordances in Weinstein cobordisms. This gives computable obstructions to the existence of regular Lagrangian concordances.
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.
By studying the Heegaard Floer homology of the preimage of a knot K in S^3 inside its double branched cover, we develop simple obstructions to K having finite order in the classical smooth concordance group. As an application, we prove that all 2-bridge knots of crossing number at most 12 for which the smooth concordance order was previously unknown have infinite smooth concordance order.
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…
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.…
We construct smooth concordance invariants of knots which take the form of piecewise linear maps from [0,1] to R, one for each n greater than or equal to 2. These invariants arise from sl(n) knot cohomology. We verify some properties which are analogous to those of the invariant Upsilon (which arises from knot Floer homology), and some which differ. We make some explicit computations and give some topological applications. Further to this, we define a concordance invariant from equivariant sl(n) knot cohomology which subsumes many known concordance invariants arising from quantum knot cohomolo…
Combining known spectral sequences with a new spectral sequence relating reduced and unreduced sl(N)-homology yields a relationship between the Homflypt-homology of a knot and its sl(N)-concordance invariants. As an application, some of the sl(N)-concordance invariants are shown to be linearly independent.
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.
In this paper we present several counterexamples to Rasmussen's conjecture that the concordance invariant coming from Khovanov homology is equal to twice the invariant coming from Ozsv{á}th-Szab{ó} Floer homology. The counterexamples are twisted Whitehead doubles of the (2,2n+1) torus knots.
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 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…
Various obstructions to knot concordance have been found using Casson-Gordon invariants, higher-order Alexander polynomials, as well as von-Neumann rho-invariants. Examples have been produced using (iterated) doubling operations K=R(c,J), and considering these as parametrized by invariants of the base knot J and doubling operator R. In this paper, we introduce a new mew method to obstruct concordance. We show that infinitely many distinct concordance classes may be constructed by varying the infecting curve c in S^3-R. Distinct concordance classes are found even while fixing the base knot, the…
It is known that if any prime power branched cyclic cover of a knot in the 3-sphere is a homology sphere, then the knot has vanishing Casson-Gordon invariants. We construct infinitely many examples of (topologically) non-slice knots in the 3-sphere whose prime power branched cyclic covers are homology spheres. We show that these knots generate an infinite rank subgroup of F_(1.0)/F_(1.5) for which Casson-Gordon invariants vanish in Cochran-Orr-Teichner's filtration of the classical knot concordance group . As a corollary, it follows that Casson-Gordon invariants are not a complete set of obstr…
We study Khovanov homology over the Frobenius algebra $\mathbb{F}[U,V,X]/((X-U)(X-V))$, or $U(1) \times U(1)$-equivariant Khovanov homology, and extract two families of concordance invariants using the algebraic $U$-power and $V$-power filtrations on the chain complex. We also further develop the reduced version of the theory and study its behavior under mirroring.
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.
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 …
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.
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.
Given a diagram D of a knot K, we give easily computable bounds for Rasmussen's concordance invariant s(K). The bounds are not independent of the diagram D chosen, but we show that for diagrams satisfying a given condition the bounds are tight. As a corollary we improve on previously known Bennequin-type bounds on the slice genus.
By considering a version of Khovanov homology incorporating both the Lee and $E(-1)$ differentials, we construct a $1$-parameter family of concordance homomorphisms similar to the Upsilon invariant from knot Floer homology. This invariant gives lower bounds on the slice genus and can be used to prove that certain infinite families of pretzel knots are linearly independent in the smooth concordance group.
We give necessary conditions of a surface-knot to be ribbon concordant to another, by introducing a new variant of the cocycle invariant of surface-knots in addition to using the invariant already known. We demonstrate that twist-spins of some torus knots are not ribbon concordant to their orientation reversed images.
We prove the nontriviality, at all integral levels n, of the filtration, F_n, of the classical topological knot concordance group recently defined by the authors and Kent Orr [COT]. Recall that this filtration is significant not only because of it's strong connection to Whitney tower constructions of Casson and Freedman, but also because all previously-known concordance invariants are related to the first few terms in the filtration. In [COT] we proved nontriviality at the first new level (n=3) by using von Neumann $ρ$-invariants of the 3-manifolds obtained by zero surgery on the knots. Here, …
We address the primary decomposition of the knot concordance group in terms of the solvable filtration and higher-order von Neumann $ρ$-invariants by Cochran, Orr, and Teichner. We show that for a nonnegative integer n, if the connected sum of two n-solvable knots with coprime Alexander polynomials is slice, then each of the knots has vanishing von Neumann $ρ$-invariants of order n. This gives positive evidence for the conjecture that nonslice knots with coprime Alexander polynomials are not concordant. As an application, we show that if K is one of Cochran-Orr-Teichner's knots which are the f…
The concordance genus of a knot K is the minimum three-genus among all knots concordant to K. For prime knots of 10 or fewer crossings there have been three knots for which the concordance genus was unknown. Those three cases are now resolved. Two of the cases are settled using invariants of Levine's algebraic concordance group. The last case depends on the use of twisted Alexander polynomials, viewed as Casson-Gordon invariants.
A spectral sequence is established, from Bar-Natan's variant of Khovanov homology to a deformation of instanton homology for knots and links. This spectral sequence arises as a specialization of a spectral sequence from a characteristic-2 version of $F_5$ homology, in Khovanov'sclassification. Concordance invariants of knots are derived from the corresponding instanton homology groups, including a 1-parameter family of homomorphisms $f_r$ from the concordance group to the reals, having the potential to provide independent bounds on the genus and number of double points for immersed surfaces wi…
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.
Every classical knot is band-pass equivalent to the unknot or the trefoil. The band-pass class of a knot is a concordance invariant. Every ribbon knot, for example, is band-pass equivalent to the unknot. Here we introduce the long virtual knot concordance group $\mathscr{VC}$. It is shown that for every concordance class $[K] \in \mathscr{VC}$, there is a $J \in [K]$ that is not band-pass equivalent to $K$ and an $L \in [K]$ that is not band-pass equivalent to either the long unknot or any long trefoil. This is accomplished by proving that $v_{2,1}+v_{2,2} \pmod 2$ is a band-pass invariant but…
