Related papers: Every Reidemeister move is needed for each knot ty…

We show a relationship between the non-acyclic Reidemeister torsion and a zero of the acyclic Reidemeister torsion for a lambda-regular SU(2) or SL(2, C)-representation of a knot group. Then we give a method to calculate the non-acyclic…

In this survey paper we present the $L$--moves between braids and how they can adapt and serve for establishing and proving braid equivalence theorems for various diagrammatic settings, such as for classical knots, for knots in knot…

We prove that if the $m$-th homotopy group for $m \geq 2$ of a closed manifold has non-trivial invariants or coinvariants under the action of the fundamental group, then there exist infinitely many geometrically distinct closed geodesics…

A knot (or link) diagram is said to be everywhere equivalent if all the diagrams obtained by switching one crossing represent the same knot (or link). We classify such diagrams of a closed 3-braid.

We give a method for constructing many pairs of distinct knots $K_0$ and $K_1$ such that the two 4-manifolds obtained by attaching a 2-handle to $B^4$ along $K_i$ with framing zero are diffeomorphic. We use the d-invariants of Heegaard…

A $2k$-move is a local deformation adding or removing $2k$ half-twists. We show that if two virtual knots are related by a finite sequence of $2k$-moves, then their $n$-writhes are congruent modulo $k$ for any nonzero integer $n$, and their…

Let $D(p,q)$ be the usual knot diagram of the $(p,q)$-torus knot, that is, $D(p,q)$ is the closure of the $p$-braid $(\sigma_1^{-1} \sigma_2^{-1}... \sigma_{p-1}^{-1})^q$. As is well-known, $D(p,q)$ and $D(q,p)$ represent the same knot. It…

Every second flat Reidemeister move of knot projections can be decomposed into two types thorough an inverse or direct self-tangency modification, respectively called strong or weak, when orientations of the knot projections are arbitrarily…

We survey, complete, and modify a proof, involving knot theory, of Stiefel's theorem that all orientable $3$-manifolds are parallelizable. The completion of the proof is done by using the relationship between the tangent bundle and normal…

For a knot diagram we introduce an operation which does not increase the genus of the diagram and does not change its representing knot type. We also describe a condition for this operation to certainly decrease the genus. The proof…

A quandle is an algebraic structure whose axioms correspond to the Reidemeister moves of knot theory. S. Kamada introduced the notion of a quandle with a good involution, which is later called a symmetric quandle. We are interested in the…

Ng constructed an invariant of knots in ${\mathbb{R}}^3$, a combinatorial knot contact homology. Extending his study, we construct an invariant of surface-knots in ${\mathbb{R}}^4$ using diagrams in ${\mathbb{R}}^3$.

We determine the asymptotic behavior of the higher dimensional Reidemeister torsion for the graph manifolds obtained by exceptional surgeries along twist knots. We show that all irreducible SL(2;C)-representations of the graph manifold are…

We prove that any arc-presentation of the unknot admits a monotonic simplification by elementary moves; this yields a simple algorithm for recognizing the unknot. We obtain similar results for split links and composite links.

We prove that for every polynomial ODE there exists a Carnot group where the trajectories of the ODE lift to abnormal curves. The proof defines an explicit construction to determine a covector for the resulting abnormal curves. Using this…

To each rail knotoid we associate two unoriented knots along with their oriented counterparts, thus deriving invariants for rail knotoids based on these associations. We then translate them to invariants of rail isotopy for rail arcs.

Let $D$ be any elliptic right cylinder. We prove that every type of knot can be realized as the trajectory of a ball in $D.$ This proves a conjecture of Lamm and gives a new proof of a conjecture of Jones and Przytycki. We use Jacobi's…

Every knot can be unknotted with two generalized twists; this was first proved by Ohyama. Here we prove that any knot of genus g can be unknotted with 2g null-homologous twists and that there exist genus g knots that cannot be unknotted…

We determine whether each known generating set of arbitrary oriented Reidemeister moves is minimal. We then provide a complete classification of minimal generating sets that include a coherent Reidemeister move of type II. We also classify…

For every $n \geq 4$, we demonstrate the existence of non-isotopic smooth $(n-2)$-knots in $S^n$ with diffeomorphic traces by generalising the RBG link construction to all dimensions. Conversely, we prove that for every $n \geq 4$, the…