[論文レビュー] Alexander type invariants of tangles

Iva Halacheva|arXiv (Cornell University)|Nov 28, 2016

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

ひとこと要約

この論文は、仮想トランギューリングのためのアーチバルドの tMVA 不変量から、ホッジスター写像を適用して指数的次元のターゲット空間を削減することで得られる、コンパクトな行列値不変量 rMVA を導入する。rMVA はメタモノイド準同型としてバール＝ナタンの $γ$-カルキュラス不変量と同値であることが示され、トランギューリングの成分を閉じたときに多変数アレクサンダー多項式を回復し、ブレイド上ではガッスナー表現に制限され、成分の閉じ込みに使える部分的トレース作用素を備えている。

ABSTRACT

We study generalizations of a classical link invariant -- the multivariable Alexander polynomial -- to tangles. The starting point is Archibald's tMVA invariant for virtual tangles which lives in the setting of circuit algebras, and whose target space has dimension that is exponential in the number of strands. Using the Hodge star map and restricting to tangles without closed components, we define a reduction of the tMVA to an invariant "rMVA" which is valued in matrices with Laurent polynomial entries, and so has a much more compact target space. We show the rMVA has the structure of a metamonoid morphism and is further equivalent to a tangle invariant defined by Bar-Natan. This invariant also reduces to the Gassner representation on braids and has a partially defined trace operation for closing open strands of a tangle.

研究の動機と目的

• 仮想トランギューリングのためのアーチバルドの tMVA 不変量の指数的次元のターゲット空間を、よりコンパクトな行列値形式に削減すること。
• 削減された不変量 rMVA がメタモノイドの文脈でバール＝ナタンの $γ$-カルキュラス不変量と同値であることを確立すること。
• トランギューリングの成分を閉じたときに rMVA が多変数アレクサンダー多項式を回復することを示すこと。
• rMVA がブレイド上ではガッスナー表現に制限されることを示すこと。
• 個々のトランギューリングストランドの閉じ込みを許容する部分的に定義されたトレース作用素を rMVA に定義すること。

提案手法

• 回路代数フレームワークにおいて tMVA 不変量にホッジスター作用素を適用することで、ターゲット空間を指数的次元から行列値ローレン卜多項式に削減する。
• 閉じた成分を含まない純粋なトランギューリングに制限することで、削減が良い定義された準同型を与えることを保証する。
• rMVA を回路代数の代数的構造とメタモノイド作用素を活用したメタモノイド準同型として定義する。
• ホッジスター写像を用いて tMVA のテンソル積構造をローレン卜多項式係数の行列表現に変換する。
• メタモノイド構造を通じて、rMVA のターゲット空間とバール＝ナタンの $γ$-カルキュラスのターゲット空間の間の同型を確立する。
• アレクサンダー行列の小行列を含む行列式の公式を用いて、rMVA が正負の交差に対してどのように作用するかを導出する。

実験結果

リサーチクエスチョン

• RQ1 トランギューリングの tMVA 不変量は、本質的な位相的情報を失うことなく、よりコンパクトな行列値形式に削減可能か？
• RQ2 削減された不変量 rMVA は、メタモノイド準同型としてバール＝ナタンの $γ$-カルキュラス不変量と同値か？
• RQ3 トランギューリングの成分を閉じたときに rMVA 不変量は古典的な多変数アレクサンダー多項式を回復するか？
• RQ4 rMVA はブレイド上ではガッスナー表現に制限されるか？
• RQ5 rMVA に個々の開いているストランドの閉じ込みを許容する部分的に定義されたトレース作用素を定義可能か？

主な発見

• rMVA 不変量はメタモノイド準同型であり、メタモノイドの圏においてバール＝ナタンの $γ$-カルキュラス不変量と同値である。
• rMVA は tMVA のホッジスターによる削減によって計算され、ローレン卜多項式係数の行列をターゲット空間として持つようになり、次元が著しく削減される。
• すべての開いているストランドを閉じたとき、rMVA はアレクサンダー行列の小行列を含む行列式の公式により、多変数アレクサンダー多項式を回復する。
• ブレイド上では rMVA はガッスナー表現に制限され、rMVA が交差に対して作用する様子と得られる行列要素がガッスナー行列と一致することで確認された。
• rMVA には部分的に定義されたトレース作用素が存在し、個々のトランギューリング成分の閉じ込みを保ちながら不変量構造を維持できる。
• rMVA はリーデマイスター移動およびオーバークロスコミュテーション関係に関して不変であり、その位相的整合性が確認された。