[論文レビュー] Rationality and dense families of B(3) representations

Lieven Le Bruyn|arXiv (Cornell University)|Mar 8, 2010

Algebraic structures and combinatorial models参考文献 3被引用数 4

ひとこと要約

本稿では、クーヴィー表現とルーナスライスを用いた有理的パrametrization法を開発し、Zariski稠密な$B_3$表現の族を構成することで、6次元表現が、バターン$8_{17}$の逆表現と区別できるように、非可逆性を検出できることを証明している。主な結果は、$\mathbb{Q}(\rho)$上に有理的8パラメータ族として明示的に構成された6次元$B_3$表現で、バターン$b$とその逆$b'$を分離し、トレース不変量$\operatorname{Tr}(b) \neq \operatorname{Tr}(b')$を満たすものである。

ABSTRACT

Every irreducible component of the variety of semi-simple n-dimensional representations of the modular group has a Zariski dense subset contained in the image of an etale map from a rational quotient variety of representations of a fixed quiver Q. As an application we prove that there is a unique component of 6-dimensional representations of the three string braid group B(3) able to detect braid-reversion. Further, we give explicit rational parametrizations of dense families of simple B(3)-representations in all dimensions < 12.

研究の動機と目的

• 三文字のバターンの分離問題を、表現論を用いてバターンとその逆を区別することにより解決すること。
• Tuba-Wenzlによる$B_3$単純表現の分類を次元5を超えて拡張すること。
• 次元$<12$の単純$B_3$表現の稠密族に対して、有理的パrametrizationを構成すること。
• 結び目$8_{17}$の非可逆性を検出する最小次元が6であり、それより大きい次元ではないことを証明すること。
• SAGE互換のアルゴリズムを用いて、最大8交差を持つ結び目においてバターンの可逆性を効率的にテストする計算ツールを提供すること。

提案手法

• ルーナスライス理論を活用し、有理的商多様体$\mathrm{iss}(Q,\alpha)$から$\mathrm{iss}_n B_3$の既約成分へのエタール写像を構成する。
• クーヴィー表現における有理的性の結果を用いて、パラメータ化多様体$X_\alpha$が有理的であることを保証し、明示的パラメータ化を可能にする。
• 中心的要素$c$による商をとることで、$B_3$表現の研究をモジュラー群$\Gamma_0 = PSL_2(\mathbb{Z})$に還元し、幾何学的構造を単純化する。
• パラメータを$\mathbb{Z}[\rho]$にとることで、6次元表現における$\sigma_1$および$\sigma_2$の明示的行列を構成する。ここで$\rho$は1の原始的3乗根である。
• トレース不変量$\operatorname{Tr}(b)$と$\operatorname{Tr}(b')$を分離基準として用い、$\operatorname{Tr}(b) \neq \operatorname{Tr}(b')$が成り立つことで、異なる共轭類であることが示される。
• SAGE互換のアルゴリズムを実装し、パラメータをランダムにサンプリングし、最大8交差を持つ結び目におけるバターンの可逆性をテストする。

実験結果

リサーチクエスチョン

• RQ1 6次元$B_3$表現が、結び目$8_{17}$を表すバターン$b$がその逆$b'$と共轭でないことを検出できるか。
• RQ2 6次元の単純$B_3$表現のZariski稠密族に対して、有理的パrametrizationが存在するか。
• RQ3 バターンとその逆を区別できる$B_3$表現の最小次元は何か。
• RQ4 本手法を、次元$<12$のすべての単純$B_3$表現に対して有理的パrametrizationを提供する形に一般化できるか。
• RQ5 最大8交差かつ3バターン閉包を持つ結び目の中で、この表現族を用いて非可逆性を検出できるのはどの結び目か。

主な発見

• $\mathrm{iss}_6 B_3$における次元8の成分は、4つの既約成分の中で唯一$b$と$b'$を分離できるものであり、これが最小のこのような成分であると確認された。
• 明示的な6次元$B_3$表現が存在し、$\operatorname{Tr}(b) = -7128\rho - 1092$および$\operatorname{Tr}(b') = 7128\rho + 6036$を満たす。これにより、$b$と$b'$が共轭でないことが証明された。
• 成分$6a$および$6c$では、すべての表現に対して$\operatorname{Tr}(b) = \operatorname{Tr}(b')$が成り立つため、非可逆性を検出できない。
• $6b$成分は、$\mathbb{Q}(\rho)$上に有理的8パラメータ族としての$B_3$表現を提供し、Zariski稠密な部分集合で$b$と$b'$を分離する。
• トレース不変量を用いて、$6_3$、$7_5$、$8_7$、$8_9$、$8_{10}$、および$8_{17}$の逆バターンを効果的に区別できた。
• SAGE実装により、最大8交差を持つすべての3バターン結び目について、バターンの可逆性を効率的にテストでき、本手法の実用的有用性が裏付けられた。