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

結び目理論の問題

難易度 2大学院の講義の演習問題レベル証明問題大学院数学 結び目理論

向き付けられた絡み目 のジョーンズ多項式 を、次の つの性質で特徴づけられる向き付き絡み目の不変量とする。ここで「不変量」とは、 が向き付き絡み目 の(向きを保つ)イソトピー類だけで決まることをいい、したがって図式に対する値は、その図式が表す向き付き絡み目の値として定まり、ライデマイスター移動で変わらない。
- 自明な結び目 に対して 。
- つの交点の近くだけが異なり、その交点がそれぞれ正の交点・負の交点・平滑化(向きに沿って交点を解消したもの)になっている向き付き絡み目の図式 に対して

また、次の事実は用いてよい: 任意の向き付き絡み目の図式は、いくつかの交点の上下を入れ替えることで、成分の個数が同じ自明な絡み目(互いに分離した自明な結び目の和)の図式にできる。

を、 に を代入した整数と定める。 を正の整数とするとき、 成分の任意の向き付き絡み目 に対して

が成り立つことを証明せよ。

この問題で使うもの

この問題を解けるようになるまで(28 技能)

ヒント

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

ヒント 1

を代入したとき、スケイン関係式の右辺がどうなるかを見る。 が交点の上下の入れ替えで変わらないことが示せれば、自明な絡み目の場合に帰着できる。

ヒント 2

自明な絡み目 に つのねじれを加えた図式でスケイン関係式を使うと、 と の関係式が得られる。

ヒント 3

ねじれの交点を正・負にした図式はどちらも 、平滑化したものは なので、 となる。左辺を因数分解して を で表す。

採点の観点と模範解答

自分で証明を書いてから、採点の観点で見比べてください。

採点の観点を見る
  • ねじれを つ加えた図式にスケイン関係式を使い、 が 、 が を表すことを正しく説明している(自明な絡み目の値が向きによらないことにも触れている)(2 点)

  • 帰納法で 、したがって を導いている(3 点)

  • スケイン関係式に を代入して 、すなわち交点の上下の入れ替えで が変わらないことを示している(3 点)

  • 交点の入れ替えで成分の個数が変わらないことを確認し、自明な絡み目に帰着して と結論している(2 点)

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

正の整数 に対し、 で 成分の自明な絡み目(互いに分離した 個の自明な結び目)を表す。

(0) の向きについて. の各成分は、ほかの成分と交わらない 次元球体の中に含まれる平らな円周にイソトピーで移せる。その球体の中で円周をその直径のまわりに 回転すると、ほかの成分を動かさずにその成分の向きだけが逆になる。よって はどの向きを付けても向き付き絡み目として同じであり、 は向きの付け方によらない。

(1) 自明な絡み目のジョーンズ多項式. 正の整数 について であることを、 についての帰納法で示す。 のときは なので成り立つ。

で成り立つと仮定して の場合を示す。 の交点のない図式をとり、 つの成分に つの交点をもつ小さなねじれ(ライデマイスター I 型のループ)を加える。この交点を正の交点にした図式を 、負の交点にした図式を とすると、どちらもライデマイスター I 型移動でねじれを消せるので、向き付き絡み目として に等しい。一方、この交点を向きに沿って平滑化すると、ループの部分が元の成分から切り離されて小さな円周になり、ほかの成分と交点をもたない図式が得られる。これは 成分の自明な絡み目の図式なので、 より である。スケイン関係式から

左辺は と因数分解できる。 は整域で なので両辺をこれで割ってよく、帰納法の仮定とあわせて

を得る。よって でも成り立つ。

特に を代入すると である。

(2) は交点の上下の入れ替えで変わらない. スケイン関係式は における等式なので、(したがって , )を代入した等式も成り立ち、

となる。よって である。向き付き絡み目の図式 とその交点 について、 の上下を入れ替えた図式を とする。上下を入れ替えると交点の符号が反転するので、 の符号が正なら 、負なら として上の関係が使え、いずれの場合も が成り立つ。

(3) 結論. を 成分の向き付き絡み目とし、 をその図式とする。与えられた事実から、 の交点のうち有限個 の上下を順に入れ替えて、自明な絡み目の図式にできる。途中の図式を ( は の の上下を入れ替えたもの)とする。交点の上下の入れ替えは図式の平面への射影を変えないので成分の個数を変えず、 は 成分の自明な絡み目 の図式(向きは から引き継いだもの)である。 は不変量なので図式の値はそれが表す絡み目の値に等しく、 を各段階に使って

となる。 より は向きによらず、 より である。

以上より、 成分の任意の向き付き絡み目 に対して が成り立つ。

この問題の確認

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

間違いを報告する

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

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

関連する問題