User:Jana/06-1350-HW4

From Drorbn
Revision as of 23:52, 5 December 2006 by Jana (talk | contribs) (→‎R4)
Jump to navigationJump to search

The Generators

Our generators are , , and :

Picture 06-1350-BPlus.svg
Generator
Perturbation

The Relations

The Reidemeister Move R3

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

06-1350-R4.svg

In formulas, this is

.

Linearized and written in functional form, this becomes

R4

This Reidemeister move has a number of forms. I will put two here, both in linearized functional form. Pictures to come I hope.


R4c

R4c.JPG



R4d

The Syzygies

The "B around B" Syzygy

The picture, with all shielding removed, is

06-1350-BAroundB.svg
(Drawn with Inkscape)
(note that lower quality pictures are also acceptable)

The functional form of this syzygy is

A Mathematica Verification

The following simulated Mathematica session proves that for our single relation and single syzygy, . 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