[論文レビュー] Finite Linear Quotients of $\B_3$ of Low Dimension

Eric C. Rowell, Imre Tuba|ArXiv.org|Jun 1, 2008

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

ひとこと要約

この論文は、braid群B₃のd次元非可約表現の像が有限か無限かを特定する部分的なアルゴリズムを提示する。これは、1つの生成子の固有値にのみ依存する。有限線形群の分類定理とGAPを用いた計算群論を用いて、特に固有値の射影的位数と単位根構造に注目し、像が有限または無限であるための明確な条件を確立する。d ≤ 5の場合、有限個の例外を除き、すべてのケースをカバーする。

ABSTRACT

We study the problem of deciding whether or not the image of an irreducible representation of the braid group $\B_3$ of degree $\leq 5$ has finite image if we are only given the eigenvalues of a generator. We provide a partial algorithm that determines when the images are finite or infinite in all but finitely many cases, and use these results to study examples coming from quantum groups. Our technique uses two classification theorems and the computational group theory package GAP.

研究の動機と目的

• 1つの生成子の固有値しか与えられていない場合に、B₃のd次元非可約表現の像が有限か無限かを特定すること。
• d ≤ 5の低次元において、有限個の例外を除き、像の有限性を決定する実用的なアルゴリズムを開発すること。
• 量子群やリボン圏から生じる表現に結果を適用し、特に位相的量子計算の文脈で考察すること。
• スペクトルデータと群論的制約を分析することで、B₃の有限線形商群を分類すること。

提案手法

• Tuba-Wenzlの分類を活用し、固有値スペクトルと決定根γにより、非可約B₃表現を同値性を除いて一意に特定する。
• 低次元の有限原始的線形群の分類定理を適用し、像の有限性に必要な条件を導出する。
• σ₁の固有値の射影的位数po(A)を用いて、特に固有値が単位根である場合に有限像と無限像を区別する。
• GAPを用いた計算群論を活用し、特にd=4およびd=5の場合に、有限性または無限性を検証する。
• 非可約かつ原始的・非原始的ケースを別々に分析し、スペクトル構造（例：±r, ±s または単位根）を用いて有限性の基準を導出する。
• ブレード関係σ₁σ₂σ₁ = σ₂σ₁σ₂とスペクトル制約を用いて、可能な群像を制約する。

実験結果

リサーチクエスチョン

• RQ1 σ₁の固有値にどのような条件が満たされると、d次元非可約B₃表現の像が有限または無限になるか？
• RQ2 固有値が単位根である場合を含め、1つの生成子のスペクトルからだけでも、像の有限性を特定できるか？
• RQ3 低次元におけるB₃表現の像の有限性を決定する上で、射影的位数po(A)はどのような役割を果たすか？
• RQ4 非可約かつ原始的表現と非可約で非原始的表現は、スペクトル的および群論的性質においてどのように異なるか？
• RQ5 得られた結果を量子群の表現に適用することで、位相的量子計算における普遍性を特定できるか？

主な発見

• σ₁の固有値のいずれかが単位根でない、または重複固有値が存在する場合、像Gは無限大である。
• 射影的位数po(A) ≤ 5であれば、Gは有限である。
• 非原始的表現の場合、スペクトルが{±χ, α} または χ{1, ω, ω²} ∪ {α}（ωは原始的3乗単位根）である場合にGは有限である。それ以外の場合、u = r/s が7,8,9 ∪ [11, ∞) の位数の単位根であれば、Gは無限大である。
• 原始的d=2表現では、Gは常に無限大である。
• d=3でpo(A) ≥ 8の場合、Gは無限大である。po(A) = 7で、スペクトルが{1, e^{2πi/7}, e^{2kπi/7}}とガロア共役である場合、kが偶数であればGは無限大だが、kが奇数であればGは有限である。
• d=4では、po(A) ∉ {6, ..., 10, 12, 15, 20, 24} であればGは無限大である。d=5では、po(A) ∈ {7,8} ∪ [13, ∞) であればGは無限大である。