ブラケット多項式

ウィキペディア

ブラケット多項式

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/10/05 05:37 UTC 版)

ブラケット多項式（ブラケットたこうしき、英: bracket polynomial）とは、位相幾何学の一分野である結び目理論において、結び目または絡み目の射影図に対して定義される、負冪を許す1変数多項式である。ブラケット多項式自体は絡み目不変量ではないが、その径間は絡み目不変量となり、またブラケット多項式を利用して不変量であるジョーンズ多項式を定義することもできる。ブラケット多項式はカウフマン括弧式といわれることもあるが、カウフマン多項式とは異なる。

定義

絡み目の射影図 L に対するブラケット多項式を <L> で表すこととする。

ブラケット多項式は、以下の3つのルールにより帰納的に定義される（多項式の変数は Aとする）。

自明な結び目の自明な射影図。

• ルール1

$\langle \bigcirc \rangle =1\,$

この式において、絡み目の射影図のうち円周外の部分は全て一致しており、円周内の部分のみが上図のように異なっているものとする。

• ルール3

$\langle L\cup \bigcirc \rangle =(-A^{2}-A^{-2})\langle L\rangle \,$

三葉結び目のこの射影図のブラケット多項式は、< K >=$A^{7}-A^{3}-A^{-5}$である。

絡み目の射影図に対して定義されるブラケット多項式は、絡み目の不変量ではない。つまり同じ絡み目の異なる2つの射影図でもブラケット多項式が一致するとは限らない。ライデマイスターの定理によると、2つの絡み目が等しいことは、その射影図がライデマイスター移動と呼ばれる3種類の射影図の局所変形と平面上での同位変形の有限回の繰り返しにより、互いに移りあうことと同値である。ブラケット多項式の場合、ライデマイスター移動IIとIIIを施しても多項式は変化しないが、ライデマイスター移動Iを施すと多項式全体に -A³ がかかったり外れたりしてしまうため、不変量にならないのである。しかし、ブラケットの多項式の径間を考えると、これは絡み目の不変量になる。

また、ライデマイスター移動Iだけによってブラケット多項式がかわってしまうことに注目し、同様にライデマイスター移動Iによってのみ値が変化するひねり数という概念を組み合わせて変化を打ち消すことによって絡み目の多項式不変量をつくることができる（ブラケット多項式による定義を参照）。

連結な既約交代射影図のブラケット多項式の径間は、その射影図の交点数の4倍に等しいという性質がある。例えば右図の三葉結び目の射影図は連結な既約交代射影図となっているが、そのブラケット多項式は < K > = $A^{7}-A^{3}-A^{-5}$ であり、その径間を計算すると 7 - (-5) = 12 となる。これは射影図の交点数3の4倍となっている。

参考文献

• C・C・アダムス著、金信泰造訳 『結び目の数学』 培風館、1998年、145-158頁。ISBN 978-4563002541。
• W. B. R. リコリッシュ 『結び目理論概説』 シュプリンガー・フェアラーク東京、2000年、33-36頁。ISBN 978-4431708599。
• V. V. Prasolov, A. B. Sossinsky, Knots, Links, Braids and 3-Manifolds, Amer Mathematical Society, 1993 , p. 23-27. ISBN 978-0821808986.

外部リンク

• Weisstein, Eric W. "Bracket Polynomial". MathWorld (英語).