[論文レビュー] Markov trace on Funar algebra

S. Yu. Orevkov|arXiv (Cornell University)|Jun 4, 2012

Advanced Combinatorial Mathematics参考文献 4被引用数 3

ひとこと要約

本稿は、Funar代数 $K_n(\alpha,\beta)$ におけるマルコフトレースを構成するための厳密な枠組みを確立し、先行研究における基礎的欠落を解消した。トレースのwell-definednessが有限個の恒等式の検証に帰着されることを示し、新規なアルゴリズム的手法を用いることで、$K_\infty$ 上での普遍マルコフトレースの計算が可能になった。特に $ (\alpha,\beta) = (0,0) $ の場合に明示的な結果が得られ、$ K_\infty(0,0;\mathbb{Z}[u,v]) / \bar{R} \cong \mathbb{Z}[u,v]/I $ が成り立ち、ここで $ I = (16, 4u^2 + 4v, 4v^2 + 4u, u^3 + v^3 + uv - 3) $ である。

ABSTRACT

Funar algebra $K_\infty=K_\infty(α,β;k)$ is the quotient of the group algebra over a ring $k$ of the braid group $B_\infty$ by two cubic relations: $σ_1^3-ασ_1^2+βσ_1-1=0$ and another one which involves $σ_1$ and $σ_2$. The universal Markov trace on $K_\infty$ is the quotient map $t$ of $K_\infty(α,β,k[u,v])$ to its quotient (as a $k[u,v]$-module) by trace relations $xy=yx$ and by Markov relations $σ_nx=ux$, $σ_n^{-1}x=vx$ for $x\in K_n$. It is easy to check that the quotient is of the form $k[u,v]/I$ for some ideal $I$ (i. e. that the trace $t$ is determined by $t(1)$). We give an algorithm to compute the ideal $I$ and we present the result of computations in some special cases. In the last section we discuss some properties of the resulting link invariant. This invariant for $β=0$, $k=GF(37)[α]$ detects the chirality of the knots $10_{48}$ and $10_{91}$ and it distinguish many other pairs of knots with equal HOMFLY polynomials.

研究の動機と目的

• 先行研究（Bellingeri, Funar 他）が指摘した、Funar代数上におけるマルコフトレースの存在証明における重大な欠落を是正すること。
• マルコフトレースのwell-definednessを、従来の無限の検証プロセスに代わる、有限でアルゴリズム的に検証可能な基準として確立すること。
• $K_\infty(\alpha,\beta;\mathbb{Z}[\alpha,\beta,u,v])$ 上での普遍マルコフトレースを、体系的な還元プロセスにより計算することにより、BMW やヘッケ代数などの既知の代数への特殊化を可能とすること。
• $ (\alpha,\beta) = (0,0) $ のような特定のパrameter値に対して、トレース不変量を明示的に計算し、HOMFLY多項式などの既知のリンク不変量と関連付けること。
• 得られる不変量 $ P_{0,0;\mathbb{Z}} $ が、HOMFLY多項式の特殊化の2-torsionの強化版であることを示し、同値なHOMFLY多項式に対しては値の差が8以下であることを示すこと。

提案手法

• バンドル群代数 $kB_n$ を、$\sigma_i$ 上の3次関係と、$\sigma_i^{-1}$ を含む複雑なバンドル関係で割った商代数として定義する、$K_n(\alpha,\beta)$ 代数という新しい代数的構造を導入。これは、$\sigma_i^2$ を用いた従来の定式化に代わるものである。
• トレース値が関係 $\bar{R}$ で生成されるイデアルを含むものとして、$K_\infty$ 上のマルコフトレースを、$k[u,v]$-線形写像として定義し、$ t(xy) = t(yx) $、$ t(xs_n) = u t(x) $、$ t(xs_n^{-1}) = v t(x) $ を満たす。
• 定理2.4で、$\sigma_i^{\pm 1}$ の単語に対する $K$-還元を用いて、有限個の恒等式の検証に帰着することで、普遍トレースを計算する理論的アルゴリズムを開発。
• $K$-還元：定義関係 (1) および (2) を用いた基本還元と、$\sigma_1^{\pm 1}, \sigma_2^{\pm 1}$ の21個の還元済み単項式の有限集合を用いて、$kF_\infty^+$ 内の要素を正規化。
• コロナリー2.5および2.6で、明示的なコンピュータ支援計算を実施し、$ (\alpha,\beta) = (0,0) $ の場合のトレース不変量を計算。その結果、$ K_\infty(0,0;\mathbb{Z}[u,v]) / \bar{R} \cong \mathbb{Z}[u,v]/I $ が得られ、ここで $ I = (16, 4u^2 + 4v, 4v^2 + 4u, u^3 + v^3 + uv - 3) $ である。
• ヘッケ代数 $H_\infty$ へのホモモーティズムを介して、得られた不変量をHOMFLY多項式と関連付ける。$P_{0,0;\mathbb{Z}/4\mathbb{Z}}$ がHOMFLY多項式の特殊化であることを示し、$P_{0,0;\mathbb{Z}}$ がその値に対して最大8の差を示すことを示した。

実験結果

リサーチクエスチョン

• RQ1 先行研究で指摘された欠落を踏まえ、Funar代数上におけるマルコフトレースのwell-definednessが、厳密に確立可能か。
• RQ2 マルコフトレースのwell-definednessの検証を、無限のプロセスから、有限でアルゴリズム的に計算可能な恒等式の集合に還元可能か。
• RQ3 普遍マルコフトレース $K_\infty(\alpha,\beta;\mathbb{Z}[\alpha,\beta,u,v])$ の構造は何か。特定のパrameter値に対して明示的に計算可能か。
• RQ4 得られたリンク不変量 $P_{0,0;\mathbb{Z}}$ とHOMFLY多項式の関係は何か。その差の性質は。
• RQ5 特定のねじれやリンクに対して、トレース不変量を明示的に計算可能か。それらの代数的性質は何か。

主な発見

• 本稿は、Funar代数上におけるマルコフトレースがwell-definedであるための必要十分条件が、有限でアルゴリズム的に検証可能な恒等式の集合が成り立つことであることを確立し、先行研究における基礎的欠落を解消した。
• $ (\alpha,\beta) = (0,0) $ の場合、$K_\infty(0,0;\mathbb{Z}[u,v])$ 上の普遍マルコフトレースが $ \mathbb{Z}[u,v]/I $ として計算され、ここで $ I = (16, 4u^2 + 4v, 4v^2 + 4u, u^3 + v^3 + uv - 3) $ である。計算は12交差まで検証済みである。
• $ P_{0,0;\mathbb{Z}} $ が、HOMFLY多項式の特殊化の2-torsionの強化版であることが示された。同値なHOMFLY多項式を持つ2つのリンクに対して、$ P_{0,0;\mathbb{Z}} $ の値の差は8以下である。
• $ P_{0,0;\mathbb{Z}/4\mathbb{Z}} $ が、ヘッケ代数へのホモモーティズムを介してHOMFLY多項式の特殊化であることが証明された。明示的公式は $ P_{0,0;\mathbb{Z}/4\mathbb{Z}}(u,v) = h(ij^2u^{1/2}v^{-1/2}, -i) $ であり、ここで $ h $ は正規化されたHOMFLY多項式である。
• 本稿は、0から12交差までのすべてのねじれおよびリンクについて、完全なトレース不変量のセットを提供している。交差数が0から12に増加するに従い、異なる不変量の数は1から86に増加する。
• アルゴリズム的枠組みにより、Funar代数上でのマルコフトレースの普遍的計算が可能となり、BMW やヘッケ代数などへの特殊化も可能であるが、一般パrameterでは全計算は計算的に非現実的である。