[論文レビュー] Lectures on spin representation theory of symmetric groups

Jinkui Wan, Weiqiang Wang|arXiv (Cornell University)|Oct 3, 2011

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

ひとこと要約

本稿は、対称群のスピン表現理論について、Frobenius特徴写像、シュール双対性、余不変代数、コスタ多項式、準正規形といった古典的構成のスピン版を体系的に提示する。ヘケ＝クライフォード超代数をスピン表現を研究する枠組みとして導入し、既約モジュールがシフト図でパラメトライズされることを証明。明示的なキャラクター公式と、ジュシス＝マーフィー要素による準正規形の構成がなされる。

ABSTRACT

The representation theory of the symmetric groups is intimately related to geometry, algebraic combinatorics, and Lie theory. The spin representation theory of the symmetric groups was originally developed by Schur. In these lecture notes, we present a coherent account of the spin counterparts of several classical constructions such as the Frobenius characteristic map, Schur duality, the coinvariant algebra, Kostka polynomials, and Young's seminormal form.

研究の動機と目的

• スピン表現理論の整合的枠組みを構築し、古典的表現理論の双対物とする。
• 特徴写像、シュール双対性、余不変代数といった基本的構成のスピン版を確立する。
• ジュシス＝マーフィー要素を用いた既約モジュールの準正規形構成を提供する。
• シフト図を用いた既約モジュールの特徴づけと次元公式の導出。

提案手法

• スピン群代数 $\mathbb{C}\mathfrak{S}_n^{-}$ の超代数的同等モデルとしてヘケ＝クライフォード超代数 $\mathcal{Hc}_n$ を用い、超代数的手法の適用を可能にする。
• グローヴェンディーク群から奇数の累乗和で生成される対称関数の環へ写像するスピン特徴写像 $\text{ch}^{-}: R^{-} \to \Gamma_{\mathbb{Q}}$ を導入。
• $\mathfrak{q}(n) \otimes \mathcal{Hc}_d$ が $ (\mathbb{C}^{n|n})^{\otimes d} $ に作用する二重中心化定理によりシュール＝セレーヴ双対性を確立。これにより多重度ゼロの分解が得られる。
• 重みベクトルへの $\phi_\sigma$ および $s_k$ の作用を用いて、完成化 $\widehat{U}^{\xi/\nu}$ の部分モジュールとして既約モジュール $U^{\xi/\nu}$ を構成。
• アフィンヘケ＝クライフォード超代数 $\mathcal{Hc}_n^{\rm aff}$ における $x_k$ の作用を通じてジュシス＝マーフィー要素 $J_k$ を適用し、半単純性を保証。
• 標準的シフト表と対称群の置換作用を用いて既約モジュールを分類し、同型不変性を証明。

実験結果

リサーチクエスチョン

• RQ1 対称群のスピン表現理論におけるFrobenius特徴写像はどのように一般化可能か？
• RQ2 シュール双対性のスピン版とは何か？また、Lie超代数 $\mathfrak{q}(n)$ とどのように関係するか？
• RQ3 ヘケ＝クライフォード超代数 $\mathcal{Hc}_n$ の既約モジュールはどのように構成され、分類されるか？
• RQ4 ジュシス＝マーフィー要素はスピン表現の準正規形において果たす役割は何か？
• RQ5 コスタ多項式と余不変代数はスピン設定においてどのように一般化されるか？

主な発見

• スピン特徴写像 $\text{ch}^{-}$ はグローヴェンディーク群 $R^{-}$ を対称関数の環 $\Gamma_{\mathbb{Q}}$ へ写像し、スシュール $Q$-関数 $Q_\xi$ が $\mathcal{Hc}_n$-モジュール $D^\xi$ に対応するが、$2$ のべき乗を除いて一致する。
• シュール＝セレーヴ双対性により、$ (\mathbb{C}^{n|n})^{\otimes d} $ は $U(\mathfrak{q}(n)) \otimes \mathcal{Hc}_d$-モジュールとして多重度ゼロに分解され、スシュール $Q$-関数を用いたキャラクター公式が得られる。
• 既約 $\mathcal{Hc}_n^{\rm aff}$-モジュール $U^{\xi/\nu}$ はスKEWシフト図 $\xi/\nu$ によって分類され、$U^{\xi/\nu} \cong U^{\xi'/\nu'}$ となるのは $\xi/\nu = \xi'/\nu'$ であるときかつそのときに限る。
• $U^{\xi/\nu}$ の次元は $2^{n - \lfloor (\ell(\xi) - \ell(\nu))/2 \rfloor} g^{\xi/\nu}$ であり、ここで $g^{\xi/\nu}$ は形状 $\xi/\nu$ の標準的スKEWシフト表の個数を表す。
• すべての整数的既約完全に分解可能な $\mathcal{Hc}_n^{\rm aff}$-モジュールは、あるサイズ $n$ のスKEWシフト図 $\xi/\nu$ に対して $U^{\xi/\nu}$ に同型であり、完全な分類が得られる。
• ヘケ＝クライフォード超代数 $\mathcal{Hc}_n$-モジュールの準正規形は $U^\xi$ を通じて実現され、ジュシス＝マーフィー要素は半単純に作用する。また、$\{U^\xi \mid \xi \in \mathcal{SP}_n\}$ は同型でない既約モジュールの完全な集合をなす。