[论文解读] A new proof of the Mullineux conjecture

Jonathan Brundan, Jonathan R. Kujawa|arXiv (Cornell University)|Oct 7, 2002

Advanced Algebra and Geometry被引用 11

一句话总结

本文通过利用超群对偶性，提出了一种新的表示论证明方法来证明Mullineux猜想：它利用对称群 $S_n$ 与超群 $GL(n|n)$ 之间的Schur-Weyl对偶性，定义了一个在表示上的对合，该对合对应于与符号表示的张量积。关键结果是通过Serganova在 $GL(n|n)$ 上的算法直接计算Mullineux映射，该结果被证明与Xu的组合算法一致，从而在不依赖Kleshchev早期算法的前提下证明了该猜想。

ABSTRACT

Let S_d be the symmetric group on d letters and let k be a field of characteristic p>2. Tensoring an irreducible S_d module with the sign representation defines an involution on the p-regular partitions of d. It is suprisingly difficult to describe this involution combinatorially. Mullineux conjectured an algorithmic description in 1979. Kleshchev gave an entirely new algorithm describing the involution in 1996 and proved with Ford that it agrees with Mullineux's. Using the modular representation theory of the supergroup GL(m|n) we provide the first new proof of the Mullineux conjecture which is independent of Kleshchev's approach. Similar techniques allow us to classify the irreducible polynomial representations of GL(m|n), completing recent partial results by Donkin.

研究动机与目标

• 通过超群表示理论提供Mullineux猜想的新且直接的证明。
• 通过超群对偶性构造符号表示的扭转，从而绕过Kleshchev的算法。
• 证明Serganova在 $GL(n|n)$ 上的算法可组合地计算Mullineux映射。
• 建立超群 $GL(m|n)$ 与正特征下不可约多项式表示分类之间的联系。
• 通过新框架将Berele与Regev的“钩子定理”推广到正特征。

提出的方法

• 利用对称群 $S_n$ 与超群 $GL(n|n)$ 之间的Schur-Weyl对偶性，将 $S_n$ 的表示与 $GL(n|n)$ 的表示联系起来。
• 通过其外自同构在 $GL(n|n)$-表示上定义一个对合，该对合对应于与 $S_n$ 的符号表示的张量积。
• 应用Serganova算法计算 $GL(n|n)$ 的最高权模上的该对合，从而得到 $D^\lambda \otimes \mathrm{sgn}$ 的表示论构造。
• 将 $GL(m|n)$ 嵌入更大的超群 $GL(M|N)$，其中 $M \geq m$，$N = M - m$，以稳定最高权理论并促进计算。
• 使用投影 $\xi$ 将对应于 $GL(m|n)$ 的权空间映射，以将 $GL(M|N)$-模限制为 $S(m|n,d)$-模。
• 证明 $GL(m|n)$ 的结果最高权 $\lambda$ 满足 $j(t(\lambda)) \leq \lambda_m$，该条件刻画了正特征下的不可约多项式表示。

实验结果

研究问题

• RQ1 能否在不依赖Kleshchev算法的前提下，仅通过超群表示理论直接证明Mullineux猜想？
• RQ2 由其外自同构诱导的 $GL(n|n)$-表示上的对合是否对应于与 $S_n$ 的符号表示的张量积？
• RQ3 Serganova算法在计算该对合时是否与Xu的Mullineux映射组合算法等价？
• RQ4 如何对 $GL(m|n)$ 在正特征下的不可约多项式表示进行分类？
• RQ5 能否通过超群对偶性将Berele与Regev在特征零下的“钩子定理”推广到正特征？

主要发现

• 由外自同构诱导的 $GL(n|n)$-表示上的对合计算了 $D^\lambda \otimes \mathrm{sgn}$ 的标签，从而通过表示理论证明了Mullineux猜想。
• Serganova在 $GL(n|n)$ 上的算法与Xu的组合算法结果一致，为Mullineux猜想提供了新的直接证明。
• $GL(m|n)$ 在正特征下的不可约多项式表示的分类由条件 $j(t(\lambda)) \leq \lambda_m$ 给出，其中 $t(\lambda)$ 是权 $\lambda$ 的尾部。
• 该条件推广了Berele与Regev在特征零下的“钩子定理”，以及Sergeev的结果至正特征。
• 该证明完全绕过了Kleshchev的算法，通过超群对偶性为Mullineux猜想提供了更直接的路径。
• 通过构造 $GL(M|N)$ 且满足 $M \gg m$，$N = M - m$，稳定了最高权理论，并促成了关键条件 $j(t(\lambda)) \leq \lambda_m$ 的推导。