[论文解读] Representation theory and an isomorphism theorem for the Framisation of the Temperley-Lieb algebra

Maria Chlouveraki, Guillaume Pouchin|arXiv (Cornell University)|Mar 11, 2015

Algebraic structures and combinatorial models参考文献 15被引用 8

一句话总结

本文建立了Temperley–Lieb代数的Framisation的完整同构定理，证明其同构于经典Temperley–Lieb代数与Hecke代数张量积上的矩阵代数的直和。作者分类了其不可约表示，推导出涉及Catalan数的维数公式，并利用表示理论和$\mathbb{C}[q,q^{-1}]$上的代数分解技术显式构造了基。

ABSTRACT

In this paper, we describe the irreducible representations and give a dimension formula for the Framisation of the Temperley-Lieb algebra. We then prove that the Framisation of the Temperley-Lieb algebra is isomorphic to a direct sum of matrix algebras over tensor products of classical Temperley-Lieb algebras. This allows us to construct a basis for it. We also study in a similar way the Complex Reflection Temperley-Lieb algebra.

研究动机与目标

• 完全分类Temperley–Lieb代数的Framisation的不可约表示。
• 使用表示理论技术计算Framisation代数的维数。
• 建立Framisation代数与经典Temperley–Lieb代数和Hecke代数张量积上矩阵代数直和之间的代数同构。
• 将同构结果推广至复反射Temperley–Lieb代数，并为其构造基。
• 在早先文献中已知的更小环上改进同构，优于先前结果。

提出的方法

• 利用Yokonuma–Hecke代数的表示理论，识别哪些不可约表示能下降到Framisation商代数。
• 利用Yokonuma–Hecke代数作为Iwahori–Hecke代数上矩阵代数直和的已知结构，分解Framisation代数。
• 通过投影映射和代数同态，显式构造从Framisation代数到$\mathrm{TL}_{\mu_1}(q) \otimes \mathcal{H}^{(\mu_2,\ldots,\mu_d)}(q)$上矩阵代数直和的同构$\overline{\psi}_{\mu}$。
• 通过分析同态复合的核，并验证某些生成元在商映射下映射为零，证明同构的满射性与单射性。
• 利用逆映射$\overline{\phi}_{\mu}$，通过从矩阵代数的标准基拉回，构造Framisation代数的基。
• 将同构应用于复反射Temperley–Lieb代数，将结果扩展至具有等价纽结理论不变量的更大代数。

实验结果

研究问题

• RQ1 Yokonuma–Hecke代数的哪些不可约表示能提升到Temperley–Lieb代数的Framisation？
• RQ2 Framisation代数的维数是多少？能否以Catalan数的组合形式表达？
• RQ3 Framisation代数是否同构于经典Temperley–Lieb代数与Hecke代数张量积上矩阵代数的直和？
• RQ4 该同构能否在早先文献中已知的更小环上定义？
• RQ5 复反射Temperley–Lieb代数的显式基是什么？它与Framisation代数有何关系？

主要发现

• Framisation代数同构于经典Temperley–Lieb代数与Hecke代数张量积上矩阵代数的直和，如定理5.9所述。
• Framisation代数的维数由公式$\sum_{\mu \in \mathrm{Comp}_d(n)} m_\mu^2 C_{\mu_1} \mu_2! \cdots \mu_d!$给出，其中$C_{\mu_1}$为第$\mu_1$个Catalan数。
• Framisation代数的基显式构造为$\{\overline{\phi}_\mu(b_1 b_2 \cdots b_d M_{k,l})\}$，其中$b_1$遍历$\mathrm{TL}_{\mu_1}(q)$的基，$b_i$遍历$i \geq 2$时$\mathcal{H}_{\mu_i}(q)$的基。
• 同构$\overline{\psi}_\mu$在更小的环$\mathbb{C}[q,q^{-1}]$上定义，优于先前要求更大参数环的结果。
• 复反射Temperley–Lieb代数$\mathrm{CTL}_{d,n}(q)$同构于相同的矩阵代数直和，其基通过相同构造显式描述。
• 该同构既是满射也是单射，其逆映射为$\overline{\phi}_\mu$，确认了代数同构是$\mathbb{C}[q,q^{-1}]$-模的等价关系。