Signature Modules and the Dihedral Conjugation-Quandle Counting Invariant

Abstract

We use reflection and rotation signatures of dihedral groups to develop a Smith normal form method for computing the conjugation quandle colorings across all dihedral groups. Let $L = L_1 \cup \cdots \cup L_\ell$ be a link with link components $L_1, \ldots, L_\ell$, and let $\operatorname{Conj}(D_n)$ be the conjugation quandle of the dihedral group $D_n$. We use the semidirect-product structure $D_n \cong \mathbb{Z}_n \rtimes \mathbb{Z}_2$ to separate the coloring into a component signature. This component signature tells us whether each link component is colored by rotations or reflections, and the exponents are assigned separately under modulus $n$. Once the component signature is determined, every crossing relation becomes an equation that determines an integer matrix $M_τ$. The abelian group $A_τ(L)$, which we call the signature module, is represented by an integer matrix $M_τ$. We prove that the free rank and nonunit Smith normal form entries, or equivalently the isomorphism class of $A_τ(L)$, are preserved under the Reidemeister moves. The complete family of signature modules also determines the entire family of counting invariants for all $D_n$. The all-reflection system is the same as the Fox-$n$ colorings, while the mixed rotation-reflection signatures contain information that gives a stronger invariant. We also show that each signature module is the $t_k = (-1)^{τ_k}$ specialization of the multivariable Alexander module, and extend the coloring interpretation of the module to generalized dihedral groups $\operatorname{Dih}(B)$ for every abelian group $B$.