Andy: Added scanned class notes.

2006-10-24T20:20:18Z

Added scanned class notes.

← Older revision		Revision as of 16:20, 24 October 2006
Line 41:		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]]
			\|}

69.197.142.199 at 02:35, 22 October 2006

2006-10-22T02:35:23Z

← Older revision		Revision as of 22:35, 21 October 2006
Line 1:		Line 1:
			{{06-1350/Navigation}}

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

Zsuzsi at 20:29, 4 October 2006

2006-10-04T20:29:11Z

New page

=== Attempted solution of the exercise ===

I'm talking about the one stating that

Z{Ribbon knots} = {<math>u\Psi: \Psi \in A(O-O-...-O), d\Psi = Z(O O...O)</math>}

''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 <math>\Psi \in A(O-...-O)</math> such that <math>d\Psi=Z(O...O)</math>.

What we need to show is that <math>\Psi=Z(\gamma)</math> for some <math>\gamma \in K(O-...-O),~ d\gamma=(O...O)</math>.

To do this, we first prove that <math>d:A(O-...-O) \to A(O...O)</math> 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 <math>\Psi \in A(O-O)</math>, if <math>d\Psi \in A(O O)</math> is zero on all
invariants <math>\varphi \in Inv ~ K(O O)</math>, then <math>\Psi</math> has to be zero on all invariants in <math>Inv ~ K(O-O)</math>.

We use that <math>d \Psi ( \varphi)=\Psi ( \varphi \circ d)</math>

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 <math>\varphi \circ d</math>, where <math>\varphi</math> 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 <math>2^3=8</math> 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 <math>\Psi=Z\gamma</math> for some knotted dumbbell <math>\gamma</math>.

We have <math>d:A(O-O) \to A(O O), ~ d(\Psi)=Z(O O)</math>.
We know that <math>Z(O O)</math> 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 <math>\gamma</math> we are searching for.

Clearly, this works just as well for the dumbbell with k circles, with <math>2^{3(k-1)}</math> in place of 8.

And obviously, for the <math>\gamma</math> we've found, <math>d\gamma=(O...O)</math>.

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!
''

06-1350/Class Notes for Tuesday October 3 - Revision history

Andy: Added scanned class notes.

69.197.142.199 at 02:35, 22 October 2006

Zsuzsi at 20:29, 4 October 2006