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

대칭군의 스핀 특성표가 특성 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 (표현론)
발표 저널: 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에 의해 해결됨. $\chi^{(\lambda)}=\chi^{(\mu)}$ ⟺ $p=2$ 이고 $\mu=\lambda'$
스핀 특성표 간: 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$ 가 비례하면 $\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을 가짐