[论文解读] A Solomon descent theory for the wreath products G ~ S_n

Pierre Baumann, Christophe Hohlweg|arXiv (Cornell University)|Mar 1, 2005

Advanced Combinatorial Mathematics被引用 8

一句话总结

本文针对有限交换群 $G$，利用 Mantaci-Reutenauer 代数、拟对称函数以及 Specht 的表示理论，发展了一套类 Solomon 的下降理论，适用于半直积 $G wreath mathfrak{S}_n$。关键贡献在于在群环 $\mathbb{Z}[G \wr \mathfrak{S}_n]$ 中构造了一个子环 $\mathord{\mathsf{MR}}_n(\mathbb{Z}G)$，并建立了一个到表示环 $R(G \wr \mathfrak{S}_n)$ 的满射环同态，从而将 Solomon 的下降代数推广至半直积群。

ABSTRACT

We propose an analogue of Solomon's descent theory for the case of a wreath product G ~ S_n, where G is a finite abelian group. Our construction mixes a number of ingredients: Mantaci-Reutenauer algebras, Specht's theory for the representations of wreath products, Okada's extension to wreath products of the Robinson-Schensted correspondence, Poirier's quasisymmetric functions. We insist on the functorial aspect of our definitions and explain the relation of our results with previous work concerning the hyperoctaedral group.

研究动机与目标

• 将 Solomon 的下降代数理论从 Coxeter 群推广至有限交换群 $G$ 的半直积 $G \wr \mathfrak{S}_n$。
• 在群环 $\mathbb{Z}[G \wr \mathfrak{S}_n]$ 内构造一个子环 $\mathord{\mathsf{MR}}_n(\mathbb{Z}G)$，以捕捉下降结构。
• 建立一个满射环同态 $\theta_G: \mathord{\mathsf{MR}}_n(\mathbb{Z}G) \to R(G \wr \mathfrak{S}_n)$，将表示理论提升至群环。
• 通过在 $\mathbb{Z}G$ 上构造自由拟对称代数，将 Malvenuto–Reutenauer 双代数框架推广至半直积群。

提出的方法

• 在 $\mathbb{Z}$-模 $V$ 上定义自由拟对称代数 $\mathscr{F}(V)$，赋予外积与余积，使其成为分次双代数。
• 将 Mantaci-Reutenauer 双代数 $\mathord{\mathsf{MR}}(V)$ 构造为 $\mathscr{F}(V)$ 的子双代数，当 $V$ 自由时，其成为自由结合代数。
• 利用 $\mathbb{Z}$-模的对偶性，通过配对关联 $\mathscr{F}(V)$ 与 $\mathscr{F}(W)$，当 $V$ 自对偶时保证其自对偶性。
• 引入 $B$-分解与 $l$-向量分解，以参数化拟对称函数，并在 $\mathbf{sr}(\mathbf{I})$ 上定义偏序关系 $\preccurlyeq$。
• 定义以 $B$-分解为指标的正式幂级数 $F_{\mathbf{c}}$，并通过计数矩阵构造证明其等于拟带状函数 $F_{\mathbf{K}(\mathbf{c})}$。
• 证明 $\mathord{\mathrm{QSym}}(B)$（彩色拟对称函数代数）可嵌入至 $\mathord{\mathit{QSym}^{(l)}}$（层级-$l$ 拟对称函数）中作为子代数。

实验结果

研究问题

• RQ1 能否将 Solomon 的下降代数构造从 Coxeter 群推广至有限交换群 $G$ 的半直积 $G \wr \mathfrak{S}_n$？
• RQ2 群环 $\mathbb{Z}[G \wr \mathfrak{S}_n]$ 的哪个子环支持到表示环 $R(G \wr \mathfrak{S}_n)$ 的环同态？
• RQ3 Mantaci-Reutenauer 代数与拟对称函数在半直积群环的背景下如何相互作用？
• RQ4 $l$-向量分解及其偏序关系在参数化下降基中起什么作用？
• RQ5 在 $V = \mathbb{Z}G$ 上构造的自由拟对称代数 $\mathscr{F}(V)$ 如何统一对称群与半直积群的双代数结构？

主要发现

• 当 $G$ 为有限交换群时，群环 $\mathbb{Z}[G \wr \mathfrak{S}_n]$ 中的子环 $\mathord{\mathsf{MR}}_n(\mathbb{Z}G)$ 同构于一个自由结合代数。
• 存在一个满射环同态 $\theta_G: \mathord{\mathsf{MR}}_n(\mathbb{Z}G) \to R(G \wr \mathfrak{S}_n)$，将 $G \wr \mathfrak{S}_n$ 的特征理论提升至群环。
• 与 $B$-分解 $\mathbf{c}$ 关联的正式幂级数 $F_{\mathbf{c}}$ 等于拟带状函数 $F_{\mathbf{K}(\mathbf{c})}$，其中 $\mathbf{K}(\mathbf{c})$ 是唯一满足 $\mathbf{c} \preccurlyeq \mathord{\mathbf{sr}}(\mathbf{K}(\mathbf{c}))$ 的 $l$-向量分解。
• $\mathord{\mathrm{QSym}}(B)$（彩色拟对称函数代数）可嵌入为 $\mathord{\mathit{QSym}^{(l)}}$（层级-$l$ 拟对称函数）的子代数。
• $\mathbb{Z}G$ 上的分次双代数 $\mathscr{F}(\mathbb{Z}G)$ 推广了 Malvenuto–Reutenauer 构造，并在 $\mathbb{Z}G$ 自对偶时支持自对偶结构。
• 代数 $\mathscr{F}(V)$ 的构造是函子性的，且与对偶性相容，从而为半直积群的下降代数提供统一框架。