[論文レビュー] 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

ひとこと要約

本稿では、可 irreducible 最高重みモジュールを零化する最大イデアルに関する $ U(rak{gl}(3)) $ の商を考察することにより、Hahn 多項式の一般化として、多変数直交多項式を構成する。トレースと Chevalley 対合から導かれる対称な双一次形式を用い、Gelfand–Tsetlin 基底を同定する。この基底の元は、2次の Casimir 演算子の固有関数であり、$ H_1 = E_{11} - E_{22} $ および $ H_2 = E_{22} - E_{33} $ に関連する2つの離散変数における直交多項式を形成する。主な結果は、これらの多項式が最高重み表現における行列係数として実現されることであり、1変数の Chebyshev や 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.

研究の動機と目的

• 1変数の直交多項式（Chebyshev、Hahn）を $ \frak{gl}(3) $ の表現論を用いて、複数の離散変数に一般化すること。
• トレース汎関数と Chevalley 対合を用いて、$ U(\frak{gl}(3)) $ 上に対称的かつ不変な双一次形式を構成すること。
• 最高重みモジュールを零化する最大イデアル $ \frak{m} $ に対して、$ U(\frak{gl}(3))/\frak{m} $ における Gelfand–Tsetlin 基底を同定し、これが直交多項式の基底であることを示すこと。
• $ \tilde{\theta}_2 $ および $ \tilde{\theta}_3 $ と表される2次 Casimir 演算子が基底ベクトルに作用する仕組みを明らかにし、状態の分離と直交性の保証を示すこと。
• $ f_{k,l}^{\nu} $ が満たす明示的な差分方程式を導出し、古典的直交多項式の超幾何型方程式への一般化を達成すること。

提案手法

• 双一次形式 $ \braket{u,v} = L(u \omega(v)) $ を $ U(\frak{gl}(3)) $ 上に定義する。ここで $ 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)) $ 内の2次 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 どの双一次形式が、最高重みモジュールにおける基底ベクトルの直交性を保証するか？
• RQ3 $ \Omega_2 $ および $ \Omega_3 $ と表される2次 Casimir 演算子は、Gelfand–Tsetlin 基底にどのように作用するか？その作用が多項式の構造に与える影響は何か？
• RQ4 $ f_{k,l}^\nu $ が満たす明示的な差分方程式は何か？また、Hahn 多項式の方程式への一般化はどのように達成されるか？
• RQ5 $ U(\frak{gl}(3))/{\frak{m}} $ 内の Gelfand–Tsetlin 基底は、2つの離散変数における直交多項式系と解釈可能か？

主な発見

• 双一次形式 $ \braket{\cdot,\cdot} $ により誘導される、Gelfand–Tsetlin 基底ベクトル $ v_\Lambda = f_{k,l}^\nu u_\nu $ は、トレースと対合から得られる。
• $ v_\Lambda $ に作用する $ \Omega_2 $ の作用は、固有値 $ 2l^2 + 2l(\nu(E_{11}) + \nu(E_{22}) + 1) + \nu(E_{11})^2 + \nu(E_{22})^2 $ によって与えられ、変数分離が確認される。
• $ v_\Lambda $ に作用する $ \Omega_3 $ の作用は、固有値 $ 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] $ 内の三角基底を形成する。
• $ f_{k,l}^\nu $ の差分方程式は、$ \Omega_2 $ および $ \Omega_3 $ が $ f_{k,l}^\nu u_\nu $ に作用する様子を計算することで明示的に導出され、$ k $ および $ l $ に関する2階差分作用素が得られる。
• $ \Omega_2 $ および $ \Omega_3 $ は、$ \omega(\Omega_i) = \Omega_i $ であることから、双一次形式に関して自己随伴であり、これにより基底の直交性が保証される。