[論文レビュー] A note on Bruhat order and double coset representatives

Christophe Hohlweg, Mark Skandera|ArXiv.org|Nov 24, 2005

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

ひとこと要約

本稿は、最小二重コセット代表元のブラハット順序と、そのパラボリック部分群における最大代表元のブラハット順序との間の基本的同値性を確立する。任意の $I,J\subset S$ に対して、$u \leq v$ in $X_{IJ}$ であることと $u^{\text{max}} \leq v^{\text{max}}$ であることが同値であることを証明し、$\mathcal{O}(SL_n\mathbb{C})$ における自己双対基底の研究に有用な道具を提供するとともに、対称群の場合の比較に関する組合せ論的行列基準を与える。

ABSTRACT

Let $W$ be a finite coxeter group, let $W_I$, $W_J$ be standard parabolic subgroups, let $u$, $v$ be minimal double cosets representatives of double cosets in $W_I W / W_J$ and let $u'$, $v'$ be the maximal representatives of those same two cosets. We show that $u < v$ if and only if $u' < v'$ for the Bruhat order.

研究の動機と目的

• 最小二重コセット代表元のブラハット順序と、そのパラボリック部分群における最大代表元のブラハット順序との間の明確な対応関係を確立すること。
• 文献に存在する空白を埋めるために、$u \leq v$ in $X_{IJ}$ であることと $u^{\text{max}} \leq v^{\text{max}}$ であることが同値であることを証明すること。この事実は重要であるにもかかわらず、かつては見過ごされていた。
• 置換行列とその累積和から導かれる行列不等式を用いて、$X_{IJ}$ 内の要素の比較に対する組合せ論的基準を提供すること。
• 得られた結果を、$\mathcal{O}(SL_n\mathbb{C})$ の双対自己双対基底の研究に応用すること。これは、以降の研究で用いられている。

提案手法

• $w = w^I w_I$ というパラボリック分解（$w^I \in W^I$, $w_I \in W_I$）と、長さの加法性 $\ell(w) = \ell(w^I) + \ell(w_I)$ を用いる。
• デオダールの補題を適用し、パラボリック成分における単純反射による乗算の下での要素の挙動を制御する。
• ブラハット順序のリフト性質（$w < sw$ かつ $sg < g$ ならば $w \leq g \iff sw \leq g \iff w \leq sg$）を用いる。
• 標準的なコクセター群論の結果から導かれる、$b \in X_{IJ}$ に対して $b^{\text{max}} = w_{0,I}^{I \cap bJb^{-1}} b w_{0,J}$ という最大元の公式を用いる。
• 行列 $D^{I,J}(w)$ を、$w$ による $I$-ブロックの $J$-ブロック内への像に含まれる要素数を数えるブロック行列 $M^{I,J}(w)$ の累積和として導入する。
• 写像 $w \mapsto w^{-1}$ と $W^I$ の性質を用いて、$u^{\text{max}} \leq v^{\text{max}}$ をパラボリック成分を通じて $u \leq v$ に結びつける。

実験結果

リサーチクエスチョン

• RQ1 最小二重コセット代表元 $X_{IJ}$ におけるブラハット順序は、その最大代表元 $u^{\text{max}}$ におけるブラハット順序に対応するか？
• RQ2 置換のブロック構造を用いて、$X_{IJ}$ 内の要素の比較を組合せ論的行列不等式に還元できるか？
• RQ3 すべての $u,v \in X_{IJ}$ に対して、$u \leq v$ と $u^{\text{max}} \leq v^{\text{max}}$ が同値であるかどうか。もし同値ならば、その理由は何か？
• RQ4 $W_{I}bW_{J}$ 及びその最大元の構造を用いて、$X_{IJ}$ の順序論的性質をどのように導出できるか？
• RQ5 対称群において、$u \leq v$ の正確な組合せ論的基準は、累積ブロック行列 $D^{I,J}(w)$ を用いてどのように記述できるか？

主な発見

• 本稿は、$u \leq v$ in $X_{IJ}$ であることと $u^{\text{max}} \leq v^{\text{max}}$ であることが同値であることを証明し、最小代表元と最大代表元の間の深い順序論的対応関係を確立する。
• 対称群 $S_n$ に対して、ブラハット順序 $u \leq v$ が成り立つのは、行列 $D^{I,J}(u)$ が成分ごとに $D^{I,J}(v)$ を支配するときである。
• 二重コセット $W_I b W_J$ の最大元 $b^{\text{max}}$ は、$b^{\text{max}} = w_{0,I}^{I \cap bJb^{-1}} b w_{0,J}$ として明示的に与えられ、既知の公式を簡潔に証明することで確認される。
• 行列 $D^{I,J}(w)$ は、標準的 $D(w)$ 行列の $(\overline{I}, \overline{J})$-部分行列に等しく、二重コセット構造と古典的ブラハット行列基準を結びつける。
• 証明は長さに関する帰納法とリフト性質に依拠し、デオダールの補題を用いて反射作用下でのパラボリック成分の挙動を制御する。
• 例として $W = S_7$, $I = \{s_1,s_2,s_4,s_6\}$, $J = \{s_1,s_3,s_4,s_5\}$, $u = 1342567$, $v = 3471526$ を取り上げると、行列比較により $u \leq v$ および $u^{\text{max}} \leq v^{\text{max}}$ が確認される。