[論文レビュー] Recurrence relation for HOMFLY polynomial and rational specializations

Rehana Ashraf, Barbu Berceanu|arXiv (Cornell University)|Mar 4, 2010

Geometric and Algebraic Topology参考文献 8被引用数 3

ひとこと要約

本稿は、閉ブレードのHOMFLY多項式に対してフィボナッチ型の漸化式関係を確立し、その結果、3つの有理的特殊化（アレクサンダー＝コンウェイ、ジョーンズ、および新たに特定された多項式）しか存在しないことが明らかになった。この漸化式を活用することで、一般および相対的展開公式と有理型母関数を導出し、計算を単純なブレードの閉包に還元した。さらに、3つの多項式の代数的独立性を証明した。

ABSTRACT

Turning the skein relation for HOMFLY into a Fibonacci recurrence, we prove that there are only three rational specializations of HOMFLY polynomial: Alexander-Conway, Jones, and a new one. Using the recurrence relation, we find general and relative expansion formulae and rational generating functions for Alexander-Conway polynomial and the new polynomial, which reduce the computations to closure of simple braids, a subset of square free braids; HOMFLY polynomials of these simple braids are also computed. Algebraic independence of these three polynomials is proved.

研究の動機と目的

• HOMFLYの系関係をフィボナッチ型漸化式に変換することで、HOMFLY多項式のすべての有理的特殊化を同定すること。
• 漸化式関係を用いて、アレクサンダー＝コンウェイ多項式および新規多項式の一般および相対的展開公式を構築すること。
• 漸化式を活用して、HOMFLY多項式の計算を単純なブレード、特に平方自由ブレードの閉包に還元すること。
• アレクサンダー＝コンウェイ、ジョーンズ、および新たに発見された有理的特殊化の3つの多項式が、$\mathbb{C}[s,s^{-1}]$ 上で代数的独立であることを証明すること。
• アレクサンダー＝コンウェイ多項式および新規多項式の有理型母関数と閉形式表現を、ローレンツ多項式基底を用いて提供すること。

提案手法

• 閉$n$-ブレードに対して、HOMFLYの系関係をパラメータ$(-ml, -l^2)$をもつ複数のフィボナッチ漸化式に変換する。
• 展開公式の基底として、ローレンツ多項式$C^a(s) = (-1)^a s^{a-1} + s^{1-a}$を定義する。
• 一般展開公式を導出：$\nabla_n(x_{i_1}^{a_1}\ldots x_{i_k}^{a_k}) = \left(\frac{s}{s^2+1}\right)^k \sum_{j_i \in \{0,1\}} \prod_{i=1}^k C^{a_i + j_i}(s) \cdot \nabla_n(x_{i_1}^{j_1}\ldots x_{i_k}^{j_k})$。
• 部分図形が$p$個あるリンクに対して相対的展開公式を確立：$\nabla_{\mathcal{L}}(k_1,\ldots,k_p) = \left(\frac{s}{s^2+1}\right)^p \sum_{j_i \in \{0,1\}} \prod_{i=1}^p C^{k_i + j_i}(s) \cdot \nabla_{\mathcal{L}}(j_1,\ldots,j_p)$。
• 帰納法と漸近次数解析を用いて、漸化式に現れる特定のローレンツ多項式が消える必要があることを証明し、代数的独立性を導出する。
• 漸化式を応用して、$ abla$、$V$、$D$多項式において異なる先頭項を持つリンク$L_{p,n} = \widehat{x_1^{2p+1} \cdots x_n^{2p+1}}$を構成し、多項式係数に関する背理法を用いて代数的独立性を証明する。

実験結果

リサーチクエスチョン

• RQ1 HOMFLY多項式のどの有理的特殊化がフィボナッチ型漸化式関係を満たすか？
• RQ2 アレクサンダー＝コンウェイ多項式およびジョーンズ多項式は、標準的なローレンツ多項式基底を用いて一般展開公式で表現可能か？
• RQ3 漸化式構造から生じる、以前に知られていなかったHOMFLY多項式の有理的特殊化が存在するか？
• RQ4 アレクサンダー＝コンウェイ、ジョーンズ、および新規多項式は、$\mathbb{C}[s,s^{-1}]$ 上で代数的独立か？
• RQ5 漸化式を用いて、HOMFLY多項式の計算を単純なブレードの閉包に還元可能か？

主な発見

• HOMFLY多項式には正確に3つの有理的特殊化が存在する：アレクサンダー＝コンウェイ、ジョーンズ、および漸化式の特徴根から導かれた新規多項式。
• アレクサンダー＝コンウェイ多項式は複数のフィボナッチ漸化式を満たす：$\nabla_n(a_1,\ldots,a_j+2,\ldots,a_k) = (s^{-1} - s)\nabla_n(a_1,\ldots,a_j+1,\ldots,a_k) + \nabla_n(a_1,\ldots,a_j,\ldots,a_k)$。
• 特徴方程式が重解$r''_1 = r''_2 = s$を持つ場合に新規多項式が出現し、これはジョーンズおよびアレクサンダー＝コンウェイの場合とは異なる。
• 一般展開公式により、任意の閉ブレードのアレクサンダー＝コンウェイ多項式が、$2^k$個の単純なブレード閉包の重み付き和として表現され、重みは$C^{a_i + j_i}(s)$で与えられる。
• 相対的展開公式により、$p$個の部分図形を持つリンクのアレクサンダー＝コンウェイ多項式が、部分図形の$2^p$通りの配置の和として計算可能である。
• アレクサンダー＝コンウェイ、ジョーンズ、および新規$D$-多項式は、$\mathbb{C}[s,s^{-1}]$ 上で代数的独立であり、構築されたリンク族$L_{p,n}$における先頭項の漸近次数解析を用いて証明された。