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

結び目理論の問題

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

奇数 に対し、プレッツェル結び目 を次のように定める。上下に置いた 2 枚の円板を、横に並べた 3 本の帯でつなぐ。左から順に帯に 回、 回、 回の半ひねりを入れ(符号は半ひねりの向きを表し、負の数は逆向きの半ひねり 回とする)、こうしてできた曲面の境界を とする。 がすべて奇数なので、 は結び目であり、この曲面は向き付け可能である。

向き付けられた絡み目 のコンウェイ多項式 を、自明な結び目 に対して 、およびスケイン関係式

で定める( は 1 つの交点の近くだけが異なる通常のスケイン三つ組)。コンウェイ多項式は結び目の向きによらず、アレクサンダー多項式 とは の関係にある。

がそれぞれ集合 の元を動くとき、

となる順序付きの組 の個数を求めよ(異なる組が同じ結び目を表す場合も、組としては別々に数える)。

この問題で使うもの

この問題を解けるようになるまで(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 枚の円板と 3 本の帯からなる曲面は種数 1 のザイフェルト曲面です。 のザイフェルト行列からアレクサンダー多項式を計算しましょう。

ヒント 2

2 本ずつの帯を通る 2 つのループを基底にとると、ザイフェルト行列は の形になります。 を を使って表してみましょう。

ヒント 3

が得られます。条件は 、すなわち です。各 について、 と がとりうる値の中から積が になる組を数えましょう。

答えと解説

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

1. ザイフェルト行列. 問題文の曲面 は 2 枚の円板と 3 本の帯からなり、オイラー標数は 、境界は 1 成分なので種数 1 のザイフェルト曲面である。 の基底として、帯 1 と帯 2 を通るループ 、帯 2 と帯 3 を通るループ をとる。半ひねり 回の帯を 1 回通るループの自己絡み数の寄与は なので、 を から押し出したもの を使って絡み数を計算すると、ザイフェルト行列は(符号の流儀を一つ固定して)

となる。( が交叉形式 になることが確認できる。流儀を変えると が や に変わるが、 行列なので以下の行列式は変わらない。)

2. アレクサンダー多項式. とおく。

ここで 、また とおくと

よって と の係数はともに 、 の係数は である。 とおくと なので、 となるように対称化して

のとき だから

( が奇数なので となり は整数。コンウェイ多項式は で正規化が一意に決まるので、符号の不定性はない。検算: は三葉結び目で , 。 は種数 1・行列式 7 の で , 。 は で , 。いずれも既知の値と一致する。)

3. 条件の言い換え. 。両辺に を足すと

とし、各 について で となる順序対を数える。

  • : 、。 の 4 個( は が候補にないので不可)。
  • : 、。同様に 4 個。
  • : 、。 の 4 個( は がないので不可)。
  • : 。 の 4 個。
  • : 、。 の 2 個。
  • : 全体の符号を反転すると は変わらないので、 と同じく 2 個。
  • : 、。 の 2 個。
  • : 同様に 2 個。

合計は 。

(例: では 、 では 。)

よって求める個数は である。

別解

奇数 のプレッツェル結び目 は、2 枚の円板と 3 本の帯からなる種数 1 の Seifert 曲面を境界にもつ。この曲面の Seifert 行列は(符号の流儀を除いて)

である。

コンウェイ多項式は ()で与えられる。 とすると

なので、 で割って

ここで 、

よって 。

(検算: は三葉結び目で 、 となり正しい。 では 、 で、これは既知の自明な Alexander 多項式をもつ例と一致する。)

となる条件は 、すなわち

この式は で不変なので、 の場合を数えて 2 倍する。。

  • : 。 から、。 の 4 組。
  • : 。 から、。 の 4 組。
  • : 。 から、。 の 2 組。
  • : 。 から、。 の 2 組。

で 組。 も同数なので、合計 組。

検算: : 、: 、: 、: 。いずれも成立。

この問題の確認

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

間違いを報告する

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

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

関連する問題