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

結び目理論の問題

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

を でない整数とし、 本のひもからなるブレイド の閉包として得られる絡み目をトーラス絡み目 とする( のときは と解釈する)。

向きの付いた 成分絡み目 の図式 において、 と が交わる交点(混合交点)の全体を とし、各交点 には通常の右手系の規則で符号 を定める。絡み数を

で定める。この値が向き付き絡み目 の図式 の取り方によらない(向きを保ったライデマイスター移動で不変である)ことは用いてよい。また、絡み目 の図式 の交点の個数を とし、 の交点数 を、 のすべての図式 にわたる の最小値と定める(交点数は向きによらない)。

このとき、 の交点数が であることを証明せよ。

この問題で使うもの

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

ヒント

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

ヒント 1

交点数が 以下であることは具体的な図式から、 以上であることは絡み数を使った不等式から示すとよいでしょう。

ヒント 2

任意の図式 について、混合交点の個数を とすると が成り立ちます。

ヒント 3

まず の置換が恒等置換なので は 成分で、ブレイドの 本のひもがそれぞれ別の成分になることを確かめます。次に、標準的な図式の 個の交点がすべて混合交点で、符号がすべて等しいことから を計算します。

採点の観点と模範解答

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

採点の観点を見る
  • の置換が恒等置換であることから、 が 成分絡み目で、ブレイドの 本のひもが別々の成分になることを確認している(1 点)

  • 閉包の標準的な図式が 個の交点をもつことから を示している(2 点)

  • 標準的な図式の交点が、各高さで位置 と位置 にある異なるひもどうし、つまり異なる成分どうしの交点であり、両成分が同じ向きに進むので符号がすべて等しいことを説明し、 を計算している(3 点)

  • 任意の図式で三角不等式により を導き、絡み数の不変性を使って を示している(3 点)

  • 上下の評価を合わせて と結論している(1 点)

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

方針. 上からの評価 は標準的な図式から、下からの評価 は絡み数による不等式から示す。

(1) は 成分絡み目であること. ブレイド に対応する置換は互換 であり、 に対応する置換は である。閉包の成分の個数は置換の巡回の個数に等しいので、 は 成分絡み目である。置換が恒等置換なので、上端の位置 から出たひもは下端でも位置 に戻り、閉包でそのまま上端の位置 につながる(位置 についても同じ)。したがってブレイドの部分の 本のひものうち、上端で位置 から出るひもの全体が一方の成分、位置 から出るひもの全体がもう一方の成分になる。前者を 、後者を とし、両成分にブレイドの進む向き(上から下)の向きを付ける。以下、 はこの向きを付けた向き付き絡み目として扱う。

(2) 上からの評価. ブレイド の閉包の標準的な図式 は、ブレイドの部分にちょうど 個の交点をもち、閉包をとる部分(ひもを外側に回してつなぐ部分)には交点がない。よって であり、交点数の定義から である。

(3) における絡み数の計算. 本のひものブレイドでは、各交点は、その高さで位置 にあるひもと位置 にあるひもの交点である。各ひもは を通るたびに位置を入れかえるが、ブレイドのどの高さでも 本のひもはそれぞれちょうど つの位置を占めるので、位置 にあるひもと位置 にあるひもは常に異なる 本のひもである。 よりこの 本は一方が 、他方が に属するので、 の 個の交点はすべて混合交点である。

また、両方のひもが同じ向き(上から下)に進むので、各交点の符号は生成元の種類だけで決まる。 の交点の符号を とすると(どちらになるかは の上下の規約によるが、以下では使わない)、 の交点は上下が逆なので符号は である。 は なら だけ、 なら だけからなるので、すべての交点の符号は同じ値 になる。よって

(4) 一般の図式に対する不等式. を の任意の図式とする。 は とライデマイスター移動の列で結ばれるので、 の成分の向きを移動に沿って運ぶことで、 を の向き付き絡み目の図式とみなせる。混合交点の個数を とする。絡み数は図式によらないので、 と三角不等式、 より

が成り立つ。混合交点は の交点の一部なので である。よって である。

交点の個数 は向きによらないので、向きを考えない図式として与えられた についても同じ不等式が成り立つ。

(5) 結論. は の任意の図式 について成り立つので、交点数の定義から である。 と合わせて、 が示された。

この問題の確認

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

間違いを報告する

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

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

関連する問題