[论文解读] Dual polar graphs, the quantum algebra U_q(sl_2), and Leonard systems of dual q-Krawtchouk type

Chalermpong Worawannotai|arXiv (Cornell University)|May 10, 2012

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

一句话总结

本文建立了对偶极图、量子群 $U_q(\mathfrak{sl}_2)$ 与对偶 $q$-Krawtchouk 型 Leonard 系统之间的深层代数联系。结果表明，对偶极图的子构成代数 $T(x)$ 在不可约模上诱导出对偶 $q$-Krawtchouk 型 Leonard 系统，且该图标准模上存在两种不同的 $U_q(\mathfrak{sl}_2)$-模结构，均由这些系统导出，并给出了 $T(x)$ 的生成元与 $U_q(\mathfrak{sl}_2)$ 的对称生成元之间关系的显式公式。

ABSTRACT

In this paper we consider how the following three objects are related: (i) the dual polar graphs; (ii) the quantum algebra U_q(sl_2); (iii) the Leonard systems of dual q-Krawtchouk type. For convenience we first describe how (ii) and (iii) are related. For a given Leonard system of dual q-Krawtchouk type, we obtain two U_q(sl_2)-module structures on its underlying vector space. We now describe how (i) and (iii) are related. Let Γdenote a dual polar graph. Fix a vertex x of Γand let T = T(x) denote the corresponding subconstituent algebra. By definition T is generated by the adjacency matrix A of Γand a certain diagonal matrix A* = A*(x) called the dual adjacency matrix that corresponds to x. By construction the algebra T is semisimple. We show that for each irreducible T-module W the restrictions of A and A* to W induce a Leonard system of dual q-Krawtchouk type. We now describe how (i) and (ii) are related. We obtain two U_q(sl_2)-module structures on the standard module of Γ. We describe how these two U_q(sl_2)-module structures are related. Each of these U_q(sl_2)-module structures induces a $\mathbb{C}$-algebra homomorphism U_q(sl_2) ightarrow T. We show that in each case T is generated by the image together with the center of T. Using the combinatorics of Γwe obtain a generating set L, F, R, K of T along with some attractive relations satisfied by these generators.

研究动机与目标

• 阐明对偶极图、量子代数 $U_q(\mathfrak{sl}_2)$ 与对偶 $q$-Krawtchouk 型 Leonard 系统之间的代数关系。
• 证明对偶极图的子构成代数 $T(x)$ 的不可约模上，$A$ 与 $A^*$ 的限制诱导出对偶 $q$-Krawtchouk 型 Leonard 系统。
• 从图的组合结构出发，构造对偶极图标准模上两种不同的 $U_q(\mathfrak{sl}_2)$-模结构。
• 将子构成代数 $T(x)$ 的生成元 $L, F, R, K$ 用 $U_q(\mathfrak{sl}_2)$ 的对称生成元 $x, y, z$ 表示出来。
• 通过涉及中心元素 $\Upsilon$ 与 $\Psi$ 的自同构，精确描述两个 $U_q(\mathfrak{sl}_2)$-模结构之间的关系。

提出的方法

• 通过特征值序列 $\theta_i = h + \kappa q^{d-2i} + \upsilon q^{2i-d}$ 与 $\theta_i^* = h^* + \kappa^* q^{d-2i}$ 定义对偶 $q$-Krawtchouk 型 Leonard 系统。
• 利用定理 1.4 与 1.5，在向量空间 $V$ 上通过 $A = h + \epsilon\kappa x + \epsilon\upsilon y$ 与 $A^* = h^* + \epsilon\kappa^* z$（或交换 $x$ 与 $y$）构造两个 $U_q(\mathfrak{sl}_2)$-模结构。
• 将对偶极图 $\Gamma$ 定义为在交维数 $D-1$ 下的最大迷向子空间构成的图，其邻接矩阵为 $A$，对偶邻接矩阵为 $A^*$。
• 将子构成代数 $T = T(x)$ 定义为由 $A$ 与 $A^*$ 生成的代数，并证明其为半单代数。
• 证明对每个不可约 $T$-模 $W$，$A$ 与 $A^*$ 在 $W$ 上的限制构成对偶 $q$-Krawtchouk 型 Leonard 系统。
• 利用中心元素 $\Upsilon, \Psi$，在引理 30.1 与 30.2 中，将 $T$ 的生成元 $L, F, R, K$ 用 $U_q(\mathfrak{sl}_2)$ 的对称生成元 $x, y, z$ 表示出来。

实验结果

研究问题

• RQ1 对偶极图如何通过其子构成代数与对偶 $q$-Krawtchouk 型 Leonard 系统相关联？
• RQ2 如何从对偶极图的标准模上构造出两种不同的 $U_q(\mathfrak{sl}_2)$-模结构？
• RQ3 同一模上两个 $U_q(\mathfrak{sl}_2)$-模结构之间存在何种精确关系？
• RQ4 如何将子构成代数 $T(x)$ 的生成元 $L, F, R, K$ 用 $U_q(\mathfrak{sl}_2)$ 的对称生成元 $x, y, z$ 表示？
• RQ5 $T(x)$ 的中心元素 $\Upsilon$ 与 $\Psi$ 如何与 $U_q(\mathfrak{sl}_2)$-模作用相关联？

主要发现

• 对任意不可约 $T(x)$-模 $W$，$A$ 与 $A^*$ 在 $W$ 上的限制诱导出对偶 $q$-Krawtchouk 型 Leonard 系统。
• 在对偶极图的标准模上存在两种不同的 $U_q(\mathfrak{sl}_2)$-模结构，分别对应于定理 1.4 与 1.5 中 $\epsilon \in \{1, -1\}$ 的两种选择。
• 子构成代数 $T(x)$ 的生成元 $L, F, R, K$ 通过引理 30.1 与 30.2 中的显式公式，用 $x, y, z$ 与中心元素 $\Upsilon, \Psi$ 表示出来。
• 两个 $U_q(\mathfrak{sl}_2)$-模结构通过一个扭变关系联系：一个结构中 $e$ 的作用对应于另一个结构中 $-q^{-2e}\Upsilon^2\Psi^{-2}e$ 的作用，$f$ 的作用亦同理。
• 子构成代数 $T(x)$ 由同态 $U_q(\mathfrak{sl}_2) \to T(x)$ 的像与 $T(x)$ 的中心共同生成。
• 矩阵 $C_0$ 在不可约 $T$-模 $W$（端点为 $r$，对偶端点为 $t$，直径为 $d$）上的作用为 $\chi_0(r,t,d)I$，且该作用在命题 29.2 中通过 $\Upsilon$ 与 $\Psi$ 表达出来。