[論文レビュー] Lusztig's $a$ function for Coxeter groups of rank 3

Peipei Zhou|arXiv (Cornell University)|Jul 11, 2011

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

ひとこと要約

本稿は、$m_{sr} \geq 7$ かつ $m_{st} = 3$、または $m_{sr} \geq 5$ かつ $m_{st} \geq 4$ の条件下で、すべてのランク3コックスター群においてルシュティグの$a$-関数が有界であることを証明している。証明は、ヘッケ代数の積の構造を分析し、強い交換条件およびパラボリック部分群への分解を用いて構造定数の次数を有界化することで、有限パラボリック部分群を介して一様な有界性を確立する。

ABSTRACT

We show that Lusztig's $a$-function of a Coxeter group is bounded if the rank of the Coxeter group is 3.

研究の動機と目的

• ルシュティグの$a$-関数がランク3コックスター群において有界であるかどうかというシーの提起した問題を解決すること。
• これまでアフィンワイル群や完全グラフをもつコックスター群において示されていた有界$a$-関数の結果をランク3群に拡張すること。
• 有限パラボリック部分群の最大元の長さを用いて、$a$-関数の明示的有界性を確立すること。
• 無限コックスター群のランク3において、ヘッケ代数の積と強い交換条件を用いた構造的証明を提供すること。

提案手法

• 正規化されたヘッケ代数$\widetilde{H}$における構造定数$f_{w,u,v}$の構造を分析する。ここで$\widetilde{T}_w = q^{-l(w)/2}T_w$である。
• $a$-関数の有界性と、$\xi = q^{1/2} - q^{-1/2}$における$f_{w,u,v}$の次数の有界性との同値性を用いる。
• 強い交換条件を用いて要素を分解し、問題を有限パラボリック部分群に還元する。
• $l(x) + l(y)$に関する帰納法を用い、$R(x)$および$L(y)$に基づく場合分けで$\widetilde{T}_x \widetilde{T}_y$の積を分析する。
• 特に$|I| \leq 2$となる$S$の部分集合$I$に対して、パラボリック部分群$W_I$およびその最大元$w_I$の性質を活用する。
• $v \in W_I$を用いた$\widetilde{T}_{x^\prime v} \widetilde{T}_{y^\prime}$による積の再帰的分解を用い、帰納法および既知の補題を用いて次数を有界化する。

実験結果

リサーチクエスチョン

• RQ1 すべての無限コックスター群のランク3において、ルシュティグの$a$-関数は有界であるか？
• RQ2 $m_{sr}$および$m_{st}$のどの条件下で、ランク3コックスター群における$a$-関数が有界になるか？
• RQ3 有限パラボリック部分群の最大元の長さのみを用いて$a$-関数を有界化できるか？
• RQ4 $R(w)$および$L(w)$の集合が、ランク3群におけるヘッケ代数の積の構造にどのように影響するか？
• RQ5 強い交換条件は、無限コックスター群における構造定数の次数を効果的に制御するために用いることができるか？

主な発見

• $m_{sr} \geq 7$ かつ $m_{st} = 3$ のとき、すべてのランク3コックスター群において$a$-関数は有界であり、その有界性は$\{s,r\}$-パラボリック部分群の最大元の長さに依存する。
• $m_{sr} \geq 5$ かつ $m_{st} \geq 4$ のとき、$a$-関数は有界であり、その有界性は$\max\{m_{sr}, m_{st}\}$によって決定される。
• $w = (w_1)(st) = (w_2)(sr)$ を満たすような$w \in W$は存在しない。これは、非有界行動を除外する上で重要な役割を果たす。
• 特に$R(x) \cup L(y) \neq \{t,r\}$である場合、$f_{w,u,v}$の次数は$a = \max\{m_{sr}, m_{st}\}$で有界である。
• $R(x) = \{t,r\}$かつ$L(y) = \{t,r\}$の場合、$\widetilde{T}_x \widetilde{T}_y$の次数が$a$以下であることが、次数が有界である項への分解によって示された。
• 証明により、$a$-関数は特定の有限パラボリック部分群の最大元の長さによって有界であることが示され、アフィンワイル群からの既知の結果が一般化された。