[論文レビュー] Left cells in type $B_n$ with unequal parameters

Cédric Bonnafé, Laura Iancu|ArXiv.org|Feb 4, 2003

Advanced Algebra and Geometry参考文献 5被引用数 8

ひとこと要約

本稿では、パラメータが不等であるタイプ$B_n$において、長根のパラメータが大きい（$q^c$、$c \gg 1$）とき、Iwahori–Hecke代数の左セルが一般化されたロビンソン–シュナイダース対応を通じて標準的ビテーブックスのペアによってパrameter化されることを確立する。主な結果は、すべての左セル表現が既約かつ構成可能であることであり、この組合せ的枠組みを通じて既約表現の新たな実現が得られることである。

ABSTRACT

Kazhdan and Lusztig have shown that the partition of the symmetric group of degree $n$ into left cells is given by the Robinson-Schensted correspondence. The aim of this paper is to provide a similar description of the left cells in type $B_n$ for a special class of choices of unequal parameters. This is based on a generalization of the Robinson-Schensted correspondence for type $B_n$. We also give an explicit description of the left cell representations and show that they are irreducible and constructible.

研究の動機と目的

• タイプ$B_n$における不等パラメータへの古典的ロビンソン–シュナイダース対応の一般化。
• 特殊な不等パラメータクラスに対して、タイプ$B_n$のIwahori–Hecke代数の左セルを記述すること。
• 長根パラメータ$q^c$が十分に大きい漸近的状況において、左セル表現が既約かつ構成可能であることを証明すること。
• 一般化された対応を用いて、ヘッケ代数の既約表現の明示的パラメータ化を提供すること。
• 漸近的設定におけるカジワラ–ルシュツィェリ基底とセル構造との間の関係を確立すること。

提案手法

• コクセター群$W_n$の要素と全サイズ$n$の標準的ビテーブックスのペアの間の双対写像を定義するため、古典的ロビンソン–シュナイダース対応を一般化する。
• クラッフォード理論に類似した群要素の分解を用い、$W_n$における左セルを対称群$\mathfrak{S}_l$および$\mathfrak{S}_{n-l}$のセルに関連付ける。
• ルシュツィェリの漸近的ヘッケ代数の枠組みにおいて、パラメータ$q^c$を新しい変数$Q$に置き換えることで、カジワラ–ルシュツィェリ多項式およびセルの構造を分析する。
• 漸近的状況において、カジワラ–ルシュツィェリ多項式が$q$にのみ依存し、$Q$には依存しないことを証明する（定理6.3(a)）。
• パラメータ$Q$を用いた左セルへのグレーディングを確立し、セル分解の階層的理解を可能にする（定理6.3(b)、6.6）。
• 一般化された対応とセル分解を用いて、左セル表現が既約であり、ペア$(\mu, \lambda^*)$によって明示的にパラメータ化されることを証明する。

実験結果

リサーチクエスチョン

• RQ1 不等パラメータをもつタイプ$B_n$のコクセター群に対して、ロビンソン–シュナイダース対応をどのように一般化できるか？
• RQ2 長根パラメータが大きい（$q^c$、$c \gg 1$）とき、タイプ$B_n$のIwahori–Hecke代数における左セルの構造はいかなるものか？
• RQ3 この漸近的設定において、左セル表現は既約か？
• RQ4 カジワラ–ルシュツィェリ基底を用いて、この文脈で既約表現を明示的に構成できるか？
• RQ5 一般化されたロビンソン–シュナイダース対応と、対称群のセルに分解される左セルとの間の関係は何か？

主な発見

• 不等パラメータ$q$および$q^c$（$c \gg 1$）をもつタイプ$B_n$における左セルは、全サイズ$n$の標準的ビテーブックスのペアによってパラメータ化され、古典的ロビンソン–シュナイダース対応が一般化される。
• タイプ$B_n$のIwahori–Hecke代数$\mathcal{H}_n$のすべての左セル表現は、漸近的状況において既約である。
• $\mathcal{H}_n$の既約表現は、$\mu$および$\lambda^*$が標準的ヤングテーブックスであるペア$(\mu, \lambda^*)$によって明示的にパラメータ化される。
• この設定におけるカジワラ–ルシュツィェリ多項式は、定理6.3(a)で示されるように、$q$にのみ依存し、$Q = q^c$には依存しない。
• パラメータ$Q$を用いた左セルへのグレーディングが確立され、セル分解の階層的理解が可能になる（定理6.3(b)、6.6）。
• 左セル表現は構成可能であり、既約キャラクター$\chi_{\mu,\lambda^*}^{\mathcal{H}}$を実現する。これにより、既約性および明示的実現が確認される。