Static Wikipedia February 2008 (no images)

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - bcl - be - be_x_old - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - co - cr - crh - cs - csb - cu - cv - cy - da - de - diq - dsb - dv - dz - ee - el - eml - en - eo - es - et - eu - ext - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gan - gd - gl - glk - gn - got - gu - gv - ha - hak - haw - he - hi - hif - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kaa - kab - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mdf - mg - mh - mi - mk - ml - mn - mo - mr - mt - mus - my - myv - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - quality - rm - rmy - rn - ro - roa_rup - roa_tara - ru - rw - sa - sah - sc - scn - sco - sd - se - sg - sh - si - simple - sk - sl - sm - sn - so - sr - srn - ss - st - stq - su - sv - sw - szl - ta - te - tet - tg - th - ti - tk - tl - tlh - tn - to - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu

Web Analytics
Cookie Policy Terms and Conditions Skein relation - Wikipedia, the free encyclopedia

Skein relation

From Wikipedia, the free encyclopedia

A central question in the mathematical theory of knots is whether two knot diagrams represent the same knot. One tool used to answer such questions is a knot polynomial which is an invariant of the knot. If two diagrams have different polynomials, they represent different knots. The reverse may not be true.

Skein relations are often used to give a simple definition of knot polynomials. Informally, a skein relation gives a linear relation between the values of a knot polynomial on a collection of three links which differ from each other only in a small region. For some knot polynomials, such as the Conway, Alexander, and Jones polynomials, the relevant skein relations are sufficient to calculate the polynomial recursively. For others, such as the HOMFLYPT polynomial, more complicated algorithms are necessary.

[edit] Definition

A skein relationship requires three link diagrams that are identical except at one crossing. The three diagrams must exhibit the three possibilities that could occur at that crossing, it could be under, it could be over or it could not exist at all. Link diagrams must be considered because a single skein change can alter a diagram from representing a knot to representing a link and vice versa. Depending on the knot polynomial in question, the links (or tangles) appearing in a skein relation may be oriented or unoriented.

The three diagrams are labelled as follows. Turn the diagrams so the directions at the crossing in question are both roughly northward. One diagram will have northwest over northeast, it is labelled L. Another will have northeast over northwest, it's L+. The remaining diagram is lacking that crossing and is labelled L0.

image:skein-relation-patches.png

(The labelling is actually independent of direction insofar as it remains the same if all directions are reversed. Thus polynomials on undirected knots are unambiguously defined by this method. However, the directions on links are a vital detail to retain as one recurses through a polynomial calculation.)

It is also sensible to think in a generative sense, by taking an existing link diagram and "patching" it to make the other two—just so long as the patches are applied with compatible directions.

To recursively define a knot (link) polynomial, a function F is fixed and for any triple of diagrams and their polynomials labelled as above,

F(L ,L0,L + ) = 0

or more pedantically

F\Big(L_-(x),L_0(x),L_+(x),x\Big)=0 for all x

(Finding an F which produces polynomials independent of the sequences of crossings used in a recursion is no trivial exercise.)

More formally, a skein relation can be thought of as defining the kernel of a quotient map from the planar algebra of tangles. Such a map corresponds to a knot polynomial if all closed diagrams are taken to some (polynomial) multiple of the image of the empty diagram.

[edit] Example

Sometime in the early 1960s, Conway showed how to compute the Alexander polynomial using skein relations. As it is recursive, it is not quite so direct as Alexander's original matrix method; on the other hand, parts of the work done for one knot will apply to others. In particular, the network of diagrams is the same for all skein-related polynomials.

Let function P from link diagrams to Laurent series in \sqrt x be such that P(unknot) = 1 and a triple of skein-relation diagrams (D ,D0,D + ) satisfies the equation

P(D ) = (x − 1 / 2x1 / 2)P(D0) + P(D + )

Then P maps a knot to one of its Alexander polynomials.

In this example, we calculate the Alexander polynomial of the cinquefoil knot (image:skein-relation-cinquefoil-plus-sm.png), the alternating knot with five crossings in its minimal diagram. At each stage we exhibit a relationship involving a more complex link and two simpler diagrams. Note that the more complex link is on the right in each step below except the last. For convenience, let A = x−1/2−x1/2.

To begin, we create two new diagrams by patching one of the cinquefoil's crossings (highlighted in yellow) so

P(image:skein-relation-cinquefoil-minus-sm.png) = A × P(image:skein-relation-cinquefoil-zero-sm.png) + P(image:skein-relation-cinquefoil-plus-sm.png)

The first diagram is actually a trefoil; the second diagram is two unknots with four crossings. Patching the latter

P(image:skein-relation-link24-minus-sm.png) = A × P(image:skein-relation-link24-zero-sm.png) + P(image:skein-relation-link24-plus-sm.png)

gives, again, a trefoil, and two unknots with two crossings (the Hopf link [1]). Patching the trefoil

P(image:skein-relation-trefoil-minus-sm.png) = A × P(image:skein-relation-trefoil-zero-sm.png) + P(image:skein-relation-trefoil-plus-sm.png)

gives the unknot and, again, the Hopf link. Patching the Hopf link

P(image:skein-relation-link22-minus-sm.png) = A × P(image:skein-relation-link22-zero-sm.png) + P(image:skein-relation-link22-plus-sm.png)

gives a link with 0 crossings (unlink) and an unknot. The unlink takes a bit of sneakiness:

P(image:skein-relation-link20-minus-sm.png) = A × P(image:skein-relation-link20-zero-sm.png) + P(image:skein-relation-link20-plus-sm.png)


We now have enough relations to compute the polynomials of all the links we've encountered, and can use the above equations in reverse order to work up to the cinquefoil knot itself:

knot name diagrams P (diagram)
skein equation ? P in full
unknot image:skein-relation-link20-minus-sm.png image:skein-relation-link20-plus-sm.png image:skein-relation-link22-zero-sm.png image:skein-relation-trefoil-minus-sm.png defined as 1 x→1
unlink image:skein-relation-link20-zero-sm.png image:skein-relation-link22-minus-sm.png 1=A?+1 0 x→0
Hopf link image:skein-relation-link22-plus-sm.png image:skein-relation-link24-minus-sm.png image:skein-relation-trefoil-zero-sm.png 0=A1+? -A x→x1/2-x-1/2
trefoil image:skein-relation-link24-zero-sm.png image:skein-relation-trefoil-plus-sm.png image:skein-relation-cinquefoil-minus-sm.png 1=A(-A)+? 1+A2 x→x-1-1+x
4 crossing link image:skein-relation-link24-plus-sm.png image:skein-relation-cinquefoil-zero-sm.png -A=A(1+A2)+? -A(2+A2) x→-x-3/2+x-1/2-x1/2+x3/2
cinquefoil image:skein-relation-cinquefoil-plus-sm.png 1+A2=A(-A(2+A2))+? 1+3A2+A4 x→x-2-x-1+1-x+x2

Thus the Alexander polynomial for a cinquefoil is P(x) = x-2 -x -1 +1 -x +x2.

Useful formulas:

A = (1 − x)/x1/2
A2 = (1 − 2x + x2)/x
A3 = (1 − x)3/x3/2 = (1 − 3x + 3x2 − x3)/x3/2
A4 = (1 − x)4/x2 = (1 − 4x + 6x2 − 4x3 + x4)/x2

[edit] External links

Static Wikipedia 2008 (no images)

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - bcl - be - be_x_old - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - co - cr - crh - cs - csb - cu - cv - cy - da - de - diq - dsb - dv - dz - ee - el - eml - en - eo - es - et - eu - ext - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gan - gd - gl - glk - gn - got - gu - gv - ha - hak - haw - he - hi - hif - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kaa - kab - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mdf - mg - mh - mi - mk - ml - mn - mo - mr - mt - mus - my - myv - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - quality - rm - rmy - rn - ro - roa_rup - roa_tara - ru - rw - sa - sah - sc - scn - sco - sd - se - sg - sh - si - simple - sk - sl - sm - sn - so - sr - srn - ss - st - stq - su - sv - sw - szl - ta - te - tet - tg - th - ti - tk - tl - tlh - tn - to - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu -

Static Wikipedia 2007 (no images)

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - bcl - be - be_x_old - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - co - cr - crh - cs - csb - cu - cv - cy - da - de - diq - dsb - dv - dz - ee - el - eml - en - eo - es - et - eu - ext - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gan - gd - gl - glk - gn - got - gu - gv - ha - hak - haw - he - hi - hif - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kaa - kab - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mdf - mg - mh - mi - mk - ml - mn - mo - mr - mt - mus - my - myv - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - quality - rm - rmy - rn - ro - roa_rup - roa_tara - ru - rw - sa - sah - sc - scn - sco - sd - se - sg - sh - si - simple - sk - sl - sm - sn - so - sr - srn - ss - st - stq - su - sv - sw - szl - ta - te - tet - tg - th - ti - tk - tl - tlh - tn - to - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu -

Static Wikipedia 2006 (no images)

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - bcl - be - be_x_old - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - co - cr - crh - cs - csb - cu - cv - cy - da - de - diq - dsb - dv - dz - ee - el - eml - eo - es - et - eu - ext - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gan - gd - gl - glk - gn - got - gu - gv - ha - hak - haw - he - hi - hif - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kaa - kab - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mdf - mg - mh - mi - mk - ml - mn - mo - mr - mt - mus - my - myv - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - quality - rm - rmy - rn - ro - roa_rup - roa_tara - ru - rw - sa - sah - sc - scn - sco - sd - se - sg - sh - si - simple - sk - sl - sm - sn - so - sr - srn - ss - st - stq - su - sv - sw - szl - ta - te - tet - tg - th - ti - tk - tl - tlh - tn - to - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu