It is a natural question to ask whether two links are equivalent by the following moves -- parallel parts of a link are changed to k-times half-twisted parts and if they are, how many moves are needed to go from one link to the other. In particular if k=2 and the second link is a trivial link it is the question about the unknotting number. The new polynomial invariants of links often allow us to answer the above questions. Also the first homology groups of cyclic branch covers over links provide some interesting information. In the first part of the paper we apply the Jones-Conway (Homflypt) and Kauffman polynomials to find whether two links are not t_k equivalent and if they are, to gain some information how many moves are needed to go from one link to the other. In the second part we describe the Fox congruence classes and their relations with t_k moves. We use the Fox method to analyze relations between t_k moves and the first homology groups of branched cyclic covers of links.In the third part we consider the influence of t_k moves on the Goeritz and Seifert matrices and analyze Lickorish-Millett and Murakami formulas from the point of view of t_k moves and illustrate them by various examples. At the end of the paper we outline some relations with signatures of links and non-cyclic coverings of link spaces.
We discuss 3-manifolds which are cyclic coverings of the 3-sphere, branched over 2-bridge knots and links. Different descriptions of these manifolds are presented: polyhedral, Heegaard diagram, Dehn surgery and coloured graph constructions. Using these descriptions, we give presentations for their fundamental groups, which are cyclic presentations in the case of 2-bridge knots. The homology groups are given for a wide class of cases. Moreover, we prove that each singly-cyclic branched covering of a 2-bridge link is the composition of a meridian-cyclic branched covering of a determined link and…
A virtual link diagram is called mod $m$ almost classical if it admits an Alexander numbering valued in integers modulo $m$, and a virtual link is called mod $m$ almost classical if it has a mod $m$ almost classical diagram as a representative. In this paper, we introduce a method of constructing a mod $m$ almost classical virtual link diagram from a given virtual link diagram, which we call an $m$-fold cyclic covering diagram. The main result is that $m$-fold cyclic covering diagrams obtained from two equivalent virtual link diagrams are equivalent. Thus we have a well-defined map from the se…
For a signed cyclic graph G, we can construct a unique virtual link L by taking the medial construction and convert 4-valent vertices of the medial graph to crossings according to the signs. If a virtual link can occur in this way then we say that the virtual link is graphical. In the article we shall prove that a virtual link L is graphical if and only if it is checkerboard colorable. On the other hand, we introduce a polynomial F[G] for signed cyclic graphs, which is defined via a deletion-marking recursion. We shall establish the relationship between F[G] of a signed cyclic graph G and the …
Given a real analytic function $f$ from $\mathbb{R}^4$ to $\mathbb{R}^2$ with isolated critical point at the origin, the link $L_f$ of the singularity is a real fibred knot in $\mathbb{S}^{3}$. From this singularities, we construct a family of real isolated suspension singularities from $\mathbb{R}^6$ to $\mathbb{R}^2$ such that its links are the total spaces of the $n$-branched cyclic coverings over the corresponding knots. In this way we obtain as links of singularities, $3$-manifolds that does not appear in the complex case, such as hyperbolic $3$-manifolds or the Hantzsche-Wendt manifold.
Recently, Mullins calculated the Casson-Walker invariant of the 2-fold cyclic branched cover of an oriented link in S^3 in terms of its Jones polynomial and its signature, under the assumption that the 2-fold branched cover is a rational homology 3-sphere. Using elementary principles, we provide a similar calculation for the general case. In addition, we calculate the LMO invariant of the p-fold branched cover of twisted knots in S^3 in terms of the Kontsevich integral of the knot.
We consider closed orientable 3-dimensional hyperbolic manifolds which are cyclic branched coverings of the 3-sphere, with branching set being a two-bridge knot (or link). We establish two-sided linear bounds depending on the order of the covering for the Matveev complexity of the covering manifold. The lower estimate uses the hyperbolic volume and results of Cao-Meyerhoff and Gueritaud-Futer (who recently improved previous work of Lackenby), while the upper estimate is based on an explicit triangulation, which also allows us to give a bound on the Delzant T-invariant of the fundamental group …
Let $M_λ$ be the $λ$-component Milnor link. For $λ\ge 3$, we determine completely when a finite slope surgery along $M_λ$ yields a lens space including $S^3$ and $S^1\times S^2$, where {\it finite slope surgery} implies that a surgery coefficient of every component is not $\infty$. For $λ=3$ (i.e.\ the Borromean rings), there are three infinite sequences of finite slope surgeries yielding lens spaces. For $λ\ge 4$, any finite slope surgery does not yield a lens space. As a corollary, $M_λ$ for $λ\ge 3$ does not yield both $S^3$ and $S^1\times S^2$ by any finite slope surgery. We generalize the…
In a previous paper, the authors proved that Milnor link-homotopy invariants modulo $n$ classify classical string links up to $2n$-move and link-homotopy. As analogues to the welded case, in terms of Milnor invariants, we give here two classifications of welded string links up to $2n$-move and self-crossing virtualization, and up to $V^{n}$-move and self-crossing virtualization, respectively.
A C_n-move is a local move on links defined by Habiro and Goussarov, which can be regarded as a `higher order crossing change'. We use Milnor invariants with repeating indices to provide several classification results for links up to C_n-moves, under certain restrictions. Namely, we give a classification up to C_4-moves of 2-component links, 3-component Brunnian links and n-component C_3-trivial links, and we classify n-component link-homotopically trivial Brunnian links up to C_{n+1}-moves.
Oikawa defined an unknotting operation on virtual knots, called a CF-move, and gave a classification of 2-component virtual links up to CF-moves by the virtual linking number and his $n$-invariant. In particular, it was proved that a CF-move characterizes the information contained in the virtual linking number for 2-component odd virtual links. In this paper, we extend this result by classifying odd virtual links and almost odd virtual links with arbitrary number of components up to CF-moves, using the virtual linking number. Moreover, we extend Oikawa's $n$-invariant and introduce two invaria…
A pass-move and a $#$-move are local moves on oriented links defined by L.H. Kauffman and H. Murakami respectively. Two links are self pass-equivalent (resp. self $#$-equivalent) if one can be deformed into the other by pass-moves (resp. $#$-moves), where non of them can occur between distinct components of the link. These relations are equivalence relations on ordered oriented links and stronger than link-homotopy defined by J. Milnor. We give two complete classifications of links with arbitrarily many components up to self pass-equivalence and up to self $#$-equivalence respectively. So our …
Two string links are equivalent up to $2n$-moves and link-homotopy if and only if their all Milnor link-homotopy invariants are congruent modulo $n$. Moreover, the set of the equivalence classes forms a finite group generated by elements of order $n$. The classification induces that if two string links are equivalent up to $2n$-moves for every $n>0$, then they are link-homotopic.
In this paper, we prove than given two cubic knots $K_1$, $K_2$ in $\mathbb{R}^3$, they are isotopic if and only if one can pass from one to the other by a finite sequence of cubulated moves. These moves are analogous to the Reidemeister moves for classical tame knots. We use the fact that a cubic knot is determined by a cyclic permutation of contiguous vertices of the $\mathbb{Z}^3$-lattice (with some restrictions), to describe some of the classic invariants and properties of the knots in terms of such cyclic permutations, by projecting onto a plane such that it is injective when restricted t…
We give a classification of $n$-component links up to $C_n$-move. In order to prove this classification, we characterize Brunnian links, and have that a Brunnian link is ambient isotopic to a band sum of trivial link and Milnor's links.
A marked graph diagram is a link diagram possibly with marked $4$-valent vertices. S. J. Lomonaco, Jr. and K. Yoshikawa introduced a method of representing surface-links by marked graph diagrams. Specially, K. Yoshikawa gave local moves on marked graph diagrams, nowadays called Yoshikawa moves. It is now known that two marked graph diagrams representing equivalent surface-links are related by a finite sequence of these Yoshikawa moves. In this paper, we provide some generating sets of Yoshikawa moves on marked graph diagrams representing unoriented surface-links, and also oriented surface-link…
A C_k-move is a local move that involves (k+1) strands of a link. A C_k-move is called a C_k^d-move if these (k+1) strands belong to mutually distinct components of a link. Since a C_k^d-move preserves all k-component sublinks of a link, we consider the converse implication: are two links with common k-component sublinks related by a sequence of C_k^d-moves? We show that the answer is yes under certain assumptions, and provide explicit counter-examples for more general situations. In particular, we consider (n,k)-Brunnian links, i.e. n-component links whose k-component sublinks are all trivial…
We classify the Montesinos links up to mutation and 5-move equivalence, and obtain from this a Jones and Kauffman polynomial test for a Montesinos link.
In this paper, we first endow the set of ribbon string links (up to isotopy) with a structure of a cyclic and of a cocyclic set. Next, we relate these (co)cyclic sets with those associated with the coend of a ribbon category. The relationship is given by the universal quantum invariants à la Reshetikhin-Turaev.
We start a systematic analysis of links up to 5-move equivalence. Our motivation is to develop tools which later can be used to study skein modules based on the skein relation being deformation of a 5-move (in an analogous way as the Kauffman skein module is a deformation of a 2-move, i.e. a crossing change). Our main tools are Jones and Kauffman polynomials and the fundamental group of the 2-fold branch cover of S^3 along a link. We use also the fact that a 5-move is a composition of two rational \pm (2,2)-moves (i.e. \pm 5/2-moves) and rational moves can be analyzed using the group of Fox co…
Let $n$ be a positive integer. M. K. Dabkowski and J. H. Przytycki introduced the $n$th Burnside group of links which is preserved by $n$-moves, and proved that for any odd prime $p$ there exist links which are not equivalent to trivial links up to $p$-moves by using their $p$th Burnside groups. This gives counterexamples for the Montesinos-Nakanishi $3$-move conjecture. In general, it is hard to distinguish $p$th Burnside groups of a given link and a trivial link. We give a necessary condition for which $p$th Burnside groups are isomorphic to those of trivial links. The necessary condition gi…
Dabkowski and Sahi defined an invariant of a link in the $3$-sphere, which is preserved under $4$-moves. This invariant is a quotient of the fundamental group of the complement of the link. It is generally difficult to distinguish the Dabkowski-Sahi invariants of given links. In this paper, we give a necessary condition for the existence of an isomorphism between the Dabkowski-Sahi invariant of a link and that of the corresponding trivial link. Using this condition, we provide a practical obstruction to a link to be trivial up to $4$-moves.
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 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.
We prove that under fairly general conditions an iterated exchange move gives infinitely many non-conjugate braids. As a consequence, every knot has infinitely many conjugacy classes of n-braid representations if and only if it has one admitting an exchange move.
We consider arrow diagrams of links in $S^3$ and define $k$-moves on such diagrams, for any $k\in\mathbb N$. We study the equivalence classes of links in $S^3$ up to $k$-moves. For $k=2$, we show that any two knots are equivalent, whereas it is not true for links. We show that the Jones polynomial at a $k$-th primitive root of unity is unchanged by a $k$-move, when $k$ is odd. It is multiplied by $-1$, when $k$ is even. It follows that, for any $k\ge 5$, there are infinitely many classes of knots modulo $k$-moves. We use these results to study the Hopf crossing number. In particular, we show t…
Every link in the 3-sphere has a projection to the plane where the only singularities are pairwise transverse triple points. The associated diagram, with height information at each triple point, is a triple-crossing diagram of the link. We give a set of diagrammatic moves on triple-crossing diagrams analogous to the Reidemeister moves on ordinary diagrams. The existence of n-crossing diagrams for every n>1 allows the definition of the n-crossing number. We prove that for any nontrivial, nonsplit link, other than the Hopf link, its triple-crossing number is strictly greater than its quintuple-c…
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…
Two singular links are cobordant if one can be obtained from the other by singular link isotopy together with a combination of births or deaths of simple unknotted curves, and saddle point transformations. A movie description of a singular link cobordism in 4-space is a sequence of singular link diagrams obtained from a projection of the cobordism into 3-space by taking 2-dimensional cross sections perpendicular to a fixed direction. We present a set of movie moves that are sufficient to connect any two movies of isotopic singular link cobordisms.
This work identifies a class of moves on knots which translate to $m$-equivalences of the associated $p$-fold branched cyclic covers, for a fixed $m$ and any $p$ (with respect to the Goussarov-Habiro filtration.) These moves are applied to give a flexible (if specialised) construction of knots for which the Casson-Walker-Lescop invariant (for example) of their $p$-fold branched cyclic covers may be readily calculated, for any choice of $p$. In the second part of this paper, these operations are illustrated by some theorems concerning the relationship of knot invariants obtained from finite typ…
Let $n$ be a positive integer. The aim of this paper is to study two local moves $V(n)$ and $V^{n}$ on welded links, which are generalizations of the crossing virtualization. We show that the $V(n)$-move is an unknotting operation on welded knots for any $n$, and give a classification of welded links up to $V(n)$-moves. On the other hand, we give a necessary condition for which two welded links are equivalent up to $V^{n}$-moves. This leads to show that the $V^{n}$-move is not an unknotting operation on welded knots except for $n=1$. We also discuss relations among $V^{n}$-moves, associated co…
There is a question asking whether a handle-irreducible summand of every stable-ribbon surface-link is a unique ribbon surface-link. This question for the case of a trivial surface-link is affirmatively answered. That is, a handle-irreducible summand of every stably trivial surface-link is only a trivial 2-link. By combining this result with an old result of F. Hosowaka and the author that every surface-knot with infinite cyclic fundamental group is a stably trivial surface-knot, it is concluded that every surface-knot with infinite cyclic fundamental group is a trivial (i.e., an unknotted) su…
Kashaev and Reshetikhin proposed a generalization of the Reshetikhin-Turaev link invariant construction to tangles with a flat connection in a principal G-bundle over the complement of the tangle. The purpose of this paper is to adapt and renormalize their construction to define invariants of G-links using the semi-cyclic representations of the non-restricted quantum group associated to sl2, defined by De Concini and Kac. Our construction uses a modified Markov trace. In our main example, the semi-cyclic invariants are a natural extension of the generalized Alexander polynomial invariants defi…
A well-known identity (Alex+) - (Alex-)=(t^{1/2}-t^{-1/2}) (Alex0) holds for three 1-links L+, L-, and L0 which satisfy a famous local-move-relation. We prove a new local-move-identity for the Z[t,t^{-1}]-Alexander polynomials of 2-links, which is a 2-dimensional analogue of the 1-dimensional one. In the 1-dimensional link case there is a well-known relation between the Alexander-Conway polynomial and the linking number. As its 2-dimensional analogue, we find a relation between the Z[t,t^{-1}]-Alexander polynomials of 2-links and the alinking number of 2-links. We show high dimensional analogu…
Roseman moves are seven types of local modification for surface-link diagrams in $3$-space which generate ambient isotopies of surface-links in $4$-space. In this paper, we focus on Roseman moves involving triple points, one of which is the famous tetrahedral move, and discuss their independence. For each diagram of any surface-link, we construct a new diagram of the same surface-link such that any sequence of Roseman moves between them must contain moves involving triple points (and the numbers of triple points of the two diagrams are the same). Moreover, we can find a pair of two diagrams of…
It is known that algebraically split links (links with vanishing pairwise linking number) can be transformed into the trivial link by a series of local moves on the link diagram called delta-moves; we define the delta-unlinking number to be the minimum number of such moves needed. This generalizes the notion of delta-unknotting number, defined to be the minimum number of delta-moves needed to move a knot into the unknot. While the delta-unknotting number has been well-studied and calculated for prime knots, no prior such analysis has been conducted for the delta-unlinking number. We prove a nu…
We show that every alternating link of 2-components and 12 crossings can be reduced by 4-moves to the trivial link or the Hopf link. It answers the question asked in one of the last papers by Slavik Jablan.
Östlund (2001) showed that all planar isotopy invariants of generic plane curves that are unchanged under cusp moves and triple point moves, and of finite degree (in self-tangency moves) are trivial. Here the term "of finite degree" means Arnold-Vassiliev type. It implies the conjecture, which was often called Östlund conjecture: "Types I and III Reidemeister moves are sufficient to describe a homotopy from any generic immersion from the circle into the plain to the standard embedding of the circle". Although counterexamples are known nowadays, there had been no (easy computable) function that…
For an oriented surface link $F$ in $\mathbb{R}^4$, we consider a satellite construction of a surface link, called a 2-dimensional braid over $F$, which is in the form of a covering over $F$. We introduce the notion of an $m$-chart on a surface diagram $π(F)\subset \mathbb{R}^3$ of $F$, which is a finite graph on $π(F)$ satisfying certain conditions and is an extended notion of an $m$-chart on a 2-disk presenting a surface braid. A 2-dimensional braid over $F$ is presented by an $m$-chart on $π(F)$. It is known that two surface links are equivalent if and only if their surface diagrams are rel…
The flat plumbing basket presentation of a link is introduced by Furihata, Hirasawa and Kobayashi. In this paper, we show that the pass-equivalence and an equivalence introduced by using the flat plumbing basket presentation are the same relation. Furthermore, we obtain an evaluation of the minimal number of bands used for the flat pluming basket presentation for a knot coming from the degree of the Alexander polynomial and the three genus of the knot.
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…
Yasutaka Nakanishi asked in 1981 whether a 3-move is an unknotting operation. In Kirby's problem list, this question is called `The Montesinos-Nakanishi 3-move conjecture'. We define the n-th Burnside group of a link and use the 3rd Burnside group to answer Nakanishi's question; ie, we show that some links cannot be reduced to trivial links by 3-moves.
The Jones polynomial $V_{L}(t)$ for an oriented link $L$ is a one-variable Laurent polynomial link invariant discovered by Jones. For any integer $n\ge 3$, we show that: (1) the difference of Jones polynomials for two oriented links which are $C_{n}$-equivalent is divisible by $\left(t-1\right)^{n}\left(t^{2}+t+1\right)\left(t^{2}+1\right)$, and (2) there exists a pair of two oriented knots which are $C_{n}$-equivalent such that the difference of the Jones polynomials for them equals $\left(t-1\right)^{n}\left(t^{2}+t+1\right)\left(t^{2}+1\right)$.
