[論文レビュー] On the AJ conjecture for knots

Thang T. Q. Lê, Anh T. Tran|arXiv (Cornell University)|Nov 22, 2011

Geometric and Algebraic Topology参考文献 36被引用数 20

ひとこと要約

本稿では、色付きジョーンズ多項式の再帰多項式が $ t = -1 $ で $ A $-多項式に等しくなることを示すことにより、$(-2,3,6n\pm1)$ 型のすべてのプレッツェル結び目および特定の2橋結び目を含む広範な双曲的結び目のクラスに対して AJ 予想を確認する。著者らは、結び目の $ SL_2 $-表現多様体、スキーンモジュールの構造、再帰多項式の次数に関する条件のもとで予想を確立し、ねじれ結び目に関する先行結果を拡張し、$(-2,3,2n+1)$-プレツェル結び目の普遍 $ SL_2 $-表現環がすべての整数 $ n $ に対して非特異であることを完全に証明する。

ABSTRACT

We confirm the AJ conjecture [Ga04] that relates the A-polynomial and the colored Jones polynomial for those hyperbolic knots satisfying certain conditions. In particular, we show that the conjecture holds true for some classes of two-bridge knots and pretzel knots. This extends the result of the first author in [Le06] where he established the AJ conjecture for a large class of two-bridge knots, including all twist knots. Along the way, we explicitly calculate the universal character ring of the knot group of the (-2,3,2n+1)-pretzel knot and show that it is reduced for all integers n.

研究の動機と目的

• 色付きジョーンズ多項式の再帰多項式と $ A $-多項式を結びつけることにより、プレツェル結び目および2橋結び目を含む広範な双曲的結び目の AJ 予想を確認すること。
• 最初の著者のねじれ結び目に関する先行結果を一般化し、AJ 予想が成り立つ条件を拡張すること。
• $(-2,3,2n+1)$-プレツェル結び目の普遍 $ SL_2 $-表現環がすべての整数 $ n $ に対して非特異（nilradical が自明）であることを証明し、予想の検証における重要な技術的ステップを達成すること。
• 局所化されたスキーンモジュールの有限生成性および $ SL_2 $-表現多様体の非アーベル的完全不変性が、予想が成り立つために必要な条件であることを確立すること。
• 特定の結び目の群の $ SL_2 $-表現環の明示的な代数的構造を提供し、代数的およびスキーン理論的手法による予想の検証を可能にすること。

提案手法

• 著者らは、非可換量子トーラス $ \mathcal{T} $ 内の色付きジョーンズ多項式の再帰イデアル $ \mathcal{A}_K $ を用い、それを $ \tilde{\mathcal{T}} $ に拡張して再帰多項式 $ \alpha_K $ を定義する。
• 再帰多項式の最小の $ L $-次数と互いに素な係数を用い、AJ 予想が要求する条件（$ \alpha_K|_{t=-1} $ が $ A $-多項式に $ M $-依存係数を除き一致する）を満たすことを確認する。
• 証明は、結び目の $ SL_2 $-表現多様体の構造に依存しており、特にアーベル成分と非アーベル成分の合計2つの既約成分を持つ場合に注目する。
• 著者らは、$(-2,3,2n+1)$-プレツェル結び目の普遍 $ SL_2 $-表現環を明示的に計算し、その nilradical が自明である、つまり非特異であることを証明する。
• 再帰多項式が適切に振る舞うように保証するため、スキーン理論と局所化されたスキーンモジュール $ \bar{\mathcal{S}} $ を用い、それが有限生成であることを仮定する。
• 多項式 $ \Gamma_{(p,m)}(X,z) $ は $ SL_2(\mathbb{C}) $ 内のトレース恒等式から導かれるが、代数的数論およびニュートン多角形の解析を用いて、その既約性と次数条件を確立する。

実験結果

リサーチクエスチョン

• RQ1 タイプ $(-2,3,6n\pm1)$ のすべてのプレツェル結び目に対して AJ 予想は成り立つのか？ どのような条件下で成り立つか？
• RQ2 再帰多項式および表現環の技法を用いて、ねじれ結び目を超えて他の2橋結び目およびプレツェル結び目に対しても AJ 予想を拡張可能か？
• RQ3 $(-2,3,2n+1)$-プレツェル結び目の普遍 $ SL_2 $-表現環がすべての整数 $ n $ に対して非特異であるか？ これは AJ 予想の確認にどのように寄与するか？
• RQ4 $ SL_2 $-表現多様体およびスキーンモジュールに関するどのような条件が、再帰多項式が AJ 予想を満たすことを保証するか？
• RQ5 多項式 $ \Gamma_{(p,m)}(X,z) $ が既約であるための数論的および代数的条件は何か？ そしてこれは $ A $-多項式の既約性とどのように関係するか？

主な発見

• すべての整数 $ n $ に対してタイプ $(-2,3,6n\pm1)$ のプレツェル結び目に対して AJ 予想が成り立つ。これは、定理1の5つの条件をすべて満たしているためである。
• $(-2,3,2n+1)$-プレツェル結び目の普遍 $ SL_2 $-表現環はすべての整数 $ n $ に対して非特異である。これはトレース恒等式と再帰的行列式展開を用いて非自明に確認された結果である。
• 45未満の $ p $ に対して定義される2橋結び目 $ \mathfrak{b}(p,m) $ において、双曲的でない9つの結び目を除き、すべての結び目で AJ 予想が成り立つ。これは「大多数」の結び目が予想の条件を満たしていることを示している。
• 定理2に含まれるすべての結び目に対して、色付きジョーンズ多項式の再帰多項式 $ \alpha_K $ の $ L $-次数は1より大きい。これは AJ 予想が成り立つために必要な条件である。
• $ SL_2(\mathbb{C}) $ 内のトレース再帰から導かれる多項式 $ \Gamma_{(p,m)}(X,z) $ は、$ p $ が素数で $ \gcd((p-1)/2, (m-1)/2)=1 $ のとき $ \mathbb{C}[X,z] $ 内で既約である。これは $ A $-多項式の既約性を支持する。
• $ \Gamma_{(p,m)}(X,z) $ のニュートン多角形の頂点は $ (0, (p-1)/2) $ および $ ((m-1)/2, (p-m)/2) $ にあり、これは格子点の議論を用いた既約性の証明に不可欠である。