[論文レビュー] Two relations that generalize the $q$-Serre relations and the Dolan-Grady relations

Paul Terwilliger|ArXiv.org|Jul 1, 2003

Advanced Algebra and Geometry参考文献 38被引用数 12

ひとこと要約

本稿では、$q$-Serre関係とDolan-Grady関係を統一する2つの生成子と2つの一般化された関係式で定義される、三重対角代数と呼ばれる新しい代数的構造を導入する。この代数上に、Askey-Wilson多項式を用いて無限次元的非可約モジュールを構成し、$x$による乗算とAskey-Wilsonの2階$q$-差分作用素が三重対角関係を満たすことを示す。これにより、直交多項式と三重対角代数との直接的な関係が確立される。

ABSTRACT

We define an algebra on two generators which we call the Tridiagonal algebra, and we consider its irreducible modules. The algebra is defined as follows. Let K denote a field, and let $β, γ, γ^*, \varrho, \varrho^*$ denote a sequence of scalars taken from K. The corresponding Tridiagonal algebra $T$ is the associative K-algebra with 1 generated by two symbols $A$, $A^*$ subject to the relations (i) \lbrack A,A^2A^*-βAA^*A + A^*A^2 -γ(AA^*+A^*A)- \varrho A^* brack = 0, (ii) \lbrack A^*,A^{*2}A-βA^*AA^* + AA^{*2} -γ^* (A^*A+AA^*)- \varrho^* A brack = 0, where $\lbrack r,s brack $ means $rs-sr$. We call these relations the Tridiagonal relations. For $β= q+q^{-1}$, $γ= γ^*=0$, $\varrho=\varrho^*=0$, the Tridiagonal relations are the $q$-Serre relations. For $β= 2$, $γ= γ^*=0$, $\varrho=b^2$, $\varrho^*=b^{*2}$, the Tridiagonal relations are the Dolan-Grady relations. In the first part of this paper, we survey what is known about irreducible finite dimensional $T$-modules. We focus on how these modules are related to the Leonard pairs recently introduced by the present author, and the more general Tridiagonal pairs recently introduced by Ito, Tanabe, and the present author. In the second part of the paper, we construct an infinite dimensional irreducible $T$-module based on the Askey-Wilson polynomials.

研究の動機と目的

• 三重対角代数と呼ばれる、$q$-Serre関係とDolan-Grady関係の両方を一般化する新しい代数を定義すること。
• この代数の非可約有限次元モジュールを研究し、それらをレナード対および三重対角対と関連付けること。
• Askey-Wilson多項式を用いて、三重対角代数上に無限次元的非可約モジュールを構成すること。
• 乗算作用素$x$とAskey-Wilsonの$q$-差分作用素が三重対角関係を満たすことを示すこと。
• パラメータの明示的依存性を伴い、三重対角代数を多項式空間$\mathbb{K}[x]$上に具体的に実現すること。

提案手法

• 体$\mathbb{K}$上に、生成子$A$と$A^*$をもち、パラメータ$\beta, \gamma, \gamma^*, \varrho, \varrho^*$を含む関係式によって三重対角代数$T$を定義する。
• パラメータ$\beta = q + q^{-1}, \gamma = \gamma^* = 0, \varrho = -(q - q^{-1})^2, \varrho^* = -abcdq^{-1}(q - q^{-1})^2$のとき、関係式が$q$-SerreおよびDolan-Gradyの場合に還元されることを示す。
• 多項式空間$\mathbb{K}[x]$上で、$A: f \mapsto xf$および$A^*: f \mapsto \mathbb{D}f$（$\mathbb{D}$はAskey-Wilsonの2階$q$-差分作用素）によって代数を実現する。
• 既知の固有値方程式$\mathbb{D}p_n = \theta_n^* p_n$を用いて、$A^*$がAskey-Wilson多項式の基底$\{p_n\}$上で対角的に作用することを示す。
• 行列表現と作用素恒等式を用いて、$[A, A^2A^* - \beta AA^*A + A^*A^2 - \gamma(AA^* + A^*A) - \varrho A^*]$および$[A^*, A^{*2}A - \beta A^*AA^* + AA^{*2} - \gamma^*(A^*A + AA^*) - \varrho^*A]$の交換子が消えることにより、三重対角関係が検証されることを示す。
• Lemma 5.2を用いて、$A$および$A^*$の作用の下で非自明な不変部分空間を含まないことを示し、$\mathbb{K}[x]$-モジュールの非可約性を証明する。

実験結果

リサーチクエスチョン

• RQ1 どのようにして$q$-Serre関係とDolan-Grady関係を、一つの代数的枠組みで統一できるか？
• RQ2 新たに定義された三重対角代数上の非可約モジュールの構造的性質は何か？
• RQ3 Askey-Wilson多項式を用いて、この代数の無限次元的非可約モジュールを構成できるか？
• RQ4 乗算作用素$x$とAskey-Wilsonの$q$-差分作用素が、明示的なパラメータ依存性を伴い三重対角関係を満たすか？
• RQ5 Askey-Wilson多項式が、三重対角代数の実現において固有関数として果たす役割は何か？

主な発見

• 三重対角代数は、5つの自由パラメータを導入することにより、$q$-Serre関係とDolan-Grady関係の両方を一般化する統一された代数的構造を提供する。
• $\beta = q + q^{-1}, \gamma = \gamma^* = 0, \varrho = -(q - q^{-1})^2, \varrho^* = -abcdq^{-1}(q - q^{-1})^2$のとき、三重対角関係は$q$-SerreおよびDolan-Grady関係に還元される。
• 多項式空間$\mathbb{K}[x]$は、$x$による乗算とAskey-Wilsonの$q$-差分作用素の作用により、三重対角代数上の非可約モジュールとしての構造を持つ。
• Askey-Wilson多項式$p_n(x)$は$\mathbb{K}[x]$の基底をなし、作用素$A^*$の固有関数であり、固有値$\theta_n^* = q^{-n} + abcdq^{n-1}$をもつ。
• 行列表現と$\tau$および$\tau^{-1}$を含む作用素恒等式を用いて、交換子の式が消えることにより、三重対角関係が検証された。
• $\mathbb{K}[x]$上のモジュールは非可約である。これはLemma 5.2により確認され、$A$および$A^*$の作用の下で非自明な不変部分空間が存在しないことが示された。