[Paper Review] Rack Module Enhancements of Counting Invariants

Aaron Haas, Garret Heckel+3 more|Osaka City University (Osaka City University)|Jul 31, 2010

Algebraic structures and combinatorial models3 citations

TL;DR

This paper introduces a modified rack algebra for racks with finite rack rank, using representations into finite rings (rack modules) to define enhanced invariants of classical and virtual knots and links. The new invariants strictly strengthen the rack counting invariant and can distinguish knots with identical Jones and Alexander polynomials, as demonstrated by computations showing distinct values for the same polynomial invariants.

ABSTRACT

We introduce a modified rack algebra Z[X] for racks X with finite rack rank N. We use representations of Z[X] into rings, known as rack modules, to define enhancements of the rack counting invariant for classical and virtual knots and links. We provide computations and examples to show that the new invariants are strictly stronger than the unenhanced counting invariant and are not determined by the Jones or Alexander polynomials.

Motivation & Objective

• To develop a new enhancement of the rack counting invariant using rack modules over finite rings.
• To address the limitation of the standard rack counting invariant, which fails to distinguish certain knots with identical Jones and Alexander polynomials.
• To provide a computable framework for stronger invariants using finite rack modules and matrix representations.
• To demonstrate that the enhanced invariants are strictly stronger than the unenhanced counting invariant and not determined by classical polynomial invariants.

Proposed method

• Define a modified rack algebra $\mathbb{Z}[X]$ for racks $X$ with finite rack rank $N$, generalizing the quandle algebra construction.
• Construct rack modules as representations of $\mathbb{Z}[X]$ into finite rings, particularly $\mathbb{Z}_n$, using matrix structures encoding the action of rack operations.
• Use the rack module structure to define a new enhanced counting invariant $\Phi_{X,R}$, where $R$ is a finite rack module, by counting homomorphisms from the fundamental rack of a link to $R$.
• Represent the system of equations from rack labeling conditions as a matrix over $\mathbb{Z}_n$, then reduce it to compute the number of solutions (colorings).
• Apply the method to compute invariants for prime knots and links up to 8 crossings, using Python and C code for automation.
• Demonstrate the invariants' strength by comparing results with Jones and Alexander polynomials, showing non-determination.

Experimental results

Research questions

• RQ1 How does the rack module enhancement generalize when the base rack $X^\prime$ is a larger $(t,s)$-rack rather than a trivial one-element rack?
• RQ2 What other enhancements of the rack counting invariant $\Phi^\mathbb{Z}_X$ are possible using rack modules beyond the basic counting of homomorphisms?
• RQ3 How can the invariant $\Phi_{X,M}$ be further enhanced or generalized to capture more topological information?
• RQ4 What is the relationship between $\Phi_{X,M}$ and other classical knot invariants such as the Jones, Alexander, or HOMFLY polynomials?
• RQ5 How do rack modules extend to virtual knots and links, particularly in the presence of nontrivial actions at virtual crossings?

Key findings

• The rack module enhanced invariant $\Phi_{X,R}$ is strictly stronger than the unenhanced rack counting invariant $\Phi^\mathbb{Z}_X$, as shown by distinguishing knots with identical $\Phi^\mathbb{Z}_X$ values.
• For the knot $9_{24}$, the rack module invariant yields $2u^9$, while the Alexander polynomial gives $2u^{27}$, proving the new invariant is not determined by the Alexander polynomial.
• In Example 17, the invariant $\Phi_{X,M}$ distinguishes the square knot $SK$ and granny knot $GK$ from other knots, assigning $3u^5 + 12u^{25} + 12u^{125}$, which differs from all other knots in the sample.
• For the rack $X$ with matrix $\begin{smallmatrix}2&2&2\\1&1&1\\3&3&3\end{smallmatrix}$, the invariant $\Phi_{X,M}$ gives $4u^5$ for all prime knots with up to 8 crossings, showing consistent behavior across a broad class.
• The invariant distinguishes the unlink $U_3$ from other links, assigning $27u^{25}$, while $U_2$ receives $9u^{25}$, indicating sensitivity to link components.
• The method successfully computes invariants for all prime knots with up to 8 crossings and selected links, with results available via public code at www.esotericka.org.