[論文レビュー] Other quantum relatives of the Alexander polynomial through the Links-Gould invariants

Ben-Michael Kohli, Bertrand Patureau‐Mirand|arXiv (Cornell University)|Jun 8, 2016

Algebraic structures and combinatorial models参考文献 14被引用数 4

ひとこと要約

本稿は、De Wit, Ishii, および Links による Links-Gould 不変量に関する予想を証明する。任意のリンク $L$ に対して $LG^{n,1}(L;\tau,-1) = \Delta_L(\tau^2)^n$ が成り立つ。ここで $\Delta_L$ は Alexander-Conway 多項式である。証明は、$q = -1$ における $U_q\mathfrak{gl}(n|1)$ の普遍 R-行列およびホップ代数的構造を用い、$U_q\mathfrak{gl}(n|1)$ の $-1$ 専用化における表現論的技法により、量子不変量と Alexander 多項式の直接的な関係を確立する。

ABSTRACT

Oleg Viro studied in arXiv:math/0204290 two interpretations of the (multivariable) Alexander polynomial as a quantum link invariant: either by considering the quasi triangular Hopf algebra associated to $U_q sl(2)$ at fourth roots of unity, or by considering the super Hopf algebra $U_q gl(1|1)$. In this paper, we show these Hopf algebras share properties with the $-1$ specialization of $U_q gl(n|1)$ leading to the proof of a conjecture of David De Wit, Atsushi Ishii and Jon Links on the Links-Gould invariants.

研究の動機と目的

• De Wit, Ishii, および Links が提起した、Links-Gould 不変量と Alexander-Conway 多項式との関係に関する予想の $(n,1)$ パターンを証明すること。
• $U_q\mathfrak{gl}(n|1)$ の $-1$ 専用化と、Alexander 多項式をもたらす量子不変量との構造的関係を確立すること。
• 大規模な $n$ に対して明示的な行列計算を避けるために、普遍 R-行列およびホップ代数的構造を用いた、表現論的でない概念的証明を提供すること。
• 多変数の場合への拡張として、$M(L;-1,q_1,\ldots,q_c) = \nabla(q_1,\ldots,q_c)^n$ を提案すること。ここで $\nabla$ は Conway のポテンシャル関数である。

提案手法

• 著者たちは、$U_q\mathfrak{gl}(n|1)$ の $q = -1$ における普遍 R-行列を、$U_q\mathfrak{gl}(n|1)$ の $-1$ 専用化の超ホップ代数的構造を用いて分析する。
• Reshetikhin-Turaev の構成を用いて、Links-Gould 不変量を $U_q\mathfrak{gl}(n|1)$ から導かれる量子不変量と関係づける。
• 証明は、Drinfeld のねじれ $D^{\mathfrak{gl}}$ による表現のテンソル積への共役作用に依拠し、$q = \mathbf{i}$ における $U_q\mathfrak{sl}(2)$ モデルの braiding 構造と一致することを示す。
• $U_q\mathfrak{gl}(n|1)$ のスケーリング済み R-行列と、$U_q\mathfrak{sl}(2)$ 不変量の $n$ 重テンソル積との間で比例関係を確立し、因子の順序の入れ替えを除いて成立する。
• 鍵となるステップは、ねじれ自己同型 $\theta$ が最高重量ベクトル上でスカラー作用をすることを示すことであり、これにより両不変量間のトレース比較が可能になる。
• 密度補題とピvォタル構造を用いて、普遍 R-行列が既約モジュール上に作用する様子を同等化し、不変量がスカラー倍の違いを除いて一致することを保証する。

実験結果

リサーチクエスチョン

• RQ1 すべてのリンク $L$ とすべての $n$ に対して、Links-Gould 不変量 $LG^{n,1}(L;\tau,-1)$ は $\Delta_L(\tau^2)^n$ に等しいか？
• RQ2 $U_q\mathfrak{gl}(n|1)$ の $-1$ 専用化を用いて、Alexander-Conway 多項式を回復する量子不変量を構成可能か？
• RQ3 大規模な $n$ に対して明示的な $R$-行列計算を避ける、概念的で普遍的な Links-Gould 予想の証明は可能か？
• RQ4 多変数 Links-Gould 不変量 $M(L;q,q_1,\ldots,q_c)$ は、$q = -1$ において Conway のポテンシャル関数 $\nabla(q_1,\ldots,q_c)$ と関係づけられるか？

主な発見

• 本稿は、すべてのリンク $L$ とすべての $n$ に対して $LG^{n,1}(L;\tau,-1) = \Delta_L(\tau^2)^n$ が成り立つことを証明し、De Wit-Ishii-Links 予想の $(n,1)$ パターンを確認した。
• $q = -1$ における $U_q\mathfrak{gl}(n|1)$ の普遍 R-行列は、$q = \mathbf{i}$ における $U_q\mathfrak{sl}(2)$ の R-行列の $n$ 重テンソル積に比例する braiding 構造を誘導する。
• Drinfeld のねじれ $D^{\mathfrak{gl}}$ による共役作用は、表現のテンソル積上での自己同型 $\mathscr{D}$ の作用と一致し、braiding 構造の整合性を保証する。
• $q = -1$ における $U_q\mathfrak{gl}(n|1)$ の $V_{-1}(0^n,\alpha)$ に対する Reshetikhin-Turaev 不変量は、$\Psi^{\mathfrak{gl}}_{V_{-1}(0^n,\alpha)^{\otimes \ell}}(\beta) = \left(\Psi^{U_{\mathbf{i}}^{H}\mathfrak{sl}(2)}_{V_{-\alpha}^{\otimes \ell}}(\beta)\right)^{\otimes n}$ を満たす。
• $V_{-1}(0^n,\alpha)^{\otimes \ell}$ 上での $LG^{n,1}$ 不変量のトレースは $c^n$ であり、ここで $c$ は $U_q\mathfrak{sl}(2)$ 不変量のトレースである。これにより、Alexander 多項式との $n$ 乗関係が確認される。