arXiv research

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

Minimal moves for surfaces in 4D identified.

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…

New invariant shows fifth move is unique and extends biquandle theory for surface-links.

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…

Discussing moving frames for curve and surface invariants.

Yoshikawa moves were introduced at least quarter-century ago and are still actively used by researchers. For any marked graph diagram we will define its twisted diagram and its mirror cut surface. By using a surface-link group of a mirror cut surface of a twisted diagram we will prove the independence of Yoshikawa eigh…

Unified invariant for immersed surface-links using biquandle cocycles.

We prove that strictly convex surfaces moving by $K^{α/2}$ become spherical as they contract to points, provided $α$ lies in the range $[1,2]$. In the process we provide a natural candidate for a curvature pinching quantity for surfaces moving by arbitrary functions of curvature, by finding a quantity conserved by the …

In this paper, we consider local moves on classical and welded diagrams of string links, and the notion of welded extension of a classical move. Such extensions being non-unique in general, the idea is to find a topological criterion which could isolate one extension from the others. To that end, we turn to the relatio…

Defines observer-invariant time derivatives on moving surfaces.

In an earlier paper we introduced rectangular diagrams of surfaces and showed that any isotopy class of a surface in the three-sphere can be presented by a rectangular diagram. Here we study transformations of those diagrams and introduce moves that allow transition between diagrams representing isotopic surfaces. We a…

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)…

Study geometry of surfaces glued along a curve.

Extends symmetry and rigidity to surfaces with soap film-like singularities.

Bertrand framed surfaces defined in Euclidean 3-space with applications.

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…

Shear moves connect square-tiled surfaces in quadratic differentials.

Study on minimal surfaces in Heisenberg group with duality formula.

Study surfaces in 4-manifolds using banded unlink diagrams.

We consider collections of disjoint simple closed curves in a compact orientable surface which decompose the surface into pairs of pants. The isotopy classes of such curve systems form the vertices of a 2-complex, whose edges correspond to certain simple moves in which only one curve changes, and whose 2-cells correspo…

We give a presentation for a non-split compact surface embedded in the 3-sphere by using diagrams of spatial trivalent graphs equipped with signs and we define Reidemeister moves for such signed diagrams. We show that two diagrams of embedded surfaces are related by Reidemeister moves if and only if the surfaces repres…

For proper subsets U of {1,2,...,31} we define and construct U-regular isotopy invariants of the Carter-Rieger-Saito movies (representing knotted surfaces) and use these to show that there are ambient isotopic knotted surfaces represented by movies M1 and M2 for which movie-moves of type 31 are required to get from M1 …

The article finds equivalence moves for links in specific manifolds using plat closure of braids.

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…

Knots and 4-manifolds linked via matrix kinking.

A 2-dimensional braid over an oriented surface-knot $F$ is presented by a graph called a chart on a surface diagram of $F$. We consider 2-dimensional braids obtained by an addition of 1-handles equipped with chart loops. We introduce moves of 1-handles with chart loops, called 1-handle moves, and we investigate how muc…

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…

New method shows how to move one Heegaard surface positioning to another.

A branched covering surface-knot is a surface-knot in the form of a branched covering over an oriented surface-knot $F$, where we include the case when the covering has no branch points. A branched covering surface-knot is presented by a graph called a chart on a surface diagram of $F$. We can simplify a branched cover…

The paper studies how surfaces move by mean curvature flow and what happens at singular points.

Classifies crossings in tangles on surfaces, finding no nontrivial indices.

It is known that every surface-link can be presented by a marked graph diagram, and such a diagram presentation is unique up to moves called Yoshikawa moves. G. Kuperberg introduced a regular isotopy invariant, called the quantum A_2 invariant, for tangled trivalent graph diagrams. In this paper, a polynomial for a mar…

A multibranched surface is a 2-dimensional polyhedron without vertices. We introduce moves for multibranched surfaces embedded in a 3-manifold, which connect any two multibranched surfaces with the same regular neighborhoods in finitely many steps.

We provide analogues for non-orientable surfaces with or without boundary or punctures of several basic theorems in the setting of the Thurston theory of surfaces which were developed so far only in the case of orientable surfaces. Namely, we provide natural analogues for non-orientable surfaces of the Fenchel-Nielsen …

In the present paper we study the Lie sphere geometry of Legendre surfaces by the method of moving frame and we prove an existence theorem for real-analytic Lie-minimal Legendre surfaces.

The goal of this paper is to establish the classification of all homogeneous surfaces of 3-sphere by using the moving frame method. We will show that such surfaces are 2-spheres and flat torus.

Study on focal surfaces and evolutes of framed curves in hyperbolic 3-space using Legendrian duality.

In this study, we have obtained the distribution parameter of a ruled surface generated by a straight line in Frenet trihedron moving along a timelike curve and also along another curve with the same parameter. At this time, the Frenet frames of these timelike curves are not the same. We have moved the director vector …

Paper proves uniqueness of bridge multisections for surfaces in 4-space.

New method studies moving points on curves using rotating frames.

This paper introduces quantum invariants for 3-alterfolds and proves their consistency with topological moves.

We describe various properties and give several characterizations of ternary groups satisfying two axioms derived from the third Reidemeister move in knot theory. Using special attributes of such ternary groups, such as semi-commutativity, we construct a ternary invariant of curves immersed in compact surfaces, conside…

Lecture notes on Teichmüller spaces with boundary examples.

A proof that hyperbolic plane cannot be immersed in Euclidean 3-space.

The paper explores $K^α$-translators on parallel and canal surfaces in 3D space.

We show the fundamental theorems of curves and surfaces in the 3-dimensional Heisenberg group and find a complete set of invariants for curves and surfaces respectively. The proofs are based on Cartan's method of moving frames and Lie group theory. As an application of the main theorems, a Crofton-type formula is prove…

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…