Biracks and biquandles

Short description: Special ordered sets

In mathematics, biquandles and biracks are sets with binary operations that generalize quandles and racks. In the theory of virtual knots, biquandles are analagous to quandles in the theory of classical knots. Biracks and racks have the same relation, while a biquandle is a birack which satisfies some additional conditions.

Definitions

A birack is a set $X$, two right-invertible operations $\underset{\_}{▹}$$,\overline{▹}$ and a bijection $\pi :X\to X$ such that for all $a,b,c\in X$,

1. $\pi (a\overline{▹}a)=a\underset{\_}{▹}a$ and $\pi (a)\overline{▹}a=a\underset{\_}{▹}\pi (a)$.

2. The map $H:X\times X\to X\times X$ defined by $H(a,b)=(b\overline{▹}a,a\underset{\_}{▹}b)$ is invertible.

3. The exchange laws

• $(a\underset{\_}{▹}b)\underset{\_}{▹}(c\underset{\_}{▹}b)=(a\underset{\_}{▹}c)\underset{\_}{▹}(b\overline{▹}c)$

• $(a\underset{\_}{▹}b)\overline{▹}(c\underset{\_}{▹}b)=(a\overline{▹}c)\underset{\_}{▹}(b\overline{▹}c)$
• $(a\overline{▹}b)\overline{▹}(c\overline{▹}b)=(a\overline{▹}c)\overline{▹}(b\underset{\_}{▹}c)$.

If $\pi =id$ is the identity map, $X$ is called a biquandle.

Biracks and biquandles were first introduced by Roger Fenn, Mercedes Jordan-Santana and Louis Kauffman in 2004.

Note that the three conditions above correspond directly to the three Reidemeister moves in knot therory, showing the close connections between knots and biracks.

Examples

Let $X$ be a set with two bijection $\sigma ,\tau :X\to X$ that commute. Then the constant action birack is defined by $a\underset{\_}{▹}b=\sigma (a)$ and $a\overline{▹}b=\tau (x)$ and $\pi (a)={\tau }^{-1}(\sigma (a))$.

Any rack $(X,▹)$ is a birack with $a\underset{\_}{▹}b=a▹b$ and $a\overline{▹}b=a$ for all $a,b\in X$. Note that if we insert these operations into the conditions in the definition above, we regain the exact definition of a rack.

Let $R$ be a commutative ring with identity and $X$ an $R[s^{\pm 1},t^{\pm 1}]$-module. Then the Alexander biquandle is defined as $a\underset{\_}{▹}b=ta+(s-t)b$ and $a\overline{▹}b=sa$. For $s=1$ this is a quandle.

Further reading

• Fenn, Roger; Jordan-Santana, Mercedes (2004). "Biquandles and Virtual Links". Topology and its Applications 145 (1–3): 157–175. doi:10.1016/j.topol.2004.06.008. 
• Fenn, Roger (1993). "An Introduction to Species and the Rack Space". Topics in Knot Theory. NATO ASI Series. 399. Springer. pp. 33–55. doi:10.1007/978-94-011-1695-4_4. 
• Kauffman, Louis H. (1999). "Virtual Knot Theory". European Journal of Combinatorics 20 (7): 663–690. doi:10.1006/eujc.1999.0314.