[论文解读] Enveloping algebra U(gl(3)) and orthogonal polynomials in several discrete indeterminates

A. N. Sergeev|ArXiv.org|Feb 18, 2002

Mathematical functions and polynomials参考文献 8被引用 5

一句话总结

本文通过研究 $ U(rak{gl}(3)) $ 模其极大理想（该理想 annihilates 不可约最高权模）来构造多变量正交多项式，作为 Hahn 多项式的一种推广。利用由迹和 Chevalley 对合导出的对称双线性型，作者识别出一个 Gelfand–Tsetlin 基，其元素是二次 Casimir 算子的本征函数，从而得到与 $ H_1 = E_{11} - E_{22} $ 和 $ H_2 = E_{22} - E_{33} $ 相关的两个离散变量的正交多项式。关键结果是将这些多项式实现为最高权表示中的矩阵系数，推广了一元情形下的切比雪夫和 Hahn 多项式。

ABSTRACT

Let A be an associative complex algebra and L an invariant linear functional on it (trace). Let i be an involutive antiautomorphism of A such that L(i(a))=L(a) for any a in A. Then A admits a symmetric invariant bilinear form (a, b)=L(a i(b)). For A=U(sl(2))/m, where m is any maximal ideal of U(sl(2)), Leites and I have constructed orthogonal basis whose elements turned out to be, essentially, Chebyshev and Hahn polynomials in one discrete variable. Here I take A=U(gl(3))/m for the maximal ideals m which annihilate irreducible highest weight gl(3)-modules of particular form (generalizations of symmetric powers of the identity representation). In this way we obtain multivariable analogs of Hahn polynomials.

研究动机与目标

• 将一元正交多项式（切比雪夫、Hahn）通过 $ rak{gl}(3) $ 的表示理论推广到多个离散变量。
• 通过迹泛函与 Chevalley 对合，在 $ U(rak{gl}(3)) $ 上构造一个对称且不变的双线性型。
• 在 $ U(rak{gl}(3))/{rak{m}} $ 中识别出 Gelfand–Tsetlin 基，其中 $ {rak{m}} $ 是一个湮灭最高权模的极大理想，该基为正交多项式基。
• 证明基向量是二次 Casimir 算子 $ ilde{ heta}_2 $ 和 $ ilde{ heta}_3 $ 的本征函数，这些算子可分离态并保证正交性。
• 推导出多项式 $ f_{k,l}^{ u} $ 满足的显式差分方程，推广经典正交多项式的超几何型方程。

提出的方法

• 在 $ U(rak{gl}(3)) $ 上定义对称双线性型 $ \braket{u,v} = L(u \omega(v)) $，其中 $ L $ 是不变线性泛函（迹），$ \omega $ 是 Chevalley 对合。
• 利用 Harish-Chandra 同态与投影 $ u \mapsto u^\sharp $，定义取值于 $ \mathbb{C} $ 的型 $ \braket{u,v}_\lambda = \varphi(\langle u,v\rangle)(\lambda) $，其核为 $ U(\frak{gl}(3)) $ 中的极大双边理想 $ I \subset U(\frak{gl}(3)) $。
• 将商代数 $ A = U(\frak{gl}(3))/I $ 实现为 Cartan 子代数 $ \frak{h} $ 上的模，其基元素 $ f_{k,l}^\nu $ 表示为 $ H_1, H_2 $ 的多项式。
• 构造 Gelfand–Tsetlin 基向量 $ v_\Lambda = f_{k,l}^\nu u_\nu $，其中 $ u_\nu $ 是特定最高权类型的 $ \frak{gl}(3) $ 模中的最高权向量。
• 证明 $ U(\frak{gl}(3)) $ 中的二次 Casimir 算子 $ \Omega_2 $ 和 $ \Omega_3 $ 在基向量上作用为对角算子，从而保证正交性。
• 通过计算 $ \Omega_2 $ 和 $ \Omega_3 $ 在 $ f_{k,l}^\nu u_\nu $ 上的作用，利用对易关系与 Verma 模的结构，推导出 $ f_{k,l}^\nu $ 的显式差分方程。

实验结果

研究问题

• RQ1 如何从 $ \frak{gl}(3) $ 的表示理论构造多变量正交多项式？
• RQ2 在 $ U(\frak{gl}(3)) $ 上，何种双线性型可确保最高权模中基向量的正交性？
• RQ3 二次 Casimir 算子 $ \Omega_2 $ 和 $ \Omega_3 $ 在 Gelfand–Tsetlin 基上的作用方式如何？这对多项式结构有何含义？
• RQ4 多项式 $ f_{k,l}^\nu $ 满足何种显式差分方程？它们如何推广 Hahn 多项式方程？
• RQ5 能否将 $ U(\frak{gl}(3))/{\frak{m}} $ 中的 Gelfand–Tsetlin 基解释为两个离散变量的正交多项式系统？

主要发现

• Gelfand–Tsetlin 基向量 $ v_\Lambda = f_{k,l}^\nu u_\nu $ 关于由迹和对合诱导的双线性型 $ \braket{\cdot,\cdot} $ 是正交的。
• $ \Omega_2 $ 在 $ v_\Lambda $ 上的作用由本征值 $ 2l^2 + 2l(\nu(E_{11}) + \nu(E_{22}) + 1) + \nu(E_{11})^2 + \nu(E_{22})^2 $ 给出，确认了变量的可分离性。
• $ \Omega_3 $ 在 $ v_\Lambda $ 上的作用由本征值 $ 2(\nu(E_{11}) + k + l)(\nu(E_{11}) + k + l + 2) $ 给出，其依赖于 $ k + l $，表明变量间具有对称性。
• 多项式 $ f_{k,l}^\nu $ 的形式为 $ H_1^l H_2^k + \dots $，其中低次项按词典序更小，确保在 $ \mathbb{C}[H_1, H_2] $ 中构成三角基。
• 通过计算 $ \Omega_2 $ 和 $ \Omega_3 $ 在 $ f_{k,l}^\nu u_\nu $ 上的作用，显式导出了 $ f_{k,l}^\nu $ 的差分方程，得到关于 $ k $ 和 $ l $ 的二阶差分算子。
• $ \Omega_2 $ 和 $ \Omega_3 $ 关于双线性型是自伴的，因为 $ \omega(\Omega_i) = \Omega_i $，这保证了基的正交性。