[論文レビュー] The Drinfel'd polynomial of a tridiagonal pair

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

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

ひとこと要約

本稿では、鋭い三重対におけるドリンフェルト多項式を導入し、標準固有空間列の双対および逆順序に対して不変な、次数がd以下のモニック多項式である。この多項式が、量子群理論における古典的ドリンフェルト多項式を一般化することを確立し、特にレオナード対およびq-幾何的三重対においてその根の明示的公式を提示する。これによりq-ラカーポリノミアルと関連づけられ、分類のための潜在的ツールが得られる。

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$.

研究の動機と目的

• 鋭い三重対における固有空間の標準順序の双対および逆順序に対して不変な、標準的多項式を定義すること。
• 新規のドリンフェルト多項式と、量子群理論から得られる古典的ドリンフェルト多項式との関係を確立すること。
• 特にレオナード対およびq-幾何的三重対を含む特定のケースにおいて、ドリンフェルト多項式の根を計算すること。
• ドリンフェルト多項式の根を用いた鋭い三重対の分類フレームワークを提供すること。
• 三重対の構造的不変量を、特にq-ラカーポリノミアルと関連づける直交多項式理論と統合すること。

提案手法

• AおよびA*の作用から得られる分割列{ζ_i}を用いて、ドリンフェルト多項式P(λ)を定義する。
• 固有空間AおよびA*の標準順序の逆転、およびAとA*の入れ替えに対してP(λ)の不変性を証明する。
• 三重系の理論および原始的補完射影を用いて、多項式を固有値および構造定数の言語で表現する。
• P(λ)の正規化により、量子群理論における既知の関数方程式を満たす新たな多項式P̂(λ)を導出する。
• q-幾何的ケースにおいて、P̂(λ)と古典的ドリンフェルト多項式との間の明示的変換公式を導出する。
• 直接計算と既知の直交多項式恒等式との比較により、特殊ケース（Krawtchouk型およびq-幾何的型）における多項式の振る舞いを検証する。

実験結果

リサーチクエスチョン

• RQ1 標準固有空間の双対および逆順序に対して不変な、鋭い三重対における標準的多項式をどのように定義できるか？
• RQ2 新規のドリンフェルト多項式と、量子群表現理論から得られる古典的ドリンフェルト多項式との間の明確な関係は何か？
• RQ3 すべての固有空間が次元1であるレオナード対の場合、ドリンフェルト多項式の根は何か？
• RQ4 q-幾何的三重対の設定下でドリンフェルト多項式はどのように変化し、q-ラカーポリノミアルと関係するか？
• RQ5 ドリンフェルト多項式は鋭い三重対の分類不変量として機能できるか？

主な発見

• ドリンフェルト多項式P(λ)は、AおよびA*の標準固有空間順序の逆転、およびAとA*の入れ替えに対して不変である。
• レオナード対（すべての固有空間が次元1）の場合、P(λ)の根は明示的に計算され、q-ラカーポリノミアルの零点と関係していることが示された。
• Krawtchouk型の場合、正規化されたドリンフェルト多項式P̂(λ)は、P̂(λ) = (-1)^d (d!)^2 (λ+2)^d P_A,A*(4(λ+2)^{-1}) という関係を満たし、古典的直交多項式と関連づけられる。
• q-幾何的三重対の場合、正規化されたドリンフェルト多項式は、P̂(λ) = (-1)^d ([d]_q!)^2 (q - q^{-1})^{2d} λ^d P_A,A*(λ^{-1} q^{-1} (q - q^{-1})^{-2}) を満たし、量子群のドリンフェルト多項式との明確な関数的関係を確立する。
• ドリンフェルト多項式は、量子群理論からの古典的ドリンフェルト多項式を一般化し、鋭い三重対を分類するための新たな不変量を提供する。