[论文解读] Projective reflection groups

Fabrizio Caselli|ArXiv.org|Feb 4, 2009

Advanced Combinatorial Mathematics参考文献 10被引用 4

一句话总结

本文引入了射影反射群，作为复反射群的推广，将组合学与表示论拓展至经典情形之外。它建立了群 $G = G(r,p,q,n)$ 及其对偶群 $G^* = G(r,q,p,n)$ 之间的对偶性，表明在伽罗瓦自同构作用下，对角不变量的Hilbert级数由下降表示控制，并通过涉及对偶群不可约特征标的生成函数进行刻画。

ABSTRACT

We introduce the class of projective reflection groups which includes all complex reflection groups. We show that several aspects involving the combinatorics and the representation theory of all non exceptional irreducible complex reflection groups find a natural description in this wider setting.

研究动机与目标

• 将复反射群的组合学与表示论推广至例外情形和半直积情形之外。
• 通过不变量理论与对称幂，定义并研究一类新群——射影反射群。
• 建立 $G(r,p,q,n)$ 与 $G^* = G(r,q,p,n)$ 之间的对偶性，推广半直积情形下的已知结果。
• 解决Barcelo、Reiner与Stanton提出的问题：关于伽罗瓦扭对角不变量模的Hilbert级数。
• 将Robinson-Schensted对应关系推广至射影反射群，并将其与下降表示联系起来。

提出的方法

• 将射影反射群定义为 $W/C_q$，其中 $W$ 是包含 $q$ 次单位根标量矩阵的复反射群。
• 利用 $G$ 在 $q$ 次对称幂 $S^q(V)$ 上的作用，定义其在 $S_q[V^*]$（齐次多项式代数）上的自然作用，并研究其不变量。
• 引入 $G(r,p,q,n)$ 的余不变代数，并利用表格与分拆的组合数据构造其单项基。
• 通过余不变代数的分解定义下降表示，并利用其分析 $\Delta^\sigma G$（伽罗瓦自同构的图）作用下的对角不变量。
• 应用特征标理论与内积，计算对角不变量的Hilbert级数，将其表示为 $G$ 的不可约特征标的之和。
• 利用 $G$ 与 $G^*$ 之间的对偶性，将Hilbert级数用 $G^*$ 的特征标表达，从而得到一个精化的生成函数。

实验结果

研究问题

• RQ1 非半直积复反射群的组合学与表示论如何推广至已知的 $G(r,n)$ 与单系群结果之外？
• RQ2 $G(r,p,q,n)$ 的对角不变量在伽罗瓦自同构 $\sigma$ 作用下的结构是什么？
• RQ3 $G(r,p,q,n)$ 与 $G^* = G(r,q,p,n)$ 之间的对偶性在对角不变量的Hilbert级数中如何体现？
• RQ4 Robinson-Schensted对应关系能否有意义地推广至射影反射群，其在计算Hilbert级数中起什么作用？
• RQ5 $\Delta^\sigma G$-不变子代数 $S_q[X_1,X_2]^{G\times G}$ 的Hilbert级数的生成函数的精确形式是什么？

主要发现

• 在 $S_q[X_1,X_2]^{G\times G}$ 中，$\Delta^\sigma G$-不变子代数的Hilbert级数为 $G^\sigma(Y_1,Y_2) = \sum_{\phi \in \mathrm{Irr}(G)} f^{\sigma\phi}(Y_1) f^{\bar{\phi}}(Y_2)$，其中 $f^\phi$ 为不可约表示的生成函数。
• 该结果通过证明 $G^\sigma(Y_1,Y_2) = \sum_{g \in G^*} Y_1^{\lambda(g^\sigma)} Y_2^{\lambda(g^{-1})}$ 得到精化，明确将生成函数与对偶群 $G^*$ 联系起来。
• 未精化的版本 $G^\sigma(y_1,y_2) = \sum_{g \in G^*} y_1^{\mathrm{fmaj}(g^\sigma)} y_2^{\mathrm{fmaj}(g^{-1})}$ 回答了BRS中的问题6.3。
• $G(r,p,q,n)$ 的下降表示被证明在余不变代数的分解与对角不变量的计算中起关键作用。
• 通过标准杨表与分拆数据，成功构造了 $G(r,p,q,n)$ 余不变代数的单项基。
• 对偶性 $G \leftrightarrow G^*$ 被证明是核心：$G^*$ 的表示理论控制了 $G$ 在伽罗瓦扭下对角不变量的结构。