[論文レビュー] Reducibility of the Cohen-Wales representation of the Artin group of type $D_n$

Claire Levaillant|arXiv (Cornell University)|Mar 29, 2011

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

ひとこと要約

本稿は、$D_n$ 型の CGW 代数のねじれ理論的線形表現を構成することにより、アーティン群 $D_n$ の Cohen–Wales 表現の還元可能性基準を確立する。Mathematica を用いた計算支援手法により、パラメータ $t$ と $r$ が $t \in \{r^{4n-4}, r^{2n-4}, -r^{2n-2}, 1, r^4, -1\}$ を満たす場合に限り、この表現が還元可能になることが証明された。$r$ に対する所定の制約のもとで、この結果は、この表現の忠実性と分解に関する重要な構造的問題を解決する。

ABSTRACT

Using knot theory, we construct a linear representation of the CGW algebra of type $D_n$. This representation has degree $n^2-n$, the number of positive roots of a root system of type $D_n$. We show that the representation is generically irreducible, but that when the parameters of the algebra are related in a certain way, it becomes reducible. As a representation of the Artin group of type $D_n$, this representation is equivalent to the faithful linear representation of Cohen-Wales. We give a reducibility criterion for this representation as well as a conjecture on the semisimplicity of the CGW algebra of type $D_n$. Our proof is computer-assisted using Mathematica.

研究の動機と目的

• アーティン群 $D_n$ の Cohen–Wales 表現がいつ還元可能になるかを特定すること。
• ねじれ理論的手法を用いて $D_n$ 型の CGW 代数の線形表現を構成すること。
• パラメータ $t$ と $r$ の観点から、Cohen–Wales 表現の明確な還元可能性基準を確立すること。
• CGW 代数 $D_n$ の半単純性を調査し、表現の還元可能性に基づいた予想を提示すること。

提案手法

• ねじれ理論の技法を用いて、$D_n$ 型の CGW 代数の線形表現を構成する。
• 表現空間を $D_n$ ルート系の正ルート $n^2 - n$ 個によってインデックス付けされたベクトルの張る空間として定義する。
• Mathematica を用いた計算支援アプローチにより、既約性および還元可能性の条件を検証する。
• 特定のパラメータ変換の下で、構成された表現と Cohen–Wales 表現が同値であることを関連付ける。
• Hecke 代数 $\mathcal{H}(D_n)$ の Specht モジュールと分岐則を用いて、表現空間の分解を分析する。
• 文献[5] の結果を応用し、構成された表現と元の Cohen–Wales 表現との同値性を確認する。

実験結果

リサーチクエスチョン

• RQ1 パラメータ $t$ と $r$ がどのような条件下で、アーティン群 $D_n$ の Cohen–Wales 表現が還元可能になるか。
• RQ2 ねじれ理論的構成によって、$D_n$ 型の CGW 代数の忠実な線形表現を構成できるか。
• RQ3 $t$ と $r$ の一般値に対して Cohen–Wales 表現は既約であるか。そうでない場合、例外は何か。
• RQ4 表現の還元可能性が、$D_n$ 型の CGW 代数の非半単純性を示唆するか。
• RQ5 パrameter $t$ が例外的集合にあるとき、Cohen–Wales 表現における不変部分空間の正確な構造は何か。

主な発見

• アーティン群 $D_n$ の Cohen–Wales 表現は一般に既約であるが、$r$ に対する所定の制約のもとで $t \in \{r^{4n-4}, r^{2n-4}, -r^{2n-2}, 1, r^4, -1\}$ のとき、還元可能になる。
• $D_n$ 型の CGW 代数の構成された表現は、アーティン群としての Cohen–Wales 表現と同値である。
• 指定されたパラメータ値に対して表現が還元可能であることが示され、Mathematica を用いた計算支援による確認がなされた。
• Specht モジュール $S^{(0),(4,3)}$ 及びその双対モジュールは、Cohen–Wales 空間 $V_7$ の部分モジュールとして現れない。このことは、還元可能性基準を支持する。
• $V_n$ の $t_{ij}$ ベクトルによって張られる $\frac{n(n-1)}{2}$ 次元部分空間は既約であり、これが主な還元可能性結果の根幹をなす。
• パラメータ $t$ が例外的集合にあるとき、CGW 代数 $D_n$ は半単純ではない。これは、表現が完全に可約でないためである。