[Paper Review] Biquandles for Virtual Knots

David Hrencecin, Louis H. Kauffman|ArXiv.org|Mar 8, 2007

Geometric and Algebraic Topology4 citations

TL;DR

This paper introduces a morphism-based approach to computing the biquandle invariant for virtual knots, using algebraic operations at classical and virtual crossings to derive biquandle relations. It proves the non-triviality of the Kishino knot via a quaternionic biquandle representation, demonstrating that biquandles are effective in distinguishing virtual knots despite not classifying mirror images due to invariance under AD inversion.

ABSTRACT

This paper studies an algebraic invariant of virtual knots called the biquandle. The biquandle generalizes the fundamental group and the quandle of virtual knots. The approach taken in this paper to the biquandle emphasizes understanding its structure in terms of compositions of morphisms, where elementary morphisms are associated to oriented classical and virtual crossings in the diagram.

Motivation & Objective

• To develop a systematic method for computing biquandle invariants of virtual knots using morphisms associated with crossings.
• To show that the biquandle is invariant under AD inversion, a diagram transformation that generalizes mirror image operations.
• To simplify biquandle descriptions for complex virtual knots, such as the Kishino knot, using algebraic composition techniques.
• To prove the non-triviality of the Kishino knot using a quaternionic biquandle representation over the ring ℤ₃.
• To demonstrate that biquandles do not classify virtual links up to mirror image, as the virtual Hopf link and its mirror have identical biquandle descriptions.

Proposed method

• The paper defines elementary morphisms for oriented classical and virtual crossings, using algebraic operations to represent strand transitions.
• It derives inversion formulas for crossing morphisms, enabling the manipulation of biquandle relations through algebraic composition.
• The method applies braid representations to compute biquandle invariants, showing that BQ(K) ≅ BQ(K↑) for the vertical mirror image K↑.
• A quaternionic biquandle representation is defined via specific rules for operations like a·b̄, a·b, a·b̄, and a·b̄, using quaternions with coefficients in ℤ₃.
• The biquandle relations are derived from the diagram’s crossing structure, leading to a simplified presentation with generators and relations.
• The method is applied to the Kishino knot, yielding a 3-generator, 3-relation biquandle description that is then evaluated via a non-trivial module over the group ring of the quaternion group modulo 3.

Experimental results

Research questions

• RQ1 Can a morphism-based framework simplify the computation of biquandle invariants for virtual knots?
• RQ2 Is the biquandle invariant preserved under AD inversion, a generalized mirror image operation in virtual knot theory?
• RQ3 Does the biquandle distinguish the Kishino knot from the unknot, and can this be shown via a non-trivial representation?
• RQ4 Why do the virtual Hopf link and its mirror image have identical biquandle descriptions, and what does this imply about biquandle classification power?
• RQ5 Can a quaternionic biquandle representation over ℤ₃ detect non-triviality in the Kishino knot?

Key findings

• The biquandle description of the Kishino knot simplifies to a 3-generator, 3-relation presentation, significantly reducing complexity compared to the original definition.
• The quaternionic biquandle representation over ℤ₃ yields a non-trivial module, with equations reducing to (1−2i−2k)b=0 and (−1+i+k)c=0, confirming non-triviality.
• The Kishino knot is proven non-trivial because the associated module is non-trivial, as shown by direct reduction modulo 3.
• The biquandle of the virtual Hopf link is identical to that of its mirror image, showing that biquandles do not classify virtual links up to mirror symmetry.
• The method demonstrates that BQ(K) ≅ BQ(K↑) for the vertical mirror image, confirming invariance under this operation.