[論文レビュー] The boundness of weighted Coxeter groups of rank 3

Jianwei Gao|arXiv (Cornell University)|Jul 8, 2016

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

ひとこと要約

本稿は、正の重み関数を備えたランク3の重み付きコクセター群が、ルスティグの意味で有界であることを証明し、この場合における彼の予想を裏付ける。著者らは、有限パラボリック部分群における最長元の最大重みが、ヘッケ代数における積の次数に対する普遍的上限を与えることを確立し、最低の二面セルの存在とa関数の有界性を示す。

ABSTRACT

We prove that a weighted Coxeter group (W,S,L) is bounded in the sense of G.Lusztig if the rank of W is 3.

研究の動機と目的

• ランク3の重み付きコクセター群と正の重み関数に対して、ルスティグの有界性予想を証明すること。
• 有限パラボリック部分群における最長元の最大重みが、ヘッケ代数の積に対する普遍的上限として機能することを確立すること。
• ランク3の重み付きコクセター群における最低の二面セルの構造を記述すること。
• a関数がこの最大重みによって有界であることを示し、最低の二面セルとの関係を調査すること。

提案手法

• ヘッケ代数とその標準基底 $\{T_w\}$ の使用、積の次数を分析するための次数関数 $\deg f_{x,y,z}$ の導入。
• バー対合とカジワン＝ルスティグ基底 $\{C_w\}$ の適用により、セル理論と次数の上限を関連付ける。
• 補題1.4(4)の活用により、$\deg f_{x,y,z} = L(z)$ となる条件を特徴づけ、特に $x = y = w_{st}$ または $z = s$ の場合に注目する。
• パラボリック部分群 $W_{st}$ 内の中間要素の長さに基づくケース解析により、$\deg(T_x T_y)$ を有界化する。
• 分解 $T_x T_y = \sum f_{x,y,z} T_z$ と次数比較を用い、$\deg(T_x T_y) \leq N$（$N = \max L(w_I)$）を示す。
• 背理法とパラボリック部分群（ランク2およびランク3）における場合ごとの解析を用いて、この上限が普遍的に成り立つことを検証する。

実験結果

リサーチクエスチョン

• RQ1 ルスティグの有界性予想は、$L = l$ を仮定しない任意の正の重み関数を備えたランク3の重み付きコクセター群に対しても成立するか？
• RQ2 有限パラボリック部分群上での最大重み $N = \max L(w_I)$ は、ランク3の群における $\deg(T_x T_y)$ の普遍的上限として機能するか？
• RQ3 ランク3の重み付きコクセター群における最低の二面セルの構造は何か？
• RQ4 $\{w \in W \mid a(w) = N\}$ は、この場合に最低の二面セル $c_0$ に等しいか？

主な発見

• 正の重み関数を備えたすべてのランク3の重み付きコクセター群に対して、有界性の予想が成立し、$L = l$ を仮定する必要のない以前の結果を拡張する。
• 有限パラボリック部分群上での最大重み $N = \max_{I \subseteq S, |W_I| < \infty} L(w_I)$ は、すべての $x, y \in W$ に対して $\deg(T_x T_y)$ の普遍的上限として機能し、この場合にルスティグの予想が裏付けられる。
• 最低の二面セル $c_0$ が存在し、すべての $a(w) = N$ を満たす要素 $w$ を含み、任意の有限パラボリック部分群の最長元を含むセルに等しい。
• $w_J$ の左セルは $\{x w_J \mid x \in W\} = \{y \mid \mathcal{R}(y) = J\}$ であり、右セルは $\{w_J x \mid x \in W\} = \{y \mid \mathcal{L}(y) = J\}$ である。これはセルの構造が明確であることを示している。
• a関数は $N$ によって有界であり、集合 $\{w \mid a(w) = N\}$ は最低の二面セル $c_0$ に含まれる。等号が成り立つ証拠が示唆されている。
• 著者らは、正の重みを備えたすべてのランク3の重み付きコクセター群に対して $\{w \mid a(w) = N\} = c_0$ が成り立つと予想している。これは、$L = l$ の場合に既知の結果を拡張するものである。