[論文レビュー] Evaluations of the twisted Alexander polynomials of 2-bridge knots at $\pm 1$

Mikami Hirasawa, Kunio Murasugi|ArXiv.org|Aug 22, 2008

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

ひとこと要約

本稿は、2-橋結び目におけるねじれアレクサンダー多項式を $ t = \pm 1 $ で明示的に評価する。そのために、$ SL(2,\mathbb{Z}[s_0]) $ への放物的表現を用いる。$ \widetilde{\Delta}_{\rho,K(r)}(1) = -2s_0^{-1} $ および $ \widetilde{\Delta}_{\rho,K(r)}(-1) = -2s_0^{-1}\mu^2 $ を証明する。ここで $ s_0^{-1}, \mu \in \mathbb{Z}[s_0] $ であり、$ \mu $ は再帰的に計算可能である。この結果は、$ H(p) $ に属する結び目のねじれアレクサンダー多項式の構造に強い制約を与える。

ABSTRACT

Let $H(p)$ be the set of 2-bridge knots $K$ whose group $G$ is mapped onto a non-trivial free product, $Z/2 * Z/p$, $p$ being odd. Then there is an algebraic integer $s_0$ such that for any $K$ in $H(p)$, $G$ has a parabolic representation $ρ$ into $SL(2, Z[s_0]) \subset SL(2,C)$. Let $Δ(t)$ be the twisted Alexander polynomial associated to $ρ$. Then we prove that for any $K$ in $H(p)$, $Δ(1)=-2s_0^{-1}$ and $Δ(-1)=-2s_0^{-1}μ^2$, where $s_0^{-1}, μ\in Z[s_0]$. The number $μ$ can be recursively evaluated.

研究の動機と目的

• ねじれアレクサンダー多項式を $ t = \pm 1 $ で評価する理解の不足を解消し、古典的アレクサンダー多項式の性質 $ \Delta_K(1) = 1 $ の重要な類似を明らかにすること。
• 奇数 $ p $ に対して $ \mathbb{Z}/2*\mathbb{Z}/p $ へのエピモルフィズムをもつ2-橋結び目について、ねじれアレクサンダー多項式の $ t = 1 $ および $ t = -1 $ における値を特徴づけること。
• $ SL(2,\mathbb{Z}[s_0]) $ への放物的表現を用いた、これらの評価を代数的に計算するフレームワークを確立すること。
• 評価における $ t = -1 $ の値を制御する不変量 $ \mu $ を再帰的に計算するアルゴリズムを提供し、$ \mathbb{Z}[s_0] $ 上の整数性を示すこと。
• シルバーとウィリアムズの予想を、トーラス結び目 $ K(1/p) $ および $ H(p) $ に属する2-橋結び目において部分的に検証すること。

提案手法

• 結び目の群 $ G(K(r)) $ から $ SL(2,\mathbb{Z}[s_0]) $ への放物的表現 $ \rho $ を定義し、ミリディアンを行列 $ \begin{bmatrix} 1 & 1 \\ 0 & 1 \end{bmatrix} $ および $ \begin{bmatrix} 1 & 0 \\ s_0 & 1 \end{bmatrix} $ に写像する。
• 群の表示と群環上のフォックス微分を用いて、表現 $ \rho $ を用いてねじれアレクサンダー多項式 $ \widetilde{\Delta}_{\rho,K(r)}(t) $ を構成する。
• $ \mathbb{Z}[s_0] $-代数 $ \widetilde{A}(s_0) $ を定義し、これを評価問題をこの環内の恒等式に還元する基本的な代数的道具とする。
• 有理数パラメータ $ r $ の連分数展開を用いて $ H(p) $ に属する結び目を分類し、$ p $-適応可能および $ p $-拡張可能形を区別する。
• 再帰的簡略化技術を適用し、$ \mu $ の計算を簡素化し、$ \mu \in \mathbb{Z}[s_0] $ であり、段階的に計算可能であることを示す。
• 商多項式 $ \lambda_{\rho,K(r)}(t) = \widetilde{\Delta}_{\rho,K(r)}(t)/\widetilde{\Delta}_{\rho,K(1/p)}(t) $ が $ \mathbb{Z}[s_0] $ 上で対称的であり、次数が4の倍数であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 2-橋結び目 $ K(r) \in H(p) $ に対して、ねじれアレクサンダー多項式 $ \widetilde{\Delta}_{\rho,K(r)}(t) $ を $ t = 1 $ および $ t = -1 $ で評価した正確な値は何か？
• RQ2 $ t = -1 $ の評価に現れる不変量 $ \mu $ は、結び目の群の代数的構造および表現 $ \rho $ とどのように関係しているか？
• RQ3 ねじれアレクサンダー多項式の比として定義される商多項式 $ \lambda_{\rho,K(r)}(t) $ は、古典的アレクサンダー多項式として実現可能か？この制約はどのような意味を持つか？
• RQ4 $ s_0 $ の代数的性質は何か？また、$ H(p) $ に属する結び目の $ t = \pm 1 $ における評価を制御する仕組みは何か？
• RQ5 シルバー＝ウィリアムズのねじれアレクサンダー多項式に関する予想は、$ H(p) $ に属する2-橋結び目について成り立つか？成り立つならば、どのような条件下で成立するか？

主な発見

• 任意の $ K(r) \in H(p) $ について、ねじれアレクサンダー多項式は $ \widetilde{\Delta}_{\rho,K(r)}(1) = -2s_0^{-1} $ を満たし、$ s_0^{-1} \in \mathbb{Z}[s_0] $ である。
• $ t = -1 $ における評価は $ \widetilde{\Delta}_{\rho,K(r)}(-1) = -2s_0^{-1}\mu^2 $ で与えられ、$ \mu \in \mathbb{Z}[s_0] $ であり、再帰的に計算可能である。
• $ p = 3 $ のとき $ s_0 = -1 $ であるから、$ \widetilde{\Delta}_{\rho,K(r)}(1) = 2 $ であり、商 $ \lambda_{\rho,K(r)}(t) $ は通常のアレクサンダー多項式となる。
• 商多項式 $ \lambda_{\rho,K(r)}(t) $ は対称的であり、$ \mathbb{Z}[s_0] $ 上で次数が4の倍数であるため、二次多項式としての実現は不可能である。
• 命題3.5により、$ \lambda_{\rho,K(1/pq)}(t) = \Delta_{K(1/q)}(t^{2p}) $ が成り立つ。これは商多項式が古典的アレクサンダー多項式として明示的に実現可能であることを示している。
• シルバー＝ウィリアムズの予想は、トーラス結び目 $ K(1/p) $ および $ H(p) $ に属する2-橋結び目において部分的に検証され、$ t = \pm 1 $ における評価の構造が確認された。