[論文レビュー] New Invariants of Long Virtual Knots

Andrew Bartholomew, Roger Fenn+2 more|ArXiv.org|May 31, 2007

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

ひとこと要約

本稿では、非可換代数 $\mathcal{F}$ 及びその表現（クォータニオンやウェイユ代数を含む）を用いて、長仮想リンクに対して4つの新しい不変モジュール—$\mathcal{M}_K$, $\widehat{\mathcal{M}}_K$, $\mathcal{M}^o_K$, および $\mathcal{M}^n_K$—を導入する。主な貢献は、連結作用の下で余次元 $r$ 行列式が成り立つ積公式を特定し、長仮想リンクにおける非可換性を際立たせることである。バーリン・スイッチおよび行列表現を用いて明示的な不変量が計算されている。

ABSTRACT

This paper extends the construction of invariants for virtual knots to virtual long knots and introduces two new invariant modules of virtual long knots. Several interesting features are described that distinguish virtual long knots from their classical counterparts with respect to their symmetries and the concatenation product.

研究の動機と目的

• 仮想リンクの不変量を長仮想リンクへ拡張するため、新しい代数的モジュールを構成すること。
• 入力または出力の生成子をゼロに設定することにより、新たな不変量 $\mathcal{M}^o_K$ および $\mathcal{M}^n_K$ を定義し、特徴的な構造的性質を捉えること。
• これらのモジュールの余次元 $r$ 行列式が連結積の下で積公式を満たすことを確立し、長仮想リンクにおける非可換性を強調すること。
• ウェイユ代数を用いて、平坦な長仮想リンクへこれらの不変量を一般化し、計算可能な多項式不変量を提供すること。

提案手法

• 不変量は、生成子 $A, B$ と特定の関係 $A^{-1}B^{-1}AB - B^{-1}AB = BA^{-1}B^{-1}A - A$ を持つ非可換代数 $\mathcal{F}$ の左 $\mathcal{F}$-モジュールとして構成される。
• 表現 $\eta$ を用いて、可換環上の行列環への埋め込みにより、提示行列 $P$ に対して余次元 $r$ 行列式 $\det^{(r)}_\eta(P)$ が定義される。
• バーリン・スイッチ $S = \begin{pmatrix} 1+i & -tj \\ t^{-1}j & 1+i \end{pmatrix}$ は、$\mathcal{F}$ を $\mathbb{C}[t,t^{-1}]$ 上の $2 \times 2$ 行列に表現し、行列式による多項式不変量の計算を可能にする。
• 平坦な長仮想リンクに対しては、生成子 $u, v$ が $uv - vu = 1$ を満たすウェイユ代数が用いられ、$u = \begin{pmatrix} x & a \\ 0 & x \end{pmatrix}$, $v = \begin{pmatrix} y & 0 \\ 1/a & y \end{pmatrix}$ のような行列表現により不変量が計算される。
• $\mathcal{M}_K$ は標準的な仮想リンクモジュールを模倣し、$\widehat{\mathcal{M}}_K$ は $K$ を閉じて得られる閉じた仮想リンクのモジュールである。一方、$\mathcal{M}^o_K$ および $\mathcal{M}^n_K$ は、入力または出力の生成子をゼロに設定した新しい構成である。
• 不変量はスイッチおよび行列表現を用いて計算され、$FF$ と $\overline{FF}$ に対して明示的な例が示され、$p^{(0)}(FF) = x^2 + 1$ および $p^{(0)}(\overline{FF}) = x^6 + 1$ となる。

実験結果

リサーチクエスチョン

• RQ1 古典的仮想リンクの不変量を、代数的モジュールを用いて長仮想リンクへどのように拡張できるか？
• RQ2 非可換連結性によって生じる長仮想リンクにおける新たな構造的特徴は何か？ そして、それを代数的に捉えるにはどうすればよいか？
• RQ3 $\mathcal{M}^o_K$ および $\mathcal{M}^n_K$ は、入力または出力の生成子をゼロに設定することで定義されるが、これらは有用な代数的性質を持つ新たな不変量をもたらすか？
• RQ4 これらのモジュールの余次元 $r$ 行列式は、連結積の下で積公式を満たすか？ そして、これにより長仮想リンク乗法の非可換性について何が示唆されるか？
• RQ5 これらの不変量は、平坦な長仮想リンクから長仮想リンクへのツラエフ下降写像に関してどのように振る舞うか？

主な発見

• $\mathcal{M}^o_K$ は入力生成子をゼロに設定することで定義され、長仮想リンクにおける非対称性を捉える新しい不変量をもたらす。
• $\mathcal{M}^n_K$ は出力生成子をゼロに設定することで定義され、$\mathcal{M}^o_K$ および $\mathcal{M}^n_K$ の両方が連結作用の下で積公式を満たす。これは非可換性を示唆する。
• 仮想の三葉結び目に対して、余次元 0 行列式は $1 + 2t^2 + t^4$、キシノ結び目に対しては 0 であり、余次元 1 行列式は $1 + \frac{5}{2}t^2 + t^4$ である。非自明な不変量が得られている。
• 平坦な長結び $FF$ に対しては $p^{(0)}(FF) = x^2 + 1$ であり、$p^{(0)}(\overline{FF}) = x^6 + 1$ である。これにより、$FF$ と $\overline{FF}$ が異なること、かつ非自明であることの証明が得られる。
• $F \cdot \overline{F}$ に対しては $p^{(0)} = 6t^4 + 15t^2 + 6$、$\overline{F} \cdot F$ に対しては $p^{(0)} = 3t^4 + \frac{15}{2}t^2 + 3$ が得られ、整数クォータニオン上での非可換性が示される。
• 三重積 $(F \cdot \overline{F}) \cdot F$ と $F \cdot (F \cdot \overline{F})$ に対しては、両方とも $p^{(0)} = -12t^8 - 60t^6 - 99t^4 - 60t^2 - 12$ となるが、$p^{(1)}$ の値は異なり、それぞれ $9(t^2 + 1)$ および $-\frac{9}{2}(2t^2 + 1)(t^2 + 2)$ である。これにより、両者が区別可能であることが確認される。