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 marked graph diagram is defined by use of the quantum A_2 invariant and it is studied how the polynomial changes under Yoshikawa moves. The notion of a ribbon marked graph is introduced to show that this polynomial is useful for an invariant of a ribbon 2-knot.
In this paper, we enumerate the number of oriented rational knots and the number of oriented rational links with any given crossing number and minimum genus. This allows us to obtain a precise formula for the average minimal genus of oriented rational knots and links with any given crossing number.
We present an algorithm taking a Kirby diagram of a closed oriented $4$-manifold to a trisection diagram of the same manifold. This algorithm provides us with a large number of examples for trisection diagrams of closed oriented $4$-manifolds since many Kirby-diagrammatic descriptions of closed oriented $4$-manifolds are known. That being said, the algorithm does not necessarily provide particularly efficient trisection diagrams. We also extend this algorithm to work for the non-orientable case.
It is shown that the projection image of an oriented spatial arc to any oriented plane is approximated by a unique arc diagram (up to isomorphic arc diagrams) determined from the spatial arc and the projection. In a separated paper, the knotting probability of an arc diagram is defined as an invariant under isomorphic arc diagrams. By combining them, the knotting probability of every oriented spatial arc is defined.
Let $D$ be an oriented link diagram with the set of regions $\operatorname{r}_{D}$. We define a symmetric map (or matrix) $\operatornameτ_{D}\colon\operatorname{r}_{D}\times \operatorname{r}_{D} \to \mathbb{Z}[x]$ that gives rise to an invariant of oriented links, based on a slightly modified $S$-equivalence of Trotter and Murasugi in the space of symmetric matrices. In particular, for real $x$, the negative signature of $\operatornameτ_{D}$ corrected by the writhe is conjecturally twice the Tristram--Levine signature function, where $2x=\sqrt{t}+\frac1{\sqrt{t}}$ with $t$ being the indetermin…
We define invariants of oriented surface-links by enhancing the biquandle counting invariant using \textit{biquandle modules}, algebraic structures defined in terms of biquandle actions on commutative rings analogous to Alexander biquandles. We show that bead colorings of marked graph diagrams are preserved by Yoshikawa moves and hence define enhancements of the biquandle counting invariant for surface links. We provide examples illustrating the computation of the invariant and demonstrate that these invariants are not determined by the first and second Alexander elementary ideals and characte…
The writhe polynomial is a fundamental invariant of an oriented virtual knot. We introduce a kind of local moves for oriented virtual knots called shell moves. The first aim of this paper is to prove that two oriented virtual knots have the same writhe polynomial if and only if they are related by a finite sequence of shell moves. The second aim of this paper is to classify oriented $2$-component virtual links up to shell moves by using several invariants of virtual links.
Given a null-cobordant oriented framed link $L$ in a closed oriented $3$--manifold $M$, we determine those links in $M \setminus L$ which can be realized as the singular point set of a generic map $M \to \mathbb{R}^2$ that has $L$ as an oriented framed regular fiber. Then, we study the linking behavior between the singular point set and regular fibers for generic maps of $M$ into $\mathbb{R}^2$.
Jin and Lee proved the following: Suppose that $D_1, \dots, D_n$ are link diagrams. Given a link $L$ which is partitioned into sublinks $L_1, \dots, L_n$ admitting diagrams $D_1, \dots, D_n$ respectively, there is a diagram $D$ of $L$ whose restrictions to $L_1, \dots, L_n$ are isotopic to $D_1, \dots, D_n$, respectively. In this paper we show that a similar result does hold for welded links and does not for virtual links.
A virtual link diagram is called normal if the associated abstract link diagram is checkerboard colorable, and a virtual link is normal if it has a normal diagram as a representative. Normal virtual links have some properties similar to classical links.In this paper, we introduce a method of converting a virtual link diagram to a normal virtual link diagram. We show that the normal virtual link diagrams obtained by this method from two equivalent virtual link diagrams are equivalent. We discuss the relationship between this method and some invariants of virtual links.
In 2014, Vaughan Jones developed a method to produce links from elements of Thompson's group $F$, and showed that all links arise this way. He also introduced a subgroup $\vec{F}$ of $F$ and a method to produce oriented links from elements of this subgroup. In 2018, Valeriano Aiello showed that all oriented links arise from this construction. We classify exactly those regular isotopy classes of links that arise from $F$, as well as exactly those regular isotopy classes of oriented links that arise from $\vec{F}$, answering a question asked by Jones in 2018.
We introduce colorings of oriented surface-links by biquasiles using marked graph diagrams. We use these colorings to define counting invariants and Boltzmann enhancements of the biquasile counting invariants for oriented surface-links. We provide examples to show that the invariants can distinguish both closed surface-links and cobordisms and are sensitive to orientation.
An oriented link projection is the image of a generic immersion of oriented circles into the 2-sphere. The circle arrangement of a link projection is a disjoint union of unoriented circles on the 2-sphere obtained by orientation-incoherent smoothing at each crossing point. We show that two oriented link projections have the same circle arrangement if and only if they are transformed into each other by certain local moves. We also show that every odd (resp. even) component link has a link projection whose circle arrangement consists of exactly one (resp. two) circles.
Given a quandle, we can construct a symmetric quandle called the symmetric double of the quandle. We show that the (co)homology groups of a given quandle are isomorphic to those of its symmetric double. Moreover, quandle coloring numbers and quandle cocycle invariants of oriented links and oriented surface-links can be interpreted by using symmetric quandles.
A virtual link diagram is called mod $m$ almost classical if it admits an Alexander numbering valued in integers modulo $m$, and a virtual link is called mod $m$ almost classical if it has a mod $m$ almost classical diagram as a representative. In this paper, we introduce a method of constructing a mod $m$ almost classical virtual link diagram from a given virtual link diagram, which we call an $m$-fold cyclic covering diagram. The main result is that $m$-fold cyclic covering diagrams obtained from two equivalent virtual link diagrams are equivalent. Thus we have a well-defined map from the se…
We introduce and define "oriented framed measured lamination links" in a 3-manifold $M$. These generalize oriented framed links in 3-manifolds, and are confined to 2-dimensional improperly embedded subsurfaces of the 3-manifold. Just as some framed links bound Seifert surfaces, so also some framed lamination links bound 2-dimensional measured and oriented "Seifert laminations." We show that any lamination link which bounds a 2-dimensional Seifert lamination, bounds a "taut" Seifert lamination, i.e. one of maximum Euler characteristic, subject to the condition that the Seifert lamination is car…
The warping degree of an oriented knot diagram is the minimal number of crossing changes which are required to obtain a monotone knot diagram from the diagram. The minimal warping degree of a knot is the minimal value of the warping degree for all oriented minimal diagrams of the knot. In this paper, all prime alternating knots with minimal warping degree two are determined.
Shimizu introduced a region crossing change unknotting operation for knot diagrams. As extensions, two integral region choice problems were proposed and the existences of solutions of the problems were shown for all non-trivial knot diagrams by Ahara and Suzuki, and Harada. We relate both integral region choice problems with an Alexander numbering for regions of a link diagram, and give alternative proofs of the existences of solutions for knot diagrams. We also discuss the problems on link diagrams. For each of the problems on the diagram of a two-component link, we give a necessary and suffi…
In this paper, we discuss the (co)homology theory of biquandles, derived biquandle cocycle invariants for oriented surface-links using broken surface diagrams and how to compute the biquandle cocycle invariants from marked graph diagrams. We also develop the shadow (co)homology theory of biquandles and construct the shadow biquandle cocycle invariants for oriented surface-links.
We generalize H. Seifert's algorithm for finding a Seifert surface for a knot or link. The generalization applies to "framed oriented measured lamination links." For knots, a Seifert surface determines a unique framing. In our setting, we analyze the set of framed lamination links which bound Seifert laminations and are carried by an $S^1$-fibered tube neighborhood of an oriented train track embedded in a 3-manifold.
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 generally for link diagrams that are adequate, and the proof involves a two-variable generalization of the Jones polynomial for surface links defined by Krushkal. The main result is used to establish the first and second Tait conjectures for links in thickened surfaces and for virtual l…
We determine the minimal number of colors for non-trivial $\mathbb{Z}$-colorings on the standard minimal diagrams of $\mathbb{Z}$-colorable torus links. Also included are complete classifications of such $\mathbb{Z}$-colorings and of such $\mathbb{Z}$-colorings by only four colors, which are shown by using rack colorings on link diagrams.
在论文“A new twist on Lorenz links”（Journal of Topology 2（2009），227-248）中，Joan Birman和Ilya Kofman证明了Lorenz links类和twisted links类的重合。在这项工作中的证明是代数的。我们将确定这个类的网格图，并提供一个透明的几何参数的伯曼-科夫曼的结果。
Let $U_n$ be the set of un-oriented and rational links with crossing number $n$, a precise formula for $|U_n|$ was obtained by Ernst and Sumners in 1987. In this paper, we study the enumeration problem of oriented rational links. Let $Λ_n$ be the set of oriented rational links with crossing number $n$ and let $Λ_n(d)$ be the set of oriented rational links with crossing number $n$ ($n\ge 2$) and deficiency $d$. In this paper, we derive precise formulas for $|Λ_n|$ and $|Λ_n(d)|$ for any given $n$ and $d$ and show that $$ Λ_n(d)=F_{n-d-1}^{(d)}+\frac{1+(-1)^{nd}}{2}F^{(\lfloor \frac{d}{2}\rfloor…
We introduce a new very large family of transformations of rectangular diagrams of links that preserve the isotopy class of the link. We provide an example when two diagrams of the same complexity are related by such a transformation and are not obtained from one another by any sequence of `simpler' moves not increasing the complexity of the diagram along the way.
We describe a new class of minimal link diagrams. This class includes certain alternating diagrams, the standard diagrams of all torus links, and numerous homogeneous diagrams whose minimality has not been proven before. Besides, we describe a new larger class of link diagrams with the least number of Seifert circles among all diagrams of a given link. Our approach refers to the Morton-Franks-Williams inequality.
It was shown that any $\mathbb{Z}$-colorable link has a diagram which admits a non-trivial $\mathbb{Z}$-coloring with at most four colors. In this paper, we consider minimal numbers of colors for non-trivial $\mathbb{Z}$-colorings on minimal diagrams of $\mathbb{Z}$-colorable links. We show, for any positive integer $N$, there exists a minimal diagram of a $\mathbb{Z}$-colorable link such that any $\mathbb{Z}$-coloring on the diagram has at least $N$ colors. On the other hand, it is shown that certain $\mathbb{Z}$-colorable torus links have minimal diagrams admitting $\mathbb{Z}$-colorings wit…
This report lists the link diagrams in S^3 for all principal congruence link complements for which such a link diagram is known. Several unpublished link diagrams are included. Related to this, we also include one link diagram for an arithmetic regular tessellation link complement.
We define an equivalence relation on graphs with signed edges, such that the associated adjacency matrices of two equivalent graphs are congruent over $\mathbb{Z}$. We show that signed graphs whose eigenvalues are larger than $-2$ are equivalent to one of the simply laced Dynkin diagrams: $A_{n}$, $D_{n}$, $E_{6}$, $E_{7}$ and $E_{8}$. Checkerboard graph links are a class of fibred strongly quasipositive links which include positive braid links. We use the previous result to prove that a checkerboard graph link with maximal signature is isotopic to one of the links realized by the simply laced…
