Enveloping monoidal quandles

A quandle is a set with a self-distributive binary operation satisfying a certain condition. Here we construct a monoid (a semi-group with the identity) associated with a quandle. This monoid has a structure of a quandle, which contains the original quandle as a sub-quandle. We call it the enveloping monoidal quandle. The purpose of this paper is to introduce the notion of the enveloping monoidal quandle, and to investigate it.     

On homotopy groups of quandle spaces and the quandle homotopy invariant of links

For a quandle X, the quandle space BX is defined, modifying the rack space of Fenn, Rourke and Sanderson (1995) [13], and the quandle homotopy invariant of links is defined in Z[π₂(BX)], modifying the rack homotopy invariant of Fenn, Rourke and Sanderson (1995) [13]. It is known that the cocycle invariants introduced in Carter et al. (2005) [3], Carter et al. (2003) [5], Carter et al. (2001) [6] can be derived from the quandle homotopy invariant.In this paper, we show that, for a finite quandle X, π₂(BX) is finitely generated, and that, for a connected finite quandle X, π₂(BX) is finite. It follows that the space spanned by cocycle invariants for a finite quandle is finitely generated. Further, we calculate π₂(BX) for some concrete quandles. From the calculation, all cocycle invariants for those quandles are concretely presented. Moreover, we show formulas of the quandle homotopy invariant for connected sum of knots and for the mirror image of links.     

General constructions of biquandles and their symmetries

Biquandles are algebraic objects with two binary operations whose axioms encode the generalized Reidemeister moves for virtual knots and links. These objects also provide set theoretic solutions of the well-known Yang-Baxter equation. The first half of this paper proposes some natural constructions of biquandles from groups and from their simpler counterparts, namely, quandles. We completely determine all words in the free group on two generators that give rise to (bi)quandle structures on all groups. We give some novel constructions of biquandles on unions and products of quandles, including what we refer as the holomorph biquandle of a quandle. These constructions give a wealth of solutions of the Yang-Baxter equation. We also show that for nice quandle coverings a biquandle structure on the base can be lifted to a biquandle structure on the covering. In the second half of the paper, we determine automorphism groups of these biquandles in terms of associated quandles showing elegant relationships between the symmetries of the underlying structures.     

Quandle homology and complex volume

We introduce a new homology theory of quandles, called simplicial quandle homology, which is quite different from quandle homology developed by Carter et al. We construct a homomorphism from a quandle homology group to a simplicial quandle homology group. As an application, we obtain a method for computing the complex volume of a hyperbolic link only from its diagram.     

Quandles derived from dynamical systems and subsets which are closed under quandle operations

A quandle is a set with a binary operation satisfying certain conditions related to Reidemeister moves in knot theory. First we give an example of a quandle with subsets which are not subquandles but closed under the quandle operation. We introduce a method to produce a quandle from an invertible dynamical system. Our example is generalized to such dynamical quandles.     

Quandle homotopy invariants of knotted surfaces

Given a finite quandle, we introduce a quandle homotopy invariant of knotted surfaces in the 4-sphere, modifying that of classical links. This invariant is valued in the third homotopy group of the quandle space, and is universal among the (generalized) quandle cocycle invariants. We compute the second and third homotopy groups, with respect to “regular Alexander quandles”. As a corollary, any quandle cocycle invariant using the dihedral quandle of prime order is a scalar multiple of Mochizuki 3-cocycle invariant. As another result, we determine the third quandle homology group of the dihedral quandle of odd order.     

Inequivalent surface-knots with the same knot quandle

We have a knot quandle and a fundamental class as invariants for a surface-knot. These invariants can be defined for a classical knot in a similar way, and it is known that the pair of them is a complete invariant for classical knots. In surface-knot theory the situation is different: There exist arbitrarily many inequivalent surface-knots of genus g with the same knot quandle, and there exist two inequivalent surface-knots of genus g with the same knot quandle and with the same fundamental class.     

The Homology of Free Racks and Quandles

We prove that rack (resp. quandle) homology of the free rack (resp. free quandle) is trivial.     

Three geometric applications of quandle homology

In this paper we describe three geometric applications of quandle homology. We show that it gives obstructions to tangle embeddings, provides the lower bound for the 4-move distance between links, and can be used in determining periodicity of links.     

Construction of Right Universal Multiplication Groups of Right Quasigroups

The right universal multiplication group of a quandle in the variety of all quandles is constructable from the right Cayley graph of that quandle.AMS Subject Classification (2000), 20N     

On rack cohomology

We prove that the lower bounds for Betti numbers of the rack, quandle and degeneracy cohomology given in Carter et al. (J. Pure Appl. Algebra, 157 (2001) 135) are in fact equalities. We compute as well the Betti numbers of the twisted cohomology introduced in Carter et al. (Twisted quandle cohomology theory and cocycle knot invariants, math. GT/0108051). We also give a group-theoretical interpretation of the second cohomology group for racks.     

Topology of Hom complexes and test graphs for bounding chromatic number

The Hom complex of homomorphisms between two graphs was originally introduced to provide topological lower bounds on the chromatic number. In this paper we introduce new methods for understanding the topology of Hom complexes, mostly in the context of Γ-actions on graphs and posets (for some group Γ). We view the Hom(T, ⊙) and Hom(⊙, G) complexes as functors from graphs to posets, and introduce a functor (⊙)¹ from posets to graphs obtained by taking atoms as vertices. Our main structural results establish useful interpretations of the equivariant homotopy type of Hom complexes in terms of spaces of equivariant poset maps and Γ-twisted products of spaces. When P:= F(X) is the face poset of a simplicial complex X, this provides a useful way to control the topology of Hom complexes. These constructions generalize those of the second author from [17] as well as the calculation of the homotopy groups of Hom complexes from [8].     

Quandle and hyperbolic volume

We show that hyperbolic volume can be viewed as a quandle cocycle. It gives us a criterion for determining invertibility and positive/negative amphicheirality of hyperbolic knots.     

Triple point cancelling numbers of surface links and quandle cocycle invariants

The unknotting or triple point cancelling number of a surface link F is the least number of 1-handles for F such that the 2-knot obtained from F by surgery along them is unknotted or pseudo-ribbon, respectively. These numbers have been often studied by knot groups and Alexander invariants. On the other hand, quandle colorings and quandle cocycle invariants of surface links were introduced and applied to other aspects, including non-invertibility and triple point numbers. In this paper, we give lower bounds of the unknotting or triple point cancelling numbers of surface links by using quandle colorings and quandle cocycle invariants.     

Basic study of ℜ-semigroups and their homomorphisms

In this paper we study ?-semigroups from the standpoint of their homomorphisms into the semigroup IR of positive real numbers under addition. Every ?⁺-semigroup S is isomorphic with a subdirect product of a structure group G and a semigroup of positive real numbers. It is determined by G and a positive real valued function cp on G. We also study the semigroup Hom(S,T) of homomorphisms of an ?-semigroup S into another ?-semigroup T. Each element of Hom(S,T) can be described in terms of an element of Hom(S,IR₊) and an element of Hom(S,H) where H is a structure group of T.     

Distributive Products and Their Homology

We develop a theory of sets with distributive products (called shelves and multi-shelves) and of their homology. We relate the shelf homology to the rack and quandle homology.     

Knot theory for self-indexed graphs

We introduce and study so-called self-indexed graphs. These are (oriented) finite graphs endowed with a map from the set of edges to the set of vertices. Such graphs naturally arise from classical knot and link diagrams. In fact, the graphs resulting from link diagrams have an additional structure, an integral flow. We call a self-indexed graph with integral flow a comte. The analogy with links allows us to define transformations of comtes generalizing the Reidemeister moves on link diagrams. We show that many invariants of links can be generalized to comtes, most notably the linking number, the Alexander polynomials, the link group, etc. We also discuss finite type invariants and quandle cocycle invariants of comtes.

     

The FRT-type Theorem for the Hom–Long Equation

In this article, we introduce the concepts of Hom–Long equation and Hom–Long dimodule. We discuss how Hom–Long dimodules are connected to the Hom–Long equation. As the main result, we study the FRT-type theorem for the Hom–Long equation.     

A generalization of Lie <Emphasis Type="Italic">H</Emphasis>-pseudobialgebras

We investigate Hom–Lie H-pseudobialgebras. We present some examples and a theorem that allows constructing these new algebraic structures. We consider coboundary Hom–Lie H-pseudobialgebras and the corresponding classical Hom–Yang–Baxter equations.