[论文解读] 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})$ 情况下的调和子模。
• 使用微分算子与积分技巧，构造奇异向量与不可约子模的基。
• 利用涉及 $\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})$ 的无限维不可约最高权模，其最高权向量为 $x_m^r$ 或 $x_{m+1}^{-r}$，具体取决于 $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)$ 下成立。
• 当 $l_1 + l_2 \leq n - s - 1$ 时，$\mathcal{H}_{l_1,l_2}$ 的最高权为 $-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$。