[Paper Review] (t,s)-racks and their link invariants

Jessica Ceniceros, Sam Nelson|arXiv (Cornell University)|Nov 24, 2010

Geometric and Algebraic Topology12 references3 citations

TL;DR

This paper introduces $(t,s)$-racks, a rack structure over the ring $\ddot{\Lambda} = \mathbb{Z}[t^{\pm 1}, s]/(s^2 - (1-t)s)$, and establishes necessary and sufficient conditions for isomorphism between such racks. It enhances the rack counting invariant using module structure, yielding stronger invariants that detect differences in link and knot orderings, including distinguishing links with identical classical invariants.

ABSTRACT

A (t,s)-rack is a rack structure defined on a module over the ring $\ddotΛ=\mathbb{Z}[t^{\pm 1},s]/(s^2-(1-t)s)$. We identify necessary and sufficient conditions for two $(t,s)$-racks to be isomorphic. We define enhancements of the rack counting invariant using the structure of (t,s)-racks and give some computations and examples. As an application, we use these enhanced invariants to obtain obstructions to knot ordering.

Motivation & Objective

• To define and study $(t,s)$-racks as rack structures over a specific quotient ring $\ddot{\Lambda}$, generalizing Alexander quandles.
• To establish necessary and sufficient conditions for isomorphism between $(t,s)$-racks, extending results from Alexander quandles and biquandles.
• To enhance the rack counting invariant using the module structure of $(t,s)$-racks, producing stronger invariants.
• To apply the enhanced invariants to detect obstructions in knot ordering, particularly via surjective quandle homomorphisms.

Proposed method

• Define $(t,s)$-racks as modules over the ring $\ddot{\Lambda} = \mathbb{Z}[t^{\pm 1}, s]/(s^2 - (1-t)s)$, with rack operations derived from module multiplication.
• Prove that two $(t,s)$-racks are isomorphic if and only if their associated ideals and kink maps are conjugate under the symmetric group on the rack elements.
• Construct an enhanced invariant $\Phi^{ts,s}_X$ by summing contributions from image subracks of homomorphisms into $X$, weighted by orbit counts.
• Use the enhanced invariant $\Phi^{ts,s}_X$ to define a partial order on knots via $K >_X K' \iff \Phi^{ts,s}_X(K) \succ \Phi^{ts,s}_X(K')$, where $\succ$ compares coefficient-wise dominance.
• Apply the invariant to distinguish links with identical rack counting invariants, such as $L4a1$ and $L6a5$, which have $\Phi^\mathbb{Z}_X = 16$ but different $\Phi^{ts,s}_X$ values.
• Leverage the module structure to relate the enhanced invariant to rack module enhancements and to extend results to virtual knots and knotted surfaces.

Experimental results

Research questions

• RQ1 What are the necessary and sufficient conditions for two $(t,s)$-racks to be isomorphic, and how do they generalize known results for Alexander quandles?
• RQ2 Can the enhanced rack counting invariant $\Phi^{ts,s}_X$ detect differences in link types when the classical counting invariant fails?
• RQ3 How do the enhanced invariants relate to knot ordering, and can they provide obstructions to the existence of surjective quandle homomorphisms between knot quandles?
• RQ4 What conditions on ideals in $\ddot{\Lambda}$ yield isomorphic $(t,s)$-racks, and how do these relate to extensions of Alexander quandles?
• RQ5 Can the enhanced invariants be extended to virtual knots or knotted surfaces in $\mathbb{R}^4$, and what invariants do they detect?

Key findings

• Two $(t,s)$-racks are isomorphic if and only if their kink maps are conjugate in the symmetric group $S_{|X|}$ and their associated ideals satisfy a specific algebraic condition involving the ring $\ddot{\Lambda}$.
• The enhanced invariant $\Phi^{ts,s}_X$ distinguishes links with identical classical rack counting invariants: for example, $L4a1$ and $L6a5$ have $\Phi^\mathbb{Z}_X = 16$ but distinct $\Phi^{ts,s}_X$ values of $4u + 4u^3$ and $8u + 8u^2 + 8u^5$, respectively.
• For the $(t,s)$-rack $X = \mathbb{Z}_4$ with $t=3$, $s=2$, the enhanced invariant $\Phi^{ts,s}_X$ is $2u^2$ for all knots, indicating that the enhancement detects only orbit structure in constant action racks.
• The enhanced invariant $\Phi^{ts,s}_X$ provides a method to obstruct knot ordering: if $\Phi^{ts,s}_X(K) \succ \Phi^{ts,s}_X(K')$, then no surjective quandle homomorphism exists from $Q(K)$ to $Q(K')$, implying $K >_X K'$ in the partial order.
• The invariant $\Phi^{ts,s}_X$ is related to rack module enhancements and specializes to the unenhanced counting invariant when restricted to subracks.
• The application to knot ordering shows that $4_1 <_X 3_1 <_X 8_{18}$ under the Alexander quandle $X = \ddot{\Lambda}_{12}/(t-11, s-2)$, demonstrating the invariant's utility in distinguishing knot types via order obstructions.