[论文解读] The Drinfel'd polynomial of a tridiagonal pair

Tatsuro Ito, Paul Terwilliger|ArXiv.org|May 10, 2008

Finite Group Theory Research参考文献 36被引用 19

一句话总结

本文引入了尖锐三对角对的Drinfel'd多项式，这是一个次数至多为d的首一多项式，在标准特征空间序列的对偶与反向排序下保持不变。该文证明了该多项式推广了量子群理论中的经典Drinfel'd多项式，并在特殊情况下给出了其根的显式公式，特别是对于Leonard对与q-几何三对角对，将其与q-Racah多项式联系起来，从而为潜在的分类工具提供了支持。

ABSTRACT

Let $K$ denote a field and let $V$ denote a vector space over $K$ with finite positive dimension. We consider a pair of linear transformations $A:V o V$ and $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}^δ$ of the eigenspaces of $A^*$ such that $A V^*_i \subseteq V^*_{i-1} + V^*_{i} + V^*_{i+1}$ for $0 \leq i \leq δ$, where $V^*_{-1}=0$ and $V^*_{δ+1}=0$; (iv) there is no 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 {\it tridiagonal pair} on $V$. It is known that $d=δ$ and for $0 \leq i \leq d$ the dimensions of $V_i$, $V_{d-i}$, $V^*_i$, $V^*_{d-i}$ coincide. The pair $A,A^*$ is called {\it sharp} whenever $\dim V_0=1$. It is known that if $K$ is algebraically closed then $A,A^*$ is sharp. Assuming $A,A^*$ is sharp, we use the data $Φ=(A; \{V_i\}{i=0}^d; A^*; \{V^*_i\}{i=0}^d)$ to define a polynomial $P$ in one variable and degree at most $d$. We show that $P$ remains invariant if $Φ$ is replaced by $(A;\{V_{d-i}\}{i=0}^d; A^*; \{V^*_i\}{i=0}^d)$ or $(A;\{V_i\}{i=0}^d; A^*; \{V^*_{d-i}\}{i=0}^d)$ or $(A^*; \{V^*_i\}{i=0}^d; A; \{V_i\}{i=0}^d)$. We call $P$ the {\it Drinfel'd polynomial} of $A,A^*$. We explain how $P$ is related to the classical Drinfel'd polynomial from the theory of Lie algebras and quantum groups. We expect that the roots of $P$ will be useful in a future classification of the sharp tridiagonal pairs. We compute the roots of $P$ for the case in which $V_i$ and $V^*_i$ have dimension 1 for $0 \leq i \leq d$.

研究动机与目标

• 定义尖锐三对角对中在特征空间排序的对偶与反向排序下保持不变的规范多项式。
• 建立新Drinfel'd多项式与量子群理论中经典Drinfel'd多项式之间的联系。
• 计算特定情况下（包括Leonard对与q-几何三对角对）Drinfel'd多项式的根。
• 为通过Drinfel'd多项式的根对尖锐三对角对进行分类提供框架。
• 将三对角对的结构不变量与正交多项式理论（特别是q-Racah多项式）统一起来。

提出的方法

• 利用由A与A*在特征空间上的作用导出的分裂序列{ζ_i}定义Drinfel'd多项式P(λ)。
• 证明P(λ)在A与A*的特征空间标准排序被反转，以及在A与A*互换时保持不变。
• 使用三对角系统与初等幂等元理论，将多项式表示为特征值与结构常数的函数。
• 对P(λ)进行归一化，得到满足量子群理论中已知函数方程的新多项式P̂(λ)。
• 推导P̂(λ)与q-几何情形下经典Drinfel'd多项式之间的显式变换公式。
• 通过直接计算并与已知正交多项式恒等式比较，验证多项式在特殊情况（如Krawtchouk型与q-几何型）下的行为。

实验结果

研究问题

• RQ1 如何为尖锐三对角对定义一个在对偶与反向特征空间排序下保持不变的规范多项式？
• RQ2 新Drinfel'd多项式与量子群表示理论中的经典Drinfel'd多项式之间的确切关系是什么？
• RQ3 在所有特征空间维数为一的Leonard对情况下，Drinfel'd多项式的根是什么？
• RQ4 在q-几何三对角对设定下，Drinfel'd多项式如何变换？它与q-Racah多项式有何关系？
• RQ5 Drinfel'd多项式能否作为尖锐三对角对的分类不变量？

主要发现

• Drinfel'd多项式P(λ)在A与A*的特征空间标准排序被反转，以及在A与A*互换时保持不变。
• 对于Leonard对（所有特征空间维数为一），P(λ)的根被显式计算，并表明其与q-Racah多项式的零点相关。
• 在Krawtchouk型情况下，归一化的Drinfel'd多项式P̂(λ)满足变换关系P̂(λ) = (-1)^d (d!)^2 (λ+2)^d P_A,A*(4(λ+2)^{-1})，从而与经典正交多项式建立联系。
• 对于q-几何三对角对，归一化的Drinfel'd多项式满足P̂(λ) = (-1)^d ([d]_q!)^2 (q - q^{-1})^{2d} λ^d P_A,A*(λ^{-1} q^{-1} (q - q^{-1})^{-2})，建立了与量子群Drinfel'd多项式的精确函数关系。
• Drinfel'd多项式推广了量子群理论中的经典Drinfel'd多项式，并为分类尖锐三对角对提供了一个新不变量。