[论文解读] Tridiagonal pairs of $q$-Racah type, the double lowering operator $\psi$, and the quantum algebra $U_q(\mathfrak{sl}_2)$

Sarah Bockting-Conrad|arXiv (Cornell University)|Jul 28, 2013

Algebraic structures and combinatorial models参考文献 12被引用 3

一句话总结

本文通过引入一个双重下降算子 $\psi$，建立了 $q$-Racah 型三对角对与量子代数 $U_q(\mathfrak{sl}_2)$ 之间的新联系。利用 $\psi$、$K$ 和 $B$，作者在基向量空间上构造了两个同构的 $U_q(\mathfrak{sl}_2)$-模结构，证明了卡西米尔元在两者中均作用为数量算子，并通过 $\psi$、$K$ 和 $B$ 的有理表达式推导出 $K$ 与 $B$ 之间的二次关系。其核心贡献在于，通过 $\psi$ 建立了一个统一的代数框架，将 $q$-Racah 三对角对与量子群联系起来。

ABSTRACT

Let \K denote an algebraically closed field and let V denote a vector space over \K with finite positive dimension. We consider an ordered pair of linear transformations A:V o V,A*:V o V that satisfy the following conditions:(i)Each of A,A* is diagonalizable;(ii)there exists an ordering {V_i}_{i=0}^d of the eigenspaces of A such that A*V_i\subseteq V_{i-1}+V_i+V_{i+1} for 0\leq i\leq d, where V_{-1}=0 and V_{d+1}=0;(iii)there exists an ordering {V*_i}_{i=0}^\delta of the eigenspaces of A* such that A V*_i\subseteq V*_{i-1}+V*_i+V*_{i+1} for 0\leq i\leq\delta, where V*_{-1}=0 and V*_{\delta+1}=0;(iv)there does not exist a subspace W of V such that AW\subseteq W,A*W\subseteq W,W eq 0,W eq V. We call such a pair a tridiagonal pair on V. It is known that d=\delta; to avoid trivialities assume d\geq 1. We assume that A,A* belongs to a family of tridiagonal pairs said to have q-Racah type. This is the most general type of tridiagonal pair. Let {U_i}_{i=0}^d and {U_i^\Downarrow}_{i=0}^d denote the first and second split decompositions of V. In an earlier paper we introduced the double lowering operator \psi:V o V. One feature of \psi is that both \psi U_i\subseteq U_{i-1} and \psi U_i^\Downarrow\subseteq U_{i-1}^\Downarrow for 0\leq i\leq d. Define linear transformations K:V o V and B:V o V such that (K-q^{d-2i}I)U_i=0 and (B-q^{d-2i}I)U_i^\Downarrow=0 for 0\leq i\leq d. Our results are summarized as follows. Using \psi,K,B we obtain two actions of Uq(sl2) on V. For each of these Uq(sl2)-module structures, the Chevalley generator e acts as a scalar multiple of \psi. For each of the Uq(sl2)-module structures, we compute the action of the Casimir element on V. We show that these two actions agree. Using this fact, we express \psi as a rational function of K^{\pm 1},B^{\pm 1} in several ways. Eliminating \psi from these equations we find that K,B are related by a quadratic equation.

研究动机与目标

• 建立 $q$-Racah 型三对角对的向量空间上 $U_q(\mathfrak{sl}_2)$-模结构的新实现。
• 定义并分析双重下降算子 $\psi$ 及其在分裂分解 $\{U_i\}$ 和 $\{U^{\Leftarrow}_i\}$ 上的作用。
• 通过涉及 $\psi$ 的有理表达式，建立在分裂分解上由特征值条件定义的算子 $K$ 与 $B$ 之间的关系。
• 通过从有理表达式中消去 $\psi$，推导出 $K$ 与 $B$ 之间的二次关系。
• 证明由 $\psi$ 诱导的两个 $U_q(\mathfrak{sl}_2)$-模结构同构，并在卡西米尔元作用上保持一致。

提出的方法

• 定义双重下降算子 $\psi$，使得 $\psi U_i \subseteq U_{i-1}$ 且 $\psi U^{\Leftarrow}_i \subseteq U^{\Leftarrow}_{i-1}$，其中 $U_{-1} = U^{\Leftarrow}_{-1} = 0$。
• 引入算子 $K$ 和 $B$，使得 $K$ 在 $U_i$ 上作用为数量 $q^{d-2i}$，$B$ 在 $U^{\Leftarrow}_i$ 上作用为数量 $q^{d-2i}$。
• 利用 $\psi$ 作为 Chevalley 生成元 $e$ 的标量倍数，在 $V$ 上构造两个 $U_q(\mathfrak{sl}_2)$-模结构。
• 使用关系式 $\psi = \frac{I - BK^{-1}}{q(aI - a^{-1}BK^{-1})}$ 及其类似表达式，将 $\psi$ 有理地表示为 $K$ 和 $B$ 的函数。
• 从有理表达式中消去 $\psi$，推导出二次关系式：$$ aK^2 - \frac{aq^{-1} + a^{-1}q}{q - q^{-1}} KB - \frac{aq + a^{-1}q^{-1}}{q - q^{-1}} BK + a^{-1}B^2 = 0 $$
• 通过验证两个 $U_q(\mathfrak{sl}_2)$-模结构在卡西米尔元上的作用一致，证明其同构性。

实验结果

研究问题

• RQ1 如何利用双重下降算子 $\psi$ 在 $q$-Racah 三对角对的向量空间上构造 $U_q(\mathfrak{sl}_2)$-模结构？
• RQ2 在分裂分解 $\{U_i\}$ 和 $\{U^{\Leftarrow}_i\}$ 的背景下，算子 $K$、$B$ 和 $\psi$ 之间存在何种关系？
• RQ3 能否通过 $\psi$ 的有理表达式，将算子 $K$ 和 $B$ 关联为一个二次方程？
• RQ4 由 $\psi$ 诱导的两个 $U_q(\mathfrak{sl}_2)$-模结构是否在卡西米尔元作用上保持一致？
• RQ5 算子 $R$、$K$、$B$ 和 $\psi$ 在两个模结构之间能否相互表达，且可逆？

主要发现

• 双重下降算子 $\psi$ 在 $V$ 上的两个 $U_q(\mathfrak{sl}_2)$-模结构中均作为 Chevalley 生成元 $e$ 的标量倍数作用。
• 由 $\psi$ 诱导的两个 $U_q(\mathfrak{sl}_2)$-模结构同构，且在卡西米尔元作用上一致。
• 算子 $\psi$ 可通过 $K$、$B$ 及其逆元以四种等价的有理形式表示，且分母可逆，如引理 9.7 所证。
• 通过联立两个 $\psi$ 的有理表达式，作者推导出二次关系式：$$ aK^2 - \frac{aq^{-1} + a^{-1}q}{q - q^{-1}} KB - \frac{aq + a^{-1}q^{-1}}{q - q^{-1}} BK + a^{-1}B^2 = 0 $$
• 通过将原始二次关系式取逆，得到逆关系式：$$ aB^{-2} - \frac{aq^{-1} + a^{-1}q}{q - q^{-1}} K^{-1}B^{-1} - \frac{aq + a^{-1}q^{-1}}{q - q^{-1}} B^{-1}K^{-1} + a^{-1}K^{-2} = 0 $$
• 算子 $K$ 和 $B$ 满足交换关系：$$ q(K - B)(aK - a^{-1}B) = q^{-1}(aK - a^{-1}B)(K - B) $$，该关系反映了量子群的结构特征。