Lifting banal representations of classical groups

1. Problema e Contexto

O artigo aborda um problema fundamental na teoria de representações de grupos algébricos sobre campos locais não-arquimedianos ($F$), especificamente no contexto do Programa de Langlands Local.

• O Cenário: Estuda-se representações suaves e irredutíveis de grupos clássicos (simétricos, ortogonais e unitários) sobre um corpo de coeficientes de característica positiva, especificamente $\mathbb{F}_\ell$ (onde $\ell$ é um primo).
• A Dificuldade: Enquanto a teoria de representações com coeficientes complexos ($\mathbb{C}$) para grupos clássicos é bem compreendida (graças à classificação de Arthur), o comportamento das representações em característica não nula ($\mathbb{F}_\ell$) permanece em grande parte misterioso, especialmente quando $\ell$ divide a ordem do grupo ou interage de forma complexa com a estrutura do grupo.
• O Conceito de "Banal": Inspirado pela teoria de grupos finitos, um primo $\ell$ é chamado de banal em relação a um grupo $G$ se não divide a cardinalidade do grupo dos pontos no corpo residual, $|G(k)|$. Quando $\ell$ é banal, espera-se que a teoria de representações sobre $\mathbb{F}_\ell$ se comporte de maneira análoga à teoria sobre $\mathbb{C}$.
• A Questão Central: O objetivo principal do artigo é provar que, para grupos clássicos (simétricos e ortogonais split) e primos banais $\ell$, toda representação irredutível suave sobre $\mathbb{F}_\ell$ admite um "lift" (levantamento) para uma representação sobre $\mathbb{Q}_\ell$. Ou seja, dada $\pi \in \text{Irr}_{\mathbb{F}_\ell}(G)$, existe $\tilde{\pi} \in \text{Irr}_{\mathbb{Q}_\ell}(G)$ e uma estrutura integral $\mathcal{O} \subset \tilde{\pi}$ tal que $\mathcal{O} \otimes_{\mathbb{Z}_\ell} \mathbb{F}_\ell \cong \pi$.

2. Metodologia

O autor constrói uma prova recursiva e explícita, baseada em quatro pilares principais que permitem controlar o comportamento das representações sob redução módulo $\ell$:

A. Operadores de Intertwining

O autor utiliza a teoria de operadores de intertwining desenvolvida por Mínguez e Sécherre sobre corpos algebricamente fechados.

• Mecanismo: Para um subgrupo parabólico $P$ com fator de Levi $M$, define-se operadores $J_{P,P'}(\pi)$ entre representações induzidas parabolicamente.
• Lema Chave (Lema 3.7): O autor prova que, sob condições de banalidade e regularidade, o operador de intertwining preserva estruturas integrais ($\mathbb{Z}_\ell$) e que a sua redução módulo $\ell$ coincide com a imagem do operador reduzido. Isso permite construir representações sobre $\mathbb{Q}_\ell$ a partir de imagens de operadores que são bem comportados módulo $\ell$.

B. Derivadas (Derivatives)

Baseado no trabalho de Bernstein, Zelevinsky e Vignéras, o artigo utiliza o conceito de "derivadas" para reduzir representações complexas a representações mais simples.

• Conceito: Uma representação $\pi$ é chamada de $\rho$-reduzida se não contém certos subquocientes isotypic relacionados a uma representação cuspidal $\rho$.
• Aplicação: O autor demonstra que qualquer representação pode ser obtida como a imagem de um operador de intertwining aplicado a uma representação derivada (que é "menor" em termos de suporte cuspidal). Isso permite uma indução recursiva: se o resultado vale para as derivadas, vale para a representação original.

C. Representações do Tipo Arthur

Para lidar com o caso dos grupos clássicos (onde a indução parabolicamente não é tão simples quanto no caso $GL_n$), o artigo recorre à classificação de Arthur das representações temperadas.

• Redução: O Lema 3 (baseado em [4]) reduz o problema de entender representações temperadas à compreensão de induções parabolicamente de representações cuspidais auto-duais. Isso simplifica drasticamente o espaço de busca para a prova de levantamento.

D. Progeradores (Progenerators)

Para entender a estrutura das induções parabolicamente de representações cuspidais auto-duais, o autor utiliza a teoria de blocos e progeradores (trabalho de [19] e [28]).

• Propriedade Chave: Quando $\ell$ é banal, as representações cuspidais são projetivas em seus respectivos blocos. O autor mostra que o endomorfismo da indução parabolicamente é gerado por operadores de intertwining, permitindo controlar a estrutura da representação reduzida e garantir que ela permaneça irredutível ou tenha uma estrutura semi-simples controlada.

3. Resultados Principais

Os resultados são formalizados em vários teoremas e corolários ao longo do texto:

1. Teorema Principal (Teorema 1 / Corolário 6.3):
   Seja $G$ um grupo simétrico ou ortogonal split sobre um campo local não-arquimediano $F$. Se $\ell$ é um primo banal em relação a $G$, então qualquer representação suave irredutível sobre $\mathbb{F}_\ell$ admite um levantamento para $\mathbb{Q}_\ell$.

   • Além disso, o autor estabelece condições suficientes para que uma representação integral sobre $\mathbb{Q}_\ell$ reduza a uma representação irredutível sobre $\mathbb{F}_\ell$ (baseado no suporte cuspidal).

2. Generalização para Grupos Unitários e Não-Split (Corolário 6.4):
   O resultado é estendido para grupos unitários e para o caso não-split. Para o caso não-split, o autor define uma classe de "representações banais" (aquelas cujo suporte cuspidal pode ser levantado de forma banal) e prova que todas elas admitem levantamento.

3. Preservação de Propriedades (Proposição 6.1):
   Se uma representação $\pi$ sobre $\mathbb{F}_\ell$ possui um levantamento que é uma série discreta essencialmente, então todos os seus levantamentos são séries discretas essenciais. Isso garante a estabilidade de certas classes de representações sob a operação de redução/levantamento.

4. Aplicação à Dualidade de Howe (Seção 7):
   O artigo prova a conjectura de dualidade de Howe no caso modular para pares duais simétrico-ortogonais e unitários no caso "fortemente banal" (onde $\ell$ é banal para o grupo do espaço produto).

   • Contribuição Específica: Resolve a "Hipótese (H)" de [29], que exigia a irredutibilidade de certas representações de série principal. O autor prova essa irredutibilidade usando os resultados de levantamento, completando assim a prova da correspondência de theta modular no caso banal.

4. Significado e Impacto

• Ponte entre Características: O trabalho estabelece uma ponte robusta entre a teoria de representações em característica zero ($\mathbb{Q}_\ell$) e em característica positiva ($\mathbb{F}_\ell$) para grupos clássicos, desde que o primo seja banal. Isso valida a intuição de que, para primos grandes o suficiente, a teoria modular se comporta como a teoria complexa.
• Novas Provas: O autor fornece uma nova prova para o caso de grupos lineares gerais (já conhecido por [24]), mas utilizando métodos que são adaptáveis e generalizáveis para grupos clássicos, algo que as técnicas anteriores não conseguiam fazer facilmente.
• Resolução de Conjecturas Abertas: Ao provar a irredutibilidade de certas representações de série principal no contexto modular, o artigo remove o último obstáculo conhecido para a prova da dualidade de Howe modular no caso banal, um problema aberto na literatura recente.
• Ferramentas Estruturais: A combinação de operadores de intertwining, derivadas e a teoria de progeradores em um contexto modular oferece um novo arsenal metodológico para pesquisadores que estudam representações modulares de grupos reductivos.

Em suma, o artigo é um avanço significativo na compreensão da estrutura das representações modulares de grupos clássicos, demonstrando que a "banalidade" do primo $\ell$ é uma condição suficiente para restaurar a "beleza" e a estrutura da teoria de representações complexas, permitindo o levantamento e a classificação sistemática dessas representações.