[論文レビュー] A unification of the ADO and colored Jones polynomials of a knot

Sonny Willetts|arXiv (Cornell University)|Mar 22, 2020

Geometric and Algebraic Topology参考文献 16被引用数 7

ひとこと要約

本稿では、$S^3$ 内の絡み目の色付きジョーンズ多項式と ADO 多項式を同時に符号化する二変数統一不変量を構成する。環 $\mathbb{Z}[q^{\pm 1}, A^{\pm 1}]$ の完備化と、ヴェルマ加群上の普遍量子 $\mathfrak{sl}_2$ 不変量を用いることで、色付きジョーンズ多項式の族が ADO 多項式の族を決定することを証明し、両者とも色付きジョーンズ関数と同じ $q$-正則作用素によって消滅することが示される。

ABSTRACT

In this paper we prove that the family of colored Jones polynomials of a knot in $S^3$ determines the family of ADO polynomials of this knot. More precisely, we construct a two variables knot invariant unifying both the ADO and the colored Jones polynomials. On one hand, the first variable $q$ can be evaluated at $2r$ roots of unity with $r \\in \\Bbb N^*$ and we obtain the ADO polynomial over the Alexander polynomial. On the other hand, the second variable $A$ evaluated at $A=q^n$ gives the colored Jones polynomials. From this, we exhibit a map sending, for any knot, the family of colored Jones polynomials to the family of ADO polynomials. As a direct application of this fact, we will prove that every ADO polynomial is q-holonomic and is annihilated by the same polynomials as of the colored Jones function. The construction of the unified invariant will use completions of rings and algebra. We will also show how to recover our invariant from Habiro's quantum $\\mathfrak{sl}_2$ completion studied in arXiv:math/0605313.

研究の動機と目的

• $S^3$ 内の任意の絡み目について、色付きジョーンズ多項式の族から ADO 多項式の族への直接的な対応関係を確立すること。
• 色付きジョーンズ多項式と ADO 多項式の両方を統一する二変数絡み目不変量を構成すること。
• ADO 多項式が $q$-正則であること、および色付きジョーンズ関数と同じ作用素によって消滅することを証明すること。
• 統一不変量がハビロの量子 $\mathfrak{sl}_2$ 完備化から自然に生じることを示すこと。
• 環の完備化と根の単位における評価写像を用いて、統一不変量が適切に定義されることを示すこと。

提案手法

• 普遍量子 $\mathfrak{sl}_2$ 不変量を用い、係数が完備化された環 $\hat{R}^{\hat{I}}$ に値をとるヴェルマ加群上で評価することで、統一不変量 $F_{\infty}(q,A,\mathcal{K})$ を構成する。
• $\mathbb{Z}[q^{\pm 1}, A^{\pm 1}]$ の環の完備化を用いて、単位根における切断された $R$-行列に起因する無限和を扱う。
• 評価写像を定義する：$q \mapsto \zeta_{2r}$ により $\frac{ADO_r(A,\mathcal{K})}{A_{\mathcal{K}}(A^{2r})}$ が得られ、$A \mapsto q^n$ により $J_n(q^2, \mathcal{K})$ が得られる。
• 色付きジョーンズ関数の $q$-正則性を活用し、同じ消滅多項式 $\alpha_{\mathcal{K}}(Q,E)$ が統一不変量と ADO 多項式の両方に作用することを示す。
• ハビロの量子 $\mathfrak{sl}_2$ 完備化から統一不変量を回復させることで、既知の構成と整合性を保つ。
• 状態図を用いて、具体的な絡み目（例：三葉結び目、図8結び目、五つ葉結び目、三重ね結び目）について統一不変量を明示的に計算し、$C_{\infty}(1,A,\mathcal{K}) = \frac{q^{k\alpha}}{A_{\mathcal{K}}(q^{2\alpha})}$ が成り立つことを検証する。

実験結果

リサーチクエスチョン

• RQ1 色付きジョーンズ多項式の族は、$S^3$ 内の絡み目について、ADO 多項式の族を一意に決定するか？
• RQ2 色付きジョーンズ多項式と ADO 多項式の両方を同時に符号化する単一の二変数不変量が存在するか？
• RQ3 ADO 多項式は $q$-正則であるか？ また、色付きジョーンズ関数と同じ消滅多項式を満たすか？
• RQ4 統一不変量は環の完備化を用いて構成可能であり、ハビロの量子 $\mathfrak{sl}_2$ 完備化から回復可能か？
• RQ5 根の単位における ADO 不変量の状態図展開は、統一不変量の形式的べき級数とどのように関係するか？

主な発見

• $S^3$ 内の絡み目 $\mathcal{K}$ の色付きジョーンズ多項式の族は、well-defined な写像により、$\mathcal{K}$ の ADO 多項式の族を完全に決定する。
• 統一不変量 $F_{\infty}(q,A,\mathcal{K})$ は、$F_{\infty}(\zeta_{2r}, A, \mathcal{K}) = \frac{ADO_r(A,\mathcal{K})}{A_{\mathcal{K}}(A^{2r})}$ および $F_{\infty}(q, q^n, \mathcal{K}) = J_n(q^2, \mathcal{K})$ を満たす。
• ADO 多項式 $ADO_r(A,\mathcal{K})$ は $\zeta_{2r}$-正則であり、色付きジョーンズ関数と同じ多項式 $\alpha_{\mathcal{K}}(Q,E)$ によって消滅する。
• 統一不変量 $F_{\infty}(q,A,\mathcal{K})$ は $q$-正則であり、色付きジョーンズ関数と同じ作用素 $\alpha_{\mathcal{K}}(Q,E)$ によって消滅する。
• 三葉結び目 $3_1$ に対しては、$C_{\infty}(1,A,3_1) = \frac{q^{3\alpha}}{A_{3_1}(q^{2\alpha})}$ が成り立ち、図8結び目 $4_1$ に対しては $C_{\infty}(1,A,4_1) = \frac{1}{A_{4_1}(q^{2\alpha})}$ が成り立つ。
• 五つ葉結び目 $5_1$ に対しては $C_{\infty}(1,A,5_1) = \frac{q^{5\alpha}}{A_{5_1}(q^{2\alpha})}$、三重ね結び目 $5_2$ に対しては $C_{\infty}(1,A,5_2) = \frac{q^{-5\alpha}}{A_{5_2}(q^{2\alpha})}$ が成り立つ。