ホンフリー多項式

有向絡み目の射影図 L に対するホンフリー多項式 P_L (m , l) を、次の2つのルールによって帰納的に定義する。

このような2つのルールを定めておけば、どんな有向絡み目についてもホンフリー多項式を計算することができる。また、そのためのコンピュータ・プログラムも開発されている。

ホンフリー多項式は、有向絡み目に対する多変量となる。つまり、同じ有向絡み目に対するどんな射影図についてホンフリー多項式を計算しても同じ結果になる。また、ホンフリー多項式は成分の全ての向きを逆にしても不変のため、向きのついていない結び目の不変量ともいえる（これはホンフリー多項式が結び目の可逆性を調べる役には立たないということでもある）。

ある絡み目に対するホンフリー多項式中の ${\displaystyle l}$ を ${\displaystyle l^{-1}}$ に置き換えると、元の絡み目の鏡像になる。よって両手型絡み目[注 1]のホンフリー多項式は l について回文的になっている（ただし逆は成り立たない）。

ホンフリー多項式は、スケイン関係式を使って定義されるスケイン多項式の中では最も一般化されたものであり、ジョーンズ多項式とアレクサンダー多項式の両方の情報を含んでいる。実際、ホンフリー多項式において${\displaystyle l=it^{-1},m=i(t^{-{\frac {1}{2}}}-t^{\frac {1}{2}})}$を代入するとジョーンズ多項式になり、${\displaystyle l=i,m=i(t^{\frac {1}{2}}-t^{-{\frac {1}{2}}})}$を代入するとアレクサンダー多項式になる（i は虚数単位）。

絡み目L₁ と L₂の分離和（L₁ ∪ L₂）・連結和（L₁ # L₂）については以下のような公式がある。

${\displaystyle P(L_{1}\cup L_{2})=-(l+l^{-1})m^{-1}P(L_{1})P(L_{2})\,}$

${\displaystyle P(L_{1}\#L_{2})=P(L_{1})P(L_{2})\,}$

後者の連結和について、絡み目のどの成分を連結させるかによって連結後の絡み目はかわるが、その成分の選び方にかかわらずこの式が成立する。つまり、同じホンフリー多項式を持つ異なる絡み目が存在することになり、ホンフリー多項式が完全な不変量ではないことが分かる。結び目に限ったとしても、ホンフリー多項式を持つ異なる有向結び目が無限に存在することが1986年に証明されている[2]。

ホンフリー多項式は以下のようなスケイン関係式を使って x , t の多項式として表されることもある[3]。

${\displaystyle xP_{L_{+}}(x,t)-tP_{L_{-}}(x,t)=P_{L_{0}}(x,t)\,}$

• C・C・アダムス著、金信泰造訳 『結び目の数学』 培風館、1998年、166-175頁。ISBN 978-4563002541。
• 村杉邦男 『結び目理論とその応用』 日本評論社、1993年、189-191頁。ISBN 978-4535781993。

• Weisstein, Eric W. "HOMFLYPolynomial". mathworld.wolfram.com (英語).