Classical invariants

Jennifer Schultens

Jennifer Schultens Classical knot invariants

Definition 3 A knot K in S is a smooth isotopy class of smooth embeddings of 1 3 S into S .

Jennifer Schultens Classical knot invariants Knots

Figure: The

Jennifer Schultens Classical knot invariants Knots

Figure: The unknot

Jennifer Schultens Classical knot invariants Knots

Figure: A knot

Jennifer Schultens Classical knot invariants Knots

Figure: Two knots

Jennifer Schultens Classical knot invariants Knots

Figure: The of two knots

Jennifer Schultens Classical knot invariants Crossing numbers of knots

Crossing number

Jennifer Schultens Classical knot invariants Example 1: The unknot has crossing number 0.

Crossing numbers of knots

Definition The crossing number of a knot K is the least number of crossings in a diagram of K.

Jennifer Schultens Classical knot invariants Crossing numbers of knots

Definition The crossing number of a knot K is the least number of crossings in a diagram of K.

Example 1: The unknot has crossing number 0.

Jennifer Schultens Classical knot invariants This can be seen by checking all diagrams with crossing number 0, 1, 2 and noting that they do not give the trefoil. (Except that you need to know that the trefoil is truly knotted.)

Theorem A reduced alternating diagram of a knot K realizes the crossing number of K.

Crossing numbers of knots

Example 2: The trefoil has crossing number 3.

Jennifer Schultens Classical knot invariants Theorem A reduced alternating diagram of a knot K realizes the crossing number of K.

Crossing numbers of knots

Example 2: The trefoil has crossing number 3.

This can be seen by checking all diagrams with crossing number 0, 1, 2 and noting that they do not give the trefoil. (Except that you need to know that the trefoil is truly knotted.)

Jennifer Schultens Classical knot invariants Crossing numbers of knots

Example 2: The trefoil has crossing number 3.

This can be seen by checking all diagrams with crossing number 0, 1, 2 and noting that they do not give the trefoil. (Except that you need to know that the trefoil is truly knotted.)

Theorem A reduced alternating diagram of a knot K realizes the crossing number of K.

Jennifer Schultens Classical knot invariants Fun interlude

Figure: T(2, 3), also known as the trefoill

Jennifer Schultens Classical knot invariants Theorem: c(T (p, q)) = min{q(p − 1), p(q − 1)}

Fun interlude

Question 1: What is the crossing number of a , T (p, q)?

Jennifer Schultens Classical knot invariants Fun interlude

Question 1: What is the crossing number of a torus knot, T (p, q)?

Theorem: c(T (p, q)) = min{q(p − 1), p(q − 1)}

Jennifer Schultens Classical knot invariants Nothing!

Fun interlude

Question 2: What is known about the crossing number of a ?

Jennifer Schultens Classical knot invariants Fun interlude

Question 2: What is known about the crossing number of a satellite knot?

Nothing!

Jennifer Schultens Classical knot invariants Bridge numbers of knots

Bridge number

Jennifer Schultens Classical knot invariants Definition Let K be a knot. The , b(K), of K, is the least possible number of maxima of K with respect to a height function.

Bridge numbers of knots

Definition 3 3 A height function on R (or S ) is a smooth function

3 h : R → R

3 (or h : S → R) without critical points.

Jennifer Schultens Classical knot invariants Bridge numbers of knots

Definition 3 3 A height function on R (or S ) is a smooth function

3 h : R → R

3 (or h : S → R) without critical points.

Definition Let K be a knot. The bridge number, b(K), of K, is the least possible number of maxima of K with respect to a height function.

Jennifer Schultens Classical knot invariants In fact, the unknot is the only knot with bridge number 1.

Example 2: The trefoil (a nontrivial knot) has bridge number 2.

Theorem

(Schubert): b(K1#K2) = b(K1) + b(K2) − 1

Bridge numbers of knots

Example 1: The unknot has bridge number 1.

Jennifer Schultens Classical knot invariants Example 2: The trefoil (a nontrivial knot) has bridge number 2.

Theorem

(Schubert): b(K1#K2) = b(K1) + b(K2) − 1

Bridge numbers of knots

Example 1: The unknot has bridge number 1.

In fact, the unknot is the only knot with bridge number 1.

Jennifer Schultens Classical knot invariants Theorem

(Schubert): b(K1#K2) = b(K1) + b(K2) − 1

Bridge numbers of knots

Example 1: The unknot has bridge number 1.

In fact, the unknot is the only knot with bridge number 1.

Example 2: The trefoil (a nontrivial knot) has bridge number 2.

Jennifer Schultens Classical knot invariants Bridge numbers of knots

Example 1: The unknot has bridge number 1.

In fact, the unknot is the only knot with bridge number 1.

Example 2: The trefoil (a nontrivial knot) has bridge number 2.

Theorem

(Schubert): b(K1#K2) = b(K1) + b(K2) − 1

Jennifer Schultens Classical knot invariants Bridge numbers of knots

K1

K2

Figure: Schematic for bridge number inequality

Jennifer Schultens Classical knot invariants Fun interlude

Figure: T(2, 3), also known as the trefoill

Jennifer Schultens Classical knot invariants Answer: min(p, q). One direction is easy, the other is a theorem of Schubert. Question 2: What can we say about the bridge number of a satellite knot? Answer: It’s at least the bridge number of the companion knot times the wrapping number of the pattern.

Fun interlude

Question 1: What is the bridge number of a torus knot T (p, q)?

Jennifer Schultens Classical knot invariants One direction is easy, the other is a theorem of Schubert. Question 2: What can we say about the bridge number of a satellite knot? Answer: It’s at least the bridge number of the companion knot times the wrapping number of the pattern.

Fun interlude

Question 1: What is the bridge number of a torus knot T (p, q)?

Answer: min(p, q).

Jennifer Schultens Classical knot invariants Question 2: What can we say about the bridge number of a satellite knot? Answer: It’s at least the bridge number of the companion knot times the wrapping number of the pattern.

Fun interlude

Question 1: What is the bridge number of a torus knot T (p, q)?

Answer: min(p, q). One direction is easy, the other is a theorem of Schubert.

Jennifer Schultens Classical knot invariants Answer: It’s at least the bridge number of the companion knot times the wrapping number of the pattern.

Fun interlude

Question 1: What is the bridge number of a torus knot T (p, q)?

Answer: min(p, q). One direction is easy, the other is a theorem of Schubert. Question 2: What can we say about the bridge number of a satellite knot?

Jennifer Schultens Classical knot invariants Fun interlude

Question 1: What is the bridge number of a torus knot T (p, q)?

Answer: min(p, q). One direction is easy, the other is a theorem of Schubert. Question 2: What can we say about the bridge number of a satellite knot? Answer: It’s at least the bridge number of the companion knot times the wrapping number of the pattern.

Jennifer Schultens Classical knot invariants Tunnel numbers of knots

Tunnel number

Jennifer Schultens Classical knot invariants Preliminaries for

Figure: A handlebody

Jennifer Schultens Classical knot invariants Preliminaries for tunnel number

Figure: Another handlebody

Jennifer Schultens Classical knot invariants Definition Let K be a knot. A tunnel system for K is a collection of arcs 3 a1,..., an properly embedded in (S , K) such that 3 S − η(K ∪ a1 ∪ · · · ∪ an) is a handlebody.

Definition The tunnel number of K is the least number of arcs in a tunnel system for K.

Tunnel numbers of knots

Definition A handlebody is a 3-dimensional regular neighborhood of a graph.

Jennifer Schultens Classical knot invariants Definition The tunnel number of K is the least number of arcs in a tunnel system for K.

Tunnel numbers of knots

Definition A handlebody is a 3-dimensional regular neighborhood of a graph.

Definition Let K be a knot. A tunnel system for K is a collection of arcs 3 a1,..., an properly embedded in (S , K) such that 3 S − η(K ∪ a1 ∪ · · · ∪ an) is a handlebody.

Jennifer Schultens Classical knot invariants Tunnel numbers of knots

Definition A handlebody is a 3-dimensional regular neighborhood of a graph.

Definition Let K be a knot. A tunnel system for K is a collection of arcs 3 a1,..., an properly embedded in (S , K) such that 3 S − η(K ∪ a1 ∪ · · · ∪ an) is a handlebody.

Definition The tunnel number of K is the least number of arcs in a tunnel system for K.

Jennifer Schultens Classical knot invariants Why?

Preliminaries for tunnel number

Figure: The complement of the unknot

The complement of the unknot is a solid torus, which is a 3-dimensional regular neighborhood of the circle (a graph), hence a handlebody.

Jennifer Schultens Classical knot invariants Preliminaries for tunnel number

Figure: The complement of the unknot

The complement of the unknot is a solid torus, which is a 3-dimensional regular neighborhood of the circle (a graph), hence a handlebody. Why?

Jennifer Schultens Classical knot invariants The unknot is isotopic to

1 2 3 {(x, y, √ , 0) ∈ T } ∈ S 2

2 2 1 1 1 3 η(unknot) ≈ {(x, y, z, w)|x + y = , z > √ , w < √ } ∈ S 2 2 2 2 2

3 C(K) = S − η(unknot)

2 2 1 1 1 3 ≈ {(x, y, z, w)|x + y = , z ≤ √ , w ≥ √ } ∈ S 2 2 2 2 2

Preliminaries for tunnel number

1 1 2 = {(x, y, z, w) ∈ 4|x2 + y 2 = , w 2 + z2 = } T R 2 2

Jennifer Schultens Classical knot invariants 2 2 1 1 1 3 η(unknot) ≈ {(x, y, z, w)|x + y = , z > √ , w < √ } ∈ S 2 2 2 2 2

3 C(K) = S − η(unknot)

2 2 1 1 1 3 ≈ {(x, y, z, w)|x + y = , z ≤ √ , w ≥ √ } ∈ S 2 2 2 2 2

Preliminaries for tunnel number

1 1 2 = {(x, y, z, w) ∈ 4|x2 + y 2 = , w 2 + z2 = } T R 2 2 The unknot is isotopic to

1 2 3 {(x, y, √ , 0) ∈ T } ∈ S 2

Jennifer Schultens Classical knot invariants Preliminaries for tunnel number

1 1 2 = {(x, y, z, w) ∈ 4|x2 + y 2 = , w 2 + z2 = } T R 2 2 The unknot is isotopic to

1 2 3 {(x, y, √ , 0) ∈ T } ∈ S 2

2 2 1 1 1 3 η(unknot) ≈ {(x, y, z, w)|x + y = , z > √ , w < √ } ∈ S 2 2 2 2 2

3 C(K) = S − η(unknot)

2 2 1 1 1 3 ≈ {(x, y, z, w)|x + y = , z ≤ √ , w ≥ √ } ∈ S 2 2 2 2 2

Jennifer Schultens Classical knot invariants In fact, the unknot is the only knot tunnel number 0.

Example 2: The trefoil has tunnel number 1.

Example 3: Every 2-bridge knot has a tunnel number 1.

Tunnel numbers of knots

Example 1: The unknot has tunnel number 0.

Jennifer Schultens Classical knot invariants Example 2: The trefoil has tunnel number 1.

Example 3: Every 2-bridge knot has a tunnel number 1.

Tunnel numbers of knots

Example 1: The unknot has tunnel number 0.

In fact, the unknot is the only knot tunnel number 0.

Jennifer Schultens Classical knot invariants Example 3: Every 2-bridge knot has a tunnel number 1.

Tunnel numbers of knots

Example 1: The unknot has tunnel number 0.

In fact, the unknot is the only knot tunnel number 0.

Example 2: The trefoil has tunnel number 1.

Jennifer Schultens Classical knot invariants Tunnel numbers of knots

Example 1: The unknot has tunnel number 0.

In fact, the unknot is the only knot tunnel number 0.

Example 2: The trefoil has tunnel number 1.

Example 3: Every 2-bridge knot has a tunnel number 1.

Jennifer Schultens Classical knot invariants Observation: t(K) ≤ c(K)

Observation: t(T (p, q)) = 1

Question: What happens to tunnel number under the operation of connected sum?

Tunnel numbers of knots

Observation: t(K) ≤ b(K) − 1

Jennifer Schultens Classical knot invariants Observation: t(T (p, q)) = 1

Question: What happens to tunnel number under the operation of connected sum?

Tunnel numbers of knots

Observation: t(K) ≤ b(K) − 1

Observation: t(K) ≤ c(K)

Jennifer Schultens Classical knot invariants Question: What happens to tunnel number under the operation of connected sum?

Tunnel numbers of knots

Observation: t(K) ≤ b(K) − 1

Observation: t(K) ≤ c(K)

Observation: t(T (p, q)) = 1

Jennifer Schultens Classical knot invariants Tunnel numbers of knots

Observation: t(K) ≤ b(K) − 1

Observation: t(K) ≤ c(K)

Observation: t(T (p, q)) = 1

Question: What happens to tunnel number under the operation of connected sum?

Jennifer Schultens Classical knot invariants Preliminaries for tunnel number

Figure: The decomposing annulus

Jennifer Schultens Classical knot invariants Tunnel numbers of knots

Theorem t(K#K 0) ≤ t(K) + t(K 0) + 1

Jennifer Schultens Classical knot invariants Tunnel numbers of knots

Theorem (Morimoto) There is a knot, K, such that for any 2-bridge knot K 0,

t(K#K 0) = t(K 0)

”2 + 1 = 1”

Jennifer Schultens Classical knot invariants Tunnel numbers of knots

Theorem

(Morimoto-Sakuma-Yokota) There are knots, K1, K2, such that

t(K#K 0) = t(K) + t(K 0) + 1

”1 + 1 = 3”

Jennifer Schultens Classical knot invariants Tunnel numbers of knots

Theorem

(Morimoto-S) If K1, K2 and K2 are small, then

t(K1#K2) ≥ t(K1) + t(K2)

Jennifer Schultens Classical knot invariants Theorem

(Scharlemann-S) If K1,..., Kn are knots such that K1,..., Kp are 2-bridge knots and Kp+1,..., Kn are not, then p 2 t(K # ... #K ) ≥ + (t(K ) + ··· + t(K )) 1 n 5 5 p+1 n

Tunnel numbers of knots

Theorem

(Scharlemann-S) If K1,..., Kn are knots and no Ki is a 2-bridge knot, then 2 t(K # ... #K ) ≥ (t(K ) + ··· + t(K )) 1 n 5 1 n

Jennifer Schultens Classical knot invariants Tunnel numbers of knots

Theorem

(Scharlemann-S) If K1,..., Kn are knots and no Ki is a 2-bridge knot, then 2 t(K # ... #K ) ≥ (t(K ) + ··· + t(K )) 1 n 5 1 n

Theorem

(Scharlemann-S) If K1,..., Kn are knots such that K1,..., Kp are 2-bridge knots and Kp+1,..., Kn are not, then p 2 t(K # ... #K ) ≥ + (t(K ) + ··· + t(K )) 1 n 5 5 p+1 n

Jennifer Schultens Classical knot invariants Example 1: The unknot has 0.

Example 2: The trefoil has unknotting number 1.

Unknotting numbers of knots

Definition The unknotting number of a knot K is the least number of times K needs to pass through itself to become the unknot.

Jennifer Schultens Classical knot invariants Example 2: The trefoil has unknotting number 1.

Unknotting numbers of knots

Definition The unknotting number of a knot K is the least number of times K needs to pass through itself to become the unknot.

Example 1: The unknot has unknotting number 0.

Jennifer Schultens Classical knot invariants Unknotting numbers of knots

Definition The unknotting number of a knot K is the least number of times K needs to pass through itself to become the unknot.

Example 1: The unknot has unknotting number 0.

Example 2: The trefoil has unknotting number 1.

Jennifer Schultens Classical knot invariants Unknotting numbers of knots

Theorem u(K) ≤ c(K)

Theorem (Scharlemann) Unknotting number 1 knots are prime.

Jennifer Schultens Classical knot invariants 3 In the product S × [0, 1], each t ∈ [0, 1] corresponds to a particular time, and the knot to the level curve at that time.

3 4 The level curves form a surface in S × [0, 1] ⊂ B .

Crossing changes correspond to critical levels in which a closed curve forms a figure 8.

Above and below the figure 8, K is a single simple closed curve.

THUS: A crossing change of K corresponds to attaching a M¨obius band to the surface.

The (nonorientable) genus of the surface is exactly the unknotting number of K.

Unknotting numbers of knots

3 Construction: Given a knot K in S , we watch K unknot over time.

Jennifer Schultens Classical knot invariants 3 4 The level curves form a surface in S × [0, 1] ⊂ B .

Crossing changes correspond to critical levels in which a closed curve forms a figure 8.

Above and below the figure 8, K is a single simple closed curve.

THUS: A crossing change of K corresponds to attaching a M¨obius band to the surface.

The (nonorientable) genus of the surface is exactly the unknotting number of K.

Unknotting numbers of knots

3 Construction: Given a knot K in S , we watch K unknot over time.

3 In the product S × [0, 1], each t ∈ [0, 1] corresponds to a particular time, and the knot to the level curve at that time.

Jennifer Schultens Classical knot invariants Crossing changes correspond to critical levels in which a closed curve forms a figure 8.

Above and below the figure 8, K is a single simple closed curve.

THUS: A crossing change of K corresponds to attaching a M¨obius band to the surface.

The (nonorientable) genus of the surface is exactly the unknotting number of K.

Unknotting numbers of knots

3 Construction: Given a knot K in S , we watch K unknot over time.

3 In the product S × [0, 1], each t ∈ [0, 1] corresponds to a particular time, and the knot to the level curve at that time.

3 4 The level curves form a surface in S × [0, 1] ⊂ B .

Jennifer Schultens Classical knot invariants Above and below the figure 8, K is a single simple closed curve.

THUS: A crossing change of K corresponds to attaching a M¨obius band to the surface.

The (nonorientable) genus of the surface is exactly the unknotting number of K.

Unknotting numbers of knots

3 Construction: Given a knot K in S , we watch K unknot over time.

3 In the product S × [0, 1], each t ∈ [0, 1] corresponds to a particular time, and the knot to the level curve at that time.

3 4 The level curves form a surface in S × [0, 1] ⊂ B .

Crossing changes correspond to critical levels in which a closed curve forms a figure 8.

Jennifer Schultens Classical knot invariants THUS: A crossing change of K corresponds to attaching a M¨obius band to the surface.

The (nonorientable) genus of the surface is exactly the unknotting number of K.

Unknotting numbers of knots

3 Construction: Given a knot K in S , we watch K unknot over time.

3 In the product S × [0, 1], each t ∈ [0, 1] corresponds to a particular time, and the knot to the level curve at that time.

3 4 The level curves form a surface in S × [0, 1] ⊂ B .

Crossing changes correspond to critical levels in which a closed curve forms a figure 8.

Above and below the figure 8, K is a single simple closed curve.

Jennifer Schultens Classical knot invariants The (nonorientable) genus of the surface is exactly the unknotting number of K.

Unknotting numbers of knots

3 Construction: Given a knot K in S , we watch K unknot over time.

3 In the product S × [0, 1], each t ∈ [0, 1] corresponds to a particular time, and the knot to the level curve at that time.

3 4 The level curves form a surface in S × [0, 1] ⊂ B .

Crossing changes correspond to critical levels in which a closed curve forms a figure 8.

Above and below the figure 8, K is a single simple closed curve.

THUS: A crossing change of K corresponds to attaching a M¨obius band to the surface.

Jennifer Schultens Classical knot invariants Unknotting numbers of knots

3 Construction: Given a knot K in S , we watch K unknot over time.

3 In the product S × [0, 1], each t ∈ [0, 1] corresponds to a particular time, and the knot to the level curve at that time.

3 4 The level curves form a surface in S × [0, 1] ⊂ B .

Crossing changes correspond to critical levels in which a closed curve forms a figure 8.

Above and below the figure 8, K is a single simple closed curve.

THUS: A crossing change of K corresponds to attaching a M¨obius band to the surface.

The (nonorientable) genus of the surface is exactly the unknotting number of K.

Jennifer Schultens Classical knot invariants Question: What happens to unknotting number under the operation of connected sum?

Answer: Nobody knows.

Unknotting numbers of knots

c(K) Observation: u(K) ≤ 2

Jennifer Schultens Classical knot invariants Answer: Nobody knows.

Unknotting numbers of knots

c(K) Observation: u(K) ≤ 2

Question: What happens to unknotting number under the operation of connected sum?

Jennifer Schultens Classical knot invariants Unknotting numbers of knots

c(K) Observation: u(K) ≤ 2

Question: What happens to unknotting number under the operation of connected sum?

Answer: Nobody knows.

Jennifer Schultens Classical knot invariants