2
$\begingroup$

I am currently reading this paper where the author classifies the pretzel links up to link homotopy using a quasi-trivial quandle $\mathbb{Z}_{k}[t^{\pm 1}]\diagup_{(t-1)^{2}}$, and I find it difficult to understand the proof of lemma 5.6. Can anyone help with this proof?

$\endgroup$
2
  • 1
    $\begingroup$ The first sentence follows from applying Corollary 5.2, and I don't know what more to add. You could contact corresponding author, he is quite friendly. $\endgroup$
    – Robin
    Jun 2, 2017 at 18:19
  • $\begingroup$ @Robin thanks. But I don't quite understand how. Can you provide more explanation? $\endgroup$
    – Suki
    Jun 5, 2017 at 11:40

1 Answer 1

2
$\begingroup$

Beginning with coloring the $k$th box using ${\mathbb{Z}_k[t^{\pm1}]}/_{(t-1)^2}$, we conclude that if the link is homotopically trivial, then $p_k$ divides all $p_i$'s.

It seems that there is a typo here: "${\mathbb{Z}_k[t^{\pm1}]}/_{(t-1)^2}$" should be "${\mathbb{Z}_{p_k}[t^{\pm1}]}/_{(t-1)^2}$". By Corollary 5.2, if we start by colouring the top $k$th box with colour $\begin{bmatrix}a\\b\end{bmatrix}$, the bottom colour will come out as $\begin{bmatrix}a\\b\end{bmatrix}$. Compare it with the colour of the box immediate to the right (it the $k$th box is rightmost, consider the first box). Both the top colour and the bottom colour start with $b$. To make sure that this is the case, using Corollary 5.2 we conclude that $p_{k+1}$ is a multiple of $p_k$. Continuing this argument to all boxes, we conclude that every $p_i$ is a multiple of $p_k$.

Thus if the $n$-Pretzel link $(p_1,p_2,\ldots,p_n)$ is homotopically trivial, then $|p_1|=\cdots=|p_n|$.

This is because for every pair $p_i,p_j$, $p_i$ divides $p_j$ and vice versa.

Now if $p_1 \neq 0$, We color the link by elements of ${\mathbb{Z}_k[t^{\pm1}]}/_{(t-1)^2}$ with $k=\max\{2,|p_1|-2\}$.

This is to make sure that the bottom colour of the first box is different from the top colour.

Let the top color vector be $(x_1, \cdots, x_n)$. Choosing $x_1=0$ and $x_2=x_3=1$ in the coloring of the $n$-pretzel link leads to a contradiction.

This contradiction is, the second element of the bottom colour of the 1st box is different from the first element of the bottom colour of the 2nd box. But they should be the same as they are in the same arc in the diagram.

Thus the number of colorings is less than $k^{2n}$ implying that the homotopy link is non-trivial.

If the homotopy link were trivial, every ordered pair $(x_1,\ldots,x_n)$ colours the link and the number of colouring should be $k^{2n}$. But now for this link, one of the colouring does not work and thus it is not homotopically trivial.

$\endgroup$
2
  • $\begingroup$ Thanks. One more question. I would like to know what the presentation matrix of a two strand braid coloured with an alexander quandle look like? I don't get how the matrix B from corollary 5.2 is associated with the boxes. $\endgroup$
    – Suki
    Jun 12, 2017 at 22:26
  • $\begingroup$ @Suki, every box is as is shown in the graph near the bottom of Page 4. Consider the first box as an example. If it has $2$ crossings and the top colour is $(x_1,x_2)^T$, the bottom colour satisfies $(y_1,y_2)^T=B(x_1,x_2)^T$. Similarly if it has $2n$ crossings, we have $(y_1,y_2)^T=B^n(x_1,x_2)^T$. $\endgroup$
    – Zuriel
    Jun 12, 2017 at 22:45

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.