[论文解读] Representations of n-Lie algebras

Askar Dzhumadil’daev|ArXiv.org|Feb 5, 2002

Advanced Topics in Algebra被引用 3

一句话总结

本文对复数域上 $n+1$ 个生成元的向量积代数 $V_n$（即 $n$-李代数）的有限维表示进行了分类。证明了所有此类表示都是完全可约的，且不可约模精确对应于 $t\tilde{\rho}$ 型的最高权，其中 $t \ne 0$，而 $\tilde{\rho}$ 是 $so_{n+1}$ 的基本权，从而推广了 $V_2$ 的 $sl_2$-类似结构。关键结果是通过最高权 $t\tilde{\rho}$ 完全刻画了不可约 $n$-李代数 $V_n$-模，其维数公式为 $\frac{n+2t-1}{n+t-1}\binom{n+t-1}{t}$。

ABSTRACT

Let $V_n=$ be a vector products n-Lie algebra with n-Lie commutator $[e_1,...,\hat{e_i},...,e_{n+1}]=(-1)^ie_i$ over the field of complex numbers. Any finite-dimensional n-Lie $V_n$-module is completely reducible. Any finite-dimensional irreducible n-Lie $V_n$-module is isomorphic to a n-Lie extension of $so_{n+1}$-module with highest weight $tπ_1$ for some nonnegative integer t.

研究动机与目标

• 对复数域上 $n+1$ 个生成元的向量积 $n$-李代数 $V_n$ 的所有有限维表示进行分类。
• 确定哪些 $so_{n+1}$-模可以提升为 $V_n$ 上的 $n$-李模。
• 在表示理论中建立 $V_n$ 与 $sl_2$ 之间的完整结构类比，以最高权 $t\pi_1$ 作为关键不变量。
• 给出不可约 $n$-李 $V_n$-模的维数公式，并通过 $q(M)$-不变量刻画其存在性。

提出的方法

• 通过 $\wedge^{n-1}$-构造从 $n$-李代数 $V_n$ 构造基本李代数 $L(V_n) \cong so_{n+1}$。
• 定义普遍包络代数 $U(L(V_n))$，并商掉由 $n$-李关系生成的理想 $Q(V_n)$，得到 $U(V_n)$。
• 将 $n$-李模定义为 $U(L(V_n))$-模，且 $Q(V_n)$ 作用平凡，以保证半直和下的封闭性。
• 利用同构 $L(V_n) \cong so_{n+1}$，将 $n$-李 $V_n$-模的分类归约为 $so_{n+1}$-模理论。
• 应用 $q(M)$-不变量分类哪些 $so_{n+1}$-模可提升为 $n$-李模：仅当 $q(M) = 1$（即 $M \cong M(t\pi_1)$）时成立。
• 通过在 $M(t\pi_1)$ 的多项式实现中显式计算算子 $R_{ijsk}$，验证 $Q(V_n)$-作用的平凡性。

实验结果

研究问题

• RQ1 哪些有限维 $so_{n+1}$-模可以被提升为向量积 $n$-李代数 $V_n$ 上的 $n$-李模？
• RQ2 复数域上有限维不可约 $n$-李 $V_n$-模的完整分类是什么？
• RQ3 当 $n=2$ 时，$V_n$ 的表示理论与 $sl_2$ 的关系如何？该结构在 $n>2$ 时如何推广？
• RQ4 最高权为 $t\pi_1$ 的不可约 $n$-李 $V_n$-模的维数是多少？
• RQ5 $q(M)$-不变量在判断 $so_{n+1}$-模是否可被提升为 $V_n$-模的过程中起什么作用？

主要发现

• 任何有限维 $n$-李 $V_n$-模都是完全可约的，因为 $L(V_n) \cong so_{n+1}$ 是半单代数，且 Weyl 定理适用。
• 当 $n=3$ 时，一个不可约 $so_4$-模 $M_{t,r}$ 可被提升为 $V_3$-模当且仅当 $t = r$，即其在两个 $sl_2$-因子上对称。
• 当 $n > 3$ 时，一个不可约 $so_{n+1}$-模 $M$ 可被提升为 $V_n$-模当且仅当其最高权为 $t\pi_1$，其中 $t$ 为非负整数。
• 最高权为 $t\pi_1$ 的不可约 $n$-李 $V_n$-模的维数为 $\frac{n+2t-1}{n+t-1}\binom{n+t-1}{t}$。
• 当 $n=3$ 时，最高权为 $t$ 的不可约 $V_3$-模的维数为 $(t+1)^2$，与 $M_{t,t}$ 的维数一致。
• $q(M)$-不变量可检测不可提升的模：若 $q(M) > 1$，则 $M$ 不能是 $V_n$-模，因为 $R_{ijsk}$ 在单项式上作用非平凡。