arXiv subjects
Publications and source records attributed to Akira Yasuhara.
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.
Rotors were introduced in Graph Theory by W.Tutte. The concept was adapted to Knot Theory as a generalization of mutation by Anstee, Przytycki and Rolfsen in 1987. In this paper we show that Tristram-Levine signature is preserved by orientation-preserving rotations. Moreover, we show that any link invariant obtained from the characteristic polynomial of Goeritz matrix, including Murasugi signature, is not changed by rotations. In 2001, P. Traczyk showed that the Conway polynomials of any pair of orientation-preserving rotants coincide. But it was still an open problem if an orientation-reversing rotation preserves Conway polynomial. We show that there is a pair of orientation-reversing rotants with different Conway polynomials. This provides a negative solution to the problem.
J.P. Levine showed that the Conway polynomial of a link is a product of two factors: one is the Conway polynomial of a knot which is obtained from the link by banding together the components; and the other is determined by the $\barμ$-invariants of a string link with the link as its closure. We give another description of the latter factor: the determinant of a matrix whose entries are linking pairings in the infinite cyclic covering space of the knot complement, which take values in the quotient field of ${\Bbb Z}[t,t^{-1}]$. In addition, we give a relation between the Taylor expansion of a linking pairing around $t=1$ and derivation on links which is invented by T.D. Cochran. In fact, the coefficients of the powers of $t-1$ will be the linking numbers of certain derived links in $S^3$. Therefore, the first non-vanishing coefficient of the Conway polynomial is determined by the linking numbers in $S^3$. This generalizes a result of J. Hoste.
We study the linking numbers in a rational homology 3-sphere and in the infinite cyclic cover of the complement of a knot. They take values in $\Bbb Q$ and in ${Q}({\Bbb Z}[t,t^{-1}])$ respectively, where ${Q}({\Bbb Z}[t,t^{-1}])$ denotes the quotient field of ${\Bbb Z}[t,t^{-1}]$. It is known that the modulo-$\Bbb Z$ linking number in the rational homology 3-sphere is determined by the linking matrix of the framed link and that the modulo-${\Bbb Z}[t,t^{-1}]$ linking number in the infinite cyclic cover of the complement of a knot is determined by the Seifert matrix of the knot. We eliminate ` modulo $\Bbb Z$' and ` modulo ${\Bbb Z}[t,t^{-1}]$'. When the finite cyclic cover of the 3-sphere branched over a knot is a rational homology 3-sphere, the linking number of a pair in the preimage of a link in the 3-sphere is determined by the Goeritz/Seifert matrix of the knot.
We give an algorithm for a surgery description of a $p$-fold cyclic branched cover of $B^3$ branched along a tangle. We generalize constructions of Montesinos and Akbulut-Kirby.
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.
The $C_k$-equivalence is an equivalence relation generated by $C_k$-moves defined by Habiro. Habiro showed that the set of $C_k$-equivalence classes of the knots forms an abelian group under the connected sum and it can be classified by the additive Vassiliev invariant of order $\leq k-1$. We see that the set of $C_k$-equivalence classes of the spatial $θ$-curves forms a group under the vertex connected sum and that if the group is abelian, then it can be classified by the additive Vassiliev invariant of order $\leq k-1$. However the group is not necessarily abelian. In fact, we show that it is nonabelian for $k\geq 12$. As an easy consequence, we have the set of $C_k$-equivalence classes of $m$-string links, which forms a group under the composition, is nonabelian for $k\geq 12$ and $m\geq 2$.
We give a necessary condition for a torus knot to be untied by a single twisting. By using this result, we give infinitely many torus knots that cannot be untied by a single twisting.
We give a concise proof of a classification of lens spaces up to orientation-preserving homeomorphisms. The chief ingredient in our proof is a study of the Alexander polynomial of ` symmetric' links in $S^3$.
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 classifications give subdivisions of link-homotopy classes.
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.