06-1350/Class Notes for Tuesday October 3: Difference between revisions

From Drorbn
Jump to navigationJump to search
No edit summary
 
(Added scanned class notes.)
 
(One intermediate revision by one other user not shown)
Line 1: Line 1:
{{06-1350/Navigation}}

=== Attempted solution of the exercise ===
=== Attempted solution of the exercise ===


Line 39: Line 41:
''Yesterday I posted something stupid about this same problem, then realized and took it off, so I'm not sure anymore that this really works... any comments welcome!
''Yesterday I posted something stupid about this same problem, then realized and took it off, so I'm not sure anymore that this really works... any comments welcome!
''
''


==Scanned Notes==

{| align=left
|[[Image:06-1350-scan1002-0001.jpg|thumb]]
|[[Image:06-1350-scan1002-0002.jpg|thumb]]
|[[Image:06-1350-scan1002-0003.jpg|thumb]]
|}
{| align=left
|[[Image:06-1350-scan1002-0004.jpg|thumb]]
|}

Latest revision as of 16:20, 24 October 2006

Attempted solution of the exercise

I'm talking about the one stating that

Z{Ribbon knots} = {}

my dumbbel didn't come out perfectly, and there might be further ugliness due to my lack of latex ability- I apologize

The inclusion of the left in the right is obvious. We're trying to do the reverse one.

Assume that we have a such that .

What we need to show is that for some .

To do this, we first prove that is (almost) injective.

Let's just do this for a simple (two circles) dumbbell, it will generalize to longer dumbbells easily.

Injectivity means that for some , if is zero on all invariants , then has to be zero on all invariants in .

We use that

The key here is that the edge connecting the two circles carries no topological information, it's contractible. Therefore, an invariant of the knotted dumbbell cannot depend on how the edge wiggles- we can contract the edge to a point and get a vedge of two knotted circles, and there's only one way to vedge circles together. Therefore, all invariants of the knottings of the dumbbell are of the form , where is an invariant of the knottings of two circles. And hence we're done.

Of course there's a lie here: we are talking about framed graphs and so the edge does carry some information: which side it's attached to on each circle, and whether it's twisted or not. So there are preimages of each value of d. (Still a lie: If the circles are linked, I think it's countably many, given by the sides and how many times the edge is twisted, but we only care about the unlinked case, and there two twists equal nothing.)

Now, still thinking about a simple dumbbell, we can show that for some knotted dumbbell .

We have . We know that has 8 preimages, and all of those are Z-images of the dumbbells we get from the 8 different ways of attaching d (think connected sum). Therefore, one of those has to be the we are searching for.

Clearly, this works just as well for the dumbbell with k circles, with in place of 8.

And obviously, for the we've found, .

And we are done.

Yesterday I posted something stupid about this same problem, then realized and took it off, so I'm not sure anymore that this really works... any comments welcome!


Scanned Notes

06-1350-scan1002-0001.jpg
06-1350-scan1002-0002.jpg
06-1350-scan1002-0003.jpg
06-1350-scan1002-0004.jpg