06-1350/Homework Assignment 4

06-1350/Navigation Panel   # Week of... Links 1 Sep 11 About, Tue, Thu 2 Sep 18 Tue, Kurlin(P), Thu 3 Sep 25 Tue, Photo, Thu 4 Oct 2 HW1, Tue, Thu 5 Oct 9 Tue(P), Thu(P) 6 Oct 16 HW2, Tue(P), Thu(P) 7 Oct 23 Tue(P), Thu 8 Oct 30 HW3, Tue, Thu 9 Nov 6 Tue ($\nu$), Thu 10 Nov 13 Tue, Thu 11 Nov 20 HW4(P), Thu 12 Nov 27 Thu 13 Dec 4 Syzygies in Asymptote, Final Jan 8 Grades Note. (P) means "contains a problem that Dror cares about". Add your name / see who's in! On to 07-1352

In Preparation

The information below is preliminary and cannot be trusted! (v)

Preamble

This is an unusual assignment; the task at hand is to do some real research, stuff that to the best of my knowledge had never been done before and most definitely was never written up. Thus the rules will also be a bit different - your work (or at least the accumulation of work on this topic by everyone in class) is meant to be used and useful. So it must be presented in a very readable form (i.e., typed up and with figures) and it must be reliable; in fact, it will be computer verifiable. But some rules will be relaxed, as well.

The task is a bit technical. But hey, it is a homework assignment, after all!

The Task

Write all the vertical-strand-only relations between $T$, $R$, $\Phi$ and $B^{\pm }$ in a completely explicit way, both as formulas and as illuminating figures, and then do the same to all the syzygies between these relations. Finally, enter everything you have written into a Mathemmatica script that will verify that in the complex you have created, $d^{2}=0$.

Note that when I write "all relations" or "all syzygies" above I really mean "a complete independent set of relations/syzygies". And while this cannot be formalized, the prettier your representatives are, the better!

The Rules

The first relation and the first syzygy were written by Dror (see below or visit User:Drorbn/06-1350-HW4. You are to copy is work into your user space and complete it there.

• On this wiki create a page named "User:YourUsernameHere/06-1350-HW4" (or simply "User:YourUsernameHere/HW4". If necessary, go to Help:Contents to see how this is done.
• Copy User:Drorbn/06-1350-HW4 into your page. The easiest way to do that is to edit User:Drorbn/06-1350-HW4 and copy the source code into your page using copy-paste on your windowing system. Then "preview" or "save" your copy but "cancel" the edit to User:Drorbn/06-1350-HW4.
• Now work on your page...
• Copying is legal! You are allowed, indeed encouraged, to collaborate with others or to simply copy results from other people's pages into yours (though always credit the original source). The goal is to get something complete. If one of you will start with something incomplete and somebody else will do some other incomplete thing and yet another person will merge the two, we may achieve the goal.
• You will get a good though not perfect grade on this assignment for doing anything at all, or even for doing nothing at all but copying on the understanding that by submitting your work you are testifying that you understand it. Perfect grades will go to the people who will make substantial contributions.

User:Drorbn/06-1350-HW4

The Generators

Our generators are $T$, $R$, $\Phi$ and $B^{\pm }$:

Picture
Generator	$T$	$R$	$\Phi$	$B^{+}$	$B^{-}$
Perturbation	$t$	$r$	$\varphi$	$b^{+}$	$b^{-}$

The Relations

The Reidemeister Move R3

The picture (with three sides of the shielding removed) is

In formulas, this is

$(1230)^{\star }B^{+}(1213)^{\star }B^{+}(1023)^{\star }B^{+}=(1123)^{\star }B^{+}(1203)^{\star }B^{+}(1231)^{\star }B^{+}$.

Linearized and written in functional form, this becomes

$\rho _{3}(x_{1},x_{2},x_{3},x_{4})=$	$b^{+}(x_{1},x_{2},x_{3})+b^{+}(x_{1}+x_{3},x_{2},x_{4})+b^{+}(x_{1},x_{3},x_{4})$
	$-b^{+}(x_{1}+x_{2},x_{3},x_{4})-b^{+}(x_{1},x_{2},x_{4})-b^{+}(x_{1}+x_{4},x_{2},x_{3}).$

The Syzygies

The "B around B" Syzygy

The picture, with all shielding removed, is

(Drawn with Inkscape) (note that lower quality pictures are also acceptable)

The functional form of this syzygy is

$BB(x_{1},x_{2},x_{3},x_{4},x_{5})=$	$\rho _{3}(x_{1},x_{2},x_{3},x_{5})+\rho _{3}(x_{1}+x_{5},x_{2},x_{3},x_{4})-\rho _{3}(x_{1}+x_{2},x_{3},x_{4},x_{5})$
	$-\rho _{3}(x_{1},x_{2},x_{4},x_{5})-\rho _{3}(x_{1}+x_{4},x_{2},x_{3},x_{5})-\rho _{3}(x_{1},x_{2},x_{3},x_{4})$
	$+\rho _{3}(x_{1},x_{3},x_{4},x_{5})+\rho _{3}(x_{1}+x_{3},x_{2},x_{4},x_{5}).$

A Mathematica Verification

The following simulated Mathematica session proves that for our single relation and single syzygy, $d^{2}=0$. Copy paste it into a live Mathematica session to see that it's right!

In[1]:=

d1 = { rho3[x1_, x2_, x3_, x4_] :> bp[x1, x2, x3] + bp[x1 + x3, x2, x4] + bp[x1, x3, x4] - bp[x1 + x2, x3, x4] - bp[x1, x2, x4] - bp[x1 + x4, x2, x3] }; d2 = { BAroundB[x1_, x2_, x3_, x4_, x5_] :> rho3[x1, x2, x3, x5] + rho3[x1 + x5, x2, x3, x4] - rho3[x1 + x2, x3, x4, x5] - rho3[x1, x2, x4, x5] - rho3[x1 + x4, x2, x3, x5] - rho3[x1, x2, x3, x4] + rho3[x1, x3, x4, x5] + rho3[x1 + x3, x2, x4, x5] };

In[3]:=	BAroundB[x1, x2, x3, x4, x5] /. d2
Out[3]=	- rho3[x1, x2, x3, x4] + rho3[x1, x2, x3, x5] - rho3[x1, x2, x4, x5] + rho3[x1, x3, x4, x5] - rho3[x1 + x2, x3, x4, x5] + rho3[x1 + x3, x2, x4, x5] - rho3[x1 + x4, x2, x3, x5] + rho3[x1 + x5, x2, x3, x4]

In[4]:=	BAroundB[x1, x2, x3, x4, x5] /. d2 /. d1
Out[4]=	0