knot theory: an introduction - github pages · knot theory: an introduction zhen huan center for...

77
Knot theory: an introduction Zhen Huan Center for Mathematical Sciences Huazhong University of Science and Technology USTC, December 25, 2019

Upload: others

Post on 24-Jun-2020

5 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Knot theory: an introduction - GitHub Pages · Knot theory: an introduction Zhen Huan Center for Mathematical Sciences Huazhong University of Science and Technology USTC, December

Knot theory: an introduction

Zhen Huan

Center for Mathematical SciencesHuazhong University of Science and Technology

USTC, December 25, 2019

Page 2: Knot theory: an introduction - GitHub Pages · Knot theory: an introduction Zhen Huan Center for Mathematical Sciences Huazhong University of Science and Technology USTC, December

Knots in daily life

Shoelace

Zhen Huan (HUST) Knot theory: an introduction USTC, December 25, 2019 2 / 40

Page 3: Knot theory: an introduction - GitHub Pages · Knot theory: an introduction Zhen Huan Center for Mathematical Sciences Huazhong University of Science and Technology USTC, December

Knots in daily life

Braids

Zhen Huan (HUST) Knot theory: an introduction USTC, December 25, 2019 3 / 40

Page 4: Knot theory: an introduction - GitHub Pages · Knot theory: an introduction Zhen Huan Center for Mathematical Sciences Huazhong University of Science and Technology USTC, December

Knots in daily life

Knot bread

Zhen Huan (HUST) Knot theory: an introduction USTC, December 25, 2019 4 / 40

Page 5: Knot theory: an introduction - GitHub Pages · Knot theory: an introduction Zhen Huan Center for Mathematical Sciences Huazhong University of Science and Technology USTC, December

Knots in daily life

German bread: the pretzel

Zhen Huan (HUST) Knot theory: an introduction USTC, December 25, 2019 5 / 40

Page 6: Knot theory: an introduction - GitHub Pages · Knot theory: an introduction Zhen Huan Center for Mathematical Sciences Huazhong University of Science and Technology USTC, December

Knots in daily life

Rope Mat

Zhen Huan (HUST) Knot theory: an introduction USTC, December 25, 2019 6 / 40

Page 7: Knot theory: an introduction - GitHub Pages · Knot theory: an introduction Zhen Huan Center for Mathematical Sciences Huazhong University of Science and Technology USTC, December

Knots in daily life

Chinese Knots

Zhen Huan (HUST) Knot theory: an introduction USTC, December 25, 2019 7 / 40

Page 8: Knot theory: an introduction - GitHub Pages · Knot theory: an introduction Zhen Huan Center for Mathematical Sciences Huazhong University of Science and Technology USTC, December

Knots in daily life

Knot bracelet

Zhen Huan (HUST) Knot theory: an introduction USTC, December 25, 2019 8 / 40

Page 9: Knot theory: an introduction - GitHub Pages · Knot theory: an introduction Zhen Huan Center for Mathematical Sciences Huazhong University of Science and Technology USTC, December

Knots in daily life

Knitting

Zhen Huan (HUST) Knot theory: an introduction USTC, December 25, 2019 9 / 40

Page 10: Knot theory: an introduction - GitHub Pages · Knot theory: an introduction Zhen Huan Center for Mathematical Sciences Huazhong University of Science and Technology USTC, December

Knots in daily life

More Knitting

Zhen Huan (HUST) Knot theory: an introduction USTC, December 25, 2019 10 / 40

Page 11: Knot theory: an introduction - GitHub Pages · Knot theory: an introduction Zhen Huan Center for Mathematical Sciences Huazhong University of Science and Technology USTC, December

Knots in daily life

DNA

Zhen Huan (HUST) Knot theory: an introduction USTC, December 25, 2019 11 / 40

Page 12: Knot theory: an introduction - GitHub Pages · Knot theory: an introduction Zhen Huan Center for Mathematical Sciences Huazhong University of Science and Technology USTC, December

Knots in daily life

Wire Mess

Zhen Huan (HUST) Knot theory: an introduction USTC, December 25, 2019 12 / 40

Page 13: Knot theory: an introduction - GitHub Pages · Knot theory: an introduction Zhen Huan Center for Mathematical Sciences Huazhong University of Science and Technology USTC, December

History of Knots

Chinese talking knots (knotted strings)

Inca Quipu

Zhen Huan (HUST) Knot theory: an introduction USTC, December 25, 2019 13 / 40

Page 14: Knot theory: an introduction - GitHub Pages · Knot theory: an introduction Zhen Huan Center for Mathematical Sciences Huazhong University of Science and Technology USTC, December

History of Knots

Endless Knot in Buddhism

Zhen Huan (HUST) Knot theory: an introduction USTC, December 25, 2019 14 / 40

Page 15: Knot theory: an introduction - GitHub Pages · Knot theory: an introduction Zhen Huan Center for Mathematical Sciences Huazhong University of Science and Technology USTC, December

History of Knots

Celtic Knots

Zhen Huan (HUST) Knot theory: an introduction USTC, December 25, 2019 15 / 40

Page 16: Knot theory: an introduction - GitHub Pages · Knot theory: an introduction Zhen Huan Center for Mathematical Sciences Huazhong University of Science and Technology USTC, December

History of Knots

Celtic Knots

Zhen Huan (HUST) Knot theory: an introduction USTC, December 25, 2019 16 / 40

Page 17: Knot theory: an introduction - GitHub Pages · Knot theory: an introduction Zhen Huan Center for Mathematical Sciences Huazhong University of Science and Technology USTC, December

Basic Questions

Are knots worthwhile to study?Are there any problems on knots worth studying?

How can knots be viewed as mathematical objects?How should we define a knot?

How should we extract mathematical information from a knot?How should we study it?

Zhen Huan (HUST) Knot theory: an introduction USTC, December 25, 2019 17 / 40

Page 18: Knot theory: an introduction - GitHub Pages · Knot theory: an introduction Zhen Huan Center for Mathematical Sciences Huazhong University of Science and Technology USTC, December

Basic Questions

Are knots worthwhile to study?Are there any problems on knots worth studying?

How can knots be viewed as mathematical objects?How should we define a knot?

How should we extract mathematical information from a knot?How should we study it?

Zhen Huan (HUST) Knot theory: an introduction USTC, December 25, 2019 17 / 40

Page 19: Knot theory: an introduction - GitHub Pages · Knot theory: an introduction Zhen Huan Center for Mathematical Sciences Huazhong University of Science and Technology USTC, December

Basic Questions

Are knots worthwhile to study?Are there any problems on knots worth studying?

How can knots be viewed as mathematical objects?How should we define a knot?

How should we extract mathematical information from a knot?How should we study it?

Zhen Huan (HUST) Knot theory: an introduction USTC, December 25, 2019 17 / 40

Page 20: Knot theory: an introduction - GitHub Pages · Knot theory: an introduction Zhen Huan Center for Mathematical Sciences Huazhong University of Science and Technology USTC, December

Basic Questions

Are knots worthwhile to study?Are there any problems on knots worth studying?

How can knots be viewed as mathematical objects?How should we define a knot?

How should we extract mathematical information from a knot?How should we study it?

Zhen Huan (HUST) Knot theory: an introduction USTC, December 25, 2019 17 / 40

Page 21: Knot theory: an introduction - GitHub Pages · Knot theory: an introduction Zhen Huan Center for Mathematical Sciences Huazhong University of Science and Technology USTC, December

Mathematical Knots

Knots: an embedding of a circle in the three-dimensional world.Links: an embedding of more than one circles in the three-dimensionalworld.

Definition: Links and Knots

A link of m components is a subset of S3 (or R3) that consists of mdisjoint, piecewise linear, simple closed curves.A link of one component is a knot.

Zhen Huan (HUST) Knot theory: an introduction USTC, December 25, 2019 18 / 40

Page 22: Knot theory: an introduction - GitHub Pages · Knot theory: an introduction Zhen Huan Center for Mathematical Sciences Huazhong University of Science and Technology USTC, December

Mathematical Knots

Knots: an embedding of a circle in the three-dimensional world.Links: an embedding of more than one circles in the three-dimensionalworld.

Definition: Links and Knots

A link of m components is a subset of S3 (or R3) that consists of mdisjoint, piecewise linear, simple closed curves.A link of one component is a knot.

Zhen Huan (HUST) Knot theory: an introduction USTC, December 25, 2019 18 / 40

Page 23: Knot theory: an introduction - GitHub Pages · Knot theory: an introduction Zhen Huan Center for Mathematical Sciences Huazhong University of Science and Technology USTC, December

Mathematical Knots

Knots: an embedding of a circle in the three-dimensional world.Links: an embedding of more than one circles in the three-dimensionalworld.

Definition: Links and Knots

A link of m components is a subset of S3 (or R3) that consists of mdisjoint, piecewise linear, simple closed curves.A link of one component is a knot.

Zhen Huan (HUST) Knot theory: an introduction USTC, December 25, 2019 18 / 40

Page 24: Knot theory: an introduction - GitHub Pages · Knot theory: an introduction Zhen Huan Center for Mathematical Sciences Huazhong University of Science and Technology USTC, December

Mathematical Knots

Knots: an embedding of a circle in the three-dimensional world.Links: an embedding of more than one circles in the three-dimensionalworld.

Definition: Links and Knots

A link of m components is a subset of S3 (or R3) that consists of mdisjoint, piecewise linear, simple closed curves.A link of one component is a knot.

Zhen Huan (HUST) Knot theory: an introduction USTC, December 25, 2019 18 / 40

Page 25: Knot theory: an introduction - GitHub Pages · Knot theory: an introduction Zhen Huan Center for Mathematical Sciences Huazhong University of Science and Technology USTC, December

Mathematical Knots

Knots: an embedding of a circle in the three-dimensional world.Links: an embedding of more than one circles in the three-dimensionalworld.

Definition: Links and Knots

A link of m components is a subset of S3 (or R3) that consists of mdisjoint, piecewise linear, simple closed curves.A link of one component is a knot.

Zhen Huan (HUST) Knot theory: an introduction USTC, December 25, 2019 18 / 40

Page 26: Knot theory: an introduction - GitHub Pages · Knot theory: an introduction Zhen Huan Center for Mathematical Sciences Huazhong University of Science and Technology USTC, December

Mathematical Knots

Knots: an embedding of a circle in the three-dimensional world.Links: an embedding of more than one circles in the three-dimensionalworld.

Definition: Links and Knots

A link of m components is a subset of S3 (or R3) that consists of mdisjoint, piecewise linear, simple closed curves.A link of one component is a knot.

Zhen Huan (HUST) Knot theory: an introduction USTC, December 25, 2019 18 / 40

Page 27: Knot theory: an introduction - GitHub Pages · Knot theory: an introduction Zhen Huan Center for Mathematical Sciences Huazhong University of Science and Technology USTC, December

Fundamental Problem: Classification of Knots and Links

Question: Which knots should be considered as ”the same”?

Equivalent Links

Links L1 and L2 in S3 are equivalent if there is an orientation-preservingpiecewise linear homeomorphism H : S3 −→ S3 such that H(L1) = L2.

Answer: Equivalent links will be regarded as the same link.In other words, H is isotopic to the identity.

Isotopy

Let g and h be embedding of a link to S3. An isotopy from g to h is acontinuous map F : S3 × [0, 1] −→ S3 for t ∈ [0, 1] so that F0 is theidentity, each Ft is a homeomorphism, F1 ◦ g = h.

Zhen Huan (HUST) Knot theory: an introduction USTC, December 25, 2019 19 / 40

Page 28: Knot theory: an introduction - GitHub Pages · Knot theory: an introduction Zhen Huan Center for Mathematical Sciences Huazhong University of Science and Technology USTC, December

Fundamental Problem: Classification of Knots and Links

Question: Which knots should be considered as ”the same”?

Equivalent Links

Links L1 and L2 in S3 are equivalent if there is an orientation-preservingpiecewise linear homeomorphism H : S3 −→ S3 such that H(L1) = L2.

Answer: Equivalent links will be regarded as the same link.In other words, H is isotopic to the identity.

Isotopy

Let g and h be embedding of a link to S3. An isotopy from g to h is acontinuous map F : S3 × [0, 1] −→ S3 for t ∈ [0, 1] so that F0 is theidentity, each Ft is a homeomorphism, F1 ◦ g = h.

Zhen Huan (HUST) Knot theory: an introduction USTC, December 25, 2019 19 / 40

Page 29: Knot theory: an introduction - GitHub Pages · Knot theory: an introduction Zhen Huan Center for Mathematical Sciences Huazhong University of Science and Technology USTC, December

Fundamental Problem: Classification of Knots and Links

Question: Which knots should be considered as ”the same”?

Equivalent Links

Links L1 and L2 in S3 are equivalent if there is an orientation-preservingpiecewise linear homeomorphism H : S3 −→ S3 such that H(L1) = L2.

Answer: Equivalent links will be regarded as the same link.In other words, H is isotopic to the identity.

Isotopy

Let g and h be embedding of a link to S3. An isotopy from g to h is acontinuous map F : S3 × [0, 1] −→ S3 for t ∈ [0, 1] so that F0 is theidentity, each Ft is a homeomorphism, F1 ◦ g = h.

Zhen Huan (HUST) Knot theory: an introduction USTC, December 25, 2019 19 / 40

Page 30: Knot theory: an introduction - GitHub Pages · Knot theory: an introduction Zhen Huan Center for Mathematical Sciences Huazhong University of Science and Technology USTC, December

Fundamental Problem: Classification of Knots and Links

Question: Which knots should be considered as ”the same”?

Equivalent Links

Links L1 and L2 in S3 are equivalent if there is an orientation-preservingpiecewise linear homeomorphism H : S3 −→ S3 such that H(L1) = L2.

Answer: Equivalent links will be regarded as the same link.In other words, H is isotopic to the identity.

Isotopy

Let g and h be embedding of a link to S3. An isotopy from g to h is acontinuous map F : S3 × [0, 1] −→ S3 for t ∈ [0, 1] so that F0 is theidentity, each Ft is a homeomorphism, F1 ◦ g = h.

Zhen Huan (HUST) Knot theory: an introduction USTC, December 25, 2019 19 / 40

Page 31: Knot theory: an introduction - GitHub Pages · Knot theory: an introduction Zhen Huan Center for Mathematical Sciences Huazhong University of Science and Technology USTC, December

Fundamental Problem: Classification of Knots and Links

Question: Which knots should be considered as ”the same”?

Equivalent Links

Links L1 and L2 in S3 are equivalent if there is an orientation-preservingpiecewise linear homeomorphism H : S3 −→ S3 such that H(L1) = L2.

Answer: Equivalent links will be regarded as the same link.In other words, H is isotopic to the identity.

Isotopy

Let g and h be embedding of a link to S3. An isotopy from g to h is acontinuous map F : S3 × [0, 1] −→ S3 for t ∈ [0, 1] so that F0 is theidentity, each Ft is a homeomorphism, F1 ◦ g = h.

Zhen Huan (HUST) Knot theory: an introduction USTC, December 25, 2019 19 / 40

Page 32: Knot theory: an introduction - GitHub Pages · Knot theory: an introduction Zhen Huan Center for Mathematical Sciences Huazhong University of Science and Technology USTC, December

Classification of Knots

Knot theory forms a fundamental source of examples in 3-manifold theory.

A Classical Result

two knots with homeomorphic oriented complements are equivalent.This is not true generally for links with more than one component.

When we concentrate on knots themselves, start by mathematicizing them.

How to represent a knot/link: Link diagram

The image of a link L in R2 together with ”over and under” information atthe crossings is called a link diagram of L.

How to judge equivalent knots/links directly: Reidemeister Theorem

Any two diagrams of equivalent links are related by a sequence ofReidemeister moves and an orientation preserving homeomorphisms of theplane.

Zhen Huan (HUST) Knot theory: an introduction USTC, December 25, 2019 20 / 40

Page 33: Knot theory: an introduction - GitHub Pages · Knot theory: an introduction Zhen Huan Center for Mathematical Sciences Huazhong University of Science and Technology USTC, December

Classification of Knots

Knot theory forms a fundamental source of examples in 3-manifold theory.

A Classical Result

two knots with homeomorphic oriented complements are equivalent.This is not true generally for links with more than one component.

When we concentrate on knots themselves, start by mathematicizing them.

How to represent a knot/link: Link diagram

The image of a link L in R2 together with ”over and under” information atthe crossings is called a link diagram of L.

How to judge equivalent knots/links directly: Reidemeister Theorem

Any two diagrams of equivalent links are related by a sequence ofReidemeister moves and an orientation preserving homeomorphisms of theplane.

Zhen Huan (HUST) Knot theory: an introduction USTC, December 25, 2019 20 / 40

Page 34: Knot theory: an introduction - GitHub Pages · Knot theory: an introduction Zhen Huan Center for Mathematical Sciences Huazhong University of Science and Technology USTC, December

Classification of Knots

Knot theory forms a fundamental source of examples in 3-manifold theory.

A Classical Result

two knots with homeomorphic oriented complements are equivalent.This is not true generally for links with more than one component.

When we concentrate on knots themselves, start by mathematicizing them.

How to represent a knot/link: Link diagram

The image of a link L in R2 together with ”over and under” information atthe crossings is called a link diagram of L.

How to judge equivalent knots/links directly: Reidemeister Theorem

Any two diagrams of equivalent links are related by a sequence ofReidemeister moves and an orientation preserving homeomorphisms of theplane.

Zhen Huan (HUST) Knot theory: an introduction USTC, December 25, 2019 20 / 40

Page 35: Knot theory: an introduction - GitHub Pages · Knot theory: an introduction Zhen Huan Center for Mathematical Sciences Huazhong University of Science and Technology USTC, December

Classification of Knots

Knot theory forms a fundamental source of examples in 3-manifold theory.

A Classical Result

two knots with homeomorphic oriented complements are equivalent.This is not true generally for links with more than one component.

When we concentrate on knots themselves, start by mathematicizing them.

How to represent a knot/link: Link diagram

The image of a link L in R2 together with ”over and under” information atthe crossings is called a link diagram of L.

How to judge equivalent knots/links directly: Reidemeister Theorem

Any two diagrams of equivalent links are related by a sequence ofReidemeister moves and an orientation preserving homeomorphisms of theplane.

Zhen Huan (HUST) Knot theory: an introduction USTC, December 25, 2019 20 / 40

Page 36: Knot theory: an introduction - GitHub Pages · Knot theory: an introduction Zhen Huan Center for Mathematical Sciences Huazhong University of Science and Technology USTC, December

Classification of Knots

Knot theory forms a fundamental source of examples in 3-manifold theory.

A Classical Result

two knots with homeomorphic oriented complements are equivalent.This is not true generally for links with more than one component.

When we concentrate on knots themselves, start by mathematicizing them.

How to represent a knot/link: Link diagram

The image of a link L in R2 together with ”over and under” information atthe crossings is called a link diagram of L.

How to judge equivalent knots/links directly: Reidemeister Theorem

Any two diagrams of equivalent links are related by a sequence ofReidemeister moves and an orientation preserving homeomorphisms of theplane.

Zhen Huan (HUST) Knot theory: an introduction USTC, December 25, 2019 20 / 40

Page 37: Knot theory: an introduction - GitHub Pages · Knot theory: an introduction Zhen Huan Center for Mathematical Sciences Huazhong University of Science and Technology USTC, December

Classification of Knots

Knot theory forms a fundamental source of examples in 3-manifold theory.

A Classical Result

two knots with homeomorphic oriented complements are equivalent.This is not true generally for links with more than one component.

When we concentrate on knots themselves, start by mathematicizing them.

How to represent a knot/link: Link diagram

The image of a link L in R2 together with ”over and under” information atthe crossings is called a link diagram of L.

How to judge equivalent knots/links directly: Reidemeister Theorem

Any two diagrams of equivalent links are related by a sequence ofReidemeister moves and an orientation preserving homeomorphisms of theplane.

Zhen Huan (HUST) Knot theory: an introduction USTC, December 25, 2019 20 / 40

Page 38: Knot theory: an introduction - GitHub Pages · Knot theory: an introduction Zhen Huan Center for Mathematical Sciences Huazhong University of Science and Technology USTC, December

The three types of Reidemeister moves

Zhen Huan (HUST) Knot theory: an introduction USTC, December 25, 2019 21 / 40

Page 39: Knot theory: an introduction - GitHub Pages · Knot theory: an introduction Zhen Huan Center for Mathematical Sciences Huazhong University of Science and Technology USTC, December

Connected sum of Knots

Step I: Start by disjoint planar diagrams.

Step II: Connect by a band with no twist and no extra intersection withthe knots.

Step III: Finish by erasing the arcs.

Zhen Huan (HUST) Knot theory: an introduction USTC, December 25, 2019 22 / 40

Page 40: Knot theory: an introduction - GitHub Pages · Knot theory: an introduction Zhen Huan Center for Mathematical Sciences Huazhong University of Science and Technology USTC, December

Prime Knots

Definition

A knot is a prime knot if it is not the unknot, and K = K1 + K2 impliesthat K1 or K2 is the unknot.

Example: torus knots

(p, q)−torus knot: wrap a circle around a torus p times in one directionand q times in the other, where p and q are coprime integers.

Zhen Huan (HUST) Knot theory: an introduction USTC, December 25, 2019 23 / 40

Page 41: Knot theory: an introduction - GitHub Pages · Knot theory: an introduction Zhen Huan Center for Mathematical Sciences Huazhong University of Science and Technology USTC, December

Prime Knots

Definition

A knot is a prime knot if it is not the unknot, and K = K1 + K2 impliesthat K1 or K2 is the unknot.

Example: torus knots

(p, q)−torus knot: wrap a circle around a torus p times in one directionand q times in the other, where p and q are coprime integers.

Zhen Huan (HUST) Knot theory: an introduction USTC, December 25, 2019 23 / 40

Page 42: Knot theory: an introduction - GitHub Pages · Knot theory: an introduction Zhen Huan Center for Mathematical Sciences Huazhong University of Science and Technology USTC, December

Knot table to Seven Crossings

Peter Guthrie Tait

Zhen Huan (HUST) Knot theory: an introduction USTC, December 25, 2019 24 / 40

Page 43: Knot theory: an introduction - GitHub Pages · Knot theory: an introduction Zhen Huan Center for Mathematical Sciences Huazhong University of Science and Technology USTC, December

Jones Polynomials 1984

Oriented link ⇒ a Laurent polynomial with integer coefficients.

Reidemeister move ⇒ same polynomial.

Investigate the crossings of the knots.

Zhen Huan (HUST) Knot theory: an introduction USTC, December 25, 2019 25 / 40

Page 44: Knot theory: an introduction - GitHub Pages · Knot theory: an introduction Zhen Huan Center for Mathematical Sciences Huazhong University of Science and Technology USTC, December

Jones Polynomials 1984

Oriented link ⇒ a Laurent polynomial with integer coefficients.

Reidemeister move ⇒ same polynomial.

Investigate the crossings of the knots.

Zhen Huan (HUST) Knot theory: an introduction USTC, December 25, 2019 25 / 40

Page 45: Knot theory: an introduction - GitHub Pages · Knot theory: an introduction Zhen Huan Center for Mathematical Sciences Huazhong University of Science and Technology USTC, December

Jones Polynomials 1984

Oriented link ⇒ a Laurent polynomial with integer coefficients.

Reidemeister move ⇒ same polynomial.

Investigate the crossings of the knots.

Zhen Huan (HUST) Knot theory: an introduction USTC, December 25, 2019 25 / 40

Page 46: Knot theory: an introduction - GitHub Pages · Knot theory: an introduction Zhen Huan Center for Mathematical Sciences Huazhong University of Science and Technology USTC, December

Kauffman bracket: a slight different polynomial

Definition

Unoriented link diagrams ⇒ Laurent polynomials with integer coefficients.

Zhen Huan (HUST) Knot theory: an introduction USTC, December 25, 2019 26 / 40

Page 47: Knot theory: an introduction - GitHub Pages · Knot theory: an introduction Zhen Huan Center for Mathematical Sciences Huazhong University of Science and Technology USTC, December

Is it a Knot invariant?

Type I Reidemeister Move

Type II and Type III Reidemeister move

〈D〉 is invariant.

Kauffman bracket polynomial is NOT an invariant of oriented link.

Zhen Huan (HUST) Knot theory: an introduction USTC, December 25, 2019 27 / 40

Page 48: Knot theory: an introduction - GitHub Pages · Knot theory: an introduction Zhen Huan Center for Mathematical Sciences Huazhong University of Science and Technology USTC, December

Is it a Knot invariant?

Type I Reidemeister Move

Type II and Type III Reidemeister move

〈D〉 is invariant.

Kauffman bracket polynomial is NOT an invariant of oriented link.

Zhen Huan (HUST) Knot theory: an introduction USTC, December 25, 2019 27 / 40

Page 49: Knot theory: an introduction - GitHub Pages · Knot theory: an introduction Zhen Huan Center for Mathematical Sciences Huazhong University of Science and Technology USTC, December

Is it a Knot invariant?

Type I Reidemeister Move

Type II and Type III Reidemeister move

〈D〉 is invariant.

Kauffman bracket polynomial is NOT an invariant of oriented link.

Zhen Huan (HUST) Knot theory: an introduction USTC, December 25, 2019 27 / 40

Page 50: Knot theory: an introduction - GitHub Pages · Knot theory: an introduction Zhen Huan Center for Mathematical Sciences Huazhong University of Science and Technology USTC, December

Jones Polynomials

Definition: Writhe

The writhe w(D) of an oriented link D is the sum of the signs of thecrossings of D.

Definition: Jones Polynomial V (L) of an oriented link L

D : any oriented diagram of L.

V (L) =((−A)−3w(D)〈D〉

)t

12 =A−2

∈ Z[t−12 , t

12 ].

Jones polynomial is an invariant of oriented links.

Zhen Huan (HUST) Knot theory: an introduction USTC, December 25, 2019 28 / 40

Page 51: Knot theory: an introduction - GitHub Pages · Knot theory: an introduction Zhen Huan Center for Mathematical Sciences Huazhong University of Science and Technology USTC, December

Jones Polynomials

Definition: Writhe

The writhe w(D) of an oriented link D is the sum of the signs of thecrossings of D.

Definition: Jones Polynomial V (L) of an oriented link L

D : any oriented diagram of L.

V (L) =((−A)−3w(D)〈D〉

)t

12 =A−2

∈ Z[t−12 , t

12 ].

Jones polynomial is an invariant of oriented links.

Zhen Huan (HUST) Knot theory: an introduction USTC, December 25, 2019 28 / 40

Page 52: Knot theory: an introduction - GitHub Pages · Knot theory: an introduction Zhen Huan Center for Mathematical Sciences Huazhong University of Science and Technology USTC, December

Jones Polynomials

Definition: Writhe

The writhe w(D) of an oriented link D is the sum of the signs of thecrossings of D.

Definition: Jones Polynomial V (L) of an oriented link L

D : any oriented diagram of L.

V (L) =((−A)−3w(D)〈D〉

)t

12 =A−2

∈ Z[t−12 , t

12 ].

Jones polynomial is an invariant of oriented links.

Zhen Huan (HUST) Knot theory: an introduction USTC, December 25, 2019 28 / 40

Page 53: Knot theory: an introduction - GitHub Pages · Knot theory: an introduction Zhen Huan Center for Mathematical Sciences Huazhong University of Science and Technology USTC, December

Characterize Jones Polynomial

The Jones polynomial invariant is a function

V : {Oriented links in S3} −→ Z[t−12 , t

12 ]

such that

1 V (unknot) = 1.

2 whenever the three oriented links L+, L− and L0 are the same, exceptin the neighbourhood of a point where they are as shown in thepicture, then we have the skein relation

t−1V (L+)− tV (L−) + (t−12 − t

12 )V (L0) = 0.

Zhen Huan (HUST) Knot theory: an introduction USTC, December 25, 2019 29 / 40

Page 54: Knot theory: an introduction - GitHub Pages · Knot theory: an introduction Zhen Huan Center for Mathematical Sciences Huazhong University of Science and Technology USTC, December

Jones Polynomial Table

Zhen Huan (HUST) Knot theory: an introduction USTC, December 25, 2019 30 / 40

Page 55: Knot theory: an introduction - GitHub Pages · Knot theory: an introduction Zhen Huan Center for Mathematical Sciences Huazhong University of Science and Technology USTC, December

Alexander Polynomials

oriented link ⇒ a Laurent polynomial with integer coefficients.

an invariant of oriented link

Alexander polynomial and Jones polynomial give different informationof the geometric properties of knots and links.

Alexander polynomial has longer history than Jones polynomial.

the construction of Alexander polynomial is based on elementaryhomology theory.

Zhen Huan (HUST) Knot theory: an introduction USTC, December 25, 2019 31 / 40

Page 56: Knot theory: an introduction - GitHub Pages · Knot theory: an introduction Zhen Huan Center for Mathematical Sciences Huazhong University of Science and Technology USTC, December

Alexander Polynomials

oriented link ⇒ a Laurent polynomial with integer coefficients.

an invariant of oriented link

Alexander polynomial and Jones polynomial give different informationof the geometric properties of knots and links.

Alexander polynomial has longer history than Jones polynomial.

the construction of Alexander polynomial is based on elementaryhomology theory.

Zhen Huan (HUST) Knot theory: an introduction USTC, December 25, 2019 31 / 40

Page 57: Knot theory: an introduction - GitHub Pages · Knot theory: an introduction Zhen Huan Center for Mathematical Sciences Huazhong University of Science and Technology USTC, December

Alexander Polynomials

oriented link ⇒ a Laurent polynomial with integer coefficients.

an invariant of oriented link

Alexander polynomial and Jones polynomial give different informationof the geometric properties of knots and links.

Alexander polynomial has longer history than Jones polynomial.

the construction of Alexander polynomial is based on elementaryhomology theory.

Zhen Huan (HUST) Knot theory: an introduction USTC, December 25, 2019 31 / 40

Page 58: Knot theory: an introduction - GitHub Pages · Knot theory: an introduction Zhen Huan Center for Mathematical Sciences Huazhong University of Science and Technology USTC, December

Alexander Polynomials

oriented link ⇒ a Laurent polynomial with integer coefficients.

an invariant of oriented link

Alexander polynomial and Jones polynomial give different informationof the geometric properties of knots and links.

Alexander polynomial has longer history than Jones polynomial.

the construction of Alexander polynomial is based on elementaryhomology theory.

Zhen Huan (HUST) Knot theory: an introduction USTC, December 25, 2019 31 / 40

Page 59: Knot theory: an introduction - GitHub Pages · Knot theory: an introduction Zhen Huan Center for Mathematical Sciences Huazhong University of Science and Technology USTC, December

Alexander Polynomials

oriented link ⇒ a Laurent polynomial with integer coefficients.

an invariant of oriented link

Alexander polynomial and Jones polynomial give different informationof the geometric properties of knots and links.

Alexander polynomial has longer history than Jones polynomial.

the construction of Alexander polynomial is based on elementaryhomology theory.

Zhen Huan (HUST) Knot theory: an introduction USTC, December 25, 2019 31 / 40

Page 60: Knot theory: an introduction - GitHub Pages · Knot theory: an introduction Zhen Huan Center for Mathematical Sciences Huazhong University of Science and Technology USTC, December

The idea of Alexander Polynomial of a Link L

X : the infinite cyclic cover of the complement of L in S3.

Covering transformation acting on X .

H1(X ): a Z[t, t−1]−module.It is called Alexander module.

the Alexander ideal: an annihilator ideal of the Alexander module.It is always principal.

Alexander polynomial: a generator of the Alexander ideal.

Zhen Huan (HUST) Knot theory: an introduction USTC, December 25, 2019 32 / 40

Page 61: Knot theory: an introduction - GitHub Pages · Knot theory: an introduction Zhen Huan Center for Mathematical Sciences Huazhong University of Science and Technology USTC, December

Features of Alexander polynomial

K : any knot. L: any link.

∆K (1) = ±1.

∆L(t) = ∆L(t−1) up to multiplication by units;

∆L(t), ∆mL(t), ∆rL(t) are equal up to multiplication by units;

∆K (t) is of the form up to multiplication by units

a0 + a1(t−1 + t) + a2(t2 + t−2) + · · ·where ai are integers and a0 is odd.

Zhen Huan (HUST) Knot theory: an introduction USTC, December 25, 2019 33 / 40

Page 62: Knot theory: an introduction - GitHub Pages · Knot theory: an introduction Zhen Huan Center for Mathematical Sciences Huazhong University of Science and Technology USTC, December

Features of Alexander polynomial

K : any knot. L: any link.

∆K (1) = ±1.

∆L(t) = ∆L(t−1) up to multiplication by units;

∆L(t), ∆mL(t), ∆rL(t) are equal up to multiplication by units;

∆K (t) is of the form up to multiplication by units

a0 + a1(t−1 + t) + a2(t2 + t−2) + · · ·where ai are integers and a0 is odd.

Zhen Huan (HUST) Knot theory: an introduction USTC, December 25, 2019 33 / 40

Page 63: Knot theory: an introduction - GitHub Pages · Knot theory: an introduction Zhen Huan Center for Mathematical Sciences Huazhong University of Science and Technology USTC, December

Features of Alexander polynomial

K : any knot. L: any link.

∆K (1) = ±1.

∆L(t) = ∆L(t−1) up to multiplication by units;

∆L(t), ∆mL(t), ∆rL(t) are equal up to multiplication by units;

∆K (t) is of the form up to multiplication by units

a0 + a1(t−1 + t) + a2(t2 + t−2) + · · ·where ai are integers and a0 is odd.

Zhen Huan (HUST) Knot theory: an introduction USTC, December 25, 2019 33 / 40

Page 64: Knot theory: an introduction - GitHub Pages · Knot theory: an introduction Zhen Huan Center for Mathematical Sciences Huazhong University of Science and Technology USTC, December

Features of Alexander polynomial

K : any knot. L: any link.

∆K (1) = ±1.

∆L(t) = ∆L(t−1) up to multiplication by units;

∆L(t), ∆mL(t), ∆rL(t) are equal up to multiplication by units;

∆K (t) is of the form up to multiplication by units

a0 + a1(t−1 + t) + a2(t2 + t−2) + · · ·where ai are integers and a0 is odd.

Zhen Huan (HUST) Knot theory: an introduction USTC, December 25, 2019 33 / 40

Page 65: Knot theory: an introduction - GitHub Pages · Knot theory: an introduction Zhen Huan Center for Mathematical Sciences Huazhong University of Science and Technology USTC, December

Features of Alexander polynomial

K : any knot. L: any link.

∆K (1) = ±1.

∆L(t) = ∆L(t−1) up to multiplication by units;

∆L(t), ∆mL(t), ∆rL(t) are equal up to multiplication by units;

∆K (t) is of the form up to multiplication by units

a0 + a1(t−1 + t) + a2(t2 + t−2) + · · ·where ai are integers and a0 is odd.

Zhen Huan (HUST) Knot theory: an introduction USTC, December 25, 2019 33 / 40

Page 66: Knot theory: an introduction - GitHub Pages · Knot theory: an introduction Zhen Huan Center for Mathematical Sciences Huazhong University of Science and Technology USTC, December

How to compute the Alexander Polynomial: an algorithm

1 Start from a link diagram of the oriented link L;

2 Polynomial colouring equations: a + tc − ta− b = 0

3 For each crossing, get an equation.P+ :=matrix of coefficients.

4 Delete one row and one column of P+.P := the resulting matrix.

5 The Alexander polynomial ∆L(t) := det(P).

Zhen Huan (HUST) Knot theory: an introduction USTC, December 25, 2019 34 / 40

Page 67: Knot theory: an introduction - GitHub Pages · Knot theory: an introduction Zhen Huan Center for Mathematical Sciences Huazhong University of Science and Technology USTC, December

How to compute the Alexander Polynomial: an algorithm

1 Start from a link diagram of the oriented link L;

2 Polynomial colouring equations: a + tc − ta− b = 0

3 For each crossing, get an equation.P+ :=matrix of coefficients.

4 Delete one row and one column of P+.P := the resulting matrix.

5 The Alexander polynomial ∆L(t) := det(P).

Zhen Huan (HUST) Knot theory: an introduction USTC, December 25, 2019 34 / 40

Page 68: Knot theory: an introduction - GitHub Pages · Knot theory: an introduction Zhen Huan Center for Mathematical Sciences Huazhong University of Science and Technology USTC, December

How to compute the Alexander Polynomial: an algorithm

1 Start from a link diagram of the oriented link L;

2 Polynomial colouring equations: a + tc − ta− b = 0

3 For each crossing, get an equation.P+ :=matrix of coefficients.

4 Delete one row and one column of P+.P := the resulting matrix.

5 The Alexander polynomial ∆L(t) := det(P).

Zhen Huan (HUST) Knot theory: an introduction USTC, December 25, 2019 34 / 40

Page 69: Knot theory: an introduction - GitHub Pages · Knot theory: an introduction Zhen Huan Center for Mathematical Sciences Huazhong University of Science and Technology USTC, December

How to compute the Alexander Polynomial: an algorithm

1 Start from a link diagram of the oriented link L;

2 Polynomial colouring equations: a + tc − ta− b = 0

3 For each crossing, get an equation.P+ :=matrix of coefficients.

4 Delete one row and one column of P+.P := the resulting matrix.

5 The Alexander polynomial ∆L(t) := det(P).

Zhen Huan (HUST) Knot theory: an introduction USTC, December 25, 2019 34 / 40

Page 70: Knot theory: an introduction - GitHub Pages · Knot theory: an introduction Zhen Huan Center for Mathematical Sciences Huazhong University of Science and Technology USTC, December

How to compute the Alexander Polynomial: an algorithm

1 Start from a link diagram of the oriented link L;

2 Polynomial colouring equations: a + tc − ta− b = 0

3 For each crossing, get an equation.P+ :=matrix of coefficients.

4 Delete one row and one column of P+.P := the resulting matrix.

5 The Alexander polynomial ∆L(t) := det(P).

Zhen Huan (HUST) Knot theory: an introduction USTC, December 25, 2019 34 / 40

Page 71: Knot theory: an introduction - GitHub Pages · Knot theory: an introduction Zhen Huan Center for Mathematical Sciences Huazhong University of Science and Technology USTC, December

Alexander Polynomial Table

Zhen Huan (HUST) Knot theory: an introduction USTC, December 25, 2019 35 / 40

Page 72: Knot theory: an introduction - GitHub Pages · Knot theory: an introduction Zhen Huan Center for Mathematical Sciences Huazhong University of Science and Technology USTC, December

There is Topology in Chinese Gene!

Western words ∼ Permutations and Combinations ∼ Algebra

Chinese Character ∼ Drawing ∼ Topology

Zhen Huan (HUST) Knot theory: an introduction USTC, December 25, 2019 36 / 40

Page 73: Knot theory: an introduction - GitHub Pages · Knot theory: an introduction Zhen Huan Center for Mathematical Sciences Huazhong University of Science and Technology USTC, December

There is Topology in Chinese Gene!

Calligraphy: How can you recognize those words?

Homeomorphisms! Homotopy! Equivalences in Topology!

Zhen Huan (HUST) Knot theory: an introduction USTC, December 25, 2019 37 / 40

Page 74: Knot theory: an introduction - GitHub Pages · Knot theory: an introduction Zhen Huan Center for Mathematical Sciences Huazhong University of Science and Technology USTC, December

There is Topology in Chinese Gene!

Calligraphy: How can you recognize those words?

Homeomorphisms! Homotopy! Equivalences in Topology!

Zhen Huan (HUST) Knot theory: an introduction USTC, December 25, 2019 37 / 40

Page 75: Knot theory: an introduction - GitHub Pages · Knot theory: an introduction Zhen Huan Center for Mathematical Sciences Huazhong University of Science and Technology USTC, December

There is Topology in Chinese Gene!

Classical Western painting: Present Nature directly in Detail

Classical Chinese painting: Interpret Nature Topologically

Zhen Huan (HUST) Knot theory: an introduction USTC, December 25, 2019 38 / 40

Page 76: Knot theory: an introduction - GitHub Pages · Knot theory: an introduction Zhen Huan Center for Mathematical Sciences Huazhong University of Science and Technology USTC, December

Thank you.

Zhen Huan (HUST) Knot theory: an introduction USTC, December 25, 2019 39 / 40

Page 77: Knot theory: an introduction - GitHub Pages · Knot theory: an introduction Zhen Huan Center for Mathematical Sciences Huazhong University of Science and Technology USTC, December

Some references

https://huanzhen84.github.io/zhenhuan/HUAN-USTC-2019-KNOTS-Slides.pdf

Alexander, J. W. (1928). ”Topological invariants of knots and links”. Transactions of the American MathematicalSociety. 30 (2): 275C306.

Adams, Colin (2000-12-06). The Knot Book. American Mathematical Society.

Crowell, Richard H.; Fox, Ralph (1977). Introduction to Knot Theory.

Jones, Vaughan (1987). ”Hecke algebra representations of braid groups and link polynomials”. Annals of Mathematics.

Kauffman, Louis H. (1987), On Knots,

Kauffman, Louis H. (1987). ”State models and the Jones polynomial”. Topology. 26 (3): 395C407.

Kauffman, Louis H. (2013), Knots and Physics (4th ed.).

Lickorish, W. B. Raymond (1997). An introduction to knot theory. New York; Berlin; Heidelberg; Barcelona; Budapest;Hong Kong; London; Milan; Paris; Santa Clara; Singapore; Tokyo: Springer.

Rolfsen, Dale (1990). Knots and Links (2nd ed.). Berkeley, CA: Publish or Perish.

Zhen Huan (HUST) Knot theory: an introduction USTC, December 25, 2019 40 / 40