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

Michael Polyak|arXiv (Cornell University)|Nov 29, 2010

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

ひとこと要約

この論文は、順序付き回路オペラッド上の代数的構造を尊重する、古典的および仮想的トゥーリングの新しいコンウェイ型不変量の族を導入する。これは、コンウェイ多項式の係数とミルナーのμ不変量の両方を一般化する。不変量はコンウェイの skein 関係を満たし、GPV 有限型不変量として仮想的トゥーリングへ拡張可能であり、ねじれトレースを通じてコンウェイ多項式を計算する braid 群表現を構成し、有限型不変量と量子不変量を一つの枠組みで統一する。

ABSTRACT

We consider an algebra of (classical or virtual) tangles over an ordered circuit operad and introduce Conway-type invariants of tangles which respect this algebraic structure. The resulting invariants contain both the coefficients of the Conway polynomial and the Milnor's mu-invariants of string links as partial cases. The extension of the Conway polynomial to virtual tangles satisfies the usual Conway skein relation and its coefficients are GPV finite type invariants. As a by-product, we also obtain a simple representation of the braid group which gives the Conway polynomial as a certain twisted trace.

研究の動機と目的

• コンウェイ多項式を仮想的トゥーリングへ拡張し、skein 関係と Reidemeister 移動に対する不変性を保つこと。
• コンウェイ多項式の係数とストリングリンクのミルナーのμ不変量を、一つの代数的枠組みで統一すること。
• 仮想化された交差に基づく GPV 型関係を用いて、仮想的トゥーリングの有限型不変量理論を定義すること。
• Hecke 代数を経由して、コンウェイ多項式をねじれトレースとして計算する braid 群表現を構成すること。
• Gauss 図式による一般化された Chmutov–Khouri–Rossi のアプローチを用いて、コンウェイ多項式係数の状態和モデルを提供すること。

提案手法

• 論文は、Chmutov, Khouri, Rossi のアプローチを拡張するため、Gauss 図に基づく自明な状態和モデルを用いてトゥーリングの不変量を定義する。
• トゥーリングの代数的構造をモデル化するため、順序付き回路オペラッドを導入し、計算のための基本的断片への分解を可能にする。
• 不変量は交差上の状態和により定義され、降下状態が寄与を決定づけ、すべての Reidemeister 移動に対して不変であることが示される。
• 図に仮想的交差を許容することで、この構成を仮想的トゥーリングへ拡張し、得られる不変量が係数 c_n に対して次数 n の GPV 有限型不変量であることが証明される。
• 生成子がストランドの相対的順序に応じた符号付き置換により作用する環 ℤS_n[z] 上に braid 群表現を構成し、σ_i - σ_i^{-1} = z·id を満たす。
• コンウェイ多項式はねじれトレースとして回復される：c_k(β) = tr(τ·β[k]) であり、β[k] は braid 行動の z^k 係数である。

実験結果

リサーチクエスチョン

• RQ1 コンウェイ多項式は、仮想的 Reidemeister 移動に対する不変性と skein 関係を保ちつつ、仮想的トゥーリングへ一貫的に拡張可能か？
• RQ2 コンウェイ多項式の係数とミルナーのμ不変量は、トゥーリングの文脈で、同一の代数的枠組みで統一可能か？
• RQ3 順序付き回路オペラッドは、トゥーリング不変量の整理と基本的成分への分解を可能にする役割を果たすか？
• RQ4 ここに構成された braid 群表現は、トレースとしてコンウェイ多項式を回復するか？ もしそうなら、Hecke 代数とはどのように関係するか？
• RQ5 仮想的トゥーリングにおけるコンウェイ多項式の係数は、GPV の意味で有限型不変量か？ その次数は何か？

主な発見

• コンウェイ多項式の係数 c_n(T) は、仮想的トゥーリングへ拡張され、c_n(T) は仮想化移動に対して不変である次数 n の GPV 有限型不変量となる。
• 拡張された不変量は標準的なコンウェイの skein 関係を満たし、古典的トゥーリングでは古典的コンウェイ多項式に還元される。
• ストリングリンクに対して、不変量はシフトされた順序付けによりミルナーのμ不変量を回復し、すべてのμ不変量への一般化を示唆する。
• ℤS_n[z] 上に braid 群表現を構成し、z^k 係数のねじれトレースが、β の閉包のコンウェイ多項式の k 番目の係数 c_k(β) を回復する。
• braid 群作用は σ_i - σ_i^{-1} = z·id を満たし、これは Hecke 代数を経由することを示し、トレース公式により量子不変量と有限型不変量の直接的な関係を示す。
• 状態和の構成により、Reidemeister 移動に対する不変性の直接的証明が得られ、Gauss 図式はトゥーリングおよび仮想的トゥーリングへ一般化される。