本文延续前人工作，证明了交错环面纽结线性组合合痕于 $L$-空间纽结的 Allen 猜想，并建立了环面纽结线性组合合痕于 $L$-空间纽结的必要条件。
摘要：
延续 Zemke、Livingston 和 Allen 的工作，我们考虑环面纽结的线性组合何时合痕于 $L$-空间纽结。我们首先证明交错环面纽结的 Allen 猜想。即，我们证明交错环面纽结的线性组合合痕于 $L$-空间纽结当且仅当该连通和是单个环面纽结。然后我们建立了环面纽结的线性组合合痕于 $L$-空间纽结的一个必要条件。
英文摘要：
Continuing the work of Zemke, Livingston and Allen, we consider when linear combinations of torus knots are concordant to $L$-space knots. We begin by proving Allen's conjecture for alternating torus knots. That is, we prove that a linear combination of alternating torus knots is concordant to an $L$-space knot if and only if the connected sum is a single torus knot. Then we establish a necessary condition for when a linear combination of torus knots is concordant to an $L$-space knot.
We consider the Grope filtration of the classical knot concordance group that was introduced in a paper of Cochran, Orr and Teichner. Our main result is that successive quotients at each stage in this filtration have infinite rank. We also establish the analogous result for the Grope filtration of the concordance group of string links consisting of more than one component.
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…
In 1997, T. Cochran, K. Orr, and P. Teichner defined a filtration {F_n} of the classical knot concordance group C. The filtration is important because of its strong connection to the classification of topological 4-manifolds. Here we introduce new techniques for studying C and use them to prove that, for each natural number n, the abelian group F_n/F_{n.5} has infinite rank. We establish the same result for the corresponding filtration of the smooth concordance group. We also resolve a long-standing question as to whether certain natural families of knots, first considered by Casson-Gordon and…
The concordance genus of a knot is the least genus of any knot in its concordance class. It is bounded above by the genus of the knot, and bounded below by the slice genus, two well-studied invariants. In this paper we consider the concordance genus of 11--crossing prime knots. This analysis resolves the concordance genus of 533 of the 552 prime 11--crossing knots. The appendix to the paper gives concordance diagrams for 59 knots found to be concordant to knots of lower genus, including null-concordances for the 30 11--crossing knots known to be slice.
Kirby and Lickorish showed that every knot in the 3-sphere is concordant to a prime knot, equivalently, every concordance class contains a prime knot. We prove here that their result can be strengthened: Every knot in the 3-sphere is invertibly concordant to a prime knot. A consequence is that every double concordance class contains a prime knot.
We study concordance of virtual knots. Our main result is that a classical knot K is virtually slice if and only if it is classically slice. From this we deduce that the concordance group of classical knots embeds into the concordance group of long virtual knots.
We define a new smooth concordance homomorphism based on the knot Floer complex and an associated concordance invariant, epsilon. As an application, we show that an infinite family of topologically slice knots are independent in the smooth concordance group.
We study 3-braid knots of finite smooth concordance order. A corollary of our main result is that a chiral 3-braid knot of finite concordance order is ribbon.
There is an infinitely generated free subgroup of the smooth knot concordance group with the property that no nontrivial element in this subgroup can be represented by an alternating knot. This subgroup has the further property that every element is represented by a topologically slice knot.
In this note we show that ribbon concordance forms a partial ordering on the set of knots, answering a question of Gordon. The proof makes use of representation varieties of the knot groups to $SO(N)$ and relations between them induced by a ribbon concordance.
We use the Heegaard Floer obstructions defined by Grigsby, Ruberman, and Strle to show that forty-six of the sixty-seven knots through eleven crossings whose concordance orders were previously unknown have infinite concordance order.
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.
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…
We review some recent results in knot concordance and homology cobordism. The proofs rely on various forms of Heegaard Floer homology. We also discuss related open problems.
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.
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 derive a linear estimate of the signature of positive knots, in terms of their genus. As an application, we show that every knot concordance class contains at most finitely many positive knots.
The concordance genus of a knot K is the minimum Seifert genus of all knots smoothly concordant to K. Concordance genus is bounded below by the 4-ball genus and above by the Seifert genus. We give a lower bound for the concordance genus of K coming from the knot Floer complex of K. As an application, we prove that there are topologically slice knots with 4-ball genus equal to one and arbitrarily large concordance genus.
Either fibered knots supporting the tight contact structure are unique in their smooth concordance class or there exists a fibered counterexample to the Slice-Ribbon Conjecture.
Let P be a knot in a solid torus, K a knot in 3-space and P(K) the satellite knot of K with pattern P. This defines an operator on the set of knot types and induces a satellite operator P:C--> C on the set of smooth concordance classes of knots. There has been considerable interest in whether certain such functions are injective. For example, it is a famous open problem whether the Whitehead double operator is weakly injective (an operator is called weakly injective if P(K)=P(0) implies K=0 where 0 is the class of the trivial knot). We prove that, modulo the smooth 4-dimensional Poincare Conje…
This is survey about the classical knot concordance group, prepared for an upcoming handbook of knot theory. Topics include: the basic definitions of concordance; the theory of algebraic concordance as developed by Levine; the theory of Casson-Gordon invariants; applications of topological surgery as developed by Freedman; smooth results based on differential geometric techniques such as those of Donaldson; the filtration of the concordance group as developed by Cochran, Orr, and Teichner; and relations to classical 3-dimensional knot theory. There is also a short problem list.
We prove that the map on knot Floer homology induced by a ribbon concordance is injective. As a consequence, we prove that the Seifert genus is monotonic under ribbon concordance. We also generalize a theorem of Gabai about the super-additivity of the Seifert genus under band connected sum. Our result gives evidence for a conjecture of Gordon that ribbon concordance is a partial order on the set of knots.
We define the concordance crosscap number of a knot as the minimum crosscap number among all the knots concordant to the knot. The four-dimensional crosscap number is the minimum first Betti number of non-orientable surfaces smoothly embedded in 4-dimensional ball, bounding the knot. Clearly the 4-dimensional crosscap number is smaller than or equal to the concordance crosscap number. We construct two infinite sequences of knots to explain the gap between the two. In particular, the knot $7_4$ is one of the examples.
It is known that connected sums of positive torus knots are not concordant to $L$-space knots. Here we consider differences of torus knots. The main result states that the subgroup of the concordance group generated by two positive torus knots contains no nontrivial $L$-space knots other than the torus knots themselves. Generalizations to subgroups generated by more than two torus knots are also considered.
In 2016 Levine showed that there exists a knot in a homology 3-sphere which is not smoothly concordant to any knot in the 3-sphere where one allows concordances in any smooth homology cobordism. Whether the same is true if one allows topological concordances is not known. One might hope that such an example might be detected by the powerful filtration of knot concordance introduced by Cochran-Orr-Teichner. We prove that this is not the case, demonstrating that for any knot in any homology sphere there is a knot in the 3-sphere equivalent to the original knot modulo any term of this filtration.…
We show that for each Seifert form of an algebraically slice knot with nontrivial Alexander polynomial, there exists an infinite family of knots having the Seifert form such that the knots are linearly independent in the knot concordance group and not concordant to any knot with coprime Alexander polynomial. Key ingredients for the proof are Cheeger-Gromov-von Neumann rho-invariants for amenable groups developed by Cha and Orr and polynomial splittings of metabelian rho-invariants.
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 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.
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 modify the construction of knot Floer homology to produce a one-parameter family of homologies for knots in the three-sphere. These invariants can be used to give homomorphisms from the smooth concordance group to the integers, giving bounds on the four-ball genus and the concordance genus of knots. We give some applications of these homomorphisms.
We present the complete classification of the subgroup of the classical knot concordance group generated by knots with eight or fewer crossings. Proofs are presented in summary. We also describe extensions of this work to the case of nine crossing knots.
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…
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…
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.
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…
The existence of topologically slice knots that are of infinite order in the knot concordance group followed from Freedman's work on topological surgery and Donaldson's gauge theoretic approach to 4-manifolds. Here, as an application of Ozsvath and Szabo's Heegaard-Floer theory, we show the existence of an infinite subgroup of the smooth concordance group generated by topologically slice knots of concordance order two. In addition, no nontrivial element in this subgroup can be represented by a knot with Alexander polynomial one.
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.
We define an infinite family of linearly independent, integer-valued smooth concordance homomorphisms. Our homomorphisms are explicitly computable and rely on local equivalence classes of knot Floer complexes over the ring $\mathbb{F}[U, V]/(UV=0)$. We compare our invariants to other concordance homomorphisms coming from knot Floer homology, and discuss applications to topologically slice knots, concordance genus, and concordance unknotting number.
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…
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 knot Floer filtration induced by a cable of the meridian of a knot in the manifold obtained by large integer surgery along the knot. We give a formula in terms of the original knot Floer complex of the knot in the three-sphere. As an application, we show that a knot concordance invariant of Hom can equivalently be defined in terms of filtered maps on the Heegaard Floer homology groups induced by the two-handle attachment cobordism of surgery along a knot.
In this article we define Lagrangian concordance of Legendrian knots, the analogue of smooth concordance of knots in the Legendrian category. In particular we study the relation of Lagrangian concordance under Legendrian isotopy. The focus is primarily on the algebraic aspects of the problem. We study the behavior of the classical invariants under this relation, namely the Thurston-Bennequin number and the rotation number, and we provide some examples of non-trivial Legendrian knots bounding Lagrangian surfaces in $D^4$. Using these examples, we are able to provide a new proof of the local Tho…
Kearton observed that mutation can change the concordance class of a knot. A close examination of his example reveals that it is of 4-genus 1 and has a mutant of 4-genus 0. The first goal of this paper is to construct examples to show that for any pair of nonnegative integers m and n there is a knot of 4-genus m with a mutant of 4-genus n. A second result of this paper is a crossing change formula for the algebraic concordance class of a knot, which is then applied to prove the invariance of the algebraic concordance class under mutation. The paper concludes with an application of crossing cha…
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…
The knot Floer complex together with the associated concordance invariant epsilon can be used to define a filtration on the smooth concordance group. We show that the indexing set of this filtration contains the natural numbers cross the integers as an ordered subset.
In this paper we provide a new obstruction to 0-concordance of knotted surfaces in $S^4$ in terms of Alexander ideals. We use this to prove the existence of infinitely many linearly independent 0-concordance classes and to provide the first proof that the submonoid of 2-knots is not a group. The main result is that the Alexander ideal induces a homomorphism from the 0-concordance monoid $\mathscr{C}_0$ of oriented surface knots in $S^4$ to the ideal class monoid of $\mathbb{Z}[t^{\pm1}]$. Consequently, any surface knot with nonprincipal Alexander ideal is not 0-slice and in fact, not invertibl…
We provide new information about the structure of the abelian group of topological concordance classes of knots in $S^3$. One consequence is that there is a subgroup of infinite rank consisting entirely of knots with vanishing Casson-Gordon invariants but whose non-triviality is detected by $L^{(2)}$ signatures.
We define an algebraic group comprising symmetric chain complexes which captures the first two stages of the Cochran-Orr-Teichner solvable filtration of the knot concordance group in a single obstruction. To achieve this we impose additional structure on each chain complex which puts extra control on the fundamental groups, and in particular on the way in which they can change in a concordance.
Given a fixed knot P in a solid torus and any knot K in S^3, one can form the satellite of K with pattern P. This operation induces a self-map of the concordance group of knots in S^3. It has been proved by Dai, Hedden, Mallick, and Stoffregen that in the smooth category there exist P for which this function is rank-expanding; that is, for some K, the set {P(nK)} generates an infinite rank subgroup. Here we demonstrate that similar examples exist in the case of the topological locally flat concordance group. Such examples cannot exist in the algebraic concordance group.
Kawauchi defined a group structure on the set of homology $S^1$$\times$$S^2$'s under an equivalence relation called $\widetilde{H}$-cobordism. This group receives a homomorphism from the knot concordance group, given by the operation of zero-surgery. It is natural to ask whether the zero-surgery homomorphism is injective. We show that this question has a negative answer in the smooth category. Indeed, using knot concordance invariants derived from knot Floer homology we show that the kernel of the zero-surgery homomorphism contains a $\mathbb{Z}^\infty$-subgroup.
For a knot K, the concordance crosscap number, c(K), is the minimum crosscap number among all knots concordant to K. Building on work of G. Zhang, which studied the determinants of knots with c(K) < 2, we apply the Alexander polynomial to construct new algebraic obstructions to c(K) < 2. With the exception of low crossing number knots previously known to have c(K) < 2, the obstruction applies to all but four prime knots of 11 or fewer crossings.
To a special type of grope embedded in 4-space, that we call an admissible grope, we associate a length function for each real number q at least 1. This gives rise to a family of pseudo-metrics d^q, refining the slice genus metric, on the set of concordance classes of knots, as the infimum of the length function taken over all possible grope concordances between two knots. We investigate the properties of these metrics. The main theorem is that the topology induced by this metric on the knot concordance set is not discrete for all q>1. The analogous statement for links also holds for q=1. In a…
