結び目理論の問題
4 本の紐のブレイド群 の標準生成元を とする( は 番目の紐と 番目の紐の交差で、閉包の各紐にブレイドの進む向きに沿って向きを入れたとき、符号 の交点になるもの)。ブレイド
の閉包を とする。 は結び目(1 成分)になる。この結び目の種数( を境界とする 内の連結で向き付け可能な曲面の種数の最小値)を求めよ。
この問題で使うもの
- ブレイドの置換と閉包の成分数(説明と入口の問題)
- 結び目の種数とザイフェルトのアルゴリズム(説明と入口の問題)
この問題を解けるようになるまで(43 技能)
読み込み中…
右端(太枠)がこの問題で使う技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。
一覧で見る(前提が先)
- 約数の見つけ方
- 最大公約数と最小公倍数
- 素因数分解と約数の個数
- 最大公約数と最小公倍数
- 分数のたし算・ひき算
- 小数の四則計算
- 正負の数の加法・減法
- 分数のかけ算・わり算
- 四則の混じった計算の順序
- 正負の数の乗除・累乗と四則混合
- 分配法則を使った計算のくふう
- 文字式の計算(同類項・分配法則)
- 乗法公式による展開
- 因数分解
- 文字式で表した整数の性質
- 余りによる整数の分類
- 樹形図で数え上げる
- 積の法則と和の法則
- 和の法則・積の法則と樹形図
- 合同式
- 群の位数と元の位数
- 置換の巡回置換分解と位数
- ブレイドの置換と閉包の成分数
- 三角形の角の大きさ
- 対頂角と平行線の同位角・錯角
- 三角形の外角と角の組み合わせ
- 小数と分数のまじった計算
- 逆算(□ を求める)
- 1 次方程式の解き方
- 二等辺三角形の角
- 平行四辺形と特別な四角形の性質
- 三角形・四角形の面積
- 平方根の意味と根号の簡単化
- 三平方の定理
- 折り返した図形の角と長さ
- 三平方の定理と平面図形
- ベクトルの演算と成分
- 行列の和・積と 2 次の逆行列
- 順列・円順列・重複順列
- 行列式
- 絡み数
- ザイフェルト行列とアレクサンダー多項式
- 結び目の種数とザイフェルトのアルゴリズム
ヒント
行き詰まったら、上から順に 1 つずつ開いてください。
ヒント 1
閉ブレイド図式に Seifert のアルゴリズムを適用した曲面の種数を計算し、それが最小であることを正のブレイドの性質から示す。
ヒント 2
閉ブレイド図式の Seifert 円周の数は紐の本数 に等しく、交点数を とすると Seifert 曲面のオイラー標数は 。正のブレイドの閉包はファイバー結び目で、この曲面がファイバーになる(または Bennequin 不等式 )。
ヒント 3
置換 は 4 次の巡回置換なので結び目である。, なので となる。
答えと解説
答えを見る
どこでつまずきましたか?(選ぶと、戻る場所を案内します)
解説を読む
1 成分であること. の定める置換は互換 なので、 の置換は
である。互換 は頂点 を結ぶ木をなすので、その積は長さ 4 の巡回置換になる(実際に計算しても 4 次の巡回置換)。よって は 1 成分の結び目である。
Seifert 曲面. 閉ブレイド図式に Seifert のアルゴリズムを適用すると、すべての交点で向きに沿って平滑化したとき Seifert 円周はちょうど紐の本数 個(同心円)になり、各交点がそれらをつなぐねじれた帯 1 本を与える。交点の個数は語の長さ
なので、得られる Seifert 曲面 のオイラー標数は
境界成分は 1 個なので より
最小性. は正のブレイド(すべての生成元が正のべきで現れ、 がすべて現れる)である。Stallings の定理により、このような(斉次な)ブレイドの閉包はファイバー結び目であり、上の Seifert 曲面 はそのファイバー曲面になる。ファイバー曲面は種数最小の Seifert 曲面なので である。
(別の確認: 閉ブレイドについての Bennequin 不等式 を使うと、ねじれ数 , より 。一方 から なので 。)
よって求める種数は 。
別解
は正のブレイド(すべての交差が正)で、 がすべて現れる。交点数は 、紐の本数は 。
置換を追うと、、、、。左から順に適用すると となり 4 サイクルなので、閉包は 1 成分の結び目である。
正のブレイドの閉包について、ザイフェルト円周の数は で、ザイフェルトのアルゴリズムで得られる曲面の位相的な形は、 枚の円盤を 本のバンドでつないだものである。この曲面のオイラー数は である。正のブレイドの閉包では、この曲面が種数最小の曲面になる(正ブレイド結び目はファイバー結び目であり、ファイバー曲面は種数最小。あるいは Bennequin 型不等式から従う)。
よって より 。
検算として、。これはアレクサンダー多項式の次数 とも整合する(正ブレイドでは最高次係数が で次数が )。