[论文解读] 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$ 的 Artin 群的 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$ 的 Artin 群的 Cohen–Wales 表示在何种参数条件下变为可约。
• 利用纽结理论方法，构造类型 $D_n$ 的 CGW 代数的线性表示。
• 基于参数 $t$ 和 $r$，建立 Cohen–Wales 表示的精确约化性判别准则。
• 研究类型 $D_n$ 的 CGW 代数的半单性，并基于表示的可约性提出一个猜想。

提出的方法

• 利用纽结理论技术，构造类型 $D_n$ 的 CGW 代数的线性表示。
• 将表示空间定义为由 $D_n$ 根系的 $n^2 - n$ 个正根索引的向量张成。
• 采用 Mathematica 中的计算机辅助方法，验证不可约性与可约性条件。
• 通过特定参数变换下的等价性，将所构造的表示与 Cohen–Wales 表示关联。
• 利用 Specht 模与 Hecke 代数 $\mathcal{H}(D_n)$ 的分支法则，分析表示空间的分解。
• 应用文献 [5] 的结果，确认所构造表示与原始 Cohen–Wales 表示的等价性。

实验结果

研究问题

• RQ1 在参数 $t$ 和 $r$ 满足何种条件时，型 $D_n$ 的 Artin 群的 Cohen–Wales 表示变为可约？
• RQ2 纽结理论构造能否产生类型 $D_n$ 的 CGW 代数的忠实线性表示？
• RQ3 Cohen–Wales 表示在 $t$ 和 $r$ 的一般取值下是否不可约？若否，其例外情况为何？
• RQ4 表示的可约性是否意味着类型 $D_n$ 的 CGW 代数非半单？
• RQ5 当 $t$ 属于例外集合时，Cohen–Wales 表示中的不变子空间的精确结构是什么？

主要发现

• 型 $D_n$ 的 Artin 群的 Cohen–Wales 表示在一般情况下不可约，但当 $t \in \{r^{4n-4}, r^{2n-4}, -r^{2n-2}, 1, r^4, -1\}$ 时变为可约，前提是 $r$ 满足给定约束。
• 所构造的类型 $D_n$ 的 CGW 代数的表示作为 Artin 群的表示，与 Cohen–Wales 表示等价。
• 该表示在指定参数值下被证明为可约，且该可约性通过 Mathematica 中的计算机辅助计算得到确认。
• Specht 模 $S^{(0),(4,3)}$ 及其共轭在 Cohen–Wales 空间 $V_7$ 中不作为子模出现，这支持了约化性判别准则。
• 由 $t_{ij}$ 向量张成的 $V_n$ 的 $\frac{n(n-1)}{2}$-维子空间是不可约的，这对主要的约化性结果至关重要。
• 当 $t$ 属于例外集合时，类型 $D_n$ 的 CGW 代数非半单，因为该表示无法完全可约。