単元一覧 › 大学院数学 結び目理論

結び目理論の問題

難易度 4大学院入試の難問レベル大学院数学 結び目理論

Rolfsen の表の結び目 を考える。 はプレッツェル結び目 と同じ結び目である。

2 以上の整数 に対し、 の図式のフォックス 彩色とは、図式の各弧に の元を割り当てる方法であって、各交点で上を通る弧の色を 、下を通る 2 本の弧の色を とするとき

が成り立つものをいう(すべての弧が同じ色である自明な彩色も数える)。この個数 は図式の選び方によらない の不変量である。

をこの順に組で求めよ。

この問題で使うもの

この問題を解けるようになるまで(48 技能)
算数中学高校大学大学院

読み込み中…

右端(太枠)がこの問題で使う技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。

一覧で見る(前提が先)
  1. 三角形の角の大きさ
  2. 対頂角と平行線の同位角・錯角
  3. 三角形の外角と角の組み合わせ
  4. 小数の四則計算
  5. 分数のたし算・ひき算
  6. 分数のかけ算・わり算
  7. 小数と分数のまじった計算
  8. 逆算(□ を求める)
  9. 正負の数の加法・減法
  10. 四則の混じった計算の順序
  11. 正負の数の乗除・累乗と四則混合
  12. 分配法則を使った計算のくふう
  13. 文字式の計算(同類項・分配法則)
  14. 1 次方程式の解き方
  15. 二等辺三角形の角
  16. 平行四辺形と特別な四角形の性質
  17. 三角形・四角形の面積
  18. 約数の見つけ方
  19. 素因数分解と約数の個数
  20. 平方根の意味と根号の簡単化
  21. 三平方の定理
  22. 乗法公式による展開
  23. 折り返した図形の角と長さ
  24. 三平方の定理と平面図形
  25. ベクトルの演算と成分
  26. 行列の和・積と 2 次の逆行列
  27. 樹形図で数え上げる
  28. 積の法則と和の法則
  29. 和の法則・積の法則と樹形図
  30. 順列・円順列・重複順列
  31. 行列式
  32. 最大公約数と最小公倍数
  33. 最大公約数と最小公倍数
  34. 因数分解
  35. 文字式で表した整数の性質
  36. 余りによる整数の分類
  37. 合同式
  38. 群の位数と元の位数
  39. 置換の巡回置換分解と位数
  40. ブレイドの置換と閉包の成分数
  41. 絡み数
  42. ザイフェルト行列とアレクサンダー多項式
  43. コンウェイ多項式とスケイン関係式
  44. 掃き出し法と連立 1 次方程式
  45. 行列の階数と解の存在
  46. フォックス n 彩色
  47. 結び目の行列式と彩色の個数
  48. プレッツェル結び目の不変量

ヒント

行き詰まったら、上から順に 1 つずつ開いてください。

ヒント 1

フォックス 彩色の個数は、2 重分岐被覆の 1 次ホモロジー群 を使って と書ける。行列式 だけでは決まらないことに注意する。

ヒント 2

プレッツェル結び目 のゲーリッツ行列は で、その余核が になる。スミス標準形を求める。

ヒント 3

ではゲーリッツ行列は で、行列式は 、すべての成分が の倍数である。ここから の構造を決め、 を使って各 の個数を数える。

答えと解説

答えを見る
結果を記録する(このブラウザにだけ保存されます):
解説を読む

方針 フォックス 彩色の個数は、 の 2 重分岐被覆 の 1 次ホモロジー群 を用いて

と表される(彩色の空間は と同一視でき、最初の因子が定数彩色の分)。 であるが、 は の位数だけでなく群の構造によることに注意する。

の計算(ゲーリッツ行列) プレッツェル結び目 の(縮約)ゲーリッツ行列は

であり、 である。 のとき

すべての成分が で割り切れ、成分の最大公約数は 、 なので、スミス標準形は である。よって

各 での個数 より 。
- :
- :
- :

直接の確認(プレッツェル図式での彩色) の標準図式で、上端の弧の色を 、 番目のねじれ領域に入る 2 本の弧の色の差を とすると、ねじれ領域の中では色が公差 の等差数列で変わる。上下の弧のつながりから、彩色は

を満たす と 1 対 1 に対応する。 で数えると:
- : 第 1 の条件は常に成り立つので の解は 個、。
- : より ()と書け、和の条件は となる。 の 通りに対し はただ 1 つに決まるので解は 個、。
- : 中国剰余定理により mod と mod に分ける。mod では解は 個。mod では が可逆なので となり、和の条件は で解は 個。よって解は 個、。

以上より である。

別解

n が奇数のとき、フォックス n 彩色全体のなす群は、 と同型である。ここで は の 2 重分岐被覆の 1 次ホモロジーである。したがって となる(自明な彩色が の分、すなわち 個を与える)。

の行列式は である。2 重分岐被覆は 3 つの特異ファイバー(重複度 3, 3, 3)をもつ小さなザイフェルト多様体で、(位数 9、アレクサンダー多項式 をもつ はよく知られた巡回的でない例)である。

  • : なので 。
  • : なので となり 。
  • : は より 個。。

検算: は 彩色の個数で、( は 3 ランク)に一致し 。( は 5 と互いに素なので 5 彩色は自明なものだけで 5 個)。 は を法とする行列式 9 の連立方程式の解の個数としても一致する。

この問題の確認

AI が作成した問題です。公開前に次の確認を行いました。確認の方法について

間違いを報告する

この問題の誤り・分かりにくい点・難易度や学年のずれを知らせる
どこについての報告ですか

報告の内容と問題の番号を保存します。名前やメールアドレスは保存しません。

関連する問題