[论文解读] Young module multiplicities and classifying the indecomposable Young permutation modules

Christopher C. Gill|arXiv (Cornell University)|Mar 28, 2012

Algebraic structures and combinatorial models参考文献 10被引用 3

一句话总结

本文建立了 $p$-Kostka 数字的新约化公式——即在特征为 $p$ 的域上，Young 模块在 Young 置换模中的重数。通过使用 Brauer 构造和 Young 顶点的组合学方法，证明了将分拆乘以 $p$ 会保持这些重数不变，并对不可约的 Young 置换模进行了分类，特别是针对 $p=2$ 的情形，揭示了 $M^\lambda$ 为不可约的精确条件。

ABSTRACT

We study the multiplicities of Young modules as direct summands of permutation modules on cosets of Young subgroups. Such multiplicities have become known as the p-Kostka numbers. We classify the indecomposable Young permutation modules, and, applying the Brauer construction for p-permutation modules, we give some new reductions for p-Kostka numbers. In particular we prove that p-Kostka numbers are preserved under multiplying partitions by p, and strengthen a known reduction given by Henke, corresponding to adding multiples of a p-power to the first row of a partition.

研究动机与目标

• 对对称群在正特征下的所有不可约 Young 置换模进行分类。
• 确定 $p$-Kostka 数字的新约化公式，这些数字用于计数置换模中 Young 模块的重数。
• 建立 $p$-Kostka 数字在分拆乘以 $p$ 下的不变性，扩展已知的稳定性结果。
• 通过证明在分拆的第一行加上 $p$-幂倍数时 $p$-Kostka 数字保持不变，强化了现有的约化方法。
• 通过新约化方法，建立 Schur 代数 $S(r,r)$ 与 $S(rp,rp)$ 的分解数之间的精确关系，从而实现算法化计算。

提出的方法

• 对 $p$-置换模应用 Brauer 构造，采用 Brou\'e 的框架，并利用 Erdmann 对 Young 模块 Brauer 商的描述。
• 通过 Young 顶点的组合分析，推导出 $p$-Kostka 数字的结构性质。
• 利用 Lucas 定理分析模 $p$ 下的二项式系数，特别是在重数计算的背景下。
• 建立 $p$-Kostka 数字与 Young 置换模的自同态代数结构之间的联系。
• 利用 $p$-核与块分解理论，分析模是否位于主块之外。
• 将新约化方法应用于从 $S(rp,rp)$ 的分解数推导 $S(r,r)$ 的分解数的算法。

实验结果

研究问题

• RQ1 在特征为 $p$ 的域上，Young 置换模 $M^\lambda$ 何时是不可约的？
• RQ2 当分拆乘以 $p$ 时，$p$-Kostka 数字的行为如何？
• RQ3 能否加强在分拆第一行加上 $p$-幂倍数时 $p$-Kostka 数字的约化结果？
• RQ4 分解数 $S(r,r)$ 与 $S(rp,rp)$ 之间的确切关系是什么？
• RQ5 当 $p=2$ 且 $r$ 为偶数时，哪些分拆 $\lambda$ 使得 $M^\lambda$ 是不可约的？

主要发现

• 将分拆乘以 $p$ 保持 $p$-Kostka 数字不变：对所有满足 $\lambda, \mu \vdash r$ 的分拆，有 $[M^{p\lambda}:Y^{p\mu}] = [M^\lambda:Y^\mu]$。
• 当 $p=2$ 且 $r$ 为偶数时，不可约的 Young 置换模 $M^\lambda$ 恰好是 $M^{(r)}$ 和 $M^{(r-k_i,k_i)}$，其中 $k_i$ 满足 $2^{i-1} \leq k_i < 2^i$ 且 $k_i \equiv \frac{r-2^n}{2} \mod 2^{i-1}$，$1 \leq i \leq n$，且 $2^n \leq r < 2^{n+1}$。
• 若 $M^\lambda$ 不可约，则 $M^{2\lambda}$ 也不可约，且在 $r$ 和 $2r$ 的不可约 $M^\lambda$ 之间存在双射，但需排除 $(2r-1,1)$。
• $p$-Kostka 数字在分拆第一部分加上 $p$-幂的整数倍时保持不变，强化了 Henke 的先前结果。
• 当 $p=2$ 且 $r$ 为偶数时，$M^{(r-j,j)}$ 不可约当且仅当 $r-2j$ 被 $2^{n_j}$ 整除，其中 $n_j$ 是满足 $2^{n_j-1} \leq j < 2^{n_j}$ 的最小整数。
• 通过新约化方法，$S(r,r)$ 的分解数可从 $S(rp,rp)$ 的分解数算法化地确定，特别是对于 $p$-核为空的分拆。