|
|
| Line 44: |
Line 44: |
|
====R4==== |
|
====R4==== |
|
|
|
|
|
This Reidemeister move has a number of forms. I will put two here, both in linearized functional form. Pictures to come I hope. |
|
This Reidemeister move has a number of forms. I will put two here, both in linearized functional form. |
|
|
|
|
|
|
|
|
| Line 65: |
Line 65: |
|
|
|
|
|
[[Image:R4d.JPG]] |
|
[[Image:R4d.JPG]] |
|
|
{| align=center |
|
|
|- |
|
|
|<math>\rho_4d(x_1, x_2, x_3, x_4) = </math> |
|
|
|<math>b^-(x_1,x_2,x_3) + \phi(x_1+x_2,x_3+x_4,x_4)</math> |
|
|
|- |
|
|
| |
|
|
|<math>- \phi(x_1+x_2+x_3,x_3+x_4,x_4) - b^-(x_1,x_2,x_4) - b^-(x_1+x_4,x_3+x_4,x_4).</math> |
|
|
|} |
|
|
|
|
|
===The Syzygies=== |
|
===The Syzygies=== |
Revision as of 22:56, 5 December 2006
The Generators
Our generators are 
, 
, 
and 
:
| Picture
|
|
|
|
|
|
| Generator
|
|
|
|
|
|
| Perturbation
|
|
|
|
|
|
The Relations
The Reidemeister Move R3
The picture (with three sides of the shielding removed) is
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.
R4c
|
|
|
|
|
R4d
|
|
|
|
|
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
|
|
|
|
|
|
|
|
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
|
