[論文レビュー] 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 型レオナード系の間の深い代数的関係を確立する。双対極性グラフの部分構成代数 $T(x)$ が、既約モジュール上で双対 $q$-Krawtchouk 型のレオナード系を誘導することを示し、また、グラフの標準モジュール上に二つの異なる $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 型レオナード系の間の代数的関係を明確化すること。
• 双対極性グラフの部分構成代数 $T(x)$ の既約モジュールが、双対 $q$-Krawtchouk 型のレオナード系を担うことを示すこと。
• 双対極性グラフの標準モジュール上に、グラフの組合せ論的性質から二つの異なる $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 型のレオナード系を定義する。
• 定理 1.4 および 1.5 を用いて、$A = h + \epsilon\kappa x + \epsilon\upsilon y$ および $A^* = h^* + \epsilon\kappa^* z$（または $x$ と $y$ を交換した場合）により、ベクトル空間 $V$ 上に二つの $U_q(\mathfrak{sl}_2)$-モジュール構造を構成する。
• 双対極性グラフ $\Gamma$ を、交差次元 $D-1$ における最大的同相部分空間のグラフとして定義し、隣接行列を $A$、双対隣接行列を $A^*$ とする。
• 部分構成代数 $T = T(x)$ を $A$ と $A^*$ で生成される代数として定義し、それが半単純であることを示す。
• 各既約 $T$-モジュール $W$ に対して、$A$ と $A^*$ の $W$ への制限が、双対 $q$-Krawtchouk 型のレオナード系をなすことを示す。
• 中心的元 $\Upsilon, \Psi$ を用いて、$T$ の生成元 $L, F, R, K$ を $U_q(\mathfrak{sl}_2)$ の公平生成元 $x, y, z$ で表す。これは、補題 30.1 および 30.2 に従う。

実験結果

リサーチクエスチョン

• RQ1 部分構成代数を通じて、双対極性グラフと双対 $q$-Krawtchouk 型レオナード系の関係は何か？
• 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 型のレオナード系を誘導する。
• 双対極性グラフの標準モジュール上には、定理 1.4 および 1.5 の $\epsilon \in \{1, -1\}$ の二通りの選択に対応する二つの異なる $U_q(\mathfrak{sl}_2)$-モジュール構造が存在する。
• 補題 30.1 および 30.2 に示される明示的な式により、$T(x)$ の生成元 $L, F, R, K$ は $x, y, z$ および中心的元 $\Upsilon, \Psi$ で表される。
• 二つの $U_q(\mathfrak{sl}_2)$-モジュール構造は、ねじれ（twist）の関係にある：一方の構造における $e$ の作用は、他方では $-q^{-2e}\Upsilon^2\Psi^{-2}e$ に対応する。同様に $f$ に対しても成り立つ。
• 部分構成代数 $T(x)$ は、$U_q(\mathfrak{sl}_2) \to T(x)$ の準同型の像と $T(x)$ の中心とから生成される。
• 行列 $C_0$ は、端点 $r$、双対端点 $t$、直径 $d$ を持つ既約 $T$-モジュール $W$ に作用し、$\chi_0(r,t,d)I$ として作用する。これは、命題 29.2 において $\Upsilon$ と $\Psi$ を用いて表現される。