[论文解读] On the Brauer constructions and generic Jordan types of Young modules

Yu Jiang, Kay Jin Lim+1 more|arXiv (Cornell University)|Jul 13, 2017

Algebraic structures and combinatorial models参考文献 11被引用 6

一句话总结

本文建立了有限对称群在正特征下，Young模的Brauer构造维数与其稳定通用Jordan型之间的直接联系。文章引入了“轨道数”——仅依赖于p-子群轨道类型的不变量——用于计算Young模的稳定Jordan型指数r。对于两部分划分，作者利用p进展开和勾长公式，推导出显式闭式表达式，解决了对称群表示理论中的一个关键问题。

ABSTRACT

Let p be a prime number. We study the dimensions of Brauer constructions of Young and Young permutation modules with respect to p-subgroups of the symmetric groups. They depend only on partitions labelling the modules and the orbits of the action of the p-subgroups, and are related to their generic Jordan types. We obtain some reductive formulae and, in the case of two-part partitions, make some explicit calculation.

研究动机与目标

• 理解对称群在特征p下Young模与Young置换模的Brauer构造维数。
• 将这些维数与模限制到初等阿贝尔p-子群时的稳定通用Jordan型相关联。
• 定义并计算“轨道数”——仅依赖于p-子群轨道类型的不变量——以捕捉稳定Jordan型[1]^r中的指数r。
• 针对两部分划分，利用p进展开和勾长公式，推导轨道数的显式公式。
• 通过轨道数为计算对称群不可约投射模的维数这一开放问题做出贡献。

提出的方法

• 作者使用Brauer构造函子，将Young模的结构与正规化子商群上的投射模联系起来。
• 他们将“轨道数”定义为Young模关于p-子群P的Brauer构造的维数，该维数仅依赖于P在{1,…,n}上的轨道类型。
• 他们应用通用Jordan型理论，特别是稳定Jordan型[1]^r，并证明r等于Brauer构造的维数。
• 对于两部分划分，他们将划分(a,b)的p进分解为数字(x_i, y_i)，并应用勾长公式计算Specht模的维数。
• 他们推导出一个包含二项式系数和克罗内克δ函数δ(x_i, y_i)的约化公式，以处理p-权为1的分量。
• 该方法依赖于模表示理论中的已知结果，包括Brauer对偶性、权1块的结构，以及块之间的Morita等价。

实验结果

研究问题

• RQ1 Young模的Brauer构造维数如何与它们在初等阿贝尔p-子群上的稳定通用Jordan型相关？
• RQ2 哪些p-子群的不变量决定了Young模分解[1]^r中稳定Jordan型指数r？
• RQ3 对于两部分划分，轨道数（即Brauer构造的维数）能否用p进数字显式计算？
• RQ4 p核心与p-权在决定特征p下Young模结构中起什么作用？
• RQ5 是否存在Young模对应于两部分划分的轨道数的闭式表达公式？

主要发现

• Young模Y^λ关于p-子群P的Brauer构造维数等于Y^λ限制到任意初等阿贝尔p-子群E时的稳定通用Jordan型[1]^r中的指数r。
• 轨道数定义为dim_F Y^λ(P)，仅依赖于P在{1,…,n}上的轨道类型，而与P的具体选择无关。
• 对于划分(n-1,1)，若p整除n，则轨道数为a_0；否则为a_0 - 1，其中a_0是P的不动点数。
• 对于两部分划分λ = (a,b)，轨道数y_{λ,𝒪_λ}由p进数字(x_i, y_i)的乘积给出，形式为(x_i + 2y_i - 1 choose y_i)，并附加一个涉及δ(x_i, y_i)的修正项，当x_i < p-1且x_i + y_i + 1 ≥ p时生效。
• 该公式结合了Specht模维数的勾长公式，并通过δ函数考虑了p-权为1的分量。
• 结果为两部分情形下的轨道数提供了闭式表达，为对称群表示理论中投射模维数的计算提供了一种新工具。