[论文解读] An algebra involving braids and ties

Francesca Aicardi, Jesús Juyumaya|arXiv (Cornell University)|Sep 12, 2017

Geometric and Algebraic Topology参考文献 4被引用 18

一句话总结

本文引入并研究了代数 ${\mathcal{E}}_n(u)$，这是一个在 ${\mathbb{C}}(u)$ 上的有限维代数，由类辫子的生成元 $T_i$ 和 tie 生成元 $E_i$ 生成，其关系结合了辫子群关系与幂等关系。主要贡献是完整分类了 ${\mathcal{E}}_3(1)$ 的表示理论，表明其为半单代数，并分解为 $4M_1(\mathbb{C}) \oplus 2M_2(\mathbb{C}) \oplus 2M_3(\mathbb{C})$，总维数为 30，方法包括图解解释和到超八面体群代数的同态映射。

ABSTRACT

In this note we study a family of algebras with one parameter defined by generators and relations. The set of generators contains the generators of the usual braids algebra, and another set of generators which is interpreted as ties between consecutive strings. We also study the representations theory of the algebra when the parameter is specialized to 1.

研究动机与目标

• 定义并研究一种新的代数 ${\mathcal{E}}_n(u)$，统一辫子群生成元与 tie 生成元，扩展 Hecke 代数结构。
• 为 ${\mathcal{E}}_n(u)$ 提供一个简化、最小化的定义关系集，去除早期表述中多余的關係。
• 分析当参数 $u$ 取值为 1 时，${\mathcal{E}}_n(u)$ 的表示理论，特别是对较小的 $n$ 的情况。
• 通过图解方式解释生成元为辫子与 tie，促进对线性基与关系的系统研究。
• 证明 ${\mathcal{E}}_3(1)$ 的半单性及其在 $\mathbb{C}$ 上的矩阵代数的显式分解。

提出的方法

• 代数 ${\mathcal{E}}_n(u)$ 通过生成元 $T_1, \dots, T_{n-1}$ 和 $E_1, \dots, E_{n-1}$ 定义，其关系结合了辫子关系、$E_i$ 的幂等性以及混合的辫子-tie 关系。
• 引入一种图解模型，其中 $T_i$ 表示交叉，$E_i$ 表示相邻辫子之间的 tie，从而实现对关系的可视化推理。
• 使用归纳法证明 ${\mathcal{E}}_n(u)$ 为有限维代数，并通过递归构造线性基：$U_i = \{1\} \cup T_iU_{i-1} \cup E_iU_{i-1} \cup T_iE_iU_{i-1}$。
• 通过构造到超八面体群代数的同态映射，研究 $u=1$ 时的表示理论，使用映射 $\psi$ 将元素映射到带符号的排列并赋予幂等作用。
• 通过应用评估映射 $\varphi_0$ 并分析在超八面体群代数中的系数，证明基元素的线性无关性。
• 通过证明维数为 30 并分析 $\psi$ 的像的结构，推导出 ${\mathcal{E}}_3(1)$ 的分解。

实验结果

研究问题

• RQ1 ${\mathcal{E}}_n(u)$ 的最小定义关系集是什么，能够统一辫子与 tie？
• RQ2 当参数 $u$ 取值为 1 时，${\mathcal{E}}_n(u)$ 的表示理论行为如何？
• RQ3 ${\mathcal{E}}_3(1)$ 是否为半单代数？若是，其在 $\mathbb{C}$ 上的完全分解为何？
• RQ4 将生成元图解为辫子与 tie 是否能提供系统化的方法来分析代数的结构？
• RQ5 ${\mathcal{E}}_3(1)$ 的维数是多少？其与超八面体群表示理论的关系如何？

主要发现

• ${\mathcal{E}}_n(u)$ 为有限维代数，其基通过递归使用由 $T_i$、$E_i$ 和 $T_iE_i$ 作用于前一阶段生成元所定义的集合 $U_i$ 构造。
• ${\mathcal{E}}_n(u)$ 的定义关系被简化为最小系统，去除了原始表述中两个多余的關係。
• 当 $n=2$ 时，${\mathcal{E}}_2(u)$ 的基由四个元素组成：$\{1, T_1, E_1, T_1E_1\}$。
• 当 $n=3$ 时，代数 ${\mathcal{E}}_3(u)$ 由 15 个形如 $L$、$LE_1$、$LE_2$、$LE_1E_2$、$LE_2T_1$ 的元素线性张成，其中 $L$ 取遍对称群 $\mathcal{S}_3$ 的 5 个元素。
• ${\mathcal{E}}_3(1)$ 为半单代数，其分解为 $4M_1(\mathbb{C}) \oplus 2M_2(\mathbb{C}) \oplus 2M_3(\mathbb{C})$，总维数为 30。
• 从 ${\mathcal{E}}_3(1)$ 到超八面体群代数的同态映射 $\psi$ 是单射，确认了所构造基的线性无关性。