[論文レビュー] 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$ を定義・解析し、その split 分解 $\{U_i\}$ および $\{U^{\Leftarrow}_i\}$ における作用を調べること。
• split 分解における固有値条件によって定義された演算子 $K$ と $B$ を、$\psi$ を含む有理式によって関係づけること。
• 有理式から $\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$ が $U_i$ 上でスカラー $q^{d-2i}$ を作用させ、$B$ が $U^{\Leftarrow}_i$ 上でスカラー $q^{d-2i}$ を作用させるように演算子 $K$ と $B$ を導入する。
• $\psi$ をチェバリの生成子 $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$ を導出する。
• 両加群構造がカルタン要素において一致することを示すことにより、それらの同型性を検証する。

実験結果

リサーチクエスチョン

• RQ1 二重降下作用素 $\psi$ を用いて、$q$-Racah 三重対のベクトル空間上に $U_q(\mathfrak{sl}_2)$-加群構造をどのように構成できるか。
• RQ2 split 分解 $\{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)$-加群構造において、チェバリの生成子 $e$ のスカラー倍として作用する。
• 二重降下作用素 $\psi$ によって誘導される二つの $U_q(\mathfrak{sl}_2)$-加群構造は同型であり、カルタン要素の作用が一致する。
• $K$、$B$ 及びその逆元を含む四通りの同値な有理式によって $\psi$ が表現可能であり、その分母は可逆である（補題 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)$ を満たす非可換関係を満たしており、これは量子群の構造を反映している。