[論文レビュー] Specht modules and Kazhdan--Lusztig cells in type $B_n$

Meinolf Geck, Lăcrimioara Iancu+1 more|ArXiv.org|Apr 16, 2007

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

ひとこと要約

この論文は、パrameterが優越順序によって順序付けられる漸近的状況において、Hecke代数 type $B_n$ の Specht加群とKazhdan–Lusztig左セル加群の標準的同型を確立する。同型は適切に順序付けられた基底を用いるとき、対角成分が1の三角行列として表され、他の単項式順序では同型が成立しないことが、反例によって示されている。

ABSTRACT

Dipper, James and Murphy generalized the classical Specht module theory to Hecke algebras of type $B_n$. On the other hand, for any choice of a monomial order on the parameters in type $B_n$, we obtain corresponding Kazhdan--Lusztig cell modules. In this paper, we show that the Specht modules are naturally equivalent to the Kazhdan--Lusztig cell modules {\em if} we choose the dominance order on the parameters, as in the ``asymptotic case'' studied by Bonnafé and the second named author. We also give examples which show that such an equivalence does not hold for other choices of monomial orders.

研究の動機と目的

• タイプ $B_n$ におけるSpecht加群とKazhdan–Lusztigセル加群の自然な同型を確立すること。
• この同型が成立する特定のパrameter順序、すなわち優越（漸近的）ケースを同定すること。
• 他の単項式順序ではこのような同型が存在しないことを示すこと。
• 還元表現を用いた組合せ論的記述を通じて、漸近的状況下での特徴的な左セルを明示すること。
• 特殊化された代数設定におけるKazhdan–Lusztig基底のセル構造とSpecht加群構成との比較を行うこと。

提案手法

• BonnaféとIancu（2006）の漸近的状況における左セルの組合せ論的記述を用い、各二重分割に対して特徴的な左セルを明示的に特定可能である。
• 漸近的状況において、Specht加群 $\tilde{S}^{\nu}$ とKazhdan–Lusztig左セル加群 $W_{k}(\nu)$ の間の標準的同型を構成する。
• 両加群に適切に順序付けられた標準基底を備えると、この同型の行列が対角成分が1の三角行列であることを示す。
• Hecke代数 $\mathcal{H}$ のKazhdan–Lusztig基底 ${ C_w }$ を用い、Bruhat–Chevalley順序と $A_{<0}$ 内の構造定数 $P_{y,w}^*$ によって定義される。
• 漸近的条件 $b > (n-1)a > 0$ の下で、$\mathcal{H}_{n,k}$ のセル代数構造を用い、Specht加群とセル加群の整合性を保証する。
• 第4節で、重み付き辞書式順序などの非漸近的単項式順序では同型が成立しない反例を構成する。

実験結果

リサーチクエスチョン

• RQ1 タイプ $B_n$ のパrameter順序の中で、Specht加群とKazhdan–Lusztigセル加群が同型となるのはどのような条件か？
• RQ2 漸近的状況下で、Specht加群とKazhdan–Lusztigセル加群の同型が標準的かつ対角成分が1の三角行列として表されるか？
• RQ3 優越（漸近的）順序以外のパrameter順序に対しても同型を拡張できるか？
• RQ4 特殊化代数 $\mathcal{H}_{n,k}$ において、Kazhdan–Lusztig基底のセル構造とSpecht加群構成との関係は何か？
• RQ5 Specht加群とセル加群の非ゼロの既約商をそれぞれインデックスづける集合 $\Lambda^{\clubsuit}$ と $\Lambda^{\spadesuit}$ の関係は何か？

主な発見

• 各 $n$ の二重分割 $\nu$ に対して、漸近的状況下でSpecht加群 $\tilde{S}^{\nu}$ とKazhdan–Lusztig左セル加群 $W_{k}(\nu)$ の間には標準的同型が存在する。
• 両加群にBruhat–Chevalley順序で順序付けられた標準基底を備えると、この同型の行列は対角成分が1の三角行列である。
• 非漸近的単項式順序では同型が成立しない：重み付き辞書式順序に対して反例が構成されている。
• 漸近的状況で $b > (n-1)a > 0$ が成り立つとき、Kazhdan–Lusztig基底 $\{C_w\}$ はセル基底をなし、$W_k(\nu) \cong \tilde{S}_k^\nu$ が成り立つ。
• $\Lambda^{\clubsuit}$ と $\Lambda^{\spadesuit}$ は、漸近的状況において正確に一致する。
• McDonough–Pallikarosによるタイプ $A_{n-1}$ の同型をタイプ $B_n$ に一般化したが、パrameterの優越順序の下でのみ成立する。