Searcharxiv⌕ Search

arXiv subjects

Akira Yasuhara

Publications and source records attributed to Akira Yasuhara.

At least 37 records · Page 2Linked to original sources
arXiv2018

Burnside groups and $n$-moves for links

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 gives us an efficient way to distinguish $p$th Burnside groups of a given link and a trivial link. As an application, we show that there exist links, each of which is not equivalent to a trivial link up to $p$-moves for any odd prime $p$.

math.GT↗
arXiv2017

Arrow calculus for welded and classical links

We develop a calculus for diagrams of knotted objects. We define Arrow presentations, which encode the crossing informations of a diagram into arrows in a way somewhat similar to Gauss diagrams, and more generally w-tree presentations, which can be seen as `higher order Gauss diagrams'. This Arrow calculus is used to develop an analogue of Habiro's clasper theory for welded knotted objects, which contain classical link diagrams as a subset. This provides a 'realization' of Polyak's algebra of arrow diagrams at the welded level, and leads to a characterization of finite type invariants of welded knots and long knots. As a corollary, we recover several topological results due to K. Habiro and A. Shima and to T. Watanabe on knotted surfaces in 4-space. We also classify welded string links up to homotopy, thus recovering a result of the first author with B. Audoux, P. Bellingeri and E. Wagner.

math.GT↗
arXiv2017

Link invariants derived from multiplexing of crossings

We introduce the multiplexing of a crossing, replacing a classical crossing of a virtual link diagram with multiple crossings which is a mixture of classical and virtual. For integers $m_{i}$ $(i=1,\ldots,n)$ and an ordered $n$-component virtual link diagram $D$, a new virtual link diagram $D(m_{1},\ldots,m_{n})$ is obtained from $D$ by the multiplexing of all crossings. For welded isotopic virtual link diagrams $D$ and $D'$, $D(m_{1},\ldots,m_{n})$ and $D'(m_{1},\ldots,m_{n})$ are welded isotopic. From the point of view of classical link theory, it seems very interesting that $D(m_{1},\ldots,m_{n})$ could not be welded isotopic to a classical link diagram even if $D$ is a classical one, and new classical link invariants are expected from known welded link invariants via the multiplexing of crossings.

math.GT↗
arXiv2016

Milnor invariants of covering links

We consider Milnor invariants for certain covering links as a generalization of covering linkage invariants formulated by R. Hartley and K. Murasugi. A set of Milnor invariants for covering links is a cobordism invariant of a link, and that this invariant can distinguish some links for which the ordinary Milnor invariants coincide. Moreover, for a Brunnian link $L$, the first non-vanishing Milnor invariants of $L$ is modulo-$2$ congruent to a sum of Milnor invariants of covering links. As a consequence, a sum of linking numbers of ' iterated' covering links gives the first non-vanishing Milnor invariant of $L$ modulo $2$.

math.GT↗
arXiv2015

The Milnor invariants of clover links

J.P. Levine introduced a clover link to investigate the indeterminacy of the Milnor invariants of a link. It is shown that for a clover link, the Milnor numbers of length at most $2k+1$ are well-defined if those of length at most $k$ vanish, and that the Milnor numbers of length at least $2k+2$ are not well-defined if those of length $k+1$ survive. For a clover link $c$ with the Milnor numbers of length at most $k$ vanishing, we show that the Milnor number $μ_c(I)$ for a sequence $I$ is well-defined up to the greatest common devisor of $μ_{c}(J)'s$, where $J$ is a subsequence of $I$ obtained by removing at least $k+1$ indices. Moreover, if $I$ is a non-repeated sequence with length $2k+2$, the possible range of $μ_c(I)$ is given explicitly. As an application, we give an edge-homotopy classification of $4$-clover links.

math.GT↗
arXiv2013

Milnor invariants of length $2k+2$ for links with vanishing Milnor invariants of length $\leq k$

J.-B. Meilhan and the second author showed that any Milnor $\barμ$-invariant of length between 3 and $2k+1$ can be represented as a combination of HOMFLYPT polynomial of knots obtained by certain band sum of the link components, if all $\barμ$-invariants of length $\leq k$ vanish. They also showed that their formula does not hold for length $2k+2$. In this paper, we improve their formula to give the $\barμ$-invariants of length $2k+2$ by adding correction terms. The correction terms can be given by a combination of HOMFLYPT polynomial of knots determined by $\barμ$-invariants of length $k+1$. In particular, for any 4-component link the $\barμ$-invariants of length 4 are given by our formula, since all $\barμ$-invariants of length 1 vanish.

math.GT↗
arXiv2013

Abelian quotients of the string link monoid

The set SL(n) of n-string links has a monoid structure, given by the stacking product. When considered up to concordance, SL(n) becomes a group, which is known to be abelian only if n=1. In this paper, we consider two families of equivalence relations which endow SL(n) with a group structure, namely the C_k-equivalence introduced by Habiro in connection with finite type invariants theory, and the C_k-concordance, which is generated by C_k-equivalence and concordance. We investigate under which condition these groups are abelian, and give applications to finite type invariants.

math.GT↗
arXiv2012

Whitehead double and Milnor invariants

We consider the operation of Whitehead double on a component of a link and study the behavior of Milnor invariants under this operation. We show that this operation turns a link whose Milnor invariants of length < k are all zero into a link with vanishing Milnor invariants of length < 2k, and we provide formulas for the first non-vanishing ones. As a consequence, we obtain statements relating the notions of link-homotopy and self Delta-equivalence via the Whitehead double operation. By using our result, we show that a Brunnian link L is link-homotopic to the unlink if and only if a link L with a single component Whitehed doubled is self Delta-equivalent to the unlink.

math.GT↗
arXiv2012

Local moves for links with common sublinks

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 show that such links can be deformed into a trivial link by C_k^d-moves, thus generalizing a result of Habiro and Miyazawa-Yasuhara, and deduce some results on finite type invariants of (n,k)-Brunnian links.

math.GT↗
arXiv2011

Milnor invariants and the HOMFLYPT polynomial

We give formulas expressing Milnor invariants of an n-component link L in the 3-sphere in terms of the HOMFLYPT polynomial as follows. If the Milnor invariant \barμ_J(L) vanishes for any sequence J with length at most k, then any Milnor \barμ-invariant \barμ_I(L) with length between 3 and 2k+1 can be represented as a combination of HOMFLYPT polynomial of knots obtained from the link by certain band sum operations. In particular, the `first non vanishing' Milnor invariants can be always represented as such a linear combination.

math.GT↗
arXiv2009

Homotopy, Delta-equivalence and concordance for knots in the complement of a trivial link

Link-homotopy and self Delta-equivalence are equivalence relations on links. It was shown by J. Milnor (resp. the last author) that Milnor invariants determine whether or not a link is link-homotopic (resp. self Delta-equivalent) to a trivial link. We study link-homotopy and self Delta-equivalence on a certain component of a link with fixing the rest components, in other words, homotopy and Delta-equivalence of knots in the complement of a certain link. We show that Milnor invariants determine whether a knot in the complement of a trivial link is null-homotopic, and give a sufficient condition for such a knot to be Delta-equivalent to the trivial knot. We also give a sufficient condition for knots in the complements of the trivial knot to be equivalent up to Delta-equivalence and concordance.

math.GT↗
arXiv2009

Characterization of Finite Type String Link Invariants of Degree < 5

In this paper, we give a complete set of finite type string link invariants of degree <5. In addition to Milnor invariants, these include several string link invariants constructed by evaluating knot invariants on certain closure of (cabled) string links. We show that finite type invariants classify string links up to C_k-moves for k<6, which proves, at low degree, a conjecture due to Goussarov and Habiro. We also give a similar characterization of finite type concordance invariants of degree <6.

math.GT↗
arXiv2007

Self delta-equivalence for links whose Milnor's isotopy invariants vanish

For an $n$-component link $L$, the Milnor's isotopy invariant is defined for each multi-index $I=i_1i_2...i_m (i_j\in\n)$. Here $m$ is called the length. Let $r(I)$ denote the maximam number of times that any index appears. It is known that Milnor invariants with $r=1$ are link-homotopy invariant. N. Habegger and X. S. Lin showed that two string links are a link-homotopc if and only if their Milnor invariants with $r=1$ coincide. This gives us that a link in $S^3$ is link-homotopic to a trivial link if and only if the all Milnor invariants of the link with $r=1$ vanish. Although Milnor invariants with $r=2$ are not link-homotopy invariants, T. Fleming and the author showed that Milnor invariants with $r\leq 2$ are self $Δ$-equivalence invariants. In this paper, we give a self $Δ$-equivalence classification of the set of $n$-component links in $S^3$ whose Milnor invariants with length $\leq 2n-1$ and $r\leq 2$ vanish. As a corollary, we have that a link is self $Δ$-equivalent to a trivial link if and only if the all Milnor invariants of the link with $r\leq 2$ vanish. This is a geometric characterization for links whose Milnor invariants with $\leq 2$ vanish. The chief ingredient in our proof is Habiro's clasper theory. We also give an alternate proof of a link-homotopy classification of string links by using clasper theory.

math.GT↗
arXiv2006

On C_n-moves for links

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.

math.GT↗
arXiv2005

Milnor's Isotopy Invariants and Generalized Link Homotopy

It has long been known that a Milnor invariant with no repeated index is an invariant of link homotopy. We show that Milnor's invariants with repeated indices are invariants not only of isotopy, but also of self C_k-moves. A self C_k-move is a natural generalization of link homotopy based on certain degree k clasper surgeries, which provides a filtration of link homotopy classes.

math.GT↗
arXiv2004

Brunnian local moves of knots and Vassiliev invariants

K. Habiro gave a neccesary and sufficient condition for knots to have the same Vassiliev invariants in terms of $C_k$-move. In this paper we give another geometric condition in terms of Brunnian local move. The proof is simple and self-contained.

math.GT↗