It is shown that given any link-manifold, there is an algorithm to decide if the manifold contains an embedded, essential planar surface; if it does, the algorithm will construct one. If a slope on the boundary of the link-manifold is given, there is an algorithm to determine if the slope bounds an embedded punctured-disk; if a meridian slope is given, then it can be determined if a longitude bounds an embedded punctured-disk. The methods use normal surface theory but do not follow the classical approach. Properties of minimal vertex triangulations, layered-triangulations, 0--efficient triangulations and especially triangulated Dehn fillings are central to our methods. We also use an average length estimate for boundary curves of embedded normal surfaces; a version of the average length estimate with boundary conditions also is derived. An algorithm is given to construct precisely those slopes on the boundary of a given link-manifold that bound an embedded punctured-disk in the link-manifold.
We show that all nontrivial embeddings of planar graphs on the torus contain a nontrivial knot or a nonsplit link. This is equivalent to showing that no minimally knotted planar spatial graphs on the torus exist that contain neither a nontrivial knot nor a nonsplit link all of whose components are unknots.
The r-coverings and local moves of planar virtual knotoids
Dalian University of Technology（大连理工大学）；Sobolev Institute of Mathematics of the Siberian Branch of the Russian Academy of Sciences（俄罗斯科学院西伯利亚分院索博列夫数学研究所）
We deduce from a rooted tree in the disk a slalom divide and a slalom knot. A slalom knot is either the local link of a simple plane curve singularity of type A_2n, E_6, E_8 or a fibered hyperbolic knot with very special monodromy.
The stick index of a knot is the least number of line segments required to build the knot in space. We define two analogous 2-dimensional invariants, the planar stick index, which is the least number of line segments in the plane to build a projection, and the spherical stick index, which is the least number of great circle arcs to build a projection on the sphere. We find bounds on these quantities in terms of other knot invariants, and give planar stick and spherical stick constructions for torus knots and for compositions of trefoils. In particular, unlike most knot invariants,we show that …
We introduced concept of meander knots, 2-component meander links and multi-component meander links and derived different families of meander knots and links from open meanders with at most 16 crossings. We also defined semi-meander knots (or knots with ordered Gauss code) and their product.
We consider compact 3-manifolds M having a submersion h to R in which each generic point inverse is a planar surface. The standard height function on a submanifold of the 3-sphere is a motivating example. To (M, h) we associate a connectivity graph G. For M in the 3-sphere, G is a tree if and only if there is a Fox reimbedding of M which carries horizontal circles to a complete collection of complementary meridian circles. On the other hand, if the connectivity graph of the complement of M is a tree, then there is a level-preserving reimbedding of M so that its complement is a connected sum of…
In 2010, Turaev introduced knotoids as a variation on knots that replaces the embedding of a circle with the embedding of a closed interval with two endpoints. A variety of knot invariants have been extended to knotoids. Here we provide definitions of hyperbolicity for both spherical and planar knotoids. We prove that the product of hyperbolic spherical knotoids is hyperbolic and the volumes add. We also determine the least volume of a rational spherical knotoid and provide various classes of hyperbolic knotoids. We also include tables of hyperbolic volumes for both spherical and planar knotoi…
We prove that the rank of knot Floer homology detects the Hopf links, and generalize this result further to classify the links of the second smallest knot Floer homology. We also prove a knot Floer homology analog of arXiv:1910.04246v1 [math.GT] and give a partial answer to when the equality holds in the rank inequality between the knot Floer homology of a link and its sublinks.
The first examples of totally geodesic Seifert surfaces are constructed for hyperbolic knots and links, including both free and totally knotted surfaces. Then it is proved that two bridge knot complements cannot contain totally geodesic orientable surfaces.
We show that the triple-crossing number of any knot is greater or equal to twice its (canonical) genus and we show an even stronger bound in the case of links. As an application we show that this bound is strong enough to obtain the triple-crossing numbers of all torus knots, and of many more knots and their connected sums.
The present paper is an addendum to "Spherical structures on torus knots and links", arXiv:1008.0312, and concerns more general case of torus knot and link cone-manifolds.
We show that all two-bridge knot and link complements are virtually fibered. We also show that spherical Montesinos knot and link complements are virtually fibered. This is accomplished by showing that such knot complements are finitely covered by great circle link complements.
In this paper, we study distribution of the zeros of the Alexander polynomials of knots and links in S^3. We call a knot or link "real stable" (resp. "circular stable") if all the zeros of its Alexander polynomial are real (resp. unit complex). We give a general construction of real stable and circular stable knots and links. We also study pairs of real stable knots and links such that the zeros of the Alexander polynomials are interlaced.
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…
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 use a link invariant defined by Cimasoni-Florens to compute ρ-invariants. This generalizes results of Cochran-Teichner and Friedl on knots to the setting of links. As an application, we prove with only twelve possible exceptions that the twist knots of algebraic order two are linearly independent in the topological concordance group.
This article is solicited by C.\ Adams for a special issue of {\it Chaos, Solitons and Fractals\/} devoted to knot theory and its applications. We present some recent results about Dehn surgeries on arborescent knots and links.
We introduce a new numerical invariant of knots and links from the descending diagrams. It is considered to live between the unknotting number and the bridge number.
We present various examples of cosmetic bandings on knots and links, that is, bandings on knots and links leaving their types unchanged. As a byproduct, we give a hyperbolic knot which admits exotic chirally cosmetic surgeries yielding hyperbolic manifolds. This gives a counterexample to a conjecture raised by Bleiler, Hodgson and Weeks.
Negami found an upper bound on the stick number $s(K)$ of a nontrivial knot $K$ in terms of the minimal crossing number $c(K)$ of the knot which is $s(K) \leq 2 c(K)$. Furthermore McCabe proved $s(K) \leq c(K) + 3$ for a $2$-bridge knot or link, except in the case of the unlink and the Hopf link. In this paper we construct any $2$-bridge knot or link $K$ of at least six crossings by using only $c(K)+2$ straight sticks. This gives a new upper bound on stick numbers of $2$-bridge knots and links in terms of crossing numbers.
We give a simple example showing that a knot or link diagram that lies in the ${\mathbb{Z}}^2$ lattice is not necessarily the projection of a lattice stick knot or link in the ${\mathbb{Z}}^3$ lattice, and we give a necessary and sufficient condition for when a knot or link diagram that lies in the ${\mathbb{Z}}^2$ lattice is in fact the projection of a lattice stick knot or link.
This note shows that if two elements of equal trace (e.g., conjugate elements) generate an arithmetic two-bridge knot or link group, then the elements are parabolic. This includes the figure-eight knot and Whitehead link groups. Similarly, if two conjugate elements generate the trefoil knot group, then the elements are peripheral.
We develop a word mechanism applied in knot and link diagrams for the illustration of a diagrammatic property. We also give a necessary condition for determining incompressible and pairwise incompressible surfaces, that are embedded in knot or link complements. Finally, we give a finiteness theorem and an upper bound on the Euler characteristic of such surfaces.
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.
We develop a topological model of knots and links arising from a single (or multiple processive) round(s) of recombination starting with an unknot, unlink, or (2,m)-torus knot or link substrate. We show that all knotted or linked products fall into a single family, and prove that the size of this family grows linearly with the cube of the minimum number of crossings. Additionally, we prove that the only possible products of an unknot substrate are either clasp knots and links or (2,m)-torus knots and links. Finally, in the (common) case of (2,m)-torus knot or link substrates whose products hav…
Given a biquandle $(X, S)$, a function $τ$ with certain compatibility and a pair of {\em non commutative cocyles} $f,h:X \times X\to G$ with values in a non necessarily commutative group $G$, we give an invariant for singular knots / links. Given $(X,S,τ)$, we also define a universal group $U_{nc}^{fh}(X)$ and universal functions governing all 2-cocycles in $X$, and exhibit examples of computations. When the target group is abelian, a notion of {\em abelian cocycle pair} is given and the "state sum" is defined for singular knots/links. Computations generalizing linking number for singular knot…
In the classical knot theory there is a well-known notion of descending diagram. From an arbitrary diagram one can easily obtain, by some crossing changes, a descending diagram which is a diagram of the unknot or unlink. In this paper the notion of descending diagram for knots and links in the real space is extended to the case of nonoriented knots and links in the projective space. It is also shown that this notion cannot be extended to oriented links.
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.
The theory of welded and extended welded knots is a generalization of classical knot theory. Welded (resp. extended welded) knot diagrams include virtual crossings (resp. virtual crossings and wen marks) and are equivalent under an extended set of Reidemeister-type moves. We present a new class of invariants for welded and extended welded knots and links using a multi-skein relation, following Z. Yang's approach for virtual knots. Using this skein-theoretic approach, we find sufficient conditions on the coefficients to obtain invariance under the extended Reidemeister moves appropriate to weld…
There are many studies about twisted Alexander invariants for knots and links, but calculations of twisted Alexander invariants for spatial graphs, handlebody-knots, and surface-links have not been demonstrated well. In this paper, we give some remarks to calculate the twisted Alexander ideals for spatial graphs, handlebody-knots and surface-links, and observe their behaviors. For spatial graphs, we calculate the invariants of Suzuki's theta-curves and show that the invariants are nontrivial for Suzuki's theta-curves whose Alexander ideals are trivial. For handlebody-knots, we give a remark on…
In this paper we study the theory of {\it pseudo knots}, which are knots with some missing crossing information, and we introduce and study the theory of {\it pseudo tied links} and the theory of {\it pseudo knotoids}. In particular, we first present a braiding algorithm for pseudo knots and we then introduce the $L$-moves in that setting, with the use of which we formulate a sharpened version of the analogue of the Markov theorem for pseudo braids. Then we introduce and study the theory of {\it tied pseudo links}, that generalize the notion of tied links, and we exploit the relation between t…
We will discuss a method for visual presentation of knotted surfaces in the four space, by examining a number and a position of its Morse's critical points. Using this method, we will investigate surface-knot with one critical point of index 1. Then we show infinitely many mutually distinct surface-knots that has an embedding with two critical points of index 1. Next we define a long flat for a banded link for any surface-knot and show diagrammatically a long flat form of $n$-twist-spun $(2,t)$-torus knots.
We analyze properties of links which have diagrams with a small number of negative crossings. We show that if a nontrivial link has a diagram with all crossings positive except possibly one, then the signature of the link is negative. If a link diagram has two negative crossings, we show that the signature of the link is nonpositive with the exception of the left-handed Hopf link (with possible trivial components). We also characterize those links which have signature zero and diagrams with two negative crossings. In particular, we show that if a nontrivial knot has a diagram with two negative…
We consider a relation between two kinds of unknotting numbers defined by using a band surgery on unoriented knots; the band-unknotting number and H(2)-unknotting number, which we may characterize in terms of the first Betti number of surfaces in S^3 spanning the knot and the trivial knot. We also give several examples for these numbers.
2-dimensional knots and links are studied in the article. The notion of parity is introduced via techniques similar to the ones used by the second named author in 1-dimensional case. By using parity new invariants are constructed and known invariants are refined.
The writhe polynomial is a fundamental invariant of an oriented virtual knot. We introduce a kind of local moves for oriented virtual knots called shell moves. The first aim of this paper is to prove that two oriented virtual knots have the same writhe polynomial if and only if they are related by a finite sequence of shell moves. The second aim of this paper is to classify oriented $2$-component virtual links up to shell moves by using several invariants of virtual links.
This article surveys the use of configuration space integrals in the study of the topology of knot and link spaces. The main focus is the exposition of how these integrals produce finite type invariants of classical knots and links. More generally, we also explain the construction of a chain map, given by configuration space integrals, between a certain diagram complex and the deRham complex of the space of knots in dimension four or more. A generalization to spaces of links, homotopy links, and braids is also treated, as are connections to Milnor invariants, manifold calculus of functors, and…
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.
We define a knot/link invariant using set theoretical solutions $(X,σ)$ of the Yang-Baxter equation and non commutative 2-cocycles. We also define, for a given $(X,σ)$, a universal group Unc(X) governing all 2-cocycles in $X$, and we exhibit examples of computations.
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…
Geometric interpretations of some virtual knot invariants are given in terms of invariants of links in $\mathbb{S}^3$. Alexander polynomials of almost classical knots are shown to be specializations of the multi-variable Alexander polynomial of certain two-component boundary links of the form $J \sqcup K$ with $J$ a fibered knot. The index of a crossing, a common ingredient in the construction of virtual knot invariants, is related to the Milnor triple linking number of certain three-component links $J \sqcup K_1 \sqcup K_2$ with $J$ a connected sum of trefoils or figure-eights. Our main techn…
This paper studies rotational virtual knot theory and its relationship with quantum link invariants. Every quantum link invariant for classical knots and links extends to an invariant of rotational virtual knots and links. The paper sets up the background virtual knot theory, defines rotational virtual knot theory, studies an extension of the bracket polynomial and the Manturov parity bracket for rotationals. We give examples of links that are not detected by the bracket polynomial but are detected by the extended parity bracket. Then the general frameworks for oriented and unoriented quantum …
Both classical and virtual knots arise as formal Gauss diagrams modulo some abstract moves corresponding to Reidemeister moves. If we forget about both over/under crossings structure and writhe numbers of knots modulo the same Reidemeister moves, we get a dramatic simplification of virtual knots, which kills all classical knots. However, many virtual knots survive after this simplification. We construct invariants of these objects and present their applications to minimality problems of virtual knots as well as some questions related to graph-links. One can easily generalize these results for …
The cubic lattice stick index of a knot type is the least number of sticks necessary to construct the knot type in the 3-dimensional cubic lattice. We present the cubic lattice stick index of various knots and links, including all (p,p+1)-torus knots, and show how composing and taking satellites can be used to obtain the cubic lattice stick index for a relatively large infinite class of knots. Additionally, we present several bounds relating cubic lattice stick index to other known invariants.
In this paper, we study a geometric/topological measure of knots and links called the nullification number. The nullification of knots/links is believed to be biologically relevant. For example, in DNA topology, one can intuitively regard it as a way to measure how easily a knotted circular DNA can unknot itself through recombination of its DNA strands. It turns out that there are several different ways to define such a number. These definitions lead to nullification numbers that are related, but different. Our aim is to explore the mathematical properties of these nullification numbers. First…
