[論文レビュー] Graded $q$-Schur algebras

Susumu Ariki|arXiv (Cornell University)|Mar 20, 2009

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

ひとこと要約

本稿では、巡回的ヘッケ代数の表現論を用いて、$q$-シュール代数のモジュールの階数付きリフトを構成することで、$q$-シュール代数に階数構造を導入する。$q^2 \neq 1$ かつ $q^3 \neq 1$ のとき、$q$-シュール代数の分解数に関するリクラール＝ティボン予想の階数付き類似を証明し、$v=1$ での特殊化において、階数付き分解行列がレベル1のフォック空間の正規基底と一致することを示した。これにより、階数付きヘッケ代数表現を用いて正規基底がカテゴライゼーションされた。

ABSTRACT

Generalizing recent work of Brundan and Kleshchev, we introduce grading on Dipper-James' $q$-Schur algebra, and prove a graded analogue of the Leclerc and Thibon's conjecture on the decomposition numbers of the $q$-Schur algebra when $q^2 eq1$ and $q^3 eq1$.

研究の動機と目的

• 巡回的ヘッケ代数の表現論を用いて、$q$-シュール代数の階数付きリフトを定義すること。
• $q$-シュール代数の分解数に関するリクラール＝ティボン予想の階数付き類似を確立すること。
• $v=1$ での特殊化において、階数付き分解行列がフォック空間の正規基底と一致することを検証すること。
• 高レベル一般化のための $q$-シュール代数の表現論的基盤を提供すること。

提案手法

• 巡回的ヘッケ代数の作用を用いて、$q$-シュール代数モジュールの階数付きリフトを構成する。
• 残留列 $\underline{i} \in (\mathbb{Z}/e\mathbb{Z})^n$ を用いて、生成子 $\sigma_k$ および $t_a$ のラテン級数による作用を定義する。
• $F$-代数自己同型 $\Psi$ および反自己同型 $*$ を用いて、ヘッケ代数における階数と双対性を制御する。
• スペクトモジュールの標準基底における $\sigma_k$ およびイデムポテンス $e(\underline{i})$ の作用を計算し、行列表現を決定する。
• LLTアルゴリズムを用いてフォック空間における正規基底 $G(\mu)$ を計算し、階数付き分解行列と比較する。
• 特殊化 $v=1$ における同一の係数行列を示すことにより、階数付き分解行列が正規基底と一致することを検証する。

実験結果

リサーチクエスチョン

• RQ1 $v=1$ での特殊化において、$q$-シュール代数の分解数がフォック空間の正規基底と一致するような、$q$-シュール代数の階数付きリフトは存在するか？
• RQ2 $q$-シュール代数に階数構造を導入することで、分解数に関するリクラール＝ティボン予想はカテゴライゼーション可能か？
• RQ3 巡回的ヘッケ代数の階数構造は、$q$-シュール代数およびそのモジュールにどのように階数を誘導するか？
• RQ4 階数付き分解行列とレベル1フォック空間の正規基底との間にはどのような関係があるか？
• RQ5 階数構造は、ヘッケ代数の双対性および自己同型と整合性を持つか？

主な発見

• $n=4$ および $e=4$ のとき、$q$-シュール代数の階数付き分解行列は $v=1$ での特殊化においてフォック空間の正規基底と一致し、リクラール＝ティボン予想の階数付き類似が確認された。
• 分解行列は $d_{\lambda\mu}(v^{-1})$ で与えられ、$d_{(4)(4)} = 1$, $d_{(3,1)(4)} = v$, $d_{(2,1,1)(4)} = v$, $d_{(2,1,1)(3,1)} = 1$, $d_{(1,1,1,1)(2,1,1)} = v$ など、他の項も含まれる。
• 階数付きグロテンディーク群の関係は、$[W((4))]^* = [L((4))]^*$, $[W((3,1))]^* = v^{-1}[L((4))]^* + [L((3,1))]^*$ などであり、正規基底の係数と一致する。
• モジュール $S((4))$ は $D((3,1))[-1]$ に同型であり、$S((2,1,1))$ は $D((1,1,1,1))[-1]$ に同型な階数付き部分モジュールを含む。これは、階数構造がジャンツェンフィルトレーションと整合的であることを示している。
• LLTアルゴリズムにより計算された正規基底要素 $G(\mu)$ は、階数付き分解行列の係数行列と一致し、カテゴライゼーションが確認された。
• この構成により、階数付き $q$-シュール代数がフォック空間の正規基底を分解行列として実現し、正規基底の表現論的モデルを提供することが確認された。