Professional Documents
Culture Documents
Braids
Invariants from braids
H.R.Morton
Knots
Braids
Invariants from braids
Knot theory spans some 150 years, going back to Maxwell, and
even Gauss.
H.R.Morton
Knots
Braids
Invariants from braids
Knot theory spans some 150 years, going back to Maxwell, and
even Gauss.
The most basic idea: Take a piece of rope and tie a knot in it.
H.R.Morton
Knots
Braids
Invariants from braids
Knot theory spans some 150 years, going back to Maxwell, and
even Gauss.
The most basic idea: Take a piece of rope and tie a knot in it.
H.R.Morton
Knots
Braids
Invariants from braids
Knot theory spans some 150 years, going back to Maxwell, and
even Gauss.
The most basic idea: Take a piece of rope and tie a knot in it.
H.R.Morton
Knots
Braids
Invariants from braids
H.R.Morton
Knots
Braids
Invariants from braids
Trefoil
H.R.Morton
Knots
Braids
Invariants from braids
Trefoil
Figure eight
H.R.Morton
Knots
Braids
Invariants from braids
Trefoil
Figure eight
H.R.Morton
Knots
Braids
Invariants from braids
H.R.Morton
Knots
Braids
Invariants from braids
H.R.Morton
Knots
Braids
Invariants from braids
H.R.Morton
Knots
Braids
Invariants from braids
RI :
RII :
H.R.Morton
RIII :
Knots
Braids
Invariants from braids
H.R.Morton
Knots
Braids
Invariants from braids
H.R.Morton
Knots
Braids
Invariants from braids
H.R.Morton
Knots
Braids
Invariants from braids
Basic problem.
Given knots K , K decide if it is possible to manipulate K to K .
H.R.Morton
Knots
Braids
Invariants from braids
Basic problem.
Given knots K , K decide if it is possible to manipulate K to K .
An invariant of K is some algebraic object I (K ) (maybe a number
or function) which, typically, can be calculated from a diagram of
K , in such a way that different pictures of K give the same object
I (K ).
H.R.Morton
Knots
Braids
Invariants from braids
Basic problem.
Given knots K , K decide if it is possible to manipulate K to K .
An invariant of K is some algebraic object I (K ) (maybe a number
or function) which, typically, can be calculated from a diagram of
K , in such a way that different pictures of K give the same object
I (K ).
Compare K , K by calculating I (K ) and I (K ).
H.R.Morton
Knots
Braids
Invariants from braids
Basic problem.
Given knots K , K decide if it is possible to manipulate K to K .
An invariant of K is some algebraic object I (K ) (maybe a number
or function) which, typically, can be calculated from a diagram of
K , in such a way that different pictures of K give the same object
I (K ).
Compare K , K by calculating I (K ) and I (K ).
If I (K ) 6= I (K ) then K , K really are different knots.
H.R.Morton
Knots
Braids
Invariants from braids
H.R.Morton
Knots
Braids
Invariants from braids
H.R.Morton
Knots
Braids
Invariants from braids
H.R.Morton
Knots
Braids
Invariants from braids
H.R.Morton
Knots
Braids
Invariants from braids
H.R.Morton
Knots
Braids
Invariants from braids
H.R.Morton
Knots
Braids
Invariants from braids
Knots
Braids
Invariants from braids
H.R.Morton
Knots
Braids
Invariants from braids
H.R.Morton
Knots
Braids
Invariants from braids
H.R.Morton
Knots
Braids
Invariants from braids
H.R.Morton
Knots
Braids
Invariants from braids
H.R.Morton
Knots
Braids
Invariants from braids
H.R.Morton
Knots
Braids
Invariants from braids
H.R.Morton
Knots
Braids
Invariants from braids
H.R.Morton
Knots
Braids
Invariants from braids
H.R.Morton
Knots
Braids
Invariants from braids
H.R.Morton
Knots
Braids
Invariants from braids
H.R.Morton
Knots
Braids
Invariants from braids
H.R.Morton
Knots
Braids
Invariants from braids
H.R.Morton
Knots
Braids
Invariants from braids
H.R.Morton
Knots
Braids
Invariants from braids
H.R.Morton
Knots
Braids
Invariants from braids
H.R.Morton
Knots
Braids
Invariants from braids
H.R.Morton
Knots
Braids
Invariants from braids
Braids are studied up to ambient isotopy keeping the ends fixedstrings may move around between the planes, but may not pass
through each other.
H.R.Morton
Knots
Braids
Invariants from braids
H.R.Morton
Knots
Braids
Invariants from braids
H.R.Morton
Knots
Braids
Invariants from braids
H.R.Morton
Knots
Braids
Invariants from braids
H.R.Morton
Knots
Braids
Invariants from braids
i j
i i +1 i
= j i ,
|i j| > 1,
= i +1 i i +1 ,
H.R.Morton
Knots
Braids
Invariants from braids
= 2 31 42 21 3 11 51 2 4
H.R.Morton
Knots
Braids
Invariants from braids
Knots
Braids
Knots from braids
Finding braid presentations for knots
H.R.Morton
Knots
Braids
Invariants from braids
H.R.Morton
Knots
Braids
Invariants from braids
H.R.Morton
Knots
Braids
Invariants from braids
H.R.Morton
Knots
Braids
Invariants from braids
H.R.Morton
Knots
Braids
Invariants from braids
H.R.Morton
Knots
Braids
Invariants from braids
H.R.Morton
Knots
Braids
Invariants from braids
H.R.Morton
Knots
Braids
Invariants from braids
H.R.Morton
Knots
Braids
Invariants from braids
H.R.Morton
Knots
Braids
Invariants from braids
Both of these methods come with theorems to say that every knot
has such a presentation,
H.R.Morton
Knots
Braids
Invariants from braids
Both of these methods come with theorems to say that every knot
has such a presentation, along with simple moves on braids relating
any two braids which result in the same knot.
H.R.Morton
Knots
Braids
Invariants from braids
Both of these methods come with theorems to say that every knot
has such a presentation, along with simple moves on braids relating
any two braids which result in the same knot.
Algebraic constructions starting from a braid which are invariant
under these moves then depend only on the resulting knot.
H.R.Morton
Knots
Braids
Invariants from braids
Both of these methods come with theorems to say that every knot
has such a presentation, along with simple moves on braids relating
any two braids which result in the same knot.
Algebraic constructions starting from a braid which are invariant
under these moves then depend only on the resulting knot.
These give a useful source of knot invariants. The Jones
polynomial was originally defined in this way using closed braid
presentations.
H.R.Morton
Knots
Braids
Invariants from braids
H.R.Morton
Knots
Braids
Invariants from braids
H.R.Morton
Knots
Braids
Invariants from braids
H.R.Morton
Knots
Braids
Invariants from braids
H.R.Morton
Knots
Braids
Invariants from braids
x1
H.R.Morton
xn
Knots
Braids
Invariants from braids
x1
xn
H.R.Morton
Knots
Braids
Invariants from braids
x1
H.R.Morton
xn
Knots
Braids
Invariants from braids
x1
xn
H.R.Morton
Knots
Braids
Invariants from braids
x1
xn
Knots
Braids
Invariants from braids
H.R.Morton
Knots
Braids
Invariants from braids
H.R.Morton
Knots
Braids
Invariants from braids
H.R.Morton
Knots
Braids
Invariants from braids
H.R.Morton
Knots
Braids
Invariants from braids
H.R.Morton
bab 1
Knots
Braids
Invariants from braids
H.R.Morton
Knots
Braids
Invariants from braids
H.R.Morton
Knots
Braids
Invariants from braids
H.R.Morton
Knots
Braids
Invariants from braids
H.R.Morton
Knots
Braids
Invariants from braids
H.R.Morton
Knots
Braids
Invariants from braids
H.R.Morton
Knots
Braids
Invariants from braids
H.R.Morton
Knots
Braids
Invariants from braids
H.R.Morton
Knots
Braids
Invariants from braids
22 11 2 =
H.R.Morton
Knots
Braids
Invariants from braids
H.R.Morton
Knots
Braids
Invariants from braids
(25)(34)
(25)(34)
H.R.Morton
(13)(45)
(13)(45)
Knots
Braids
Invariants from braids
(13)(45)
(14)(23)
(25)(34)
(25)(34)
H.R.Morton
(13)(45)
(13)(45)
Knots
Braids
Invariants from braids
(14)(23)
(13)(45)
(12)(35)
(25)(34)
(25)(34)
H.R.Morton
(13)(45)
(13)(45)
Knots
Braids
Invariants from braids
(14)(23)
(13)(45)
(13)(45)
(25)(34)
(25)(34)
H.R.Morton
(12)(35)
(13)(45)
(13)(45)
Knots
Braids
Invariants from braids
(14)(23)
(14)(23)
(13)(45)
(13)(45)
(12)(35)
(25)(34)
(25)(34)
H.R.Morton
(13)(45)
(13)(45)
Knots
Braids
Invariants from braids
(14)(23)
(14)(23)
(13)(45)
(13)(45)
(25)(34)
(25)(34)
(13)(45)
(13)(45)
H.R.Morton
Knots
Braids
Invariants from braids
(14)(23)
(14)(23)
(13)(45)
(13)(45)
(25)(34)
(25)(34)
(13)(45)
(13)(45)
H.R.Morton
Knots
Braids
Invariants from braids
H.R.Morton
Knots
Braids
Invariants from braids
H.R.Morton
Knots
Braids
Invariants from braids
Knots
Braids
Knots from braids
Finding braid presentations for knots
H.R.Morton
Knots
Braids
Invariants from braids
H.R.Morton
Knots
Braids
Invariants from braids
H.R.Morton
Knots
Braids
Invariants from braids
Move the local maxima and minima of the diagram to take all the
local maxima to the top and all the local minima to the bottom.
H.R.Morton
Knots
Braids
Invariants from braids
H.R.Morton
Knots
Braids
Invariants from braids
H.R.Morton
Knots
Braids
Invariants from braids
H.R.Morton
Knots
Braids
Invariants from braids
H.R.Morton
Knots
Braids
Invariants from braids
H.R.Morton
Knots
Braids
Invariants from braids
H.R.Morton
Knots
Braids
Invariants from braids
H.R.Morton
Knots
Braids
Invariants from braids
H.R.Morton
Knots
Braids
Invariants from braids
H.R.Morton
Knots
Braids
Invariants from braids
H.R.Morton
Knots
Braids
Invariants from braids
H.R.Morton
Knots
Braids
Invariants from braids
H.R.Morton
Knots
Braids
Invariants from braids
H.R.Morton
Knots
Braids
Invariants from braids
H.R.Morton
Knots
Braids
Invariants from braids
H.R.Morton
Knots
Braids
Invariants from braids
H.R.Morton
Knots
Braids
Invariants from braids
H.R.Morton
Knots
Braids
Invariants from braids
H.R.Morton
Knots
Braids
Invariants from braids
H.R.Morton
Knots
Braids
Invariants from braids
H.R.Morton
Knots
Braids
Invariants from braids
H.R.Morton
Knots
Braids
Invariants from braids
H.R.Morton
Knots
Braids
Invariants from braids
H.R.Morton
Knots
Braids
Invariants from braids
H.R.Morton
Knots
Braids
Invariants from braids
H.R.Morton
Knots
Braids
Invariants from braids
H.R.Morton
Knots
Braids
Invariants from braids
H.R.Morton
Knots
Braids
Invariants from braids
Knots
Braids
Knots from braids
Finding braid presentations for knots
H.R.Morton
Knots
Braids
Invariants from braids
H.R.Morton
Knots
Braids
Invariants from braids
t4
t2
t1
t4
t1
t3
t2
t2
H.R.Morton
t3
t4
Knots
Braids
Invariants from braids
1
..
.
Ci (a) =
a a 1
..
.
1
H.R.Morton
Knots
Braids
Invariants from braids
1
..
.
Ci (a) =
a a 1
..
.
1
Knots
Braids
Invariants from braids
H.R.Morton
Knots
Braids
Invariants from braids
l
Y
r =1
H.R.Morton
Knots
Braids
Invariants from braids
H.R.Morton
Knots
Braids
Invariants from braids
H.R.Morton
Knots
Braids
Invariants from braids
H.R.Morton
Knots
Braids
Invariants from braids
The polynomial for the closed braid itself, without the axis, can be
found from the Torres-Fox formula.
H.R.Morton
Knots
Braids
Invariants from braids
The polynomial for the closed braid itself, without the axis, can be
found from the Torres-Fox formula.
In this case we must set x = 1, to suppress the axis, and divide by
1 t1 t2 . . . tn .
H.R.Morton
Knots
Braids
Invariants from braids
The polynomial for the closed braid itself, without the axis, can be
found from the Torres-Fox formula.
In this case we must set x = 1, to suppress the axis, and divide by
1 t1 t2 . . . tn .
A simple Maple procedure multiburau.maple implementing this
can be found on the Liverpool knot theory website.
H.R.Morton
Knots
Braids
Invariants from braids
The polynomial for the closed braid itself, without the axis, can be
found from the Torres-Fox formula.
In this case we must set x = 1, to suppress the axis, and divide by
1 t1 t2 . . . tn .
A simple Maple procedure multiburau.maple implementing this
can be found on the Liverpool knot theory website.
An older program for calculating the Homfly polynomial of a closed
braid can also be found there, as well as details of other papers.
H.R.Morton
Knots
Braids
Invariants from braids
The polynomial for the closed braid itself, without the axis, can be
found from the Torres-Fox formula.
In this case we must set x = 1, to suppress the axis, and divide by
1 t1 t2 . . . tn .
A simple Maple procedure multiburau.maple implementing this
can be found on the Liverpool knot theory website.
An older program for calculating the Homfly polynomial of a closed
braid can also be found there, as well as details of other papers.
(Google Hugh Morton to find them)
H.R.Morton