[論文レビュー] The HOMFLYPT polynomials of sublinks and the Yokonuma-Hecke algebras

Loïc Poulain d’Andecy, Emmanuel Wagner|arXiv (Cornell University)|Jun 1, 2016

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

ひとこと要約

本稿は、ヤコヌマ–ヘッケ代数上のマーカフトレースから導かれるリンク不変量の完全な代数的記述を確立し、それらが部分リンクのリンク数およびHOMFLYPT多項式によって完全に決定されることを示している。主な結果は、不変量 $ T_d(L) $ が、そのリンク行列およびパラメータ $ u, v, \gamma' $ を用いた部分リンクのHOMFLYPT多項式で重み付けられた、$ d $ 個の非空部分リンクからなる完全な族の和として表されることを示している。

ABSTRACT

We describe completely the link invariants constructed using Markov traces on the Yokonuma-Hecke algebras in terms of the linking matrix and the HOMFLYPT polynomials of sublinks.

研究の動機と目的

• ヤコヌマ–ヘッケ代数 $ Y_{d,n} $ 上のマーカフトレースによって構成されるすべてのリンク不変量を特徴付けること。
• これらの不変量を、特にリンク数およびHOMFLYPT多項式を含む部分リンクの位相的不変量の観点から明示的に表現すること。
• ジュユマヤ–ランブロポウロス不変量が $ Y_{d,n} $ からの不変量の広い空間内での代数的起源を明確にすること。
• 部分リンクの組合せ的データおよびそのリンク構造を用いて、基本的不変量族 $ T_d(L) $ の明確な公式を確立すること。

提案手法

• ヤコヌマ–ヘッケ代数 $ Y_{d,n} $ と標準的ヘッケ代数のテンソル積上の行列代数の直和との間の同型定理を利用する。
• $ \{Y_{d,n}\}_{n\geq 1} $ 上のマーカフトレースの分類（次元が $ 2^d - 1 $）を用い、不変量をパrameter化する。
• バーディングの像を介して定義されるトレース写像 $ T_d(L) $ を用い、それをバーディングの閉包とリンクに結びつける。
• $ d $ 個のストランドの固定集合の $ d $ 重組合せと、リンク $ L $ の $ d $ 個の非空部分リンクの完全族との間の全単射を導入する。
• トレースの公式を、リンク数 $ l(L_1,\dots,L_d) $ およびHOMFLYPT多項式 $ P(L_i) $ を用いて部分リンク族の和に翻訳する。
• 生成子 $ g_i $ および $ t_j $ の作用と、それらの同型写像による像の分析を通じて主公式を導出する。特に $ \gamma' $ の役割に注目する。

実験結果

リサーチクエスチョン

• RQ1 マーカフトレースによるヤコヌマ–ヘッケ代数から生じる不変量 $ T_d(L) $ は、古典的リンク不変量の観点からどのように表現できるか？
• RQ2 部分リンクのリンク構造と不変量 $ T_d(L) $ のパrameterとの間の明確な関係は何か？
• RQ3 $ Y_{d,n} $ からの不変量の全空間は、部分リンクのHOMFLYPT多項式およびリンク数のみを用いて記述可能か？
• RQ4 $ d $ がリンク $ L $ の成分数を超えると $ T_d(L) $ がなぜ0になるのか、そしてその理由が代数的にどのように現れるか？
• RQ5 ジュユマヤ–ランブロポウロス不変量は、この部分リンクに基づく不変量の広い枠組みの中でどのように位置づけられるか？

主な発見

• 不変量 $ T_d(L) $ は、$ d! \sum_{\{L_1,\dots,L_d\}} (\gamma')^{l(L_1,\dots,L_d)} P(L_1)\cdots P(L_d) $ で与えられ、和は $ L $ の $ d $ 個の非空部分リンクの完全族にわたる。ここで $ l(L_1,\dots,L_d) $ はそれらの間のリンク数の総和である。
• $ N $ を $ L $ の成分数とするとき、$ d > N $ ならば、$ d $ 個の非空部分リンクの完全族は存在しないため、$ T_d(L) = 0 $ である。
• $ d = N $ のとき、成分数に等しくなると、$ T_N(L) = N! (\gamma')^{l(K_1,\dots,K_N)} P(K_1)\cdots P(K_N) $ となり、和に含まれる項は一意的である。
• 公式に現れるパラメータ $ \gamma' $ は、$ Y_{d,n} $ 上のマーカフトレース構成に由来する。不変量は、リンクではなく、結び目（knots）においてのみ、HOMFLYPT多項式と位相的に同値である。
• 公式により、$ T_d(L) $ が $ d $ が $ L $ の成分数以下である場合にのみ非自明であり、その構造が部分リンクのデータに完全に符号化されていることが確認された。
• 本結果により、$ Y_{d,n} $ からの不変量の完全な代数的実現が得られ、それらが部分リンクのHOMFLYPT多項式の積の線形結合であり、リンク数によって重み付けられていることが示された。