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

結び目理論の問題

難易度 3大学院入試の専門科目の標準レベル大学院数学 結び目理論

を正の(右手系の) トーラス結び目とする。結び目の種数 は 内で を境界とする向き付け可能な連結曲面の種数の最小値とし、符号数 は の Seifert 行列 に対する対称行列 の符号数(正の固有値の個数から負の固有値の個数を引いたもの)とする。ただし、この規約で正の三葉結び目 の符号数は となるように向きを取る。

と をこの順に組 で求めよ。

この問題で使うもの

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

読み込み中…

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

一覧で見る(前提が先)
  1. 約数の見つけ方
  2. 最大公約数と最小公倍数
  3. 素因数分解と約数の個数
  4. 最大公約数と最小公倍数
  5. 分数のたし算・ひき算
  6. 小数の四則計算
  7. 正負の数の加法・減法
  8. 分数のかけ算・わり算
  9. 四則の混じった計算の順序
  10. 正負の数の乗除・累乗と四則混合
  11. 分配法則を使った計算のくふう
  12. 文字式の計算(同類項・分配法則)
  13. 乗法公式による展開
  14. 因数分解
  15. 文字式で表した整数の性質
  16. 余りによる整数の分類
  17. 樹形図で数え上げる
  18. 積の法則と和の法則
  19. 和の法則・積の法則と樹形図
  20. 合同式
  21. 群の位数と元の位数
  22. 置換の巡回置換分解と位数
  23. ブレイドの置換と閉包の成分数
  24. 絡み数
  25. トーラス絡み目とそのブレイド表示
  26. 三角形の角の大きさ
  27. 対頂角と平行線の同位角・錯角
  28. 三角形の外角と角の組み合わせ
  29. 小数と分数のまじった計算
  30. 逆算(□ を求める)
  31. 1 次方程式の解き方
  32. 二等辺三角形の角
  33. 平行四辺形と特別な四角形の性質
  34. 三角形・四角形の面積
  35. 平方根の意味と根号の簡単化
  36. 三平方の定理
  37. 折り返した図形の角と長さ
  38. 三平方の定理と平面図形
  39. ベクトルの演算と成分
  40. 行列の和・積と 2 次の逆行列
  41. 順列・円順列・重複順列
  42. 行列式
  43. ザイフェルト行列とアレクサンダー多項式
  44. 結び目の種数とザイフェルトのアルゴリズム
  45. トーラス結び目のアレクサンダー多項式と種数
  46. 掃き出し法と連立 1 次方程式
  47. 行列の階数と解の存在
  48. ベクトル空間・一次独立・基底・次元
  49. 円の周の長さと面積
  50. おうぎ形の弧の長さと面積
  51. 弧の長さからおうぎ形の中心角と面積を求める
  52. 特別な直角三角形の辺の比
  53. 弧度法と単位円による三角関数
  54. 加法定理と 2 倍角・半角・積和の公式
  55. 線形変換と行列
  56. 核と像と次元定理
  57. 固有値と固有ベクトル
  58. 掃き出し法による逆行列
  59. 基底の変換と表現行列
  60. 対角化と行列の累乗
  61. 比の性質と簡単な比
  62. 相似な三角形と長さの比
  63. 三角形の相似条件と対応する辺の長さ
  64. 三角比の定義と値
  65. 内積となす角
  66. 内積空間とグラム・シュミットの直交化
  67. 対称行列の直交対角化
  68. 2 次形式の標準形と符号
  69. 結び目の符号数
  70. エルミート行列とエルミート形式の符号
  71. トーラス結び目の符号数(格子点の数え上げ)

ヒント

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

ヒント 1

をブレイド の閉包として表し、種数は Seifert のアルゴリズムと正のブレイドの性質で求める。符号数はトーラス結び目の Seifert 形式の対角化(Brieskorn の公式)を使う。

ヒント 2

種数は から求まり、Bennequin の不等式で最小性がわかる。符号数は、, について が開区間 に入るものを 、入らないものを として足し合わせる。

ヒント 3

。 なので、 となる を数えればよい。 と の行に範囲外のものが 1 つずつある。

答えと解説

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

種数. はブレイド の閉包である。閉ブレイド図式に Seifert のアルゴリズムを使うと、Seifert 円は 個、帯は交差の数 本なので、得られる曲面 のオイラー標数は 。境界は 1 成分なので 。

は正のブレイドなので、Bennequin の不等式 ( はワイズ)から 、すなわち 。よって

( は のリンクとしてファイバー結び目であり、ファイバーであるミルナー・ファイバーが種数 の最小種数曲面になる、と見てもよい。)

符号数. のファイバー曲面の は階数 で、Brieskorn の計算により、 は(複素数体上で), の組 で番号付けられた基底について対角化され、その対角成分の符号は

となる( が互いに素なので は起こらない)。問題の規約()と合っていることは、 で , がともに に入り となることで確かめられる。

, では なので、 となる組の個数を数える(, )。
- : 。範囲内は 個( は範囲外)
- : 。範囲内は 個
- : 。範囲内は 個
- : 。範囲内は 個( は範囲外)

範囲内(負の対角成分)は 個、範囲外(正の対角成分)は 個。よって

(検算: すなわち を満たす。)

以上より 。

別解

種数: の種数は 。 では 。

符号数: Gordon–Litherland–Murasugi の公式を用いる。、 の組 について を考え、(分子が より大きく より小さい)なら 、そうでなければ( または ) を数え上げ、その和が (この規約では正のトーラス結び目で負)。

  • : 分子 。 だけ範囲外。範囲内 4 個、外 1 個。
  • : 分子 。すべて範囲内(5 個)。
  • : 分子 。すべて範囲内(5 個)。
  • : 分子 。 だけ範囲外。範囲内 4 個、外 1 個。

範囲内は計 個、範囲外は計 個なので 。

規約の確認: 三葉結び目 では 、 で がともに範囲内となり 、問題の規約と一致する。

検算: ランクは で、符号数 は を満たし偶数であり、既知の値 (絶対値 16)とも一致する。

よって 。

この問題の確認

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

間違いを報告する

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

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

関連する問題