22
$\begingroup$

Even with the connection to quantum groups being made clearer (I believe it was not known when the Jones polynomial was first introduced), it seems to me that still we don't have the "right" definition of the Jones polynomial. It is certainly true though that we know a lot of different definitions, some more useful than others. I'm thinking of:

  1. Kauffman bracket (i.e. the skein relation). This defines the Jones polynomial by giving a straightforward algorithm to compute it, but leaves any other significance a mystery.

  2. Quantum groups. Take $U_q(\mathfrak s\mathfrak l_2)$, and observe via universal $R$-matrices that "its category of representations is a braided monoidal tensor category", so that in particular, $\overbrace{V\otimes\cdots\otimes V}^{n\text{ times}}$ gives a representation of $B_n$, for any given representation $V$ of $U_q(\mathfrak s\mathfrak l_2)$. The Jones polynomial is easily derived from this representation of $B_n$.

  3. KZ equations (closely related to (2)). Let $X_n$ be the configuration space of $n$ points $(z_1,\ldots,z_n)$ in $\mathbb C$. Now write down the one-form $A=\hbar\cdot\sum_{i<j}\Omega_{ij}d\log(z_i-z_j)$ (taking values in $U(\mathfrak s\mathfrak l_2)^{\otimes n}$), and observe that this gives a flat connection on a trivial bundle of $V^{\otimes n}$ over $X_n$, for a representation $V$ of $\mathfrak s\mathfrak l_2$. The monodromy of this connection gives a representation of $\pi_1(X_n)=B_n$ on $V^{\otimes n}$.

Methods (2) & (3) (especially method 3) are natural constructions for representations of $B_n$.

Question: Are there any other constructions of the Jones polynomial that are not trivially (interpret as you wish) equivalent to the ones above?

I am particularly interested in ones which seem natural for the case of knots in $\mathbb R^3$ (note that (2) and (3) seem natural ways to get representations of $B_n$, but, at least to me, it seems that the extension to knots is sort of ad-hoc). I feel like there are a number of "moral" approaches which "should" give the Jones polynomial, but have yet to be made rigoruous, and I'd be interested to know how close they are to being so:

A) [warning: this is kind of sketchy] Start with $M_K=\operatorname{Hom}(\pi_1(\mathbb S^3-K),G)/\\!/G$ (where $G=\operatorname{SL}(2)$) and consider this as a left-module over $R=\operatorname{Hom}(\pi_1(\text{torus}),G)/\\!/G$. Make a noncommutative deformation $R^q$ of $R$ to get the Kauffman bracket skein module of the torus, and observe that $M_T^q$, the Kauffman bracket skein module of the solid torus $D^2\times S^1$ is a right-module over $R^q$. Since the Kauffman bracket skein module of $\mathbb S^3$ is $\mathbb C$, this means $M_K^q\otimes_{R^q}M_T^q=\mathbb C$. Then take $1\in M_K^q$ and some canonical elements (Jones-Wenzl idempotents) in $M_T^q$ and take their tensor in $M_K^q\otimes_{R^q}M_T^q=\mathbb C$. This should give the colored Jones polynomial of the knot. The problem with this is that we don't know how to define the deformed left-module structure on $M_K$ to get $M_K^q$.

B) Take an ideal triangulation of the knot complement. Apply some black magic "TQFT with corners" (perhaps just some explicit formulae) and get back the Jones polynomial of the knot. I thought that Dylan Thurston was working on this at one point (in relation to the volume conjecture), but that was a while ago, and as far as I know, there is still no definition of the Jones polynomial from an ideal triangulation of the complement (I'm thinking something along the lines of Turaev-Viro invariants of $3$-manifolds). (Please correct me if I'm wrong)

(Certainly my question could be stated in a more general setting for general quantum knot invariants.)

$\endgroup$
10
  • 1
    $\begingroup$ Would you count "Euler characteristic of Khovanov homology" as trivially equivalent to 1)? $\endgroup$ Jun 13, 2011 at 23:41
  • 2
    $\begingroup$ Also, the extension from the braid groups to knots is not ad hoc, at least not in method 2), which gives you a functor from the entire tangle category, which naturally includes both the braid groups and knots. $\endgroup$ Jun 13, 2011 at 23:44
  • 2
    $\begingroup$ Witten has a new approach, defining the Jones polynomial coefficient of $q^n$ as the number of solutions to certain elliptic equations in 4 dimensions with boundary conditions depending on the knot with instanton number $n$. front.math.ucdavis.edu/1101.3216 $\endgroup$
    – Ian Agol
    Jun 14, 2011 at 3:40
  • 4
    $\begingroup$ I don't know enough to know whether you would count this as a genuinely different definition, but anyway I think Tutte deserves more publicity than he tends to get for his polynomial, which predates the Jones polynomial by many years. Given a knot, one can convert it into a graph and the Tutte polynomial of that graph restricts to the Jones polynomial: en.wikipedia.org/wiki/Tutte_polynomial, omup.jp/modules/papers/knot/chap01.pdf $\endgroup$
    – gowers
    Jun 14, 2011 at 16:22
  • 2
    $\begingroup$ Not particularly helpful, but the loop group approach probably qualifies as nontrivially distinct. (3) is really more associated with that than with (2). Clearly from the right perspective this approach should be equivalent to the quantum groups approach (well clearly from the right perspective ALL approaches should be equivalent!) but I don't know that that has genuinely been worked out completely. $\endgroup$ Oct 8, 2011 at 15:20

3 Answers 3

14
$\begingroup$

In Witten's famous paper "Quantum Field Theory and the Jones Polynomial", Link, he shows that the Jones polynomial can be defined using Chern-Simons theory. This definition has the advantage of being directly defined from a knot, rather than having to pick a braid first (which I agree is an important distinction).

$\endgroup$
4
  • $\begingroup$ On the other hand, that definition has the disadvantage of not being obviously a polynomial. $\endgroup$ Jun 14, 2011 at 1:46
  • $\begingroup$ On the other other hand, that definition is utilized to considerable effect in the theory of quantum computation. $\endgroup$ Jun 14, 2011 at 5:18
  • 2
    $\begingroup$ I thought that the path integral in Witten's paper still not a rigorous mathematical object. The only way to "calculate" it is to do some cut and paste decomposition and use the flat connection of Axelrod, Della Pietra, Witten projecteuclid.org/euclid.jdg/1214446565. Until the path integral is made rigorous, it seems to me that the advantage of being directly defined from the knot is kind of fake. $\endgroup$ Jun 14, 2011 at 13:12
  • $\begingroup$ and I should also credit Hitchin with independently defining the connection. $\endgroup$ Jun 14, 2011 at 13:50
8
$\begingroup$

Concerning point B, you can calculate the value of the Jones polynomial at the roots of unity by taking a spine of the knot complement and a kind of "projection" of the knot on the spine, as shown by Turaev.

More generally, the quantum invariants of a pair $(M^3, Y)$ where $M^3$ is a closed 3-manifold and $Y\subset M^3$ is a ribbon 3-valent graph (for instance, a framed link) which is admissibly coloured can be calculated by taking a shadow $X$ of the pair $(M^3, Y)$. As defined by Turaev in his book, a shadow is a two-dimensional simple polyhedron with boundary equal to $Y$, whose thickening is a 4-manifold whose boundary is the pair $(M^3, Y)$. It is a nice geometric object for defining and computing quantum invariants.

The quantum invariants are calculated as a sum over all admissible extensions of the admissible colouring from $Y$ to the whole shadow $X$. In most cases the number of such extensions is infinite and in order for this state-sum to become finite you need to fix a root of unity.

It turns out however that if $X$ is contractible (or more generally collapses onto a 1-dimensional polyhedron) the number of admissible extensions is finite, and the resulting quantum invariant is then a rational function. One may always choose a contractible shadow $X$ when $M$ is the 3-sphere.

As for Witten's approach, the fact that the resulting rational function is a Laurent polynomial for links in the 3-sphere is mysterious from this point of view.

$\endgroup$
4
$\begingroup$

Bigelow (after Lawrence) gave a homological definition of the Jones polynomial in terms of a plat representation. Lawrence identified the Jones representations as representations associated to braid groups acting on configurations spaces of points, so maybe doesn't give a new definition but a new interpretation.

Another variant of the Kauffman approach follows the realization of Thistlethwaite that the Jones polynomial is a specialization of the Tutte polynomial of a graph associated to the link projection for alternating links. This was generalized to show that knots have an alternating projection onto a "Turaev surface" with corresponding graph, so that the Bollobas-Riordian polynomial of this graph specializes to the Jones polynomial. Again, this is not really a new definition since it boils down to a sum over states.

Ekholm and Shende gave an interpretation of the coefficients of the HOMFLYPT polynomial in terms of counts of certain holomorphic curves with boundary, in particular this specializes to the coefficients of the Jones polynomial.

$\endgroup$

Your Answer

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