ブラケット多項式

ブラケット多項式の概要

ブラケット多項式（Bracket Polynomial）は、位相幾何学の一分野である結び目理論において、結び目または絡み目の射影図に対して定義される多項式の一種です。この多項式は、負の冪をも許す1変数の多項式であり、絡み目不変量そのものではありませんが、その径間は絡み目不変量として機能します。また、ブラケット多項式を用いることで、ジョーンズ多項式と呼ばれる他の重要な不変量を導出することが可能です。ブラケット多項式はカウフマン括弧式とも称されることがありますが、カウフマン多項式とは厳密には異なる性質を持っています。

定義と計算ルール

ブラケット多項式は、絡み目の射影図を L とした場合、記号で により表現されます。この多項式は、次の3つの基本的なルールに基づいて帰納的に定義されます。これらのルールを使用することで、増加する交点に応じてブラケット多項式を計算することができます。

1. 交点がなく、k 成分からなる自明な絡み目の射影図のブラケット多項式は、次のように表現されます：
⟨⟨◯ ∪ ◯ ∪ ⋯ ∪ ◯⟩⟩ = (-A² - A⁻²)^{k-1}。

2. 交点が n 個ある射影図に対しては、n-1 個の交点の射影図のブラケット多項式から計算可能です。

3. 階段的にこの手法を繰り返すことで、任意の交点を持つ射影図のブラケット多項式を求めることができます。

特に、交点数 n の射影図のブラケット多項式を求めるには、多くの場合 2n 個の自明な射影図に対して計算を行う必要があることに留意してください。これにより、大規模な計算が必要となりますが、その結果、交点の変化に対する多項式の変換を把握できます。

性質と不変量

ブラケット多項式は、絡み目の不変量ではないことが特徴です。つまり、同じ結び目においても、異なる射影図から得られるブラケット多項式は必ずしも同一にはなりません。この性質は、ライデマイスターの定理に基づいており、異なる射影図間での等価性を理解するための重要な要素となっています。

ライデマイスター移動によって、ブラケット多項式は変化することがありますが（特に移動Iの場合）、他の移動IIやIIIでは変化が見られないことに注意する必要があります。こうした変化を考慮に入れることで、絡み目の多項式不変量を構築することが可能となります。

さらに面白い特徴として、連結な既約交代射影図のブラケット多項式の径間は、交点数の4倍に等しいことが知られています。具体例として、三葉結び目の射影図を見てみると、そのブラケット多項式が示す値から、その径間を算出することができ、この値が交点数の4倍であることにも気づくでしょう。

参考文献とリソース

ブラケット多項式に関する詳細な情報は、以下の文献でも確認できます：

• - C・C・アダムス著、金信泰造訳 『結び目の数学』
• - W. B. R. リコリッシュ 『結び目理論概説』
• - V. V. Prasolov, A. B. Sossinsky著 『Knots, Links, Braids and 3-Manifolds』

これらの文献を通じて、ブラケット多項式の理論的背景や応用に関するさらなる理解を深めていただけるでしょう。また、オンラインリソースとしては、エリック・W・ワイススタインによる「Bracket Polynomial」も参考になります。

もう一度検索