[论文解读] The MacMahon Master Theorem for right quantum superalgebras and higher Sugawara operators for $\widehat{\mathfrak{gl}}(m|n)$

Alexander Molev, E. Ragoucy|arXiv (Cornell University)|Nov 18, 2009

Algebraic structures and combinatorial models参考文献 27被引用 13

一句话总结

本文为右量子超代数建立了麦克马洪主定理的超类比，证明了通过超迹定义的玻色子与费米子生成系列——基于马宁矩阵的对称化与反对称化乘积——的乘积等于1。该结果使得在临界水平下显式构造仿射李超代数 $\widehat{\mathfrak{gl}}_{m|n}$ 的高阶 Sugawara 算子成为可能，这些算子作为非交换 Berezinian 展开式中的系数以及生成矩阵幂的迹出现，并用于生成泛 Verma 模中的代数独立奇异向量。

ABSTRACT

We prove an analogue of the MacMahon Master Theorem for the right quantum superalgebras. In particular, we obtain a new and simple proof of this theorem for the right quantum algebras. In the super case the theorem is then used to construct higher order Sugawara operators for the affine Lie superalgebra $\widehat{\mathfrak{gl}}(m|n)$ in an explicit form. The operators are elements of a completed universal enveloping algebra of $\widehat{\mathfrak{gl}}(m|n)$ at the critical level. They occur as the coefficients in the expansion of a noncommutative Berezinian and as the traces of powers of generator matrices. The same construction yields higher Hamiltonians for the Gaudin model associated with the Lie superalgebra $\mathfrak{gl}(m|n)$. We also use the Sugawara operators to produce algebraically independent generators of the algebra of singular vectors of any generic Verma module at the critical level over the affine Lie superalgebra.

研究动机与目标

• 将麦克马洪主定理推广至右量子超代数的框架，特别是针对 $\widehat{\mathfrak{gl}}_{m|n}$。
• 在临界水平下，为仿射李超代数 $\widehat{\mathfrak{gl}}_{m|n}$ 显式构造高阶 Sugawara 算子。
• 利用这些算子推导出 $\widehat{\mathfrak{gl}}_{m|n}$ 上泛 Verma 模中奇异向量代数结构的独立生成元。
• 建立一个非交换 Berezinian 框架，统一 $\widehat{\mathfrak{gl}}_{m|n}$ 关联的 Gaudin 模型中 Sugawara 算子与高阶哈密顿量的构造。

提出的方法

• 通过满足分次交换关系 $[z_{ij}, z_{kl}] = [z_{kj}, z_{il}] (-1)^{\bar{i}\bar{j} + \bar{i}\bar{k} + \bar{j}\bar{k}}$ 的马宁矩阵，定义右量子超代数 $\widehat{\mathcal{M}}_{m|n}$。
• 引入玻色子与费米子生成系列 $\mathrm{Bos} = 1 + \sum_{k=1}^\infty \mathrm{str}\, H_k Z_1 \cdots Z_k$ 与 $\mathrm{Ferm} = 1 + \sum_{k=1}^\infty (-1)^k \mathrm{str}\, A_k Z_1 \cdots Z_k$，其中 $H_k, A_k$ 是对称群 $\mathfrak{S}_k$ 中的对称化算子与反对称化算子。
• 利用张量代数 $\mathrm{End}\,\mathbb{C}^{m|n} \otimes \cdots \otimes \mathrm{End}\,\mathbb{C}^{m|n} \otimes \mathcal{M}_{m|n}$ 中定义关系的矩阵形式 $(1 - P_{12})[Z_1, Z_2] = 0$，证明恒等式 $\mathrm{Bos} \times \mathrm{Ferm} = 1$。
• 将非交换 Berezinian 定义为玻色子系列的逆，其展开式中的系数即为高阶 Sugawara 算子。
• 将 Sugawara 算子实现为生成矩阵 $T(z)$ 幂的迹，并利用它们在临界水平下生成泛 Verma 模中的奇异向量。
• 应用牛顿恒等式与递推关系，计算奇异向量在哈里什-钱德拉同态下的像，确保生成元的代数独立性。

实验结果

研究问题

• RQ1 如何将麦克马洪主定理推广至右量子超代数的框架？
• RQ2 在右量子超代数的背景下，非交换 Berezinian 的结构是什么？它与 Sugawara 算子有何关联？
• RQ3 能否在临界水平下显式构造仿射李超代数 $\widehat{\mathfrak{gl}}_{m|n}$ 的高阶 Sugawara 算子？
• RQ4 这些算子如何在 $\widehat{\mathfrak{gl}}_{m|n}$ 的泛 Verma 模中生成代数独立的奇异向量？
• RQ5 所构造的 Sugawara 算子与 $\mathfrak{gl}_{m|n}$ 关联的 Gaudin 模型哈密顿量之间有何联系？

主要发现

• 恒等式 $\mathrm{Bos} \times \mathrm{Ferm} = 1$ 在右量子超代数 $\mathcal{M}_{m|n}$ 上成立，将经典麦克马洪主定理推广至超代数设定。
• 在临界水平下，$\widehat{\mathfrak{gl}}_{m|n}$ 的高阶 Sugawara 算子被显式构造为非交换 Berezinian 展开式中的系数，以及生成矩阵 $T(z)$ 幂的迹。
• 这些算子属于 $\widehat{\mathfrak{gl}}_{m|n}$ 的完备泛包络代数，且是任意泛 Verma 模在临界水平下奇异向量代数的代数独立生成元。
• 相同的构造方法也生成了与 $\mathfrak{gl}_{m|n}$ 关联的 Gaudin 模型的高阶哈密顿量，从而为可积系统与表示论建立了统一框架。
• 在线性近似下，系数 $h^{\lambda}_{kk}[r]$ 的递推关系得以简化，所得系统与对偶李超代数 $\widehat{\mathfrak{gl}}_{n|m}$ 一致，确保行列式非零且生成元代数独立。
• 同构 $\mathcal{H}C$ 将 $T(z)$ 的正规排序幂的迹映射为微分算子，牛顿恒等式通过 $s^{\lambda}_{k}(z) = \sum_{l=0}^{k-1} (-1)^l (l+1) h^{\lambda}_{k-l-1}(z) \sigma^{\lambda}_{l+1}(z)$ 将其与 Sugawara 算子关联。