[论文解读] Howe Duality for Lie Superalgebras

Shun‐Jen Cheng, Weiqiang Wang|ArXiv.org|Aug 13, 2000

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

一句话总结

本文为李超代数建立了 Howe对偶性的超模拟，提供了广义线性李超代数 $ gl(m|n) \times gl(p|q) $ 双对作用下对称代数与交错代数的显式无重数分解。文中推导了对称代数中最高权向量的显式公式，将经典行列式与Pfaffian结果推广至超代数设定。

ABSTRACT

We study a dual pair of general linear Lie superalgebras in the sense of R. Howe. We give an explicit multiplicity-free decomposition of a symmetric and skew-symmetric algebra (in the super sense) under the action of the dual pair and present explicit formulas for the highest weight vectors in each isotypic subspace of the symmetric algebra. We give an explicit multiplicity-free decomposition into irreducible $gl(m|n)$-modules of the symmetric and skew-symmetric algebras of the symmetric square of the natural representation of $gl(m|n)$. In the former case we find as well explicit formulas for the highest weight vectors. Our work unifies and generalizes the classical results in symmetric and skew-symmetric models and admits several applications.

研究动机与目标

• 将 $ gl(m) \times gl(n) $ 的经典Howe对偶性推广至超代数设定，采用 $ gl(m|n) \times gl(p|q) $ 双对。
• 提供对称代数与交错代数 $ S(\mathbb{C}^{p|q} \otimes \mathbb{C}^{m|n}) $ 与 $ \Lambda(\mathbb{C}^{p|q} \otimes \mathbb{C}^{m|n}) $ 的显式无重数分解，作为 $ gl(p|q) \times gl(m|n) $-模。
• 在对称代数 $ S(S^2 \mathbb{C}^{m|n}) $ 中构造显式最高权向量，将经典行列式与Pfaffian结果推广至超代数。
• 通过超对偶性统一并推广经典对称与交错模型，揭示涉及钩Schur函数的新组合恒等式。
• 通过分解模的特征计算，建立表示论实现组合恒等式。

提出的方法

• 利用Sergeev的超Schur对偶性，推导 $ S(\mathbb{C}^{p|q} \otimes \mathbb{C}^{m|n}) $ 在 $ gl(p|q) \times gl(m|n) $ 作用下的无重数分解，不可约模由相同杨图参数化。
• 通过 $ \Delta(\xi_i, \xi_j) $ 的反对称化积定义 $ S(S^2 \mathbb{C}^{m|n}) $ 中的最高权向量，形成 $ \Gamma(2l) $（当 $ 2l \leq n $ 为偶数时），并对对称部分包含 $ \Delta_i $。
• 将最高权向量构作 $ \Gamma(2l) $ 与 $ \Delta_i $ 的积，其公式包含 $ (\det X)^{-\sum \lambda_i} $、$ \Gamma(\lambda_i) $ 与 $ (\Delta_{\lambda_j'})^{1/2} $，具体取决于分拆约束。
• 证明 $ \Gamma(2l) $ 被所有降低算子 $ x_{i-1}\partial_{x_i} $ 与 $ \xi_{j-1}\partial_{\xi_j} $ 消去，利用转置配对中的符号相消。
• 通过特征计算推导涉及钩Schur函数的组合恒等式，推广经典Cauchy恒等式。
• 验证 $ gl(p|q) $ 与 $ gl(m|n) $ 在 $ S(\mathbb{C}^{p|q} \otimes \mathbb{C}^{m|n}) $ 与 $ \Lambda(\mathbb{C}^{p|q} \otimes \mathbb{C}^{m|n}) $ 中互为超中心化子，确认超设定下的对偶性框架。

实验结果

研究问题

• RQ1 如何将Howe对偶性从经典李代数推广至对称与交错代数设定下的李超代数？
• RQ2 在 $ gl(m|n) $-作用下，对称代数 $ S(S^2 \mathbb{C}^{m|n}) $ 中的最高权向量的显式公式是什么？
• RQ3 $ S(S^2 \mathbb{C}^{m|n}) $ 与 $ \Lambda(S^2 \mathbb{C}^{m|n}) $ 的分解如何推广经典行列式与Pfaffian结果？
• RQ4 从分解模的特征计算中，会涌现出哪些涉及钩Schur函数的组合恒等式？
• RQ5 超对偶性以何种方式统一并推广经典对称与交错模型？

主要发现

• 对称代数 $ S(\mathbb{C}^{p|q} \otimes \mathbb{C}^{m|n}) $ 允许无重数分解为不可约 $ gl(p|q) \times gl(m|n) $-模，其参数由相同杨图给出。
• 交错代数 $ \Lambda(\mathbb{C}^{p|q} \otimes \mathbb{C}^{m|n}) $ 同样可无重数分解为不可约 $ gl(p|q) \times gl(m|n) $-模。
• $ S(S^2 \mathbb{C}^{m|n}) $ 中的最高权向量由 $ \Gamma(2), \ldots, \Gamma(2[\frac{n}{2}]) $ 与 $ \Delta_1, \ldots, \Delta_m $ 生成，仅当 $ n = 0,1 $ 时构成自由阿贝尔半群。
• 对偶分拆 $ \lambda $，给出一个最高权向量的一般公式：$ (\det X)^{-\sum \lambda_i} \prod \Gamma(\lambda_i) \prod (\Delta_{\lambda_j'})^{1/2} $，其中 $ r $ 的约束取决于 $ \lambda' $。
• 向量 $ \Gamma(2l) $ 被所有降低算子 $ x_{i-1}\partial_{x_i} $ 与 $ \xi_{j-1}\partial_{\xi_j} $ 消去，通过转置配对中的符号相消得以证明。
• 对偶性表明 $ gl(p|q) $ 与 $ gl(m|n) $ 在对称与交错模型中互为超中心化子，确认了超设定下Howe对偶性的框架。