[論文レビュー] Twisted Alexander polynomials of 2-bridge knots associated to metacyclic representations

Mikami Hirasawa, Kunio Murasugi|ArXiv.org|Mar 1, 2009

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

ひとこと要約

本稿は、2-橋キッズの集合 $ H(p) $ 内のものについて、非アーベルなメタシクル表現 $ D_p $（位数 $ 2p $ の二面体群）への表現に関連するねじれアレクサンダー多項式が、$ \left\{ \frac{\Delta_K(t)}{1-t} \right\} f(t)f(-t) $ の形をとることを証明している。ここで $ f(t) $ は整数係数多項式であり、$ f(t) \equiv \left\{ \frac{\Delta_K(t)}{1+t} \right\}^n \pmod{p} $ を満たす。この結果は、メタシクル表現に対するねじれアレクサンダー多項式に関する予想の精密化を裏付けている。

ABSTRACT

Let p be an odd prime and D_p a dihedral group of order 2p. Let ρ: G(K) --> D_p --> GL(p,Z) be a non-abelian representation of the knot group G(K) of a knot K in 3-sphere. Let Δ_{ρ,K} (t) be the twisted Alexander polynomial of K associated to ρ. Let H(p) is the set of 2-bridge knots K, such that G(K) is mapped onto a non-trivial free product Z/2 * Z/p. Then we prove that for any 2-bridge knot K in H(p), Δ_{ρ,K}(t) is of the form Δ_{K}(t)/(1-t) f(t) f(-t) for some integer polynomial f(t), where Δ_K (t) is the Alexander polynomial of K. Further, it is proved that f(t) \equiv {Δ_K (t)/(1+t)}^n (mod p). Later we discuss the twisted Alexander polynomial associated to the general metacyclic representation.

研究の動機と目的

• 2-橋キッズ群のメタシクル表現に関連するねじれアレクサンダー多項式の構造を特定すること。
• 奇素数 $ p = 2n+1 $ に対して、$ D_p $ への二面体表現における予想 A の精密化されたバージョンを検証すること。
• 多項式 $ f(t) $ に対して、$ p $ を法としての合同条件を確立し、アレクサンダー多項式 $ \Delta_K(t) $ と関連付けること。
• より一般のメタシクル群 $ N(q,p) $ にまで結果を拡張し、ねじれアレクサンダー多項式が標準アレクサンダー多項式と二面体の場合にどのように決定されるかを示すこと。
• ねじれアレクサンダー多項式が $ \{\Delta_K(t)/(1-t)\}F(t) $ の形をとり、$ F(t) $ が $ t^m $ の形をとることを示す、より広範な予想 A を支持すること。

提案手法

• 位数 $ 2p $ の二面体群 $ D_p $ である $ D_p $ への表現 $ \widehat{\rho}: G(K) \to D_p \to GL(p,\mathbb{Z}) $ を用いる。ここで $ p = 2n+1 $ は素数である。
• 群環ホモロジーと表現論を用いて、$ G(K) $ が $ \mathbb{Z}[t^{\pm 1}] $-加群に作用するという定義に基づき、ねじれアレクサンダー多項式を定義する。
• 再帰的関係とフィボナッチに類似した数列 $ F(n,k) $ の性質を用いて、ねじれアレクサンダー多項式行列の構造を分析する。
• 係数ベクトルに関する線形代数から導かれる、$ k = n $ のときの重要な恒等式 $ \mathbf{u}_{n-j} \cdot \mathbf{w}_k = -c_{n-j-1}^{(n)} $ を用いる。
• 条件 $ \Delta_K(-1) \equiv 0 \pmod{p} $ に依拠して、$ f(t) \equiv \left\{ \frac{\Delta_K(t)}{1+t} \right\}^n \pmod{p} $ という合同式を適用する。
• 群 $ N(q,p) = \langle s,a \mid s^{2q}=a^p=1, sas^{-1}=a^{-1} \rangle $ にまで結果を拡張し、ねじれ多項式が二面体の場合とアレクサンダー多項式によって完全に決定されることを示す。

実験結果

リサーチクエスチョン

• RQ1 2-橋キッズ $ K(r) \in H(p) $ に対して、非アーベルな $ D_p $-表現におけるねじれアレクサンダー多項式は、$ \left\{ \frac{\Delta_K(t)}{1-t} \right\} f(t)f(-t) $ の形をとるか？
• RQ2 この因数分解における多項式 $ f(t) $ は、$ p $ を法として $ \left\{ \frac{\Delta_K(t)}{1+t} \right\}^n $ と合同か？
• RQ3 一般のメタシクル表現 $ N(q,p) $ におけるねじれアレクサンダー多項式は、標準アレクサンダー多項式と二面体の場合によって完全に決定可能か？
• RQ4 ねじれアレクサンダー多項式の構造は、$ G(m,p|k) $-表現に対するより広範な予想 A を支持するか？
• RQ5 $ \Delta_K(-1) \equiv 0 \pmod{p} $ という条件が、このような表現の存在とその形を決定する上で果たす役割は何か？

主な発見

• 任意の2-橋キッズ $ K(r) \in H(p) $ に対して、ねじれアレクサンダー多項式 $ \widetilde{\Delta}_{\widehat{\rho},K}(t) $ は、ある整数係数多項式 $ f(t) $ を用いて $ \left\{ \frac{\Delta_K(t)}{1-t} \right\} f(t)f(-t) $ の形に表される。
• 多項式 $ f(t) $ は合同式 $ f(t) \equiv \left\{ \frac{\Delta_K(t)}{1+t} \right\}^n \pmod{p} $ を満たす。ここで $ p = 2n+1 $ は素数である。
• $ \Delta_K(-1) \equiv 0 \pmod{p} $ という条件は、$ (1+t)^2 \mid \Delta_K(t) \pmod{p} $ と同値であり、非アーベルな $ D_p $-表現の存在を保証する。
• $ N(q,p) $ の群に対して、ねじれアレクサンダー多項式 $ \widetilde{\Delta}_{\widetilde{\nu},K(r)}(t) $ は、$ \Delta_{K(r)}(t) $ と $ \widetilde{\Delta}_{\widehat{\rho},K(r)}(t) $ によって完全に決定され、$ t^{2q} $ の整数係数多項式である。
• 再帰的恒等式とフィボナッチに類似した数列 $ F(n,k) $ に依拠し、$ k = n $ のときのベクトルの内積恒等式 $ \mathbf{u}_{n-j} \cdot \mathbf{w}_k = -c_{n-j-1}^{(n)} $ を用いることで、多項式の構造が裏付けられる。
• この結果は、$ H(p) $ 内の2-橋キッズに対する予想 B を確認しており、より一般のメタシクル表現における予想 A を支持する。第9節に具体的な例が提示されている。