結び目理論

結び目理論は、円が3次元空間にどのように埋め込まれるかを研究し、2つの結び目がいつ同じであるかを決定し、低次元の微妙なトポロジーを捉える不変量を探求します。

Definition

結び目理論は、1つまたは複数の円の3次元空間への埋め込みを、周囲のアイソトピー（ambient isotopy）を除いて研究し、計算可能な不変量によってそれらを分類する低次元トポロジーの分野です。

Scope

この分野は、空間における円の埋め込みとしての結び目と絡み目、それらの図式と等価性を生成するライデマイスター移動、およびそれらを区別するために使用される不変量の階層を扱います。古典的な不変量である結び目群、ザイフェルト種数、アレクサンダー多項式から、ジョーンズ多項式やHOMFLY多項式などの量子不変量とその圏化までが含まれます。閉包を通じて絡み目を表現するブレイド群、および3次元および4次元トポロジーとの関連も含まれますが、一般的な代数トポロジーの機構はそれ自身の分野で扱われます。

Sub-topics

• ブレイド群
• 結び目不変量
• 結び目多項式

Core questions

• 2つの結び目図式はいつ同等と見なされるか、そしてライデマイスター移動はこれにどのように答えるか？
• どの不変量が結び目を区別できるか、そしてそれらはどの程度完全または不完全か？
• ブレイド群やテンパーリー・リーブ代数のような代数構造は、どのように結び目不変量を生成するか？
• 3次元における結び目理論は、4次元多様体のトポロジーとどのように関連するか？

Key concepts

• 結び目、絡み目、および周囲のアイソトピー
• 結び目図式とライデマイスター移動
• 古典的不変量：結び目群、種数、アレクサンダー多項式
• 量子不変量：ジョーンズ多項式とHOMFLY多項式
• ブレイド群とブレイド閉包

Clinical relevance

結び目理論は、DNAのトポロジーとトポイソメラーゼ酵素の作用、ジョーンズ多項式の背後にある統計力学、および結び目不変量が物理量として現れる量子コンピューティングと位相的場の理論における問題に光を当てます。

History

19世紀のタイトによる結び目の表作成に端を発し、1920年代から1930年代にかけてライデマイスター移動とアレクサンダー多項式によって厳密性が増しました。そして1984年、ジョーンズが作用素環から新しい多項式不変量を発見したことで変革を遂げ、量子不変量の時代が開かれました。

Key figures

• Kurt Reidemeister
• John Conway
• Vaughan Jones

Seminal works

• lickorish1997
• rolfsen1976

Frequently asked questions

2つの結び目はいつ同じと見なされますか？

空間内で切断することなく、一方を他方に連続的に変形できる場合、すなわち、形式的には周囲のアイソトピーによって関連付けられる場合、あるいは同等に、それらの図式が有限個のライデマイスター移動によって異なる場合です。

すべての結び目を分類する単一の不変量は存在しますか？

完全で容易に計算可能な不変量は知られていません。異なる不変量は異なる特徴を検出し、ジョーンズ多項式のような強力なものでさえ、すべての異なる結び目を区別することはできず、分類問題は未解決のままです。