Drorbn - User contributions [en]

User:Bailey

2006-12-06T15:51:52Z

Bailey:

Link to [http://katlas.math.toronto.edu/drorbn/index.php?title=User:Bailey/HW4 HW4].

User:Bailey

2006-12-06T15:51:10Z

Bailey:

Link to [[HW4]]

06-1350/Class Photo

2006-12-06T15:50:28Z

Bailey:

Our class on September 28, 2006:

[[Image:06-1350-ClassPhoto.jpg|thumb|center|500px|Class Photo: click to enlarge]]
{{06-1350/Navigation}}
Please identify yourself in this photo! There are two ways to do that:

* [[Special:Userlogin|Log in]] to this Wiki and edit this page. Put your name, userid, email address and location in the picture in the alphabetical list below.
* Send [[User:Drorbn|Dror]] an email message with this information.

The first option is more fun but less private.

===Who We Are===

{| align=center border=1
|-
!First name
!Last name
!UserID
!Email
!In the photo
!Comments
{{Photo Entry|last=Bar-Natan|first=Dror|userid=Drorbn|email=drorbn@ math.toronto.edu|location=facing everybody, as the photographer|comments=Take this entry as a model and leave it first. Otherwise alphabetize by last name. Feel free to leave some fields blank}}
{{Photo Entry|last=Bailey|first=Michael|userid=bailey|email=bailey@ math.toronto.edu|location=the guy looking all mysterious like it's a perfume commercial or something|comments=}}
{{Photo Entry|last=Chu|first=Karene|userid=Karene|email=karene@ math.toronto.edu|location=second row 3rd from left|comments=}}
{{Photo Entry|last=Dancso|first=Zsuzsi|userid=Zsuzsi|email=zsuzsi@ math.toronto.edu|location=first row, second from the right|comments=}}
{{Photo Entry|last=Hammerlindl|first=Andy|userid=Andy|email=hammera@ telusplanet.net|location=third row, third from right|comments=}}
{{Photo Entry|last=Ivrii|first=Oleg|userid=Oivrii|email=oleg@ math.toronto.edu|location=last row, middle of the sitting |comments=}}
{{Photo Entry|last=de Jong|first=Michael|userid=michael|email=michael.dejong@ utoronto.ca|location=standing in the back, on the left|comments=}}
{{Photo Entry|last=Archibald|first=Jana|userid=Jana|email=jfa@ math.toronto.edu|location=Third row, First on right|comments=}}
{{Photo Entry|last=Shaw|first=Kristin|userid=Shawkm|email=shawkm@ math.toronto.edu|location=second row, second from the left|comments=}}
{{Photo Entry|last=Antolin Camarena|first=Omar|userid=Oantolin|email=oantolin@ math.toronto.edu|location=second row, furthest to the left (mostly obscured by people in front row)|comments=}}
{{Photo Entry|last=Roukema|first=Fionntan|userid=Roukema|email=froukema@ math.toronto.edu|location=First row, furthest to the right. Head roughly where the diagonals of the picture meet. Don't seem to be wearing socks of any great worth|comments=}}
{{Photo Entry|last=Sankaran|first=Siddarth|userid=Sankaran|email=siddarth.sankaran@ utoronto. ca |location= Front row centre.|comments=}}

|}

User:Bailey/HW4

2006-12-06T05:23:48Z

Bailey:

Testing 123
MORE TO COME

===The Generators===

Our generators are <math>T</math>, <math>R</math>, <math>\Phi</math> and <math>B^{\pm}</math>:
{| align=center cellpadding=10 style="border: solid orange 1px"
|- align=center valign=middle
|align=left|Picture
|
|
|
|[[Image:06-1350-BPlus.svg|100px]]
|
|- align=center valign=middle
|align=left|Generator
|<math>T</math>
|<math>R</math>
|<math>\Phi</math>
|<math>B^+</math>
|<math>B^-</math>
|- align=center valign=middle
|align=left|Perturbation
|<math>t</math>
|<math>r</math>
|<math>\varphi</math>
|<math>b^+</math>
|<math>b^-</math>
|}

===The Relations===

====The Reidemeister Move R3====
The picture (with three sides of the shielding removed) is
[[Image:06-1350-R4.svg|400px|center]]
In formulas, this is
<center><math>(1230)^\star B^+ (1213)^\star B^+ (1023)^\star B^+ = (1123)^\star B^+ (1203)^\star B^+ (1231)^\star B^+</math>.</center>
Linearized and written in functional form, this becomes
{| align=center
|-
|<math>\rho_3(x_1, x_2, x_3, x_4) = </math>
|<math>b^+(x_1,x_2,x_3) + b^+(x_1+x_3,x_2,x_4) + b^+(x_1,x_3,x_4)</math>
|-
|
|<math>- 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).</math>
|}

===The Syzygies===

====The "B around B" Syzygy====

The picture, with all shielding removed, is
{| align=center
|- align=center
|[[Image:06-1350-BAroundB.svg|center]]
|-
|align=right|(Drawn with [http://www.inkscape.org/ Inkscape])<br>(note that lower quality pictures are also acceptable)
|}

The functional form of this syzygy is

{| align=center
|-
|<math>BB(x_1,x_2,x_3,x_4,x_5) = </math>
|<math>\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)</math>
|-
|
|<math>- \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)</math>
|-
|
|<math>+ \rho_3(x_1, x_3, x_4, x_5) + \rho_3(x_1 + x_3, x_2, x_4, x_5).</math>
|}

===A Mathematica Verification===

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

{{In|n=1|in=<nowiki>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]
};</nowiki>}}

{{InOut|n=3|in=<nowiki>BAroundB[x1, x2, x3, x4, x5] /. d2</nowiki>|out=<nowiki>- 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]</nowiki>}}

{{InOut|n=4|in=<nowiki>BAroundB[x1, x2, x3, x4, x5] /. d2 /. d1</nowiki>|out=<nowiki>0</nowiki>}}

MORE TO COME

User:Bailey/HW4

2006-12-06T05:20:34Z

Bailey:

Testing 123
===The Generators===

Our generators are <math>T</math>, <math>R</math>, <math>\Phi</math> and <math>B^{\pm}</math>:
{| align=center cellpadding=10 style="border: solid orange 1px"
|- align=center valign=middle
|align=left|Picture
|
|
|
|[[Image:06-1350-BPlus.svg|100px]]
|
|- align=center valign=middle
|align=left|Generator
|<math>T</math>
|<math>R</math>
|<math>\Phi</math>
|<math>B^+</math>
|<math>B^-</math>
|- align=center valign=middle
|align=left|Perturbation
|<math>t</math>
|<math>r</math>
|<math>\varphi</math>
|<math>b^+</math>
|<math>b^-</math>
|}

===The Relations===

====The Reidemeister Move R3====
The picture (with three sides of the shielding removed) is
[[Image:06-1350-R4.svg|400px|center]]
In formulas, this is
<center><math>(1230)^\star B^+ (1213)^\star B^+ (1023)^\star B^+ = (1123)^\star B^+ (1203)^\star B^+ (1231)^\star B^+</math>.</center>
Linearized and written in functional form, this becomes
{| align=center
|-
|<math>\rho_3(x_1, x_2, x_3, x_4) = </math>
|<math>b^+(x_1,x_2,x_3) + b^+(x_1+x_3,x_2,x_4) + b^+(x_1,x_3,x_4)</math>
|-
|
|<math>- 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).</math>
|}

===The Syzygies===

====The "B around B" Syzygy====

The picture, with all shielding removed, is
{| align=center
|- align=center
|[[Image:06-1350-BAroundB.svg|center]]
|-
|align=right|(Drawn with [http://www.inkscape.org/ Inkscape])<br>(note that lower quality pictures are also acceptable)
|}

The functional form of this syzygy is

{| align=center
|-
|<math>BB(x_1,x_2,x_3,x_4,x_5) = </math>
|<math>\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)</math>
|-
|
|<math>- \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)</math>
|-
|
|<math>+ \rho_3(x_1, x_3, x_4, x_5) + \rho_3(x_1 + x_3, x_2, x_4, x_5).</math>
|}

===A Mathematica Verification===

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

{{In|n=1|in=<nowiki>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]
};</nowiki>}}

{{InOut|n=3|in=<nowiki>BAroundB[x1, x2, x3, x4, x5] /. d2</nowiki>|out=<nowiki>- 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]</nowiki>}}

{{InOut|n=4|in=<nowiki>BAroundB[x1, x2, x3, x4, x5] /. d2 /. d1</nowiki>|out=<nowiki>0</nowiki>}}

User:Bailey/HW4

2006-12-06T02:54:10Z

Bailey:

Testing 123