Specht Modules With Trivial Direct Summands

本文研究特征为2的域上对称群Specht模的平凡直和项问题。在该特征下，平凡表示与符号表示同构，故仅存在唯一的不可约一维模。Murphy早先已完全刻画了钩形分拆对应的Specht模何时含一维直和项；而对非钩形分拆，Collins–Dodge及Dodge–Van Vlack曾提出一般性问题：是否存在非钩形分拆λ使得Spλ含有平凡直和项？本文对该问题给出否定回答。借助KLR代数的分次结构及Hudak近期建立的分次Hom空间计算定理，结合Kleshchev–Mathas–Ram关于分次Specht模的行/列对偶性与共轭公式，作者系统分析了从分次Specht模到平凡模的分次Hom空间的维数与次数。关键在于：若Spλ含平凡直和项，则自然嵌入i_λ与自然满射p_λ的复合必须是非零恒等映射，从而其总次数须为0；但对任意非钩形分拆λ，通过精细计算a(λ)、a(λ′)与缺陷数D(λ)，证明deg(i_λ)+deg(p_λ)=−⌈E(λ)/2⌉<0，产生矛盾。由此得出核心结论：在特征2下，非钩形分拆对应的Specht模绝不可能含有平凡直和项。结合Murphy对钩形情形的分类，本文最终完成了特征2下Specht模平凡直和项的完整刻画——仅当λ为满足n为奇数、r为偶数且二项式系数C(n−1,r)为奇数的钩形分拆(n−r,1^r)时，Spλ才含有平凡直和项。该结果彻底解决了Collins–Dodge提出的公开问题，并凸显了分次表示论工具在经典模表示问题中的强大效力。