[論文レビュー] Howe Duality for Lie Superalgebras

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

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

ひとこと要約

本稿は、Lie超代数の文脈において、Howe双対性のスーパー類似物を確立し、一般線形Lie超代数 $ 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) $-加群としての明示的多重度ゼロ分解を提供すること。
• 行列式およびPfaffianに関する古典的結果を超代数へと拡張する、対称代数 $ S(S^2 \mathbb{C}^{m|n}) $ 内の明示的最高重量ベクトルの構成。
• 超双対性を用いて古典的対称的および反対称的モデルを統一・一般化し、フック・シュール関数を含む新しい組合せ的恒等式を明らかにすること。
• 分解された加群の特徴関数計算を通じて、表現論的実現としての組合せ的恒等式の確立。

提案手法

• Sergeevの超シュール双対性を用いて、$ gl(p|q) \times gl(m|n) $ における $ S(\mathbb{C}^{p|q} \otimes \mathbb{C}^{m|n}) $ の多重度ゼロ分解を導出し、同じヤン図形によってパラメータ化された既約加群を得る。
• $ \Gamma(2l) $ を用いた $ \Delta(\xi_i, \xi_j) $ の反対称化積による $ S(S^2 \mathbb{C}^{m|n}) $ 内の最高重量ベクトルを定義し、$ 2l \leq n $ が偶数のとき $ \Gamma(2l) $ を形成し、対称部には $ \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} $ によって消えることを、転置ペアの間の符号キャンセレーションを用いて証明する。
• 特徴関数計算を用いて、フック・シュール関数を含む組合せ的恒等式を導出し、古典的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}) $ 内で互いに超中心化子をなしていることを確認し、超設定におけるHowe双対性の枠組みを裏付ける。

実験結果

リサーチクエスチョン

• RQ1 どのようにして、対称的および反対称的代数の文脈において、古典的Lie代数のHowe双対性をLie超代数へと拡張できるか？
• RQ2 対称代数 $ S(S^2 \mathbb{C}^{m|n}) $ 内の、$ gl(m|n) $-作用の下での最高重量ベクトルに対する明示的公式は何か？
• RQ3 $ S(S^2 \mathbb{C}^{m|n}) $ および $ \Lambda(S^2 \mathbb{C}^{m|n}) $ の分解は、行列式およびPfaffianに関する古典的結果をどのように一般化するか？
• RQ4 分解された加群の特徴関数計算から、フック・シュール関数を含むどのような組合せ的恒等式が生じるか？
• 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双対性フレームワークが裏付けられた。