A virtual knot, which is one of generalizations of knots in $\mathbb{R}^{3}$ (or $S^{3}$), is, roughly speaking, an embedded circle in thickened surface $S_{g} \times I$. In this talk we will discuss about knots in 3 dimensional $S_{g} \times S^{1}$. We introduce basic notions for knots in $S_{g} \times S^{1}$, for example, diagrams, moves for diagrams and so on. For knots in $S_{g} \times S^{1}$ technically we lose over/under information, but we will have information how many times the knot rotates along $S^{1}$. We will discuss the geometric meaning of the rotating information and how to construct invariants by using the "rotating" information.
New invariants of links are constructed using the skein invariant polynomial of colored links defined by the author in [1]. These invariants are stronger than the homflypt polynomial.
In this paper, we formulate a construction of ideal coset invariants for surface-links in $4$-space using invariants for knots and links in $3$-space. We apply the construction to the Kauffman bracket polynomial invariant and obtain an invariant for surface-links called the Kauffman bracket ideal coset invariant of surface-links. We also define a series of new invariants $\{{\mathbf K}_{2n-1}(\mathcal L) | n=2, 3, 4, \ldots\}$ for surface-links $\mathcal L$ by using skein relations, which are more effective than the Kauffman bracket ideal coset invariant to distinguish given surface-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…
We study the eta-invariants of links and show that in many cases they form link concordance invariants, in particular that many eta-invariants vanish for slice links. This result contains and generalizes previous invariants by Smolinsky and Cha--Ko. We give a formula for the eta-invariant for boundary links. In several intersting cases this allows us to show that a given link is not slice. We show that even more eta-invariants have to vanish for boundary slice links. We give an example of a boundary link $L$ that is not boundary slice but where all the known link concordance invariants compute…
Virtual knot theory is a generalization of knot theory which is based on Gauss chord diagrams and link diagrams on closed oriented surfaces. A twisted knot is a generalization of a virtual knot, which corresponds to a link diagram on a possibly non-orientable surface. In this paper, we discuss an invariant of twisted links which is obtained from the JKSS invariant of virtual links by use of double coverings. We also discuss some properties of double covering diagrams.
We define an annular concordance invariant and study its properties. When specialized to braids, this invariant gives bounds on band rank. We introduce a modified chain complex to reformulate the invariant. Then, by focusing on a special case, we give a refinement of the transverse invariant $\hatθ$. We also study the relationship of this invariant with transverse and braid monodromy properties.
Tied links and the tied braid monoid were introduced recently by the authors and used to define new invariants for classical links. Here, we give a version purely algebraic-combinatoric of tied links. With this new version we prove that the tied braid monoid has a decomposition like a semi--direct group product. By using this decomposition we reprove the Alexander and Markov theorem for tied links; also, we introduce the tied singular knots, the tied singular braid monoid and certain families of Homflypt type invariants for tied singular links; these invariants are five-variables polynomials. …
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 type. Finally, we compare our approach to another approach for defining finite type invariants within linking classes.
We introduce the notion of a quandle with a good involution and its homology groups. Carter et al. defined quandle cocycle invariants for oriented links and oriented surface-links. By use of good involutions, quandle cocyle invariants can be defined for links and surface-links which are not necessarily oriented or orientable. The invariants can be used in order to estimate the minimal triple point numbers of non-orientable surface-links.
We define a family of link concordance invariants $\left\{ s_n \right\}_{n=2,3, \cdots}$. These link concordance invariants give lower bounds on the slice genus of a link $L$. We compute the slice genus of positive links. Moreover, these invariants give lower bounds on the link splitting number of a link. Especially, this new lower bound determines the splitting number of positive torus links. This is a generalization of Lobb's knot concordance invariants $\left\{ s_n \right\}$, obtained from Gornik's spectral sequence.
We show that the coefficients of the re-normalized link invariants of the paper "Multivariable link invariants arising from Lie superalgebras of type I" are Vassiliev invariants which give rise to a canonical family of weight systems.
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 $ω$.
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 invariant which detects the invertibility for some links.
In this paper, we discuss the (co)homology theory of biquandles, derived biquandle cocycle invariants for oriented surface-links using broken surface diagrams and how to compute the biquandle cocycle invariants from marked graph diagrams. We also develop the shadow (co)homology theory of biquandles and construct the shadow biquandle cocycle invariants for oriented surface-links.
We find approximations by Vassiliev invariants for the coefficients of the Jones polynomial and all specializations of the HOMFLY and Kauffman polynomials. Consequently, we obtain approximations of some other link invariants arising from the homology of branched covers of links.
We show that the Casson knot invariant, linking number and Milnor's triple linking number, together with a certain 2-string link invariant $V_2$, are necessary and sufficient to express any string link Vassiliev invariant of order two. Explicit combinatorial formulas are given for these invariants. This result is applied to the theory of claspers for string links.
We use a link invariant defined by Cimasoni-Florens to compute ρ-invariants. This generalizes results of Cochran-Teichner and Friedl on knots to the setting of links. As an application, we prove with only twelve possible exceptions that the twist knots of algebraic order two are linearly independent in the topological concordance group.
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.
A link L in the 3-sphere is called Brunnian if every proper sublink of L is trivial. In a previous paper, the first author proved that the restriction to Brunnian links of any Goussarov-Vassiliev finite type invariant of (n+1)-component links of degree<2n is trivial. The purpose of this paper is to study the first nontrivial case. We will show that the restriction of an invariant of degree 2n to (n+1)-component Brunnian links can be expressed as a quadratic form on the Milnor link-homotopy invariants of length n+1.
We introduce a generalization of the Ozsváth-Szabó $τ$-invariant to links by studying a filtered version of link grid homology. We prove that this invariant remains unchanged under strong concordance and we show that it produces a lower bound for the slice genus of a link. We show that this bound is sharp for torus links and we also give an application to Legendrian link invariants in the standard contact 3-sphere.
We define an integer valued invariant for two-component links in S^3 by counting projective SU(2) representations of the link group having non-trivial second Stiefel-Whitney class. We show that our invariant is, up to sign, the linking number of the link. Our construction generalizes that of X.-S. Lin who defined a similar invariant for knots in S^3; his invariant equals half the knot signature.
For a classical link, Milnor defined a family of isotopy invariants, called Milnor $\overlineμ$-invariants. Recently, Chrisman extended Milnor $\overlineμ$-invariants to welded links by a topological approach. The aim of this paper is to show that Milnor $\overlineμ$-invariants can be extended to welded links by a combinatorial approach. The proof contains an alternative proof for the invariance of the original $\overlineμ$-invariants of classical links.
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.
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 invaria…
We extend several classical invariants of links in the 3-sphere to links in so-called quasi-cylinders. These invariants include the linking number, the Seifert form, the Alexander module, the Alexander-Conway polynomial and the Murasugi-Tristram-Levine signatures.
The paper concerns the tree invariants of string links, introduced by Kravchenko and Polyak and closely related to the classical Milnor linking numbers also known as $\barμ$--invariants. We prove that, analogously as for $\barμ$--invariants, certain residue classes of tree invariants yield link homotopy invariants of closed links. The proof is arrow diagramatic and provides a more geometric insight into the indeterminacy through certain tree stacking operations. Further, we show that the indeterminacy of tree invariants is consistent with the original Milnor's indeterminacy. For practical purp…
Notes based on lessons given at {\sc Escuela " Fico González Acuña" de Nudos y 3-variedades}, Mérida Yucatán, México, 7--10 (2015) and {\sc Encuentro de nudos, trenzas y álgebras}, Oaxaca--México, 3--10 October (2018).
We submit a new way to detect pairs of non-cobordant surface-links. We find a new example of a pair of non-cobordant surface-links with the following properties: Orr invariant, Cochran sequence, Sato-Levine invariant, the alinking number and one of Stallings's theorems cannot distinguish them. However our new way can distinguish them.
We study Heegaard Floer homology and various related invariants (such as the $h$-function) for two-component L-space links with linking number zero. For such links, we explicitly describe the relationship between the $h$-function, the Sato-Levine invariant and the Casson invariant. We give a formula for the Heegaard Floer $d$-invariants of integral surgeries on two-component L-space links of linking number zero in terms of the $h$-function, generalizing a formula of Ni and Wu. As a consequence, for such links with unknotted components, we characterize L-space surgery slopes in terms of the $ν^…
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.
We compute the $SU(2)$ Casson-Lin invariant for the Hopf link and determine the sign in the formula of Harper and Saveliev relating this invariant to the linking number.
It is an open problem whether Kirk's $σ$ invariant is the complete obstruction to a link map $S^2\cup S^2\to S^4$ being link homotopically trivial. With the objective of constructing counterexamples, Li proposed a link homotopy invariant $ω$ that is defined on the kernel of $σ$ and also obstructs link nullhomotopy. We show that $ω$ is determined by $σ$, and is a strictly weaker invariant.
Virtual index cocycle is the 1-cochain that counts virtual crossings in the arcs of a virtual link diagram. We show how this cocycle can be used to reformulate and unify some known invariants of virtual links.
A group invariant for links in thickened closed orientable surfaces is studied. Associated polynomial invariants are defined. The group detects nontriviality of a virtual link and determines its virtual genus.
We characterize positive links in terms of strong quasipositivity, homogeneity and the value of Rasmussen, Beliakova and Wehrli's $s$-invariant. We also study almost positive links, in particular, determine the $s$-invariants of almost positive links. This result suggests that all almost positive links might be strongly quasipositive. On the other hand, it implies that almost positive links are never homogeneous links.
We use the knot homology of Khovanov and Lee to construct link concordance invariants generalizing the Rasmussen $s$-invariant of knots. The relevant invariant for a link is a filtration on a vector space of dimension $2^{|L|}$. The basic properties of the $s$-invariant all extend to the case of links; in particular, any orientable cobordism $Σ$ between links induces a map between their corresponding vector spaces which is filtered of degree $χ(Σ)$. A corollary of this construction is that any component preserving orientable cobordism from a $\Kh$-thin link to a link split into $k$ components …
Given any oriented link diagram, two types of new knot invariants are constructed. They satisfy some generalized skein relations. The coefficients of each invariant is from a commutative ring. Homomorphisms and representations of those rings define new link invariants. For example, the HOMFLYPT polynomial with three variables. In this sense, type one invariant is a generalization of the HOMFLYPT polynomial. Those invariants can also be modified by writhe and parameterized to get more powerful invariants. For example, the modified type one invariant distinguishes mutants, and the parameterized …
In the prequel of this paper, Kauffman and Ogasa introduced new topological quantum invariants of compact oriented 3-manifolds with boundary where the boundary is a disjoint union of two identical surfaces. The invariants are constructed via surgery on manifolds of the form $F \times I$ where $I$ denotes the unit interval. Since virtual knots and links are represented as links in such thickened surfaces, we are able also to construct invariants in terms of virtual link diagrams (planar diagrams with virtual crossings). These invariants are new, nontrivial, and calculable examples of quantum in…
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 numbers for handlebody-links. In this paper, we construct a family of invariants for HL-homotopy classes of general handlebody-links, by using Milnor's link-homotopy invariants. Moreover, we give a bijection between the set of HL-homotopy classes of almost trivial handlebody-links an…
By using the cohomology theory of quandles, quandle cocycle invariants and shadow quandle cocycle invariants are defined for oriented links and surface-links via broken surface diagrams. By using symmetric quandles, symmetric quandle cocycle invariants are also defined for unoriented links and surface-links via broken surface diagrams. A marked graph diagram is a link diagram possibly with $4$-valent vertices equipped with markers. S. J. Lomonaco, Jr. and K. Yoshikawa introduced a method of describing surface-links by using marked graph diagrams. In this paper, we give interpretations of these…
Given any unoriented link diagram, a group of new knot invariants are constructed. Each of them satisfies a generalized 4 term skein relation. The coefficients of each invariant is from a commutative ring. Homomorphisms and representations of such a ring defines new link invariants. In this sense, they produce the well-known Kauffman bracket, the Kauffman 2-variable polynomial, and the $Q$-polynomial.
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 the first author.
In this paper we study the relation between two diagrammatic representations of links in lens spaces: the disk diagram and the grid diagram and we find how to pass from one to the other. We also investigate whether the HOMFLY-PT invariant and the Link Floer Homology are essential invariants, that is, we try to understand if these invariants are able to distinguish links in $L(p,q)$ covered by the same link in $\mathbf{S}^3$. In order to do so, we generalize the combinatorial definition of Knot Floer Homology in lens spaces to the case of links and we analyze how both the invariants change when…
We use Kirk's invariant of link maps $S^2\sqcup S^2\to S^4$ and its variations due to Koschorke and Kirk-Livingston to deduce results about classical links. Namely, we give a new proof of the Nakanishi-Ohyama classification of two-component links in $S^3$ up to $Δ$-link homotopy. We also prove its version for string links, which is due (in a slightly different form) to Fleming-Yasuhara. The proofs do not use Clasper Theory.
We describe a presentation for the augmented fundamental rack of a link in the lens space $L(p,1)$. Using this presentation, the (enhanced) counting rack invariants that have been defined for the classical links are applied to the links in $L(p,1)$. In this case, the counting rack invariants also include the information about the action of $π_{1}(L(p,1))$ on the augmented fundamental rack of a link.
As an extension of positive and almost positive diagrams and links, we study two classes of links we call successively almost positive and weakly successively almost positive links. We prove various properties of polynomial invariants and signatures of such links, extending previous results or answering open questions about positive or almost positive links. We discuss their minimal genus and fibering property and for the latter prove a fibering extension of Scharlemann-Thompson's theorem (valid for general links).
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.
This paper gives a connection between well chosen reductions of the Links-Gould invariants of oriented links and powers of the Alexander-Conway polynomial. We prove these formulas by showing the representations of the braid groups we derive the specialized Links-Gould polynomials from can be seen as exterior powers of copies of Burau representations.
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.
