[論文レビュー] Quadratic quandles and their link invariants

R. A. Litherland|ArXiv.org|Jul 11, 2002

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

ひとこと要約

本稿は、有限体 $\mathbb{Z}[t,t^{-1}]/(p, t^2 + \kappa t + 1)$ 上のアレクサンダー準同型の形をした二次的クエンドルに対して、クエンドルコhomologyから導かれる状態和不変量を研究する。ここで $p$ は素数で、$t^2 + \kappa t + 1$ は $\p$ を法として既約である。本稿は、不変量の値が $\mathbb{Z}[C_p]$ に属し、固定された $\Gamma_p$、$r \geq 0$、$s > 0$ に対して $\Gamma_p^r p^{2s}$ の形を取ることを証明する。また、不変量がリンクのアレクサンダー加群によって決定されることを示唆する計算的証拠を提示し、トーラス結び目および二橋結び目で確認されている。

ABSTRACT

Carter, Jelsovsky, Kamada, Langford and Saito have defined an invariant of classical links associated to each element of the second cohomology of a finite quandle. We study these invariants for Alexander quandles of the form Z[t,t^{-1}]/(p, t^2 + kappa t + 1), where p is a prime number and t^2 + kappa t + 1 is irreducible modulo p. For each such quandle, there is an invariant with values in the group ring Z[C_p] of a cyclic group of order p. We shall show that the values of this invariant all have the form Gamma_p^r p^{2s} for a fixed element Gamma_p of Z[C_p] and integers r >= 0 and s > 0. We also describe some machine computations, which lead us to conjecture that the invariant is determined by the Alexander module of the link. This conjecture is verified for all torus and two-bridge knots.

研究の動機と目的

• クエンドルコhomologyの文脈において二次的クエンドルの状態和リンク不変量を調査すること。
• 有限体 $\u005cmathbb{F}_p$ 上のアレクサンダークエンドルに対して、これらの不変量の構造を分析すること。
• コホモロジー不変量がリンクのアレクサンダー加群によって完全に決定されるかどうかを特定すること。
• トーラス結び目および二橋結び目を含む特定のクラスの結び目について、仮説を計算的に検証すること。
• 不変量の値が群環 $\mathbb{Z}[C_p]$ 内で明確な代数的形で表されることを確立すること。

提案手法

• 本稿は、有限クエンドルの第二コホモロジーを用いて、古典的リンクの状態和不変量を定義する。
• $t^2 + \kappa t + 1$ が $\p$ を法として既約で、$t$ がノルム 1 の根として作用するという形で定義される二次的クエンドル $\u005cmathbb{E}_p \cong \u005cmathbb{F}_p[t,t^{-1}]/(t^2 + \kappa t + 1)$ に注目する。
• $\u005cmathfrak{i} \in \u005cmathbb{E}_p$ で $\bar{\u005cmathfrak{i}} = -\u005cmathfrak{i}$ を満たすものに対して、$H^2_Q(\u005cmathbb{E}_p; \u005cmathbb{F}_p)$ 内に明示的なコサイクル $\phi(x,y) = \u005cmathfrak{i}(x\bar{y} - \bar{x}y)$ を構成する。
• 不変量 $\Phi_\phi(K)$ は、リンクの基本クエンドルから $\u005cmathbb{E}_p$ へのクエンドル準同型の和として計算され、群環 $\u005cmathbb{Z}[C_p]$ に値をとる。
• 本稿は、アレクサンダー加群 $A(K)$ 及びその $p$ を法とする還元を用いて、不変量と古典的リンク不変量との関係を関連付ける。
• 再帰的に定義された多項式 $f_k$ を含む代数的恒等式を、帰納法および微分の操作を用いて証明し、不変量の構造に関する主結果を支持する。

実験結果

リサーチクエスチョン

• RQ1 有限体 $\u005cmathbb{F}_p$ 上の二次的クエンドルにおけるクエンドルコhomology不変量の代数的構造は何か？
• RQ2 状態和不変量の値は、群環 $\u005cmathbb{Z}[C_p]$ 内で一様な形に表現可能か？
• RQ3 クエンドルコhomology不変量はリンクのアレクサンダー加群によって決定されるか？
• RQ4 どのクラスの結び目（例えばトーラス結び目、二橋結び目）において、不変量がアレクサンダー加群不変量と一致するか？
• RQ5 ノルム 1 の根 $\theta$ が非自明なコホモロジー類を定義するために果たす正確な役割は何か？

主な発見

• 不変量の値は、固定された $\u005cGamma_p \in \u005cmathbb{Z}[C_p]$、整数 $r \geq 0$、$s > 0$ に対して、すべて $\u005cGamma_p^r p^{2s}$ の形を取る。ここで $\u005cGamma_p$ は選ばれたコサイクルによって決定される。
• コホモロジー類 $[\phi]$ は非自明であり、$H^2_Q(\u005cmathbb{E}_p; \u005cmathbb{F}_p) \cong \u005cmathbb{F}_p$ を生成する。これにより、不変量が非退化であることが確認される。
• 機械的計算による証拠は、不変量がリンクのアレクサンダー加群によって完全に決定されることを示唆しており、特にトーラス結び目および二橋結び目で成立する。
• 不変量がアレクサンダー加群によって決定されるという仮説は、すべてのトーラス結び目および二橋結び目で確認されている。
• 多項式の恒等式 $\dot{f}_k f_{k-1} - f_k \dot{f}_{k-1} = z_k \sum_{i=1}^k y_i f_{i-1}^2$ が証明され、不変量の再帰的構造を確立するために用いられている。