How to motivate the skein relations? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-25T09:16:09Z http://mathoverflow.net/feeds/question/20391 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/20391/how-to-motivate-the-skein-relations How to motivate the skein relations? Hailong Dao 2010-04-05T17:29:50Z 2013-04-02T21:32:21Z <p>I am teaching an advanced undergraduate class on topology. We are doing introductory knot theory at the moment. One of my students asked how do we know to use this <a href="http://en.wikipedia.org/wiki/Skein_relation" rel="nofollow">skein relation</a> to compute all these wonderful polynomial invariants of knots. </p> <p>I was not trained as a knot theorist, so I was at loss. Intuitively it does not seem to be that powerful, because it is not clear (to me at least) that you can always pick a recursive relation involving simpler knots. Could somebody help me motivating my students here? In other words,</p> <p><strong>Why are the skein relations so useful for computing polynomial invariants of knots, and when did people realize that is the case?</strong> </p> <p>Thanks. </p> http://mathoverflow.net/questions/20391/how-to-motivate-the-skein-relations/20401#20401 Answer by Ryan Budney for How to motivate the skein relations? Ryan Budney 2010-04-05T18:19:08Z 2010-04-05T18:19:08Z <p>Regarding "when", it was Alexander, in his paper on what we call the Alexander polynomial. Conway was the first to popularize them, I believe. </p> <p>Why are they useful? I'm not sure I believe they are so useful. Sometimes I'm interested in computing Alexander invariants but the knots and links that I'm looking at do not have easy-to-compute diagrams associated to them. Say you have a homology 3-sphere and you apply the JSJ-decomposition to it. This produces some knots and links in homology spheres but working out diagrams can be a pain. So sometimes it's far easier to use the covering space definition to get at the Alexander polynomials. Moreover, Skein relations don't give you the Alexander module and how Poincare duality works on the module, or naturality (when you have maps between 3-manifolds), etc. </p> http://mathoverflow.net/questions/20391/how-to-motivate-the-skein-relations/20405#20405 Answer by some guy on the street for How to motivate the skein relations? some guy on the street 2010-04-05T18:31:50Z 2010-04-05T18:31:50Z <p>Why they are useful is related to one reason Polynomial invariants are useful themselves: they let you prove theorems, when they acutally do let you prove theorems. In particular, if you have a gadget determined by a link-diagram, AND you know that it satisfies a skein relation, THEN that information <em>may</em> be enough to prove that your gadget is isotopy-invariant, because if you're lucky, you can relate the Reidemeister moves to a very few skein-relation applications. Of course, this may not always be the case, but it's handy when it is.</p> http://mathoverflow.net/questions/20391/how-to-motivate-the-skein-relations/20407#20407 Answer by Scott Carter for How to motivate the skein relations? Scott Carter 2010-04-05T18:46:48Z 2010-04-05T18:46:48Z <p>In the case of the Jones Polynomial, the R matrix that comes from the bracket relation really <em>is</em> a matrix. Consequently, it satisfies a polynomial equation. That polynomial equation can be thought of as a skein relation. This approach was described in a paper by Turaev --- I think in Inventiones.</p> http://mathoverflow.net/questions/20391/how-to-motivate-the-skein-relations/20425#20425 Answer by Sam Nead for How to motivate the skein relations? Sam Nead 2010-04-05T22:00:10Z 2010-04-05T22:00:10Z <p>NB: I am not an expert in Heegaard Floer homology. See this article of Peter Ozsvath for a <a href="http://www.math.columbia.edu/~petero/Introduction.pdf" rel="nofollow">survey</a>.</p> <p>The skein relation is the "Euler characteristic" of the exact triangle for Heegaard Floer homology. That is: Heegaard Floer homology is a bigraded theory. Let $r_{i,j}$ be the rank of the $ij$th group. Then the Alexander polynomial is the sum $\sum (-1)^j r_{i,j} T^i$. </p> <p>Now, the Heegaard Floer homology groups satisfy an exact triangle. That is, if $Y_0$, $Y_1$, $Y_\infty$ are the $0, 1, \infty$ surgeries on a three-manifold along a fixed knot then the resulting HF groups fit into a long exact sequence (with a degree shift that I don't understand). Taking the Euler characteristic of everything in sight and applying the above paragraph gives the skein relation...</p> <p>For more details we'll have to ask an expert. In particular, why do exact triangles show up in Floer-type homology theories? And how did Floer discover/invent them? (This is probably an easier question than asking how Alexander discovered/invented the skein relation?!) </p> http://mathoverflow.net/questions/20391/how-to-motivate-the-skein-relations/20432#20432 Answer by Charlie Frohman for How to motivate the skein relations? Charlie Frohman 2010-04-05T22:44:59Z 2010-04-06T13:57:47Z <p>Alexander realized they were useful, then Conway. However, Jones clearly was the one who really made a big bang with a skein relation. This allowed him to see a connection between the Jones polynomial and state sums in statistical mechanics. This was followed by HOMFLYPT, which might be the first time a skein relation was used to define an invariant rather than encapsulate some of its properties. I would say that Kauffman really simplified the study of the Jones polynomial by way of his bracket relation. Witten used the skein relation to build a hypothetical connection with TQFT. This connection was made rigorous by Reshitkhin and Turaev from a quantum groups perspective. The work of Habeger, Masbaum, Vogel, and Blanchet made it rigorous from a skein theoretic viewpoint. The connection between skein relations and Lie groups probably appeared first in the work of Turaev and Wenzl, where they classified skein relations by what family of Lie groups you were working with. There was work of Blanchet and Beliakova that built on this, especially understanding B-type Lie algebras. Xiao-Song Lin built a connection between the Jones polynomial and finite type invariants with skein relations. Effie Kalfagianni used them to extend the Jones polynomial to knots in other three-manifolds. Bar-Natan used skein relations to powerful effect to build connections between finite type invariants and Lie algebras. Bullock's work was the first to build the direct connection between skein relations and trace identities. This was built on in the work of Sikora who did it for many more Lie groups. Kuperberg's spiders were also actually about skein relations, and his work is starting have impact in the study of flag varieties. The skein relation short exact sequence of chain complexes first appeared in the work of Khovanov, though it had been simmering in Floer theory for a long time in the related surgery triangle.</p> <p>I thought I would give a motivating example.</p> <p>Recall that matrices satisfy their characteristic polynomial. If $A$ is a two by two matrix of determinant one, then its characteristic polynomial is $\lambda^2-tr(A)\lambda +1$. Hence we know $A^2-(tr(A)A+Id=0$ where the zero on the right is a two by two matrix of zeroes. Multiply this through by $A^{-1}$ to symmetrize it as $A+tr(A)Id +A^{-1}=0$. Not multiply by any two by two matrix $B$ to get $BA-tr(A)B+BA^{-1}=0$. Finally, take the trace to get $tr(BA)-tr(A)tr(B)+tr(BA^{-1})=0$. This is the fundamental trace identity for $SL_2(\mathbb{C})$. Let $X_i$ be variables which you can think of as $2\times 2$ matrices. Form all words in the $X_i$ and then take all polynomials in traces of these words. Every identity between these polynomials is a consequence of $tr(A)=tr(A^{-1})$, $tr(AB)=tr(BA)$, $tr(Id)=2$, and the fundamental trace identity.</p> <p>Let $M$ be a topological space. Take polynomials on free homotopy classes of loops in $M$ and mod out by the relations coming from replacing a loop by its inverse, replacing the null homotopic loop by $-2$, and the Kauffman bracket skein relaton with $A$ set equal to $-1$. In this setting the Kauffman bracket skein relation is the fundamental trace identity.</p> <p>This ring is the coordinate ring of the unreduced affine scheme of characters of $SL_2(\mathbb{C})$ representations of the fundamental group of $M$. </p> <p>If $M$ is a surface then you can fatten the surface up to $M\times [0,1]$ and instead use framed links in $M\times [0,1]$. You multiply by stacking framed links. Use the Kauffman bracket skein relations at $A=e^h$. This algebra is a quantization of the $SL_2(\mathbb{C})$ representations of the fundamental group of the surface with respect to Goldman's Poisson structure. That fact is established by proving that Goldman's Poisson bracket can be computed skein theoretically.</p> <p>A good starting point for the above material might be the article "Understanding the Kauffman Bracket Skein Relation" by Bullock, F, and Kania-Bartoszynska.</p> <p>The importance of skein relations is that it allows you to make teleological connections between knot polynomials and other, seemingly distant areas of mathematics like representation theory, quantization, algebraic geometry, gauge theory, and low dimensional geometry and topology.</p> http://mathoverflow.net/questions/20391/how-to-motivate-the-skein-relations/20505#20505 Answer by Daniel Moskovich for How to motivate the skein relations? Daniel Moskovich 2010-04-06T14:23:59Z 2010-04-06T16:11:28Z <p>Conway was the person who gave us the concept of a skein relation (although, in retrospect, a skein relation does appear in the original paper of Alexander on the Alexander polynomial). What we are discussing here are <b>linear</b> skein relations (Conway considered also non-linear skein relations, although he never published on the subject, and the idea seems to have been virtually forgotten). Conway's idea, as I luckily overheard him explain it to Cameron Gordon, was to consider knot invariants not as maps of the set of knots to the set of polynomials (for instance), but as maps from some sort of space of knots, locally characterized by how they behave on knots in "close proximity". What does it mean for two knots to be close to each other? For Conway it meant that they differ by some simple local tangle replacement. That is the skein.<br> As was mentioned in other answers, this dovetails nicely with later ideas of TQFT and quantum knot invariants, one of whose defining properties is that they are determined locally on small pieces of the knot or 3-manifold, which are then glued together. It's frightening just how close Conway was to discovering the Jones polynomial using his approach- we can only dream how that might have changed the history of knot theory.<br> I agree with all the other answers, therefore, that the motivation for skein relations is philosophical rather than as a tool to calculate, for which it is notoriously ill-suited.</p> http://mathoverflow.net/questions/20391/how-to-motivate-the-skein-relations/126314#126314 Answer by Neil Hoffman for How to motivate the skein relations? Neil Hoffman 2013-04-02T21:32:21Z 2013-04-02T21:32:21Z <p>Perhaps this is a better answer the question in your title and might be "a" motivation and "the" motivation, but the +. -, 0 Skein triple also is related to a biological process involving DNA. Basically, there are enzymes <a href="http://en.wikipedia.org/wiki/Topoisomerase" rel="nofollow">Topoisomerase</a> and <a href="http://en.wikipedia.org/wiki/Recombinase" rel="nofollow">Recombinase</a> that together preform a crossing change on knotted DNA just like in the Skein triple. Although this was discovered well after the creation of the Skein triple, it might be worth mentioning (the next time you teach your class). A good reference for Topoisomerase, Recombinase, and the Skein triple is Eanst and Sumners <a href="http://www.mathi.uni-heidelberg.de/~banagl/pdfdocs/sumners/MPCPS90.pdf" rel="nofollow">A calculus for rational tangles: applications to DNA recombination</a>, however there is also a mention of this process in Colin Adams' Knot book. </p> <p>As other people have posted, there is a lot of really interesting math surrounding Skein triples. What might be even more surprising given the work of Ernst, Sumners, and those that followed them, there is really interesting applied math surrounding Skein triples! </p>