[論文レビュー] Cells and Constructible Representations in type B

Thomas Pietraho|ArXiv.org|Oct 20, 2007

Advanced Combinatorial Mathematics参考文献 20被引用数 5

ひとこと要約

本稿は、不均等パrameterを持つ型Bコクセター群において、Lusztigの予想的構成可能表現と組合せ的セル構造を調和させ、ドミノ盤面を用いたセルと記号に基づく表現による構成可能モジュールの間の整合性を示している。主な結果として、標準的ドミノ盤面におけるサイクル構造と構成可能表現との間の全単射を確立し、$ s \in \mathbb{N} $ の場合にLusztigの予想（P1）–（P15）が正当化されている（非可約の場合を除く）。

ABSTRACT

We examine the partition of a finite Coxeter group of type $B$ into cells determined by a weight function $L$. The main objective of these notes is to reconcile Lusztig's description of constructible representations in this setting with conjectured combinatorial descriptions of cells.

研究の動機と目的

• 不均等パrameter下での型$ B_n $におけるLusztigの構成可能表現の予想的記述を、組合せ的セル構造と調和させること。
• 予想的セルパrametrizationが標準的ドミノ盤面を用いる場合に、Lusztigの予想（P1）–（P15）と整合することを検証すること。
• 不均等パrameter設定下でLusztigの特別表現の概念が成立する条件を明確化すること。
• 文献[3]で提案された型$ B_n $における二重セルの予想的記述を、構成可能表現の枠組みを用いて是正・精錬すること。

提案手法

• ランク$ r $の標準的ドミノ盤面（SDT）を用いて、型$ B_n $における左セル、右セル、および二重セルをパラメトライズし、サイクル構造がセル所属を符号化している。
• 分割に関連する既約表現の直和として構成可能表現を定義するために、記号上の$ s $-適応的対合の概念を適用する。
• ドミノ盤面におけるサイクル構造集合と$ s $-適応的対合との間の全単射を確立し、組合せ的セル構造と表現論を結びつける。
• 分割のハートとコア構造を用いて同値類および表現のファミリーを定義し、構成可能モジュールの切断およびテンソル積に関する閉包性と整合性を保証する。
• 2.4節の記号対応を用いて、記号に基づく表現と分割に基づくモジュールとの間を翻訳し、構成可能モジュールの明示的計算を可能にする。
• 定理2.15を適用して、任意の構成可能$ W_n $-モジュールが$ c(p, \sigma) $の形に書けること、したがってある標準的ドミノ盤面$ T $に対して$ [T] $の形に書けることを示す。

実験結果

リサーチクエスチョン

• RQ1 不均等パrameter下で、型$ B_n $における標準的ドミノ盤面を用いた組合せ的セル構造は、Lusztigの構成可能表現とどのように関係するか？
• RQ2 不均等パrameter設定下で、Lusztigの特別表現の概念が成立する条件は何か？
• RQ3 文献[3]で提案された二重セルの予想的記述は、構成可能表現の枠組みを用いて是正・検証可能か？
• RQ4 ドミノ盤面におけるサイクル構造と構成可能モジュールのパラメトライズ化との間に一貫した対応関係があるか？

主な発見

• サイクル構造集合から$ s $-適応的対合への写像は全単射であり、すべての構成可能$ W_n $-モジュールがこのような構造から生じることを確認した。
• すべての構成可能$ W_n $-モジュールは、$ [T] = \bigoplus_{\mathcal{C} \subset OC^*(T)} [p_\mathcal{C}] $と同型である。ここで$ p_\mathcal{C} $は、標準的ドミノ盤面$ T $における開放的サイクルをたどることで得られる形状である。
• 二重セル$ \mathfrak{D} $に属する分割$ p $のファミリーは、正確に$ \pi(\mathfrak{D}) $、すなわち$ p $のコアにおける正方形の埋め込み・空欄化によって得られるすべての分割の集合である。これにより、ファミリー構造がセル分解と一致することが確認された。
• デフォルト3の記号$ \Lambda = \left({0\;1\;3\;4 \atop 2}\right) $に対応する構成可能表現は、分割モジュールの直和として明示的に計算され、この方法が具体的な例で有効であることを検証した。
• 本稿では、文献[3]における二重セルに関する元の予想を、サイクル構造に基づくパラメトライズ化が型$ B_n $におけるセル分解を正しく捉えていることから是正した。
• 特に$ s \in \mathbb{N} $の場合、ドミノ盤面による予想的セル記述はLusztigの（P1）–（P15）の予想と整合しており、このパrameter範囲におけるその有効性を強く示唆している。