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

Basic Information

• Paper ID: 2403.08243
• Title: Spin characters of the symmetric group which are proportional to linear characters in characteristic 2
• Authors: Matthew Fayers (Queen Mary University of London), Eoghan McDowell (University of Bristol)
• Classification: math.RT (Representation Theory)
• Published Journal: Annals of Representation Theory 2(1) (2025), pp. 37–83
• Paper Link: https://arxiv.org/abs/2403.08243

Abstract

For finite groups, determining when two ordinary irreducible representations have the same $p$-modular reduction is an interesting problem; that is, determining when two rows of the decomposition matrix in characteristic $p$ are equal, or equivalently, when the corresponding $p$-modular Brauer characters coincide. This paper completes this task for 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, the authors obtain a more general result: they determine when an irreducible spin representation has a $2$-modular Brauer character proportional to a Specht module. In the proof, the authors use induction and restriction functors to construct functions on generalized characters whose effect is to swap runners in the abacus display of marked partitions.

Research Background and Motivation

Core Problem

The core problem addressed in this research is: for double covers $\hat{S}_n$ of the symmetric group, when is the $2$-modular reduction of an irreducible spin representation proportional to the $2$-modular reduction of a Specht module?

Problem Significance

1. Foundational Modular Representation Theory: This is a fundamental problem in modular representation theory, involving understanding the structure of decomposition matrices
2. Perfecting Symmetric Group Theory: Representation theory of the symmetric group and its double covers is a central research object in algebraic representation theory
3. Special Nature of Characteristic 2: The characteristic 2 case has special complexity and importance in modular representation theory

Current Research Status

The authors divide the problem into three cases:

1. Between Linear Characters: Already solved by Wildon; $\chi^{(\lambda)}=\chi^{(\mu)}$ if and only if $p=2$ and $\mu=\lambda'$
2. Between Spin Characters: Already solved by McDowell (when $p≠3$)
3. Between Linear and Spin Characters: This is precisely what the present paper addresses

Core Contributions

1. Complete Characterization Theorem: Provides necessary and sufficient conditions for spin characters to be proportional to linear characters
2. 4-stepped-and-semicongruent Concept: Introduces new partition property concepts
3. Runner-swapping Functions: Constructs new functions of independent value that can swap runners in abacus displays
4. Quotient-redistributing Functions: Develops another useful class of functor combinations
5. Application of RoCK Block Theory: Applies results to the study of RoCK blocks

Detailed Methodology

Core Definitions

4-stepped Property: For a strict partition $\alpha$, if for each part $\alpha_r > 4$, the integer $\alpha_r - 4$ is also a part of $\alpha$.

4-semicongruent Property: The odd parts of $\alpha$ are congruent modulo 4.

4-stepped-and-semicongruent: Simultaneously satisfies both properties above.

Main Theorem

Theorem 1.1: Let $\lambda$ be a partition of $n$ and $\alpha$ a strict partition of $n$. Then $\langle\alpha\rangle$ is proportional to $\chi^{(\lambda)}$ if and only if $\alpha$ is 4-stepped-and-semicongruent and $\lambda \in \{\alpha^{\circ}, \alpha'^{\circ}\}$. In this case, $\langle\alpha\rangle = 2^{\lfloor e/2\rfloor}\chi^{(\lambda)}$, where $e$ is the number of even parts of $\alpha$.

Technical Tools

Runner-swapping Functions

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

Effect:

• On partitions $\lambda$: $S_{\epsilon}^{(\Delta_{\epsilon}\lambda)} \chi^{(\lambda)} = \pm \chi^{(\lambda^{*\epsilon})}$
• On strict partitions $\alpha$: $S_{\epsilon}^{(\dot{\Delta}_{\epsilon}\alpha)} \langle\langle\alpha\rangle\rangle = \pm \langle\langle\alpha^{\diamond\epsilon}\rangle\rangle$

Quotient-redistributing Functions

Definition: $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)}$

Application to RoCK Blocks: Can redistribute components of the 2-quotient while preserving the 2-core.

Proof Strategy

"Only If" Direction (Section 4)

Uses induction to prove: if $\alpha$ is proportional, then $\alpha$ is 4-stepped-and-semicongruent.

Main Steps:

1. Utilize constraints from the regularization theorem
2. Apply the Murnaghan-Nakayama-Morris rule
3. Use modular branching rules
4. Improve bounds by considering fully occupied ladders
5. Derive 4-semicongruence from partially occupied ladders
6. Use hook length to exclude configurations
7. Prove the 4-stepped property

"If" Direction (Sections 5-7)

Strategy:

1. First prove the homogeneous case (Section 5.1)
2. Propagate proportionality using runner-swapping and quotient-redistributing functions

Homogeneous Case: For $\alpha = \bar{\kappa}_a \sqcup 2\kappa_r$ (where $a \geq r-1$), prove that $\langle\langle\alpha\rangle\rangle \propto \chi^{(\alpha^{\circ})}$.

Experimental Results and Applications

Concrete Examples

Example 1.3: Decomposition matrix of $\hat{S}_4$ in characteristic 2 shows:

• $\{\chi^{(4)}, \chi^{(1^4)}\}$ and $\{\chi^{(3,1)}, \chi^{(2,1^2)}\}$ are conjugate pairs
• $\{\langle 4\rangle^+, \langle 4\rangle^-\}$ are associated pairs
• $\chi^{(2^2)} = \langle 4\rangle^+ = \langle 4\rangle^-$ predicted by the main theorem

Example 1.5: $\alpha = (12,8,7,4,3,2)$ is 4-stepped-and-semicongruent; the main theorem asserts: $\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)}$

Corollary Results

Corollary 1.2: Equality of Brauer characters ($\langle\alpha\rangle = \chi^{(\lambda)}$) occurs only in blocks of weight 0, 1, or 2, and only when:

• $\alpha = \kappa \sqcup \eta$, where $\kappa$ has the form $(...,9,5,1)$ or $(...,11,7,3)$, and $\eta \in \{\emptyset, (2), (4)\}$
• $\lambda$ has 2-core $\text{dbl}(\kappa)$ and appropriate 2-quotient

Related Work

Historical Background

1. Schur (1911): Classification of spin characters
2. Brauer-Robinson Theorem: Characterization of block structure
3. James Regularization Theorem: Fundamental tool for modular reduction
4. Bessenrodt-Olsson Theorem: Regularization theorem for double covers

Related Research

1. Wildon (2008): Characterization of equality of linear characters
2. McDowell (2024): Characterization of equality of spin characters
3. James-Mathas: Classification of irreducible Specht modules
4. Scopes: Morita equivalence theory

Conclusions and Discussion

Main Conclusions

1. Completely resolves the problem of when spin characters are proportional to linear characters in double covers of the symmetric group
2. The introduced runner-swapping functions have independent theoretical value
3. Results can be understood as the action of the affine Weyl group on the set of partitions

Theoretical Significance

1. Perfecting Modular Representation Theory: Fills an important gap in representation theory of double covers of the symmetric group
2. Technical Innovation: The developed function tools may have broader applications
3. Connecting Different Theories: Links partition combinatorics, modular representation theory, and affine Weyl group theory

Limitations

1. Specific to Characteristic 2: Results primarily address the characteristic 2 case
2. Technical Complexity: Proofs involve extensive technical details and case analysis
3. Scope of Application: Mainly limited to the symmetric group and its double covers

In-Depth Evaluation

Strengths

1. Problem Importance: Resolves a fundamental problem in representation theory
2. Completeness of Results: Provides complete characterization with necessary and sufficient conditions
3. Technical Innovation: Introduced function tools have independent value
4. Rigorous Proof: Uses multiple techniques for complete proof

Technical Highlights

1. Clever Application of Abacus Combinatorics: Understands partition structure through abacus displays
2. Innovative Use of Induction and Restriction Functors: Constructs functions with specific effects
3. Application of RoCK Block Theory: Utilizes structure of special blocks to simplify problems

Impact

1. Theoretical Contribution: Provides new understanding of symmetric group representation theory
2. Methodological Value: Developed techniques may apply to research on other groups
3. Future Research: Provides new tools and perspectives for related problems

Applicable Scenarios

1. Algebraic Representation Theory Research: Particularly modular representation theory of finite groups
2. Symmetric Function Theory: Research related to Schur functions and P-functions
3. Combinatorial Mathematics: Research on partition theory and Young diagrams

References

The paper cites 44 important references covering classical and cutting-edge work in multiple fields including symmetric group representation theory, modular representation theory, and combinatorial mathematics, reflecting the depth and breadth of the research.

Through introducing new combinatorial concepts and constructing innovative function tools, this paper completely resolves a fundamental representation-theoretic problem in double covers of the symmetric group. It not only possesses important theoretical value but also provides new tools and methods for research in related fields.