[论文解读] 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 关系。通过 Askey-Wilson 多项式构造了该代数上的一个无限维不可约模，其中乘法算子 $x$ 与 Askey-Wilson 二阶 $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 关系。
• 研究该代数的不可约有限维模，并将其与 Leonard 对及三对角对联系起来。
• 利用 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 情形。
• 通过 $A: f \mapsto xf$ 与 $A^*: f \mapsto \mathbb{D}f$ 的作用在多项式空间 $\mathbb{K}[x]$ 上实现该代数，其中 $\mathbb{D}$ 为 Askey-Wilson 二阶 $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]$。
• 利用引理 5.2 证明 $\mathbb{K}[x]$-模的不可约性，该引理确保不存在非平凡的不变子空间。

实验结果

研究问题

• RQ1 如何在单一代数框架下统一 $q$-Serre 与 Dolan-Grady 关系？
• RQ2 新定义的三对角代数的不可约模具有哪些结构性质？
• RQ3 Askey-Wilson 多项式能否用于构造该代数的无限维不可约模？
• RQ4 乘法算子 $x$ 与 Askey-Wilson $q$-差分算子是否满足具有显式参数依赖关系的三对角关系？
• RQ5 Askey-Wilson 多项式在三对角代数实现中作为特征向量起何作用？

主要发现

• 三对角代数通过引入五个自由参数，统一了 $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]$ 上的模是不可约的，由引理 5.2 确认，即在 $A$ 与 $A^*$ 作用下不存在非平凡的不变子空间。