Rational moves and tangle embeddings: (2,2)-moves as a case study
Mieczyslaw K. Dabkowski, Makiko Ishiwata, Jozef H. Przytycki
备注：
15 pages, 17 figures; this e-print is an English version of the paper which will appear in "Topology of Knots VII" (Proceeding of the Conference Topology of Knots VII, Dec. 23-26, 2004, TWCU), February, 2005, 37-46 (in Japanese)
We classify 3-braids up to (2,2)-move equivalence and in particular we show how to adjust the Harikae-Nakanishi-Uchida conjecture so it holds for closed 3-braids. As important steps to classify 3-braids up to (2,2)-move equivalence we prove the conjecture for 2-algebraic links and classify (2,2)-equivalence classes for links up to nine crossings. We analyze the behavior of Kei (involutive quandle) associated to a link under (2,2)-moves. We construct Burnside Kei, Q(m,n), and ask the question, motivated by classical Burnside question: for which values of m and n, is Q(m,n) finite?
In this paper, We introduce an invariant of rational n-tangles which is obtained from the Kauffman bracket. It forms a vector with Laurent polynomial entries. We prove that the invariant classifies the rational 2-tangles and the reduced alternating rational 3-tangles. We conjecture that it classifies the rational 3-tangles as well.
We note that a rational $3$-tangle diagram is obtained from a combination of four generators. There is an algorithm to distinguish two rational $3$-tangle diagrams up to isotopy. However, there is no perfect classification about rational $3$-tangle diagrams such as the classification of rational $2$-tangle diagrams corresponding to rational numbers. In this paper, we classify a large set of rational $3$-tangles which are generated by only three generators.
An important issue in classifying the rational $3$-tangle is how to know whether or not the given tangle is the trivial rational 3-tangle called $\infty$-tangle. The author\cite{1} provided a certain algorithm to detect the $\infty$-tangle. In this paper, we give a much simpler method to detect the $\infty$-tangle by using the $\textit{bridge arc replacement}$. We hope that this method can help prove many application problems such as the classification of $3$-bridge knots.
There is a natural way to associate with a transformation of an isotopy class of rational tangles to another, an element of the modular group. The correspondence between the isotopy classes of rational tangles and rational numbers follows, as well as the relation with the braid group $B_3$.
In this paper, we define the \textit{normal form} of collections of disjoint three \textit{bridge arcs} for a given rational $3$-tangle. We show that there is a sequence of \textit{normal jump moves} which leads one to the other for two normal forms of the same rational 3-tangle.
We show that under certain conditions the flyping operation on rational tangles, which produces topologically isotopic tangles, may also produce tangles which are not Legendrian isotopic when viewed in the standard contact structure on $\mathbb{R}^3$. This work is motivated by questions posed by Traynor, and incorporates techniques inspired by work of Eliashberg and Fraser. The proofs within employ a new method of diagramming rational tangles which is also used to easily describe the characteristic foliations of compressing discs for their complements.
Recently Iltgen, Lewark and Marino introduced the concept of a proper rational tangle replacement and the corresponding notion of the proper rational unknotting number. In this note we derive a version of the Montesinos trick for proper rational tangle replacement and use it to study knots with proper rational unknotting number one. We prove that knots with proper rational unknotting number one are prime and classify the alternating knots with proper rational unknotting number one. We also study Montesinos knots with proper rational unknotting number one.
We use Kauffman's bracket polynomial to define a complex-valued invariant of virtual rational tangles that generalizes the well-known fraction invariant for classical rational tangles. We provide a recursive formula for computing the invariant, and use it to compute several examples.
We show that if a composite $θ$-curve has (proper rational) unknotting number one, then it is the order 2 sum of a (proper rational) unknotting number one knot and a trivial $θ$-curve. We also prove similar results for 2-strand tangles and knotoids.
A natural generalization of a crossing change is a rational subtangle replacement (RSR). We characterize the fundamental situation of the rational tangles obtained from a given rational tangle via RSR, building on work of Berge and Gabai, and determine the sites where these RSR may occur. In addition we also determine the sites for RSR distance at least two between 2-bridge links. These proofs depend on the geometry of the branched double cover. Furthermore, we classify all knots in lens spaces whose exteriors are generalized Seifert fibered spaces and their lens space surgeries, extending wor…
A $3$-$tangle$ $T$ is the disjoint union of $3$ properly embedded arcs in the unit 3-ball; it is called rational if there is a homeomorphism of pairs from $(B^3,T)$ to $(D^2\times I,\{x_1,x_2,x_3\}\times I)$. Two rational 3-tangles $T$ and $T'$ are isotopic if there is an orientation-preserving self-homeomorphism $h: (B^3, T)\rightarrow (B^3,T')$ that is the identity map on the boundary. In this paper, we give an algorithm to check whether or not two rational 3-tangles are isotopic by using a modified version of Dehn's method for classifying simple closed curves on surfaces.
In the present paper, we build a bridge between Conway-Coxeter friezes and rational tangles through the Kauffman bracket polynomials. One can compute a Kauffman bracket polynomials attached to rational links by using Conway-Coxeter friezes. As an application one can give a complete invariant on Conway-Coxeter friezes of zigzag-type.
The protein recombinase can change the knot type of circular DNA. The action of a recombinase converting one knot into another knot is normally mathematically modeled by band surgery. Band surgeries on a 2-bridge knot N((4mn-1)/(2m)) yielding a (2,2k)-torus link are characterized. We apply this and other rational tangle surgery results to analyze Xer recombination on DNA catenanes using the tangle model for protein-bound DNA.
Let $F$ be an incompressible, meridionally incompressible and not boundary-parallel surface with boundary in the complement of an algebraic tangle $(B,T)$. Then $F$ separates the strings of $T$ in $B$ and the boundary slope of $F$ is uniquely determined by $(B,T)$ and hence we can define the slope of the algebraic tangle. In addition to the Conway's tangle sum, we define a natural product of two tangles. The slopes and binary operation on algebraic tangles lead an algebraic structure which is isomorphic to the rational numbers. We introduce a new knot and link class, algebraically alternating …
This paper gives two new combinatorial topological proofs of the classification of rational tangles. Each proof rests on an elegant lemma showing that rational tangles are isotopic to canonical alternating rational tangles. The first proof defines the tangle fraction from the canonical form and uses flyping to prove invariance. The second proof defines the fraction of a rational tangle via integral coloring of the tangle. The coloring method is then used to prove the Kauffman-Harary coloring conjecture for alternating knots and links in the case of rational knots and links (closures of rationa…
In the complement of a hyperbolic Montesinos knot with 4 rational tangles, we investigate the number of closed, connected, essential, orientable surfaces of a fixed genus $g$, up to isotopy. We show that there are exactly 12 genus 2 surfaces and $8ϕ(g - 1)$ surfaces of genus greater than 2, where $ϕ(g - 1)$ is the Euler totient function of $g - 1$. Observe that this count is independent of the number of crossings of the knot. Moreover, this class of knots form an infinite class of hyperbolic 3-manifolds and the result applies to all such knot complements.
This paper is an introduction to rational tangles, rational knots and links and their applications to DNA. The paper can be read as an introduction to our more technical papers on rational tangles (math.GT/0311499) and on rational knots (math.GT/0212011). The present paper includes a self-contained account of the tangle fraction from the point of view of the bracket polynomial, accounts of the classification theorems for rational tangles and rational knots (and of our new proofs of these results) and a description of the use of rational tangles in studying DNA recombination.
We introduce the notion of rational links in the solid torus. We show that rational links in the solid torus are fully characterized by rational tangles, and hence by the continued fraction of the rational tangle. Furthermore, we generalize this by giving an infinite family of ambient isotopy invariants of colored diagrams in the Kauffman bracket skein module of an oriented surface.
We use categorical skew Howe duality to find recursion rules that compute categorified sl(N) invariants of rational tangles colored by exterior powers of the standard representation. Further, we offer a geometric interpretation of these rules which suggests a connection to Floer theory. Along the way we make progress towards two conjectures about the colored HOMFLY homology of rational links.
We discuss several open problems in classical Knot Theory and we develop techniques that allow us to study them: Lagrangian tangles, skein modules and Burnside groups.
We show that the Khovanov complex of a rational tangle has a very simple representative whose backbone of non-zero morphisms forms a zig-zag. Furthermore, this minimal complex can be computed quickly by an inductive algorithm. (For example, we calculate $Kh(8_2)$ by hand.) We find that the bigradings of the subobjects in these minimal complexes can be described by matrix actions, which after a change of basis is the reduced Burau representation of $B_3$.
This paper gives infinitely many examples of unknot diagrams that are hard, in the sense that the diagrams need to be made more complicated by Reidemeister moves before they can be simplified. In order to construct these diagrams, we prove theorems characterizing when the numerator of the sum of two rational tangles is an unknot. The key theorem shows that the numerator of the sum of two rational tangles [P/Q] and [R/S] is unknotted if and only if PS + QR has absolute value equal to 1. The paper uses these results in studying processive DNA recombination, finding minimal size unknot diagrams, …
The notion of a pseudoknot is defined as an equivalence class of knot diagrams that may be missing some crossing information. We provide here a topological invariant schema for pseudoknots and their relatives, 4-valent rigid vertex spatial graphs and singular knots, that is obtained by replacing unknown crossings or vertices by rational tangles.
Boring is an operation which converts a knot or two-component link in a 3--manifold into another knot or two-component link. It generalizes rational tangle replacement and can be described as a type of 2--handle attachment. Sutured manifold theory is used to study the existence of essential spheres and planar surfaces in the exteriors of knots and links obtained by boring a split link. It is shown, for example, that if the boring operation is complicated enough, a split link or unknot cannot be obtained by boring a split link. Particular attention is paid to rational tangle replacement. If a k…
From the link Floer complex of a link $K$, we extract a lower bound $t_q'(K)$ for the rational unknotting number of $K$ (i.e. the minimum number of rational replacements required to unknot $K$). Moreover, we show that the torsion obstruction $t_q(K)=\hat{t}(K)$ from an earlier paper of Alishahi and the author is a lower bound for the proper rational unknotting number. Moreover, $t_q(K\#K')=\max\{t_q(K),t_q(K')\}$ and $t'_q(K\#K')=\max\{t'_q(K),t'_q(K')\}$. For the torus knot $K=T_{p,pk+1}$ we compute $t'_q(K)=\lfloor p/2\rfloor$ and $t_q(K)=p-1$.
Three-dimensional N=2 superconformal field theories are constructed by compactifying M5-branes on three-manifolds. In the infrared the branes recombine, and the physics is captured by a single M5-brane on a branched cover of the original ultraviolet geometry. The branch locus is a tangle, a one-dimensional knotted submanifold of the ultraviolet geometry. A choice of branch sheet for this cover yields a Lagrangian for the theory, and varying the branch sheet provides dual descriptions. Massless matter arises from vanishing size M2-branes and appears as singularities of the tangle where branch l…
In this paper, we study the hyperbolicity of arborescent tangles and arborescent links. We will explicitly determine all essential surfaces in arborescent tangle complements with non-negative Euler characteristic, and show that given an arborescent tangle T, the complement X(T) is non-hyperbolic if and only if T is a rational tangle, T=Q_m * T' for some m greater than or equal to 1, or T contains Qn for some n greater than or equal to 2. We use these results to prove a theorem of Bonahon and Seibenmann which says that a large arborescent link L is non-hyperbolic if and only if it contains Q2.
Solving tangle equations is deeply connected with studying enzyme action on DNA. The main goal of this paper is to solve the system of tangle equations $N(O+X_1)=b_1$ and $N(O+X_2)=b_2 \# b_3$, where $X_1$ and $X_2$ are rational tangles, and $b_i$ is a 2-bridge link, for $i=1,2,3$, with $b_2$ and $b_3$ nontrivial. We solve this system of equations under the assumption $\widetilde{O}$, the double branched cover of $O$, is not hyperbolic, i.e.$O$ is not $π$-hyperbolic. Besides, we also deal with tangle equations involving 2-bridge links only under the assumption $O$ is an algebraic tangle.
We consider the ways in which a 4-tangle T inside a unit cube can be extended outside the cube into a knot or link L. We present two links n(T) and d(T) such that the greatest common divisor of the determinants of these two links always divides the determinant of the link L. In order to prove this result we give a two-integer invariant of 4-tangles. Calculations are facilitated by viewing the determinant as the Kauffman bracket at a fourth root of -1, which sets the loop factor to zero. For rational tangles, our invariant coincides with the value of the associated continued fraction.
We give an upper bound on the z-degree of the Kauffman polynomial of a link, using bridges of length greater than one which are separated in some tangle decomposition of a link diagram. We construct some examples by wiring together rational tangles.
For any virtual link $L = S \cup T$ that may be decomposed into a pair of oriented $n$-tangles $S$ and $T$, an oriented local move of type $T \mapsto T'$ is a replacement of $T$ with the $n$-tangle $T'$ in a way that preserves the orientation of $L$. After developing a general decomposition for the Jones polynomial of the virtual link $L = S \cup T$ in terms of various (modified) closures of $T$, we analyze the Jones polynomials of virtual links $L_1,L_2$ that differ via a local move of type $T \mapsto T'$. Succinct divisibility conditions on $V(L_1)-V(L_2)$ are derived for broad classes of lo…
In this paper, we characterize all links in the 3-sphere with bridge number at least three that have a bridge sphere of distance two. We show that a link L has a bridge sphere of distance at most two then it falls into at least one of three categories: (1) The exterior of L contains an essential meridional sphere. (2) L can be decomposed as a tangle product of a Montesinos tangle with an essential tangle in a way that respects the bridge surface and either the Montesinos tangle is rational or the essential tangle contains an incompressible, boundary-incompressible annulus. (3) L is obtained by…
We extend Milnor's mu-invariants of link homotopy to ordered (classical or virtual) tangles. Simple combinatorial formulas for mu-invariants are given in terms of counting trees in Gauss diagrams. Invariance under Reidemeister moves corresponds to axioms of Loday's diassociative algebra. The relation of tangles to diassociative algebras is formulated in terms of a morphism of corresponding operads.
We use a special kind of 2-dimensional extended Topological Quantum Field Theories (TQFTs), so-called open-closed TQFTs, in order to extend Khovanov homology from links to arbitrary tangles, not necessarily even. For every plane diagram of an oriented tangle, we construct a chain complex whose homology is invariant under Reidemeister moves. The terms of this chain complex are modules of a suitable algebra A such that there is one action of A or A^op for every boundary point of the tangle. We give examples of such algebras A for which our tangle homology theory reduces to the link homology theo…
This paper is based on my talks (`Skein modules with a cubic skein relation: properties and speculations' and `Symplectic structure on colorings, Lagrangian tangles and its applications') given in Kyoto (RIMS), September 11 and September 18 respectively, 2001. The first three sections closely follow the talks: starting from elementary moves on links and ending on applications to unknotting number motivated by a skein module deformation of a 3-move. The theory of skein modules is outlined in the problem section of these proceedings. In the first section we make the point that despite its long h…
We develop a calculus of surgery data, called bridged links, which involves besides links also pairs of balls that describe one-handle attachements. As opposed to the usual link calculi of Kirby and others this description uses only elementary, local moves(namely modifications and isolated cancellations), and it is valid also on non-simply connected and disconnected manifolds. In particular, it allows us to give a presentation of a 3-manifold by doing surgery on any other 3-manifold with the same boundary. Bridged link presentations on unions of handlebodies are used to give a Cerf-theoretical…
Champanerkar and Kofman introduced an interesting way to construct new examples of quasi-alternating links from existing ones. Actually, they proved that replacing a quasi-alternating crossing c in a quasi-alternating link by a rational tangle of same type yields a new quasi-alternating link. This construction has been extended to alternating algebraic tangles and applied to characterize all quasi-alternating Montesinos links. In this paper, we extend this technique to any alternating tangle of same type as c. As an application, we give new examples of quasi-alternating knots of 13 and 14 cros…
In the present paper, we define an invariant of free links valued in a free product of some copies of $\mathbb{Z}_{2}$. In \cite{Ma2} the second named author constructed a connection between classical braid group and group presentation generated by elements corresponding to horizontal trisecants. This approach does not apply to links nor tangles because it requires that when counting trisecants, we have the same number of points at each level. For general tangles, trisecants passing through one component twice may occur. Free links can be obtained from tangles by attaching two end points of ea…
Families of alternating knots (links) and tangles are studied using as building block the conway defined as the twisting of two strands. The regular representation of knots assumes the projection has the minimal number of overpassings, and the minimal number of conways. The continued fraction associated to rational knots is represented by gaussian brackets and products of 2-dimensional matrices. This gives birth to an algebra of rational knots and tangles which is easily generalized to alternating knots. A collection of 65 families of prime alternating knots with one to six conways is found. E…
The motivation for this work was to construct a nontrivial knot with trivial Jones polynomial. Although that open problem has not yielded, the methods are useful for other problems in the theory of knot polynomials. The subject of the present paper is a generalization of Conway's mutation of knots and links. Instead of flipping a 2-strand tangle, one flips a many-string tangle to produce a generalized mutant. In the presence of rotational symmetry in that tangle, the result is called a "rotant". We show that if a rotant is sufficiently simple, then its Jones polynomial agrees with that of the …
It is known that every surface-link can be presented by a marked graph diagram, and such a diagram presentation is unique up to moves called Yoshikawa moves. G. Kuperberg introduced a regular isotopy invariant, called the quantum A_2 invariant, for tangled trivalent graph diagrams. In this paper, a polynomial for a marked graph diagram is defined by use of the quantum A_2 invariant and it is studied how the polynomial changes under Yoshikawa moves. The notion of a ribbon marked graph is introduced to show that this polynomial is useful for an invariant of a ribbon 2-knot.
We introduce a matrix representation of a chord on a tangle which leads us to representing tangle chord diagrams as stacks of matrices that we call books. We show that band sum moves, Reidemeister moves as well as orientation changes are implemented on \widetilde{Z}_f - a framed link invariant constructed from the Kontsevich integral that's well-behaved under band sum moves - by matrix congruences. We prove that being given the bare framed Kontsevich integral Z_f(L) in book notation for some unknown link L, we can determine what the link L is, as well as the projection of Z_f(L) in the origina…
Quasi-alternating links are a generalization of alternating links. They are homologically thin for both Khovanov homology and knot Floer homology. Recent work of Greene and joint work of the first author with Kofman resulted in the classification of quasi-alternating pretzel links in terms of their integer tassel parameters. Replacing tassels by rational tangles generalizes pretzel links to Montesinos links. In this paper we establish conditions on the rational parameters of a Montesinos link to be quasi-alternating. Using recent results on left-orderable groups and Heegaard Floer L-spaces, we…
We construct an infinite family of links which are both almost alternating and quasi-alternating from a given either almost alternating diagram representing a quasi-alternating link, or connected and reduced alternating tangle diagram. To do that we use what we call a dealternator extension which consists in replacing the dealternator by a rational tangle extending it. We note that all not alternating and quasi-alternating Montesinos links can be obtained in that way. We check that all the obtained quasi-alternating links satisfy Conjecture 3.1 of Qazaqzeh et al. (JKTR 22 (06), 2013), that is …
Kricker defined an invariant of knots in homology 3-spheres which is a rational lift of the Kontsevich integral, and proved with Garoufalidis that this invariant satisfies splitting formulas with respect to a surgery move called null-move. We define a functorial extension of the Kricker invariant and prove splitting formulas for this functorial invariant with respect to null Lagrangian-preserving surgery, a generalization of the null-move. We apply these splitting formulas to the Kricker invariant.
