arXiv subjects
Publications and source records attributed to Sang Youl Lee.
The groups $G_n^k$ were defined by V. O. Manturov in order to describe dynamical systems in configuration systems. In the paper we consider two applications of this theory: we define a biquandle structure on the groups $G_n^k$, and construct a homomorphism from the surface singular braid monoid to the group $G_n^2$.
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.
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 moves on marked graph diagrams that preserve the ambient isotopy classes of their presenting immersed surface-links.
In this paper, we formulate a construction of ideal coset invariants for surface-links in $4$-space using invariants for knots and links in $3$-space. We apply the construction to the Kauffman bracket polynomial invariant and obtain an invariant for surface-links called the Kauffman bracket ideal coset invariant of surface-links. We also define a series of new invariants $\{{\mathbf K}_{2n-1}(\mathcal L) | n=2, 3, 4, \ldots\}$ for surface-links $\mathcal L$ by using skein relations, which are more effective than the Kauffman bracket ideal coset invariant to distinguish given surface-links.
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.
A conjecture proposed by J. Tripp in 2002 states that the crossing number of any knot coincides with the canonical genus of its Whitehead double. In the meantime, it has been established that this conjecture is true for a large class of alternating knots including $(2, n)$ torus knots, $2$-bridge knots, algebraic alternating knots, and alternating pretzel knots. In this paper, we prove that the conjecture is not true for any alternating $3$-braid knot which is the connected sum of two torus knots of type $(2, m)$ and $(2, n)$. This results in a new modified conjecture that the crossing number of any prime knot coincides with the canonical genus of its Whitehead double. We also give a new large class of prime alternating knots satisfying the conjecture, including all prime alternating $3$-braid knots.
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 graph diagrams representing equivalent surface-links are related by a finite sequence of these Yoshikawa moves. In this paper, we provide some generating sets of Yoshikawa moves on marked graph diagrams representing unoriented surface-links, and also oriented surface-links. We also discuss independence of certain Yoshikawa moves from the other moves.
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 surface diagrams. A marked graph diagram is a link diagram possibly with $4$-valent vertices equipped with markers. S. J. Lomonaco, Jr. and K. Yoshikawa introduced a method of describing surface-links by using marked graph diagrams. In this paper, we give interpretations of these quandle cocycle invariants in terms of marked graph diagrams, and introduce a method of computing them from marked graph diagrams.
A. S. Lipson constructed two state models yielding the same classical link invariant obtained from the Kauffman polynomial $F(a,z)$. In this paper, we apply Lipson's state models to marked graph diagrams of surface-links, and observe when they induce surface-link invariants.
For any given integer $r \geq 1$ and a quasitoric braid $β_r=(σ_r^{-ε} σ_{r-1}^ε...$ $ σ_{1}^{(-1)^{r}ε})^3$ with $ε=\pm 1$, we prove that the maximum degree in $z$ of the HOMFLYPT polynomial $P_{W_2(\hatβ_r)}(v,z)$ of the doubled link $W_2(\hatβ_r)$ of the closure $\hatβ_r$ is equal to $6r-1$. As an application, we give a family $\mathcal K^3$ of alternating knots, including $(2,n)$ torus knots, 2-bridge knots and alternating pretzel knots as its subfamilies, such that the minimal crossing number of any alternating knot in $\mathcal K^3$ coincides with the canonical genus of its Whitehead double. Consequently, we give a new family $\mathcal K^3$ of alternating knots for which Tripp's conjecture holds.