[论文解读] 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

一句话总结

本文通过进入 $ SL(2,\mathbb{Z}[s_0]) $ 的抛物表示，明确计算了 2-bridge 精算在 $ t = \pm 1 $ 处的扭曲亚历山大多项式。证明了 $ \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 $ 的关键类比。
• 刻画那些存在到 $ \mathbb{Z}/2*\mathbb{Z}/p $ 的满同态的 2-bridge 精算在 $ t = 1 $ 和 $ t = -1 $ 处的扭曲亚历山大多项式取值。
• 建立一个使用进入 $ SL(2,\mathbb{Z}[s_0]) $ 的抛物表示来代数计算这些取值的框架。
• 提供一个递归算法来计算控制 $ t = -1 $ 处取值的不变量 $ \mu $，并证明其在 $ \mathbb{Z}[s_0] $ 上的整性。
• 通过证明其对扭结 $ K(1/p) $ 和 $ H(p) $ 中的 2-bridge 精算成立，部分验证了 Silver 和 Williams 关于扭曲亚历山大多项式的猜想。

提出的方法

• 定义 knot group $ 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 $、群表示和 Fox 微分在群环上的运算，构造扭曲亚历山大多项式 $ \widetilde{\Delta}_{\rho,K(r)}(t) $。
• 引入 $ \mathbb{Z}[s_0] $-代数 $ \widetilde{A}(s_0) $ 作为基本代数工具，将评估问题简化为该环中的恒等式。
• 使用有理参数 $ r $ 的连分数展开来分类 $ H(p) $ 中的精算，区分 $ p $-可适配与 $ p $-可展开形式。
• 应用递归约化技术简化 $ \mu $ 的计算，证明其属于 $ \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 对于 $ H(p) $ 中的 2-bridge 精算，扭曲亚历山大多项式 $ \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 Silver-Williams 关于扭曲亚历山大多项式的猜想是否对 $ H(p) $ 中的 2-bridge 精算成立，若成立，其条件是什么？

主要发现

• 对于任意 $ 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] $，且 $ \mu $ 可递归计算。
• 当 $ 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}) $，为商多项式提供了一个经典亚历山大多项式的具体实现。
• Silver-Williams 猜想在 $ K(1/p) $ 扭结和 $ H(p) $ 中的 2-bridge 精算上得到部分验证，确认了在 $ t = \pm 1 $ 处评估的结构。