[论文解读] Representation theory of the 0-Ariki-Koike-Shoji algebras

Florent Hivert, Jean-Christophe Novelli+1 more|ArXiv.org|Jul 13, 2004

Algebraic structures and combinatorial models参考文献 18被引用 5

一句话总结

本文研究了 0-Ariki-Koike-Shoji 代数的表示理论，即 Ariki-Koike 代数在 q=0 时的特化。它对简单模和投射模进行了分类，将格罗滕迪克环与组合 Hopf 代数（特别是 Poirier 的 quasi-symmetric 函数和 Mantaci-Reutenauer 下降代数）相联系，并通过带色 compositions 和 ribbons 显式给出了诱导、限制、Cartan 不变量和分解矩阵的公式。

ABSTRACT

We investigate the representation theory of certain specializations of the Ariki-Koike algebras, obtained by setting $q=0$ in a suitably normalized version of Shoji's presentation. We classify the simple and projective modules, and describe restrictions, induction products, Cartan invariants and decomposition matrices. This allows us to identify the Grothendieck rings of the towers of algebras in terms of certain graded Hopf algebras known as the Mantaci-Reutenauer descent algebras, and Poirier Quasi-symmetric functions.

研究动机与目标

• 对 0-Ariki-Koike-Shoji 代数的简单模和投射模进行分类，表明所有简单模都是一维的，并由称为循环 ribbons 的组合对象参数化。
• 将投射模的格罗滕迪克环与 Mantaci-Reutenauer 下降代数、简单模的格罗滕迪克环与 Poirier 的 quasi-symmetric 函数相联系。
• 使用带色 compositions 和 ribbon 乘法规则描述模上的诱导和限制运算。
• 通过从 Mantaci-Reutenauer 代数到对称函数以及 Poirier 基的映射，显式计算 Cartan 不变量和分解矩阵。
• 通过 Hopf 代数结构建立简单模与投射模的格罗滕迪克环之间的对偶性。

提出的方法

• 通过在 Shoji 的表示中令 $q=0$，对 0-Ariki-Koike-Shoji 代数 $\mathcal{H}_{n,r}(0)$ 进行特化定义。
• 引入一个特殊基，使用带色 compositions 和循环 ribbons 标记简单模与投射模。
• 建立 ribbon 基元素的乘法规则：若 $u_p \neq v_1$，则 $R_{(I,u)}R_{(J,v)} = R_{(I,u)\cdot(J,v)}$；若 $u_p = v_1$，则 $R_{(I,u)\triangleright(J,v)}$。
• 构造一个同构 $\mathbf{ch}: \mathcal{K} \to \mathbf{MR}^{(r)}$，将投射模映射到 ribbon 元素，证明 $\mathcal{K}$ 同构于 Mantaci-Reutenauer 下降代数。
• 定义一个投影 $\pi: \mathbf{MR}^{(r)} \to \mathbf{Sym}$，将 $\mathcal{H}_{n,r}(0)$-投射模的类映射到其在 0-Hecke 代数 $H_n(0)$ 上的限制。
• 通过复合映射 $e: \mathbf{MR}^{(r)} \to \mathrm{Sym}^{(r)}$ 和 $d: \mathrm{Sym}^{(r)} \to \mathrm{QMR}^{(r)}$，利用 Poirier 基中的系数显式计算 Cartan 不变量和分解矩阵。

实验结果

研究问题

• RQ1 0-Ariki-Koike-Shoji 代数的简单模和投射模如何分类？
• RQ2 投射模的格罗滕迪克环 $\mathcal{K}$ 的结构是什么？它与已知 Hopf 代数有何关系？
• RQ3 0-Ariki-Koike-Shoji 代数中模上的诱导和限制运算如何表现？
• RQ4 0-Ariki-Koike-Shoji 代数的 Cartan 不变量和分解矩阵是什么？
• RQ5 如何代数地计算 $\mathcal{H}_{n,r}(0)$-模到 $H_n(0)$ 的限制？

主要发现

• 所有 $\mathcal{H}_{n,r}(0)$-简单模都是一维的，并由 $r(r+1)^{n-1}$ 个称为循环 ribbons 的组合对象参数化。
• 投射模的格罗滕迪克环 $\mathcal{K}$ 通过映射 $\mathbf{ch}$ 同构于 Mantaci-Reutenauer 下降代数 $\mathbf{MR}^{(r)}$，该映射将 $[P_{[K,\mathbf{c}]}]$ 映射到 $R_{(I,u)}$。
• $\mathcal{H}_{n,r}(0)$-投射模在 $H_n(0)$ 上的限制通过 Hopf 代数同态 $\pi: \mathbf{MR}^{(r)} \to \mathbf{Sym}$ 计算，该映射将 $S_j^{(i)}$ 映射到 $S_j$。
• $H_n(0)$-投射模 $P_I$ 的诱导在 $\mathcal{H}_{n,r}(0)$ 上分解为所有形状为 $I$ 的反循环 ribbons 的 $P_{[I,\mathbf{c}]}$ 的直和，其维数由此类 ribbons 的数量给出。
• Cartan 矩阵条目 $C_{[I,\mathbf{c}],[J,\mathbf{d}]}$ 是 $F_{[J,\mathbf{d}]}$ 在 $c(R_{[I,\mathbf{c}]}) = d \circ e(R_{[I,\mathbf{c}]})$ 中的系数，其中 $e$ 映射到 $h_j(X_i)$，$d$ 映射到 $F_{[(j),i^j]}$。
• 分解矩阵通过映射 $d$ 将 Schur 函数的张量积 $s_{\lambda^{(1)}}(X_1)\cdots s_{\lambda^{(r)}}(X_r)$ 表示为 Poirier 基 $F_{[I,\mathbf{c}]}$ 的形式。