Let n be any integer greater than two. We prove that there exists a projection P having the following properties. (1) P is not the projection of any unknotted knot. (2) The singular point set of P consists of double points. (3) P is the projection of an n-knot which is diffeomorphic to the standard sphere.
We prove there exists an immersed n-sphere (in R^{n+1}\times{0}) which is not the projection of any n-knot (n>2). Note that the second theorem is different from the first one.
We study the structure of the exteriors of gropes and Whitney towers in dimension 4, focusing on their fundamental groups. In particular we introduce a notion of unknottedness of gropes and Whitney towers in the 4-sphere. We prove that various modifications of gropes and Whitney towers preserve the unknottedness and do not enlarge the fundamental group. We exhibit handlebody structures of the exteriors of gropes and Whitney towers constructed by earlier methods of Cochran, Teichner, Horn, and the first author, and use them to construct examples of unknotted gropes and Whitney towers. As an app…
Every knot can be unknotted with two generalized twists; this was first proved by Ohyama. Here we prove that any knot of genus g can be unknotted with 2g null-homologous twists and that there exist genus g knots that cannot be unknotted with fewer than 2g null-homologous twists.
Noting that cycle diagrams of permutations visually resemble grid diagrams used to depict knots and links in topology, we consider the knot (or link) obtained from the cycle diagram of a permutation. We show that the permutations which correspond in this way to an unknot are enumerated by the Schröder numbers, and also enumerate the permutations corresponding to an unlink. The proof uses Bennequin's inequality.
In this paper, we generalize a result of Satoh to show that for any odd natural $n$, the connected sum of the $n$-twist spun sphere of a knot $K$ and an unknotted projective plane in the 4-sphere is equivalent to the same unknotted projective plane. We additionally provide a fix to a small error in Satoh's proof of the case that $K$ is a 2-bridge knot.
In 1965, E. C. Zeeman proved that the (+/-)-twist spin of any knotted sphere in (n-1)-space is unknotted in the n-sphere. In 1991, Y. Marumoto and Y. Nakanishi gave an alternate proof of Zeeman's theorem by using the moving picture method. In this paper, we define a knotted 2-dimensional foam which is a generalization of a knotted sphere and prove that a (+/-)-twist spin of a knotted trivalent graph may be knotted. We then construct some families of knotted graphs for which the (+/-)-twist spins are always unknotted.
It is a well-known procedure for constructing a torus knot or link that first we prepare an unknotted torus and meridian disks in the complementary solid tori of it, and second smooth the intersections of the boundary of meridian disks uniformly. Then we obtain a torus knot or link on the unknotted torus and its Seifert surface made of meridian disks. In the present paper, we generalize this procedure by a closed fake surface and show that the resultant two surfaces obtained by smoothing triple points uniformly are essential. We also show that a knot obtained by this procedure satisfies the Ne…
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.
We show an infinite family of satellite knots that can be unknotted by a single band move, but such that there is no band unknotting the knots which is disjoint from the satellite torus.
Let P be a knot in an unknotted solid torus (i.e. a satellite operator or pattern), K a knot in S^3 and P(K) the satellite of K with pattern P. For any satellite operator P, this correspondence gives a function P : C -> C on the set of smooth concordance classes of knots. We give examples of winding number one satellite operators P and a class of knots K, such that the iterated satellites P^i(K) are distinct as smooth concordance classes, i.e. if i=/=j>0, P^i(K)=/=P^j(K), where each P^i is unknotted when considered as a knot in S^3. This implies that the operators P^i give distinct functions o…
The only knots that are tunnel number one and genus one are those that are already known: 2-bridge knots obtained by plumbing together two unknotted annuli and the satellite examples classified by Eudave-Munoz and by Morimoto-Sakuma. This confirms a conjecture first made by Goda and Teragaito.
We show that the bridge number of a $t$ bridge knot in $S^3$ with respect to an unknotted genus $t$ surface is bounded below by a function of the distance of the Heegaard splitting induced by the $t$ bridges. It follows that for any natural number $n$, there is a tunnel number one knot in $S^3$ that is not $(1,n)$.
The forbidden moves can be combined with Gauss diagram Reidemeister moves to obtain move sequences with which we may change any Gauss diagram (and hence any virtual knot) into any other, including in particular the unknotted diagram
We consider the problem of deciding whether a polygonal knot in 3-dimensional Euclidean space is unknotted, capable of being continuously deformed without self-intersection so that it lies in a plane. We show that this problem, {\sc unknotting problem} is in {\bf NP}. We also consider the problem, {\sc unknotting problem} of determining whether two or more such polygons can be split, or continuously deformed without self-intersection so that they occupy both sides of a plane without intersecting it. We show that it also is in NP. Finally, we show that the problem of determining the genus of a …
A knot K in the 3-sphere is superslice if there is a slice disk D in the 4-ball such that the double of D along K is the unknotted 2-sphere S in $S^4$. Answering a question of Livingston-Meier, we find smoothly slice (in fact doubly slice) knots in the 3-sphere with Alexander polynomial equal to 1 that are not smoothly superslice.
A graph is 2-apex if it is planar after the deletion of at most two vertices. Such graphs are not intrinsically knotted, IK. We investigate the converse, does not IK imply 2-apex? We determine the simplest possible counterexample, a graph on nine vertices and 21 edges that is neither IK nor 2-apex. In the process, we show that every graph of 20 or fewer edges is 2-apex. This provides a new proof that an IK graph must have at least 21 edges. We also classify IK graphs on nine vertices and 21 edges and find no new examples of minor minimal IK graphs in this set.
In this paper, we show that the Gluck twist of certain satellite $2$-knots in a $4$-manifold do not change the diffeomorphism type in three different ways: one is directly from the definition of the satellite $2$-knot, and the other two are by finding an equivalent description of the satellite $2$-knot. Furthermore, using the new description, we gave infinite number of new examples of $2$-knots which are unknotted by connected summing a single standard real projective plane.
An oriented compact 4-manifold $V$ with boundary $S^3$ is called a positon (resp. negaton) if its intersection form is positive definite (resp. negative definite) and it is simply connected. In this paper, we prove that there exist infinitely many knots which cannot bound null-homologous disks either in positons or in negatons. As a consequence, we find knots that cannot be unknotted either by only positive crossing changes or by only negative crossing changes.
A knot is an an embedding of a circle into three-dimensional space. We say that a knot is unknotted if there is an ambient isotopy of the embedding to a standard circle. By representing knots via planar diagrams, we discuss the problem of unknotting a knot diagram when we know that it is unknotted. This problem is surprisingly difficult, since it has been shown that knot diagrams may need to be made more complicated before they may be simplified. We do not yet know, however, how much more complicated they must get. We give an introduction to the work of Dynnikov who discovered the key use of a…
We show that there are hyperbolic tunnel-number one knots with arbitrarily high bridge number and that "most" tunnel-number one knots are not one-bridge with respect to an unknotted torus. The proof relies on a connection between bridge number and a certain distance in the curve complex of a genus-two surface.
It is known that any surface knot can be transformed to an unknotted surface knot or a surface knot which has a diagram with no triple points by a finite number of 1-handle additions. The minimum number of such 1-handles is called the unknotting number or the triple point cancelling number, respectively. In this paper, we give upper bounds and lower bounds of unknotting numbers and triple point cancelling numbers of torus-covering knots, which are surface knots in the form of coverings over the standard torus $T$. Upper bounds are given by using $m$-charts on $T$ presenting torus-covering knot…
In this note, we prove a lower bound for the positive kinkiness of a closed braid which we then use to derive an estimate for the positive kinkiness of a link in terms of its Seifert system. As an application, we show that certain pretzel knots cannot be unknotted using only positive crossing changes. We also describe a subgroup of infinite rank in the smooth knot concordance group of which no element has a strongly quasipositive representative.
The doubly slice genus of a knot in the 3-sphere is the minimal genus among unknotted orientable surfaces in the 4-sphere for which the knot arises as a cross-section. We use the classical signature function of the knot to give a new lower bound for the doubly slice genus. We combine this with an upper bound due to C. McDonald to prove that for every nonnegative integer $N$ there is a knot where the difference between the slice and doubly slice genus is exactly $N$, refining a result of W. Chen which says this difference can be arbitrarily large.
Let n be aninteger>4. There is a smoothly knotted n-dimensional sphere in (n+2)-space such that the singular point set of its projection in (n+1)-space consists of double points and that the components of the singular point set are two. (The sphere is knotted in the sense that it does not bound any embedded (n+1)-ball in (n+2)-space.) Furthermore, the projection is not the projection of any unknotted sphere in the (n+2)-space. There are two inequivalent embeddings of an n-manifold in the (n+2)-space such that the projection of one of these in (n+1)-space has no double points and the projection…
We prove a folklore theorem of W. Thurston which provides necessary and sufficient conditions for primality of a certain class of theta-curves. Namely, a theta-curve in the 3-sphere with an unknotted constituent knot U is prime if and only if lifting the third arc of the theta-curve to the double branched cover over U produces a prime knot. We apply this result to Kinoshita's theta-curve.
Humboldt-Universität zu Berlin（柏林洪堡大学）；Universität Heidelberg（海德堡大学）；ETH Zürich（苏黎世联邦理工学院）；Universität Regensburg（雷根斯堡大学）；Universidad de Sevilla（塞维利亚大学）
Knots in Euclidean space which may be parameterized by a single cosine function in each coordinate are called Lissajous knots. We show that twist knots are Lissajous knots if and only if their Arf invariants are zero. We further prove that all 2-bridge knots and all (3,q)-torus knots have Lissajous projections.
This paper provides the complete table of prime knot projections with their mirror images, without redundancy, up to eight double points systematically thorough a finite procedure by flypes. In this paper, we show how to tabulate the knot projections up to eight double points by listing tangles with at most four double points by an approach with respect to rational tangles of J. H. Conway. In other words, for a given prime knot projection of an alternating knot, we show how to enumerate possible projections of the alternating knot. Also to tabulate knot projections up to ambient isotopy, we in…
We give the bridge indices for 11-crossing prime knots and give a minimal bridge projection for each of these knots. The results on the indices may be easily summarized: all of these knots that are not rational knots or Montesinos knots have bridge index three.
We introduce an unknotting-type number of knot projections that gives an upper bound of the crosscap number of knots. We determine the set of knot projections with the unknotting-type number at most two, and this result implies classical and new results that determine the set of alternating knots with the crosscap number at most two.
In this paper we propose {\it a region choice problem} for a knot projection. This problem is an integral extension of Shimizu's 'region crossing change unknotting operation.' We show that there exists a solution of the region choice problem for all knot projections.
We examine computer experiments that can be performed to understand the dynamics of knots under self-repulsion. In the course of specific computer exploration we use the knot theory of rational knots and rational tangles to produce classes of unknots with complex initial configurations that we call hard unknots, and corresponding complex configurations that are topologically equivalent to simpler knots. We shall see that these hard unknots and complexified knots give examples that do not reduce in the experimental space of the computer program. That is, we find unknotted configurations that wi…
An increasing sequence of integers is said to be universal for knots if every knot has a reduced regular projection on the sphere such that the number of edges of each complementary face of the projection comes from the given sequence. Adams, Shinjo, and Tanaka have, in a work, shown that (2,4,5) and (3,4,n) (where n is a positive integer greater than 4), among others, are universal. In a forthcoming paper, Adams introduces the notion of a multi-crossing projection of a knot. An n-crossing projection} is a projection of a knot in which each crossing has n strands, rather than 2 strands as in a…
In this short article I introduce the knotR package, which creates two dimensional knot diagrams optimized for visual appearance using the R programming language. The knotR package is a systematic R-centric suite of software for the creation of production-quality artwork of knot diagrams, released under GPL2.
The warping degree of an oriented knot diagram is the minimal number of crossings which we meet as an under-crossing first when we travel along the diagram from a fixed point. The warping degree of a knot projection is the minimal value of the warping degree for all oriented alternating diagrams obtained from the knot projection. In this paper, we consider the maximal number of regions which share no crossings for a knot projection with a fixed crossing, and give lower bounds for the warping degree.
A knot projection is an image of a generic immersion from a circle into a two-dimensional sphere. We can find homotopies between any two knot projections by local replacements of knot projections of three types, called Reidemeister moves. This paper defines an equivalence relation for knot projections called weak (1, 2, 3) homotopy, which consists of Reidemeister moves of type 1, weak type 2, and weak type 3. This paper defines the first non-trivial invariant under weak (1, 2, 3) homotopy. We use this invariant to show that there exist an infinite number of weak (1, 2, 3) homotopy equivalence …
We show that any nontrivial reduced knot projection can be obtained from a trefoil projection by a finite sequence of half-twisted splice operations and their inverses such that the result of each step in the sequence is reduced.
Reductivity of knot projections refers to the minimum number of splices of double points needed to obtain reducible knot projections. Considering the type and method of splicing (Seifert type splice or non-Seifert type splice, recursively or simultaneously), we can obtain four reductivities containing Shimizu's reductivity, three of which are new. In this paper, we determine knot projections with reductivity two for all four of the definitions. We also provide easily calculated lower bounds for some reductivities. Further, we detail properties of each reductivity, and describe relationships am…
Introduced recently, an n-crossing is a singular point in a projection of a link at which n strands cross such that each strand travels straight through the crossing. We introduce the notion of an übercrossing projection, a knot projection with a single n-crossing. Such a projection is necessarily composed of a collection of loops emanating from the crossing. We prove the surprising fact that all knots have a special type of übercrossing projection, which we call a petal projection, in which no loops contain any others. The rigidity of this form allows all the information about the knot to be …
In this paper, given a knot K, for any integer m we construct a new surface Sigma_K(m) from a smoothly embedded surface Sigma in a smooth 4-manifold X by performing a surgery on Sigma. This surgery is based on a modification of the `rim surgery' which was introduced by Fintushel and Stern, by doing additional twist spinning. We investigate the diffeomorphism type and the homeomorphism type of (X,Sigma) after the surgery. One of the main results is that for certain pairs (X,Sigma), the smooth type of Sigma_K(m) can be easily distinguished by the Alexander polynomial of the knot K and the homeom…
This paper is devoted to prove the existence of $q$-periodic alternating projections of prime alternating $q$-periodic knots. The main tool is the Menasco-Thistlethwaite's Flyping theorem. Let $K$ be an oriented prime alternating knot that is $q$-periodic with $q\geq 3$, i.e. $K$ admits a symmetry that is a rotation of order $q$. Then $K$ has an alternating $q$-periodic projection. As applications, we obtain the crossing number of a $q$ -periodic alternating knot with $q\geq 3$ is a multiple of $q$ and we give an elementary proof that the knot $12_{a634} $ is not 3-periodic; this proof does no…
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…
Every second flat Reidemeister move of knot projections can be decomposed into two types thorough an inverse or direct self-tangency modification, respectively called strong or weak, when orientations of the knot projections are arbitrarily provided. Further, we introduce the notions of strong and weak (1, 2) homotopies; we define that two knot projections are strongly (resp. weakly) (1, 2) homotopic if and only if two knot projections are related by a finite sequence of first and strong (resp. weak) second flat Reidemeister moves. This paper gives a new necessary and sufficient condition that…
For a knot K in S^3, let T(K) be the characteristic toric sub-orbifold of the orbifold (S^3,K) as defined by Bonahon and Siebenmann. If K has unknotting number one, we show that an unknotting arc for K can always be found which is disjoint from T(K), unless either K is an EM-knot (of Eudave-Munoz) or (S^3,K) contains an EM-tangle after cutting along T(K). As a consequence, we describe exactly which large algebraic knots (ie algebraic in the sense of Conway and containing an essential Conway sphere) have unknotting number one and give a practical procedure for deciding this (as well as determin…
In this paper, we obtain the necessary and sufficient condition that two knot projections are related by a finite sequence of the first and second flat Reidemeister moves (Theorem 1). We also consider an equivalence relation that is called weak (1, 3) homotopy. This equivalence relation occurs by the first flat Reidemeister move and one of the third flat Reidemeister moves. We introduce a map sending weak (1, 3) homotopy classes to knot isotopy classes (Sec. 3). Using the map, we determine which knot projections are trivialized under weak (1, 3) homotopy (Corollary 3).
We consider 32 homotopy classifications of knot projections (images of generic immersions from a circle into a 2-sphere). These 32 equivalence relations are obtained based on which moves are forbidden among the five type of Reidemeister moves. We show that 32 cases contain 20 non-trivial cases that are mutually different. To complete the proof, we obtain new tools, i.e., new invariants.
A petal projection of a knot $K$ is a projection of a knot which consists of a single multi-crossing and non-nested loops. Since a petal projection gives a sequence of natural numbers for a given knot, the petal projection is a useful model to study knot theory. It is known that every knot has a petal projection. A petal number $p(K)$ is the minimum number of loops required to represent the knot $K$ as a petal projection. In this paper, we find the relation between a superbridge index and a petal number of an arbitrary knot. By using this relation, we find the petal number of $T_{r,s}$ as foll…
A generic immersion of a circle into a $2$-sphere is often studied as a projection of a knot; it is called a knot projection. A chord diagram is a configuration of paired points on a circle; traditionally, the two points of each pair are connected by a chord. A triple chord is a chord diagram consisting of three chords, each of which intersects the other chords. Every knot projection obtains a chord diagram in which every pair of points corresponds to the inverse image of a double point. In this paper, we show that for any knot projection $P$, if its chord diagram contains no triple chord, the…
The topological underpinnings are presented for a new algorithm which answers the question: `Is a given knot the unknot?' The algorithm uses the braid foliation technology of Bennequin and of Birman and Menasco. The approach is to consider the knot as a closed braid, and to use the fact that a knot is unknotted if and only if it is the boundary of a disc with a combinatorial foliation. The main problems which are solved in this paper are: how to systematically enumerate combinatorial braid foliations of a disc; how to verify whether a combinatorial foliation can be realized by an embedded disc…
A quadruple crossing is a crossing in a projection of a knot or link that has four strands of the knot passing straight through it. A quadruple crossing projection is a projection such that all of the crossings are quadruple crossings. In a previous paper, it was proved that every knot and link has a quadruple crossing projection and hence, every knot has a minimal quadruple crossing number. In this paper, we investigate quadruple crossing number, and in particular, use the span of the bracket polynomial to determine quadruple crossing number for a variety of knots and links.
In this paper we present a systematic method to generate prime knot and prime link minimal triple-point projections, and then classify all classical prime knots and prime links with triple-crossing number at most four. We also extend the table of known knots and links with triple-crossing number equal to five. By introducing a new type of diagrammatic move, we reduce the number of generating moves on triple-crossing diagrams, and derive a minimal generating set of moves connecting triple-crossing diagrams of the same knot.
A triple crossing is a crossing in a projection of a knot or link that has three strands of the knot passing straight through it. A triple crossing projection is a projection such that all of the crossings are triple crossings. We prove that every knot and link has a triple crossing projection and then investigate c_3(K), which is the minimum number of triple crossings in a projection of K. We obtain upper and lower bounds on c_3(K) in terms of the traditional crossing number and show that both are realized. We also relate triple crossing number to the span of the bracket polynomial and use th…
An increasing sequence of integers is said to be universal for knots and links if every knot and link has a projection to the sphere such that the number of edges of each complementary face of the projection comes from the given sequence. This paper is an investigation into which sequences, either finite or infinite, are universal. We also consider how to minimize the number of odd-sided faces for projections of knots and links with n components.
Every knot projection is simplified to the trivial spherical curve not increasing double points by using deformations of types 1, 2, and 3 which are analogies of Reidemeister moves of types 1, 2, and 3 on knot diagrams. We introduce RII number of a knot projection that is the minimum number of deformations of negative type 2 among such sequences. By definition, it is invariant under deformations of types 1 and 3. This is motivated by Östlund conjecture: Deformations of type 1 and 3 are sufficient to describe a homotopy from any generic immersion of a circle in a two dimensional plane to an emb…
