This paper has been withdrawn because there is a fundamental error in the computations; with the right computational scheme it seems to be just a version of the Jones polynomial
This paper has been withdrawn because there is a fundamental error in the computations; with the right computational scheme it seems to be just a version of the Jones polynomial
In this paper we define and study flexible links and flexible isotopy in projective space. Flexible links are meant to capture the topological properties of real algebraic links. We classify all flexible links up to flexible isotopy using Ekholms interpretation of Viros encomplexed writhe.
All knots are fused isotopic to the unknot via a process known as virtualization. We extend and adapt this process to show that, up to fused isotopy, classical links are classified by their linking numbers.
In 2014, Vaughan Jones developed a method to produce links from elements of Thompson's group $F$, and showed that all links arise this way. He also introduced a subgroup $\vec{F}$ of $F$ and a method to produce oriented links from elements of this subgroup. In 2018, Valeriano Aiello showed that all oriented links arise from this construction. We classify exactly those regular isotopy classes of links that arise from $F$, as well as exactly those regular isotopy classes of oriented links that arise from $\vec{F}$, answering a question asked by Jones in 2018.
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.
Given a reduced alternating diagram for a link, we obtain conditions that guarantee that the link complement has a complete hyperbolic structure, crossing arcs are the edges of an ideal geodesic triangulation, and every crossing arc is isotopic to a simple geodesic. The latter was conjectured by Sakuma and Weeks in 1995. We provide infinite families of closed braids for which our conditions hold.
It is well-known that no knot can be cancelled in a connected sum with another knot, whereas every link can be cancelled up to link homotopy in a (componentwise) connected sum with another link. In this paper we address the question whether the noncancellation property of knots holds for some (piecewise-linear) links up to some stronger analogue of link homotopy, which still does not distinguish between sufficiently close C^0-approximations of a topological link. We introduce a sequence of such increasingly stronger equivalence relations under the name of k-quasi-isotopy, k=1,2,...; all of the…
Geometric aspects of the filtration on classical links by k-quasi-isotopy are discussed, including the effect of Whitehead doubling, relations with Smythe's n-splitting and Kobayashi's k-contractibility. One observation is: ω-quasi-isotopy is equivalent to PL isotopy for links in a homotopy 3-sphere (resp. contractible open 3-manifold) M if and only if M is homeomorphic to S^3 (resp. R^3). As a byproduct of the proof of the "if" part, we obtain that every compact subset of an acyclic open set in a compact orientable 3-manifold M is contained in a PL homology 3-ball in M. We show that k-quasi-i…
Links in lens spaces may be defined to be equivalent by ambient isotopy or by diffeomorphism of pairs. In the first case, for all the combinatorial representations of links, there is a set of Reidemeister-type moves on diagrams connecting isotopy equivalent links. In this paper we provide a set of moves on disk, band and grid diagrams that connects diffeo equivalent links: there are up to four isotopy equivalent links in each diffeo equivalence class. Moreover, we investigate how the diffeo equivalence relates to the lift of the link in the $3$-sphere: in the particular case of oriented primit…
We construct a link in the $3$-space that is not isotopic to any PL link (non-ambiently). In fact, there exist uncountably many $I$-equivalence classes of links. The paper also includes some observations on Cochran's invariants $β_i$.
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…
In part I it was shown that for each k>0 the generalized Sato-Levine invariant detects a gap between k-quasi-isotopy of link and peripheral structure preserving isomorphism of the finest quotient G_k of its fundamental group, `functorially' invariant under k-quasi-isotopy. Here we show that Cochran's derived invariant β^k, provided k>2, and a series of \barμ-invariants, starting with \barμ(111112122) for k=3, also fall in this gap. In fact, all \barμ-invariants where each index occurs at most k+1 times, except perhaps for one occuring k+2 times, can be extracted from G_k, and if they vanish, G…
The closure of a braid in a closed orientable surface $Σ$ is a link in $Σ\times S^1$. We classify such closed surface braids up to isotopy and homeomorphism (with a small indeterminacy for isotopy of closed sphere braids), algebraically in terms of the surface braid group. We find that in positive genus, braids close to isotopic links if and only if they are conjugate, and close to homeomorphic links if and only if they are in the same orbit of the outer action of the mapping class group on the surface braid group modulo its center.
Tait's flyping conjecture, stating that two reduced, alternating, prime link diagrams can be connected by a finite sequence of flypes, is extended to reduced, alternating, prime diagrams of 4-regular graphs in S^3. The proof of this version of the flyping conjecture is based on the fact that the equivalence classes with respect to ambient isotopy and rigid vertex isotopy of graph embeddings are identical on the class of diagrams considered.
Khovanov and Rozansky's categorification of the HOMFLY-PT polynomial is invariant under braidlike isotopies for any link diagram and Markov moves for braid closures. To define HOMFLY-PT homology, they required a link to be presented as a braid closure, because they did not prove invariance under the other oriented Reidemeister moves. In this text we prove that the Reidemeister IIb move fails in HOMFLY-PT homology by using virtual crossing filtrations of the author and Rozansky. The decategorification of HOMFLY-PT homology for general link diagrams gives a deformed version of the HOMFLY-PT poly…
The discovery of polynomial invariants of knots and links, ignited by V. F. R. Jones, leads to the formulation of polynomial invariants of spatial graphs. The Yamada polynomial, one of such invariants, is frequently utilized for practical distinguishment of spatial graphs. Especially for $θ$-curves, the polynomial is an ambient isotopy invariant after a normalization. On the other hand, to each $θ$-curve, a 3-component link can be associated as an ambient isotopy invariant. The benefit of associated links is that invariants of links can be utilized as invariants of $θ$-curves. In this paper we…
An elementary stabilization of a Legendrian link $L$ in the spherical cotangent bundle $ST^*M$ of a surface $M$ is a surgery that results in attaching a handle to $M$ along two discs away from the image in $M$ of the projection of the link $L$. A virtual Legendrian isotopy is a composition of stabilizations, destabilizations and Legendrian isotopies. In contrast to Legendrian knots, virtual Legendrian knots enjoy the property that there is a bijective correspondence between the virtual Legendrian knots and the equivalence classes of Gauss diagrams. We study virtual Legendrian isotopy classes o…
The author, in her previous paper, constructed an infinite family of 3-bridge links each of which admits infinitely many 3-bridge spheres up to isotopy. In this paper, we prove that if a prime, unsplittable link $L$ in $S^3$ admits infinitely many 3-bridge spheres up to isotopy then $L$ belongs to the family.
This paper introduces two virtual knot theory ``analogues'' of a well-known family of invariants for knots in thickened surfaces: the Grishanov-Vassiliev finite-type invariants of order two. The first, called the three loop isotopy invariant, is an invariant of virtual knots while the second, called the three loop framed isotopy invariant, is a regular isotopy invariant of framed virtual knots. The properties of these invariants are investigated at length. In addition, we make precise the informal notion of ``analogue''. Using this formal definition, it is proved that a generalized three loop …
A braid-like isotopy for links in 3-space is an isotopy which uses only those Reidemeister moves which occur in isotopies of braids. We define a refined Jones polynomial and its corresponding Khovanov homology which are, in general, only invariant under braid-like isotopies.
Physical knots and links are one-dimensional submanifolds of R^3 with fixed length and thickness. We show that isotopy classes in this category can differ from those of classical knot and link theory. In particular we exhibit a Gordian Split Link, a two component link that is split in the classical theory but cannot be split with a physical isotopy.
Let $ϕ: S^1\times D^2\to S^1$ be the natural projection. An oriented knot $K\hookrightarrow V = S^1\times D^2$ is called an almost closed braid if the restriction of $ϕ$ to K has exactly two (non-degenerate) critical points (and K is a closed braid if the restriction of $ϕ$ has no critical points at all). We introduce new isotopy invariants for closed braids and almost closed braids in the solid torus V. These invariants refine finite type invariants. They are still calculable with polynomial complexity with respect to the number of crossings of K. Let the solid torus V be standardly embedded …
We provide combinatorial realizations, according to the usual objects/moves scheme, of the following three topological categories: (1) pairs (M,v) where M is a 3-manifold (up to diffeomorphism) and v is a (non-singular vector) field, up to homotopy; here possibly the boundary of M is non-empty and v may be tangent to the boundary, but only in a concave fashion, and homotopy should preserve tangency type; (2) framed links L in M, up to framed isotopy; (3) triples (M,v,L), with (M,v) as above and L transversal to v, up to pseudo-Legendrian isotopy (transversality-preserving simultaneous homotopy…
Pseudodiagrams are knot or link diagrams where some of the crossing information is missing. Pseudoknots are equivalence classes of pseudodiagrams, where equivalence is generated by a natural set of Reidemeister moves. In this paper, we introduce a Gauss-diagrammatic theory for pseudoknots which gives rise to the notion of a virtual pseudoknot. We provide new, easily computable isotopy and homotopy invariants for classical and virtual pseudodiagrams. We also give tables of unknotting numbers for homotopically trivial pseudoknots and homotopy classes of homotopically nontrivial pseudoknots. Sinc…
Kauffman's bracket is an invariant of regular isotopy of knots and links which since its discovery in 1985 it has been used in many different directions: (a) it implies an easy proof of the invariance of (in fact, it is equivalent to) the Jones polynomial; (b) it is the basic ingredient in a completely combinatorial construction for quantum 3-manifold invariants; (c) by its fundamental character it plays an important role in some theories in Physics; it has been used in the context of virtual links; it has connections with many objects other objects in Mathematics and Physics. I show in this n…
We prove the analogue of the Concordance Implies Isotopy in Codimension $\ge 3$ Theorem for link maps, together with some other its singular analogues. In the case of spherical link maps, a stronger result was independently obtained by P. Teichner (by different methods).
In this paper, we discuss a proof of the isotopy invariance of a parametrized Khovanov link homology including categorifications of the Jones polynomial and the Kauffman bracket polynomial though it is a known fact. In order to present a proof easy-to-follow, we give an explicit description of retractions and chain homotopies between complexes to induce the invariance under isotopy of links. This is a refined version of arXiv: 0907.2104.
A star-like isotopy for oriented links in 3-space is an isotopy which uses only Reidemeister II moves with opposite orientations and Reidemeister III moves with alternating orientations when checking the strands clockwise (or anticlockwise). We define a link polynomial derived from the Jones polynomial which is, in general, only invariant under star-like isotopies and we categorify it.
Let $B_n$ denote the classical braid group on $n$ strands and let the {\em mixed braid group} $B_{m,n}$ be the subgroup of $B_{m+n}$ comprising braids for which the first $m$ strands form the identity braid. Let $B_{m,\infty}=\cup_nB_{m,n}$. We will describe explicit algebraic moves on $B_{m,\infty}$ such that equivalence classes under these moves classify oriented links up to isotopy in a link complement or in a closed, connected, oriented 3--manifold. The moves depend on a fixed link representing the manifold in $S^3$. More precisely, for link complements the moves are: the two familiar move…
Walter Neumann showed that the topology of a ``regular'' algebraic curve V in C^2 is determined up to proper isotopy by some link in S^3 called the link at infinity of V. In this note, we compute the Alexander module over C[t^{\pm 1}] of any such link at infinity.
Symplectic Khovanov homology is an invariant of oriented links defined by Seidel and Smith and conjectured to be isomorphic to Khovanov homology. I define morphisms (up to a global sign ambiguity) between symplectic Khovanov homology groups, corresponding to isotopy classes of smooth link cobordisms in 4D between a fixed pair of links. These morphisms define a functor from the category of links and such cobordisms to the category of abelian groups and group homomorphisms up to a sign ambiguity. This provides an extra structure for symplectic Khovanov homology and more generally an isotopy inva…
The problem of classification of Legendrian knots (links) up to isotopy in the class of Legendrian embeddings (Legendrian isotopy) naturally leads to the following two subproblems. The first of them is: which combinations of the three classical invariants can be realized by a Legendrian knot? (It is well-known that each invariant by itself can be realized by a Legendrian knot). The first step in this direction was done by Bennequin who proved that the Bennequin number of a Legendrian knot is less than twice its genus. The second subproblem is whether there exist a pair of Legendrian knots whic…
We produce a facial state sum on plane diagrams of a knot or a link which admits an invariant specialization under Polyak's recent set of generating of 4 Reidemeister moves. Thus an isotopy invariant of framed links is obtained. Each state is a complete coloring of the faces of the diagram into white and black faces so that no two black faces share an edge. Each state induces a monomial in a ring of 16 variables. The sum of the states, properly specialized defines the new invariant. In despite of its simplicity it complements Jones invariant in distinguishing mirror pairs of links. In particul…
The paper gives topological as well as rigid isotopy classification of smooth irreducible algebraic curves in the real projective 3-space for the case when the degree of the curve is at most six and its genus is at most one.
Using a combinatorial argument, we prove the well-known result that the Wirtinger and Dehn presentations of a link in 3-space describe isomorphic groups. The result is not true for links $\ell$ in a thickened surface $S \times [0,1]$. Their precise relationship, as given in the 2012 thesis of R.E. Byrd, is established here by an elementary argument. When a diagram in $S$ for $\ell$ can be checkerboard shaded, the Dehn presentation leads naturally to an abelian "Dehn coloring group," an isotopy invariant of $\ell$. Introducing homological information from $S$ produces a stronger invariant, $\ca…
In this paper we investigate the relationship between isotopy classes of knots and links in S^3 and the diffeomorphism types of homeomorphic smooth 4-manifolds. As a corollary of this initial investigation, we begin to uncover the surprisingly rich structure of diffeomorphism types of manifolds homeomorphic to the K3 surface.
We study Legendrian singular links up to contact isotopy. Using a special property of the singular points, we define the singular connected sum of Legendrian singular links. This concept is a generalization of the connected sum and can be interpreted as a tangle replacement, which provides a way to classify Legendrian singular links. Moreover, we investigate several phenomena only occur in the Legendrian setup.
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.
In this paper, we first endow the set of ribbon string links (up to isotopy) with a structure of a cyclic and of a cocyclic set. Next, we relate these (co)cyclic sets with those associated with the coend of a ribbon category. The relationship is given by the universal quantum invariants à la Reshetikhin-Turaev.
We define ambient isotopy invariants of oriented knots and links using the counting invariants of framed links defined by finite racks. These invariants reduce to the usual quandle counting invariant when the rack in question is a quandle. We are able to further enhance these counting invariants with 2-cocycles from the coloring rack's second rack cohomology satisfying a new degeneracy condition which reduces to the usual case for quandles.
This paper contains the first knot polynomials which can distinguish the orientations of classical knots and which make no excplicit use of the knot group. But they make extensive use of the meridian and of the longitude in a geometric way. Let $M$ be the topological moduli space of long knots up to regular isotopy, and for any natural number $n > 1$ let $M_n$ be the moduli space of all n-cables $nK$ of framed long knots $K$ which are twisted by a given string link $T$ to close to a knot in the solid torus, with a marked point on the knot at infinity. First we construct integer valued combinat…
For any tangle $T$ (up to isotopy) and integer $k\geq 1$ we construct a group $F(T)$ (up to isomorphism). It is the fundamental group of the configuration space of $k$ points in a horizontal plane avoiding the tangle, provided the tangle is in what we call Heegaard position. This is analogous to the first half of Lawrence's homology construction of braid group representations. We briefly discuss the second half: homology groups of $F(T)$.
We show that after stabilizations of opposite parity and braid isotopy, any two braids in the same topological link type cobound embedded annuli. We use this to prove the generalized Jones conjecture relating the braid index and algebraic length of closed braids within a link type, following a reformulation of the problem by Kawamuro.
For a link in a thickened annulus $A \times I$, we define a $\mathbb{Z} \oplus \mathbb{Z} \oplus \mathbb{Z}$ filtration on Sarkar-Seed-Szabó's perturbation of the geometric spectral sequence. The filtered chain homotopy type is an invariant of the isotopy class of the annular link. From this, we define a two-dimensional family of annular link invariants and study their behavior under cobordisms. In the case of annular links obtained from braid closures, we obtain a necessary condition for braid quasipositivity and a sufficient condition for right-veeringness, as well as Bennequin-type inequali…
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…
It is known that every surface-link can be presented by a marked graph diagram, and such a diagram presentation is unique up to moves called Yoshikawa moves. G. Kuperberg introduced a regular isotopy invariant, called the quantum A_2 invariant, for tangled trivalent graph diagrams. In this paper, a polynomial for a marked graph diagram is defined by use of the quantum A_2 invariant and it is studied how the polynomial changes under Yoshikawa moves. The notion of a ribbon marked graph is introduced to show that this polynomial is useful for an invariant of a ribbon 2-knot.
Meier and Zupan showed that every surface in the four-sphere admits a bridge trisection and can therefore be represented by three simple tangles. This raises the possibility of applying methods from link homology to knotted surfaces. We use link homology to construct an invariant of knotted surfaces (up to isotopy) which distinguishes the unknotted sphere from certain knotted spheres. We also construct an invariant of a bridge-trisected surface in the the form of an $A_\infty$-algebra. Both invariants are defined by a novel connection between $A_\infty$-algebras and Manolescu and Ozsváth's hyp…