[論文レビュー] Remarks on the Schur-Howe-Sergeev Duality

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

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

ひとこと要約

本稿は、 queer Lie 超代数 $q(m)$ と $q(n)$ の間で新しいハウ双対性を確立し、シュール $Q$-関数に関する古典的恒等式の表現論的実現を提供する。さらに、最高ウェイトが厳密な分割 $\lambda$ である $q(n)$-加群のゼロウェイト空間が、$\lambda$ によってパrameter化される中心拡大 $\widetilde{H}_n$ における既約加群であることを証明し、$q(n)$ の表現論と有限群 $\widetilde{H}_n$ を結びつける。これにより、$\widetilde{H}_n$ が $q(n)$ のウェイル超群として機能することが示唆される。

ABSTRACT

We establish a new Howe duality between a pair of two queer Lie superalgebras (q(m),q(n)). This gives a representation theoretic interpretation of a well-known combinatorial identity for Schur Q-functions. We further establish the equivalence between this new Howe duality and the Schur-Sergeev duality between q(n) and a central extension $\Hy_k$ of the hyperoctahedral group H_k. We show that the zero-weight space of a q(n)-module with highest weight $λ$ given by a strict partition of n is an irreducible module over the finite group $\Hy_n$ parameterized by $λ$. We also discuss some consequences of this Howe duality.

研究の動機と目的

• queer Lie 超代数 $q(m)$ と $q(n)$ の間で新しいハウ双対性を確立すること。
• シュール $Q$-関数に関するよく知られた恒等式の表現論的解釈を提供すること。
• 最高ウェイト $\lambda$（厳密な分割）である $q(n)$-加群のゼロウェイト空間が、$\lambda$ によってパrameter化される既約 $\widetilde{H}_n$-加群であることの証明。
• $(q(m), q(n))$-双対性と、ハイパーオクタヘドラル群の中心拡大 $\widetilde{H}_k$ を含む $q(n)$ と関連するシュール–セルゲーエフ双対性との同等性を示すこと。
• 中心的構造の結果を含む、その他の帰結を検討すること。
• universal enveloping algebra の中心の記述を、この双対性を用いて行うこと。

提案手法

• $q(m)$ と $q(n)$ が対称代数 $S(\mathbb{C}^{mn|mn})$ 上に互いに中心化する作用を構成する。
• ハイパーオクタヘドラル群 $H_k$ の中心拡大 $\widetilde{H}_k$ と $q(n)$ の関係を示すシュール–セルゲーエフ双対性を、基礎的双対性として用いる。
• $S(\mathbb{C}^{mn|mn})$ を $(q(m) \times q(n))$-加群としての多重度なしの分解を適用する。
• 最高ウェイト $\lambda$（厳密な分割）である $q(n)$-加群のゼロウェイト空間を $\widetilde{H}_n$-加群として特定する。
• $\widetilde{H}_m$ と $\widetilde{H}_n$ の対称代数上の作用を用いて双対性を実現し、分解を導出する。
• $S(\mathbb{C}^{m|m} \otimes \mathbb{C}^{n})^{A_m, \det}$ と $\mathbb{C}[\widetilde{H}_n]/\langle z = -1 \rangle$ の同型を活用し、$\widetilde{H}_n$ の正則表現を特定する。

実験結果

リサーチクエスチョン

• RQ1 $(q(m), q(n))$-双対性をどのように構成でき、その構造は何か？
• RQ2 シュール $Q$-関数に関する古典的恒等式 $\prod_{i,j} \frac{1+x_i y_j}{1-x_i y_j} = \sum_\lambda 2^{-l(\lambda)} Q_\lambda(x) Q_\lambda(y)$ の表現論的解釈は何か？
• RQ3 最高ウェイト $\lambda$（厳密な分割）である $q(n)$-加群のゼロウェイト空間が、中心拡大 $\widetilde{H}_n$ における既約加群であるか？
• RQ4 新しい $(q(m), q(n))$-双対性は、$q(n)$ と $\widetilde{H}_k$ の間のシュール–セルゲーエフ双対性とどのように関係しているか？
• RQ5 この双対性を用いて、$q(m)$ の universal enveloping algebra の中心を記述できるか。もし可能であれば、その基底は何か？

主な発見

• $(q(m), q(n))$-双対性は、シュール $Q$-関数の恒等式の表現論的実現を提供し、対称関数と Lie 超代数の表現を結びつける。
• 最高ウェイト $\lambda$（厳密な分割）である $q(n)$-加群のゼロウェイト空間は、$\lambda$ によってパrameter化される $\widetilde{H}_n$ における既約加群である。これにより、$q(n)$-表現論と有限群加群との直接的な関係が確立される。
• 新しいハウ双対性はシュール–セルゲーエフ双対性と同等であり、$S(\mathbb{C}^{n|n})$ 上での $q(n)$ の作用と $\widetilde{H}_k$ の作用が互いに中心化することを示している。
• $S(\mathbb{C}^{mn|mn})$ を $(q(m) \times q(n))$-加群としての分解は多重度なしであり、厳密な分割によってパrameter化される既約 $q(m)$-加群および $q(n)$-加群を用いて明示的に記述できる。
• $q(m)$ の universal enveloping algebra の中心には、長さが高々 $m$ の厳密な分割によってパrameter化される特徴的な基底が存在し、構造定数に $2^{-\delta(l(\lambda))}$ が現れる。
• $\widetilde{H}_n$ のゼロウェイト空間への作用は、左および右正則表現として実現され、この空間における $\widetilde{H}_n$-加群構造の既約性が確認される。