[论文解读] Two permanents in the universal enveloping algebras of the symplectic Lie algebras

Minoru Itoh|ArXiv.org|Oct 1, 2007

Advanced Algebra and Geometry参考文献 11被引用 3

一句话总结

本文通过列永久式（column-permanents）引入了辛李代数 $\mathfrak{sp}_N$ 的普遍包络代数中的新中心生成元，给出了显式公式，其在不可约表示上的特征值可轻松计算。关键贡献在于通过与对称化永久式构造的对偶性，证明了这些元素的中心性，使其成为 Wachi 所研究的正交李代数中心元素的辛类比，并扩展了 Capelli 恒等式框架。

ABSTRACT

This paper presents new generators for the center of the universal enveloping algebra of the symplectic Lie algebra. These generators are expressed in terms of the column-permanent, and it is easy to calculate their eigenvalues on irreducible representations. We can regard these generators as the counterpart of central elements of the universal enveloping algebra of the orthogonal Lie algebra given in terms of the column-determinant by A. Wachi. The earliest prototype of all these central elements is the Capelli determinants in the universal enveloping algebra of the general linear Lie algebra.

研究动机与目标

• 构造辛李代数 $\mathfrak{sp}_N$ 的普遍包络代数中心的新生成元。
• 使用列永久式运算，为这些中心元素提供显式公式。
• 确保这些元素在不可约表示上的特征值易于计算。
• 通过将其与对称化永久式构造关联，证明这些元素的中心性。

提出的方法

• 定义 $\mathfrak{sp}(J_0)$ 的分裂实现中生成元的矩阵 $F^{\mathfrak{sp}(J_0)}$。
• 引入修正矩阵 $\widetilde{F}^{\mathfrak{sp}(J_0)} = F^{\mathfrak{sp}(J_0)} - \operatorname{diag}(0,\dots,0,1,\dots,1)$，其中 0 和 1 的数量相等。
• 将中心元素 $D_k(u)$ 构造为对非减 $k$-元组 $\alpha$ 的求和，涉及矩阵 $\widetilde{F}^{\mathfrak{sp}(J_0)}_{\alpha} + u\mathbf{1}_{\alpha} - \mathbf{1}_{\alpha} \operatorname{diag}(\frac{k}{2}-1,\dots,-\frac{k}{2})$ 的列永久式。
• 通过使用对称化永久式，定义第二个中心元素 $D'_k(u)$，以促进中心性证明。
• 通过普遍包络代数中的代数恒等变形与对易关系，证明 $D_k(u) = D'_k(u)$，从而确立 $D_k(u)$ 的中心性。

实验结果

研究问题

• RQ1 能否通过列永久式运算构造 $U(\mathfrak{sp}_N)$ 的新中心生成元，类似于 $\mathfrak{gl}_N$ 中的 Capelli 行列式？
• RQ2 如何在不可约表示上高效计算这些中心元素的特征值？
• RQ3 尽管非交换永久式性质不明显，能否证明基于列永久式的元素 $D_k(u)$ 的中心性？
• RQ4 列永久式元素 $D_k(u)$ 与对称化永久式构造 $D'_k(u)$ 之间存在何种关系？
• RQ5 这种对偶构造能否推广到其他李代数（如正交代数），如同 Wachi 在其工作中对正交代数所做的一样？

主要发现

• 中心元素 $D_k(u)$ 通过修正的辛生成元矩阵的列永久式显式构造，其中包含一个涉及半整数对角矩阵的修正项。
• 在 $\mathfrak{sp}_N$ 的不可约表示上，$D_k(u)$ 的特征值可通过定理 4.4 计算，这是其相对于其他中心元素的关键优势。
• 通过证明 $D_k(u) = D'_k(u)$，确立了 $D_k(u)$ 的中心性，而 $D'_k(u)$ 是一个对称化永久式构造，其中心性更易于验证。
• 证明依赖于一个非平凡的代数恒等式，涉及对易关系与变量变换，如引理 5.11 和引理 5.12 所形式化。
• 该构造将 Capelli 恒等式框架推广至辛情形，并为 Wachi 所定义的基于列行列式构造的正交李代数中心元素提供了对应物。
• 该方法揭示了在李代数中心的背景下，列永久式与对称化永久式构造之间存在深刻的对偶性。