[論文レビュー] Kazhdan-Lusztig polynomials for the Hermitian symmetric pair $(B_N,A_{N-1})$

Keiichi Shigechi|arXiv (Cornell University)|Dec 21, 2014

Advanced Combinatorial Mathematics参考文献 12被引用数 8

ひとこと要約

本稿では、不等価なヘッケパラメータを伴うヘルミート対称対 $(B_N, A_{N-1})$ の場合に、ボールトストリップとスケル・フェルレース図における図式的積み重ね規則を用いて、Kazhdan–Lusztig多項式 $P_{\alpha,\beta}^{\pm}$ を計算する組合せ的規則を提示する。これはBoeの二分木アルゴリズムを一般化し、ボールトストリップ配置、二分木ラベリング、リンクパターンの間の双対写像を確立し、生成関数 $Q^{\pm}_{\alpha,\beta}$ がKazhdan–Lusztig多項式 $P^{\pm}_{\alpha,\beta}$ に等しいことを証明する。

ABSTRACT

We provide combinatorial rules to compute Kazhdan--Lusztig polynomials for the Hermitian symmetric pair $(B_N,A_{N-1})$ when the Hecke algebra has unequal parameters. They are obtained by filling regions delimited by paths with ballot strips. We also extend the binary tree algorithm introduced by Lascoux and Schützenberger to our case.

研究の動機と目的

• 不等価パラメータの場合のヘルミート対称対 $(B_N, A_{N-1})$ におけるパラボリックKazhdan–Lusztig多項式 $P^{\pm}_{\alpha,\beta}$ を統一的な組合せ的枠組みで計算すること。
• Lascoux–SchützenbergerおよびBoeの二分木アルゴリズムを、タイプ $B_N$ の不等価パラメータ設定に拡張すること。
• ボールトストリップ配置、二分木ラベリング、リンクパターンの間の双対写像を確立し、$P^{\pm}_{\alpha,\beta}$ の直接計算を可能にすること。
• 図式的ストリップ積み重ねにより定義された生成関数 $Q^{\pm}_{\alpha,\beta}$ がKazhdan–Lusztig多項式 $P^{\pm}_{\alpha,\beta}$ に等しいことを証明すること。

提案手法

• スケル・フェルレース図上での積み重ね規則（規則IおよびII）を伴う、パス配置をモデル化するための、シフトされたDyck分割の一般化としてのボールトストリップを導入。これは、群の商空間 $S_N^C / S_N$ 内のパス配置を表現する。
• スケル・フェルレース図 $\lambda(\beta)/\lambda(\alpha)$ 内でのボールトストリップの重み付き積み重ねにより生成関数 $Q^{\pm}_{\alpha,\beta}$ を定義。重みはパス構造およびラベル構造から導出される。
• ボールトストリップ配置、二分木ラベリング、パス $\alpha < \beta$ に関連するリンクパターンの間の重みを保存する双対写像を確立。
• 生成関数 $Q^{\pm}_{\alpha,\beta}$ の反転関係を用い、$R$-多項式の標準的再帰と関係づけ、Kazhdan–Lusztig理論と整合性を保証する。
• 二分木ラベリングとボールトストリップ配置の間の重み保存写像を定義することにより、不等価パラメータ設定における二分木アルゴリズムを一般化する。
• Kazhdan–Lusztig基底の因子分解性質を用い、重み保存双対写像および因子分解性質により、$Q^{\pm}_{\alpha,\beta} = P^{\pm}_{\alpha,\beta}$ を証明する。

実験結果

リサーチクエスチョン

• RQ1 不等価なヘッケパラメータを伴うヘルミート対称対 $(B_N, A_{N-1})$ に対して、Kazhdan–Lusztig多項式 $P^{\pm}_{\alpha,\beta}$ をどのように組合せ的に計算できるか？
• RQ2 ボールトストリップは $P^{\pm}_{\alpha,\beta}$ の構造をどのようにエンコードするのか？また、パス配置およびリンクパターンとどのように関係するのか？
• RQ3 BoeおよびLascoux–Schützenbergerの二分木アルゴリズムは、タイプ $B_N$ の不等価パラメータ設定に一般化可能か？
• RQ4 ボールトストリップ配置、二分木ラベリング、リンクパターンの間には、生成関数の重みを保存する直接的な双対写像が存在するか？
• RQ5 ストリップ積み重ねにより定義された生成関数 $Q^{\pm}_{\alpha,\beta}$ は、Kazhdan–Lusztig多項式 $P^{\pm}_{\alpha,\beta}$ と一致するか？

主な発見

• ボールトストリップの積み重ねにより定義された生成関数 $Q^{\pm}_{\alpha,\beta}$ が、不等価パラメータを伴うヘルミート対称対 $(B_N, A_{N-1})$ に対してKazhdan–Lusztig多項式 $P^{\pm}_{\alpha,\beta}$ に等しいことが証明された。
• ボールトストリップ配置、二分木ラベリング、リンクパターンの間の重みを保存する双対写像が確立された。
• 二分木アルゴリズムは不等価パラメータ設定に一般化され、パラメータが等しい場合にはBoeの元のアルゴリズムを回復する。
• 二分木またはリンクパターンにおけるラベルの重みは、関連するボールトストリップ配置の重みに正確に一致し、生成関数の整合性が保たれる。
• Kazhdan–Lusztig基底の因子分解性質が、ボールトストリップ構成および積み重ね規則を通じて明示的に実現された。
• パス図、ボールトストリップ、リンクパターンを用いた、直接的で視覚的かつ計算可能であるアルゴリズムが提供され、従来の研究を不等価パラメータにまで拡張した。