Skein Relation

Skein relations occur in knot theory, where they are most often used to give a simple definition of a knot polynomial. Informally, a skein relation gives a linear relation between the values of a knot polynomial on a collection of 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. More formally, a skein relation should 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. Depending on the knot polynomial in question, the links (or tangles) appearing in a skein relation may be oriented or unoriented. Given three link diagrams that are identical except for one crossing, the three are labelled as follows. Turn the diagrams so the directions at that spot 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.
(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_-,L_0,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.)

Example

Sometime in the early '60s, Conway showed how to find Alexander polynomials using skein relations. As a recursion, it is not quite so direct as the 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 diagrams to Laurent series in \sqrt x be such that P({\rm unknot})=1 and a triple of skein-relation diagrams (D_-, D_0, D_+) satisfies the equation
P(D_-) = (x^{-1/2}-x^{1/2})P(D_0) + P(D_+)
Then P maps a knot to one of its Alexander polynomials. The example is a working of the cinquefoil knot. For convenience, let A = x−1/2−x1/2. Patch one of its crossings so:
P() = A × P() + P()
The first diagram is actually a trefoil; the second diagram is two unknots with four crossings. Patching the latter
P() = A × P() + P()
gives, again, a trefoil, and two unknots with two crossings. Patching the trefoil
P() = A × P() + P()
gives that 2-crossing link and the unknot. Patching that link
P() = A × P() + P()
gives a link with 0 crossings. That takes a bit of sneakiness:
P() = A × P() + P()
We now have enough relations to compute the polynomials:
knot namediagram(s)P(diagram)
eq'nabbr'din full
unknot 1x→1
  
1=A?+10x→0
(Hopf link)http://mathworld.wolfram.com/HopfLink.html 0=A1+?-Ax→x1/2-x-1/2
trefoil 1=A(-A)+?1+A2x→x-1-1+x
-A=A(1+A2)+? -A(2+A2) x→-x-3/2+x-1/2-x1/2+x3/2
cinquefoil 1+A2=A(-A(2+A2))+?1+3A2+A4x→x-2-x1+1-x+x2
Hints:
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

External links

 

<< PreviousWord BrowserNext >>
clonakilty
nicholas heath
mirko filipovic
chrysanthemum throne
incom corporation
edward fox (bishop)
gangwon
military history of the roman empire
political institutions of rome
north gyeongsang
imperial navy
present day proponents of establishing cooperative relationships between humans and horses
cruise ship
korea strait
heineken cup
john barleycorn
list of academic institutions in albania
sharman networks
zurich premiership
avonex
life stress
summerville
the roches
international style (architecture)
pat cox
hard currency
reflection (computer science)
oryx
julius fucik
myxozoa
pronghorn
richard fox
juan lus vives
boolean prime ideal theorem
cuthbert tunstall
ideal (disambiguation)
william gillette
men without hats
andy bechtolsheim
aquatic animal
wham o
sheffield united f.c.
wolverhampton civic hall
mars climate orbiter