3 本の紐のブレイド群 の標準生成元を とする( は 番目の紐と 番目の紐の正の交差 1 つを表し、閉包の各紐にはブレイドの進む向きに沿って向きを入れる)。ブレイド
の閉包 は結び目(1 成分)である。結び目の種数 を、 内で を境界とする連結で向き付け可能な曲面の種数の最小値と定める。 を求めよ。ただし、正のブレイドの閉包に対してザイフェルトのアルゴリズムで作った曲面が最小種数を与えるというスターリングスの定理は、引用して用いてよい。
結び目の種数とザイフェルトのアルゴリズム
ザイフェルトのアルゴリズムで 本の紐・ 交点のブレイドの閉包(結び目)から曲面を作り、その種数 を上界として求められる。下界には を使える。正のブレイドの閉包では、スターリングスの定理(ファイバー結び目になり、このザイフェルト曲面が最小種数を与える)を引用して と決定できる。連結和で種数が和になることも使える
前提
- ザイフェルト行列とアレクサンダー多項式 (大学院数学 結び目理論)
この技能までの道筋(42 技能)
読み込み中…
右端(太枠)がこの技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。
一覧で見る(前提が先)
- 三角形の角の大きさ (算数 平面図形)
- 対頂角と平行線の同位角・錯角 (中学数学 平面図形)
- 三角形の外角と角の組み合わせ (中学数学 平面図形)
- 小数の四則計算 (算数 計算と数のきまり)
- 分数のたし算・ひき算 (算数 計算と数のきまり)
- 分数のかけ算・わり算 (算数 計算と数のきまり)
- 小数と分数のまじった計算 (算数 計算と数のきまり)
- 逆算(□ を求める) (算数 計算と数のきまり)
- 正負の数の加法・減法 (中学数学 数と式)
- 四則の混じった計算の順序 (算数 計算と数のきまり)
- 正負の数の乗除・累乗と四則混合 (中学数学 数と式)
- 分配法則を使った計算のくふう (算数 計算と数のきまり)
- 文字式の計算(同類項・分配法則) (中学数学 数と式)
- 1 次方程式の解き方 (中学数学 方程式)
- 二等辺三角形の角 (中学数学 平面図形)
- 平行四辺形と特別な四角形の性質 (中学数学 平面図形)
- 三角形・四角形の面積 (算数 平面図形)
- 約数の見つけ方 (算数 整数の性質)
- 素因数分解と約数の個数 (算数 整数の性質)
- 平方根の意味と根号の簡単化 (中学数学 数と式)
- 三平方の定理 (中学数学 相似と三平方の定理)
- 乗法公式による展開 (中学数学 数と式)
- 折り返した図形の角と長さ (中学数学 平面図形)
- 三平方の定理と平面図形 (中学数学 相似と三平方の定理)
- ベクトルの演算と成分 (数学C ベクトル)
- 行列の和・積と 2 次の逆行列 (大学数学 線形代数)
- 樹形図で数え上げる (算数 場合の数)
- 積の法則と和の法則 (算数 場合の数)
- 和の法則・積の法則と樹形図 (数学A 場合の数と確率)
- 順列・円順列・重複順列 (数学A 場合の数と確率)
- 行列式 (大学数学 線形代数)
- 最大公約数と最小公倍数 (算数 整数の性質)
- 最大公約数と最小公倍数 (数学A 整数の性質)
- 因数分解 (中学数学 数と式)
- 文字式で表した整数の性質 (中学数学 数と式)
- 余りによる整数の分類 (数学A 整数の性質)
- 合同式 (数学A 整数の性質)
- 群の位数と元の位数 (大学数学 代数学)
- 置換の巡回置換分解と位数 (大学数学 代数学)
- ブレイドの置換と閉包の成分数 (大学院数学 結び目理論)
- 絡み数 (大学院数学 結び目理論)
- ザイフェルト行列とアレクサンダー多項式 (大学院数学 結び目理論)
説明
結び目 の種数 は、 を境界とする向き付け可能な連結曲面(ザイフェルト曲面)の種数の最小値です。ザイフェルトのアルゴリズムを使うと、ブレイドの閉包として与えられた結び目から具体的にザイフェルト曲面を作れ、その種数 が の上界になります。一方、アレクサンダー多項式の次数の幅から下界が得られ、さらに正のブレイドの閉包ならスターリングスの定理によって上界がそのまま種数になります。結び目の「複雑さ」を数で測りたいとき、連結和やトーラス結び目の種数を決めたいときに使います。
なぜそうしてよいのか
ザイフェルトのアルゴリズムは、向き付き図式のすべての交点を向きに沿って平滑化し、できた円(ザイフェルト円)それぞれに円板を張り、もとの交点の位置で隣り合う円板を半ひねりの帯でつなぐ、というものです。帯は向きが合うように付くので、できる曲面は向き付け可能で、境界はもとの結び目になります。 本の紐のブレイド の閉包では、交点を平滑化すると各段の紐がそのまま 1 周する円になるので、ザイフェルト円は入れ子に並んだちょうど 個です。円板を高さをずらして重ね、 の交点ごとに 番目と 番目の円板を帯でつなぎます。
この曲面のオイラー標数は、円板 枚(各 )に帯を 1 本付けるごとに ずつ減るので です。閉包が結び目なら各 は少なくとも 1 回現れる(現れない があると紐の置換が を保ち、閉包が 2 成分以上に分かれる)ので曲面は連結で、境界は 1 成分です。境界 1 成分の向き付け可能な連結曲面では なので、。 は最小値なので です。
下界は前提の技能から出ます。種数 のザイフェルト曲面の は階数 なので、ザイフェルト行列 は で、 は次数 以下の多項式です。最小種数の曲面で計算すれば、最高次と最低次の差 が得られます。 の 倍のあいまいさは幅を変えません。さらに、すべての交点が (逆元なし)である正のブレイドの閉包については、スターリングスの定理により はファイバー結び目で、上の曲面はそのファイバーとして最小種数を与えます。よって と等号で決まります。種数は連結和で となることも知られています。
手順
ブレイドの語から紐の本数 と交点数 ( の文字の総数)を読み取る
紐の置換を計算して閉包が結び目(1 成分)であることを確かめる。結び目なら は偶数になる
ザイフェルトのアルゴリズムの曲面(円板 枚・帯 本、)から上界 を得る
語が正のブレイド(すべての文字が )なら、スターリングスの定理を引用して と決定する
そうでないときは、アレクサンダー多項式を求めて下界 を作り、上界と一致すれば種数が決まる
連結和なら各成分の種数を足す:
例題
3 本の紐のブレイドの語 の閉包として表される結び目 (トーラス結び目 )の種数 を求めよ。
例題の解答
手順 1: 紐は 本。語は で、文字は 個。
手順 2: の置換は互換 と の積で、長さ 3 の巡回置換になる。その 4 乗は、巡回置換の位数が なので 1 乗と同じ長さ 3 の巡回置換で、3 本の紐が 1 つにつながる。よって閉包は結び目で、 は偶数。
手順 3: ザイフェルトのアルゴリズムで、入れ子の円板 3 枚と帯 8 本からなる曲面ができ、。種数は なので 。
手順 4: 語の文字はすべて (逆元を含まない)なので正のブレイドである。スターリングスの定理より はファイバー結び目で、この曲面が最小種数を与える。よって 。
(参考: の種数は一般に で、 では となり一致する。)
答え:
よくある誤り
正でないブレイドでも をそのまま種数としてしまう誤り。これは一般には上界にすぎない。例えば 2 本の紐の語 の閉包は を与えるが、語は に簡約でき閉包は自明な結び目なので 。正しくは、正のブレイドでなければ下界 などと照合して決める
がいつも成り立つとしてしまう誤り。正しくは という不等式だけで、 なのに種数が正の結び目もある。下界と上界が一致したとき、あるいは正のブレイドでスターリングスの定理が使えるときにだけ種数が決まる
オイラー標数から種数を出すときに (境界のない閉曲面の式)を使い、 としてしまう誤り。ザイフェルト曲面は境界が 1 成分あるので で、正しくは 。例えば (三葉結び目)では
交点数 の代わりに異なる生成元の種類の数や、紐の本数 の代わりに閉包の成分数を使ってしまう誤り。 は語の文字の総数、 はブレイドの紐の本数(ザイフェルト円の個数)である。例えば では で となり、これは の種数 と合う
この説明は AI が書き、別の AI が例題を独立に解いて答えを確かめ、説明を一歩ずつ査読しました。
入口の問題
この技能を使う問題
5 本の紐のブレイド群 の標準生成元を とする( は 番目の紐と 番目の紐の正の交差 1 つを表す)。ブレイド
の閉包 を考える。 は結び目(成分が 1 つの絡み目)であることが確かめられる。この結び目の種数( 次元球面内で を境界とする向き付け可能な連結曲面の種数の最小値)を求めよ。内の向き付けられた結び目 が、種数 の連結な向き付け可能曲面(ザイフェルト曲面) の境界になっており、 のある基底に関する のザイフェルト行列が
であるとする。ここで、結び目の種数 は を境界とする 内の連結な向き付け可能曲面の種数の最小値、符号数 は対称行列 の符号数(正の固有値の個数から負の固有値の個数を引いたもの)とする。また、任意のザイフェルト行列について は同じ値をとり、 が成り立つことは用いてよい。を求めよ。
4 本の紐のブレイド群 の標準生成元を とする( は 番目の紐と 番目の紐の交差で、閉包の各紐にブレイドの進む向きに沿って向きを入れたとき、符号 の交点になるもの)。ブレイド
の閉包を とする。 は結び目(1 成分)になる。この結び目の種数( を境界とする 内の連結で向き付け可能な曲面の種数の最小値)を求めよ。を正の(右手系の) トーラス結び目とする。結び目の種数 は 内で を境界とする向き付け可能な連結曲面の種数の最小値とし、符号数 は の Seifert 行列 に対する対称行列 の符号数(正の固有値の個数から負の固有値の個数を引いたもの)とする。ただし、この規約で正の三葉結び目 の符号数は となるように向きを取る。
と をこの順に組 で求めよ。
内の結び目 が、種数 の連結で向き付け可能なザイフェルト曲面 を境界としてもつとする。 のある基底 に関するザイフェルト行列 (、 は を の正の側へ押し出したもの)が
であった。結び目の種数 を、 を境界とする 内の連結で向き付け可能な曲面の種数の最小値とし、符号数 を対称行列 の符号数(正の固有値の個数から負の固有値の個数を引いたもの)とする。アレクサンダー多項式は で定める。
組 をこの順に求めよ。
を正の(右手系の) トーラス結び目とし、結び目 の鏡像を で表す。 内の向き付けられた結び目
を考える。結び目の種数 は、 内で を境界とする連結で向き付け可能な曲面の種数の最小値とする。符号数 は、 の任意のザイフェルト行列 に対する対称行列 の符号数(正の固有値の個数から負の固有値の個数を引いたもの)とする。この規約では、右手系の三葉結び目 の符号数は である。
組 をこの順に求めよ。
を と互いに素な 以上の整数とし、 を正の(右手系の) トーラス結び目、すなわち 3 本の紐のブレイド の閉包とする。
結び目 の種数 を、 内で を境界とする向き付け可能な連結曲面の種数の最小値とする。また のザイフェルト行列を とするとき、対称行列 の符号数(正の固有値の個数から負の固有値の個数を引いたもの)を の符号数 とする。
を満たす をすべて求めよ。
この技能の次に学べること
- トーラス結び目のアレクサンダー多項式と種数 (大学院数学 結び目理論)