[論文レビュー] Noncanonical Polynomial Representations of Classical Lie Algebras

Cuiling Luo|ArXiv.org|Apr 2, 2008

Algebraic structures and combinatorial models参考文献 6被引用数 3

ひとこと要約

本稿は、正準表現における微分作用素と乗算作用素の反対称性を利用することで、古典的リー代数——特に $\mathfrak{sl}(n,\mathbb{C})$、$\mathfrak{so}(n,\mathbb{C})$、$\mathfrak{sp}(n,\mathbb{C})$——の非正準多項式表現を構成する。多項式空間を無限次元的不可約部分空間へ分解し、明示的な基底を構成することで、最高重み型でない新しい無限次元的不可約モジュールをシミプレクティック代数に対して得る。

ABSTRACT

Using the skew-symmetry of the differential operators and multiplication operators in the canonical representations of finite-dimensional classical Lie algebras, we obtain some noncanonical polynomial representations of the classical Lie algebras. The representation spaces of all polynomials are decomposed into irreducible submodules, which are infinite-dimensional. Bases for the irreducible submodules are constructed. In particular, we obtain some new infinite-dimensional irreducible modules of symplectic Lie algebras that are not of highest weight type.

研究の動機と目的

• 古典的リー代数の多項式表現を正準形を超えて、特に無限次元的不可約モジュールへ拡張すること。
• 特に最高重み型でないタイプの無限次元的不可約モジュールについて、明示的基底および表現公式の欠如を解消すること。
• 微分作用素と乗算作用素の反対称性を用いて、多項式表現空間を不可約部分空間へ分解すること。
• 特に $\mathfrak{sp}(n,\mathbb{C})$ および $\mathfrak{so}(n,\mathbb{C})$ について、これらの不可約部分空間の明示的基底を構成すること。
• 最高重み型でない新しい無限次元的不可約モジュールの例を、シミプレクティックリー代数に対して提供すること。

提案手法

• 微分作用素と乗算作用素の反対称性関係 $[\partial_{x_i}, x_j] = \delta_{ij} = [-x_j, \partial_{x_i}]$ を用いて、$\mathfrak{gl}(n,\mathbb{C})$ の非正準表現を定義する。
• インデックスへの置換作用を用いて、非正準表現を $\mathfrak{sl}(n,\mathbb{C})$、$\mathfrak{so}(n,\mathbb{C})$、$\mathfrak{sp}(n,\mathbb{C})$ の部分代数へ制限する。
• 整数の次数付き重み付き多項式空間 $\mathcal{A}_{\langle r\rangle}$ および $\mathcal{B}_{l_1,l_2}$ を導入し、表現空間の分解に用いる。
• $\mathfrak{so}(n,\mathbb{C})$ の場合に、フラッグ偏微分方程式に関する Xu の研究を応用して調和部分空間を分析する。
• 微分作用素と積分技術を用いて、特異ベクトルおよび不可約部分空間の基底を構成する。
• $\eta = y_s\partial_{x_s} + v$ および $\Delta$ を含む作用素恒等式を用いて、$\mathcal{H}_{l_1,l_2}$ の明示的基底公式を導出する。

実験結果

リサーチクエスチョン

• RQ1 古典的リー代数の非正準多項式表現を、表現公式および基底が明示的に与えられる形で構成できるか。
• RQ2 最高重み型でない無限次元的不可約モジュールがシミプレクティックリー代数に対して存在するか。
• RQ3 非正準表現のもとで、すべての多項式の空間が $\mathfrak{so}(n,\mathbb{C})$ および $\mathfrak{sp}(n,\mathbb{C})$ に関してどのように不可約部分空間に分解されるか。
• RQ4 非正準表現における $\mathfrak{sl}(n,\mathbb{C})$、$\mathfrak{so}(n,\mathbb{C})$、$\mathfrak{sp}(n,\mathbb{C})$ の不可約部分空間の明示的基底は何か。
• RQ5 多項式空間 $\mathcal{B} = \mathbb{C}[x_1,\dots,x_n,y_1,\dots,y_n]$ 内の調和部分空間 $\mathcal{H}_{l_1,l_2}$ の構造は、明示的基底公式によって完全に特徴付けられるか。

主な発見

• 多項式空間 $\mathcal{A}_{\langle r\rangle}$ は、$\mathfrak{sl}(n,\mathbb{C})$ に関して無限次元的不可約最高重みモジュールであり、$r$ の符号に応じて $x_m^r$ または $x_{m+1}^{-r}$ が最高重みベクトルである。
• $\mathfrak{so}(n,\mathbb{C})$ の場合、空間 $\mathcal{B}_{l_1,l_2}$ は $\mathcal{H}_{l_1,l_2} \oplus \eta \mathcal{B}_{l_1-1,l_2-1}$ に分解され、$\mathcal{H}_{l_1,l_2}$ は与えられた基底を持つ不可約最高重みモジュールである。
• $\mathcal{H}_{l_1,l_2}$ の基底は、多項式係数および微分作用素を用いて明示的に構成され、条件 $l_1 + l_2 \leq -(n-s-1)$ または $l_1 > -(n-s-1)$ の下で有効である。
• $\mathcal{H}_{l_1,l_2}$ の最高重みは $l_1 + l_2 \leq n - s - 1$ のとき $-l_1\lambda_{s-1} + (l_1 - 1)\lambda_s + l_2\lambda_{n-1}$ であり、最高重みベクトルは $x_s^{-l_1}y_n^{l_2}$ である。
• $\mathfrak{sp}(n,\mathbb{C})$ の場合、本稿は最高重み型でない新しい無限次元的不可約モジュールを構成し、既知の分類を超えて拡張する。
• $\mathcal{H}_{l_1,l_2}$ の基底公式は、多重指数に関する和を含み、組合せ的係数と制約条件 $\alpha_n\beta_n = 0$、$\sum_{j=s+1}^n \alpha_j - \sum_{i=1}^s \alpha_i = l_1$、$\sum_{i=1}^n \beta_i = l_2$ を満たす。