[論文レビュー] The AJ-conjecture and cabled knots over torus knots

Dennis Ruppe, Xingru Zhang|arXiv (Cornell University)|Mar 7, 2014

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

ひとこと要約

本稿は、$S^3$ 内のトーラス紐結び目上のほとんどのケーブル結び目について AJ 予想を証明する。ケーブルの傾き $r$ が区間 $(0, pqs)$ の中にない限り、このような結び目の再帰多項式を $t = -1$ で評価した結果が、$\mathbb{Q}(M)$ 内の因子を除き、その A 多項式と一致することを示している。証明にはジョーンズ多項式および A 多項式のケーブル化公式が用いられ、A 多項式に特殊化したときに一致する再帰作用素が構成されている。

ABSTRACT

We show that most cabled knots over torus knots in $S^3$ satisfy the AJ-conjecture, namely each $(r,s)$-cabled knot over each $(p,q)$-torus knot satisfies the $AJ$-conjecture if $r$ is not a number between $0$ and $pqs$.

研究の動機と目的

• $S^3$ 内のトーラス紐結び目上のケーブル結び目について AJ 予想を確立すること。
• ケーブル結び目の再帰多項式が $t = -1$ で評価された際に、その A 多項式と一致する条件を特定すること。
• トーラス結び目、2-橋結び目、ペトリュ結び目を超えて、AJ 予想を満たす結び目のクラスを拡張すること。
• 代数的および再帰的技法を用いて、広範な種類のサテライト結び目について AJ 予想を体系的に検証すること。

提案手法

• $(r,s)$-ケーブル化された $(p,q)$-トーラス紐結び目の $n$-色付きジョーンズ多項式のケーブル公式を [7] および [12] から導出する。
• 量子トーラス代数における変換 $t^{2n} \to M$ および $J_{C,n+1}(t) \to \mathcal{L} J_{C,n}(t)$ を用いて、ケーブル結び目の色付きジョーンズ多項式の再帰関係を導出する。
• 関係式 $\mathcal{L} J_{C,n}(t) = t^{-2rn} J_{T,2n+1}(t) - t^{-4rn-2r} J_{C,n}(t)$ を用いて、色付きジョーンズ多項式 $J_{C,n}(t)$ を消滅させる線形作用素 $P(t, M, \mathcal{L})$ を構成する。
• 作用素 $P$ を $M$、$\mathcal{L}$、$t$ の関数として表現し、$r \notin (0, pqs)$ のとき、$\widetilde{\mathcal{A}}_C$ である理想を生成することを示す。
• $P(-1, M, \mathcal{L})$ を評価し、それが $\mathbb{Q}(M)$ 内の因子を除き、ケーブル結び目の A 多項式と一致することを示し、AJ 予想の確認を行う。
• 最小性の議論と係数比較を用いて、与えられた条件下で、$P$ が再帰多項式であることを証明する。具体的には、$r \notin (0, 2pq)$ のとき、より低い次数の消滅作用素は存在しないことを示す。

実験結果

リサーチクエスチョン

• RQ1 $(r,s)$-ケーブル結び目が $S^3$ 内の $(p,q)$-トーラス紐結び目上にあるとき、AJ 予想は成り立つか？
• RQ2 $r$、$s$、$p$、$q$ のどの条件下で、ケーブル結び目の再帰多項式が $t = -1$ で評価された際に、その A 多項式と一致するか？
• RQ3 ジョーンズ多項式および A 多項式のケーブル化公式を用いて、サテライト結び目について AJ 予想を検証できるか？
• RQ4 条件 $r \notin (0, pqs)$ の下で、ケーブル結び目の再帰作用素は最小かつ一意的か？
• RQ5 再帰イデアル $\widetilde{\mathcal{A}}_C$ の構造は、ケーブル結び目の A 多項式とどのように関係しているか？

主な発見

• $(r,s)$-ケーブル結び目が $S^3$ 内の $(p,q)$-トーラス紐結び目上にある限り、$r$ が開区間 $(0, pqs)$ の整数に含まれない限り、AJ 予想は成り立つ。
• ケーブル結び目 $C$ の再帰多項式 $\alpha_C(t, M, \mathcal{L})$ は、$t$、$M$、$\mathcal{L}$ を含む作用素の積として明示的に構成され、それが消滅イデアル $\widetilde{\mathcal{A}}_C$ を生成することが示された。
• $t = -1$ で再帰多項式を評価すると、その結果は $\mathbb{Q}(M)$ 内の因子を除き、$C$ の A 多項式と一致し、AJ 予想が確認された。
• 再帰作用素 $P$ は $\mathcal{L}$ の次数に関して最小であり、$r \notin (0, 2pq)$ のとき、より低い次数の消滅作用素は存在しないことが示され、一意性が保証された。
• 証明は、$J_{C,n}(t)$ の再帰関係を $J_{T,2n+1}(t)$ を含む系に変換し、トーラス結び目のジョーンズ多項式の既知の再帰関係を用いて、完全な作用素を導出する。
• 式 (1.1) に示されたケーブル結び目 $C$ の A 多項式のケーブル公式は、AJ 予想の結果と整合的である。$P(-1,M,\mathcal{L})$ は、$M$ に関する有理数係数の因子を除き、この A 多項式と一致する。