[论文解读] The $q$-tetrahedron algebra and its finite dimensional irreducible modules

Tatsuro Ito, Paul Terwilliger|ArXiv.org|Feb 9, 2006

Algebraic structures and combinatorial models参考文献 23被引用 6

一句话总结

本文引入了量子四面体代数 $\boxtimes_q$，它是经典四面体代数 $\boxtimes$ 的量子版本，并建立了其与 $U_q(\mathfrak{sl}_2)$、$U_q(\mathfrak{sl}_2)$ 的环代数以及 $U_q(\widehat{\mathfrak{sl}}_2)$ 的正部分之间的结构联系。关键结果是在 $q$ 不是单位根且基域为代数闭域的假设下，有限维不可约 $\boxtimes_q$-模的类型 1 与非零非Nil有限维不可约 ${\mathcal{A}}_q$-模的类型 $(1,1)$ 之间存在双射对应关系。

ABSTRACT

Recently B. Hartwig and the second author found a presentation for the three-point $sl_2$ loop algebra via generators and relations. To obtain this presentation they defined an algebra $\boxtimes$ by generators and relations, and displayed an isomorphism from $\boxtimes$ to the three-point $sl_2$ loop algebra. We introduce a quantum analog of $\boxtimes$ which we call $\boxtimes_q$. We define $\boxtimes_q$ via generators and relations. We show how $\boxtimes_q$ is related to the quantum group $U_q(sl_2)$, the $U_q(sl_2)$ loop algebra, and the positive part of $U_q(\hat{sl_2})$. We describe the finite dimensional irreducible $\boxtimes_q$-modules under the assumption that $q$ is not a root of 1, and the underlying field is algebraically closed.

研究动机与目标

• 通过生成元与关系定义 $\boxtimes_q$，即经典四面体代数 $\boxtimes$ 的量子版本。
• 阐明 $\boxtimes_q$ 与关键量子代数之间的结构关系：$U_q(\mathfrak{sl}_2)$、$U_q(\mathfrak{sl}_2)$ 的环代数，以及 $U_q(\widehat{\mathfrak{sl}}_2)$ 的正部分。
• 在 $q$ 不是单位根且基域为代数闭域的条件下，对有限维不可约 $\boxtimes_q$-模进行完全分类。
• 建立 $\boxtimes_q$-模的类型 1 与非零非Nil ${\mathcal{A}}_q$-模的类型 $(1,1)$ 之间的精确对应关系。

提出的方法

• 通过对应于四面体六条边的六个生成元来定义 $\boxtimes_q$，其关系在量子设定下推广了经典 $\boxtimes$ 代数的关系。
• 建立从 $U_q(\mathfrak{sl}_2)$ 到 $\boxtimes_q$ 的子代数的同态，推广了经典的 $\mathfrak{sl}_2$-嵌入。
• 证明 $\boxtimes_q$ 映射到 $U_q(\mathfrak{sl}_2)$ 的环代数，与经典情形一致。
• 通过量子版的 Onsager 代数嵌入，将 $\boxtimes_q$ 与代数 ${\mathcal{A}}_q$（即 $U_q(\widehat{\mathfrak{sl}}_2)$ 的正部分）联系起来。
• 利用两个生成元 $x$ 和 $y$ 的作用，在有限维不可约 ${\mathcal{A}}_q$-模的类型 $(1,1)$ 上唯一构造出一个 $\boxtimes_q$-模结构。
• 证明该构造在有限维不可约 $\boxtimes_q$-模的类型 1 与非零非Nil有限维不可约 ${\mathcal{A}}_q$-模的类型 $(1,1)$ 的同构类之间产生双射。

实验结果

研究问题

• RQ1 如何通过量子形变将经典四面体代数 $\boxtimes$ 推广为量子版本 $\boxtimes_q$？
• RQ2 $\boxtimes_q$ 与 $U_q(\mathfrak{sl}_2)$、$U_q(\mathfrak{sl}_2)$ 的环代数以及 ${\mathcal{A}}_q$ 之间的结构关系是什么？
• RQ3 当 $q$ 不是单位根且基域为代数闭域时，有限维不可约 $\boxtimes_q$-模的完整分类是什么？
• RQ4 是否存在 $\boxtimes_q$-模的类型 1 与非零非Nil ${\mathcal{A}}_q$-模的类型 $(1,1)$ 之间的典范对应关系？
• RQ5 反自同态 $\omega$ 在定义 $\boxtimes_q$ 的对偶模与模扭变中起什么作用？

主要发现

• 量子四面体代数 $\boxtimes_q$ 是通过推广经典 $\boxtimes$ 代数到量子设定下的生成元与关系来定义的。
• 存在从 $U_q(\mathfrak{sl}_2)$ 到 $\boxtimes_q$ 的子代数的自然同态，推广了经典的 $\mathfrak{sl}_2$-嵌入。
• 代数 $\boxtimes_q$ 映射到 $U_q(\mathfrak{sl}_2)$ 的环代数，扩展了经典关系。
• 代数 $\boxtimes_q$ 与 ${\mathcal{A}}_q$（即 $U_q(\widehat{\mathfrak{sl}}_2)$ 的正部分）的关系，类似于经典情形中 Onsager 代数嵌入到 $\boxtimes$ 的方式，且 $\boxtimes_q$ 包含 ${\mathcal{A}}_q$ 作为子代数。
• 有限维不可约 $\boxtimes_q$-模的类型 1 与非零非Nil有限维不可约 ${\mathcal{A}}_q$-模的类型 $(1,1)$ 的同构类之间存在典范双射。
• 对每个有限维不可约 ${\mathcal{A}}_q$-模的类型 $(1,1)$，在相同的底层向量空间上存在唯一的 $\boxtimes_q$-模结构，使得生成元 $x_{01}$ 和 $x_{23}$ 作为 ${\mathcal{A}}_q$ 的两个生成元作用，且该结构是不可约的且为类型 1。