You are on page 1of 144

Knots

Braids
Invariants from braids

Knots, braids and invariants


H.R.Morton
University of Liverpool

Barcelona October 2010

H.R.Morton

Knots, braids and invariants

Knots
Braids
Invariants from braids

Knot theory spans some 150 years, going back to Maxwell, and
even Gauss.

H.R.Morton

Knots, braids and invariants

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 and invariants

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.

A trefoil (overhand) knot,

H.R.Morton

Knots, braids and invariants

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.

A trefoil (overhand) knot,

A figure eight knot.

H.R.Morton

Knots, braids and invariants

Knots
Braids
Invariants from braids

Join the two ends of the rope to make a closed curve.

H.R.Morton

Knots, braids and invariants

Knots
Braids
Invariants from braids

Join the two ends of the rope to make a closed curve.

Trefoil

H.R.Morton

Knots, braids and invariants

Knots
Braids
Invariants from braids

Join the two ends of the rope to make a closed curve.

Trefoil

Figure eight

H.R.Morton

Knots, braids and invariants

Knots
Braids
Invariants from braids

Join the two ends of the rope to make a closed curve.

Trefoil

Figure eight

Unknotted (trivial) curve.

H.R.Morton

Knots, braids and invariants

Knots
Braids
Invariants from braids

A knot K means a simple closed curve in Euclidean space R3 .

H.R.Morton

Knots, braids and invariants

Knots
Braids
Invariants from braids

A knot K means a simple closed curve in Euclidean space R3 .


Think of two knots as essentially the same if we can manipulate
one as a piece of elastic rope to become the other.

H.R.Morton

Knots, braids and invariants

Knots
Braids
Invariants from braids

A knot K means a simple closed curve in Euclidean space R3 .


Think of two knots as essentially the same if we can manipulate
one as a piece of elastic rope to become the other.
A classic combinatorial result of Reidemeister shows that all
manipulations can be realised by combinations of just 3 basic
moves on diagrams:

H.R.Morton

Knots, braids and invariants

Knots
Braids
Invariants from braids

A knot K means a simple closed curve in Euclidean space R3 .


Think of two knots as essentially the same if we can manipulate
one as a piece of elastic rope to become the other.
A classic combinatorial result of Reidemeister shows that all
manipulations can be realised by combinations of just 3 basic
moves on diagrams:

RI :

RII :

H.R.Morton

RIII :

Knots, braids and invariants

Knots
Braids
Invariants from braids

We can similarly use several closed curves - termed a link - such as

the Hopf link

H.R.Morton

Knots, braids and invariants

Knots
Braids
Invariants from braids

We can similarly use several closed curves - termed a link - such as

the Hopf link

the Borromean rings.

H.R.Morton

Knots, braids and invariants

Knots
Braids
Invariants from braids

We can similarly use several closed curves - termed a link - such as

the Hopf link

the Borromean rings.


While these cant be separated, if any one ring is removed the
result is

H.R.Morton

Knots, braids and invariants

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 and invariants

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 and invariants

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 and invariants

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 and invariants

Knots
Braids
Invariants from braids

One powerful invariant is the fundamental group


1 (R3 K ) = GK .

H.R.Morton

Knots, braids and invariants

Knots
Braids
Invariants from braids

One powerful invariant is the fundamental group


1 (R3 K ) = GK .
Equivalent knots have isomorphic groups.

H.R.Morton

Knots, braids and invariants

Knots
Braids
Invariants from braids

One powerful invariant is the fundamental group


1 (R3 K ) = GK .
Equivalent knots have isomorphic groups.
So
GK
6 GK = K 6= K .
=

H.R.Morton

Knots, braids and invariants

Knots
Braids
Invariants from braids

One powerful invariant is the fundamental group


1 (R3 K ) = GK .
Equivalent knots have isomorphic groups.
So
GK
6 GK = K 6= K .
=
If K has the same group as the trivial knot then K itself is trivial.

H.R.Morton

Knots, braids and invariants

Knots
Braids
Invariants from braids

One powerful invariant is the fundamental group


1 (R3 K ) = GK .
Equivalent knots have isomorphic groups.
So
GK
6 GK = K 6= K .
=
If K has the same group as the trivial knot then K itself is trivial.
GK
= GK + conditions on special subgroup = K = K .

H.R.Morton

Knots, braids and invariants

Knots
Braids
Invariants from braids

One powerful invariant is the fundamental group


1 (R3 K ) = GK .
Equivalent knots have isomorphic groups.
So
GK
6 GK = K 6= K .
=
If K has the same group as the trivial knot then K itself is trivial.
GK
= GK + conditions on special subgroup = K = K .
It is easy to find a presentation for GK from any diagram of K .

H.R.Morton

Knots, braids and invariants

Knots
Braids
Invariants from braids

One powerful invariant is the fundamental group


1 (R3 K ) = GK .
Equivalent knots have isomorphic groups.
So
GK
6 GK = K 6= K .
=
If K has the same group as the trivial knot then K itself is trivial.
GK
= GK + conditions on special subgroup = K = K .
It is easy to find a presentation for GK from any diagram of K .
The problem with this invariant comes in deciding when the two
groups are isomorphic.
H.R.Morton

Knots, braids and invariants

Knots
Braids
Invariants from braids

The Alexander polynomial K (t) Z[t 1 ] is a classical invariant


(1920) which can be derived from the knot or directly from GK .

H.R.Morton

Knots, braids and invariants

Knots
Braids
Invariants from braids

The Alexander polynomial K (t) Z[t 1 ] is a classical invariant


(1920) which can be derived from the knot or directly from GK .
It is easy to check when two Laurent polynomials are equal.
Trefoil = t 1 1 + t
Figure eight = t 1 + 3 t
Trivial = 1

H.R.Morton

Knots, braids and invariants

Knots
Braids
Invariants from braids

The Alexander polynomial K (t) Z[t 1 ] is a classical invariant


(1920) which can be derived from the knot or directly from GK .
It is easy to check when two Laurent polynomials are equal.
Trefoil = t 1 1 + t
Figure eight = t 1 + 3 t
Trivial = 1
But there are lots of knots with the same and even with trivial
.

H.R.Morton

Knots, braids and invariants

Knots
Braids
Invariants from braids

The Alexander polynomial K (t) Z[t 1 ] is a classical invariant


(1920) which can be derived from the knot or directly from GK .
It is easy to check when two Laurent polynomials are equal.
Trefoil = t 1 1 + t
Figure eight = t 1 + 3 t
Trivial = 1
But there are lots of knots with the same and even with trivial
.
Hence there is quite limited discrimination.

H.R.Morton

Knots, braids and invariants

Knots
Braids
Invariants from braids

There has been a long involvement of algebra in geometry and


topology.

H.R.Morton

Knots, braids and invariants

Knots
Braids
Invariants from braids

There has been a long involvement of algebra in geometry and


topology.
To show that two things are similar you need geometry.

H.R.Morton

Knots, braids and invariants

Knots
Braids
Invariants from braids

There has been a long involvement of algebra in geometry and


topology.
To show that two things are similar you need geometry.
To show they are different you need algebra.

H.R.Morton

Knots, braids and invariants

Knots
Braids
Invariants from braids

There has been a long involvement of algebra in geometry and


topology.
To show that two things are similar you need geometry.
To show they are different you need algebra.
This is generally the case for knots.

H.R.Morton

Knots, braids and invariants

Knots
Braids
Invariants from braids

There has been a long involvement of algebra in geometry and


topology.
To show that two things are similar you need geometry.
To show they are different you need algebra.
This is generally the case for knots.
In rare instances algebra is enough to establish similarity.

H.R.Morton

Knots, braids and invariants

Knots
Braids
Invariants from braids

Knot groups are residually finite. (Any non-trivial element can be


detected by a homomorphism to some finite group.)

H.R.Morton

Knots, braids and invariants

Knots
Braids
Invariants from braids

Knot groups are residually finite. (Any non-trivial element can be


detected by a homomorphism to some finite group.)
There is a key element (the longitude of K ) in GK which is e if
and only if K is trivial.

H.R.Morton

Knots, braids and invariants

Knots
Braids
Invariants from braids

Knot groups are residually finite. (Any non-trivial element can be


detected by a homomorphism to some finite group.)
There is a key element (the longitude of K ) in GK which is e if
and only if K is trivial.
A non-trivial knot K then always has a homomorphism from GK to
some permutation group Sn with non-abelian image.

H.R.Morton

Knots, braids and invariants

Knots
Braids
Invariants from braids

Knot groups are residually finite. (Any non-trivial element can be


detected by a homomorphism to some finite group.)
There is a key element (the longitude of K ) in GK which is e if
and only if K is trivial.
A non-trivial knot K then always has a homomorphism from GK to
some permutation group Sn with non-abelian image.
Analysing representations of GK to quite small permutation groups
gives a surprising amount of information.

H.R.Morton

Knots, braids and invariants

Knots
Braids
Invariants from braids

Knot groups are residually finite. (Any non-trivial element can be


detected by a homomorphism to some finite group.)
There is a key element (the longitude of K ) in GK which is e if
and only if K is trivial.
A non-trivial knot K then always has a homomorphism from GK to
some permutation group Sn with non-abelian image.
Analysing representations of GK to quite small permutation groups
gives a surprising amount of information.
Thistlethwaite used this technique systematically to ensure that
there were no duplicates in his extensive tables of knots with up to
16 crossings.

H.R.Morton

Knots, braids and invariants

Knots
Braids
Invariants from braids

Knots from braids


Finding braid presentations for knots

Braids provide an important interface between knots and algebra,


dating back to work of Artin in 1925.

H.R.Morton

Knots, braids and invariants

Knots
Braids
Invariants from braids

Knots from braids


Finding braid presentations for knots

From the geometric viewpoint an n-string braid is a union of n


disjoint strings running monotonically from one plane to another
parallel plane.

H.R.Morton

Knots, braids and invariants

Knots
Braids
Invariants from braids

Knots from braids


Finding braid presentations for knots

From the geometric viewpoint an n-string braid is a union of n


disjoint strings running monotonically from one plane to another
parallel plane.

H.R.Morton

Knots, braids and invariants

Knots
Braids
Invariants from braids

Knots from braids


Finding braid presentations for knots

From the geometric viewpoint an n-string braid is a union of n


disjoint strings running monotonically from one plane to another
parallel plane.

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 and invariants

Knots
Braids
Invariants from braids

Knots from braids


Finding braid presentations for knots

With a fixed choice of endpoints on the plane they can be


composed by placing one above another.

H.R.Morton

Knots, braids and invariants

Knots
Braids
Invariants from braids

Knots from braids


Finding braid presentations for knots

With a fixed choice of endpoints on the plane they can be


composed by placing one above another.
They form a group Bn , generated by the elementary braids i with
a single crossing between strings i and i + 1

H.R.Morton

Knots, braids and invariants

Knots
Braids
Invariants from braids

Knots from braids


Finding braid presentations for knots

With a fixed choice of endpoints on the plane they can be


composed by placing one above another.
They form a group Bn , generated by the elementary braids i with
a single crossing between strings i and i + 1
i =
i i +1

H.R.Morton

Knots, braids and invariants

Knots
Braids
Invariants from braids

Knots from braids


Finding braid presentations for knots

With a fixed choice of endpoints on the plane they can be


composed by placing one above another.
They form a group Bn , generated by the elementary braids i with
a single crossing between strings i and i + 1
i =
i i +1

Artin gave the classic presentation for Bn with these generators


and the relations

H.R.Morton

Knots, braids and invariants

Knots
Braids
Invariants from braids

Knots from braids


Finding braid presentations for knots

With a fixed choice of endpoints on the plane they can be


composed by placing one above another.
They form a group Bn , generated by the elementary braids i with
a single crossing between strings i and i + 1
i =
i i +1

Artin gave the classic presentation for Bn with these generators


and the relations

i j
i i +1 i

= j i ,

|i j| > 1,

= i +1 i i +1 ,

H.R.Morton

Knots, braids and invariants

Knots
Braids
Invariants from braids

Knots from braids


Finding braid presentations for knots

The braid shown earlier can be written in Artins notation as

= 2 31 42 21 3 11 51 2 4

H.R.Morton

Knots, braids and invariants

Knots
Braids
Invariants from braids

Knots from braids


Finding braid presentations for knots

Knots

Braids
Knots from braids
Finding braid presentations for knots

Invariants from braids


The coloured Burau representation

H.R.Morton

Knots, braids and invariants

Knots
Braids
Invariants from braids

Knots from braids


Finding braid presentations for knots

A braid can be used to determine a knot in two classical ways.


One is by making a plat.

H.R.Morton

Knots, braids and invariants

Knots
Braids
Invariants from braids

Knots from braids


Finding braid presentations for knots

A braid can be used to determine a knot in two classical ways.


One is by making a plat.
Take a braid with 2k strings and join up the strings with k local
maxima at the top and k local minima at the bottom.

H.R.Morton

Knots, braids and invariants

Knots
Braids
Invariants from braids

Knots from braids


Finding braid presentations for knots

A braid can be used to determine a knot in two classical ways.


One is by making a plat.
Take a braid with 2k strings and join up the strings with k local
maxima at the top and k local minima at the bottom.

H.R.Morton

Knots, braids and invariants

Knots
Braids
Invariants from braids

Knots from braids


Finding braid presentations for knots

A braid can be used to determine a knot in two classical ways.


One is by making a plat.
Take a braid with 2k strings and join up the strings with k local
maxima at the top and k local minima at the bottom.

H.R.Morton

Knots, braids and invariants

Knots
Braids
Invariants from braids

Knots from braids


Finding braid presentations for knots

A braid can be used to determine a knot in two classical ways.


One is by making a plat.
Take a braid with 2k strings and join up the strings with k local
maxima at the top and k local minima at the bottom.

H.R.Morton

Knots, braids and invariants

Knots
Braids
Invariants from braids

Knots from braids


Finding braid presentations for knots

The second way is to make a closed braid.

H.R.Morton

Knots, braids and invariants

Knots
Braids
Invariants from braids

Knots from braids


Finding braid presentations for knots

The second way is to make a closed braid.


Join the top points to the corresponding bottom points without
further crossings.

H.R.Morton

Knots, braids and invariants

Knots
Braids
Invariants from braids

Knots from braids


Finding braid presentations for knots

The second way is to make a closed braid.


Join the top points to the corresponding bottom points without
further crossings.

H.R.Morton

Knots, braids and invariants

Knots
Braids
Invariants from braids

Knots from braids


Finding braid presentations for knots

The second way is to make a closed braid.


Join the top points to the corresponding bottom points without
further crossings.

H.R.Morton

Knots, braids and invariants

Knots
Braids
Invariants from braids

Knots from braids


Finding braid presentations for knots

Both of these methods come with theorems to say that every knot
has such a presentation,

H.R.Morton

Knots, braids and invariants

Knots
Braids
Invariants from braids

Knots from braids


Finding braid presentations for knots

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 and invariants

Knots
Braids
Invariants from braids

Knots from braids


Finding braid presentations for knots

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 and invariants

Knots
Braids
Invariants from braids

Knots from braids


Finding braid presentations for knots

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 and invariants

Knots
Braids
Invariants from braids

Knots from braids


Finding braid presentations for knots

Braids give a convenient way of presenting the group of a knot,


and of handling its representations to other groups.

H.R.Morton

Knots, braids and invariants

Knots
Braids
Invariants from braids

Knots from braids


Finding braid presentations for knots

Braids give a convenient way of presenting the group of a knot,


and of handling its representations to other groups.
At the heart of this is the action of the braid group Bn on the free
group Fn of rank n.

H.R.Morton

Knots, braids and invariants

Knots
Braids
Invariants from braids

Knots from braids


Finding braid presentations for knots

Look at a braid from the front.

H.R.Morton

Knots, braids and invariants

Knots
Braids
Invariants from braids

Knots from braids


Finding braid presentations for knots

Look at a braid from the front.


With the eye as base point we can draw loops once round each
string at the bottom of the braid, representing elements x1 , . . . , xn .

H.R.Morton

Knots, braids and invariants

Knots
Braids
Invariants from braids

Knots from braids


Finding braid presentations for knots

Look at a braid from the front.


With the eye as base point we can draw loops once round each
string at the bottom of the braid, representing elements x1 , . . . , xn .

x1

H.R.Morton

xn

Knots, braids and invariants

Knots
Braids
Invariants from braids

Knots from braids


Finding braid presentations for knots

Look at a braid from the front.


With the eye as base point we can draw loops once round each
string at the bottom of the braid, representing elements x1 , . . . , xn .

x1

xn

These generate the fundamental group of the complement of the


braid strings in R2 I , which is free of rank n.

H.R.Morton

Knots, braids and invariants

Knots
Braids
Invariants from braids

Knots from braids


Finding braid presentations for knots

The elements y1 , . . . , yn represented by loops round the strings at


the top of the braid are determined by in terms of x1 , . . . , xn .
yn
y1

x1

H.R.Morton

xn

Knots, braids and invariants

Knots
Braids
Invariants from braids

Knots from braids


Finding braid presentations for knots

The elements y1 , . . . , yn represented by loops round the strings at


the top of the braid are determined by in terms of x1 , . . . , xn .
yn
y1

x1

xn

Write (y1 , . . . , yn ) = (x1 , . . . , xn ).

H.R.Morton

Knots, braids and invariants

Knots
Braids
Invariants from braids

Knots from braids


Finding braid presentations for knots

The elements y1 , . . . , yn represented by loops round the strings at


the top of the braid are determined by in terms of x1 , . . . , xn .
yn
y1

x1

xn

Write (y1 , . . . , yn ) = (x1 , . . . , xn ).


The resulting automorphism of the free group can be found
readily by composing the automorphisms for the elementary braids
i1 which make up the braid .
H.R.Morton

Knots, braids and invariants

Knots
Braids
Invariants from braids

Knots from braids


Finding braid presentations for knots

In this way the braid group can be viewed as an explicit subgroup


of the automorphism group of the free group Fn .

H.R.Morton

Knots, braids and invariants

Knots
Braids
Invariants from braids

Knots from braids


Finding braid presentations for knots

In this way the braid group can be viewed as an explicit subgroup


of the automorphism group of the free group Fn .
The essential part of the automorphism is the action of the
elementary braid i , determining i (x1 , . . . , xn ) = (y1 , . . . , yn ).

H.R.Morton

Knots, braids and invariants

Knots
Braids
Invariants from braids

Knots from braids


Finding braid presentations for knots

In this way the braid group can be viewed as an explicit subgroup


of the automorphism group of the free group Fn .
The essential part of the automorphism is the action of the
elementary braid i , determining i (x1 , . . . , xn ) = (y1 , . . . , yn ).
This is given by yi +1 = xi , yi = xi1 xi +1 xi , with yj = xj otherwise.

H.R.Morton

Knots, braids and invariants

Knots
Braids
Invariants from braids

Knots from braids


Finding braid presentations for knots

In this way the braid group can be viewed as an explicit subgroup


of the automorphism group of the free group Fn .
The essential part of the automorphism is the action of the
elementary braid i , determining i (x1 , . . . , xn ) = (y1 , . . . , yn ).
This is given by yi +1 = xi , yi = xi1 xi +1 xi , with yj = xj otherwise.
The effect at each crossing comes from the simple Wirtinger
relations shown.
a1 ba

H.R.Morton

Knots, braids and invariants

Knots
Braids
Invariants from braids

Knots from braids


Finding braid presentations for knots

In this way the braid group can be viewed as an explicit subgroup


of the automorphism group of the free group Fn .
The essential part of the automorphism is the action of the
elementary braid i , determining i (x1 , . . . , xn ) = (y1 , . . . , yn ).
This is given by yi +1 = xi , yi = xi1 xi +1 xi , with yj = xj otherwise.
The effect at each crossing comes from the simple Wirtinger
relations shown.
a1 ba

H.R.Morton

bab 1

Knots, braids and invariants

Knots
Braids
Invariants from braids

Knots from braids


Finding braid presentations for knots

The presentation for the group of the closure of a braid is


< x1 , . . . , xn | (x1 , . . . , xn ) = (x1 , . . . , xn ) >

H.R.Morton

Knots, braids and invariants

Knots
Braids
Invariants from braids

Knots from braids


Finding braid presentations for knots

The presentation for the group of the closure of a braid is


< x1 , . . . , xn | (x1 , . . . , xn ) = (x1 , . . . , xn ) >
For the plat closure of an n = 2k braid we have
< x1 , . . . , xn | (x1 , . . . , xn ) = (y1 , . . . , yn ),

H.R.Morton

Knots, braids and invariants

Knots
Braids
Invariants from braids

Knots from braids


Finding braid presentations for knots

The presentation for the group of the closure of a braid is


< x1 , . . . , xn | (x1 , . . . , xn ) = (x1 , . . . , xn ) >
For the plat closure of an n = 2k braid we have
< x1 , . . . , xn | (x1 , . . . , xn ) = (y1 , . . . , yn ),
x1 x2 = x3 x4 = . . . x2k1 x2k = e,

H.R.Morton

Knots, braids and invariants

Knots
Braids
Invariants from braids

Knots from braids


Finding braid presentations for knots

The presentation for the group of the closure of a braid is


< x1 , . . . , xn | (x1 , . . . , xn ) = (x1 , . . . , xn ) >
For the plat closure of an n = 2k braid we have
< x1 , . . . , xn | (x1 , . . . , xn ) = (y1 , . . . , yn ),
x1 x2 = x3 x4 = . . . x2k1 x2k = e,
y1 y2 = . . . y2k1 y2k = e >

H.R.Morton

Knots, braids and invariants

Knots
Braids
Invariants from braids

Knots from braids


Finding braid presentations for knots

It is then possible to test out representations of the knot group to


a finite group G by going through all sequences of elements
(g1 , . . . , gn )

H.R.Morton

Knots, braids and invariants

Knots
Braids
Invariants from braids

Knots from braids


Finding braid presentations for knots

It is then possible to test out representations of the knot group to


a finite group G by going through all sequences of elements
(g1 , . . . , gn ) and counting (for a closed braid) those for which
(g1 , . . . , gn ) = (g1 , . . . , gn ).

H.R.Morton

Knots, braids and invariants

Knots
Braids
Invariants from braids

Knots from braids


Finding braid presentations for knots

It is then possible to test out representations of the knot group to


a finite group G by going through all sequences of elements
(g1 , . . . , gn ) and counting (for a closed braid) those for which
(g1 , . . . , gn ) = (g1 , . . . , gn ).
The count can be refined by fixing the conjugacy class of all the
elements gi , and by fixing the subgroup of G that they generate.

H.R.Morton

Knots, braids and invariants

Knots
Braids
Invariants from braids

Knots from braids


Finding braid presentations for knots

A similar count can be made for a plat.

H.R.Morton

Knots, braids and invariants

Knots
Braids
Invariants from braids

Knots from braids


Finding braid presentations for knots

A similar count can be made for a plat.


For example, the figure eight knot is the plat closure of the 4-braid

22 11 2 =

H.R.Morton

Knots, braids and invariants

Knots
Braids
Invariants from braids

Knots from braids


Finding braid presentations for knots

A non-trivial representation of its group using products of two


disjoint 2-cycles in S5 is given by the starting sequence
(g1 , g2 , g3 , g4 ) = ((25)(34), (25)(34), (13)(45), (13)(45))

H.R.Morton

Knots, braids and invariants

Knots
Braids
Invariants from braids

(25)(34)

(25)(34)

H.R.Morton

Knots from braids


Finding braid presentations for knots

(13)(45)

(13)(45)

Knots, braids and invariants

Knots
Braids
Invariants from braids

Knots from braids


Finding braid presentations for knots

(13)(45)

(14)(23)

(25)(34)

(25)(34)

H.R.Morton

(13)(45)

(13)(45)

Knots, braids and invariants

Knots
Braids
Invariants from braids

Knots from braids


Finding braid presentations for knots

(14)(23)

(13)(45)

(12)(35)

(25)(34)

(25)(34)

H.R.Morton

(13)(45)

(13)(45)

Knots, braids and invariants

Knots
Braids
Invariants from braids

Knots from braids


Finding braid presentations for knots

(14)(23)

(13)(45)

(13)(45)

(25)(34)

(25)(34)

H.R.Morton

(12)(35)

(13)(45)

(13)(45)

Knots, braids and invariants

Knots
Braids
Invariants from braids

(14)(23)

(14)(23)

Knots from braids


Finding braid presentations for knots

(13)(45)

(13)(45)

(12)(35)

(25)(34)

(25)(34)

H.R.Morton

(13)(45)

(13)(45)

Knots, braids and invariants

Knots
Braids
Invariants from braids

Knots from braids


Finding braid presentations for knots

(14)(23)

(14)(23)

(13)(45)

(13)(45)

(25)(34)

(25)(34)

(13)(45)

(13)(45)

The final sequence is


(g1 , g2 , g3 , g4 ) = ((14)(23), (14)(23), (13)(45), (13)(45)), which
satisfies the relations.

H.R.Morton

Knots, braids and invariants

Knots
Braids
Invariants from braids

Knots from braids


Finding braid presentations for knots

(14)(23)

(14)(23)

(13)(45)

(13)(45)

(25)(34)

(25)(34)

(13)(45)

(13)(45)

The final sequence is


(g1 , g2 , g3 , g4 ) = ((14)(23), (14)(23), (13)(45), (13)(45)), which
satisfies the relations.
The image of the knot group in this case is the group D(5) of
symmetries of a pentagon.

H.R.Morton

Knots, braids and invariants

Knots
Braids
Invariants from braids

Knots from braids


Finding braid presentations for knots

Taking G = S3 and using transpositions counts the classical


3-colourings of a knot.

H.R.Morton

Knots, braids and invariants

Knots
Braids
Invariants from braids

Knots from braids


Finding braid presentations for knots

Taking G = S3 and using transpositions counts the classical


3-colourings of a knot. A quick check shows that the figure eight
knot only admits trivial 3-colourings - those with the same
transposition in G used throughout.

H.R.Morton

Knots, braids and invariants

Knots
Braids
Invariants from braids

Knots from braids


Finding braid presentations for knots

Knots

Braids
Knots from braids
Finding braid presentations for knots

Invariants from braids


The coloured Burau representation

H.R.Morton

Knots, braids and invariants

Knots
Braids
Invariants from braids

Knots from braids


Finding braid presentations for knots

It is very easy to find a plat presentation from a diagram of a knot


K.

H.R.Morton

Knots, braids and invariants

Knots
Braids
Invariants from braids

Knots from braids


Finding braid presentations for knots

It is very easy to find a plat presentation from a diagram of a knot


K.
Choose a direction in the plane.

H.R.Morton

Knots, braids and invariants

Knots
Braids
Invariants from braids

Knots from braids


Finding braid presentations for knots

It is very easy to find a plat presentation from a diagram of a knot


K.
Choose a direction in the plane.

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 and invariants

Knots
Braids
Invariants from braids

Knots from braids


Finding braid presentations for knots

H.R.Morton

Knots, braids and invariants

Knots
Braids
Invariants from braids

Knots from braids


Finding braid presentations for knots

H.R.Morton

Knots, braids and invariants

Knots
Braids
Invariants from braids

Knots from braids


Finding braid presentations for knots

The result is a plat presentation of K .

H.R.Morton

Knots, braids and invariants

Knots
Braids
Invariants from braids

Knots from braids


Finding braid presentations for knots

In a closed braid diagram the curves run monotonically around a


point.

H.R.Morton

Knots, braids and invariants

Knots
Braids
Invariants from braids

Knots from braids


Finding braid presentations for knots

In a closed braid diagram the curves run monotonically around a


point.

H.R.Morton

Knots, braids and invariants

Knots
Braids
Invariants from braids

Knots from braids


Finding braid presentations for knots

In R3 this corresponds to an axis around which the curves run.

H.R.Morton

Knots, braids and invariants

Knots
Braids
Invariants from braids

Knots from braids


Finding braid presentations for knots

Compactifying to work in S 3 the axis becomes an unknotted curve


A S 3 K with K running monotonically around the complement
S3 A
= S 1 R2 .

H.R.Morton

Knots, braids and invariants

Knots
Braids
Invariants from braids

Knots from braids


Finding braid presentations for knots

H.R.Morton

Knots, braids and invariants

Knots
Braids
Invariants from braids

Knots from braids


Finding braid presentations for knots

The closure of a braid determines a link K A made up of the


closed braid K and axis A.

H.R.Morton

Knots, braids and invariants

Knots
Braids
Invariants from braids

Knots from braids


Finding braid presentations for knots

Conjugate braids determine isotopic links.

H.R.Morton

Knots, braids and invariants

Knots
Braids
Invariants from braids

Knots from braids


Finding braid presentations for knots

Conjugate braids determine isotopic links.

H.R.Morton

Knots, braids and invariants

Knots
Braids
Invariants from braids

Knots from braids


Finding braid presentations for knots

Conjugate braids determine isotopic links.

Conversely, any two braids determining isotopic links K A are


conjugate.

H.R.Morton

Knots, braids and invariants

Knots
Braids
Invariants from braids

Knots from braids


Finding braid presentations for knots

Conjugate braids determine isotopic links.

Conversely, any two braids determining isotopic links K A are


conjugate.
So closed braid + axis is a nice geometric counterpart of a
conjugacy class in Bn .

H.R.Morton

Knots, braids and invariants

Knots
Braids
Invariants from braids

Knots from braids


Finding braid presentations for knots

A closed braid presentation for K corresponds to finding a suitable


axis A S 3 K .

H.R.Morton

Knots, braids and invariants

Knots
Braids
Invariants from braids

Knots from braids


Finding braid presentations for knots

A closed braid presentation for K corresponds to finding a suitable


axis A S 3 K .
The essential part is to ensure that K runs monotonically around A.

H.R.Morton

Knots, braids and invariants

Knots
Braids
Invariants from braids

Knots from braids


Finding braid presentations for knots

A closed braid presentation for K corresponds to finding a suitable


axis A S 3 K .
The essential part is to ensure that K runs monotonically around A.
The most efficient method in terms of preserving features of the
diagram of K is due to Yamada.

H.R.Morton

Knots, braids and invariants

Knots
Braids
Invariants from braids

Knots from braids


Finding braid presentations for knots

A closed braid presentation for K corresponds to finding a suitable


axis A S 3 K .
The essential part is to ensure that K runs monotonically around A.
The most efficient method in terms of preserving features of the
diagram of K is due to Yamada.
A more indirect approach of mine gives a quick existence proof,

H.R.Morton

Knots, braids and invariants

Knots
Braids
Invariants from braids

Knots from braids


Finding braid presentations for knots

A closed braid presentation for K corresponds to finding a suitable


axis A S 3 K .
The essential part is to ensure that K runs monotonically around A.
The most efficient method in terms of preserving features of the
diagram of K is due to Yamada.
A more indirect approach of mine gives a quick existence proof,
along with the extra moves needed to pass between any two closed
braid presentations of the same knot.

H.R.Morton

Knots, braids and invariants

Knots
Braids
Invariants from braids

Knots from braids


Finding braid presentations for knots

A closed braid presentation for K corresponds to finding a suitable


axis A S 3 K .
The essential part is to ensure that K runs monotonically around A.
The most efficient method in terms of preserving features of the
diagram of K is due to Yamada.
A more indirect approach of mine gives a quick existence proof,
along with the extra moves needed to pass between any two closed
braid presentations of the same knot.
See Threading knot diagrams 1986

H.R.Morton

Knots, braids and invariants

Knots
Braids
Invariants from braids

The coloured Burau representation

As demonstrated earlier, it is quite easy to use braids to deal with


representations of the group of a knot K , via plats or closed braids.

H.R.Morton

Knots, braids and invariants

Knots
Braids
Invariants from braids

The coloured Burau representation

As demonstrated earlier, it is quite easy to use braids to deal with


representations of the group of a knot K , via plats or closed braids.
Closed braids have also been used considerably in defining and
calculating polynomial invariants of K .

H.R.Morton

Knots, braids and invariants

Knots
Braids
Invariants from braids

The coloured Burau representation

As demonstrated earlier, it is quite easy to use braids to deal with


representations of the group of a knot K , via plats or closed braids.
Closed braids have also been used considerably in defining and
calculating polynomial invariants of K .
There are nice recursive methods for finding the Jones polynomial,
and its extension the Homfly polynomial, given a closed braid
presentation of K .

H.R.Morton

Knots, braids and invariants

Knots
Braids
Invariants from braids

The coloured Burau representation

As demonstrated earlier, it is quite easy to use braids to deal with


representations of the group of a knot K , via plats or closed braids.
Closed braids have also been used considerably in defining and
calculating polynomial invariants of K .
There are nice recursive methods for finding the Jones polynomial,
and its extension the Homfly polynomial, given a closed braid
presentation of K .
In this last case the braid is expressed as an element of the
finite-dimensional Hecke algebra, before the effect of closing it is
taken into account.

H.R.Morton

Knots, braids and invariants

Knots
Braids
Invariants from braids

The coloured Burau representation

The Homfly polynomial is also an extension of the classical


Alexander polynomial.

H.R.Morton

Knots, braids and invariants

Knots
Braids
Invariants from braids

The coloured Burau representation

The Homfly polynomial is also an extension of the classical


Alexander polynomial.
The Burau representation of the braid group gives an established
way to calculate the Alexander polynomial of a closed braid.

H.R.Morton

Knots, braids and invariants

Knots
Braids
Invariants from braids

The coloured Burau representation

The Homfly polynomial is also an extension of the classical


Alexander polynomial.
The Burau representation of the braid group gives an established
way to calculate the Alexander polynomial of a closed braid.
A less known variant of the Burau representation can be used to
deal neatly with the multivariable Alexander polynomial.

H.R.Morton

Knots, braids and invariants

Knots
Braids
Invariants from braids

The coloured Burau representation

The Homfly polynomial is also an extension of the classical


Alexander polynomial.
The Burau representation of the braid group gives an established
way to calculate the Alexander polynomial of a closed braid.
A less known variant of the Burau representation can be used to
deal neatly with the multivariable Alexander polynomial. This
works most naturally for the link consisting of the closed braid and
its axis.

H.R.Morton

Knots, braids and invariants

Knots
Braids
Invariants from braids

The coloured Burau representation

Knots

Braids
Knots from braids
Finding braid presentations for knots

Invariants from braids


The coloured Burau representation

H.R.Morton

Knots, braids and invariants

Knots
Braids
Invariants from braids

The coloured Burau representation

Label the individual strings of Bn by t1 , . . . , tn , putting the


label tj on the string which starts from the point j at the bottom.

H.R.Morton

Knots, braids and invariants

Knots
Braids
Invariants from braids

The coloured Burau representation

Label the individual strings of Bn by t1 , . . . , tn , putting the


label tj on the string which starts from the point j at the bottom.
For example when = 1 21 1 21 1 21 3 we have
t1

t4

t2

t1

t4

t1

t3

t2

t2

H.R.Morton

t3

t4

Knots, braids and invariants

Knots
Braids
Invariants from braids

The coloured Burau representation

Write Ci (a) for the (n 1) (n 1) matrix which differs from the


unit matrix only in the three places shown on row i , for
1 i n 1.

1
..

.
Ci (a) =
a a 1

..

.
1

H.R.Morton

Knots, braids and invariants

Knots
Braids
Invariants from braids

The coloured Burau representation

Write Ci (a) for the (n 1) (n 1) matrix which differs from the


unit matrix only in the three places shown on row i , for
1 i n 1.

1
..

.
Ci (a) =
a a 1

..

.
1

When i = 1 or i = n 1 the matrix is truncated appropriately to


give two non-zero entries in row i .
H.R.Morton

Knots, braids and invariants

Knots
Braids
Invariants from braids

The coloured Burau representation

Now construct the coloured reduced Burau matrix B (t1 , . . . , tn )


of the general braid
l
Y
irr
=
r =1

as a product of matrices Ci (a), in which a is the label of the


current undercrossing string.

H.R.Morton

Knots, braids and invariants

Knots
Braids
Invariants from braids

The coloured Burau representation

Now construct the coloured reduced Burau matrix B (t1 , . . . , tn )


of the general braid
l
Y
irr
=
r =1

as a product of matrices Ci (a), in which a is the label of the


current undercrossing string.
Thus
B (t1 , . . . , tn ) =

l
Y

(Cir (ar ))r ,

r =1

where ar is the label of the undercrossing string at crossing r ,


counted from the top of the braid.

H.R.Morton

Knots, braids and invariants

Knots
Braids
Invariants from braids

The coloured Burau representation

In the example shown, where = 1 21 1 21 1 21 3 , the labels


a1 , . . . , a7 are t1 , t4 , t2 , t1 , t4 , t2 , t4 respectively and B is the
3 3 matrix product
C1 (t1 )C2 (t4 )1 C1 (t2 )C2 (t1 )1 C1 (t4 )C2 (t2 )1 C3 (t4 ).

H.R.Morton

Knots, braids and invariants

Knots
Braids
Invariants from braids

The coloured Burau representation

The braid determines a permutation Sn where the strings


run from position j at the bottom to position (j) at the top. In
our example above (1) = 1, (2) = 2, (3) = 4, (4) = 3.

H.R.Morton

Knots, braids and invariants

Knots
Braids
Invariants from braids

The coloured Burau representation

The braid determines a permutation Sn where the strings


run from position j at the bottom to position (j) at the top. In
our example above (1) = 1, (2) = 2, (3) = 4, (4) = 3.
Theorem The multivariable Alexander polynomial A
, where A
is given by the characteristic
is the axis of the closed n-braid ,
polynomial det(I xB (t1 , . . . , tn )) with the identifications of
variables t(j) = tj .

H.R.Morton

Knots, braids and invariants

Knots
Braids
Invariants from braids

The coloured Burau representation

The polynomial for the closed braid itself, without the axis, can be
found from the Torres-Fox formula.

H.R.Morton

Knots, braids and invariants

Knots
Braids
Invariants from braids

The coloured Burau representation

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 and invariants

Knots
Braids
Invariants from braids

The coloured Burau representation

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 and invariants

Knots
Braids
Invariants from braids

The coloured Burau representation

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 and invariants

Knots
Braids
Invariants from braids

The coloured Burau representation

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

Knots, braids and invariants

You might also like