Multivariate Alexander colorings

Lorenzo Traldi

Published 2018-05-06Version 1

We extend the notion of link colorings with values in an Alexander quandle to link colorings with values in a module $M$ over the Laurent polynomial ring $\Lambda_{\mu}=\mathbb{Z}[t_1^{\pm1},\dots,t_{\mu}^{\pm1}]$. If $D$ is a diagram of a link $L$ then the colorings of $D$ with values in $M$ form a $\Lambda_{\mu}$-module $\mathrm{Color}_A(D,M)$. Extending a result of Inoue [Kodai Math.\ J.\ 33 (2010), 116-122], we show that $\mathrm{Color}_A(D,M)$ is isomorphic to the module of $\Lambda_{\mu}$-linear maps from the Alexander module of $L$ to $M$. In particular, suppose $M=F$ is a field, considered as a $\Lambda_{\mu}$-module via a ring homomorphism $\varphi:\Lambda_{\mu} \to F$. Then $\mathrm{Color}_A(D,M)$ is a vector space over $F$, and we show that its dimension is determined by the images under $\varphi$ of the elementary ideals of $L$. This result applies in the special case of Fox tricolorings, which correspond to $M=GF(3)$ and $\varphi(t_i) \equiv-1$. Examples show that even in this special case, the higher Alexander polynomials do not suffice to determine $|\mathrm{Color}_A(D,M)|$; this observation corrects erroneous statements of Inoue [J. Knot Theory Ramifications 10 (2001), 813-821; op. cit.].