arXiv research

Innovates a three-component link homotopy invariant.

A handlebody-link is a disjoint union of embeddings of handlebodies in $S^3$ and an HL-homotopy is an equivalence relation on handlebody-links generated by self-crossing changes. The second author and Ryo Nikkuni classified the set of HL-homotopy classes of 2-component handlebody-links completely using the linking numb…

Edge-homotopy and vertex-homotopy are equivalence relations on spatial graphs which are generalizations of Milnor's link-homotopy. Fleming and the author introduced some edge (resp. vertex)-homotopy invariants of spatial graphs by applying the Sato-Levine invariant for the constituent 2-component algebraically split li…

We introduce the (general) homotopy groups of spheres as link invariants for Brunnian-type links through the investigations on the intersection subgroup of the normal closures of the meridians of strongly nonsplittable links. The homotopy groups measure the difference between the intersection subgroup and symmetric com…

Defines new link-homotopy invariants using Milnor's higher order link invariants.

Edge-homotopy and vertex-homotopy are equivalence relations on spatial graphs which are generalizations of Milnor's link-homotopy. We introduce some edge (resp. vertex)-homotopy invariants of spatial graphs by applying the Sato-Levine invariant for the 2-component constituent algebraically split links and show examples…

Bar-Natan used Chinese characters to show that finite type invariants classify string links up to homotopy. In this paper, I construct the correct spaces of chord diagrams and Chinese characters for links up to homotopy. I use these spaces to show that the only rational finite type invariants of link homotopy are the p…

New tribrackets defined to count link homotopy invariants.

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 su…

We affirmatively address the question of whether the proposed link homotopy invariant $ω$ of Li is well-defined. It is also shown that if one wishes to adapt the homotopy invariant $τ$ of Schneiderman-Teichner to a link homotopy invariant of link maps, the result coincides with $ω$.

We define a notion of finite type invariants for links with a fixed linking matrix. We show that Milnor's triple link homotopy invariant is a finite type invariant, of type 1, in this sense. We also generalize the approach to Milnor's higher order homotopy invariants and show that they are also, in a sense, of finite t…

We show that for links with at most 5 components, the only finite type homotopy invariants are products of the linking numbers. In contrast, we show that for links with at least 9 components, there must exist finite type homotopy invariants which are not products of the linking numbers. This corrects previous errors of…

Link homotopy has been an active area of research for knot theorists since its introduction by Milnor in the 1950s. We introduce a new equivalence relation on spatial graphs called component homotopy, which reduces to link homotopy in the classical case. Unlike previous attempts at generalizing link homotopy to spatial…

We introduce the notion of quasi-triviality of quandles and define homology of quasi-trivial quandles. Quandle cocycle invariants are invariant under link-homotopy if they are associated with 2-cocycles of quasi-trivial quandles. We thus obtain a lot of numerical link-homotopy invariants.

The theory of link-homotopy, introduced by Milnor, is an important part of the knot theory, with Milnor's mu-bar-invariants being the basic set of link-homotopy invariants. Skein relations for knot and link invariants played a crucial role in the recent developments of knot theory. However, while skein relations for Al…

Paper introduces new link homotopy invariants and applies them to 3-bouquet graphs.

We investigate some algebraic structures called quasi-trivial quandles and we use them to study link-homotopy of pretzel links. Precisely, a necessary and sufficient condition for a pretzel link with at least two components being trivial under link-homotopy is given. We also generalize the quasi-trivial quandle idea to…

In 1993, Fenn, Rourke and Sanderson introduced rack spaces and rack homotopy invariants, and modifications to quandle spaces and quandle homotopy invariants were introduced by Nosaka in 2011. In this paper, we define the Cayley-type graph and the extended quandle space of a quandle in analogy to rack and quandle spaces…

We provide an alternative proof that Koschorke's $κ$-invariant is injective on the set of link homotopy classes of $n$-component homotopy Brunnian links $BLM(n)$. The existing proof (by Koschorke \cite{Koschorke97}) is based on the Pontryagin--Thom theory of framed cobordisms, whereas ours is closer in spirit to techni…

An explicit polynomial in the linking numbers $l_{ij}$ and Milnor's triple linking numbers $μ(rst)$ on six component links is shown to be a well-defined finite type link-homotopy invariant. This solves a problem raised by B. Mellor and D. Thurston. An extension of our construction also produces a finite type link invar…

New invariant for 4-manifolds with framed links, stronger than existing invariants.

We study configuration space integral formulas for Milnor's homotopy link invariants, showing that they are in correspondence with certain linear combinations of trivalent trees. Our proof is essentially a combinatorial analysis of a certain space of trivalent "homotopy link diagrams" which corresponds to all finite ty…

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 virtualizat…

Implemented Habegger-Lin algorithm for 4- and 5-component links.

The reduced peripheral system was introduced by Milnor in the fifties for the study of links up to link-homotopy, i.e. up to isotopies and crossing changes within each link component. However, for four or more components, this invariant does not yield a complete link-homotopy invariant. This paper provides two characte…

Determines regular homotopy classes for link immersions of simple singularities.

Two link diagrams are link homotopic if one can be transformed into the other by a sequence of Reidemeister moves and self crossing changes. Milnor introduced invariants under link homotopy called $\barμ$. Nanophrases, introduced by Turaev, generalize links. In this paper, we extend the notion of link homotopy to nanop…

Knot lattice homology invariant of smooth knot type in rational homology spheres.

This paper establishes a correspondence between biquandle and quandle colorings for classical and surface links.

Study the spaces of Legendrian knots and links with maximal Thurston-Bennequin invariant.

Paper defines linking numbers for periodic tangles.

Forbidden moves categorify fused links into quivers.

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 u…

Extends Milnor invariants to surface-links using cut-diagrams.

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 componen…

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.…

Two links are link-homotopic if they are transformed into each other by a sequence of self-crossing changes and ambient isotopies. The link-homotopy classes of 4-component links were classified by Levine with enormous algebraic computations. We modify the results by using Habiro's clasper theory. The new classification…

Fixing two concordant links in $3$--space, we study the set of all embedded concordances between them, as knotted annuli in $4$--space. When regarded up to surface-concordance or link-homotopy, the set $\mathcal{C}(L)$ of concordances from a link $L$ to itself forms a group. In order to investigate these groups, we def…

Given a suitable link map f into a manifold M, we constructed, in [10], link homotopy invariants kappa(f) and mu(f). In the present paper we study the case M=S^n x R^{m - n} in detail. Here mu(f) turns out to be the starting term of a whole sequence mu^(s)(f), s = 0, 1, ..., of higher mu-invariants which together captu…

Homotopy classes of nanowords and nanophrases are combinatorial generalizations of virtual knots and links. Goussarov, Polyak and Viro defined finite type invariants for virtual knots and links via semi-virtual crossings. We extend their definition to nanowords and nanophrases. We study finite type invariants of low de…

This paper is a generalization of the author's previous work on link homotopy to link concordance. We show that the only real-valued finite type link concordance invariants are the linking numbers of the components.

Spatial refinement of Bar-Natan homology constructed.

This paper improves bounds on how many Delta-moves are needed to trivialize a link.

The universal sl_2 invariant of string links has a universality property for the colored Jones polynomial of links, and takes values in the h-adic completed tensor powers of the quantized enveloping algebra of sl_2. In this paper, we exhibit explicit relationships between the universal sl_2 invariant and Milnor invaria…

The Hopf invariant is linked to null-homotopy properties of maps.

Koschorke introduced a map from the space of closed $n$-component links to the ordered configuration space of $n$-tuples of points in $\mathbb{R}^3$, and conjectured that this map separates homotopy links. The purpose of this paper is to construct an analogous map for string links, and to prove (1) this map in fact sep…

V. Turaev introduced the theory of topology of words and phrases in 2005. This is a combinatorialy extension of the theory of virtual knots and links. In this paper we generalize the notion of homotopy of words and phrases and we give geometric meanings of the generalized homotopy of words. Moreover using the generaliz…

K. Orr defined a Milnor-type invariant of links that lies in the third homotopy group of a certain space $K_ω.$ The problem of non-triviality of this third homotopy group has been open. We show that it is an infinitely generated group. The question of realization of its elements as links remains open.