[Paper Review] A $G$-family of quandles and handlebody-knots

Atsushi Ishii, Masahide Iwakiri+2 more|arXiv (Cornell University)|May 9, 2012

Geometric and Algebraic Topology18 references3 citations

TL;DR

This paper introduces a $G$-family of quandles—a group-structured algebraic system derived from handlebody-knot theory—to construct a non-abelian quandle cocycle invariant for handlebody-knots. The invariant detects chirality in previously unknown cases, including $5_3$, $6_5$, $6_{11}$, and $6_{12}$, and distinguishes $6_{14}$ and $6_{15}$, which have isomorphic complements. It generalizes prior invariants and provides a unified framework for handling multiple quandles via group actions.

ABSTRACT

We introduce the notion of a $G$-family of quandles which is an algebraic system whose axioms are motivated by handlebody-knot theory, and use it to construct invariants for handlebody-knots. Our invariant can detect the chiralities of some handlebody-knots including unknown ones.

Motivation & Objective

• To develop a new algebraic framework—$G$-families of quandles—motivated by handlebody-knot theory and local moves in trivalent graph diagrams.
• To construct a quandle cocycle invariant for handlebody-knots that can detect chirality, especially in cases where previous invariants fail.
• To generalize existing quandle cocycle invariants by introducing a non-abelian framework that unifies multiple quandles under a group action.
• To provide a homology theory for $G$-families of quandles that enables efficient computation of cocycles and invariants.

Proposed method

• Define a $G$-family of quandles as a set $X$ with binary operations $*^g$ for each $g \in G$, satisfying axioms derived from handlebody-knot local moves.
• Construct the associated quandle $X \times G$ with operation $(x,g)*(y,h) = (x*^h y, h^{-1}gh)$, which supports colorings of handlebody-knot diagrams.
• Define a homology theory for $G$-families of quandles using chain complexes generated by tuples with group-weighted operations.
• Use cocycles of the $G$-family to assign weights to colorings, forming a quandle cocycle invariant $\Phi_{\theta}^{\text{hom}}(H)$ for handlebody-knots $H$.
• Leverage group invariance to induce cocycles from $G$-invariant group cocycles, as shown in Nosaka's work.
• Prove that the new invariant generalizes the abelian invariant $\Phi_{\theta}^{\text{I}}(H)$ from [7] via an isomorphism between homology groups.

Experimental results

Research questions

• RQ1 Can a $G$-family of quandles be constructed such that its axioms reflect the local moves in handlebody-knot diagrams?
• RQ2 Does the resulting quandle cocycle invariant detect chirality in handlebody-knots where previous invariants fail?
• RQ3 Can the new invariant distinguish handlebody-knots with isomorphic complements, such as $6_{14}$ and $6_{15}$?
• RQ4 Is the new invariant a generalization of the abelian quandle cocycle invariant defined in [7]?
• RQ5 Can the associated quandle of a $G$-family of quandles support consistent colorings and cocycle weight assignments for handlebody-knot invariants?

Key findings

• The $G$-family of quandles construction provides a unified framework to handle multiple quandles simultaneously via group actions.
• The quandle cocycle invariant detects the chirality of $5_3$, $6_5$, $6_{11}$, and $6_{12}$, which were previously unknown to be chiral.
• The invariant distinguishes $6_{14}$ and $6_{15}$, despite their complements having isomorphic fundamental groups.
• The associated quandle $X \times G$ supports consistent colorings and enables the definition of a non-abelian cocycle invariant.
• The new invariant generalizes the abelian invariant $\Phi_{\theta}^{\text{I}}(H)$ from [7], as shown by an isomorphism between the homology groups of the two chain complexes.
• The method efficiently computes invariants by leveraging $G$-invariant group cocycles to induce cocycles in the $G$-family, reducing computational overhead.