[論文レビュー] The leading coefficient of certain Kazhdan-Lusztig polynomials of the permutation group $S_n$

Nanhua Xi|ArXiv.org|Jan 30, 2004

Coding theory and cryptography参考文献 2被引用数 5

ひとこと要約

この論文は、対称群 $\mathfrak{S}_n$ の置換に対して、Lusztigの $a$-関数 $a$ が $a(y) < a(w)$ を満たすとき、Kazhdan-Lusztig多項式 $P_{y,w}$ の先頭係数 $\mu(y,w)$ が 1 以下であることを証明している。この結果は、Bruhat順序、セル理論、およびスターオペレーションを用いた再帰的削減に依拠しており、対称群のKazhdan-Lusztig多項式における $\mu$-係数に重要な制約を確立する。

ABSTRACT

In this paper we show that the leading coefficient $μ(y,w)$ of certain Kazhdan-Lusztig polynomials $P_{y,w}$ of the permutation group $\mathfrak S_n$ of 1,2,...,n are not greater than 1. More precisely, we show that the leading coefficients $μ(y,w)$ are not greater than 1 whenever $a(y)&lt; a(w)$, where $a: \mathfrak S_n o\mathbf N$ is the function defined by Lusztig.

研究の動機と目的

• 対称群 $\mathfrak{S}_n$ のKazhdan-Lusztig多項式の先頭係数 $\mu(y,w)$ を特定すること。
• 特にLusztigの $a$-関数との関係において、$\mu(y,w) > 1$ となる条件を理解すること。
• 条件 $a(y) < a(w)$ のもとで $\mu(y,w)$ に上限を与えること。これは (0,1)-予想およびセル理論に寄与する。

提案手法

• Lusztigによって定義された、2-セル上で定数である $a$-関数 $a: \mathfrak{S}_n \to \mathbb{N}$ とBruhat順序 $\leq$ を用いる。
• 長さと順序の性質を解析するため、$\mathfrak{S}_n = \bigcup_{i=0}^{n-1} U_i$ という分解を用い、$U_i$ は $s_i \cdots s_1$ で始まる置換からなる。
• 右セルと $a$-値を保つ左スターオペレーションを用い、より小さい対称群への削減を可能にする。
• $y = s_i \cdots s_1 y_1$ かつ $w = s_i \cdots s_1 w_1$ のとき $P_{y,w} = P_{y_1,w_1}$ であるという恒等式を用い、帰納的削減を実現する。
• Springerの公式を $\delta_{x,y,z}$ と $\gamma_{x,y,z}$ の項で用い、$\mathcal{D}_0$ が区別の自己同型からなることを利用する。
• $a(y) = a(w)$ ならば $y \sim_R w$ または $y \sim_L w$ であり、$\mu(y,w) = \mu(y^{-1},w^{-1})$ の対称性を用いて右セル同値に帰着する。

実験結果

リサーチクエスチョン

• RQ1 $y,w \in \mathfrak{S}_n$ に対して、Kazhdan-Lusztig多項式 $P_{y,w}$ の先頭係数 $\mu(y,w)$ が 1 以下である条件は何か？
• RQ2 $a(y) < a(w)$ のとき、$a$-関数を用いて $\mu(y,w) > 1$ となるかどうかを予測できるか？
• RQ3 $a(y) < a(w)$ のとき、スターオペレーションを用いて $\mu(y,w)$ の計算をより小さい対称群に削減できるか？

主な発見

• $y,w \in \mathfrak{S}_n$ で、$y \leq w$（Bruhat順序）かつ $a(y) < a(w)$ ならば、定理1.4で示されるように $\mu(y,w) \leq 1$ である。
• $\mathfrak{S}_n$ 上で $a$-関数は有界であり、$a(y) = a(w)$ ならば $y$ と $w$ は同じ左セル、右セル、または2-セルに属する。
• $a(y) = a(w)$ のとき $\mu(y,w)$ は1を超える可能性があるが、この条件では $a(y) < a(w)$ のもとでそれが除外される。
• McLarnanとWarringtonによる結果により、$a(y) \geq a(w)$ の場合に (0,1)-予想に対して否定的な答えを与える。
• $U_i$ とスターオペレーションによる再帰的構造により $\mu(y,w) = \mu(y_1,w_1)$ が保証され、帰納的削減が可能になる。
• $a(w) = 1$ のとき、すべての $y \leq w$ に対して $\mu(y,w) \leq 1$ が成り立つ。これは3.3節の(b)で示されている。