[論文レビュー] Tridiagonal pairs of $q$-Racah type

Tatsuro Ito, Paul Terwilliger|ArXiv.org|Jul 2, 2008

Finite Group Theory Research参考文献 53被引用数 4

ひとこと要約

この論文は、代数的に閉じた体上の $q$-Racah 型三重対を、量子アフィン代数 $U_q(\widehat{\mathfrak{sl}}_2)$ の表現論を用いて、同型を除いて分類する。主な結果は、このような三重対がそのパラメータ配列によって完全に決定されることであり、このクラスに対しては形状予想が成り立ち、次元が二項係数によって有界付けられる。

ABSTRACT

Let $K$ denote an algebraically closed 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 $\lbrace V_i brace_{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 $\lbrace V^*_i brace_{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=δ$. For $0 \leq i \leq d$ let $θ_i$ (resp. $θ^*_i$) denote the eigenvalue of $A$ (resp. $A^*$) associated with $V_i$ (resp. $V^*_i$). The pair $A,A^*$ is said to have {\it $q$-Racah type} whenever $θ_i = a + b q^{2i-d}+ c q^{d-2i}$ and $θ^*_i = a^* + b^*q^{2i-d}+c^*q^{d-2i}$ for $0 \leq i \leq d$, where $q, a,b,c,a^*,b^*,c^*$ are scalars in $K$ with $q,b,c,b^*,c^*$ nonzero and $q^2 ot\in \lbrace 1,-1 brace$. This type is the most general one. We classify up to isomorphism the tridiagonal pairs over $K$ that have $q$-Racah type. Our proof involves the representation theory of the quantum affine algebra $U_q(\widehat{\mathfrak{sl}}_2)$.

研究の動機と目的

• 代数的に閉じた体上の $q$-Racah 型三重対を同型を除いて分類すること。
• $q$-Racah 多項式から導かれるパラメータ配列と、このような三重対との対応を確立すること。
• $q$-Racah 型三重対に対して形状予想を証明することにより、次元列 $\rho_i$ が $\rho_i \leq \binom{d}{i}$ を満たすことを示すこと。

提案手法

• $q$-Racah 型 TD 対の原始的補完元の標準的順序から $T$-加群 $TE_0^*V$ を構成する。
• $TE_0^*V$ の最大の真部分 $T$-加群 $M$ を特定し、商 $L = TE_0^*V / M$ を形成する。この $L$ は有限次元的かつ $T$-加群として完全的である。
• $L$ 上での $A$、$A^*$ およびそれらの射影 $\{E_i\}$、$\{E_i^*\}$ の作用が、指定された固有値列および双対固有値列を持つ TD システムをなすことを示す。
• 標準的 $T$-加群準同型を用いて、分裂列 $\{\zeta_i\}$ をパラメータ配列に関連づけ、TD システムの構造を確立する。
• $U_q(\widehat{\mathfrak{sl}}_2)$ の表現論を活用して $L$ の構造を解析し、パラメータ配列を導出する。
• $E_iTE_0^*V$ を $E_iV$ に埋め込むことにより、$E_iL$ および $E_i^*L$ の次元を $\binom{d}{i}$ で有界付け、その結果を用いる。

実験結果

リサーチクエスチョン

• RQ1 代数的に閉じた体上での $q$-Racah 型三重対は、どのように同型を除いて分類できるか？
• RQ2 量子アフィン代数 $U_q(\widehat{\mathfrak{sl}}_2)$ は、これらの三重対の分類において果たす役割は何か？
• RQ3 $q$-Racah 型三重対に対して形状予想は成り立つのか、すなわちすべての $i$ に対して $\rho_i \leq \binom{d}{i}$ が成り立つか？
• RQ4 パラメータ配列 $(\{\theta_i\}, \{\theta_i^*\}, \{\zeta_i\})$ は、$q$-Racah 型 TD 対を一意に決定するか？
• RQ5 $q$-Racah 型 TD 対の原始的補完元と、商加群 $L = TE_0^*V / M$ の構造との関係は何か？

主な発見

• 代数的に閉じた体上の $q$-Racah 型三重対の分類は、パラメータ配列 $(\{\theta_i\}, \{\theta_i^*/\}, \{\zeta_i\})$ を用いて達成され、これは同型類を完全に決定する。
• 商加群 $L = TE_0^*V / M$ は、有限次元的かつ $T$-加群として完全的であり、$L$ 上での TD システムは固有値列 $\{\theta_i\}$ および $\{\theta_i^*\}$ を持つ。
• $L$ 上の TD システムの分裂列 $\{\zeta_i\}$ は、$E_0^* \tau_i(A) E_0^*$ の作用から得られ、パラメータ配列の定義と一致する。
• 各 $E_iL$ の次元は $\binom{d}{i}$ 以下であり、$E_iL$ は $E_iTE_0^*V$ の $L$ への像として得られるため、$\dim(E_iV) = \binom{d}{i}$ である（補題 9.6 より）。
• 同様に $E_i^*L$ の次元に対しても同じ境界が成り立ち、したがって形状 $\{\rho_i\}$ はすべての $0 \leq i \leq d$ に対して $\rho_i \leq \binom{d}{i}$ を満たす。これにより、$q$-Racah 型対に対して形状予想が確認された。
• この構成により、すべての $q$-Racah 型 TD 対がこのような商加群 $L$ から生じることを示し、分類が完全であることが保証された。