A knot k is called ``strongly (n-1)-trivial.'' if there exists a projection of k, such that one can choose n crossings of the projection with the property that making the crossing changes corresponding to any of the $2^{n}-1$ nontrivial combinations of the selected crossings turns the original knot into the unknot. We prove that given any non-trivial knot k of genus g, k fails to be strongly n-trivial for all $n, n \geq 3g-1$.
We prove the cosmetic crossing conjecture for genus one knots with non-trivial Alexander polynomial. We also prove the conjecture for genus one knots with trivial Alexander polynomial, under some additional assumptions.
We show that a non-trivial, non-central normal subgroup of the braid groups contains a braid whose closure is a hyperbolic knot with arbitrary large genus. This shows that non-faithfulness of a quantum representation implies that the corresponding quantum invariant fails to detect the unknot. The proof utilizes the Dehornoy ordering of the braid groups.
Bankwitz characterized an alternating diagram representing the trivial knot. A non-alternating diagram is called almost alternating if one crossing change makes the diagram alternating. We characterize an almost alternaing diagram representing the trivial knot. As a corollary we determine an unknotting number one alternating knot with a property that the unknotting operation can be done on its alternating diagram.
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…
We give a short proof that if a non-trivial band sum of two knots results in a tight fibered knot, then the band sum is a connected sum. In particular, this means that any prime knot obtained by a non-trivial band sum is not tight fibered. Since a positive L-space knot is tight fibered, a non-trivial band sum never yields an L-space knot. Consequently, any knot obtained by a non-trivial band sum cannot admit a finite surgery. For context, we exhibit two examples of non-trivial band sums of tight fibered knots producing prime knots: one is fibered but not tight, and the other is strongly quasip…
The paper deals with topologically trivial Legendrian knots in tight and overtwisted contact 3-manifolds. The first part contains a thorough exposition of the proof of the classification of topologically trivial Legendrian knots (i.e. Legendrian knots bounding embedded 2-disks) in tight contact 3-manifolds. This part was essentially written more than 10 years ago, but only a short version, without the detailed proofs, was published (in CRM Proc. Lecture Notes, Vol. 15, 1998). That paper also briefly discussed the overtwisted case. The final part of the present paper contains a more systematic …
If a rectangular diagram represents the trivial knot, then it can be deformed into the rectangular diagram with only two vertical edges by a finite sequence of merge operations and exchange operations, without increasing the number of vertical edges, which was shown by I. A. Dynnikov. We show in this paper that we need no merge operations to deform a rectangular diagram of the trivial knot to one with no crossings.
We show that there exists a $\mathbb{Z}^\infty$-summand in the subgroup of the knot concordance group generated by knots with trivial Alexander polynomial. To this end we use the invariant Upsilon $Υ$ recently introduced by Ozsváth, Stipsicz and Szabó using knot Floer homology. We partially compute $Υ$ of $(n,1)$-cable of the Whitehead double of the trefoil knot. For this computation of $Υ$, we determine a sufficient condition for two satellite knots to have identical $Υ$ for any pattern with nonzero winding number.
In this article it is proven that if a knot, K, bounds an imbedded grope of class n, then the knot is n/2-trivial in the sense of Gusarov and Stanford. That is, all type n/2 invariants vanish on K. We also give a simple way to construct all knots bounding a grope of a given class. It is further shown that this result is optimal in the sense that for any n there exist gropes which are not n/2+1- trivial.
We study relations between unknotting number and crossing number of a spatial embedding of a handcuff-graph and a theta curve. It is well known that for any non-trivial knot $K$ twice the unknotting number of $K$ is less than or equal to the crossing number of $K$ minus one. We show that this is extended to handlebody-knots. We also characterize the handlebody-knots which satisfy the equality.
In this note we prove that for any finite quandle $X$ and any 2-cocycle $ϕ\in Z^2_{Q\pm}(X; \mathds{Z})$, the cocycle invariant $Φ^{\pm}_ϕ(K)$ is trivial for all knots $K$.
In this paper, we introduce a new nontrivial filtration, called F-order, for classical and virtual knot invariants; this filtration produces filtered knot invariants, which are called finite type invariants similar to Vassiliev knot invariants. Finite type invariants introduced by Goussarov, Polyak, and Viro are well-known, and we call them finite type invariants of GPV-order. We show that for any positive integer $n$ and for any classical knot $K$, there exist infinitely many of nontrivial classical knots, all of whose finite type invariants of GPV-order $< n$, coincide with those of $K$ (The…
Twisted knot theory, introduced by M.O.Bourgoin, is a generalization of virtual knot theory. It is easily shown that any virtual knot can be deformed into a trivial knot by a finite sequence of generalized Reidemeister moves and two "forbidden moves" $F_{1}$ and $F_{2}$. Similarly, we show that any twisted knot also can be deformed into a trivial knot or a trivial knot with a bar by a finite sequence of extended Reidemeister moves and three "forbidden moves" $T_{4}$, $F_{1}$ (or $F_{2}$) and $F_{3}$ (or $F_{4}$) .
Using an involved study of the Jones polynomial, we determine, as our main result, the crossing numbers of (prime) amphicheiral knots. As further applications, we show that several classes of links, including semiadequate links and Whitehead doubles of semiadequate knots, have non-trivial Jones polynomial. We also prove that there are infinitely many positive knots with no positive minimal crossing diagrams. Some relations to the twist number of a link, Mahler measure and the hyperbolic volume are given, for example explicit upper bounds on the volume for Montesinos and 3-braid links in terms …
We consider surface links in the 4-space which are presented by the form of simple branched coverings over the standard torus, which we call torus-covering links. In this paper, we study unknotting numbers of torus-covering links. In some cases, we can determine the unknotting numbers.
Virtual knots, defined by Kauffman, provide a natural generalization of classical knots. Most invariants of knots extend in a natural way to give invariants of virtual knots. In this paper we study the fundamental groups of virtual knots and observe several new and unexpected phenomena. In the classical setting, if the longitude of a knot is trivial in the knot group then the group is infinite cyclic. We show that for any classical knot group there is a virtual knot with that group and trivial longitude. It is well known that the second homology of a classical knot group is trivial. We provide…
We show that if K is a non-trivial knot inside a homology sphere X, the rank of the knot Floer homology group associated with K is strictly bigger than the rank of the Heegaard Floer homology group associated with X.
We prove that knot Floer homology of a certain class of knots is non-trivial in next-to-top Alexander grading. This gives a partial affirmative answer to a question posed by Baldwin and Vela-Vick which asks if the same is true for all non-trivial knots in $S^3$.
We find an infinite family of Seifert fibered surgeries on strongly invertible knots which do not have primitive/Seifert positions. Each member of the family is obtained from a trefoil knot after alternate twists along a pair of seiferters for a Seifert fibered surgery on a trefoil knot.
There is a question asking whether a handle-irreducible summand of every stable-ribbon surface-link is a unique ribbon surface-link. This question for the case of a trivial surface-link is affirmatively answered. That is, a handle-irreducible summand of every stably trivial surface-link is only a trivial 2-link. By combining this result with an old result of F. Hosowaka and the author that every surface-knot with infinite cyclic fundamental group is a stably trivial surface-knot, it is concluded that every surface-knot with infinite cyclic fundamental group is a trivial (i.e., an unknotted) su…
We construct the first combinatorial 1-cocycle with values in the $ \mathbb{Z} [x,x^{-1}]$-module of isotopy classes of singular long knots in 3-space with a signed planar double point, and which represents a non trivial cohomology class in the topological moduli space of long knots. It can be interpreted as an invariant with values in a $ \mathbb{Z} [x,x^{-1}]$-module generated by 3-manifolds for each element of infinite order of the mapping class group of the complement of a satellite knot in $S^3$. The 1-cocycle seems to be trivial on all loops for long knots which are not satellites but it…
We study invariant Seifert surfaces for strongly invertible knots, and prove that the gap between the equivariant genus (the minimum of the genera of invariant Seifert surfaces) of a strongly invertible knot and the (usual) genus of the underlying knot can be arbitrary large. This forms a sharp contrast with Edmonds' theorem that every periodic knot admits an invariant minimal genus Seifert surface. We also prove variants of Edmonds' theorem, which are useful in studying invariant Seifert surfaces for strongly invertible knots.
Let $K$ be a tame knot embedded in $\mathbf{S}^3$. We address the problem of finding the minimal degree non-cyclic cover $p:X \rightarrow \mathbf{S}^3 \smallsetminus K$. When $K$ has non-trivial Alexander polynomial we construct finite non-abelian representations $ρ:π_1\left(\mathbf{S}^3 \smallsetminus K\right) \rightarrow G$, and provide bounds for the order of $G$ in terms of the crossing number of $K$ which is an improvement on a result of Broaddus in this case. Using classical covering space theory along with the theory of Alexander stratifications we establish an upper and lower bound for…
Strong and weak (1, 3) homotopies are equivalence relations on knot projections, defined by the first flat Reidemeister move and each of two different types of the third flat Reidemeister moves. In this paper, we introduce the cross chord number that is the minimal number of double points of chords of a chord diagram. Cross chord numbers induce a strong (1, 3) invariant. We show that Hanaki's trivializing number is a weak (1, 3) invariant. We give a complete classification of knot projections having trivializing number two up to the first flat Reidemeister moves using cross chord numbers and t…
We study the equivariant genera of strongly invertible and periodic knots. Our techniques include some new strongly invertible concordance group invariants, Donaldson's theorem, and the g-signature. We find many new examples where the equivariant 4-genus is larger than the 4-genus.
We show that every non-trivial tame knot or link in R^3 has a quadrisecant, i.e. four collinear points. The quadrisecant must be topologically non-trivial in a precise sense. As an application, we show that a nonsingular, algebraic surface in R^3 which is a knotted torus must have degree at least eight.
By Thurston's hyperbolization theorem, irreducible handlebody-knots are classified into three classes: hyperbolic, toroidal, and atoroidal cylindrical. It is known that a non-trivial handlebody-knot of genus two has a finite symmetry group if and only if it is atoroidal. The paper investigates the topology of cylindrical handlebody-knots of genus two that admit an unknotting annulus; we show that the symmetry group is trivial if the unknotting annulus is unique and of type $2$.
Let $P(K)$ be a satellite knot where the pattern, $P$, is a Berge-Gabai knot (i.e., a knot in the solid torus with a non-trivial solid torus Dehn surgery), and the companion, $K$, is a non-trivial knot in $S^3$. We prove that $P(K)$ is an L-space knot if and only if $K$ is an L-space knot and $P$ is sufficiently positively twisted relative to the genus of $K$. This generalizes the result for cables due to Hedden and the first author.
Strongly-cyclic branched coverings of knots are studied by using their (g,1)-decompositions. Necessary and sufficient conditions for the existence and uniqueness of such coverings are obtained. It is also shown that their fundamental groups admit geometric g-words cyclic presentations.
We show that there exist non-trivial piecewise-linear (PL) knots with isolated singularities $S^{n-2}\subset S^n$, $n\geq 5$, whose complements have the homotopy type of a circle. This is in contrast to the case of smooth, PL locally-flat, and topological locally-flat knots, for which it is known that if the complement has the homotopy type of a circle, then the knot is trivial.
We show that every strongly-cyclic branched covering of a (1,1)-knot is a Dunwoody manifold. This result, together with the converse statement previously obtained by Grasselli and Mulazzani, proves that the class of Dunwoody manifolds coincides with the class of strongly-cyclic branched coverings of (1,1)-knots. As a consequence, we obtain a parametrization of (1,1)-knots by 4-tuples of integers. Moreover, using a representation of (1,1)-knots by the mapping class group of the twice punctured torus, we provide an algorithm which gives the parametrization of all torus knots.
This note corrects the mistakes in the splicing formulas of the paper "Floer homology and splicing knot complements". The mistakes are the result of the incorrect assumption that for a knot $K$ inside a homology sphere $Y$, the involution on the knot Floer homology of $K$ which corresponds to moving the basepoints by one full twist around $K$ is trivial. The correction implicitly involves considering the contribution from this (possibly non-trivial) involution in a number of places.
We show that the distance of a link $K$ with respect to a bridge surface of any genus determines a lower bound on the genus of essential surfaces and Heegaard surfaces in the manifolds that result from non-trivial Dehn surgeries on the knot. In particular, knots with high bridge distance do not admit non-trivial non-hyperbolic surgeries or non-trivial cosmetic surgeries. We further show that if a knot has bridge distance at least 3 then its bridge number is bounded above by a function of Seifert genus, or indeed by the genus of (almost) any essential surface or Heegaard surface in the surgered…
By using double branched covers, we prove that there is a 1-1 correspondence between the set of knotoids in the 2-sphere, up to orientation reversion and rotation, and knots with a strong inversion, up to conjugacy. This correspondence allows us to study knotoids through tools and invariants coming from knot theory. In particular, concepts from geometrisation generalise to knotoids, allowing us to characterise invertibility and other properties in the hyperbolic case. Moreover, with our construction we are able to detect both the trivial knotoid in the 2-sphere and the trivial planar knotoid.
We show that there are prime knots so that the Steenrod operations of Lipshitz and Sarkar arXiv:1204.5776 are non trivial on their Khovanov homology. This answers a question posed by Lipshitz and Sarkar in their paper arXiv:1709.03602. We then go on to show that there are hyperbolic and satellite knots so that the Steenrod operations are non trivial on their Khovanov homology.
We show that given n>0, there exists a hyperbolic knot K with trivial Alexander polynomial, trivial finite type invariants of order <=n, and such that the volume of the complement of K is larger than n. This contrasts with the known statement that the volume of the complement of a hyperbolic alternating knot is bounded above by a linear function of the coefficients of the Alexander polynomial of the knot. As a corollary to our main result we obtain that, for every m>0, there exists a sequence of hyperbolic knots with trivial finite type invariants of order <=m but arbitrarily large volume. We …
We use the Blanchfield form to obtain a lower bound on the equivariant slice genus of a strongly invertible knot. For our main application, let $K$ be a genus one strongly invertible slice knot with nontrivial Alexander polynomial. We show that the equivariant slice genus of an equivariant connected sum $\#^n K$ is at least $n/4$. We also formulate an equivariant algebraic concordance group, and show that the kernel of the forgetful map to the classical algebraic concordance group is infinite rank.
We construct families of trivial $2$-knots $K_i$ in $\mathbb{R}^4$ such that the maximal complexity of $2$-knots in any isotopy connecting $K_i$ with the standard unknot grows faster than a tower of exponentials of any fixed height of the complexity of $K_i$. Here we can either construct $K_i$ as smooth embeddings and measure their complexity as the ropelength (a.k.a the crumpledness) or construct PL-knots $K_i$, consider isotopies through PL knots, and measure the complexity of a PL-knot as the minimal number of flat $2$-simplices in its triangulation. These results contrast with the situatio…
We characterize the (1, 1) knots in the three-sphere and lens spaces that admit non-trivial L-space surgeries. As a corollary, 1-bridge braids in these manifolds admit non- trivial L-space surgeries. We also recover a characterization of the Berge manifold amongst 1-bridge braid exteriors.
We study the connections among the mapping class group of the twice punctured torus, the cyclic branched coverings of (1,1)-knots and the cyclic presentations of groups. We give the necessary and sufficient conditions for the existence and uniqueness of the n-fold strongly-cyclic branched coverings of (1,1)-knots, through the elements of the mapping class group. We prove that every n-fold strongly-cyclic branched covering of a (1,1)-knot admits a cyclic presentation for the fundamental group, arising from a Heegaard splitting of genus n. Moreover, we give an algorithm to produce the cyclic pre…
Neuwirth asked if any non-trivial knot in the 3-sphere can be embedded in a closed surface so that the complement of the surface is a connected essential surface for the knot complement. In this paper, we examine some variations on this question and prove it for all knots up to 11 crossings except for two examples. We also establish the conjecture for all Montesinos knots and for all generalized arborescently alternating knots. For knot exteriors containing closed incompressible surfaces satisfying a simple homological condition, we establish that the knots satisfy the Neuwirth conjecture. If …