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.
- ID Articolo: 2403.08243
- Titolo: Spin characters of the symmetric group which are proportional to linear characters in characteristic 2
- Autori: Matthew Fayers (Queen Mary University of London), Eoghan McDowell (University of Bristol)
- Classificazione: math.RT (Teoria della Rappresentazione)
- Rivista di Pubblicazione: Annals of Representation Theory 2(1) (2025), pp. 37–83
- Link Articolo: https://arxiv.org/abs/2403.08243
Per i gruppi finiti, determinare quando due rappresentazioni irriducibili ordinarie hanno la stessa riduzione p-modulare è un problema interessante; cioè, determinare quando due righe della matrice di decomposizione in caratteristica p sono uguali, o equivalentemente, quando i corrispondenti caratteri di Brauer p-modulari coincidono. Questo articolo completa questo compito per i rivestimenti doppi del gruppo simmetrico quando p=2, determinando quando la riduzione 2-modulare di una rappresentazione di spin irriducibile coincide con un modulo di Specht 2-modulare. In realtà, gli autori ottengono un risultato più generale: determinano quando una rappresentazione di spin irriducibile possiede un carattere di Brauer 2-modulare proporzionale a un modulo di Specht. Nella dimostrazione, gli autori utilizzano funtori di induzione e restrizione per costruire funzioni su caratteri generalizzati, il cui effetto è scambiare i corridoi nella visualizzazione dell'abaco delle partizioni marcate.
Il problema centrale affrontato da questa ricerca è: per il rivestimento doppio S^n del gruppo simmetrico, quando la riduzione 2-modulare di una rappresentazione di spin irriducibile è proporzionale alla riduzione 2-modulare di un modulo di Specht?
- Teoria Fondamentale della Rappresentazione Modulare: Questo è un problema fondamentale nella teoria della rappresentazione modulare, che riguarda la comprensione della struttura della matrice di decomposizione
- Completamento della Teoria del Gruppo Simmetrico: La teoria della rappresentazione del gruppo simmetrico e dei suoi rivestimenti doppi è un oggetto centrale di ricerca nella teoria della rappresentazione algebrica
- Specificità della Caratteristica 2: Il caso di caratteristica 2 nella teoria della rappresentazione modulare presenta una complessità e un'importanza particolare
Gli autori dividono il problema in tre casi:
- Tra Caratteri Lineari: Già risolto da Wildon, χ(λ)=χ(μ) se e solo se p=2 e μ=λ′
- Tra Caratteri di Spin: Già risolto da McDowell (quando p=3)
- Tra Caratteri Lineari e di Spin: Questo è esattamente il caso affrontato nel presente articolo
- Teorema di Caratterizzazione Completa: Fornisce condizioni necessarie e sufficienti affinché i caratteri di spin siano proporzionali ai caratteri lineari
- Concetto di 4-stepped-and-semicongruent: Introduce una nuova proprietà delle partizioni
- Funzione runner-swapping: Costruisce una nuova funzione di valore indipendente che può scambiare i corridoi nella visualizzazione dell'abaco
- Funzione quotient-redistributing: Sviluppa un'altra classe utile di composizioni di funtori
- Applicazione della Teoria dei Blocchi RoCK: Applica i risultati allo studio dei blocchi RoCK
Proprietà 4-stepped: Per una partizione stretta α, se per ogni parte αr>4, l'intero αr−4 è anche una parte di α.
Proprietà 4-semicongruent: Le parti dispari di α sono congruenti modulo 4.
Proprietà 4-stepped-and-semicongruent: Soddisfa simultaneamente entrambe le proprietà precedenti.
Teorema 1.1: Sia λ una partizione di n e α una partizione stretta di n. Allora ⟨α⟩ è proporzionale a χ(λ) se e solo se α è 4-stepped-and-semicongruent e λ∈{α∘,α′∘}. In questo caso, ⟨α⟩=2⌊e/2⌋χ(λ), dove e è il numero di parti pari di α.
Definizione: Sϵ(c)=∑a≥max{0,−c}(−1)a+cfϵ(a+c)eϵ(a)
Effetto dell'Azione:
- Su partizioni λ: Sϵ(Δϵλ)χ(λ)=±χ(λ∗ϵ)
- Su partizioni strette α: Sϵ(Δ˙ϵα)⟨⟨α⟩⟩=±⟨⟨α⋄ϵ⟩⟩
Definizione: Rϵ(d)=∑a≥max{0,−d}(−1)a+dfϵ(a+d)fϵˉ(a+d)eϵˉ(a)eϵ(a)
Applicazione ai Blocchi RoCK: Consente di ridistribuire i componenti del 2-quoziente mantenendo invariato il 2-core.
Utilizza l'induzione per provare: se α è proporzionale, allora α è 4-stepped-and-semicongruent.
Passaggi Principali:
- Utilizzo dei vincoli del teorema di normalizzazione
- Applicazione della regola di Murnaghan-Nakayama-Morris
- Uso delle regole di ramificazione modulare
- Miglioramento dei limiti considerando le scale completamente occupate
- Derivazione della 4-semicongruence attraverso scale parzialmente occupate
- Utilizzo dell'esclusione della configurazione della lunghezza del gancio
- Dimostrazione della proprietà 4-stepped
Strategia:
- Prima si prova il caso omogeneo (Sezione 5.1)
- Si utilizzano le funzioni runner-swapping e quotient-redistributing per propagare la proporzionalità
Caso Omogeneo: Per α=κˉa⊔2κr (dove a≥r−1), si prova che ⟨⟨α⟩⟩∝χ(α∘).
Esempio 1.3: La matrice di decomposizione di S^4 in caratteristica 2 mostra:
- {χ(4),χ(14)} e {χ(3,1),χ(2,12)} sono coppie coniugate
- {⟨4⟩+,⟨4⟩−} è una coppia associata
- χ(22)=⟨4⟩+=⟨4⟩− è predetto dal teorema principale
Esempio 1.5: α=(12,8,7,4,3,2) è 4-stepped-and-semicongruent, il teorema principale asserisce:
⟨12,8,7,4,3,2⟩=4χ(12,9,6,32,13)=4χ(8,52,33,23,13)
Corollario 1.2: L'uguaglianza dei caratteri di Brauer (⟨α⟩=χ(λ)) si verifica solo nei blocchi di peso 0, 1 o 2, e solo quando:
- α=κ⊔η, dove κ ha forma (...,9,5,1) o (...,11,7,3), η∈{∅,(2),(4)}
- λ ha 2-core dbl(κ) e 2-quoziente appropriato
- Schur (1911): Classificazione dei caratteri di spin
- Teorema di Brauer-Robinson: Caratterizzazione della struttura dei blocchi
- Teorema di Normalizzazione di James: Strumento fondamentale per la riduzione modulare
- Teorema di Bessenrodt-Olsson: Teorema di normalizzazione per i rivestimenti doppi
- Wildon (2008): Caratterizzazione dell'uguaglianza dei caratteri lineari
- McDowell (2024): Caratterizzazione dell'uguaglianza dei caratteri di spin
- James-Mathas: Classificazione dei moduli di Specht irriducibili
- Scopes: Teoria dell'equivalenza di Morita
- Risolve completamente il problema della proporzionalità tra caratteri di spin e caratteri lineari nei rivestimenti doppi del gruppo simmetrico
- La funzione runner-swapping introdotta ha valore teorico indipendente
- I risultati possono essere compresi come l'azione del gruppo di Weyl affine sull'insieme delle partizioni
- Completamento della Teoria della Rappresentazione Modulare: Colma un'importante lacuna nella teoria della rappresentazione dei rivestimenti doppi del gruppo simmetrico
- Innovazione Tecnica: Gli strumenti funzionali sviluppati potrebbero avere applicazioni più ampie
- Connessione di Diverse Teorie: Collega la combinatoria delle partizioni, la teoria della rappresentazione modulare e la teoria del gruppo di Weyl affine
- Specifico per la Caratteristica 2: I risultati si concentrano principalmente sul caso di caratteristica 2
- Complessità Tecnica: La dimostrazione coinvolge numerosi dettagli tecnici e analisi di casi
- Ambito di Applicazione: Limitato principalmente al gruppo simmetrico e ai suoi rivestimenti doppi
- Importanza del Problema: Risolve un problema fondamentale nella teoria della rappresentazione
- Completezza dei Risultati: Fornisce una caratterizzazione completa di condizioni necessarie e sufficienti
- Innovazione Tecnica: Gli strumenti funzionali introdotti hanno valore indipendente
- Rigore della Dimostrazione: Utilizza molteplici tecniche per una dimostrazione completa
- Applicazione Ingegnosa della Combinatoria dell'Abaco: Comprensione della struttura delle partizioni attraverso la visualizzazione dell'abaco
- Uso Innovativo dei Funtori di Induzione e Restrizione: Costruzione di funzioni con azioni specifiche
- Applicazione della Teoria dei Blocchi RoCK: Utilizzo della struttura di blocchi speciali per semplificare il problema
- Contributo Teorico: Fornisce una nuova comprensione della teoria della rappresentazione del gruppo simmetrico
- Valore Metodologico: Le tecniche sviluppate potrebbero essere applicabili allo studio di altri gruppi
- Ricerca Successiva: Fornisce nuovi strumenti e prospettive per la ricerca su problemi correlati
- Ricerca in Teoria della Rappresentazione Algebrica: Particolarmente nella teoria della rappresentazione modulare di gruppi finiti
- Teoria delle Funzioni Simmetriche: Ricerca correlata alle funzioni di Schur e funzioni P
- Matematica Combinatoria: Ricerca sulla teoria delle partizioni e diagrammi di Young
L'articolo cita 44 importanti riferimenti, coprendo lavori classici e all'avanguardia in teoria della rappresentazione del gruppo simmetrico, teoria della rappresentazione modulare, matematica combinatoria e altri campi, riflettendo la profondità e l'ampiezza della ricerca.
Questo articolo, attraverso l'introduzione di nuovi concetti combinatori e la costruzione di strumenti funzionali innovativi, risolve completamente un problema fondamentale di teoria della rappresentazione nei rivestimenti doppi del gruppo simmetrico. Non solo possiede un importante valore teorico, ma i metodi tecnici sviluppati forniscono anche nuovi strumenti per la ricerca in campi correlati.