[論文レビュー] Composition Factors of Polynomial Representation of DAHA and Crystallized Decomposition Numbers

Naoya Enomoto|ArXiv.org|Apr 17, 2006

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

ひとこと要約

本稿は、ℓ と r が互いに素で ℓ ≠ 2 である条件下で、二重アフィンヘッケ代数（DAHA）の多項式表現がマルチホイール条件によって定義される合成系列をもつというM. Kasataniの予想を証明する。DAHAのOカテゴリを退化および有理的DAHAを介してv-シュール代数と関連させることで、問題はFock空間のU_q(ŝl_ℓ)の上位グローバル基底とクリスタル基底を用いたWeylモジュール W^{(1ⁿ)} の合成因子の計算に還元され、最終的にLLT-Ariki定理を用いて分解数が特定される。

ABSTRACT

We determine the composition factors of the polynomial representation of DAHA, conjectured by M. Kasatani. We reduce the determination of composition factors of polynomial representations of DAHA to the determination of the composition factors of the Weyl module $W^{(1^n)}$ for the $v$-Schur algebra. By using the LLT-Ariki type theorem of $v$-Schur algebra proved by Varagnolo-Vasserot, we determine the composition factors of $W^{(1^n)}$ by calculating the upper global basis and crystal basis of Fock space of $U_q(\hat{\mf{sl}}_\ell)$.

研究の動機と目的

• DAHAの多項式表現がマルチホイール条件によって定義される合成系列をもつというM. Kasataniの予想を証明すること。
• 有理的DAHAのOカテゴリとv-シュール代数の加群カテゴリの間のカテゴリカル同値を確立すること。
• Fock空間の上位グローバル基底とクリスタル基底を用いて、v-シュール代数におけるWeylモジュール W^{(1ⁿ)} の合成因子を特定すること。
• U_q(ŝl_ℓ)のFock空間の上位グローバル基底とクリスタル基底を用いたLLT-Ariki型定理を用いて、v-シュール代数の分解数を計算すること。

提案手法

• DAHA、退化DAHA、有理的DAHAの間の関係を用いて、それらのOカテゴリをv-シュール代数と関連付ける。
• 有理的DAHAのOカテゴリとv-シュール代数S(n)の加群カテゴリの間の同値性を活用する。
• v-シュール代数に適用可能なLLT-Ariki型定理を適用し、分解数をU_q(ŝl_ℓ)のFock空間の上位グローバル基底とクリスタル基底と関連付ける。
• Misra-Miwaの定理を用いてFock空間のクリスタル基底を構成し、量子群の標準基底を介して上位グローバル基底を計算する。
• Weylモジュール W^{(1ⁿ)} の合成因子の計算問題を、Fock空間内での上位グローバル基底要素の計算に還元する。
• 行および列の削除公式やKleshchev-Mullineux対合を用いた組合せ論的道具を用いて、分解数を検証する。

実験結果

リサーチクエスチョン

• RQ1 DAHAの多項式表現においてマルチホイール条件によって定義される部分表現の増大列が合成系列をなすか？
• RQ2 v-シュール代数におけるWeylモジュール W^{(1ⁿ)} の合成因子の構造はいかなるものか？
• RQ3 v-シュール代数の分解数は、U_q(ŝl_ℓ)のFock空間のクリスタル基底と上位グローバル基底とどのように関係するか？
• RQ4 v-シュール代数に適用可能なLLT-Ariki型定理を用いて、Weylモジュール W^{(1ⁿ)} の分解数を計算できるか？
• RQ5 Kleshchev-Mullineux対合は、v-シュール代数の分解数の計算においてどのような役割を果たすか？

主な発見

• v-シュール代数におけるWeylモジュール W^{(1ⁿ)} の合成因子は、Fock空間内での分割 μ_i^{(n)} に対応する上位グローバル基底要素によって特定される。
• 分解数 d_{(n),μ}(1) は μ = μ_i^{(n)} のときに限り 1 であり、それ以外の場合は 0 である。これはH. Miyachiの予想を裏付けている。
• v-シュール代数の分解数 d_{(n),μ}(q) は、LLT-Ariki定理と組合せ論的還元技術を用いて明示的に計算された。
• 証明により、ℓ と r が互いに素で ℓ ≠ 2 である条件下で、マルチホイール条件がDAHAの多項式表現に実際に合成系列を定義することが示された。
• 行および列の削除とKleshchev-Mullineux対合による組合せ論的検証により、d_{(n),μ}=1 であるのは μ=μ_i^{(n)} のときのみであり、それ以外では 0 であることが確認された。
• ℓ=3 および n=12 の明示例により、組合せ論的補題を繰り返し適用することで、分解数 d_{(12),(5,2,2,2,1)}=1 が確認された。