Showing 1–23 of 23 results for author: Taniyama, K

Pairs of knot invariants

Authors: Kouki Taniyama

Abstract: Let $α$ be a map from the set of all knot types ${\mathcal K}$ to a set $X$. Let $β$ be a map from ${\mathcal K}$ to a set $Y$. We define the relation between $α$ and $β$ to be the image of a map $(α,β)$ from ${\mathcal K}$ to $X\times Y$ sending an element $K$ of ${\mathcal K}$ to $(α(K),β(K))$. We determine the relations between $α$ and $β$ for certain $α$ and $β$ such as crossing number, unknot… ▽ More Let $α$ be a map from the set of all knot types ${\mathcal K}$ to a set $X$. Let $β$ be a map from ${\mathcal K}$ to a set $Y$. We define the relation between $α$ and $β$ to be the image of a map $(α,β)$ from ${\mathcal K}$ to $X\times Y$ sending an element $K$ of ${\mathcal K}$ to $(α(K),β(K))$. We determine the relations between $α$ and $β$ for certain $α$ and $β$ such as crossing number, unknotting number, bridge number, braid index, genus and canonical genus. △ Less

Submitted 3 May, 2024; v1 submitted 14 April, 2024; originally announced April 2024.

Comments: 31 pages, 23 figures, a reference added

MSC Class: 57K10

Crossing numbers and rotation numbers of cycles in a plane immersed graph

Authors: Ayumu Inoue, Naoki Kimura, Ryo Nikkuni, Kouki Taniyama

Abstract: For any generic immersion of a Petersen graph into a plane, the number of crossing points between two edges of distance one is odd. The sum of the crossing numbers of all $5$-cycles is odd. The sum of the rotation numbers of all $5$-cycles is even. We show analogous results for $6$-cycles, $8$-cycles and $9$-cycles. For any Legendrian spatial embedding of a Petersen graph, there exists a $5$-cycle… ▽ More For any generic immersion of a Petersen graph into a plane, the number of crossing points between two edges of distance one is odd. The sum of the crossing numbers of all $5$-cycles is odd. The sum of the rotation numbers of all $5$-cycles is even. We show analogous results for $6$-cycles, $8$-cycles and $9$-cycles. For any Legendrian spatial embedding of a Petersen graph, there exists a $5$-cycle that is not an unknot with maximal Thurston-Bennequin number, and the sum of all Thurston-Bennequin numbers of the cycles is $7$ times the sum of all Thurston-Bennequin numbers of the $5$-cycles. We show analogous results for a Heawood graph. We also show some other results for some graphs. We characterize abstract graphs that has a generic immersion into a plane whose all cycles have rotation number $0$. △ Less

Submitted 30 August, 2022; v1 submitted 2 May, 2022; originally announced May 2022.

Comments: 22 pages, 13 figures, 2 tables

MSC Class: Primary 05C10; Secondly 57K10

Strong and weak (1, 3) homotopies on knot Projections

Authors: Noboru Ito, Yusuke Takimura, Kouki Taniyama

Abstract: 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 triv… ▽ More 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 the positive resolutions of double points. Two knot projections with trivializing number two are both weak (1, 3) homotopy equivalent and strong (1, 3) homotopy equivalent if and only if they can be related by only the first flat Reidemeister moves. Finally, we determine the strong (1, 3) homotopy equivalence class containing the trivial knot projection and other classes of knot projections. △ Less

Submitted 1 December, 2020; originally announced December 2020.

Comments: 27 pages, 45 figures

Journal ref: Osaka J. Math. 52 (2015), no. 3, 617--646

Circle arrangements of link projections

Authors: Noboru Ito, Shosaku Matsuzaki, Kouki Taniyama

Abstract: An oriented link projection is the image of a generic immersion of oriented circles into the 2-sphere. The circle arrangement of a link projection is a disjoint union of unoriented circles on the 2-sphere obtained by orientation-incoherent smoothing at each crossing point. We show that two oriented link projections have the same circle arrangement if and only if they are transformed into each othe… ▽ More An oriented link projection is the image of a generic immersion of oriented circles into the 2-sphere. The circle arrangement of a link projection is a disjoint union of unoriented circles on the 2-sphere obtained by orientation-incoherent smoothing at each crossing point. We show that two oriented link projections have the same circle arrangement if and only if they are transformed into each other by certain local moves. We also show that every odd (resp. even) component link has a link projection whose circle arrangement consists of exactly one (resp. two) circles. △ Less

Submitted 20 November, 2020; originally announced November 2020.

Comments: 8 pages, 13 figures

Journal ref: Kobe J. Math. 34 (2017), 27--36

Unknotting numbers and crossing numbers of spatial embeddings of a planar graph

Authors: Yuta Akimoto, Kouki Taniyama

Abstract: It is known that the unknotting number $u(L)$ of a link $L$ is less than or equal to half the crossing number $c(L)$ of $L$. We show that there are a planar graph $G$ and its spatial embedding $f$ such that the unknotting number $u(f)$ of $f$ is greater than half the crossing number $c(f)$ of $f$. We study relations between unknotting number and crossing number of spatial embedding of a planar gra… ▽ More It is known that the unknotting number $u(L)$ of a link $L$ is less than or equal to half the crossing number $c(L)$ of $L$. We show that there are a planar graph $G$ and its spatial embedding $f$ such that the unknotting number $u(f)$ of $f$ is greater than half the crossing number $c(f)$ of $f$. We study relations between unknotting number and crossing number of spatial embedding of a planar graph in general. △ Less

Submitted 11 October, 2020; originally announced October 2020.

Comments: 12 pages, 8 figures

MSC Class: Primary 57K10; Secondly 05C10

Knot diagrams on a punctured sphere as a model of string figures

Authors: Masafumi Arai, Kouki Taniyama

Abstract: A string figure is topologically a trivial knot lying on an imaginary plane orthogonal to the fingers with some crossings. The fingers prevent cancellation of these crossings. As a mathematical model of string figure we consider a knot diagram on the $xy$-plane in $xyz$-space missing some straight lines parallel to the $z$-axis. These straight lines correspond to fingers. We study minimal number o… ▽ More A string figure is topologically a trivial knot lying on an imaginary plane orthogonal to the fingers with some crossings. The fingers prevent cancellation of these crossings. As a mathematical model of string figure we consider a knot diagram on the $xy$-plane in $xyz$-space missing some straight lines parallel to the $z$-axis. These straight lines correspond to fingers. We study minimal number of crossings of these knot diagrams under Reidemeister moves missing these lines. △ Less

Submitted 2 September, 2020; v1 submitted 22 February, 2020; originally announced February 2020.

Comments: 6 pages, 6 figures, minor revision has done, to appear in Journal of Knot Theory and its Ramifications

MSC Class: 57K10; 57K20

Achiral 1-cusped hyperbolic 3-manifolds not coming from amphicheiral null-homologous knot complements

Authors: Kazuhiro Ichihara, In Dae Jong, Kouki Taniyama

Abstract: It is experimentally known that achiral hyperbolic 3-manifolds are quite sporadic at least among those with small volume, while we can find plenty of them as amphicheiral knot complements in the 3-sphere. In this paper, we show that there exist infinitely many achiral 1-cusped hyperbolic 3-manifolds not homeomorphic to any amphicheiral null-homologous knot complement in any closed achiral 3-manifo… ▽ More It is experimentally known that achiral hyperbolic 3-manifolds are quite sporadic at least among those with small volume, while we can find plenty of them as amphicheiral knot complements in the 3-sphere. In this paper, we show that there exist infinitely many achiral 1-cusped hyperbolic 3-manifolds not homeomorphic to any amphicheiral null-homologous knot complement in any closed achiral 3-manifold. △ Less

Submitted 27 September, 2017; originally announced September 2017.

Comments: 10 pages, 9 figures

MSC Class: 57M25 (Primary); 57M50; 57N10 (Secondary)

Site-specific Gordian distances of spatial graphs

Authors: Kouki Taniyama

Abstract: A site-specific Gordian distance between two spatial embeddings of an abstract graph is the minimal number of crossing changes from one to another where each crossing change is performed between two previously specified abstract edges of the graph. It is infinite in some cases. We determine the site-specific Gordian distance between two spatial embeddings of an abstract graph in certain cases. It… ▽ More A site-specific Gordian distance between two spatial embeddings of an abstract graph is the minimal number of crossing changes from one to another where each crossing change is performed between two previously specified abstract edges of the graph. It is infinite in some cases. We determine the site-specific Gordian distance between two spatial embeddings of an abstract graph in certain cases. It has an application to puzzle ring problem. The site-specific Gordian distances between Milnor links and trivial links are determined. We use covering space theory for the proofs. △ Less

Submitted 28 March, 2017; originally announced March 2017.

Comments: 14 pages, 17 figures

MSC Class: Primary 57M25; Secondly 57M15

Map** a knot by a continuous map

Authors: Kouki Taniyama

Abstract: By a fixed continuous map from a $3$-space to itself, a knot in the $3$-space may be mapped to another knot in the $3$-space. We analyze possible knot types of them. Then we map a knot repeatedly by a fixed continuous map and analyze possible infinite sequences of knot types. By a fixed continuous map from a $3$-space to itself, a knot in the $3$-space may be mapped to another knot in the $3$-space. We analyze possible knot types of them. Then we map a knot repeatedly by a fixed continuous map and analyze possible infinite sequences of knot types. △ Less

Submitted 1 September, 2014; originally announced September 2014.

Comments: 12 pages, 10 figures

MSC Class: Primary 57M25; Secondly 37B99; 37E99

Discontinuous maps whose iterations are continuous

Authors: Kouki Taniyama

Abstract: Let $X$ be a topological space and $f:X\to X$ a bijection. Let ${\mathcal C}(X,f)$ be a set of integers such that an integer $n$ is an element of ${\mathcal C}(X,f)$ if and only if the bijection $f^n:X\to X$ is continuous. A subset $S$ of the set of integers ${\mathbb Z}$ is said to be realizable if there is a topological space $X$ and a bijection $f:X\to X$ such that $S={\mathcal C}(X,f)$. A subs… ▽ More Let $X$ be a topological space and $f:X\to X$ a bijection. Let ${\mathcal C}(X,f)$ be a set of integers such that an integer $n$ is an element of ${\mathcal C}(X,f)$ if and only if the bijection $f^n:X\to X$ is continuous. A subset $S$ of the set of integers ${\mathbb Z}$ is said to be realizable if there is a topological space $X$ and a bijection $f:X\to X$ such that $S={\mathcal C}(X,f)$. A subset $S$ of ${\mathbb Z}$ containing 0 is called a submonoid of ${\mathbb Z}$ if the sum of any two elements of $S$ is also an element of $S$. We show that a subset $S$ of ${\mathbb Z}$ is realizable if and only if $S$ is a submonoid of ${\mathbb Z}$. Then we generalize this result to any submonoid in any group. △ Less

Submitted 29 October, 2013; v1 submitted 7 October, 2013; originally announced October 2013.

Comments: 6 pages, 1 figure, some related results, comments, and references added

MSC Class: 20M99; 54C05

Plane curves in an immersed graph in $R^2$

Authors: Marisa Sakamoto, Kouki Taniyama

Abstract: For any chord diagram on a circle there exists a complete graph on sufficiently many vertices such that any generic immersion of it to the plane contains a plane closed curve whose chord diagram contains the given chord diagram as a sub-chord diagram. For any generic immersion of the complete graph on six vertices to the plane the sum of averaged invariants of all Hamiltonian plane curves in it is… ▽ More For any chord diagram on a circle there exists a complete graph on sufficiently many vertices such that any generic immersion of it to the plane contains a plane closed curve whose chord diagram contains the given chord diagram as a sub-chord diagram. For any generic immersion of the complete graph on six vertices to the plane the sum of averaged invariants of all Hamiltonian plane curves in it is congruent to one quarter modulo one half. △ Less

Submitted 27 October, 2012; originally announced October 2012.

Comments: 9 pages, 8 figures

MSC Class: Primary 05C10; Secondly 57M15; 57M25; 57Q35

$\triangle Y$-exchanges and the Conway-Gordon theorems

Authors: Ryo Nikkuni, Kouki Taniyama

Abstract: Conway-Gordon proved that for every spatial complete graph on 6 vertices, the sum of the linking numbers over all of the constituent 2-component links is congruent to 1 modulo 2, and for every spatial complete graph on 7 vertices, the sum of the Arf invariants over all of the Hamiltonian knots is also congruent to 1 modulo 2. In this paper, we give a Conway-Gordon type theorem for any graph which… ▽ More Conway-Gordon proved that for every spatial complete graph on 6 vertices, the sum of the linking numbers over all of the constituent 2-component links is congruent to 1 modulo 2, and for every spatial complete graph on 7 vertices, the sum of the Arf invariants over all of the Hamiltonian knots is also congruent to 1 modulo 2. In this paper, we give a Conway-Gordon type theorem for any graph which is obtained from the complete graph on 6 or 7 vertices by a finite sequence of $\triangle Y$-exchanges. △ Less

Submitted 23 September, 2011; v1 submitted 5 April, 2011; originally announced April 2011.

Comments: 12 pages, 5 figures

MSC Class: 57M15; 57M25

Journal ref: J. Knot Theory Ramifications 21 (2012), 1250067

Multiplicity of a space over another space

Authors: Kouki Taniyama

Abstract: We define a concept which we call multiplicity. First, multiplicity of a morphism is defined. Then the multiplicity of an object over another object is defined to be the minimum of the multiplicities of all morphisms from one to another. Based on this multiplicity, we define a pseudo distance on the class of objects. We define and study several multiplicities in the category of topological spaces… ▽ More We define a concept which we call multiplicity. First, multiplicity of a morphism is defined. Then the multiplicity of an object over another object is defined to be the minimum of the multiplicities of all morphisms from one to another. Based on this multiplicity, we define a pseudo distance on the class of objects. We define and study several multiplicities in the category of topological spaces and continuous maps, the category of groups and homomorphisms, the category of finitely generated $R$-modules and $R$-linear maps over a principal ideal domain $R$, and the neighbourhood category of oriented knots in the 3-sphere. △ Less

Submitted 4 November, 2012; v1 submitted 9 January, 2011; originally announced January 2011.

Comments: 22 pages, 3 figures, some references added, to appear in J. Math. Soc. Japan, Proof of Proposition 2.4 (3) corrected

MSC Class: 18D99; 57M99; 20E99; 13C05; 57M25

Journal ref: J. Math. Soc. Japan, Vol. 64, No. 3 (2012), 823-849

On intrinsically knotted or completely 3-linked graphs

Authors: Ryo Hanaki, Ryo Nikkuni, Kouki Taniyama, Akiko Yamazaki

Abstract: We say that a graph is intrinsically knotted or completely 3-linked if every embedding of the graph into the 3-sphere contains a nontrivial knot or a 3-component link any of whose 2-component sublink is nonsplittable. We show that a graph obtained from the complete graph on seven vertices by a finite sequence of $\triangle Y$-exchanges and $Y \triangle$-exchanges is a minor-minimal intrinsically k… ▽ More We say that a graph is intrinsically knotted or completely 3-linked if every embedding of the graph into the 3-sphere contains a nontrivial knot or a 3-component link any of whose 2-component sublink is nonsplittable. We show that a graph obtained from the complete graph on seven vertices by a finite sequence of $\triangle Y$-exchanges and $Y \triangle$-exchanges is a minor-minimal intrinsically knotted or completely 3-linked graph. △ Less

Submitted 21 January, 2011; v1 submitted 3 June, 2010; originally announced June 2010.

Comments: 17 pages, 9 figures

MSC Class: 57M15; 57M25

Journal ref: Pacific J. Math. 252 (2011), 407--425

Almost positive links have negative signature

Authors: Jozef H. Przytycki, Kouki Taniyama

Abstract: 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… ▽ More 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 crossings then the signature of the knot is negative, unless the knot is a twist knot with negative clasp. We completely determine all trivial link diagrams with two or fewer negative crossings. For a knot diagram with three negative crossings, the signature of the knot is nonpositive except the left-handed trefoil knot. These results generalize those of L. Rudolph, T. Cochran, E. Gompf, P. Traczyk, and J. H. Przytycki, solve Conjecture 5 of [P-2], and give a partial answer to Problem 2.8 of [Co-G] about knots dominating the trefoil knot or the trivial knot. We also describe all unknotting number one positive knots. △ Less

Submitted 27 April, 2009; originally announced April 2009.

Comments: 95 pages, 160 figures

MSC Class: 57M25

Circle immersions that can be divided into two arc embeddings

Authors: Kouki Taniyama

Abstract: We give a complete characterization of a circle immersion that can be divided into two arc embeddings in terms of its chord diagram. We give a complete characterization of a circle immersion that can be divided into two arc embeddings in terms of its chord diagram. △ Less

Submitted 9 February, 2009; originally announced February 2009.

Comments: 9 pages, 6 figures

MSC Class: 57M99; 57M25; 57M27

Braid presentation of spatial graphs

Authors: Ken Kanno, Kouki Taniyama

Abstract: We define braid presentation of edge-oriented spatial graphs as a natural generalization of braid presentation of oriented links. We show that every spatial graph has a braid presentation. For an oriented link it is known that the braid index is equal to the minimal number of Seifert circles. We show that an analogy does not hold for spatial graphs. We define braid presentation of edge-oriented spatial graphs as a natural generalization of braid presentation of oriented links. We show that every spatial graph has a braid presentation. For an oriented link it is known that the braid index is equal to the minimal number of Seifert circles. We show that an analogy does not hold for spatial graphs. △ Less

Submitted 12 January, 2009; originally announced January 2009.

Comments: 13 pages, 15 figures

MSC Class: 57M25; 57M15

A Graph-Theoretic Approach to a Partial Order of Knots and Links

Authors: Toshiki Endo, Tomoko Itoh, Kouki Taniyama

Abstract: We say that a link $L_1$ is an s-major of a link $L_2$ if any diagram of $L_1$ can be transformed into a diagram of $L_2$ by changing some crossings and smoothing some crossings. This relation is a partial ordering on the set of all prime alternating links. We determine this partial order for all prime alternating knots and links with the crossing number less than or equal to six. The proofs are… ▽ More We say that a link $L_1$ is an s-major of a link $L_2$ if any diagram of $L_1$ can be transformed into a diagram of $L_2$ by changing some crossings and smoothing some crossings. This relation is a partial ordering on the set of all prime alternating links. We determine this partial order for all prime alternating knots and links with the crossing number less than or equal to six. The proofs are given by graph-theoretic methods. △ Less

Submitted 22 June, 2008; originally announced June 2008.

Comments: 15 pages, 27 figures

MSC Class: 57M25

Unknotting numbers of diagrams of a given nontrivial knot are unbounded

Authors: Kouki Taniyama

Abstract: 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. 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. △ Less

Submitted 22 June, 2008; v1 submitted 20 May, 2008; originally announced May 2008.

Comments: 13 pages, 14 figures. Theorem 1.4 and Theorem 1.5 added

MSC Class: 57M25

Symmetries of spatial graphs and Simon invariants

Authors: Ryo Nikkuni, Kouki Taniyama

Abstract: An ordered and oriented 2-component link L in the 3-sphere is said to be achiral if it is ambient isotopic to its mirror image ignoring the orientation and ordering of the components. Kirk-Livingston showed that if L is achiral then the linking number of L is not congruent to 2 modulo 4. In this paper we study orientation-preserving or reversing symmetries of 2-component links, spatial complete… ▽ More An ordered and oriented 2-component link L in the 3-sphere is said to be achiral if it is ambient isotopic to its mirror image ignoring the orientation and ordering of the components. Kirk-Livingston showed that if L is achiral then the linking number of L is not congruent to 2 modulo 4. In this paper we study orientation-preserving or reversing symmetries of 2-component links, spatial complete graphs on 5 vertices and spatial complete bipartite graphs on 3+3 vertices in detail, and determine the necessary conditions on linking numbers and Simon invariants for such links and spatial graphs to be symmetric. △ Less

Submitted 14 October, 2009; v1 submitted 1 August, 2007; originally announced August 2007.

Comments: 16 pages, 14 figures

MSC Class: 57M15; 57M25

Journal ref: Fund. Math. 205 (2009), 219--236

Irreducibility of spatial graphs

Authors: Kouki Taniyama

Abstract: A graph embedded in the 3-sphere is called irreducible if it is non-splittable and for any 2-sphere embedded in the 3-sphere that intersects the graph at one point the graph is contained in one of the 3-balls bounded by the 2-sphere. We show that irreducibility is preserved under certain deformations of embedded graphs. We show that certain embedded graphs are irreducible. A graph embedded in the 3-sphere is called irreducible if it is non-splittable and for any 2-sphere embedded in the 3-sphere that intersects the graph at one point the graph is contained in one of the 3-balls bounded by the 2-sphere. We show that irreducibility is preserved under certain deformations of embedded graphs. We show that certain embedded graphs are irreducible. △ Less

Submitted 2 July, 2001; originally announced July 2001.

Comments: 4 pages, 4 figures

MSC Class: 57M25

Local moves on spatial graphs and finite type invariants

Authors: Kouki Taniyama, Akira Yasuhara

Abstract: We define $A_k$-moves for embeddings of a finite graph into the 3-sphere for each natural number $k$. Let $A_k$-equivalence denote an equivalence relation generated by $A_k$-moves and ambient isotopy. $A_k$-equivalence implies $A_{k-1}$-equivalence. Let ${\cal F}$ be an $A_{k-1}$-equivalence class of the embeddings of a finite graph into the 3-sphere. Let ${\cal G}$ be the quotient set of… ▽ More We define $A_k$-moves for embeddings of a finite graph into the 3-sphere for each natural number $k$. Let $A_k$-equivalence denote an equivalence relation generated by $A_k$-moves and ambient isotopy. $A_k$-equivalence implies $A_{k-1}$-equivalence. Let ${\cal F}$ be an $A_{k-1}$-equivalence class of the embeddings of a finite graph into the 3-sphere. Let ${\cal G}$ be the quotient set of ${\cal F}$ under $A_k$-equivalence. We show that the set ${\cal G}$ forms an abelian group under a certain geometric operation. We define finite type invariants on ${\cal F}$ of order $(n;k)$. And we show that if any finite type invariant of order $(1;k)$ takes the same value on two elements of ${\cal F}$, then they are $A_k$-equivalent. $A_k$-move is a generalization of $C_k$-move defined by K. Habiro. Habiro showed that two oriented knots are the same up to $C_k$-move and ambient isotopy if and only if any Vassiliev invariant of order $\leq k-1$ takes the same value on them. The ` if' part does not hold for two-component links. Our result gives a sufficient condition for spatial graphs to be $C_k$-equivalent. △ Less

Submitted 20 June, 2001; originally announced June 2001.

Comments: LaTeX, 18 pages with figures, to appear in Pacific Journal of Mathematics

MSC Class: 57M25 (Primary) 57M15 (Secondary)

Band description of knots and Vassiliev invariants

Authors: Kouki Taniyama, Akira Yasuhara

Abstract: In 1993 K. Habiro defined $C_k$-move of oriented links and around 1994 he proved that two oriented knots are transformed into each other by $C_k$-moves if and only if they have the same Vassiliev invariants of order $\leq k-1$. In this paper we define Vassiliev invariant of type $(k_1,...,k_l)$, and show that, for $k=k_1+...+k_l$, two oriented knots are transformed into each other by $C_k$-moves… ▽ More In 1993 K. Habiro defined $C_k$-move of oriented links and around 1994 he proved that two oriented knots are transformed into each other by $C_k$-moves if and only if they have the same Vassiliev invariants of order $\leq k-1$. In this paper we define Vassiliev invariant of type $(k_1,...,k_l)$, and show that, for $k=k_1+...+k_l$, two oriented knots are transformed into each other by $C_k$-moves if and only if they have the same Vassiliev invariants of type $(k_1,...,k_l)$. We introduce a concept ` band description of knots' and give a diagram-oriented proof of this theorem. When $k_1=...=k_l=1$, the Vassiliev invariant of type $(k_1,...,k_l)$ coincides with the Vassiliev invariant of order $\leq l-1$ in the usual sense. As a special case, we have Habiro's theorem stated above. △ Less

Submitted 3 March, 2000; originally announced March 2000.

Comments: LaTeX, 16 pages with 22 figures

MSC Class: 57M25