[論文レビュー] Lusztig's $a$-function in type $B_n$ in the asymptotic case

Meinolf Geck, Lăcrimioara Iancu|ArXiv.org|Apr 11, 2005

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

ひとこと要約

本稿は、leading matrix coefficientsと一般化されたロビンソン＝シェンステッド対応を用いて、型$B_n$のワイル群における漸近的状況下で、ルシュティグの$\mathbf{a}$-関数を明示的に決定する。Lusztigの予想的性質(P1)–(P15)のすべてが確認され、(P9)、(P10)、(P15)を除いては成立が示された。また、Iwahori–Hecke代数$\mathcal{H}_n$における二面セルのイデアル構造とDipper–James–Murphy基底との明確な対応関係が確立された。

ABSTRACT

In this paper, we study Lusztig's $a$-function for a Coxeter group with unequal parameters. We determine that function explicitly in the ``asymptotic case'' in type $B_n$, where the left cells have been determined in terms of a generalized Robinson--Schensted correspondence by Bonnafé and the second author. As a consequence, we can also show that all of Lusztig's conjectural properties (P1)--(P15) hold in this case, except possibly (P9), (P10) and (P15). Our methods rely on the ``leading matrix coefficients'' introduced by the first author. We also interprete the ideal structure defined by the two-sided cells in the associated Iwahori--Hecke algebra $\bH_n$ in terms of the Dipper--james--Murphy basis of $\bH_n$.

研究の動機と目的

• 型$B_n$の不均等パrameter設定下で、Lusztigの$\mathbf{a}$-関数の明示的決定がなされていなかったという欠落を補う。
• 型$B_n$の漸近的状況下で、Lusztigの予想的性質(P1)–(P15)を確認するが、(P9)、(P10)、(P15)については可能性がある。
• Iwahori–Hecke代数$\mathcal{H}_n$における二面セルのイデアル構造とDipper–James–Murphy基底との明確な対応関係を確立する。
• 型$B_n$の漸近的代数に関連する環$J$の構造的記述を提供する。
• leading matrix coefficientsを用いて、漸近的状態におけるセル構造と$\mathbf{a}$-関数値を分析する。

提案手法

• Geckが導入したleading matrix coefficientsの理論を適用し、漸近的状況下におけるIwahori–Hecke代数$\mathcal{H}_n$の構造を分析する。
• 型$B_n$における一般化されたロビンソン＝シェンステッド対応を用いて左セルを分類し、セル分解を通じて$\mathbf{a}$-関数値を特定する。
• 漸近的代数$J$を$\mathcal{H}_n$の商として構成し、Dipper–James–Murphy基底を用いてその二面セルイデアルを分析する。
• 直交表現下で基底元が行列単位に対応することを特定することで、二セルの場合に$J_\lambda \cong M_2(\mathbb{Z})$である環同型を確立する。
• Iwahori–Hecke代数$\mathcal{H}_n$における二面セルイデアル$N^\lambda$が、$\lambda \trianglelefteq \nu$を満たすRSセルの形状$\nu$に対応するKazhdan–Lusztig基底元によって生成されるイデアル$M^\lambda$と一致することを証明する。
• 環$A$上のモジュールのランク比較と自由性を用いて、分数体$K_0$とのテンソル積を取った後、イデアル$N^\lambda = M^\lambda$が成り立つことを結論づける。

実験結果

リサーチクエスチョン

• RQ1 漸近的パrameter条件下で、型$B_n$のワイル群のすべての元に対してLusztigの$\mathbf{a}$-関数の明示的値は何か？
• RQ2 Lusztigの予想的性質(P1)–(P15)のうち、型$B_n$の漸近的状況下で成立するのはどれで、どれが未解決のままであるか？
• RQ3 Iwahori–Hecke代数$\mathcal{H}_n$における二面セルイデアルは、Dipper–James–Murphy基底とどのように関係しているか？
• RQ4 型$B_n$の漸近的代数に関連する環$J$の構造は何か？
• RQ5 leading matrix coefficient法を用いて、漸近的状態におけるセル分解と$\mathbf{a}$-関数値を検証できるか？

主な発見

• 漸近的パrameter条件下で、型$B_n$のワイル群のすべての元に対してLusztigの$\mathbf{a}$-関数が明示的に決定された。
• Lusztigの予想的性質(P1)–(P15)のすべてが、型$B_n$の漸近的状況下で成立し、(P9)、(P10)、(P15)を除いては、後続の研究によって確認された。
• Iwahori–Hecke代数$\mathcal{H}_n$における二面セルイデアル$N^\lambda$は、$\lambda \trianglelefteq \nu$を満たすRSセルの形状$\nu$に対応するKazhdan–Lusztig基底元によって生成されるイデアル$M^\lambda$と完全に一致する。
• 二セルに対応する環$J_\lambda$は$M_2(\mathbb{Z})$に同型であり、直交表現下で基底元が行列単位に写される。
• 漸近的状況下における二面セルによるイデアル構造は、$\mathcal{H}_n$におけるDipper–James–Murphy基底によって与えられるイデアル構造と正確に一致する。
• 自由$A$-加群としてのイデアル$N^\lambda$のランクは$\sum_{\lambda \trianglelefteq \nu} d_\nu^2$に等しく、これとイデアル$M^\lambda$のランクが一致するため、$K_0$とのテンソル積を取った後、$N^\lambda = M^\lambda$が成り立つ。