2025-11-21T23:58:15.630006

Spin characters of the symmetric group which are proportional to linear characters in characteristic 2

Fayers, McDowell

For a finite group, it is interesting to determine when two ordinary irreducible representations have the same $p$-modular reduction; that is, when two rows of the decomposition matrix in characteristic $p$ are equal, or equivalently when the corresponding $p$-modular Brauer characters are the same. We complete this task for the double covers of the symmetric group when $p=2$, by determining when the $2$-modular reduction of an irreducible spin representation coincides with a $2$-modular Specht module. In fact, we obtain a more general result: we determine when an irreducible spin representation has $2$-modular Brauer character proportional to that of a Specht module. In the course of the proof, we use induction and restriction functors to construct a function on generalised characters which has the effect of swapping runners in abacus displays for the labelling partitions.

academic

Spin characters of the symmetric group which are proportional to linear characters in characteristic 2

基本信息

论文ID: 2403.08243
标题: Spin characters of the symmetric group which are proportional to linear characters in characteristic 2
作者: Matthew Fayers (Queen Mary University of London), Eoghan McDowell (University of Bristol)
分类: math.RT (Representation Theory)
发表期刊: Annals of Representation Theory 2(1) (2025), pp. 37–83
论文链接: https://arxiv.org/abs/2403.08243

摘要

对于有限群，确定两个普通不可约表示何时具有相同的 $p$ -模约化是一个有趣的问题；即确定特征 $p$ 下分解矩阵的两行何时相等，或等价地，相应的 $p$ -模Brauer特征标何时相同。本文完成了当 $p=2$ 时对称群双覆盖的这一任务，通过确定不可约旋转表示的 $2$ -模约化何时与 $2$ -模Specht模重合。实际上，作者得到了一个更一般的结果：确定了不可约旋转表示何时具有与Specht模成比例的 $2$ -模Brauer特征标。在证明过程中，作者使用归纳和限制函子构造了广义特征标上的函数，其效果是在标记分拆的算盘显示中交换跑道。

研究背景与动机

核心问题

本研究解决的核心问题是：对于对称群的双覆盖 $\hat{S}_n$ ，何时一个不可约旋转表示(spin representation)的 $2$ -模约化与一个Specht模的 $2$ -模约化成比例？

问题重要性

表示论基础理论：这是模表示论中的基本问题，涉及分解矩阵的结构理解
对称群理论完善：对称群及其双覆盖的表示论是代数表示论的核心研究对象
特征2的特殊性：特征2情况在模表示论中具有特殊的复杂性和重要性

现有研究状况

作者将问题分为三种情况：

线性特征标之间：已由Wildon解决，当且仅当 $p=2$ 且 $\mu=\lambda'$ 时 $\chi^{(\lambda)}=\chi^{(\mu)}$
旋转特征标之间：已由McDowell解决（当 $p≠3$ 时）
线性与旋转特征标之间：这正是本文要解决的情况

核心贡献

完全刻画定理：给出了旋转特征标与线性特征标成比例的充分必要条件
4-stepped-and-semicongruent概念：引入了新的分拆性质概念
runner-swapping函数：构造了具有独立价值的新函数，可以交换算盘显示中的跑道
quotient-redistributing函数：开发了另一类有用的函子组合
RoCK块理论应用：将结果应用到RoCK块的研究中

方法详解

核心定义

4-stepped性质：对于严格分拆 $\alpha$ ，如果对每个部分 $\alpha_r > 4$ ，整数 $\alpha_r - 4$ 也是 $\alpha$ 的一个部分。

4-semicongruent性质： $\alpha$ 的奇数部分模4同余。

4-stepped-and-semicongruent：同时满足上述两个性质。

主要定理

定理1.1：设 $\lambda$ 是 $n$ 的分拆， $\alpha$ 是 $n$ 的严格分拆。则 $\langle\alpha\rangle$ 与 $\chi^{(\lambda)}$ 成比例当且仅当 $\alpha$ 是4-stepped-and-semicongruent且 $\lambda \in \{\alpha^{\circ}, \alpha'^{\circ}\}$ 。此时， $\langle\alpha\rangle = 2^{\lfloor e/2\rfloor}\chi^{(\lambda)}$ ，其中 $e$ 是 $\alpha$ 的偶数部分个数。

技术工具

Runner-swapping函数

定义： $S_{\epsilon}^{(c)} = \sum_{a \geq \max\{0,-c\}} (-1)^{a+c} f_{\epsilon}^{(a+c)} e_{\epsilon}^{(a)}$

作用效果：

对分拆 $\lambda$ ： $S_{\epsilon}^{(\Delta_{\epsilon}\lambda)} \chi^{(\lambda)} = \pm \chi^{(\lambda^{*\epsilon})}$
对严格分拆 $\alpha$ ： $S_{\epsilon}^{(\dot{\Delta}_{\epsilon}\alpha)} \langle\langle\alpha\rangle\rangle = \pm \langle\langle\alpha^{\diamond\epsilon}\rangle\rangle$

Quotient-redistributing函数

定义： $R_{\epsilon}^{(d)} = \sum_{a \geq \max\{0,-d\}} (-1)^{a+d} f_{\epsilon}^{(a+d)} f_{\bar{\epsilon}}^{(a+d)} e_{\bar{\epsilon}}^{(a)} e_{\epsilon}^{(a)}$

应用于RoCK块：可以在保持2-core不变的情况下重新分布2-quotient的组件。

证明策略

"仅当"方向证明（第4节）

使用归纳法证明：如果 $\alpha$ 是比例的(proportional)，则 $\alpha$ 是4-stepped-and-semicongruent。

主要步骤：

利用正则化定理的约束条件
应用Murnaghan-Nakayama-Morris规则
使用模分支规则
通过考虑完全占据的梯子改进界限
通过部分占据的梯子推导4-semicongruence
使用钩长排除配置
证明4-stepped性质

"当"方向证明（第5-7节）

策略：

首先证明齐次情况（第5.1节）
使用runner-swapping和quotient-redistributing函数传播比例性质

齐次情况：对于 $\alpha = \bar{\kappa}_a \sqcup 2\kappa_r$ （其中 $a \geq r-1$ ），证明 $\langle\langle\alpha\rangle\rangle \propto \chi^{(\alpha^{\circ})}$ 。

实验结果与应用

具体例子

例子1.3： $\hat{S}_4$ 在特征2下的分解矩阵显示：

$\{\chi^{(4)}, \chi^{(1^4)}\}$ 和 $\{\chi^{(3,1)}, \chi^{(2,1^2)}\}$ 是共轭对
$\{\langle 4\rangle^+, \langle 4\rangle^-\}$ 是关联对
$\chi^{(2^2)} = \langle 4\rangle^+ = \langle 4\rangle^-$ 由主定理预测

例子1.5： $\alpha = (12,8,7,4,3,2)$ 是4-stepped-and-semicongruent，主定理断言： $\langle 12,8,7,4,3,2\rangle = 4\chi^{(12,9,6,3^2,1^3)} = 4\chi^{(8,5^2,3^3,2^3,1^3)}$

推论结果

推论1.2：Brauer特征标相等( $\langle\alpha\rangle = \chi^{(\lambda)}$ )仅在权重0、1或2的块中发生，且仅当：

$\alpha = \kappa \sqcup \eta$ ，其中 $\kappa$ 形如 $(...,9,5,1)$ 或 $(...,11,7,3)$ ， $\eta \in \{\emptyset, (2), (4)\}$
$\lambda$ 有2-core $\text{dbl}(\kappa)$ 和适当的2-quotient