arXiv research

We describe completely the link invariants constructed using Markov traces on the Yokonuma-Hecke algebras in terms of the linking matrix and the HOMFLYPT polynomials of 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 sublin…

Paper proves link diagrams can be realized for some but not all types of links.

We prove that certain problems naturally arising in knot theory are NP--hard or NP--complete. These are the problems of obtaining one diagram from another one of a link in a bounded number of Reidemeister moves, determining whether a link has an unlinking or splitting number $k$, finding a $k$-component unlink as a sub…

Given an $m$-component link $L$ in $S^3$ ($m \ge 2$), we construct a family of links which are link homotopic, but not link isotopic, to $L$. Every proper sublink of such a link is link isotopic to the corresponding sublink of $L$. Moreover, if $L$ is an unlink then there exist links that in addition to the above prope…

We use the idea of expressing a nonoriented link as a sum of all oriented links corresponding to the link to present a short proof of the Lickorish-Millett-Turaev formula for the Kauffman polynomial at $z= -a- a^{-1}$. Our approach explains the observation made by Lickorish and Millett that the formula is the generatin…

New Alexander quandles reveal more about link substructures.

We introduce new skein invariants of links based on a procedure where we first apply the skein relation only to crossings of distinct components, so as to produce collections of unlinked knots. We then evaluate the resulting knots using a given invariant. A skein invariant can be computed on each link solely by the use…

New proof shows a link problem is hard without complex links.

Electromagnetic fields can be knotted and stable, linked to quasipositive links.

We prove that, for any ordinary sense slice 1-link $L$, we can define the Arf invariant and Arf(L)=0. We prove that, for any m-component 1-link L_1, there exists a 3m-component ordinary sense slaice 1-link L_2 of which L_1 is a sublink.

Paper proves a generalized Torres formula for twisted Reidemeister torsion.

We construct infinite families of topologically isotopic but smoothly distinct knotted spheres in many simply connected 4-manifolds that become smoothly isotopic after stabilizing by connected summing with $S^2 \times S^2$, and as a consequence, analogous families of diffeomorphisms and metrics of positive scalar curva…

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 $\tria…

We construct a 2-variable link polynomial, called $W_L$, for classical links by considering simultaneously the Kauffman state models for the Alexander and for the Jones polynomials. We conjecture that this polynomial is the product of two 1-variable polynomials, one of which is the Alexander polynomial. We refine $W_L$…

Kervaire's sphere-link is equivalent to a ribbon sphere-link, simplifying complex 2-complexes.

We compute different versions of link Floer homology $HFL^{-}$ and $\widehat{HFL}$ for any $L$-space link with two components. The main approach is to compute the $h$-function of the filtered chain complex which is determined by the Alexander polynomials of every sublink of the $L$-space link. As an application, Thurst…

A link L is called Brunnian if every proper sublink of L is trivial. Similarly, a bottom tangle T is called Brunnian if every proper subtangle of T is trivial. In this paper, we give a small subalgebra of the n-fold completed tensor power of U_h(sl_2) in which the universal sl_2 invariant of n-component Brunnian bottom…

Study shows rank of knot Floer homology detects Hopf links and classifies second smallest links.

We prove that deciding if a diagram of the unknot can be untangled using at most $k$ Riedemeister moves (where $k$ is part of the input) is NP-hard. We also prove that several natural questions regarding links in the $3$-sphere are NP-hard, including detecting whether a link contains a trivial sublink with $n$ componen…

Adjacency defined for three-manifolds, linking them to the 3-sphere.

We study the effect of mutation on link concordance and 3-manifolds. We show that the set of links concordant to sublinks of homology boundary links is not closed under positive mutation. We show that mutation does not preserve homology cobordism classes of 3-manifolds. A significant consequence is that there exist 3-m…

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

CR singularities in 3-manifolds can be cancelled by an isotopy supported in an arbitrarily small neighborhood of a Seifert surface.

For links with vanishing pairwise linking numbers, the link components bound pairwise disjoint surfaces in $B^{4}$. In this paper, we describe the set of genera of such surfaces in terms of the $h$-function, which is a link invariant from Heegaard Floer homology. In particular, we use the $h$-function to give lower bou…

We show that three natural decision problems about links and 3-manifolds are computationally hard, assuming some conjectures in complexity theory. The first problem is determining whether a link in the 3-sphere bounds a Seifert surface with Thurston norm at most a given integer; this is shown to be NP-complete. The sec…

The paper constructs exotic surface links in 4-ball, proving their Brunnian nature.

Researchers introduce a family of hyperbolic Brunnian links and calculate their volumes.

Let L be a link in an integral homology three-sphere. We give a description of the Heegaard Floer homology of integral surgeries on L in terms of some data associated to L, which we call a complete system of hyperboxes for L. Roughly, a complete systems of hyperboxes consists of chain complexes for (some versions of) t…

In this paper we announce the existence of a family of new $2$-variable polynomial invariants for oriented classical links defined via a Markov trace on the Yokonuma-Hecke algebra of type $A$. Yokonuma-Hecke algebras are generalizations of Iwahori-Hecke algebras, and this family contains the Homflypt polynomial, the fa…

Free surface-links are shown to be ribbon links.

We first present three graphic surgery formulae for the degree $n$ part $Z_n$ of the Kontsevich-Kuperberg-Thurston universal finite type invariant of rational homology spheres. Each of these three formulae determines an alternate sum of the form $\sum_{I \subset N} (-1)^{\sharp I}Z_n(M_I)$ where $N$ is the set of com…

The absolute Galois group of 3-manifolds determines their structure up to homeomorphism.

Researchers create links in 3-sphere satisfying volume conjecture.

Study the relationship between braids formed by roots and critical points of polynomials.

We introduce ribbon-moves of 2-knots, which are operations to make 2-knots into new 2-knots by local operations in B^4. (We do not assume the new knots is not equivalent to the old ones.) Let L_1 and L_2 be 2-links. Then the following hold. (1) If L_1 is ribbon-move equivalent to L_2, then we have μ(L_1)=μ(L_2). (2) Su…

We denote by Q_F the family of the Alexander quandle structures supported by finite fields. For every k-component oriented link L, every partition P of L into h:=|P| sublinks, and every labelling z of such a partition by the natural numbers z_1,...,z_n, the number of X-colorings of any diagram of (L,z) is a well-define…