most recent 30 from http://mathoverflow.net 2013-05-22T14:12:20Z http://mathoverflow.net/feeds/question/86404 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/86404/quantum-e6-e7-knot-polynomials Ross Elliot 2012-01-22T21:38:33Z 2012-03-11T15:41:58Z

<p>Has anybody seen seen quantum knot invariants associated to (E6, 27) or (E7, 56) worked out in the literature? Even for just simple knots like the trefoil or figure-8?</p> <p>I suspect these haven't been worked out, but if anybody knows of a reference containing these or even just discussing them, please let me know.</p>

http://mathoverflow.net/questions/86404/quantum-e6-e7-knot-polynomials/86518#86518 B. Patureau 2012-01-24T08:42:14Z 2012-01-24T08:42:14Z

<p>$(E7, 56)$ belongs to a series for which I computed some skein relations in my phd thesis (see p55-56 of <a href="http://web.univ-ubs.fr/lmam/patureau/articles/these.ps.gz" rel="nofollow">http://web.univ-ubs.fr/lmam/patureau/articles/these.ps.gz</a> with $Y=X^{19}$). Unfortunately the set of skein relations is not complete but you can use it to compute the quantum invariants of small knots.</p>

http://mathoverflow.net/questions/86404/quantum-e6-e7-knot-polynomials/89862#89862 Hauke Reddmann 2012-02-29T12:20:00Z 2012-03-11T15:41:58Z

<p>Dear Bertrand &amp; Ross - could you check the following? I neither speak French nor Math :-) but I computed the same skein relations with magic and trickery (so my results are unproven, of course). I get 11+6+2*8+2*3=39 basis 3+3 tangles (which I here already split into the D6h symmetry classes) and under the E7 family polynome 10+5+2*7+2*3=35 are independent. The linear rest should be your skein relations. So, are there exactly 4 (including symmetry-transformed!) of them, i.e. your Figs. 2/3? Since they don't look symmetric under rotation, it's hard to check for me.</p> <p>(BTW, for 2+2 tangles, I "know" an even generalized result (of your Fig. 1) for 20 years :-)</p> <p>Maybe going to 4+4 tangles could solve the problem of having a complete reducing skein set (or at least give an unproven solution) but since that might need hundreds of basis tangles you a) either have to crowdsource the calculation or b) do it with birdtracks or c) use math (I'm out then :-)</p> <p>EDIT: Now that I'm back at my PC with access to the literature, 4+4 doesn't look too promising either. Kuperbergs G2 paper says there are 455 crossingless freeways with 8 endpoints. Uck. (And under E7 instead, a lot of them are inaccessible.) So if one could do the following: 1. Prove that: IF you can reduce 1-gons and 2-gons and two adjacent 3-gons (works for all the E7 family) AND an adjacent 3- and 4-gon pair AND two 3-gons touching on a corner (five crossings; i.e. simpler diagrams now span the 8-endpoint vector space...or so I hope!) THEN you could reduce any link diagram, and: 2. the compatibility rules of this reducing set are finite (I don't have much hope for that either!)... the whole E7 family polynomial proof would reduce to skein diagram manipulation (of gargantuan size, of course). Yup, it's probably better to use math instead :-)</p>