[論文レビュー] The Colored Jones Polynomial of Singular Knots

Khaled Bataineh, Mohamed Elhamdadi+1 more|arXiv (Cornell University)|Feb 27, 2016

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

ひとこと要約

本稿では、4価の剛体グラフとして表現される特異ねじれ結び目に対する新しい不変量の系列を導入し、彩色されたジョーンズ多項式を一般化する。著者たちは、彩色されたテンパーオブリー・リーマン代数におけるジョーンズ＝ウェンツル射影子と skein 関係を用いて、ケイフォールド＝ヴォーゲル多項式の一変数化の一般化である彩色されたケイフォールド＝ヴォーゲル多項式を定義する。主な貢献は、特異ブレード群の表現の系列と、適切な正規化を行った後、不変量が ℤ[A, A⁻¹] に属することを示唆する予想である。

ABSTRACT

We generalize the colored Jones polynomial to $4$-valent graphs. This generalization is given as a sequence of invariants in which the first term is a one variable specialization of the Kauffman-Vogel polynomial. We use the invariant we construct to give a sequence of singular braid group representations.

研究の動機と目的

• 4価の剛体グラフとして表現される特異ねじれ結び目に対して、彩色されたジョーンズ多項式を拡張すること。
• ケイフォールド＝ヴォーゲル多項式の一変数化を一般化する新しい不変量の系列を定義すること。
• 新しい不変量を用いて特異ブレードモノイドの族の表現を構成すること。
• 不変量が ℤ[A, A⁻¹] において整数的であるかどうかを調査し、極が消える条件を同定すること。

提案手法

• ケイフォールド・ブラケット skein モジュールとジョーンズ＝ウェンツル射影子を用いて、テンパーオブリー・リーマン代数内の彩色された skein 要素を定義する。
• skein 関係を適用して、特異的交差を平滑化と射影子の線形結合に展開し、定義 3.1 の恒等式を用いる。
• 係数 C_{2n,n}^k と skein 要素 S_{n,i} を含む再帰的展開により、彩色されたケイフォールド＝ヴォーゲル多項式を定義する。
• 生成子を彩色された skein モジュール上に作用する作用素に写像することで、特異ブレードモノイドの表現を構成する。
• マーカフトレースと skein 理論を用いて、彩色されたリンクの評価を行い、リーディマイスター移動に対して不変性を保証する。
• 不変量をラテン多項式 C_{2n,n} で乗じることで、結果が ℤ[A, A⁻¹] に属する整数的になるという予想を立てる。

実験結果

リサーチクエスチョン

• RQ1 彩色されたジョーンズ多項式は、不変量の系列を用いて特異ねじれ結び目に一般化可能か？
• RQ2 新しい不変量は、特異ブレードモノイドのwell-definedな表現をもたらすか？
• RQ3 適切な正規化を行った後、不変量は ℤ[A, A⁻¹] において整数的であるか？また、局所的な skein 関係によってこの性質を証明できるか？
• RQ4 彩色されたケイフォールド＝ヴォーゲル多項式は、元のケイフォールド＝ヴォーゲル多項式とジョーンズ＝ウェンツル射影子とどのように関係するか？
• RQ5 極は、局所的計算ではなく、グローバルな正規化によって除去可能か？

主な発見

• 新しい不変量系列の最初の項は、ケイフォールド＝ヴォーゲル多項式の一変数化であり、彩色された特異リンクへ拡張されている。
• 不変量はジョーンズ＝ウェンツル射影子と skein 関係を用いて構成され、特異的交差が平滑化の線形結合に明示的に展開されている。
• n=1 の場合、特異リンクに C_{2,1} を適用すると、ℤ[A, A⁻¹] に属する値が得られ、この場合における整数性が示された。
• 不変量は、彩色された skein モジュール上の作用によって、特異ブレード群の表現の系列を生じる。
• 局所的議論では一般に極を除去できないことが示されており、n=1 の場合に C_{2,1}/d² ∉ ℤ[A, A⁻¹] であることが確認された。
• 著者たちは、任意の k 個の特異的交差を持つ特異リンク L に対して、C_{2n,n}^{k}[L]_{2n} ∈ ℤ[A, A⁻¹] であると予想している。これは、グローバルな整数性の性質を示唆している。