[论文解读] 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$）的统一融合过程，利用谱参数的有理函数。通过依次计算由Baxter化生成元和Jucys–Murphy元构造的有理函数，该方法在群代数中构造出一组完全的、两两正交的幂等元，将Molev针对对称群的融合过程推广至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.

研究动机与目标

• 将此前已知于对称群和Hecke代数的融合过程扩展至复反射群 $G(m,1,n)$，包括B型考克斯eter群。
• 为所有 $m \geq 1$ 在群代数 $\mathbb{C}G(m,1,n)$ 中提供一组完全的、两两正交的本原幂等元的统一构造。
• 证明这些幂等元可通过单个有理函数在群环中的逐次取值获得。
• 阐明两组Jucys–Murphy元 ($j_i$ 和 $\tilde{j}_i$) 在编码标准 $m$-表中的位置与内容方面的作用，以支持构造过程。

提出的方法

• 该方法通过Baxter化生成元 $\mathbf{s}_i$ 和 $\mathbf{t}$ 构造一个在谱参数 $v_1,\dots,v_{n+1},u_1,\dots,u_{n+1}$ 上的有理函数 $\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$-表中节点的位置）处取值，然后在 $u_i = c_i$（节点的内容）处取值，结合正则化因子 $F_{\mathcal{T}}(u)$，获得幂等元。
• 该构造依赖于 $\{j_i, \tilde{j}_i\}$ 在 $\mathbb{C}G(m,1,n)$ 中的极大性，使得所有对角矩阵单位均可表示为这些元素的函数。
• 该过程采用两步取值：首先同步计算位置参数 $p_i$，随后按顺序依次计算内容参数 $c_i$，以确保收敛性和正交性。
• 有理函数 $\Phi$ 被解释为 $G(m,1,n)$ 的正规形式中长元素的字，其条目以类似于A型的方式进行'Baxter化'。

实验结果

研究问题

• RQ1 能否将Molev针对对称群的融合过程类比地推广至超八面体群 $B_n$？
• RQ2 如何为所有 $m \geq 1$ 在 $\mathbb{C}G(m,1,n)$ 中统一构造出一组完全的本原幂等元？
• RQ3 两组Jucys–Murphy元 ($j_i$ 和 $\tilde{j}_i$) 在参数化幂等元方面起什么作用？
• RQ4 有理函数 $\Phi$ 如何通过谱参数取值编码标准 $m$-表的结构？
• RQ5 是否存在一种统一的代数结构——如具有Baxter化条目的'长元素'字——作为 $G(m,1,n)$ 中融合过程的基础？

主要发现

• 该融合过程通过在群环中对有理函数 $\Phi$ 进行逐次取值，构造出 $\mathbb{C}G(m,1,n)$ 中一组完全的、两两正交的本原幂等元。
• 当 $m=1$ 时，该过程退化为Molev对对称群 $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型的方式进行'Baxter化'。
• 正则化因子 $F_{\mathcal{T}}(u)$ 在 $u = c_{n+1}$ 处为正则，并取值为 $f_{\lambda^{(m)}}(f_{\mu^{(m)}})^{-1}$，确保了幂等元的正确归一化。