Talk:06-1350/Class Notes for Thursday September 28

From Drorbn
< Talk:06-1350
Revision as of 18:25, 3 October 2006 by Zsuzsi (talk | contribs)
Jump to navigationJump to search

I'm putting this here but it really belongs to Tuesday Oct 3rd... I could'n figure out how to access that day.

This is about the exercise to show that for the tautological Z, Z{Ribbon knots} = {: and d = {O O ...O}

(the dumbbell didn't come out perfectly but you know what I mean...I apologize for any further ugliness resulting from my un-knowledge of latex)

The left included in the right part is obvvious. We want to show the reverse. For this, suppose , and suppose further that for some We want to show that in this case, .

Now so we need to show that if for some knotted garph , , then . To do this, we use two invariants.

The first one will be the product over all connected components of: 2 if the component is an unknotted circle; 0 otherwise. Z(O O...O) of this invariant is , and for to have the same, all components of it have to be unknotted circles, and it has to have the same number of components.

What is left is to make sure those circles are not linked. For this we can take our second invariant to be the sum over all pairs of connected componets the absolute value of their linking number. By playing the same game as above, we have now proved that .

We have one assumption still to eliminate, and I'm not quite sure how to do this: We have assumed that was the Z-image of some knotted version of the dumbbell graph. is a set of values of all imaginable knot invariants on knottings of the dumbbell, and we would have to find an actual knotting on which the invariants take exactly these values- does anyone know how to do this? It surprises me that it can be done.