相关论文: On the necessity of Reidemeister move 2 for simpli…

In 2001, \"Ostlund formulated the question: are Reidemeister moves of types 1 and 3 sufficient to describe a homotopy from any generic immersion of a circle in a two-dimensional plane to an embedding of the circle? The positive answer to…

\"Ostlund (2001) showed that all planar isotopy invariants of generic plane curves that are unchanged under cusp moves and triple point moves, and of finite degree (in self-tangency moves) are trivial. Here the term "of finite degree" means…

Any generic closed curve in the plane can be transformed into a simple closed curve by a finite sequence of local transformations called homotopy moves. We prove that simplifying a planar closed curve with $n$ self-crossings requires…

We show that link concordance implies link homotopy for immersions of codimension at least two. As a consequence, we prove that every link $\sqcup^r S^n \hookrightarrow S^{n+2}$ is link homotopically trivial for $n\geq 2$, that is, there is…

Every knot projection is simplified to the trivial spherical curve not increasing double points by using deformations of types 1, 2, and 3 which are analogies of Reidemeister moves of types 1, 2, and 3 on knot diagrams. We introduce RII…

We consider 32 homotopy classifications of knot projections (images of generic immersions from a circle into a 2-sphere). These 32 equivalence relations are obtained based on which moves are forbidden among the five type of Reidemeister…

There is a positive constant $c_1$ such that for any diagram $D$ representing the unknot, there is a sequence of at most $2^{c_1 n}$ Reidemeister moves that will convert it to a trivial knot diagram, $n$ is the number of crossings in $D$. A…

We prove two theorems about homotopies of curves on 2-dimensional Riemannian manifolds. We show that, for any epsilon > 0, if two simple closed curves are homotopic through curves of bounded length L, then they are also isotopic through…

We show that every knot type admits a pair of diagrams that cannot be made identical without using Reidemeister Omega_2-moves. We also show that our proof is compatible with known results for the other move types, in the sense that every…

In this note we present a short proof that the 4 oriented Reidemeister moves of type 2 together with any one of the 8 oriented Reidemeister moves of type 3 are sufficient to imply the other 7.

The Reidemeister theorem states that any link in $3$-space can be encoded by a diagram (a suitably decorated projection) on a plane, and provides a finite set of combinatorial moves relating two diagrams of the same link up to isotopy. In…

In earlier papers we introduced a representation of isotopy classes of compact surfaces embedded in the three-sphere by so called rectangular diagrams. The formalism proved useful for comparing Legendrian knots. The aim of this paper is to…

A necessary and sufficient algebraic condition for a diffeomorphism over a surface embedded in the 3-sphere to be induced by a regular homotopic deformation is discussed, and a formula for the number of signed pass moves needed for this…

An involutive link is a link which is invariant under the standard rotation by 180 degrees in $S^3$. We establish an equivariant analogue of the work of Carter and Saito aimed at studying equivariant cobordisms between involutive links.…

A classical result of von Staudt states that if eight planes osculate a twisted cubic curve and we divide them into two groups of four, then the eight vertices of the corresponding tetrahedra lie on a twisted cubic curve. In the current…

In this paper we generalize the notion of regular homotopy of immersions of a closed connected n-manifold into R^{2n-1} to locally generic mappings. The main result is that if n=2 then two mappings with singularities are regularly homotopic…

We give geometric formulae which enable us to detect (completely in some cases) the regular homotopy class of an immersion with trivial normal bundle of a closed oriented 3-manifold into 5-space. These are analogues of the geometric…

A morph between two straight-line planar drawings of the same graph is a continuous transformation from the first to the second drawing such that planarity is preserved at all times. Each step of the morph moves each vertex at constant…

In this paper we define two regular homotopy invariants c and i for immersions of oriented 3-manifolds into R^5 in a geometric manner. The pair (c(f),i(f)) completely describes the regular homotopy class of the immersion f. The invariant i…

We work with combinatorial maps to represent graph embeddings into surfaces up to isotopy. The surface in which the graph is embedded is left implicit in this approach. The constructions herein are proof-relevant and stated with a subset of…