arXiv research

By using the cohomology theory of quandles, quandle cocycle invariants and shadow quandle cocycle invariants are defined for oriented links and surface-links via broken surface diagrams. By using symmetric quandles, symmetric quandle cocycle invariants are also defined for unoriented links and surface-links via broken …

We describe a method for generating minimal hard prime surface-link diagrams. We extend the known examples of minimal hard prime classical unknot and unlink diagrams up to three components and generate figures of all minimal hard prime surface-unknot and surface-unlink diagrams with prime base surface components up to …

Enhances knot counting using mosaic diagrams.

It is well known that surface-links in 4-space can be presented by diagrams on the plane of 4-valent spatial graphs with makers on the vertices, called marked graph diagrams. In this paper we extend the method of presenting surface-links by marked graph diagrams to presenting immersed surface-links. We also give some m…

Extends Milnor invariants to surface-links using cut-diagrams.

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…

Marked vertex diagrams provide a combinatorial way to represent knotted surfaces in $\mathbb{R}^4$; including virtual crossings allows for a theory of virtual knotted surfaces and virtual cobordisms. Biquandle counting invariants are defined only for marked vertex diagrams representing knotted orientable surfaces; we e…

Paper classifies link diagrams on nonorientable surfaces using region crossing changes.

This paper constructs explicit trisection diagrams for elliptic surfaces.

Proves a theorem for comparing surfaces in 3D space.

Study surfaces in 4-manifolds using banded unlink diagrams.

We classify link diagrams with Turaev genus one and two in terms of an alternating tangle structure of the link diagram. The proof involves surgery along simple closed curves on the Turaev surface, called cutting loops, which have corresponding cutting arcs that are visible on the planar link diagram. These also provid…

Groups satisfy linear surface isoperimetric functions.

Upper bounds for surface-links in the Yoshikawa table are estimated.

A version of Dehn's algorithm for simple diagrams on a once punctured surface representing simple diagrams on a closed surface is presented

We introduce a simple combinatorial way, which we call a rectangular diagram of a surface, to represent a surface in the three-sphere. It has a particularly nice relation to the standard contact structure on $\mathbb S^3$ and to rectangular diagrams of links. By using rectangular diagrams of surfaces we are going, in p…

Solve arc diagrams on surfaces via branched covers.

Minimal moves for surfaces in 4D identified.

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…

We describe a correspondence between Turaev surfaces of link diagrams on $S^2\subset S^3$ and special Heegaard diagrams for $S^3$ adapted to links.

The paper introduces groupoid racks for spatial surfaces.

To any generic curve in an oriented surface there corresponds an oriented chord diagram, and any oriented chord diagram may be realized by a curve in some oriented surface. The genus of an oriented chord diagram is the minimal genus of an oriented surface in which it may be realized. Let g_n denote the expected genus o…

This paper shows how to create surface-links with many triple points.

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…

Racks do not give us invariants of surface-knots in general. For example, if a surface-knot diagram has branch points (and a rack which we use satisfies some mild condition), then it admits no rack colorings. In this paper, we investigate rack colorings for surface-knot diagrams without branch points and prove that rac…

New methods find minimal crossing numbers for surfaces in $S^4$.

We prove a Kauffman-Murasugi-Thistlethwaite theorem for alternating links in thickened surfaces. It states that any reduced alternating diagram of a link in a thickened surface has minimal crossing number, and any two reduced alternating diagrams of the same link have the same writhe. This result is proved more general…

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…

In the author's earlier work there appeared a new way to specify any smooth closed 4-manifold by a surface diagram, which consists of an orientable surface decorated with simple closed curves. These curves are cyclically indexed, and each curve has a unique transverse intersection with the next. Each surface diagram co…

The paper introduces triple grid diagrams to construct Lagrangian surfaces in complex projective space.

New method constructs moduli spaces of Lagrangian surfaces in CP^2 from grid diagrams.

In this paper we clarify the relationship between ribbon surfaces of Legendrian graphs and quasipositive diagrams by using certain fence diagrams. As an application, we give an alternative proof of a theorem concerning a relationship between quasipositive fiber surfaces and contact structures on the 3-sphere. We also a…

Given a surface with boundary and some points on its boundary, a polygon diagram is a way to connect those points as vertices of non-overlapping polygons on the surface. Such polygon diagrams represent non-crossing permutations on a surface with any genus and number of boundary components. If only bigons are allowed, t…

Square-tiled surfaces can be classified by their number of squares and their cylinder diagrams (also called realizable separatrix diagrams). For the case of $n$ squares and two cone points with angle $4 π$ each, we set up and parametrize the classification into four diagrams. Our main result is to provide formulae for …

New procedures connect braid charts, triplane diagrams, and braid movies for knotted surfaces.

We introduce an equivalence relation, called stable equivalence, on knot diagrams and closed curves on surfaces. We give bijections between the set of abstract knots, the set of virtual knots, and the set of the stable equivalence classes of knot diagrams on surfaces. Using these bijections, we define concordance and l…

Kuperberg [Algebr. Geom. Topol. 3 (2003) 587-591] has shown that a virtual knot corresponds (up to generalized Reidemeister moves) to a unique embedding in a thichened surface of minimal genus. If a virtual knot diagram is equivalent to a classical knot diagram then this minimal surface is a sphere. Using this result a…

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…

Study links' flat-virtual diagrams to create link invariants.

New tool lassos connects virtual and surface link diagrams, changing primeness rules.

Essential surfaces in link diagrams on surfaces are crucial for understanding link properties.

The paper extends surface link coloring theory to triplane diagrams and knots.

The paper provides coordinates for ${ m SL}_3$-web diagrams on surfaces.

Bridge trisections and knotted surfaces connected via tri-plane diagrams.

Let $L$ be an oriented link with an alternating diagram $D$. It is known that $L$ is a fibered link if and only if the surface $R$ obtained by applying Seifert's algorithm to $D$ is a Hopf plumbing. Here, we call $R$ a Hopf plumbing if $R$ is obtained by successively plumbing finite number of Hopf bands to a disk. In t…

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…

Topological model created for HOMFLY-PT polynomial from link diagrams.

New method constructs Seifert solids from bridge trisections.