# The Unapologetic Mathematician

## The Fundamental Involutory Quandle

As I discussed last time, coloring a knot with any abelian group is secretly using the dihedral quandle associated to that group. This is an involutory quandle with action $a\triangleright b=2a-b$. The reason knot coloring works out so nicely is that the axioms of (involutory) quandles line up with the Reidemeister moves.

But for the moment we’re stuck with picking this or that involutory quandle and counting how many colorings it gives for a given knot. Different quandles give different coloring numbers, and we’d like to find a better way of thinking of them all at once. We’re going to construct a new involutory quandle from a knot that captures all of them.

Take any diagram of the knot we’re interested in. Remember the knot table if you want to pick one out. Now each arc in the diagram has to get some color, no matter what quandle we’re using to color it. Instead of picking a color from a specific quandle, let’s just slap a label like $x$, $y$, or $z$ on each arc. Be sure to use a different label for each different arc.

Now those labels will generate an involutory quandle. We can throw them together with the two quandle compositions to get “words” like $x\triangleright((y\triangleright z)\triangleright z)$. These words, of course, are subject to the normal quandle equivalences, but we need more relations for our purposes. At each crossing the values in a coloring have to satisfy a certain relation, so we’re going to build that right into our quandle. If the arcs labeled $x$ and $z$ meet under the crossing arc labeled $y$, then we must have $z=y\triangleright x$.

This seems to depend on the choice of a diagram, though. Well, it sort of does, but any Reidemeister move gives an isomorphism of quandles relating the two sides. For example, performing the first one splits an arc into two pieces. Say label $x$ becomes $x_1$ and $x_2$. Then the relations we introduce say that $x_1\triangleright x_1=x_2$. But the axioms of quandles say that $x_1\triangleright x_1=x_1$, so $x_1=x_2$ and we can just drop one of these generators and the relation we’ve now “used up”. Try to find the isomorphisms for the other two moves. This justifies calling the quandle we’ve constructed (up to isomorphism) “the” fundamental involutory quandle $Q(K)$ of the knot $K$.

So what’s a coloring? A coloring assigns an element of some quandle to each arc of the knot diagram. But arcs in the diagram are just generators of the fundamental quandle. That is, a coloring is a function that takes generators of the fundamental quandle to a selected target quandle. If it plays nicely with the relations between the generators, it will be a quandle homomorphism. In fact it does, precisely because we picked the relations between the generators to be exactly those required by colorings. A given relation comes from a crossing, and every coloring of a knot obeys the same restrictions at crosings.

In the end we’ve found that the set of all colorings of $K$ by an involutory quandle $Q$ is the set of quandle homomorphisms $\hom_{\mathbf{Quan}}(Q(K),Q)$, so the number of $Q$-colorings is the cardinality of this set. If we have a good understanding of quandles and their homomorphisms, we can read off coloring numbers by involutory quandles from the fundamental involutory quandle.

### Like this:

Posted by John Armstrong | Knot theory, Quandles

## 1 Comment	»

1. “The Involutory Quandle” would be a seriously good name for a blog.

Comment by | May 19, 2007 | Reply

« Previous | Next »

## About this weblog

This is mainly an expository blath, with occasional high-level excursions, humorous observations, rants, and musings. The main-line exposition should be accessible to the “Generally Interested Lay Audience”, as long as you trace the links back towards the basics. Check the sidebar for specific topics (under “Categories”).

I’m in the process of tweaking some aspects of the site to make it easier to refer back to older topics, so try to make the best of it for now.
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 21, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.899776816368103, "perplexity_flag": "head"}