[論文レビュー] Bikei Invariants and Gauss Diagrams for Virtual Knotted Surfaces

Sam Nelson, Patricia Rivera|arXiv (Cornell University)|Sep 27, 2014

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

ひとこと要約

この論文は、ガウス図を用いて、バーチャルねじれ表面へのバイクイ数え上げ不変量の拡張を試み、可換的性質を特徴付ける。マーク付き頂点図のためのガウス図を導入し、各弦の端点間の弦端点数が偶数であることと、可換的性質が同値であることを証明し、バイクイ（自己逆双クオーラ）を用いて、すべてのバーチャルマーク付き頂点図に対してバイクイ不変量が適切に定義されることを示した。

ABSTRACT

Marked vertex diagrams provide a combinatorial way to represent knotted surfaces in $\mathbb{R}^4$; including virtual crossings allows for a theory of virtual knotted surfaces and virtual cobordisms. Biquandle counting invariants are defined only for marked vertex diagrams representing knotted orientable surfaces; we extend these invariants to all virtual marked vertex diagrams by considering colorings by involutory biquandles, also known as bikei. We introduce a way of representing marked vertex diagrams with Gauss diagrams and use these to characterize orientability.

研究の動機と目的

• 自己逆双クオーラ（バイクイ）を用いて、非可換的表面を含むすべてのバーチャルマーク付き頂点図へのバイクイ数え上げ不変量の拡張を目的とする。
• バーチャルねじれ表面のコンピュータフレンドリーな表現として、マーク付き頂点図のためのガウス図を導入すること。
• ガウス図と端点の偶奇条件を用いて、バーチャルねじれ表面の可換的性質を組み合わせ的に特徴付けること。
• 標準的な双クオーラ不変量の制限を克服し、すべてのバーチャルマーク付き頂点図に対してバイクイ不変量が適切に定義されることを確立すること。
• バーチャルねじれ表面における可換的性質と2色塗り分けの関係を調査し、それらが常に一致するわけではないことを示すこと。

提案手法

• R⁴におけるねじれ表面（古典的およびバーチャルな交差を含む）を符号化するマーク付き頂点図（ch-図）を用いてバーチャルねじれ表面を表現する。
• マーク付き頂点図のためのガウス図を定義する。図を円周上に埋め込み、古典的交差およびサドル交差をラベル付けし、古典的交差には有向弦を、サドル交差にはマーク付き弦を用いる。
• 各弦の両端点間の弦端点数を可換的性質の基準として用いる：図が可換的であることは、すべての弦についてその両端点間の端点数が偶数であることと同値である。
• バーチャルマーク付き頂点図にバイクイ（自己逆双クオーラ）の彩色を適用し、ヨシキワ移動に関して不変であることを保証する。
• バイクイ作用を符号化する双クオーラ行列を構築し、バイクイ数え上げ不変量のアルゴリズム的計算を可能にする。
• 全域的な向き付けが一貫して可能であることは、かつはその端点の偶奇条件が満たされていることと同値であり、位相的可換的性質と組み合わせ的不変量を結びつける。

実験結果

リサーチクエスチョン

• RQ1 自己逆双クオーラ（バイクイ）を用いて、非可換的表面を含むすべてのバーチャルマーク付き頂点図へのバイクイ数え上げ不変量の拡張は可能か？
• RQ2 ガウス図を用いて、バーチャルねじれ表面の可換的性質を組み合わせ的に特徴付けることは可能か？
• RQ3 バーチャルねじれ表面の可換的性質は2色塗り分けに対応するか？もし対応しないなら、正確な関係は何か？
• RQ4 特に非自明なバーチャル交差操作を伴うバーチャル設定において、バイクイ数え上げ不変量にどのような拡張が可能か？
• RQ5 バーチャル交差は、バイクイ不変量の構造およびねじれ表面の位相的不変量にどのように影響を与えるか？

主な発見

• 自己逆双クオーラ（バイクイ）の使用のおかげで、非可換的表面を含むすべてのバーチャルマーク付き頂点図に対して、バイクイ数え上げ不変量が適切に定義される。
• マーク付き頂点ガウス図が可換的であることは、すべての弦についてその両端点間の弦端点数が偶数であることと同値である。
• genus g の非自明な可換的表面に対して、バイクイ数え上げ不変量は |X| に等しい、ここで X はバイクイである。
• クロスキャップ数 c の非自明な非可換的表面に対して、バイクイ数え上げ不変量は |F| に等しい、ここで F = {x ∈ X | xˣ = xₓ = x} はバイクイ作用における固定点の集合である。
• 2色塗り分け不変量（X = ℤ₂, xʸ = xₓ = x+1）は、すべての非自明な可換的表面に対して Φ_X^ℤ = 2 を得るが、すべての非自明な非可換的表面に対しては Φ_X^ℤ = 0 を得る。
• 可換的性質と2色塗り分けがバーチャルねじれ表面の文脈では一致しないことが、2色塗り分け可能だが可換的でない図の例によって示された。