[论文解读] Quasideterminants and Casimir elements for the general Lie superalgebra

Alexander Molev, Vladimir Retakh|ArXiv.org|Sep 29, 2003

Algebraic structures and combinatorial models参考文献 10被引用 5

一句话总结

该论文利用拟行列式和图论方法，为一般线性李超代数 $\mathfrak{gl}(m|n)$ 构造了新的卡西米尔元家族。它推导出泛包络代数中心的显式生成元，其哈里什-钱德拉像为初等、完全和幂和超对称函数，通过拟行列式分解量子贝瑞辛ian，建立了对 $\mathfrak{gl}(n)$ 早期结果的超对称类比。

ABSTRACT

We apply the techniques of quasideterminants to construct new families of Casimir elements for the general Lie superalgebra whose images under the Harish-Chandra isomorphism are respectively the elementary, complete and power sums supersymmetric functions

研究动机与目标

• 将 $\mathfrak{gl}(n)$ 的卡西米尔元构造方法推广至超代数 $\mathfrak{gl}(m|n)$，利用非交换对称函数。
• 通过拟行列式，为 $\mathrm{U}(\mathfrak{gl}(m|n))$ 中的中心元素提供基于图论的显式表达式。
• 将这些元素的哈里什-钱德拉像识别为初等、完全和幂和超对称函数。
• 通过拟行列式，将量子贝瑞辛ian的分解推广至超代数设定。

提出的方法

• 利用拟行列式对量子贝瑞辛ian $B(t)$ 进行分解，$B(t)$ 是 $\mathrm{U}(\mathfrak{gl}(m|n))$ 中心的正式幂级数。
• 引入与从超矩阵 $\widehat{E}$ 衍生的矩阵相关的非交换对称函数 $\Lambda_k^{(i)}$、$S_k^{(i)}$、$\Psi_k^{(i)}$ 和 $\Phi_k^{(i)}$。
• 利用这些函数，通过索引 $i=1,\dots,m$ 和 $j=1,\dots,n$ 的对称和，构造中心元素 $\Lambda_k$、$S_k$、$\Psi_k$ 和 $\Phi_k$。
• 应用图论解释：$\Lambda_k^{(i)}$ 是顶点 $i$ 处长度为 $k$ 的简单圈之和，$S_k^{(i)}$ 是所有圈之和，而 $\Psi_k^{(i)}$ 和 $\Phi_k^{(i)}$ 的系数基于返回时间。
• 利用哈里什-钱德拉同构将构造的中心元素映射至超对称多项式，验证 $\chi(\Lambda_k) = e_k$，$\chi(S_k) = h_k$，$\chi(\Psi_k) = p_k$。
• 依赖于 $B(t)$ 的拟行列式分解以及恒等式 $\chi(B(t)) = e(t)$，证明生成元的中心性及其正确的像。

实验结果

研究问题

• RQ1 如何利用拟行列式为 $\mathfrak{gl}(m|n)$ 构造新的卡西米尔元？
• RQ2 这些新卡西米尔元的哈里什-钱德拉像为何？它们与超对称多项式有何关系？
• RQ3 能否通过拟行列式分解量子贝瑞辛ian $B(t)$，以获得显式的中心生成元？
• RQ4 非交换对称函数的图论解释如何与 $\mathfrak{gl}(m|n)$ 的结构相关联？
• RQ5 所构造的中心元素家族是否构成 $\mathrm{U}(\mathfrak{gl}(m|n))$ 中心的线性基？

主要发现

• 量子贝瑞辛ian $B(t)$ 允许拟行列式分解，为构造提供了关键技术工具。
• $\Lambda_k$、$S_k$ 和 $\Psi_k$ 是 $\mathrm{U}(\mathfrak{gl}(m|n))$ 中的中心元素，且作为代数生成整个中心。
• $\Lambda_k$、$S_k$ 和 $\Psi_k$ 的哈里什-钱德拉像分别为初等、完全和幂和超对称函数 $e_k$、$h_k$ 和 $p_k$。
• $\Psi_k$ 和 $\Phi_k$ 对所有 $k$ 相等，且在哈里什-钱德拉同构下均映射至 $p_k$。
• 该构造为 [1, 第 7.4 节] 中 $\mathfrak{gl}(n)$ 结果的超对称类比，将其推广至李超代数设定。
• 推导出 $\Psi_1$ 和 $\Psi_2$ 的显式公式，涉及对角生成元的和以及带有超交换子修正的二次项。