[論文レビュー] Fusion procedure for Coxeter groups of type B and complex reflection groups G(m,1,n)

O. Ogievetsky, Loïc Poulain d’Andecy|arXiv (Cornell University)|Nov 27, 2011

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

ひとこと要約

本稿では、スペクトルパラメータの有理関数を用いて、複素反射群 $G(m,1,n)$（特に超八面体群 $B_n$ を含む）に対する一様な融合手続きを提示する。バキシライズド生成子とジュチス–ミューリー要素から構成された有理関数を段階的に評価することで、群代数における完全な原始的かつ互いに直交するイデムポテンス系が構成され、対称群に対するモレフの融合手続きを型 B および複素反射群へ一般化する。

ABSTRACT

A complete system of primitive pairwise orthogonal idempotents for the Coxeter groups of type $B$ and, more generally, for the complex reflection groups $G(m,1,n)$ is constructed by a sequence of evaluations of a rational function in several variables with values in the group ring. The evaluations correspond to the eigenvalues of the two arrays of Jucys--Murphy elements.

研究の動機と目的

• 対称群およびヘッケ代数で既知であった融合手続きを、複素反射群 $G(m,1,n)$、特に型 $B$ のコクセター群へ拡張すること。
• すべての $m \geq 1$ に対して、群代数 $\mathbb{C}G(m,1,n)$ における完全な原始的かつ互いに直交するイデムポテンス系を一様に構成すること。
• これらのイデムポテンスが、群環値をとる単一の有理関数の逐次的評価によって得られることを示すこと。
• 表の位置と内容をそれぞれ符号する二つのジュチス–ミューリー要素の配列（$j_i$ と $\tilde{j}_i$）が、構成に果たす役割を明確にすること。

提案手法

• スペクトルパラメータ $v_1,\dots,v_{n+1},u_1,\dots,u_{n+1}$ を用いて、バキシライズド生成子 $\mathbf{s}_i$ と $\mathbf{t}$ を用いた有理関数 $\Phi(v_1,\dots,v_{n+1},u_1,\dots,u_{n+1})$ を構成する。非可換な因子は添字の降順に配置される。
• 関数 $\Phi$ は再帰的に $\tilde{\phi}_{k+1}$ を用いて構築され、生成子 $t$ の明示的使用を回避し、$s_i$ とスペクトルパラメータを用いて有理関数を表現する。
• イデムポテンスは、まず $v_i = p_i$（標準的 $m$-表のノードの位置）で $\Phi$ を評価し、次に $u_i = c_i$（ノードの内容）で評価することで得られる。この際、正則化因子 $F_{\mathcal{T}}(u)$ を用いる。
• 構成は、$\mathbb{C}G(m,1,n)$ 内で $\{j_i, \tilde{j}_i\}$ の最大性に依存しており、これによりすべての対角行列単位がこれらの要素で表現可能である。
• 手続きは二段階の評価を用いる：位置パラメータ $p_i$ を同時に評価し、その後に内容パラメータ $c_i$ を $1$ から $n$ へ順次評価することで、収束性と直交性を保証する。
• 有理関数 $\Phi$ は、$G(m,1,n)$ の正規形における最長元の語として解釈され、型 A と同様に「バキシライズド」された要素を含む。

実験結果

リサーチクエスチョン

• RQ1 モレフの対称群に対する融合手続きと類似する手続きを、超八面体群 $B_n$ へ拡張できるか？
• RQ2 すべての $m \geq 1$ に対して、$\mathbb{C}G(m,1,n)$ 内の完全な原始的イデムポテンス系を一様に構成する方法は何か？
• RQ3 二つのジュチス–ミューリー要素の配列（$j_i$ と $\tilde{j}_i$）がイデムポテンスのパrameter化に果たす役割は何か？
• RQ4 有理関数 $\Phi$ はどのようにしてスペクトルパラメータの評価を通じて標準的 $m$-表の構造を符号化するか？
• RQ5 $G(m,1,n)$ の融合プロセスの背後にある一様な代数的構造（例：バキシライズド要素を含む「最長元」の語）は存在するか？

主な発見

• 融合手続きにより、群代数 $\mathbb{C}G(m,1,n)$ 内に完全な原始的かつ互いに直交するイデムポテンス系が、群環値をとる有理関数 $\Phi$ の逐次的評価によって構成される。
• $m=1$ の場合、手続きは対称群 $S_n$ に対するモレフの融合手続きに還元され、先行研究と整合性が確認される。
• $m=2$ の場合、標準的 2-表 $(\framebox{1}\framebox{3}, \framebox{2})$ に対して、イデムポテンス $s_2(1+s_1)s_2 \mathbf{j}_1(1)\mathbf{j}_2(-1)\mathbf{j}_3(1)/16$ が得られ、明示的に検証された。
• 評価順序は重要である：$v_i = p_i$（位置）は同時に評価され、$u_i = c_i$（内容）は $1$ から $n$ へ順次評価され、収束性が保証される。
• 有理関数 $\Phi$ が、$G(m,1,n)$ の正規形における最長元の語であることが示され、型 A と同様に「バキシライズド」された要素を含む。
• 正則化因子 $F_{\mathcal{T}}(u)$ は $u = c_{n+1}$ で正則であり、$f_{\lambda^{(m)}}(f_{\mu^{(m)}})^{-1}$ に評価され、イデムポテンスの正しく規格化された形が保証される。