[論文レビュー] Markov traces and knot invariants related to Iwahori-Hecke algebras of type B

Meinolf Geck, Sofia Lambropoulou|ArXiv.org|May 26, 2004

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

ひとこと要約

本稿は、型BのIwahori-Hecke代数上の線形マークフ・トレースの完全分類を提供し、マークフ性を満たすトレース関数の存在と構造を確立する。共役類の代表元と類多項式を用いて、これらのトレースの明示的公式を導出し、バーン群の表現と系関係を用いて、立体トーラス内の向き付けられた結び目の4変数不変量の構成を可能にする。

ABSTRACT

In this paper we classify all Markov traces on Iwahori-Hecke algebras associated with the finite Coxeter groups of type B. We then use these traces for constructing Jones-type invariants for oriented knots inside a solid torus, and finally we give skein-theoretical interpretations.

研究の動機と目的

• 型BのIwahori-Hecke代数上の線形トレースでマークフ性を満たすものをすべて分類すること。
• ジョーンズのトレースに基づく結び目不変量の構成を、特に立体トーラス内の結び目に対してB型に拡張すること。
• 共役類の代表元と類多項式を用いて、基底元上のトレース値を計算するためのアルゴリズム的枠組みを提供すること。
• 得られたトレースを正規化して、立体トーラス内の向き付けられた結び目の4変数版ホムフライト多項式を得ること。
• 得られた結び目不変量を図式的に特徴付ける系関係と初期条件を確立すること。

提案手法

• 有限コクセター群のIwahori-Hecke代数上のトレース関数に関する先行研究の結果を用い、マークフ性を満たすトレースを分類する。
• 型Bのワイル群 $W_n$ の共役類の最小長代表元に基づくアルゴリズム的手法を適用する。
• 類多項式 $f_{w,C} \in \mathbb{Z}[q,Q]$ を用いて、任意の基底元上のトレース値を共役類代表元上のトレース値に表現する。
• 代数的レベルを跨ぐトレースの振る舞いを制約するマークフ性 $\tau(hg_n) = z\tau(h)$ for $h \in H_n$ を用いる。
• バーン群 $B_{1,n}$ を幾何的モデルとして用い、正規化により立体トーラス内の向きつけられた結び目の不変量を構成する。
• トレースの正規化から系関係と初期条件を導出し、不変量の図式的計算を可能にする。

実験結果

リサーチクエスチョン

• RQ1 マークフ性を満たす型BのIwahori-Hecke代数上の線形トレースの完全分類は何か？
• RQ2 型Bヘッケ代数上のトレース関数は、どのようにして立体トーラス内の向きつけられた結び目の不変量を構成できるか？
• RQ3 型Bの $W_n$ の共役類代表元に対応する基底元上のトレース値の明示的公式は何か？
• RQ4 得られた不変量はホムフライト多項式とどのように関係し、その系関係と初期条件は何か？
• RQ5 類多項式 $f_{w,C}$ は、トレース値のアルゴリズム的計算において果たす役割は何か？

主な発見

• マークフ性を満たす型BのIwahori-Hecke代数上のすべての線形トレースは、共役類代表元と類多項式によって完全に分類される。
• 単位元上のトレース値は $\tau(1) = 1$ に正規化され、生成子 $t$ に対しては $\tau(t) = y_1$ とされ、$n$ が大きくなる場合の基本ケースが得られる。
• $n=2$ に対して $\tau(tt_1) = ((q-1)(Q-1)y_1 + (q-1)Q)z + qy_2$ が成り立ち、パラメータ $q, Q, z, y_1, y_2$ に依存することが示される。
• $n=3$ に対して $\tau(tt_1t_2) = ((q-1)(Q^2 - Q + 1)y_1 + Q(q-1)(Q-1))(q^3 - 1)z^2 + (Qy_1 + (Q-1)y_2)(q^3 - 1)qz + q^3 y_3$ が得られ、負のブロックが増えるにつれて複雑性が増すことが明らかになる。
• $n=4$ に対して、4つの負のブロックを持つ類について $\tau(tt_1t_2t_3)$ が明示的に計算され、$n=4$ までトレース表が完成する。
• 任意のバーン $\alpha \in B_{1,n}$ に対する $\tau(\alpha)$ のアルゴリズム的計算は、$\sum_C \left(\sum_w a_w f_{w,C}\right) \tau(g_{w_C})$ の評価に還元され、類多項式を用いた体系的な評価が可能になる。