MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

When we think of quantum invariants, we usually think of the Jones polynomial or of the coloured HOMFLYPT. But (arguably) the simplest example of a quantum invariant of a knot or link is its Alexander polynomial. From the beginning, the central problem in the study of quantum invariants has been what do they mean topologically? The Alexander polynomial has clear algebraic topological meaning as the order of the Alexander module (first homology of the infinite cyclic cover as a module over the group of deck transformations). Can people conceptually explain (in terms of both physics and mathematics) why the representation theory of certain small quantum groups naturally gives rise to this quantity? Computationally I can understand it, but not conceptually.
A somewhat related question was already asked here.
Update: I posted on this question here and here. See also this question.

share|cite|improve this question
This is a very good question! – José Figueroa-O'Farrill Dec 27 '09 at 2:07
What does it mean for something to be a "quantum" knot invariant? – Kevin H. Lin Dec 27 '09 at 2:27
I interpret this as saying that it arises from Chern-Simons theory on some suitable Lie (super)group. Hence the question, the way I interpret it, is whether one can reconcile the original topological definition of the Alexander-Conway invariant with the Chern-Simons point of view and, in particular, explain why one takes the group that one does. – José Figueroa-O'Farrill Dec 27 '09 at 8:06
A quantum invariant is an operator invariant of a link which comes from a representation of a ribbon Hopf algebra such as a quantum group. You first slice a diagram of your link into basic tangles. Then you assign certain elements in the image of the representation to each basic tangle, and compose in a certain way. The most important of these is the R-matrix, which gets assigned to a crossing, An equivalent definition comes from Chern-Simons theory. The R-matrix for the Alexander polynomial comes classically from the Burau representation. – Daniel Moskovich Dec 27 '09 at 10:22

This is far from being a full answer, but I think the key is 'how do you see the skein relation from the classical definition?'. Once you know the skein relation, it's easy to show it's a quantum invariant, and the skein relation was discovered in the 1960's, long before anyone knew about quantum groups.

share|cite|improve this answer
That is certainly one "proof". The skein relation is actually at the end of Alexander's original 1923 paper, although nobody thought of it that way at the time. You can calculate the R-matrix from the Burau representation (or from the Dehn presentation of the knot group as Alexander did), and then reproduce the same matrix from a representation of U_q(U(1|1)) or something. But that gives no conceptual insight into why the Alexander polynomial is a quantum invariant- why is it more than a lucky coincidence? Why that specific quantum group? – Daniel Moskovich Dec 27 '09 at 14:36
In a different direction, I offer the Brandt-Lickorish-Millet-Ho Q-polynomial as an example of an invariant which is defined via a Skein relation but is not a quantum invariant (and is conjectured to contain no quantum invariant which is not a polynomial in the Casson invariant). – Daniel Moskovich Feb 2 '10 at 9:13

Cimasoni and Turaev have a very natural generalization of the Alexander module that's hovering around your concerns.

I found out about this paper for completely different reasons -- Paolo Salvatore pointed it out when we were trying to come up with an argument that the group completion of the monoid of string links can't be abelian.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

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