[論文レビュー] Braid Groups are Linear

Stephen Bigelow|ArXiv.org|May 4, 2000

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

ひとこと要約

この論文は、ブレード群 $B_n$ の Lawrence-Krammer 表現がすべての $n$ に対して忠実であることを証明し、ブレード群が線型であることを確立する。証明は、穴あき円板内のフォークと nouddles の幾何的ペアリングを用いて、核内の非自明な要素を検出するものであり、ホモロジー上で自明に作用するいかなるブレードも恒等的であることを示す。

ABSTRACT

The braid groups B_n can be defined as the mapping class group of the n-punctured disc. The Lawrence-Krammer representation of the braid group B_n is the induced action on a certain twisted second homology of the space of unordered pairs of points in the n-punctured disc. Recently, Daan Krammer showed that this is a faithful representation in the case n=4. In this paper, we show that it is faithful for all n.

研究の動機と目的

• ブレード群が線型であるかどうかという長年の未解決問題を解決すること。
• Krammer の $B_4$ に対する忠実性結果を、すべてのブレード群 $B_n$ に拡張すること。
• ホモロジーと被覆空間を用いた幾何的位相的証明により忠実性を示すこと。
• 標準的なフォークと基底要素の観点から Lawrence-Krammer 表現の計算的枠組みを提供すること。
• Lawrence-Krammer 表現と BMW 表現との関係を行列比較によって明確にすること。

提案手法

• ブレード群 $B_n$ の Lawrence-Krammer 表現を、$n$ 個の穴あき円板内の無順序な点の対の被覆空間 $\tilde{C}$ の第二ホモロジー群への誘導作用として定義する。
• フォークを、穴に接続された枝を持つ円板内の埋め込み木として定義し、$H_2(\tilde{C})$ の要素を表す。
• ヌードルを穴あき円板内の弧として定義し、フォークとのペアリングを定義して幾何的交差を検出する。
• フォークとヌードルのペアリングを用いて、表現の核に属するいかなるブレードも、すべてのペアリングに対して自明に作用しなければならないことを示し、それによりそれが恒等的ブレードであることを示す。
• ホモロジー加群 $\Lambda = \mathbb{Z}[q^{\pm1}, t^{\pm1}]$ 上で、ブレード生成子 $\sigma_i$ の基底要素 $v_{j,k}$ への作用を明示的な線形結合として計算する。
• $H_2(\tilde{C})$ が基底 $\{v_{j,k}\}$ を持つ自由 $\Lambda$-加群であることを利用し、表現がこの構造を保存することを示す。

実験結果

リサーチクエスチョン

• RQ1 Lawrence-Krammer 表現はすべてのブレード群 $B_n$ に対して忠実か？
• RQ2 フォークやヌードルのような幾何的対象を用いて、Lawrence-Krammer 表現の核を検出できるか？
• RQ3 ブレード生成子 $\sigma_i$ がホモロジー基底 $v_{j,k}$ に与える作用は、明示的な $\Lambda$-線形変換としてどのように表現されるか？
• RQ4 Lawrence-Krammer 表現とブレード群の BMW 表現との関係は何か？
• RQ5 代数的計算に頼らず、位相的ペアリングの議論を用いて Lawrence-Krammer 表現の忠実性を証明できるか？

主な発見

• すべての $n$ に対して、$B_n$ の Lawrence-Krammer 表現は忠実であり、ブレード群が線型であることを証明する。
• 核が自明であるのは、すべてのフォーク-ヌードルペアリングに対して自明に作用する要素が恒等的ブレードに他ならないためである。
• $\sigma_i$ が基底ベクトル $v_{j,k}$ に与える作用は明示的に計算されている：$i = j = k-1$ のとき $\sigma_i(v_{j,k}) = -tq^2 v_{j,k}$ であり、それ以外はより複雑な線形結合である。
• $i = j-1$ または $i = k-1 \neq j$ のとき、$\sigma_i(v_{j,k})$ は、$j',k' \in \{i,i+1,j,k\}$ を満たす、高々3つの基底ベクトル $v_{j',k'}$ の $\Lambda$-線形結合である。
• ホモロジー群 $H_2(\tilde{C})$ は、基底 $\{v_{j,k} \mid 1 \leq j < k \leq n\}$ を持つ自由 $\Lambda$-加群であり、$v_{j,k} = (q-1)f_{j,j} - (q-1)t f_{k,k} + (1-t)(1+qt)f_{j,k}$ である。
• この基底におけるブレード生成子の行列表現は、BMW 表現の既約和成分のそれと非常に類似しており、深い構造的関係を示唆している。