arXiv research

Roseman moves are seven types of local modification for surface-link diagrams in $3$-space which generate ambient isotopies of surface-links in $4$-space. In this paper, we focus on Roseman moves involving triple points, one of which is the famous tetrahedral move, and discuss their independence. For each diagram of an…

Yoshikawa [Yo] conjectured that a certain set of moves on marked graph diagrams generates the isotopy relation for surface links in ${\mathbb R}^4$, and this was proved by Swenton [S] and Kearton and Kurlin [KK]. In this paper, we find another proof of this fact for the case of 2-links (surface links with spherical com…

The dual to a tetrahedron consists of a single vertex at which four edges and six faces are incident. Along each edge, three faces converge. A 2-foam is a compact topological space such that each point has a neighborhood homeomorphic to a neighborhood of that complex. Knotted foams in 4-dimensional space are to knotted…

In this paper, we prove that given two cubical links of dimension two in ${\mathbb R}^4$, they are isotopic if and only if one can pass from one to the other by a finite sequence of cubulated moves. These moves are analogous to the Reidemeister and Roseman moves for classical tame knots of dimension one and two, respec…

For an oriented surface link $F$ in $\mathbb{R}^4$, we consider a satellite construction of a surface link, called a 2-dimensional braid over $F$, which is in the form of a covering over $F$. We introduce the notion of an $m$-chart on a surface diagram $π(F)\subset \mathbb{R}^3$ of $F$, which is a finite graph on $π(F)…

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 define homology of ternary algebras satisfying axioms derived from particle scattering or, equivalently, from the third Reidemeister move. We show that ternary quasigroups satisfying these axioms appear naturally in invariants of Reidemeister, Yoshikawa, and Roseman moves. Our homology has a degenerate subcomplex. T…

Unified invariant for immersed surface-links using biquandle cocycles.

In this paper, we discuss the crossing change operation along exchangeable double curves of a surface-knot diagram. We show that under certain condition, a finite sequence of Roseman moves preserves the property of those exchangeable double curves. As an application for this result, we also define a numerical invariant…

It is known that there is no 2-knot with triple point number two. The present work shows that there is no surface-knot of genus one with triple point number two. In order to prove the result, we use Roseman moves and the algebraic intersection number of simple closed curves in the double decker set.

For each diagram $D$ of a $2$-knot, we provide a way to construct a new diagram $D'$ of the same knot such that any sequence of Roseman moves between $D$ and $D'$ necessarily involves branch points. The proof is done by developing the observation that no sphere eversion can be lifted to an isotopy in $4$-space.

This paper explores a particular statistical model on 6-valent graphs with special properties which turns out to be invariant with respect to certain Roseman moves if the graph is the singular point graph of a diagram of a 2-knot. The approach uses the technic of the tetrahedral complex cohomology. We emphasize that th…

The singularity set of a generic standard projection to the three space of a closed surface linked in four space, consists of at most three types: double points, triple points or branch points. We say that this generic projection image is p-diagram if it does not contain any triple point. Two p-diagrams of equivalent s…

We consider the classical problem of a position of n-dimensional manifold M in R^{n+2}. We show that we can define the fundamental (n+1)-cycle and the shadow fundamental (n+2)-cycle for a fundamental quandle of a knotting M to R^{n+2}. In particular, we show that for any fixed quandle, quandle coloring, and shadow quan…

We consider knotted annuli in 4-space, called 2-string-links, which are knotted surfaces in codimension two that are naturally related, via closure operations, to both 2-links and 2-torus links. We classify 2-string-links up to link-homotopy by means of a 4-dimensional version of Milnor invariants. The key to our proof…

Let N be a closed oriented k-dimensional submanifold of the (k+2)-dimensional sphere; denote its complement by C(N). Denote by x the 1-dimensional cohomology class in C(N), dual to N. The Morse-Novikov number of C(N) is by definition the minimal possible number of critical points of a regular Morse map f from C(N) to a…

A new knot move preserves pass-move equivalence and differs in count.

It is well known that any two diagrams representing the same oriented link are related by a finite sequence of Reidemeister moves O1, O2 and O3. Depending on orientations of fragments involved in the moves, one may distinguish 4 different versions of each of the O1 and O2 moves, and 8 versions of the O3 move. We introd…

In this paper, we introduce an equivalence relation on the set of local moves and classify local moves, called the extended $ST$-moves, up to the equivalence. Moreover, by inducing a binary relation on the set of equivalence classes of local moves, we show that an extended $ST$-move realizes the crossing change or the …

Minimal sets of moves for isotopic knots and trivalent graphs identified.

The H(n)-move simplifies virtual and welded knots and links.

We prove that the classical set of moves for standard spines of 3-manifolds (i.e. the MP-move and the V-move) does not suffice to relate to each other any two standard skeleta of a 3-manifold with marked boundary. We also describe a condition on the 3-manifold with marked boundary that tells whether the generalised set…

The (ordinary) unknotting-number of 1-dimensional knots, which is defined by using the crossing-change, is a very basic and important invariant. It is very natural to consider the `unknotting-number' associated with other local-moves on n-dimensional knots, where n is a natural number. In this paper we prove the follow…

Classifies virtual links up to a specific move.

New rational band moves simplify knot classification.

We prove that the crossing changes, Delta moves, and sharp moves are unknotting operations on welded knots.

New methods for delta-moves on algebraically split links identified.

Minimal moves for surfaces in 4D discovered, linking planar and spatial moves.

Study virtualized Delta, Sharp, and Pass moves for oriented virtual knots and links.

Minimal generating sets of Reidemeister moves identified and classified.

We start a systematic analysis of links up to 5-move equivalence. Our motivation is to develop tools which later can be used to study skein modules based on the skein relation being deformation of a 5-move (in an analogous way as the Kauffman skein module is a deformation of a 2-move, i.e. a crossing change). Our main …

New diagonal move simplifies knots and links efficiently.

New moves help untangle complex knots.

Minimal moves for surfaces in 4D identified.

New virtualized Δ-move simplifies virtual knots and links.

Algorithm for recognizing and performing Reidemeister moves in Gauss diagrams.

Minimal sets of moves for rotational Reidemeister diagrams are identified.

4-move kills Alexander polynomial

Complete classification of links up to specific moves.

We show Vector Autoregressive Moving Average models with scalar Moving Average components could be estimated by generalized least square (GLS) for each fixed moving average polynomial. The conditional variance of the GLS model is the concentrated covariant matrix of the moving average process. Under GLS the likelihood …

In this paper, we formulate a new local move on virtual knot diagram, called arc shift move. Further, we extend it to another local move called region arc shift defined on a region of a virtual knot diagram. We establish that these arc shift and region arc shift moves are unknotting operations by showing that any virtu…

We describe various handle moves in contact surgery diagrams, notably contact analogues of the Kirby moves. As an application of these handle moves, we discuss the respective classifications of long and loose Legendrian knots.

In the present paper, we consider local moves on classical and welded diagrams: (self-)crossing change, (self-)virtualization, virtual conjugation, Delta, fused, band-pass and welded band-pass moves. Interrelationship between these moves is discussed and, for each of these move, we provide an algebraic classification. …

New moves prove crossing number sum for knots.

Analyses cohomology relations for moving frames and coframes.

A marked graph diagram is a link diagram possibly with marked $4$-valent vertices. S. J. Lomonaco, Jr. and K. Yoshikawa introduced a method of representing surface-links by marked graph diagrams. Specially, K. Yoshikawa gave local moves on marked graph diagrams, nowadays called Yoshikawa moves. It is now known that two…

The forbidden moves can be combined with Gauss diagram Reidemeister moves to obtain move sequences with which we may change any Gauss diagram (and hence any virtual knot) into any other, including in particular the unknotted diagram

New moves for singular knots identified and described.