[论文解读] An attractive basis for the $q-$Onsager algebra

Pascal Baseilhac, S. Belliard|arXiv (Cornell University)|Apr 10, 2017

Algebraic structures and combinatorial models参考文献 16被引用 14

一句话总结

本文提出了一种新的庞加莱-伯克霍夫-维尔维特（PBW）基，用于 $q$-Onsager 代数，该基由无限维代数 $\mathcal{A}_q$ 的商代数导出，并猜想该基为 $q$-Onsager 代数的第二种表示形式。该构造基于从商代数 $\tilde{\mathcal{A}}_q^{\{\delta\}}$ 到 $q$-Onsager 代数的同态，通过显式递推公式表明所有生成元均为 $\mathcal{W}_0, \mathcal{W}_1$ 的多项式，且与已知的“之字形”基的比较支持了同构猜想。

ABSTRACT

Let $\ extsf{A},\ extsf{A}^*$ be the fundamental generators of the $q-$Onsager algebra. A linear basis for the $q-$Onsager algebra is known as the `zig-zag' basis [IT09]. In this letter, an attractive basis for the $q-$Onsager algebra is conjectured, based on the relation between the $q-$Onsager algebra and a quotient of the infinite dimensional algebra ${\\cal A}_q$ introduced in [BK05].

研究动机与目标

• 通过无限维代数 $\mathcal{A}_q$ 的商代数，建立 $q$-Onsager 代数的第二种新表示形式。
• 为商代数 $\mathcal{A}_q^{\{\delta\}}$ 构造一个庞加莱-伯克霍夫-维尔维特（PBW）基。
• 猜想代数 $\mathcal{A}_q^{\{\delta\}}$ 与 $q$-Onsager 代数同构，从而提供一种新的结构框架。
• 将新基与已知的“之字形”基进行比较，通过低次项的显式变换矩阵支持同构猜想。

提出的方法

• 通过生成元 $\{\mathcal{W}_{-k}, \mathcal{W}_{k+1}, \mathcal{G}_{k+1}, \tilde{\mathcal{G}}_{k+1}\}$ 及基于形式幂级数 $\mathcal{W}_{\pm}(u)$ 和 $\mathcal{G}_{\pm}(u)$ 的关系，定义无限维代数 $\mathcal{A}_q$。
• 通过引入涉及 $\delta_1, \delta_2, \delta_3$ 和 $\rho$ 的中心关系，定义商代数 $\tilde{\mathcal{A}}_q^{\{\delta\}}$，其来源于 $q$-Onsager 代数的结构。
• 建立递推公式（命题 3.1），表明 $\tilde{\mathcal{A}}_q^{\{\delta\}}$ 的所有生成元均为 $\mathcal{W}_0$ 和 $\mathcal{W}_1$ 的多项式，从而实现基的系统构造。
• 提出 $\mathcal{A}_q^{\{\delta\}}$ 的 PBW 型基（猜想 1），其中单项式按 $\mathcal{W}_0, \mathcal{W}_1, \mathcal{G}_1, \dots$ 的次数与词典序排列。
• 通过 $\tilde{\mathcal{A}}_q^{\{\delta\}}$ 到 $q$-Onsager 代数的同态（命题 4.1），将新基与已知的“之字形”基关联起来。
• 在附录 B 中进行显式矩阵计算，将新 $WG$-基与之字形基在总次数至 4 的范围内进行比较，显示一致的线性变换。

实验结果

研究问题

• RQ1 能否通过 $\mathcal{A}_q$ 的商代数构造出 $q$-Onsager 代数的第二种新表示形式？
• RQ2 所提出的 $\mathcal{A}_q^{\{\delta\}}$ 的 PBW 基是否线性无关且张成整个空间，从而构成有效基？
• RQ3 新 $WG$-基与已确立的“之字形”基之间的变换矩阵在总次数至 4 范围内是否表现出一致结构，从而支持同构猜想？
• RQ4 能否通过递推关系将 $\tilde{\mathcal{A}}_q^{\{\delta\}}$ 的生成元完全表示为 $\mathcal{W}_0$ 和 $\mathcal{W}_1$ 的多项式？
• RQ5 代数 $\mathcal{A}_q^{\{\delta\}}$ 是否与 $q$-Onsager 代数同构，如同态与基比较所暗示的那样？

主要发现

• 通过递推公式（命题 3.1）表明，商代数 $\tilde{\mathcal{A}}_q^{\{\delta\}}$ 的所有生成元均为 $\mathcal{W}_0$ 和 $\mathcal{W}_1$ 的多项式，且给出了 $\mathcal{W}_{-1}, \mathcal{W}_2, \mathcal{G}_1, \mathcal{G}_2, \mathcal{G}_3$ 关于 $\mathcal{W}_0, \mathcal{W}_1, \delta_1, \delta_2, \delta_3, \rho$ 的显式表达式。
• 为 $\mathcal{A}_q^{\{\delta\}}$ 猜想了一种庞加莱-伯克霍夫-维尔维特（PBW）基（猜想 1），其中单项式按 $\mathcal{W}_0, \mathcal{W}_1, \mathcal{G}_1, \dots$ 的次数与词典序排列，暗示了良好的有序基结构。
• 在总次数至 4 的范围内，显式计算了新 $WG$-基与“之字形”基之间的变换矩阵（附录 B），显示了具有非零系数的一致线性组合。
• 建立了从 $\tilde{\mathcal{A}}_q^{\{\delta\}}$ 到 $q$-Onsager 代数的同态（命题 4.1），确认新基能一致地映射到 $q$-Onsager 代数的关系。
• 猜想得到支持，因为新基在总次数至 4 范围内张成的空间与“之字形”基相同，且在所提议的同构下结构常数一致。
• 猜想 $\mathcal{A}_q^{\{\delta\}}$ 与 $q$-Onsager 代数同构（猜想 2），从而通过 $\mathcal{A}_q$ 的商代数为 $q$-Onsager 代数提供了新的第二种表示形式。