A new classification of links and some calculations using it
Colin Rourke, Brian Sanderson
备注：
15 pages, 7 figures. The paper depends on a Maple worksheet (trefoil.ms) which uses two Maple input files (normform and homology). These files are included in the "source" package. Version 2: the underlying classification theorem has been added with a sketch of proof, and the title changed accordingly
A new classification theorem for links by the authors and Roger Fenn leads to computable link invariants. As an illustration we distinguish the left and right trefoils and recover the result of Carter et al that the 2-twist-spun trefoil is not isotopic to its orientation reverse. We sketch the proof the classification theorem. Full details will appear elsewhere
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 up to $2n$-moves for every $n>0$, then they are link-homotopic.
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.
Cobordism of virtual string links on $n$ strands is a combinatorial generalization of link cobordism. There exists a bijection between virtual string links up to cobordisms and elements of the group $\mathbb{Z}^{n(n-1)}$. This paper also shows that virtual string links up to unwelded equivalence are classified by those groups. Finally, the related theory of welded string link cobordism is defined herein and shown to be trivial for string links with one component.
In this note, we complete the classification of quasi-alternating Montesinos links. We show that the quasi-alternating Montesinos links are precisely those identified independently by Qazaqzeh-Chbili-Qublan and Champanerkar-Ording. A consequence of our proof is that a Montesinos link $L$ is quasi-alternating if and only if its double branched cover is an L-space, and bounds both a positive definite and a negative definite 4-manifold with vanishing first homology.
In this paper, we construct two families of satellite constructions for Brunnian links, called the satellite sum and the satellite tie. An interesting fact is that by applying the satellite sum and the satellite tie constructions, we can build infinitely many new Brunnian links from any given Brunnian links. With the helps of the satellite sum and the satellite tie, we give a new decomposition theorem for Brunnian links. We prove that every Brunnian link determines a unique labelled "tree-arrow structure" such that each vertex of the tree represents a generalized Hopf link, a hyperbolic Brunni…
If L is an oriented link with $n$ components, then the rank of its Khovanov homology is at least $2^n$. We classify all the links whose Khovanov homology with Z/2-coefficients achieves this lower bound, and show that such links can be obtained by iterated connected sums and disjoint unions of Hopf links and unknots. This gives a positive answer to a question asked by Batson and Seed.
Ribbon 2-knotted objects are locally flat embeddings of surfaces in 4-space which bound immersed 3-manifolds with only ribbon singularities. They appear as topological realizations of welded knotted objects, which is a natural quotient of virtual knot theory. In this paper we consider ribbon tubes and ribbon torus-links, which are natural analogues of string links and links, respectively. We show how ribbon tubes naturally act on the reduced free group, and how this action classifies ribbon tubes up to link-homotopy, that is when allowing each component to cross itself. At the combinatorial le…
Classification of (uncolored) bonded knots and links
University of Ljubljana, Faculty of Mathematics and Physics（卢布尔雅那大学数学物理学院）；Rudolfovo – Science and Technology Centre Novo mesto（鲁多尔福沃新梅斯托科学与技术中心）；University of Ljubljana, Faculty of Education（卢布尔雅那大学教育学院）；University of Warsaw, Faculty of Mathematics, Informatics and Mechanics, Institute of Informatics（华沙大学数学、信息学和机械学院信息学研究所）
Let $H\subseteq S^3$ be the two-component Hopf link. After choosing a Legendrian representative of $H$ with respect to the standard tight contact structure on $S^3$ we perform contact $(-1)$-surgery on the link itself. The manifold we get is a lens space together with a tight contact strucure on it, which depends on the chosen Legendrian representative. We classify its minimal symplectic fillings up to homeomorphism (and often up to diffeomoprhism), extending the results of Lisca which covers the case of universally tight structures and the article of Plamenevskaya - Van Horn Morris which desc…
There are many studies about twisted Alexander invariants for knots and links, but calculations of twisted Alexander invariants for spatial graphs, handlebody-knots, and surface-links have not been demonstrated well. In this paper, we give some remarks to calculate the twisted Alexander ideals for spatial graphs, handlebody-knots and surface-links, and observe their behaviors. For spatial graphs, we calculate the invariants of Suzuki's theta-curves and show that the invariants are nontrivial for Suzuki's theta-curves whose Alexander ideals are trivial. For handlebody-knots, we give a remark on…
The $n$-solvable filtration of the $m$-component smooth (string) link concordance group, $$\dots \subset \mathcal{F}^m_{n+1} \subset \mathcal{F}^m_{n.5} \subset \mathcal{F}^m_n \dots \subset \mathcal{F}^m_1 \subset \mathcal{F}^m_{0.5} \subset \mathcal{F}^m_0 \subset \mathcal{F}^m_{-0.5} \subset \mathcal{C}^m,$$ as defined by Cochran, Orr, and Teichner, is a tool for studying smooth knot and link concordance that yields important results in low-dimensional topology. The focus of this paper is to give a characterization of the set of 0-solvable links. We introduce a new equivalence relation on l…
We construct the complete invariant for fused links. It is proved that the set of equivalence classes of $n$-component fused links is in one-to-one correspondence with the set of elements of the abelization $UVP_n/UVP_n^{\prime}$ up to conjugation by the elements from the symmetric group $S_n<UVB_n$.
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…
The fundamental quandle is a powerful invariant of knots and links, but it is difficult to describe in detail. It is often useful to look at quotients of the quandle, especially finite quotients. One natural quotient introduced by Joyce is the $n$-quandle. Hoste and Shanahan gave a complete list of the knots and links which have finite $n$-quandles for some $n$. We introduce a generalization of $n$-quandles, denoted $N$-quandles (for a quandle with $k$ algebraic components, $N$ is a $k$-tuple of positive integers). We conjecture a classification of the links with finite $N$-quandles for some $…
Writhe-Based Polymer Link Classification Using Machine Learning
School of Physics and Astronomy, The University of Edinburgh（物理与天文学学院，爱丁堡大学）；School of Mathematics, The University of Edinburgh（数学学院，爱丁堡大学）；MRC Human Genetics Unit, Institute of Genetics and Cancer, University of Edinburgh（人类遗传学单位，遗传与癌症研究所，爱丁堡大学）
The rational classification of links of codimension >2
固定整数m和多索引p =（p_1，.，p_r），< m-2. The set of links of codimension >E（p，m）是p_i-球面的不交并到m-球面的光滑嵌入的光滑合痕类的集合. Haefliger证明了E（p，m）是一个关于嵌入连通求和的生成的阿贝尔群，并计算了它在节点情况下的秩，即r=1。对于r > 1和p的限制，这个群的秩可以用Haefliger或Nezhinsky的结果来计算。我们的主要结果决定了群E（p，m）的秩.特别地，我们精确地确定E（p，m）何时是有限的。我们也为框架链接完成这些任务。我们的证明是基于链群的Haefliger精确序列和李代数理论。
A link of an isolated singularity of a two-dimensional semialgebraic surface in $R^4$ is a knot (or a link) in $S^3$. Thus the ambient Lipschitz classification of surface singularities in $R^4$ can be interpreted as a bi-Lipschitz refinement of the topological classification of knots (or links) in $S^3$. We show that, given a knot $K$ in $S^3$, there are infinitely many distinct ambient Lipschitz equivalence classes of outer metric Lipschitz equivalent singularities in $R^4$ with the links topologically equivalent to $K$.
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.
The Lipshitz-Sarkar stable homotopy link invariant defines Steenrod squares on the Khovanov cohomology of a link. Lipshitz-Sarkar constructed an algorithm for computing the first two Steenrod squares. We develop a new algorithm which implements the flow category simplification techniques previously defined by the authors and Dan Jones. We give a purely combinatorial approach to calculating the second Steenrod square and Bockstein homomorphisms in Khovanov cohomology, and flow categories in general. The new method has been implemented in a computer program by the third author and applied to lar…
