Showing 1–50 of 54 results for author: Kamada, S

Classification of generalized Alexander quandles

Authors: Akihiro Higashitani, Seiichi Kamada, Jin Kosaka, Hirotake Kurihara

Abstract: The aim of this paper is to provide a new characterization of isomorphism classes of generalized Alexander quandles in terms of the underlying groups and their automorphisms. This extends the previous result [4, Theorem 1.4]. Additionally, we compute the number of generalized Alexander quandles up to quandle isomorphism arising from groups up to order 127 and their group automorphisms. The aim of this paper is to provide a new characterization of isomorphism classes of generalized Alexander quandles in terms of the underlying groups and their automorphisms. This extends the previous result [4, Theorem 1.4]. Additionally, we compute the number of generalized Alexander quandles up to quandle isomorphism arising from groups up to order 127 and their group automorphisms. △ Less

Submitted 3 June, 2024; originally announced June 2024.

Comments: 12 pages

MSC Class: Primary; 20N02; Secondary: 20B05; 53C35

Invariants of virtual links and twisted links using affine indices

Authors: Naoko Kamada, Seiichi Kamada

Abstract: The affine index polynomial and the $n$-writhe are invariants of virtual knots which are introduced by Kauffman and by Satoh and Taniguchi independently. They are defined by using indices assigned to each classical crossing, which we call affine indices in this paper. We discuss a relationship between the invariants and generalize them to invariants of virtual links. The invariants for virtual lin… ▽ More The affine index polynomial and the $n$-writhe are invariants of virtual knots which are introduced by Kauffman and by Satoh and Taniguchi independently. They are defined by using indices assigned to each classical crossing, which we call affine indices in this paper. We discuss a relationship between the invariants and generalize them to invariants of virtual links. The invariants for virtual links can be also computed by using cut systems. We also introduce invariants of twisted links by using affine indices. △ Less

Submitted 4 August, 2024; v1 submitted 9 December, 2023; originally announced December 2023.

MSC Class: 57K12; 57K14

On the construction of a family of sets of positive integers closed under taking subsets

Authors: Shoichi Kamada

Abstract: In the several contexts such as combinatorial number theory, families of sets of positive integers closed under taking subsets have been investigated. Then it is sometimes useful to give bijections between the set of the one-sided infinite sequences on the alphabet set $\{0,1\}$ and such a family of sets. The most typical example is the family of sum-free sets. Although such a kind of families cov… ▽ More In the several contexts such as combinatorial number theory, families of sets of positive integers closed under taking subsets have been investigated. Then it is sometimes useful to give bijections between the set of the one-sided infinite sequences on the alphabet set $\{0,1\}$ and such a family of sets. The most typical example is the family of sum-free sets. Although such a kind of families covers a large class of families of sets, there are only a few considerations on bijections for the case where the sum-free property is replaced by another property. In this paper, we explicitly give a bijection and its inverse between the set of one-sided infinite sequences on the alphabet set $\{0,1\}$ and a family of sets which may be contained in a class of families closed under taking subsets. Moreover, we show that some extremal property in a particular family of sets is characterized by a discrete dynamical system based on this kind of bijections. △ Less

Submitted 30 December, 2024; v1 submitted 19 June, 2023; originally announced June 2023.

Twisted virtual braids and twisted links

Authors: Komal Negi, Madeti Prabhakar, Seiichi Kamada

Abstract: Twisted knot theory introduced by M. Bourgoin is a generalization of knot theory. It leads us to the notion of twisted virtual braids. In this paper we show theorems for twisted links corresponding to the Alexander theorem and the Markov theorem in knot theory. We also provide a group presentation and a reduced group presentation of the twisted virtual braid group. Twisted knot theory introduced by M. Bourgoin is a generalization of knot theory. It leads us to the notion of twisted virtual braids. In this paper we show theorems for twisted links corresponding to the Alexander theorem and the Markov theorem in knot theory. We also provide a group presentation and a reduced group presentation of the twisted virtual braid group. △ Less

Submitted 5 October, 2023; v1 submitted 26 February, 2023; originally announced February 2023.

MSC Class: 57K12 (Primary) 57K10 (Secondary)

Twisted intersection colorings, invariants and double coverings of twisted links

Authors: Hiroki Ito, Seiichi Kamada

Abstract: Twisted links are a generalization of classical links and correspond to stably equivalence classes of links in thickened surfaces. In this paper we introduce twisted intersection colorings of a diagram and construct two invariants of a twisted link using such colorings. As an application, we show that there exist infinitely many pairs of twisted links such that for each pair the two twisted links… ▽ More Twisted links are a generalization of classical links and correspond to stably equivalence classes of links in thickened surfaces. In this paper we introduce twisted intersection colorings of a diagram and construct two invariants of a twisted link using such colorings. As an application, we show that there exist infinitely many pairs of twisted links such that for each pair the two twisted links are not equivalent but their double coverings are equivalent. We also introduce a method of constructing a pair of twisted links whose double coverings are equivalent. △ Less

Submitted 22 July, 2022; originally announced July 2022.

MSC Class: 57K12

Doodles and commutator identities

Authors: Andrew Bartholomew, Roger Fenn, Naoko Kamada, Seiichi Kamada

Abstract: A doodle is a collection of immersed circles without triple intersections in the $2$-sphere. It was shown by the second author and P.~Tayler that doodles induce commutator identities (identities amongst commutators) in a free group. In this paper we observe this idea more closely by concentrating on doodles with proper noose systems and elementary commutator identities. In particular we show that… ▽ More A doodle is a collection of immersed circles without triple intersections in the $2$-sphere. It was shown by the second author and P.~Tayler that doodles induce commutator identities (identities amongst commutators) in a free group. In this paper we observe this idea more closely by concentrating on doodles with proper noose systems and elementary commutator identities. In particular we show that there is a bijection between cobordism classes of colored doodles and weak equivalence classes of elementary commutator identities. △ Less

Submitted 24 February, 2021; v1 submitted 15 June, 2020; originally announced June 2020.

MSC Class: 57M07; 57M25

Knotted surfaces as vanishing sets of polynomials

Authors: Benjamin Bode, Seiichi Kamada

Abstract: We present an algorithm that takes as input any element $B$ of the loop braid group and constructs a polynomial $f:\mathbb{R}^5\to\mathbb{R}^2$ such that the intersection of the vanishing set of $f$ and the unit 4-sphere contains the closure of $B$. The polynomials can be used to create real analytic time-dependent vector fields with zero divergence and closed flow lines that move as prescribed by… ▽ More We present an algorithm that takes as input any element $B$ of the loop braid group and constructs a polynomial $f:\mathbb{R}^5\to\mathbb{R}^2$ such that the intersection of the vanishing set of $f$ and the unit 4-sphere contains the closure of $B$. The polynomials can be used to create real analytic time-dependent vector fields with zero divergence and closed flow lines that move as prescribed by $B$. We also show how a family of surface braids in $\mathbb{C}\times S^1\times S^1$ without branch points can be constructed as the vanishing set of a holomorphic polynomial $f:\mathbb{C}^3\to\mathbb{C}$ on $\mathbb{C}\times S^1\times S^1\subset\mathbb{C}^3$. Both constructions allow us to give upper bounds on the degree of the polynomials. △ Less

Submitted 6 October, 2020; v1 submitted 6 April, 2020; originally announced April 2020.

Comments: 32 pages, 4 figures

Tensor products of quandles and 1-handles attached to surface-links

Authors: Seiichi Kamada

Abstract: A quandle is an algebra with two binary operations satisfying three conditions which are related to Reidemeister moves in knot theory. In this paper we introduce the notion of the (canonical) tensor product of a quandle. The tensor product of the knot quandle or the knot symmetric quandle of a surface-link in $4$-space can be used to classify or construct invariants of $1$-handles attaching to the… ▽ More A quandle is an algebra with two binary operations satisfying three conditions which are related to Reidemeister moves in knot theory. In this paper we introduce the notion of the (canonical) tensor product of a quandle. The tensor product of the knot quandle or the knot symmetric quandle of a surface-link in $4$-space can be used to classify or construct invariants of $1$-handles attaching to the surface-link. △ Less

Submitted 21 September, 2020; v1 submitted 29 March, 2020; originally announced March 2020.

MSC Class: 57Q45

Cocycles of $G$-Alexander biquandles and $G$-Alexander multiple conjugation biquandles

Authors: Atsushi Ishii, Masahide Iwakiri, Seiichi Kamada, Jieon Kim, Shosaku Matsuzaki, Kanako Oshiro

Abstract: Biquandles and multiple conjugation biquandles are algebras which are related to links and handlebody-links in $3$-space. Cocycles of them can be used to construct state-sum type invariants of links and handlebody-links. In this paper we discuss cocycles of a certain class of biquandles and multiple conjugation biquandles, which we call $G$-Alexander biquandles and $G$-Alexander multiple conjugati… ▽ More Biquandles and multiple conjugation biquandles are algebras which are related to links and handlebody-links in $3$-space. Cocycles of them can be used to construct state-sum type invariants of links and handlebody-links. In this paper we discuss cocycles of a certain class of biquandles and multiple conjugation biquandles, which we call $G$-Alexander biquandles and $G$-Alexander multiple conjugation biquandles, with a relationship with group cocycles. We give a method to obtain a (biquandle or multiple conjugation biquandle) cocycle of them from a group cocycle. △ Less

Submitted 25 February, 2020; originally announced February 2020.

Comments: 31 pages

MSC Class: 57M27; 57M25

Colorings and doubled colorings of virtual doodles

Authors: Andrew Bartholomew, Roger Fenn, Naoko Kamada, Seiichi Kamada

Abstract: A virtual doodle is an equivalence class of virtual diagrams under an equivalence relation generated by flat version of classical Reidemesiter moves and virtual Reidemsiter moves such that Reidemeister moves of type 3 are forbidden. In this paper we discuss colorings of virtual diagrams using an algebra, called a doodle switch, and define an invariant of virtual doodles. Besides usual colorings of… ▽ More A virtual doodle is an equivalence class of virtual diagrams under an equivalence relation generated by flat version of classical Reidemesiter moves and virtual Reidemsiter moves such that Reidemeister moves of type 3 are forbidden. In this paper we discuss colorings of virtual diagrams using an algebra, called a doodle switch, and define an invariant of virtual doodles. Besides usual colorings of diagrams, we also introduce doubled colorings. △ Less

Submitted 11 September, 2018; originally announced September 2018.

MSC Class: 57M25; 57M27

Fractal and Multi-Fractal Analysis for A Family of Subset Sum Functions: Combinatorial Structures of Embedding Dimension $1$

Authors: Shoichi Kamada

Abstract: We introduce two frameworks in order to deal with fractal and multi-fractal analysis for subset sum problems where some embedding into the $1$-dimensional Euclidean space plays an important role. As one of these frameworks, the notion of the combinatorial $q$-fractal dimension for a subset sum function is introduced. Thereby, ``non-classical'' generalized dimensions for a family of subset~sum func… ▽ More We introduce two frameworks in order to deal with fractal and multi-fractal analysis for subset sum problems where some embedding into the $1$-dimensional Euclidean space plays an important role. As one of these frameworks, the notion of the combinatorial $q$-fractal dimension for a subset sum function is introduced. Thereby, ``non-classical'' generalized dimensions for a family of subset~sum functions can be defined. These generalized dimensions include the box-counting dimension, the information dimension and the correlation dimension as well as the classical case. The combinatorial $q$-fractal dimension includes the density of the subset sum problem. As the other framework, we construct a self-similar set for a particular subset sum function in a family of subset sum functions by using a graph theoretical technique. In this paper, we give a lower bound for a combinatorial $q$-fractal dimension and we show the relations between the three parameters: the number of connected components in a graph, the Hausdorff dimension and a combinatorial $q$-fractal dimension. △ Less

Submitted 21 August, 2020; v1 submitted 9 August, 2018; originally announced August 2018.

Comments: There is no worth in this manuscript

On Gauss codes of virtual doodles

Authors: Andrew Bartholomew, Roger Fenn, Naoko Kamada, Seiichi Kamada

Abstract: We discuss Gauss codes of virtual diagrams and virtual doodles. The notion of a left canonical Gauss code is introduced and it is shown that oriented virtual doodles are uniquely presented by left canonical Gauss codes. We discuss Gauss codes of virtual diagrams and virtual doodles. The notion of a left canonical Gauss code is introduced and it is shown that oriented virtual doodles are uniquely presented by left canonical Gauss codes. △ Less

Submitted 15 June, 2018; originally announced June 2018.

MSC Class: 57M25; 57M27

Virtual links which are equivalent as twisted links

Authors: Naoko Kamada, Seiichi Kamada

Abstract: A virtual link is a generalization of a classical link that is defined as an equivalence class of certain diagrams, called virtual link diagrams. It is further generalized to a twisted link. Twisted links are in one-to-one correspondence with stable equivalence classes of links in oriented thickenings of (possibly non-orientable) closed surfaces. By definition, equivalent virtual links are also eq… ▽ More A virtual link is a generalization of a classical link that is defined as an equivalence class of certain diagrams, called virtual link diagrams. It is further generalized to a twisted link. Twisted links are in one-to-one correspondence with stable equivalence classes of links in oriented thickenings of (possibly non-orientable) closed surfaces. By definition, equivalent virtual links are also equivalent as twisted links. In this paper, we discuss when two virtual links are equivalent as twisted links, and give a necessary and sufficient condition for this to be the case. △ Less

Submitted 23 September, 2019; v1 submitted 17 April, 2018; originally announced April 2018.

MSC Class: 57M25

On the group of ring motions of an H-trivial link

Authors: Celeste Damiani, Seiichi Kamada

Abstract: In this paper we compute a presentation for the group of ring motions of the split union of a Hopf link with Euclidean components and a Euclidean circle. A key part of this work is the study of a short exact sequence of groups of ring motions of general ring links in $\mathbb{R}^3$. This sequence allowed us to build the main result from the previously known case of the ring group with one componen… ▽ More In this paper we compute a presentation for the group of ring motions of the split union of a Hopf link with Euclidean components and a Euclidean circle. A key part of this work is the study of a short exact sequence of groups of ring motions of general ring links in $\mathbb{R}^3$. This sequence allowed us to build the main result from the previously known case of the ring group with one component, which a particular case of the ring groups studied by Brendle and Hatcher. This work is a first step towards the computation of a presentation for groups of motions of H-trivial links with an arbitrary number of components. △ Less

Submitted 18 May, 2018; v1 submitted 6 April, 2018; originally announced April 2018.

Comments: v2: corrected acknowledgements (grant number), and minor typos

MSC Class: 57M07; 20F36; 57M25

Biquandle cohomology and state-sum invariants of links and surface-links

Authors: Seiichi Kamada, Akio Kawauchi, Jieon Kim, Sang Youl Lee

Abstract: 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. 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. △ Less

Submitted 7 March, 2018; originally announced March 2018.

Comments: 34 pages, 28 figures. arXiv admin note: text overlap with arXiv:1502.01450

MSC Class: 57M27; 57M25

Biquandle (co)homology and handlebody-links

Authors: Atsushi Ishii, Masahide Iwakiri, Seiichi Kamada, Jieon Kim, Shosaku Matsuzaki, Kanako Oshiro

Abstract: In this paper, we introduce the (co)homology group of a multiple conjugation biquandle. It is the (co)homology group of the prismatic chain complex, which is related to the homology of foams introduced by J. S. Carter, modulo a certain subchain complex. We construct invariants for $S^1$-oriented handlebody-links using $2$-cocycles. When a multiple conjugation biquandle… ▽ More In this paper, we introduce the (co)homology group of a multiple conjugation biquandle. It is the (co)homology group of the prismatic chain complex, which is related to the homology of foams introduced by J. S. Carter, modulo a certain subchain complex. We construct invariants for $S^1$-oriented handlebody-links using $2$-cocycles. When a multiple conjugation biquandle $X\times\mathbb{Z}_{\operatorname{type}X_Y}$ is obtained from a biquandle $X$ using $n$-parallel operations, we provide a $2$-cocycle (or $3$-cocycle) of the multiple conjugation biquandle $X\times\mathbb{Z}_{\operatorname{type}X_Y}$ from a $2$-cocycle (or $3$-cocycle) of the biquandle $X$ equipped with an $X$-set $Y$. △ Less

Submitted 22 January, 2018; originally announced January 2018.

Comments: arXiv admin note: text overlap with arXiv:1702.01363; text overlap with arXiv:1704.07792 by other authors

MSC Class: 57M27; 57M25

An unknotting index for virtual knots

Authors: K. Kaur, S. Kamada, A. Kawauchi, M. Prabhakar

Abstract: In this paper we introduce the notion of an unknotting index for virtual knots. We give some examples of computation by using writhe invariants, and discuss a relationship between the unknotting index and the virtual knot module. In particular, we show that for any non-negative integer $n$ there exists a virtual knot whose unknotting index is $(1,n)$. In this paper we introduce the notion of an unknotting index for virtual knots. We give some examples of computation by using writhe invariants, and discuss a relationship between the unknotting index and the virtual knot module. In particular, we show that for any non-negative integer $n$ there exists a virtual knot whose unknotting index is $(1,n)$. △ Less

Submitted 4 September, 2017; originally announced September 2017.

MSC Class: 57M25 (Primary); 57M27 (Secondary)

Presentation of immersed surface-links by marked graph diagrams

Authors: Seiichi Kamada, Akio Kawauchi, Jieon Kim, Sang Youl Lee

Abstract: 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… ▽ More 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. △ Less

Submitted 15 July, 2017; originally announced July 2017.

MSC Class: 57Q45

A multiple conjugation biquandle and handlebody-links

Authors: Atsushi Ishii, Masahide Iwakiri, Seiichi Kamada, Jieon Kim, Shosaku Matsuzaki, Kanako Oshiro

Abstract: 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 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. △ Less

Submitted 4 February, 2017; originally announced February 2017.

MSC Class: 57M27; 57M25

Doodles on surfaces

Authors: Andrew Bartholomew, Roger Fenn, Naoko Kamada, Seiichi Kamada

Abstract: Doodles were introduced in [R. Fenn and P. Taylor, Introducing doodles, Topology of low-dimensional manifolds, pp. 37--43, Lecture Notes in Math., 722, Springer, Berlin, 1979] but were restricted to embedded circles in the 2-sphere. Khovanov, [M. Khovanov, Doodle groups, Trans. Amer. Math. Soc. 349 (1997), 2297--2315], extended the idea to immersed circles in the 2-sphere. In this paper we further… ▽ More Doodles were introduced in [R. Fenn and P. Taylor, Introducing doodles, Topology of low-dimensional manifolds, pp. 37--43, Lecture Notes in Math., 722, Springer, Berlin, 1979] but were restricted to embedded circles in the 2-sphere. Khovanov, [M. Khovanov, Doodle groups, Trans. Amer. Math. Soc. 349 (1997), 2297--2315], extended the idea to immersed circles in the 2-sphere. In this paper we further extend the range of doodles to any closed orientable surface. Uniqueness of minimal representatives is proved, and various example of doodles are given with their minimal representatives. We also introduce the notion of virtual doodles, and show that there is a natural one-to-one correspondence between doodles on surfaces and virtual doodles on the plane. △ Less

Submitted 17 January, 2018; v1 submitted 26 December, 2016; originally announced December 2016.

MSC Class: 57M25 (Primary); 57M27 (Secondary)

Ribbon-clasp surface-links and normal forms of singular surface-links

Authors: Seiichi Kamada, Kengo Kawamura

Abstract: 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 s… ▽ More 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. △ Less

Submitted 25 February, 2016; originally announced February 2016.

MSC Class: 57M25; 57M27; 57Q45

Polynomial of an oriented surface-link diagram via quantum A_2 invariant

Authors: Yewon Joung, Seiichi Kamada, Akio Kawauchi, Sang Youl Lee

Abstract: 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 studi… ▽ More 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. △ Less

Submitted 4 February, 2016; originally announced February 2016.

Comments: 31 pages, 22 figures

MSC Class: 57Q45; 57M25

Double coverings of twisted links

Authors: Naoko Kamada, Seiichi Kamada

Abstract: 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… ▽ More 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. △ Less

Submitted 11 January, 2016; v1 submitted 10 October, 2015; originally announced October 2015.

MSC Class: 57M25; 57M27

Counting Dirac braid relators and hyperelliptic Lefschetz fibrations

Authors: Hisaaki Endo, Seiichi Kamada

Abstract: 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… ▽ More 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. △ Less

Submitted 5 October, 2016; v1 submitted 31 August, 2015; originally announced August 2015.

Comments: 30 pages, 32 figures; (v2) the title changed, Section 1 rewritten, remarks added. arXiv admin note: text overlap with arXiv:1403.7946

MSC Class: 57M15; 57N13

Computations of quandle cocyle invariants of surface-links using marked graph diagrams

Authors: Seiichi Kamada, Jieon Kim, Sang Youl Lee

Abstract: 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$-val… ▽ More 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. △ Less

Submitted 5 February, 2015; originally announced February 2015.

Comments: 40 pages, 29 figures

MSC Class: Primary 57Q45; Secondary 57M25

Applying Lipson's state models to marked graph diagrams of surface-links

Authors: Yewon Joung, Seiichi Kamada, Sang Youl Lee

Abstract: 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. 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. △ Less

Submitted 20 November, 2014; originally announced November 2014.

Comments: 21 pages, 16 figures

MSC Class: 57Q45; 57M25

The shadow nature of positive and twisted quandle cocycle invariants of knots

Authors: Seiichi Kamada, Victoria Lebed, Kokoro Tanaka

Abstract: 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 sharp… ▽ More 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. △ Less

Submitted 6 October, 2014; v1 submitted 14 September, 2014; originally announced September 2014.

Comments: 13 pages. In version 2, a new co-author was added, and Section 4 was considerably extended

Charts, signatures, and stabilizations of Lefschetz fibrations

Authors: Hisaaki Endo, Isao Hasegawa, Seiichi Kamada, Kokoro Tanaka

Abstract: 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 f… ▽ More 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. △ Less

Submitted 15 February, 2015; v1 submitted 31 March, 2014; originally announced March 2014.

Comments: 30 pages, 29 figures; (v2) a co-author added; (v3) proofs simplified, remarks and references added, typos corrected; (v4) symbols simplified, examples added, typos corrected

MSC Class: 57M15

Cords and 1-handles attached to surface-knots

Authors: Seiichi Kamada

Abstract: 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 t… ▽ More 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. △ Less

Submitted 4 March, 2014; originally announced March 2014.

Comments: It will appear in Boletin de la Sociedad Matematica Mexicana

MSC Class: 57Q45

Journal ref: Bol. Soc. Mat. Mex.20 (2014), no. 2, 595--609

Quandles and symmetric quandles for higher dimensional knots

Authors: Seiichi Kamada

Abstract: 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. 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. △ Less

Submitted 4 March, 2014; originally announced March 2014.

Comments: 13 pages. It will appear in Banach Center Publications

MSC Class: 57Q45; 57M25

Journal ref: Knots in Poland III -- Part III, Banach Center Publications,103 (2014), 145--158

On classification of quandles of cyclic type

Authors: Seiichi Kamada, Hiroshi Tamaru, Koshiro Wada

Abstract: 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$. 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$. △ Less

Submitted 24 December, 2013; originally announced December 2013.

Comments: 14 pages

MSC Class: 57M25; 53C30

Three-dimensional braids and their descriptions

Authors: J. Scott Carter, Seiichi Kamada

Abstract: 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. 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. △ Less

Submitted 18 December, 2013; originally announced December 2013.

Comments: Eight color figures

MSC Class: 57M25; 57Q45; 57M27

Chart description for hyperelliptic Lefschetz fibrations and their stabilization

Authors: Hisaaki Endo, Seiichi Kamada

Abstract: 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. 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. △ Less

Submitted 12 June, 2013; originally announced June 2013.

Comments: 19 pages, 22 figures. arXiv admin note: substantial text overlap with arXiv:1106.0569

How to Fold a Manifold

Authors: J. Scott Carter, Seiichi Kamada

Abstract: 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… ▽ More 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. △ Less

Submitted 17 January, 2013; originally announced January 2013.

Comments: 28 pages. Lots of color figures

MSC Class: 57Q45; 57Q35; 57M25; 57M27

Braids and branched coverings of dimension three

Authors: J. Scott Carter, Seiichi Kamada

Abstract: 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 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. △ Less

Submitted 20 June, 2012; originally announced June 2012.

Comments: 18 pages, 19 figures

MSC Class: 57M12; 57M25

Biquandles with structures related to virtual links and twisted links

Authors: Naoko Kamada, Seiichi Kamada

Abstract: 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… ▽ More 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. △ Less

Submitted 24 September, 2011; originally announced September 2011.

MSC Class: 57M25

Journal ref: J. Knot Theory Ramifications 21 (2012), no. 13, 1240006, 14 pp

Chart description for genus-two Lefschetz fibrations and a theorem on their stabilization

Authors: Seiichi Kamada

Abstract: 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. 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. △ Less

Submitted 3 June, 2011; originally announced June 2011.

Comments: 17 pages, 18 figures

MSC Class: 57M99; 32S50

Journal ref: Topology Appl. 159 (2012), no. 4, 1041--1051

Classification of broken Lefschetz fibrations with small fiber genera

Authors: R. Inanc Baykur, Seiichi Kamada

Abstract: In this article, we generalize the classification of genus one Lefschetz fibrations to genus one simplified broken Lefschetz fibrations, which have fibers of genera one and zero. We classify genus one Lefschetz fibrations over the 2-disk with certain non-trivial global monodromies using chart descriptions, and identify the 4-manifolds admitting genus one simplified broken Lefschetz fibrations. In this article, we generalize the classification of genus one Lefschetz fibrations to genus one simplified broken Lefschetz fibrations, which have fibers of genera one and zero. We classify genus one Lefschetz fibrations over the 2-disk with certain non-trivial global monodromies using chart descriptions, and identify the 4-manifolds admitting genus one simplified broken Lefschetz fibrations. △ Less

Submitted 11 December, 2010; v1 submitted 27 October, 2010; originally announced October 2010.

Comments: 22 pages, 14 figures. Included a previously overlooked case in the proof of Theorem 13

Homology Groups of Symmetric Quandles and Cocycle Invariants of Links and Surface-links

Authors: Seiichi Kamada, Kanako Oshiro

Abstract: We introduce the notion of a quandle with a good involution and its homology groups. Carter et al. defined quandle cocycle invariants for oriented links and oriented surface-links. By use of good involutions, quandle cocyle invariants can be defined for links and surface-links which are not necessarily oriented or orientable. The invariants can be used in order to estimate the minimal triple poi… ▽ More We introduce the notion of a quandle with a good involution and its homology groups. Carter et al. defined quandle cocycle invariants for oriented links and oriented surface-links. By use of good involutions, quandle cocyle invariants can be defined for links and surface-links which are not necessarily oriented or orientable. The invariants can be used in order to estimate the minimal triple point numbers of non-orientable surface-links. △ Less

Submitted 24 February, 2009; originally announced February 2009.

MSC Class: 57M25; 57Q45

Journal ref: Trans. Amer. Math. Soc. 362 (2010), no. 10, 5501--5527

New Invariants of Long Virtual Knots

Authors: Andrew Bartholomew, Roger Fenn, Naoko Kamada, Seiichi Kamada

Abstract: This paper extends the construction of invariants for virtual knots to virtual long knots and introduces two new invariant modules of virtual long knots. Several interesting features are described that distinguish virtual long knots from their classical counterparts with respect to their symmetries and the concatenation product. This paper extends the construction of invariants for virtual knots to virtual long knots and introduces two new invariant modules of virtual long knots. Several interesting features are described that distinguish virtual long knots from their classical counterparts with respect to their symmetries and the concatenation product. △ Less

Submitted 31 May, 2007; originally announced May 2007.

Comments: 14 pages 11 figures

MSC Class: 57M27

Knot invariants derived from quandles and racks

Authors: Seiichi Kamada

Abstract: The homology and cohomology of quandles and racks are used in knot theory: given a finite quandle and a cocycle, we can construct a knot invariant. This is a quick introductory survey to the invariants of knots derived from quandles and racks. The homology and cohomology of quandles and racks are used in knot theory: given a finite quandle and a cocycle, we can construct a knot invariant. This is a quick introductory survey to the invariants of knots derived from quandles and racks. △ Less

Submitted 5 November, 2002; originally announced November 2002.

Comments: Published by Geometry and Topology Monographs at http://www.maths.warwick.ac.uk/gt/GTMon4/paper8.abs.html

MSC Class: 57M25; 57Q45; 55N99; 18G99

Journal ref: Geom. Topol. Monogr. 4 (2002) 103-117

Bordism of Unoriented Surfaces in 4-Space

Authors: J. Scott Carter, Seiichi Kamada, Masahico Saito, Shin Satoh

Abstract: The group of bordism classes of unoriented surfaces in 4-space is determined. The bordism classes are characterized by normal Euler numbers,double linking numbers, and triple linking numbers. The group of bordism classes of unoriented surfaces in 4-space is determined. The bordism classes are characterized by normal Euler numbers,double linking numbers, and triple linking numbers. △ Less

Submitted 6 June, 2001; originally announced June 2001.

Comments: 17 pages, 17 Figures. epsf.sty embedded in Tex File

MSC Class: 57Q45

Diagrammatic Computations for Quandles and Cocycle Knot Invariants

Authors: J. Scott Carter, Seiichi Kamada, Masahico Saito

Abstract: The state-sum invariants for knots and knotted surfaces defined from quandle cocycles are described using the Kronecker product between cycles represented by colored knot diagrams and a cocycle of a finite quandle used to color the diagram. Such an interpretation is applied to evaluating the invariants. Algebraic interpretations of quandle cocycles as deformations of extensions are also given.… ▽ More The state-sum invariants for knots and knotted surfaces defined from quandle cocycles are described using the Kronecker product between cycles represented by colored knot diagrams and a cocycle of a finite quandle used to color the diagram. Such an interpretation is applied to evaluating the invariants. Algebraic interpretations of quandle cocycles as deformations of extensions are also given. The proofs rely on colored knot diagrams. △ Less

Submitted 12 February, 2001; originally announced February 2001.

Comments: 24 Pages; 23 Figures; an applification of recent talks given in San Francisco and Siegen

MSC Class: Primary 57M25; 57Q45

Stable Equivalence of Knots on Surfaces and Virtual Knot Cobordisms

Authors: J. Scott Carter, Seiichi Kamada, Masahico Saito

Abstract: 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 link homology for virtual links. As an application, it is shown that Kauffman's… ▽ More 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 link homology for virtual links. As an application, it is shown that Kauffman's example of a virtual knot diagram is not equivalent to a classical knot diagram. △ Less

Submitted 16 August, 2000; originally announced August 2000.

Comments: 12 pages, 9 figures

MSC Class: 57M25; 57N70; 57Q66

A Theorem of Sanderson on Link Bordisms in Dimension 4

Authors: J. Scott Carter, Seiichi Kamada, Masahico Saito, Shin Satoh

Abstract: The groups of link bordism can be identified with homotopy groups via the Pontryagin-Thom construction. B.J. Sanderson computed the bordism group of 3 component surface-links using the Hilton-Milnor Theorem, and later gave a geometric interpretation of the groups in terms of intersections of Seifert hypersurfaces and their framings. In this paper, we geometrically represent every element of the… ▽ More The groups of link bordism can be identified with homotopy groups via the Pontryagin-Thom construction. B.J. Sanderson computed the bordism group of 3 component surface-links using the Hilton-Milnor Theorem, and later gave a geometric interpretation of the groups in terms of intersections of Seifert hypersurfaces and their framings. In this paper, we geometrically represent every element of the bordism group uniquely by a certain standard form of a surface-link, a generalization of a Hopf link. The standard forms give rise to an inverse of Sanderson's geometrically defined invariant. △ Less

Submitted 7 June, 2001; v1 submitted 14 August, 2000; originally announced August 2000.

Comments: Published by Algebraic and Geometric Topology at http://www.maths.warwick.ac.uk/agt/AGTVol1/agt-1-14.abs.html

MSC Class: 57Q45

Journal ref: Algebr. Geom. Topol. 1 (2001) 299-310

Braid presentation of virtual knots and welded knots

Authors: Seiichi Kamada

Abstract: The notion of a virtual knot introduced by L. Kauffman induces the notion of a virtual braid. It is closely related with a welded braid of R. Fenn, R. Rimanyi and C. Rourke. Alexander's and Markov's theorems for virtual knots and braids are proved. Similar results for welded knots and braids are also proved. The notion of a virtual knot introduced by L. Kauffman induces the notion of a virtual braid. It is closely related with a welded braid of R. Fenn, R. Rimanyi and C. Rourke. Alexander's and Markov's theorems for virtual knots and braids are proved. Similar results for welded knots and braids are also proved. △ Less

Submitted 14 August, 2000; originally announced August 2000.

Comments: 22 pages, 18 figures

MSC Class: 57M25

Triple Linking of Surfaces in 4-Space

Authors: J. Scott Carter, Seiichi Kamada, Masahico Saito, Shin Satoh

Abstract: Triple linking numbers were defined for 3-component oriented surface-links in 4-space using signed triple points on projections in 3-space. In this paper we give an algebraic formulation using intersections of homology classes (or cup products on cohomology groups). We prove that spherical links have trivial triple linking numbers and that triple linking numbers are link homology invariants. Triple linking numbers were defined for 3-component oriented surface-links in 4-space using signed triple points on projections in 3-space. In this paper we give an algebraic formulation using intersections of homology classes (or cup products on cohomology groups). We prove that spherical links have trivial triple linking numbers and that triple linking numbers are link homology invariants. △ Less

Submitted 24 July, 2000; originally announced July 2000.

Comments: 13 Pages; 3 Figures; epsf sty file included in TeX file

MSC Class: 57Q45

Shifting Homomorphisms in Quandle Cohomology and Skeins of Cocycle Knot Invariants

Authors: J. Scott Carter, Daniel Jelsovsky, Seiichi Kamada, Masahico Saito

Abstract: Homomorphisms on quandle cohomology groups that raise the dimensions by one are studied in relation to the cocycle state-sum invariants of knots and knotted surfaces. Skein relations are also studied. Homomorphisms on quandle cohomology groups that raise the dimensions by one are studied in relation to the cocycle state-sum invariants of knots and knotted surfaces. Skein relations are also studied. △ Less

Submitted 14 August, 2000; v1 submitted 22 June, 2000; originally announced June 2000.

Comments: 14 pages; 6 Figures. Minor corrections: The main application of one proposition remains true, but the proposition has been downgraded to a conjecture

MSC Class: 57M25; 57M45

Geometric Interpretations of Quandle Homology

Authors: J. Scott Carter, Seiichi Kamada, Masahico Saito

Abstract: Geometric representations of cycles in quandle homology theory are given in terms of colored knot diagrams. Abstract knot diagrams are generalized to diagrams with exceptional points which, when colored, correspond to degenerate cycles. Bounding chains are realized, and used to obtain equivalence moves for homologous cycles. The methods are applied to prove that boundary homomorphisms in a homol… ▽ More Geometric representations of cycles in quandle homology theory are given in terms of colored knot diagrams. Abstract knot diagrams are generalized to diagrams with exceptional points which, when colored, correspond to degenerate cycles. Bounding chains are realized, and used to obtain equivalence moves for homologous cycles. The methods are applied to prove that boundary homomorphisms in a homology exact sequence vanish. △ Less

Submitted 16 June, 2000; originally announced June 2000.

Comments: 27 Figures 35 pages

MSC Class: 55N22; 55N99; 57M25; 57Q45

Quandle Homology Groups, Their Betti Numbers, and Virtual Knots

Authors: J. Scott Carter, Daniel Jelsovsky, Seiichi Kamada, Masahico Saito

Abstract: Lower bounds of betti numbers for homology groups of racks and quandles will be given using the quotient homomorphism to the orbit quandles. Exact sequences relating various types of homology groups are analyzed. Geometric methods of proving non-triviality of cohomology groups are also given, using virtual knots. The results can be applied to knot theory as the first step towards evaluationg the… ▽ More Lower bounds of betti numbers for homology groups of racks and quandles will be given using the quotient homomorphism to the orbit quandles. Exact sequences relating various types of homology groups are analyzed. Geometric methods of proving non-triviality of cohomology groups are also given, using virtual knots. The results can be applied to knot theory as the first step towards evaluationg the state-sum invariants defined from quandle cohomology. △ Less

Submitted 27 September, 1999; originally announced September 1999.

Comments: 22 pages, about 6 figures (eps), latex

MSC Class: 57M25; 57T99