[論文レビュー] Biquandle Virtual Brackets

Sam Nelson, Kanako Oshiro+2 more|arXiv (Cornell University)|Jan 15, 2017

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

ひとこと要約

本稿では、方向付きの古典的およびヴァーチャルな絡み目のバイクェンドルカウンティング不変量の量子的強化である、バイクェンドルヴァーチャルブラケットの無限族を導入する。可換環上でヴァーチャルな交差をスムージングとして扱うスケイン関係式を用いることで、不変量は環の要素のマルチセットの形をとり、古典的スケイン多項式、バイクェンドル2-コサイクル不変量、バイクェンドルブラケットを一般化する。新たな不変量はヴァーチャル構造および方向の反転に敏感である。

ABSTRACT

We introduce an infinite family of quantum enhancements of the biquandle counting invariant we call biquandle virtual brackets. Defined in terms of skein invariants of biquandle colored oriented knot and link diagrams with values in a commutative ring $R$ using virtual crossings as smoothings, these invariants take the form of multisets of elements of $R$ and can be written in a "polynomial" form for convenience. The family of invariants defined herein includes as special cases all quandle and biquandle 2-cocycle invariants, all classical skein invariants (Alexander-Conway, Jones, HOMFLYPT and Kauffman polynomials) and all biquandle bracket invariants defined in previous work as well as new invariants defined using virtual crossings in a fundamental way, without an obvious purely classical definition.

研究の動機と目的

• ヴァーチャルな交差を基本的なスムージング操作として組み込む新しいバイクェンドルカウンティング不変量の量子的強化の族を構築すること。
• 古典的スケイン不変量（例：ジョーンズ、アレクサンダー、HOMFLYPT）、バイクェンドル2-コサイクル不変量、バイクェンドルブラケットを、統一的な枠組みの下に統合すること。
• 古典的定義が明確でないが、ヴァーチャルな絡みめ構造および方向に敏感な不変量を構築すること。
• バイクェンドルの色とヴァーチャルスムージング則に依存する係数を用いた状態和の定式化により、これらの不変量を体系的に計算する方法を提供すること。

提案手法

• 可換環 R を係数環として用い、ヴァーチャルな交差を交差ではなくスムージングとして扱うスケイン関係式により、バイクェンドルヴァーチャルブラケットを定義する。
• リンク図のすべてのバイクェンドル彩色に対して、各交差におけるバイクェンドルの色に依存する係数による重み付けを施した状態の寄与を合算し、R の要素のマルチセットとして不変量を構成する。
• すべてのスムージングを同時に適用する状態和の定式化を用い、バイクェンドル操作に基づいて、異なるスムージング結果に対して係数 A_{xy}, B_{xy}, V_{xy}, C_{xy}, D_{xy}, U_{xy} を割り当てる。
• 不変量 Φ_X^β(M)(K) を、すべての有効なバイクェンドル彩色における係数の積のマルチセットとして定義し、便宜上多項式形式で表す。
• F_8 のような有限環上で動作する計算ツール（例：Python スクリプト）を実装し、最大8交差までの絡み目に対して体系的な計算を可能にする。
• マルチセットの値を比較することで、ヴァーチャル絡み目と古典的絡み目、方向反転ペア、連結和を区別するために不変量を適用する。

実験結果

リサーチクエスチョン

• RQ1 連結和に関して Φ_X^β(K # K') = Φ_X^β(K)Φ_X^β(K') を満たすバイクェンドルヴァーチャルブラケット (X, R, β) はどのようなものか？
• RQ2 バイクェンドルヴァーチャルブラケットは、クラスカル・ホモロジー理論に類似したカテゴライゼーションの可能性を有するか、特にカフマン型ホモロジー理論とどのように関係するか？
• RQ3 より大きなバイクェンドルや係数環上で、バイクェンドルヴァーチャルブラケットを効率的に計算するアルゴリズムを開発可能か？計算能力の向上が検出力に与える影響は？
• RQ4 バイクェンドルヴァーチャルブラケットは、古典的類似物が存在しない場合に、どのようにヴァーチャル絡みめ構造および方向を検出するか？
• RQ5 これらの不変量は、例えば正方形絡み目とグランジ絡みめのような古典的絡み目をどの程度区別できるか？また、方向の反転における挙動の背後にある理由は何か？

主な発見

• バイクェンドルヴァーチャルブラケット不変量は、右巻きと左巻きのホーファークレースを区別し、それらがアバント・アイソトピーのもとで同値でないことを示している。また、方向の反転を検出している。
• 不変量 Φ_X^β はホーファークレースの非自明性を検出しており、Φ(L_{2}^{Hopf}) = 2u^2 + 2u^4 および Φ(U_2) = 4u^4 である。
• F_8 上のバイクェンドル X で δ = 1 + t の場合、不変量は8交差までの素な古典的絡み目を、それぞれ異なるマルチセットの値で区別する。例えば 5_2 に対して {2×1}、8_3 に対して {2×t} となる。
• 不変量は正のグランジ絡み目 3_1#3_1 とは区別できるが、負のグランジ絡み目 ̄3_1#̄3_1 とは区別できない。
• 不変量は最大4つの古典的交差をもつヴァーチャル絡み目を検出でき、例えば 3.5 に対して {2×0}、3.2 に対して {2×t} のように、異なるヴァーチャル絡み目に対して異なるマルチセットを割り当てる。
• 不変量 Φ_X^β(̄3_1) = {2×0} は、トレイフォイルの鏡像が異なる値をとることを確認しており、方向に敏感であることを裏付けている。