[論文レビュー] Tridiagonal pairs and the q-tetrahedron algebra

Darren Funk-Neubauer|arXiv (Cornell University)|Jun 5, 2008

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

ひとこと要約

本稿は、有限次元ベクトル空間 $V$ に、生成子 $x_{01}$ と $x_{30} + c x_{23}$ が $q$-混合三重対 $(A, A^*)$ を作用させるような、$\boxtimes_q$-加群構造を構成するための必要十分条件を確立する。主な結果は、そのような加群構造が存在するための条件が、ある多項式 $P$ が $q^{2d-2}(q - q^{-1})^{-2}$ で評価したとき非ゼロであることであり、そのとき構造は一意的かつ既約的である。

ABSTRACT

In this paper we further develop the connection between tridiagonal pairs and the q-tetrahedron algebra $\boxtimes_q$. Let V denote a finite dimensional vector space over an algebraically closed field and let A, A^* denote a tridiagonal pair on V. For $0 \leq i \leq d$ let $θ_i$ (resp. $θ^*_i$) denote a standard ordering of the eigenvalues of A (resp. A^*). Fix a nonzero scalar q which is not a root of unity. T. Ito and P. Terwilliger have shown that when $θ_i = q^{2i-d}$ and $θ^*_i = q^{d-2i}$ there exists an irreducible $\boxtimes_q$-module structure on V such that the $\boxtimes_q$ generators x_{01}, x_{23} act as A, A^* respectively. In this paper we examine the case in which there exists a nonzero scalar c in K such that $θ_i = q^{2i-d}$ and $θ^*_i = q^{2i-d} + c q^{d-2i}$. In this case we associate to A,A^* a polynomial P and prove the following equivalence. The following are equivalent: (i) There exists a $\boxtimes_q$-module structure on V such that x_{01} acts as A and x_{30} + cx_{23} acts as A^*, where x_{01}, x_{30}, x_{23} are standard generators for $\boxtimes_q$. (ii) P(q^{2d-2} (q-q^{-1})^{-2}) eq 0. Suppose (i),(ii) hold. Then the $\boxtimes_q$-module structure on V is unique and irreducible.

研究の動機と目的

• 三重対と $q$-単体代数 $\boxtimes_q$ 間の既知の関係を、$q$-幾何的状況を超えて拡張すること。
• $A^*$ の固有値が $\theta^*_i = q^{2i-d} + c q^{d-2i}$ の形（$c \neq 0$）である $q$-混合三重対の状況を調査すること。これは標準的な $q$-幾何的設定を一般化する。
• そのような $q$-混合三重対が、特定の生成子作用を伴う $\boxtimes_q$-加群構造と適合する条件を同定すること。
• 多項式 $P$ を含む明確な代数的条件の下で、そのような加群構造の存在と一意性を証明すること。

提案手法

• 生成子 $x_{01}$ と $x_{30} + c x_{23}$ が作用する $q$-混合三重対 $(A, A^*)$ の固有値配置に基づき、1変数多項式 $P$ を定義する。
• 三重対の理論と $\boxtimes_q$-加群の理論を用い、$\boxtimes_q$ 生成子の作用を $A$ と $A^*$ の固有空間に結びつける。
• 既知の $q$-単体代数の結果（特に [19] と [22] より、固有空間の構造と加群作用の性質）を適用する。
• $\boxtimes_q$ 生成子の固有空間と、$A$ と $A^*$ のフラッグ構造から構成された $V$ の部分空間との間の同型を確立する。
• スペクトル解析と加群の既約性に基づき、$P(q^{2d-2}(q - q^{-1})^{-2}) \neq 0$ を加群存在の基準とする。
• 固有空間分解の比較と $\boxtimes_q$-加群公理を用いて、$V$ 上での $x_{30} + c x_{23}$ の作用が $A^*$ と一致することを確認する。

実験結果

リサーチクエスチョン

• RQ1 有限次元ベクトル空間 $V$ 上の $q$-混合三重対 $(A, A^*)$ が、$x_{01}$ が $A$ を作用させ、$x_{30} + c x_{23}$ が $A^*$ を作用させるような適合する $\boxtimes_q$-加群構造を持つための条件は何か？
• RQ2 $q$-混合三重対の固有値データから構成された多項式 $P$ は、そのような加群構造の存在をどのように決定するか？
• RQ3 そのような $\boxtimes_q$-加群構造が存在するとき、それが一意的かつ既約的であるか？
• RQ4 固有値空間 $A$、$A^*$、および $\boxtimes_q$ 生成子 $x_{ij}$ の間の正確な関係は何か、$q$-混合状況において？

主な発見

• $\boxtimes_q$-加群構造が存在し、$x_{01}$ が $A$ を作用させ、$x_{30} + c x_{23}$ が $A^*$ を作用させるための必要十分条件は、$P(q^{2d-2}(q - q^{-1})^{-2}) \neq 0$ であること。ここで $P$ は $q$-混合三重対の固有値データから導かれる多項式である。
• 条件が満たされるとき、$V$ 上の $\boxtimes_q$-加群構造は、既約的かつ一意的である。
• $x_{30}$ の $V$ 上の作用は、$A$ と $A^*$ のフラッグに関連する部分空間の交わりからなる線形変換 $B$ に対応し、$q$-混合条件のもとで $A^*$ の固有空間構造と一致する。
• $x_{23}$ の $V$ 上の作用は、$A^*$ とフラッグ同型を介して関連する変換 $\widetilde{A}^*$ に対応し、$\boxtimes_q$-加群関係と整合的であることが保証される。
• すべての $\boxtimes_q$ 生成子 $x_{ij}$ の固有空間は、$A$ と $A^*$ に関連する $V$ のフラッグ部分空間の交わりとして明示的に記述される。
• $\boxtimes_q$-加群構造は、$q$-幾何的状況を一般化し、$\boxtimes_q$ の新しい既約加群のクラスを実現する形で、$q$-単体代数を実現する。