Related papers: A constructive solution to the equivalence problem…
A $\textit{knot}$ is a possibly wild simple closed curve in $S^3$. A knot $J$ is $\textit{semi-isotopic}$ to a knot $K$ if there is an annulus $A$ in $S^3\times[0,1]$ such that $A\cap(S^3\times\{0,1\})=\partial…
In this paper we describe braid equivalence for knots and links in a 3-manifold $M$ obtained by rational surgery along a framed link in $S^3$. We first prove a sharpened version of the Reidemeister theorem for links in $M$. We then give…
We analyze different aspects of neural network predictions of knot invariants. First, we investigate the impact of different knot representations on the prediction of invariants and find that braid representations work in general the best.…
We generalize Ng's two-variable algebraic/combinatorial $0$-th framed knot contact homology for framed oriented knots in $S^3$ to knots in $S^1 \times S^2$, and prove that the resulting knot invariant is the same as the framed cord algebra…
We prove the existence of lattice isomorphic line arrangements having $\pi_1$-equivalent or homotopy-equivalent complements and non homeomorphic embeddings in the complex projective plane. We also provide two explicit examples, one is…
We construct new topological invariants of three-dimensional manifolds which can, in particular, distinguish homotopy equivalent lens spaces L(7,1) and L(7,2). The invariants are built on the base of a classical (not quantum) solution of…
We prove a combinatorial version of Thom's Isotopy Lemma for projection maps applied to any complex or real toric variety. Our results are constructive and give rise to a method for associating the Whitney strata of the projection to the…
Using geometrical correspondences induced by projections and two-steps flag varieties, and a generalization of Orlov's projective bundle theorem, we relate the Hodge structures and derived categories of subvarieties of different…
Linear hypersurfaces over a field $k$ have been playing a central role in the study of some of the challenging problems on affine spaces. Breakthroughs on such problems have occurred by examining two difficult questions on linear…
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…
Surgery on a knot in $S^3$ is said to be an alternating surgery if it yields the double branched cover of an alternating link. The main theoretical contribution is to show that the set of alternating surgery slopes is algorithmically…
A simultaneous embedding (with fixed edges) of two graphs $G^1$ and $G^2$ with common graph $G=G^1 \cap G^2$ is a pair of planar drawings of $G^1$ and $G^2$ that coincide on $G$. It is an open question whether there is a polynomial-time…
We introduce a new combinatorial method to encode knots and links with applications to knot invariants. Clasp diagrams defined in this paper are combinatorial blueprints for building knot diagrams out of full twists on two strings rather…
An open question akin to the slice-ribbon conjecture asks whether every ribbon knot can be represented as a symmetric union. Next to this basic existence question sits the question of uniqueness of such representations. Eisermann and Lamm…
Given a tame knot K presented in the form of a knot diagram, we show that the problem of determining whether K is knotted is in the complexity class NP, assuming the generalized Riemann hypothesis (GRH). In other words, there exists a…
The problem of finding a point in the intersection of closed sets can be solved by the method of alternating projections and its variants. It was shown in earlier papers that for convex sets, the strategy of using quadratic programming (QP)…
Given a transverse knot $K$ in a three dimensional contact manifold $(Y,\alpha)$, in [13] Colin, Ghiggini, Honda and Hutchings define a hat version of embedded contact homology for $K$, that we call $\widehat{ECK}(K,Y,\alpha)$, and…
A 3-dimensional polytope is called k-equiprojective if every planar projection along a direction non-parallel to any facet is a k-gon. In this article, we generalise equiprojectivity to higher dimensions and give a lower bound on the number…
Simultaneous Embedding with Fixed Edges (SEFE) is a problem where given $k$ planar graphs we ask whether they can be simultaneously embedded so that the embedding of each graph is planar and common edges are drawn the same. Problems of SEFE…
Let $p\neq 2$, and let $R$ be a smooth affine algebra of dimension $3$ over $\overline{F}_p$ and $P, Q$ be projective $R$-modules of rank $2$, each with trivial determinant. We prove: $P$ is isomorphic to $Q$ if and only if there is an…