Given a knot K in the 3-sphere, consider a singular disk bounded by K and the intersections of K with the interior of the disk. The absolute number of intersections, minimised over all choices of singular disk with a given algebraic number of intersections, defines the framing function of the knot. We show that the framing function is symmetric except at a finite number of points. The symmetry axis is a new knot invariant, called the natural framing of the knot. We calculate the natural framing of torus knots and some other knots, and discuss some of its properties and its relations to the signature and other well-known knot invariants.
It is well-known that a knot in a contact manifold $(M,C)$ transverse to a trivialized contact structure possesses the natural framing given by the first of the trivialization vectors along the knot. If the Euler class $e_C\in H^2(M)$ of $C$ is nonzero, then $C$ is nontrvivializable and the natural framing of transverse knots does not exist. We construct a new framing-type invariant of transverse knots called relative framing. It is defined for all tight $C$, all closed irreducible atoroidal $M$, and many other cases when $e_C\neq 0$ and the classical framing invariant is not defined. We show …
In view of the self-linking invariant, the number $|K|$ of framed knots in $S^3$ with given underlying knot $K$ is infinite. In fact, the second author previously defined affine self-linking invariants and used them to show that $|K|$ is infinite for every knot in an orientable manifold unless the manifold contains a connected sum factor of $S^1\times S^2$; the knot $K$ need not be zero-homologous and the manifold is not required to be compact. We show that when $M$ is orientable, the number $|K|$ is infinite unless $K$ intersects a non-separating sphere at exactly one point, in which case $|K…
For an integer $n$, write $X_n(K)$ for the 4-manifold obtained by attaching a 2-handle to the 4-ball along the knot $K\subset S^3$ with framing $n$. It is known that if $n< \overline{\text{tb}}(K)$, then $X_n(K)$ admits the structure of a Stein domain, and moreover the adjunction inequality implies there is an upper bound on the value of $n$ such that $X_n(K)$ is Stein. We provide examples of knots $K$ and integers $n\geq \overline{\text{tb}}(K)$ for which $X_n(K)$ is Stein, answering an open question in the field. In fact, our family of examples shows that the largest framing such that the ma…
The Gauss self-linking integral of an unframed knot is not a knot invariant, but it can be turned into an invariant by adding a correction term which requires adding extra structure to the knot. We collect the different definitions/theorems/proofs concerning this correction term, most of which are well-known (at least as folklore) and put everything together in an accessible format. We then show simply and elegantly how these approaches coincide.
Assume that Γ_{v_0} is a tree with vertex set Vert(Γ_{v_0})={v_0, v_1,..., v_n}, and with an integral framing (weight) attached to each vertex except v_0. Assume furthermore that the intersection matrix of G=Γ_{v_0}-{v_0} is negative definite. We define a filtration on the chain complex computing the lattice homology of G and show how to use this information in computing lattice homology groups of a negative definite graph we get by attaching some framing to v_0. As a simple application we produce families of graphs which have arbitrarily many bad vertices for which the lattice homology groups…
For an integral homology 3-sphere embedded asymptotically flatly in an Euclidean space, we find a natural framing extending the standard trivialization on the asymptotically flat part.
We propose some natural generalizations of Reidemeister moves that do not increase the number of crossings in the generated diagrams. Experimentations make us conjecture that this class of monotonic moves is complete for computing canonical forms and then deciding isotopy.
The trunk of a knot in $S^3$, defined by Makoto Ozawa, is a measure of geometric complexity similar to the bridge number or width of a knot. We prove that for any two knots $K_1$ and $K_2$, we have $tr(K_1 \# K_2) = \max\{tr(K_1),tr(K_2)\}$, confirming a conjecture of Ozawa. Another conjecture of Ozawa asserts that any width-minimizing embedding of a knot $K$ also minimizes the trunk of $K$. We produce several families of probable counterexamples to this conjecture.
A holonomic knot is a knot in 3-space which arises as the 2-jet extension of a smooth function on the circle. A holonomic knot associated to a generic function is naturally framed by the blackboard framing of the knot diagram associated to the 1-jet extension of the function. There are two classical invariants of framed knot diagrams: the Whitney index (rotation number) W and the self linking number S. For a framed holonomic knot we show that W is bounded above by the negative of the braid index of the knot, and that the sum of W and |S| is bounded by the negative of the Euler characteristic o…
The (ordinary) unknotting-number of 1-dimensional knots, which is defined by using the crossing-change, is a very basic and important invariant. It is very natural to consider the `unknotting-number' associated with other local-moves on n-dimensional knots, where n is a natural number. In this paper we prove the following facts. For the ribbon-move on 2-knots, which is a kind of local-move on knots, we have the following: There is a ribbon-move-unknotting-number-two 2-knot. The ribbon-move-unknotting-number of 2-knots is unbounded. For the pass-move on 1-knots, which is a kind of local-move on…
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…
Lueck expressed the Gromov norm of a knot complement in terms of an infinite series that can be computed from a presentation of the fundamental group of the knot complement. In this note we show that Lueck's formula, applied to torus knots, yields surprising power series expansions for the logarithm function. This generalizes an infinite series of Lehmer for the natural logarithm of 4.
The paper introduces Slope Conjecture which relates the degree of the Jones polynomial of a knot and its parallels with the slopes of incompressible surfaces in the knot complement. More precisely, we introduce two knot invariants, the Jones slopes (a finite set of rational numbers) and the Jones period (a natural number) of a knot in 3-space. We formulate a number of conjectures for these invariants and verify them by explicit computations for the class of alternating knots, torus knots, the knots with at most 9 crossings, and the $(-2,3,n)$ pretzel knots.
For a 4-manifold represented by a framed knot in $S^3$, it has been well known that the 4-manifold admits a Stein structure if the framing is less than the maximal Thurston-Bennequin number of the knot. In this paper, we prove either the converse of this fact is false or there exists a compact contractible oriented smooth 4-manifold (with Stein fillable boundary) admitting no Stein structure. Note that an exotic smooth structure on $S^4$ exists if and only if there exists a compact contractible oriented smooth 4-manifold with $S^3$ boundary admitting no Stein structure.
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)$.
Let $M^{reg}$ be the topological moduli space of long knots up to regular isotopy, and for any natural number $n > 1$ let $M^{reg}_n$ be the moduli space of all n-cables of framed long knots which are twisted by a string link to a knot in the solid torus $V^3$ . We upgrade the Vassiliev invariant $v_2$ of a knot to an integer valued combinatorial 1-cocycle for $M^{reg}_n$ by a very simple formula. This 1-cocycle depends on a natural number $a \in \mathbb{Z}\cong H_1(V^3;\mathbb{Z})$ with $0<a<n$ as a parameter and we obtain a polynomial-valued 1-cocycle by taking the Lagrange interpolation pol…
We prove the following: Let $2p + 1$ be no less than 5 and $p$ be a natural number. Let $K$ and $J$ be closed, oriented, $(2p+1)$-dimensional connected, $(p-1)$-connected, simple submanifolds of the standard $(2p+3)$-sphere. Then $K$ is equivalent to $J$ if and only if a Seifert matrix associated with a simple Seifert hypersurface for $K$ is $(-1)^p$-$S$-equivalent to that for $J$. We also discuss the $2p+1=3$ case. This result implies one of our main results: Let $μ$ be a natural number. A 1-link $A$ is pass-move equivalent to a 1-link $B$ if and only if the knot product of $A$ and $μ$ copies…
It was previously shown by the second author that every knot in $S^3$ is ambient isotopic to one component of a two-component, alternating, hyperbolic link. In this paper, we define the alternating volume of a knot $K$ to be the minimum volume of any link $L$ in a natural class of alternating, hyperbolic links such that $K$ is ambient isotopic to a component of $L$. Our main result shows that the alternating volume of a knot is coarsely equivalent to the twist number of a knot.
For all natural numbers $N$ and prime numbers $p$, we find a knot $K$ whose skein polynomial $P_K(a,z)$ evaluated at $z=N$ has trivial reduction modulo $p$. An interesting consequence of our construction is that all polynomials $P_K(a,N)$ (mod~$p$) with bounded $a$-span are realised by knots with bounded braid index. As an application, we classify all polynomials of the form $P_K(a,1)$ (mod $2$) with $a$-span $\leq 10$.
In 2008, Lomonaco and Kauffman introduced a knot mosaic system to define a quantum knot system. A quantum knot is used to describe a physical quantum system such as the topology or status of vortexing that occurs on a small scale can not see. Kuriya and Shehab proved that knot mosaic type is a complete invariant of tame knots. In this article, we consider the mosaic number of a knot which is a natural and fundamental knot invariant defined in the knot mosaic system. We determine the mosaic number for all eight-crossing or fewer prime knots. This work is written at an introductory level to enco…
We consider ribbon n-knots for n\geq 2. For such knots we define a set of moves on ribbon disks, and show that any two ribbon disks for isotopic knots are related by a finite sequence of such moves and ambient isotopies. Using this we are able to prove that there is a natural geometric correspondence between ribbon n-knots and ribbon m-knots which is bijective. We also explore a diagrammatic calculus for such knots. In addition we show that for such knots, any two band presentations for the same knot are stably equivalent.
A physically natural potential energy for simple closed curves in $\bold R^3$ is shown to be invariant under Möbius transformations. This leads to the rapid resolution of several open problems: round circles are precisely the absolute minima for energy; there is a minimum energy threshold below which knotting cannot occur; minimizers within prime knot types exist and are regular. Finally, the number of knot types with energy less than any constant $M$ is estimated.
We show that for any nontrivial knot $K$ and any natural number $n$ there is a diagram $D$ of $K$ such that the unknotting number of $D$ is greater than or equal to $n$. It is well known that twice the unknotting number of $K$ is less than or equal to the crossing number of $K$ minus one. We show that the equality holds only when $K$ is a $(2,p)$-torus knot.
There are infinitely many pretzel links with the same Alexander polynomial (actually with trivial Alexander polynomial). By contrast, in this note we revisit the Jones polynomial of pretzel links and prove that, given a natural number S, there is only a finite number of pretzel links whose Jones polynomials have span S. More concretely, we provide an algorithm useful for deciding whether or not a given knot is pretzel. As an application we identify all the pretzel knots up to nine crossings, proving in particular that $8_{12}$ is the first non-pretzel knot.
We define and compare several natural ways to compute the bridge number of a knot diagram. We study bridge numbers of crossing number minimizing diagrams, as well as the behavior of diagrammatic bridge numbers under the connected sum operation. For each notion of diagrammatic bridge number considered, we find crossing number minimizing knot diagrams which fail to minimize bridge number. Furthermore, we construct a family of minimal crossing diagrams for which the difference between diagrammatic bridge number and the actual bridge number of the knot grows to infinity.
The clasp number $c(K)$ of a knot $K$ is the minimum number of clasp singularities among all clasp disks bounded by $K$. It is known that the genus $g(K)$ and the unknotting number $u(K)$ are lower bounds of the clasp number, that is, $\max\{g(K),u(K)\} \leq c(K)$. Then it is natural to ask whether there exists a knot $K$ such that $\max\{g(K),u(K)\}<c(K)$. In this paper, we prove that there exists an infinite family of prime knots such that the question above is affirmative.
Let $M_n$ be the topological moduli space of all parallel n-cables of long framed oriented knots in 3-space. We construct in a combinatorial way for each natural number $n>1$ a 1-cocycle $R_n$ which represents a non trivial class in $H^1(M_n; \mathbb{Z} [x_1,x_2,...,x_1^{-1},x_2^{-1},...])$, where the number of variables $x_m$ depends on $n$. To each generic point in $M_n$ we associate in a canonical way an arc {\em scan} in $M_n$, such that $R_n(scan)$ is already a polynomial knot invariant. We show that $R_3(scan)$ detects the non-invertibility of the knot $8_{17}$ in a very simple way and w…
The ratio of volume to crossing number of a hyperbolic knot is known to be bounded above by the volume of a regular ideal octahedron, and a similar bound is conjectured for the knot determinant per crossing. We investigate a natural question motivated by these bounds: For which knots are these ratios nearly maximal? We show that many families of alternating knots and links simultaneously maximize both ratios.
In 2001, Östlund formulated the question: are Reidemeister moves of types 1 and 3 sufficient to describe a homotopy from any generic immersion of a circle in a two-dimensional plane to an embedding of the circle? The positive answer to this question was treated as a conjecture (Östlund conjecture). In 2014, Hagge and Yazinski disproved the conjecture by showing the first counterexample with a minimal crossing number of 16. This example is naturally extended to counterexamples with given even minimal crossing numbers more than 14. This paper obtains the first counterexample with a minimal cross…
Given a knot K in an integral homology sphere with exterior N_K, there is a natural action of the cyclic group Z/n on the space of SL(n,C) representations of the knot group π_1(N_K), and this induces an action on the SL(n,C) character variety. We identify the fixed points of this action in terms of characters of metabelian representations, and we apply this to show that the twisted Alexander polynomial associated to an irreducible metabelian SL(n,C) representation is actually a polynomial in t^n.
The (untwisted) oriented cube of resolutions for knot Floer homology assigns a complex $C_{F}(S)$ to a singular resolution $S$ of a knot $K$. Manolescu conjectured that when $S$ is in braid position, the homology $H_{*}(C_{F}(S))$ is isomorphic to the HOMFLY-PT homology of $S$. Together with a naturality condition on the induced edge maps, this conjecture would prove the spectral sequence from HOMFLY-PT homology to knot Floer homology. Using a basepoint filtration on $C_{F}(S)$, a recursion formula for HOMFLY-PT homology, and additional $sl_{n}$-like differentials on $C_{F}(S)$, we prove this …
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…
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…
In GT/0006019 oriented quantum algebras were motivated and introduced in a natural categorical setting. Invariants of knots and links can be computed from oriented quantum algebras, and this includes the Reshetikhin-Turaev theory for Ribbon Hopf algebras. Here we continue the study of oriented quantum algebras from a more algebraic perspective, and develop a more detailed theory for them and their associated invariants.
A rope is a non-singular embedding of a closed interval into R^3, which sends the ends of the interval to some fixed points A and B such that |AB|=1. A rope is short if its length is less than 3. The main result of the paper is that the fundamental group of the space of short ropes is naturally isomorphic to the group completion of the semigroup of knots.
We introduce a new approach to universal quantum knot invariants that emphasizes generating functions instead of generators and relations. All the relevant generating functions are shown to be perturbed Gaussians of the form $Pe^G$, where $G$ is quadratic and $P$ is a suitably restricted "perturbation". After developing a calculus for such Gaussians in general we focus on the rank one invariant $\mathbf{Z}_\mathbb{D}$ in detail. We discuss how it dominates the $\mathfrak{sl}_2$-colored Jones polynomials and relates to knot genus and Whitehead doubling. In addition to being a strong knot invari…
A minimal knot is the intersection of a topologically embedded branched minimal disk in $\mathbb{R}^4$ $\mathbb{C}^2 $ with a small sphere centered at the branch point. When the lowest order terms in each coordinate component of the embedding of the disk in $\mathbb{C}^2$ are enough to determine the knot type, we talk of a simple minimal knot. Such a knot is given by three integers $N < p,q$; denoted by $K(N,p,q)$, it can be parametrized in the cylinder as $e^{iθ}\mapsto (e^{Niθ},\sin qθ,\cos pθ)$. From this expression stems a natural representation of $K(N,p,q)$ as an $N$-braid. In this paper…
The representation of knots by petal diagrams (Adams et al. 2012) naturally defines a sequence of distributions on the set of knots. In this article we establish some basic properties of this randomized knot model. We prove that in the random n-petal model the probability of obtaining every specific knot type decays to zero as n, the number of petals, grows. In addition we improve the bounds relating the crossing number and the petal number of a knot. This implies that the n-petal model represents at least exponentially many distinct knots. Past approaches to showing, in some random models, th…
