ホンフリー多項式

ホンフリー多項式（ホンフリーたこうしき、HOMFLY polynomial）またはホムフリー多項式とは、位相幾何学の一分野である結び目理論において、有向絡み目に対する2変数の多項式不変量である。
ホンフリー（HOMFLY）とはこの多項式を見出した6人の数学者（J.Hoste , A.Ocneanu , K.Millett, P.Freyd , W.B.R.Lickorish , D.Yetter）の頭文字を並べたもの（頭字語）である。さらに2人の数学者（J. Przytycki , P. Traczyk）の頭文字をつけてフリプモス多項式（FLYPMOTH polynomial）と呼んだり、同様の概念に到達したが論文にして発表しようとしなかっただれか（unknown）を含めてリンプトーフ多項式（LYMPHTOFU polynomial）ということもある。
定義.
有向絡み目の射影図 "L" に対するホンフリー多項式 "P"L ("m" , "l") を、次の2つのルールによって帰納的に定義する。
このような2つのルールを定めておけば、どんな有向絡み目についてもホンフリー多項式を計算することができる。また、そのためのコンピュータ・プログラムも開発されている。
性質.
ホンフリー多項式は、有向絡み目に対する多変量となる。つまり、同じ有向絡み目に対するどんな射影図についてホンフリー多項式を計算しても同じ結果になる。また、ホンフリー多項式は成分の全ての向きを逆にしても不変のため、向きのついていない結び目の不変量ともいえる（これはホンフリー多項式が結び目の可逆性を調べる役には立たないということでもある）。
ある絡み目に対するホンフリー多項式中の formula_3 を formula_4 に置き換えると、元の絡み目の鏡像になる。よって両手型絡み目のホンフリー多項式は "l" について回文的になっている（ただし逆は成り立たない）。
ホンフリー多項式は、スケイン関係式を使って定義されるスケイン多項式の中では最も一般化されたものであり、ジョーンズ多項式とアレクサンダー多項式の両方の情報を含んでいる。実際、ホンフリー多項式においてformula_5を代入するとジョーンズ多項式になり、formula_6を代入するとアレクサンダー多項式になる（"i" は虚数単位）。
絡み目"L"1 と "L"2の分離和（"L"1 ∪ "L"2）・連結和（"L"1 # "L"2）については以下のような公式がある。
後者の連結和について、絡み目のどの成分を連結させるかによって連結後の絡み目はかわるが、その成分の選び方にかかわらずこの式が成立する。つまり、同じホンフリー多項式を持つ異なる絡み目が存在することになり、ホンフリー多項式が完全な不変量ではないことが分かる。結び目に限ったとしても、ホンフリー多項式を持つ異なる有向結び目が無限に存在することが1986年に証明されている。
別の表現.
ホンフリー多項式は以下のようなスケイン関係式を使って "x" , "t" の多項式として表されることもある。