Biracks and biquandles

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 ${\underline {\triangleright }}$ $,{\overline {\triangleright }}$ and a bijection $\pi \colon X\to X$ such that for all $a,b,c\in X$ ,

1. ${\textstyle \pi (a{\overline {\triangleright }}a)=a{\underline {\triangleright }}a}$ and $\pi (a){\overline {\triangleright }}a=a{\underline {\triangleright }}\pi (a)$ .

2. The map $H\colon X\times X\to X\times X$ defined by $H(a,b)=(b{\overline {\triangleright }}a,a{\underline {\triangleright }}b)$ is invertible.

3. The exchange laws

$(a{\underline {\triangleright }}b){\underline {\triangleright }}(c{\underline {\triangleright }}b)=(a{\underline {\triangleright }}c){\underline {\triangleright }}(b{\overline {\triangleright }}c)$

$(a{\underline {\triangleright }}b){\overline {\triangleright }}(c{\underline {\triangleright }}b)=(a{\overline {\triangleright }}c){\underline {\triangleright }}(b{\overline {\triangleright }}c)$
$(a{\overline {\triangleright }}b){\overline {\triangleright }}(c{\overline {\triangleright }}b)=(a{\overline {\triangleright }}c){\overline {\triangleright }}(b{\underline {\triangleright }}c)$ .

If ${\textstyle \pi =id}$ is the identity map, ${\textstyle X}$ is called a biquandle.^[1]

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

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

Examples

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

Any rack $(X,\triangleright )$ is a birack with $a{\underline {\triangleright }}b=a\triangleright b$ and $a{\overline {\triangleright }}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{\underline {\triangleright }}b=ta+(s-t)b$ and $a{\overline {\triangleright }}b=sa$ . For $s=1$ this is a quandle.

Linear biquandles

Application to virtual links and braids

Birack homology

References

^ Elhamdadi, Mohamed; Nelson, Sam (2015). Quandles: an introduction to the algebra of knots. Student mathematical library. Providence: American mathematical society. ISBN 978-1-4704-2213-4.
^ Fenn, Roger; Jordan-Santana, Mercedes; Kauffman, Louis (2004-11-28). "Biquandles and virtual links". Topology and its Applications. 145 (1): 157–175. doi:10.1016/j.topol.2004.06.008. ISSN 0166-8641.
^ Pflume, Runa (2024-04-10). Generalizations of Quandles to Multi-Linkoids (masterThesis thesis). doi:10.53846/goediss-10442.

KoduKe

Värsked postitused

Most Used Categories

Anekdoot: Püha Isa, ma pean teid trahvima

Sahara kõrbetorm jõudis Euroopasse: ka Eesti taevas värvus kummaliselt oranžiks

Paavli kultuurivabrikus algab muusika- ja eksperimentaalmeedia festival Dreamscape

Marie Kuusk: Sarneti “Hamlet” puudutab ja tuletab teatri tähtsust meelde

Kui kõik mehed on sead…

Mart ja Martin Helme kõnetuur meelitas ka Saaremaal saali täis

Anekoot: vanapagan äratatakse hommikul vara üles

VIDEO: Dubais sai tabamuse finantskeskus

Bussisuurune asteroid kihutas öösel Maast napilt mööda – see avastati alles eelmisel nädalal

Jüri Ratas: maksutõusud kahjustavad inimeste elujärge