arXiv subjects
Publications and source records attributed to Seiichi Kamada.
We introduce a multiple conjugation biquandle, and show that it is the universal algebra to define a semi-arc coloring invariant for handlebody-links. A multiple conjugation biquandle is a generalization of a multiple conjugation quandle. We extend the notion of $n$-parallel biquandle operations for any integer $n$, and show that any biquandle gives a multiple conjugation biquandle with them.
We define a new invariant $w$ for hyperelliptic Lefschetz fibrations over closed oriented surfaces, which counts the number of Dirac braids included intrinsically in the monodromy, by using chart description introduced by the second author. As an application, we prove that two hyperelliptic Lefschetz fibrations of genus $g$ over a given base space are stably isomorphic if and only if they have the same numbers of singular fibers of each type and they have the same value of $w$ if $g$ is odd. We also give examples of pair of hyperelliptic Lefschetz fibrations with the same numbers of singular fibers of each type which are not stably isomorphic.
We introduce the notion of a ribbon-clasp surface-link, which is a generalization of a ribbon surface-link. We generalize the notion of a normal form on embedded surface-links to the case of immersed surface-links and prove that any (immersed) surface-link can be described in a normal form. It is known that an embedded surface-link is a ribbon surface-link if and only if it can be described in a symmetric normal form. We prove that an (immersed) surface-link is a ribbon-clasp surface-link if and only if it can be described in a symmetric normal form. We also introduce the notion of a ribbon-clasp normal form, which is a simpler version of a symmetric normal form.
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.
Twisted links are a generalization of virtual links. As virtual links correspond to abstract links on orientable surfaces, twisted links correspond to abstract links on (possibly non-orientable) surfaces. In this paper, we introduce the notion of the double covering of a twisted link. It is defined by considering the orientation double covering of an abstract link or alternatively by constructing a diagram called a double covering diagram. We also discuss links in thickened surfaces, their diagrams and their stable equivalence classes. Bourgoin's twisted knot group is understood as the virtual knot group of the double covering.
We employ a certain labeled finite graph, called a chart, in a closed oriented surface for describing the monodromy of a(n achiral) Lefschetz fibration over the surface. Applying charts and their moves with respect to Wajnryb's presentation of mapping class groups, we first generalize a signature formula for Lefschetz fibrations over the 2-sphere obtained by Endo and Nagami to that for Lefschetz fibrations over arbitrary closed oriented surface. We then show two theorems on stabilization of Lefschetz fibrations under fiber summing with copies of a typical Lefschetz fibration as generalizations of a theorem of Auroux.
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.
Quandle cocycle invariants form a powerful and well developed tool in knot theory. This paper treats their variations - namely, positive and twisted quandle cocycle invariants, and shadow invariants. We interpret the former as particular cases of the latter. As an application, several constructions from the shadow world are extended to the positive and twisted cases. Another application is a sharpening of twisted quandle cocycle invariants for multi-component links.
J. Boyle classified 1-handles attached to surface-knots, that are closed and connected surfaces embedded in the Euclidean 4-space, in the case that the surfaces are oriented and 1-handles are orientable with respect to the orientations of the surfaces. In that case, the equivalence classes of 1-handles correspond to the equivalence classes of cords attached to the surface-knot, and correspond to the double cosets of the peripheral subgroup of the knot group. In this paper, we classify cords and cords with local orientations attached to (possibly non-orientable) surface-knots. And we classify 1-handles attached to surface-knots in the case that the surface-knots are oriented and 1-handles are non-orientable, and in the case that the surface-knots are non-orientable.
A symmetric quandle is a quandle with a good involution. For a knot in \$R^3\$, a knotted surface in \$R^4\$ or an \$n\$-manifold knot in \$R^{n+2}\$, the knot symmetric quandle is defined. We introduce the notion of a symmetric quandle presentation, and show how to get a presentation of a knot symmetric quandle from a diagram.
In this paper, we study quandles of cyclic type, which form a particular subclass of finite quandles. The main result of this paper describes the set of isomorphism classes of quandles of cyclic type in terms of certain cyclic permutations. By using our description, we give a direct classification of quandles of cyclic type with cardinality up to $12$.
The notion of a braid is generalized into two and three dimensions. Two-dimensional braids are described by braid monodromies or graphics called charts. In this paper we introduce the notion of curtains, and show that three-dimensional braids are described by braid monodromies or curtains.
Chart descriptions are a graphic method to describe monodromy representations of various topological objects. Here we introduce a chart description for hyperelliptic Lefschetz fibrations, and show that any hyperelliptic Lefschetz fibration can be stabilized by fiber-sum with certain basic Lefschetz fibrations.
Techniques for constructing codimension 2 embeddings and immersions of the 2 and 3-fold branched covers of the 3 and 4-dimensional spheres are presented. These covers are in braided form, and it is in this sense that they are folded. More precisely the composition of the embedding (or immersion) and the canonical projection induces the branched covering map. In the case of the 3-sphere, the branch locus is a knotted or linked curve in space, the 2-fold branched cover always embeds, and the 3-fold branch cover might be immersed. In the case of the 4-sphere, the branch locus is a knotted or linked orientable surface (surface knot or link), and the 2-fold branched cover is always embedded. We give an explicit embedding of the 3-fold branched cover of the 4-sphere when the branch set is the spun trefoil.
We study simple branched coverings of degree d of the 2- and 3- dimensional sphere branched over oriented links. We demonstrate how to use braid charts to develop embeddings of these into $S^k \times D^2$ for $k=2,3 when $d=2,3$. This is an initial part of our study and represents the manuscript submitted to the RIMS workshop at Intelligence of Low Dimensional Topology.
We introduce two kinds of structures, called v-structures and t-structures, on biquandles. These structures are used for colorings of diagrams of virtual links and twisted links such that the numbers of colorings are invariants. Given a biquandle or a quandle, we give a method of constructing a biquandle with these structures. Using the numbers of colorings, we show that Bourgoin's twofoil and non-orientable virtual $m$-foils do not represent virtual links.
Chart descriptions are a graphic method to describe monodromy representations of various topological objects. Here we introduce a chart description for genus-two Lefschetz fibrations, and show that any genus-two Lefschetz fibration can be stabilized by fiber-sum with certain basic Lefschetz fibrations.