[论文解读] Tridiagonal pairs of $q$-Racah type

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

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

一句话总结

该论文利用量子仿射代数 $U_q(\widehat{\mathfrak{sl}}_2)$ 的表示理论，对代数闭域上的 $q$-Racah 型三对角对进行了同构分类。关键结果是此类对完全由其参数数组确定，且该类的形状猜想成立，维数受二项式系数限制。

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$，该模为有限维且作为 $T$-模不可约。
• 证明 $A$、$A^*$ 及其投影 $\{E_i\}$、$\{E_i^*\}$ 在 $L$ 上的作用构成一个具有指定特征值序列与对偶特征值序列的 TD 系统。
• 利用典范的 $T$-模同态，将分裂序列 $\{\zeta_i\}$ 与参数数组关联，从而确立 TD 系统的结构。
• 借助 $U_q(\widehat{\mathfrak{sl}}_2)$ 的表示理论分析 $L$ 的结构并推导出参数数组。
• 通过将 $E_iTE_0^*V$ 嵌入 $E_iV$（其维数为 $\binom{d}{i}$）来界定 $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^\ast\}, \{\zeta_i\})$ 是否能唯一确定一个 $q$-Racah 型 TD 对？
• RQ5 初等幂与商模 $L = TE_0^*V / M$ 的结构之间有何关系？

主要发现

• 在代数闭域上，$q$-Racah 型三对角对的分类通过参数数组 $(\{\theta_i\}, \{\theta_i^*\}, \{\zeta_i\})$ 实现，该数组完全决定了同构类。
• 商模 $L = TE_0^*V / M$ 是一个有限维不可约 $T$-模，其上 TD 系统作用的特征值序列为 $\{\theta_i\}$ 与 $\{\theta_i^*\}$。
• TD 系统在 $L$ 上的分裂序列 $\{\zeta_i\}$ 由 $E_0^* \tau_i(A) E_0^*$ 的作用导出，且与参数数组的定义一致。
• 每个 $E_iL$ 的维数至多为 $\binom{d}{i}$，因为 $E_iL$ 是 $E_iTE_0^*V$ 在 $L$ 中的像，且由引理 9.6 知 $\dim(E_iV) = \binom{d}{i}$。
• 对 $E_i^*L$ 同样有此上界，因此形状 $\{\rho_i\}$ 满足对所有 $0 \leq i \leq d$ 都有 $\rho_i \leq \binom{d}{i}$，从而证实了 $q$-Racah 型对的形状猜想。
• 该构造表明每个 $q$-Racah 型 TD 对均源于此类商模 $L$，因此分类是完备的。