We show that every knot type admits a pair of diagrams that cannot be made identical without using Reidemeister Omega_2-moves. We also show that our proof is compatible with known results for the other move types, in the sense that every knot type admits a pair of diagrams that cannot be made identical without using all of the move types.
In this article, we give an explicit formula to compute the non-abelian twisted sign-determined Reidemeister torsion of the exterior of a fibered knot in terms of its monodromy. As an application, we give explicit formulae for the non abelian Reidemeister torsion of torus knots and of the figure eight knot.
Given a hyperbolic knot, we prove that the Reidemeister torsion of any lift of the holonomy to SL(2,C) is invariant under mutation along a Conway sphere.
We calculate the twisted Reidemeister torsion of the complement of an iterated torus knot associated with a representation of its fundamental group to the complex special linear group of degree two. We also show that the twisted Reidemeister torsions associated with various representations appear in the asymptotic expansion of the colored Jones polynomial.
We show a relationship between the non-acyclic Reidemeister torsion and a zero of the acyclic Reidemeister torsion for a lambda-regular SU(2) or SL(2, C)-representation of a knot group. Then we give a method to calculate the non-acyclic Reidemeister torsion of a knot exterior. We calculate a new example and investigate the behavior of the non-acyclic Reidemeister torsion associated to a 2-bridge knot and SU(2)-representations of its knot group.
We describe two locally finite graphs naturally associated to each knot type K, called Reidemeister graphs. We determine several local and global properties of these graphs and prove that in one case the graph-isomorphism type is a complete knot invariant up to mirroring. Lastly, we introduce another object, relating the Reidemeister and Gordian graphs, and determine some of its properties.
This paper gives an explicit formula for the SL_2(C)-non-abelian Reidemeister torsion as defined in [Dub06] in the case of twist knots. For hyperbolic twist knots, we also prove that the non-abelian Reidemeister torsion at the holonomy representation can be expressed as a rational function evaluated at the cusp shape of the knot.
We show some computations on representations of the fundamental group in SL(2;C) and Reidemeister torsion for a homology 3-sphere obtained by Dehn surgery along the figure-eight knot. This is the second version. We recorrected several errors in the first version.
We show that from the asymptotic behavior of an evaluation of the colored Jones polynomial of the figure-eight knot we can extract the Chern--Simons invariant and the twisted Reidemeister torsion associated with a representation of the fundamental group of the knot complement to the two-dimensional complex special linear group.
We consider the Reidemeister torsion associated with SL(2, C)-representations of a knot group. A bifurcation point in the SL(2, C)-character variety of a knot group is a character which is given by both an abelian SL(2, C)-representation and a non-abelian one. We show that there exist limits of the non-acyclic Reidemeister torsion at bifurcation points and the limits are expressed by using the derivation of the Alexander polynomial of the knot in this paper.
In this paper a classification of Reidemeister moves, which is the most refined, is introduced. In particular, this classification distinguishes some $Ω_3$-moves that only differ in how the three strands that are involved in the move are ordered on the knot. To transform knot diagrams of isotopic knots into each other one must in general use $Ω_3$-moves of at least two different classes. To show this, knot diagram invariants that jump only under $Ω_3$-moves are introduced. Knot diagrams of isotopic knots can be connected by a sequence of Reidemeister moves of only six, out of the total of 24, …
For a knot $K$ with $Δ_K(t)\doteq t^2-3t+1$ in a homology $3$-sphere, let $M$ be the result of $2/q$-surgery on $K$. We show that an appropriate assumption on the Reidemeister torsion of the universal abelian covering of $M$ implies $q=\pm 1$, if $M$ is a Seifert fibered space.
We determine the asymptotic behavior of the higher dimensional Reidemeister torsion for the graph manifolds obtained by exceptional surgeries along twist knots. We show that all irreducible SL(2;C)-representations of the graph manifold are induced by irreducible metabelian representations of the twist knot group. We also give the set of the limits of the leading coefficients in the higher dimensional Reidemeister torsion explicitly.
For a knot $K$ with $Δ_K(t)\doteq t^2-3t+1$ in a homology $3$-sphere, let $M$ be the result of $2/q$-surgery on $K$. We show that appropriate assumptions on the Reidemeister torsion and the Casson-Walker-Lescop invariant of the universal abelian covering of $M$ imply $q=\pm 1$, if $M$ is a Seifert fibered space.
Let M be a closed 3-manifold obtained by Dehn surgery along the figure-eight knot. We give a formula of the Reisdemeisiter torsion of M for any irreducible SL(2;C)-representation. It is described as a rational expression of the trace of the image of the meridian.
For a compact oriented 3-manifold with torus boundary the adjoint Reidemeister torsion is defined as a function on the $\mathrm{SL}_2(\mathbb{C})$-character variety depending on a choice of a boundary curve. Under reasonable assumptions, it is conjectured that the adjoint torsion satisfies a certain type of vanishing identities. In this paper, we prove that the conjecture holds for all hyperbolic twist knot exteriors by using Jacobi's residue theorem.
We study an invariant of a 3-manifold which consists of Reidemeister torsion for linear representations which pass through a finite group. We show a Dehn surgery formula on this invariant and compute that of a Seifert manifold over $S^2$. As a consequence we obtain a necessary condition for a result of Dehn surgery along a knot to be Seifert fibered, which can be applied even in a case where abelian Reidemeister torsion gives no information.
We study petal diagrams of knots, which provide a method of describing knots in terms of permutations in a symmetric group $S_{2n+1}$. We define two classes of moves on such permutations, called trivial petal additions and crossing exchanges, which do not change the isotopy class of the underlying knot. We prove that any two permutations which represent isotopic knots can be related by a sequence of these moves and their inverses.
A generalization of the volume conjecture relates the asymptotic behavior of the colored Jones polynomial of a knot to the Chern--Simons invariant and the Reidemeister torsion of the knot complement associated with a representation of the fundamental group to the special linear group of degree two over complex numbers. If the knot is hyperbolic, the representation can be regarded as a deformation of the holonomy representation that determines the complete hyperbolic structure. In this article we study a similar phenomenon when the knot is a twice-iterated torus knot. In this case, the asymptot…
We study two sorts of actions on the space of conjugacy classes of irreducible $SU_2$-representations of a knot group. One of them is an involution which comes from the algebraic structure of $SU_2$ and the other is the action by the outer automorphism group of the knot group. In particular, we consider them on an 1-dimensional smooth part of the space, which is canonically oriented and metrized via a Reidemeister torsion volume form. As an application we show that the Reidemeister torsion function on the 1-dimensional subspace has symmetry about the metrization.
Let K be a (2p,q)-torus knot and M_n is a 3-manifold obtained by 1/n-Dehn surgery along K. We consider a polynomial whose zeros are the inverses of the Reideimeister torsion of M_n for SL(2;C)-irreducible representations. Johnson gave a formula for the case of the (2,3)-torus knot under some modification and normalization. We generalize this formula by using Tchebychev polynomials.
Let $M_n$ be a homology 3-sphere obtained by $\frac1n$-Dehn surgery along a $(p,q)$-torus knot. We consider a polynomial $σ_{(p,q,n)}(t)$ whose zeros are the inverses of the Reideimeister torsion of $M_n$ for $\mathit{SL}(2;\mathbb{C})$-irreducible representations. We give an explicit formula of this polynomial by using Tchebychev polynomials of the first kind. Further we also give a 3-term relations of these polynomials.
We introduce an up-down coloring of a virtual-link diagram. The colorabilities give a lower bound of the minimum number of Reidemeister moves of type II which are needed between two 2-component virtual-link diagrams. By using the notion of a quandle cocycle invariant, we determine the necessity of Reidemeister moves of type II for a pair of diagrams of the trivial virtual-knot. This implies that for any virtual-knot diagram $D$, there exists a diagram $D'$ representing the same virtual-knot such that any sequence of generalized Reidemeister moves between them includes at least one Reidemeister…
A shadow diagram is a knot diagram with under-over information omitted; a shadow movie is a sequence of shadow diagrams related by shadow Reidemeister moves. We show that not every shadow movie arises as the shadow of a Reidemeister movie, meaning a sequence of classical knot diagrams related by classical Reidemeister moves. This means that in Kaufman's theory of virtual knots, virtual crossings cannot simply be viewed as classical crossings where which strand is over has been left `to be determined'.
In mathematics, a knot is a single strand of string crossed over itself any number of times, and connected at the ends. The Reidemeister Moves have been proven to be the three core moves necessary to fully untangle a knot. Some knots can be untangled to a loop (the unknot), while others are fundamentally knotted. We define four generalized moves based on the Reidemeister Moves. These moves have the capability of untangling knots which must be made more complicated before they can be simplified. With these moves, we construct a computer program which reads the two-dimensional projection of a kn…
As a generalization of a classical result on the Alexander polynomial for fibered knots, we show in this paper that the Reidemeister torsion associated to a certain representation detects fiberedness of knots in the three sphere.
If a rectangular diagram represents the trivial knot, then it can be deformed into the trivial rectangular diagram with only four edges by a finite sequence of merge operations and exchange operations, without increasing the number of edges, which was shown by I. A. Dynnikov. Using this, Henrich and Kauffman gave an upper bound for the number of Reidemeister moves needed for unknotting a knot diagram of the trivial knot. However, exchange or merge moves on the top and bottom pairs of edges of rectangular diagrams are not considered in the proof. In this paper, we show that there is a rectangul…
Recently, the author discovered an interesting class of knot-like objects called free knots. These purely combinatorial objects are equivalence classes of Gauss diagrams modulo Reidemeister moves (the same notion in the language of words was introduced by Turaev, who thought all free knots to be trivial). As it turned out, these new objects are highly non-trivial, and even admit non-trivial cobordism classes. An important issue is the existence of invariants where a diagram evaluates to itself which makes such objects "similar" to free groups: an element has its minimal representative which "l…
For a knot $K$ in a homology $3$-sphere $Σ$, let $M$ be the result of $2/q$-surgery on $K$, and let $X$ be the universal abelian covering of $M$. Our first theorem is that if the first homology of $X$ is finite cyclic and $M$ is a Seifert fibered space with $N\ge 3$ singular fibers, then $N\ge 4$ if and only if the first homology of the universal abelian covering of $X$ is infinite. Our second theorem is that under an appropriate assumption on the Alexander polynomial of $K$, if $M$ is a Seifert fibered space, then $q=\pm 1$ (i.e.\ integral surgery).
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 …
We give an extension of Fox's formula of the Alexander polynomial for double branched covers over the three-sphere. Our formula provides the Reidemeister torsion of a double branched cover along a knot for a non-trivial one dimensional representation by the product of two factors derived from the knot group. One of the factors is determined by the twisted Alexander polynomial and the other is determined by a rational function on the character variety. As an application, we show that these products distinguish isotopy classes of two-bridge knots up to mirror images.
We study the asymptotics of the higher dimensional Reidemeister torsion for torus knot exteriors, which is related to the results by W. Müller and P. Menal-Ferrer and J. Porti on the asymptotics of the Reidemeister torsion and the hyperbolic volumes for hyperbolic 3-manifolds. We show that the sequence of log |the higher dimensional Reidemeister torsion of a torus knot exterior with SL(2N,C)-representation| / (2N)^2 converges to zero when N goes to infinity. We also give a classification for SL(2,C)-representations of torus knot groups, which induce acyclic SL(2N,C)-representations.
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…
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).
In this note we present a short proof that the 4 oriented Reidemeister moves of type 2 together with any one of the 8 oriented Reidemeister moves of type 3 are sufficient to imply the other 7.
We calculate the twisted Alexander polynomial with the adjoint action for torus knots and twist knots. As consequences of these calculations, we obtain the formula for the nonabelian Reidemeister torsion of torus knots in \cite{Du} and a formula for the nonabelian Reidemeister torsion of twist knots that is better than the one in \cite{DHY}.
We provide an upper bound on the number of ordered Reidemeister moves required to pass between two diagrams of the same link. This bound is in terms of the number of unordered Reidemeister moves required.
For a knot diagram $K$, the classical knot group $π_1(K)$ is a free group modulo relations determined by Wirtinger-type relations on the classical crossings. The classical knot group is invariant under the Reidemeister moves. In this paper, we define a set of quotient groups associated to a knot diagram $K$. These quotient groups are invariant under the Reidemeister moves and the set includes the extended knot groups defined by Boden et al and Silver and Williams.
Morifuji computed the twisted Alexander polynomial of twist knots for nonabelian representations. In this paper we compute the twisted Alexander polynomial and the Reidemeister torsion of genus one two-bridge knots, a class of knots which includes twist knots. As an application, we give a formula for the Reidemeister torsion of the 3-manifold obtained by a Dehn surgery on a genus one two-bridge knot.
For a knot K in $S^3$ and a regular representation $ρ$ of its group $G_K$ into SU(2) we construct a non abelian Reidemeister torsion on the first twisted cohomology group of the knot exterior. This non abelian Reidemeister torsion provides a volume form on the SU(2)-representation space of $G_K$. In another way, we construct according to Casson--or more precisely taking into account Lin's and Heusener's further works--a volume form on the SU(2)-representation space of $G_K$. Next, we compare these two apparently different points of view--the first by means of the Reidemeister torsion and the s…
We generalize Turaev's definition of torsion invariants of pairs $(M,ξ)$, where $M$ is a 3-dimensional manifold and $ξ$ is an Euler structure on $M$ (a non-singular vector field up to homotopy relative to the boundary of $M$ and local modifications in the interior of $M$). Namely, we allow $M$ to have arbitrary boundary and $ξ$ to have simple (convex and/or concave) tangency circles to the boundary. We prove that Turaev's $H_1(M)$-equivariance formula holds also in our generalized context. Our torsions apply in particular to (the exterior of) Legendrian links (in particular, knots) in contact …
The set $\mathit{RT}(M)$ of values of the $\mathit{SL}(2,\mathbb{C})$-Reidemeister torsion of a 3-manifold $M$ can be both finite and infinite. We prove that $\mathit{RT}(M)$ is a finite set if $M$ is the splice of two certain knots in the 3-sphere. The proof is based on an observation on the character varieties and $A$-polynomials of knots.
We have two results. First, we give 96 generating sets oriented singular Reidemeister moves; it is an answer to a question by Bataineh, Khaled, Elhamdadi, and Hajij who give a generating set of oriented singular Reidemeister moves using their computation. Second, in the theory of plane curve and Legendrian knots introduced by V. I. Arnold, we select which moves survive as those of Legendrian singular knots and fronts diagrammatically and explicitly.
We provide an explicit upper bound on the number of Reidemeister moves required to pass between two diagrams of the same link. This leads to a conceptually simple solution to the equivalence problem for links.
Arnold introduced invariants $J^+$, $J^-$ and $St$ for generic planar curves. It is known that both $J^+ /2 + St$ and $J^- /2 + St$ are invariants for generic spherical curves. Applying these invariants to underlying curves of knot diagrams, we can obtain lower bounds for the number of Reidemeister moves for uknotting. $J^- /2 + St$ works well for unmatched RII moves. However, it works only by halves for RI moves. Let $w$ denote the writhe for a knot diagram. We show that $J^- /2 + St \pm w/2$ works well also for RI moves, and demonstrate that it gives a precise estimation for a certain knot d…
Using unknotting number, we introduce a link diagram invariant of Hass and Nowik type, which changes at most by 2 under a Reidemeister move. As an application, we show that a certain infinite sequence of diagrams of the trivial two-component link need quadratic number of Reidemeister moves for being unknotted with respect to the number of crossings. Assuming a certain conjecture on unknotting numbers of a certain series of composites of torus knots, we show that the above diagrams need quadratic number of Reidemeister moves for being splitted.
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}$) .
We present a sequence of diagrams of the unknot for which the minimum number of Reidemeister moves required to pass to the trivial diagram is quadratic with respect to the number of crossings. These bounds apply both in $S^2$ and in $\R^2$.
In this paper we introduce a representation of knots and links called a cube diagram. We show that a property of a cube diagram is a link invariant if and only if the property is invariant under two types of cube diagram operations. A knot homology is constructed from cube diagrams and shown to be equivalent to knot Floer homology.
In 2001, Oestlund conjectured that Reidemeister moves 1 and 3 are sufficient to describe a homotopy from any generic immersion from the circle into the plane to the standard embedding of the circle. We show that this conjecture is false.