On the $I(1)$-invariants: Non-abelian Hecke algebra case

Resumo Técnico: Invariantes I(1) no Caso da Álgebra de Hecke Não-Abeliana

1. Problema e Contexto

O artigo situa-se na teoria das representações modulares (característica $p$) do grupo $G = GL_2(F)$, onde $F$ é uma extensão finita de $\mathbb{Q}_p$.

• Foco Principal: O estudo das representações supersingulares, que são os blocos fundamentais na classificação das representações suaves irredutíveis de $G$ sobre corpos de característica $p$.
• O Desafio: A representação universal supersingular, denotada por $\pi_r$ (especificamente para $r=0$ e $r=q-1$), é definida como um quociente do módulo induzido $\text{ind}_K^G \sigma_r$. Embora a estrutura de $\pi_r$ seja conhecida para $F=\mathbb{Q}_p$ (trabalho de Breuil), a descrição explícita das suas invariantes sob o subgrupo pro-p-Iwahori ($I(1)$) para extensões gerais $F/\mathbb{Q}_p$ (especialmente quando a álgebra de Hecke associada é não-comutativa) permanecia um problema aberto.
• Dificuldade Específica: Para $r=0$ e $r=q-1$, a álgebra de Hecke de Iwahori $H$ torna-se não-comutativa. Isso impede o uso direto de métodos anteriores que dependiam da comutatividade (como em trabalhos de Hendel, Jan e Anandavardhanan para outros valores de $r$). O objetivo é descrever explicitamente o espaço de invariantes $\pi_r^{I(1)}$ e a ação da álgebra de Hecke pro-p-Iwahori sobre ele.

2. Metodologia

Os autores utilizam uma abordagem combinatória e algébrica baseada na estrutura da árvore de Bruhat-Tits de $SL_2(F)$ e no modelo de Iwahori-Hecke.

• Modelo de Iwahori-Hecke: O trabalho utiliza o modelo $\tau = \text{ind}_{IZ}^G 1 / (\text{Im } T_{1,2}, \text{Ker } T_{1,2})$, que é isomorfo à representação universal supersingular $\pi_0$ (caso $r=0$).
• Decomposição na Árvore de Bruhat-Tits: As funções no espaço induzido são analisadas em termos de suporte nos vértices e arestas da árvore. Os autores definem bases explícitas usando operadores de soma sobre subgrupos unipotentes ($s_n^k, t_n^k$) e elementos específicos da árvore ($g_{n,\lambda}^i$).
• Análise de Redução Modulo Ideais: O núcleo da prova envolve analisar como certas funções na árvore se reduzem módulo o ideal gerado por $(\text{Im } T_{1,2}, \text{Ker } T_{1,2})$.
  • Utilizam-se lemas de redução (Lemas 3.4 e 3.5) para mostrar que funções suportadas em camadas mais profundas da árvore podem ser "reduzidas" para camadas mais próximas da raiz, ou anuladas, dependendo dos expoentes dos polinômios que definem os coeficientes.
  • A prova da invariância sob $I(1)$ (Lema 3.11 e Proposição 3.12) depende de cálculos explícitos da ação de matrizes unipotentes e diagonais sobre essas funções, explorando propriedades de polinômios sobre corpos finitos e a estrutura de $F$ (índice de ramificação $e$ e grau de resíduo $f$).
• Álgebra de Hecke Não-Comutativa: A análise das relações entre os operadores $T_{1,0}$ e $T_{1,2}$ (que satisfazem $T_{1,0}^2 = \text{Id}$ e $T_{1,2}T_{1,0}T_{1,2} = -T_{1,2}$) é crucial para determinar o núcleo e a imagem dos operadores de Hecke.

3. Contribuições Principais e Resultados

A. Descrição Explícita das Invariantes (Teorema 2.1 / 4.3)
Os autores fornecem uma base explícita para o espaço de invariantes $\pi_0^{I(1)}$. Para $F$ com índice de ramificação $e$ e grau de resíduo $f$ tais que $ef > 1$e$q > 3$, uma base é dada por:
$$\{ [id, 1], [\beta, 1], s_n^l, \beta s_n^l \mid n \ge 2, 0 \le l \le f-1 \}$$
Onde:

• $[id, 1]$e$[\beta, 1]$ são as invariantes "óbvias" (relacionadas à raiz e ao primeiro nível da árvore).
• $s_n^l$ são novas funções construídas a partir de somas sobre os elementos do anel de inteiros truncado, que se tornam invariantes apenas para $n \ge 2$.
• O resultado estende trabalhos anteriores que eram válidos apenas para $F=\mathbb{Q}_p$ ou para faixas restritas de dígitos $p$-ádicos de $r$.

B. Irredutibilidade e Endomorfismos (Teorema 2.2 / 4.4)

• Os autores provam que a álgebra de endomorfismos de $\pi_0$ é isomórfica ao corpo base $\mathbb{F}_p$:
  $$\text{End}_G(\pi_0) \cong \mathbb{F}_p$$
• Consequência: Isso implica que a representação universal supersingular $\pi_0$ é indecomponível (não pode ser escrita como soma direta de dois submódulos não triviais). Esta é uma generalização de resultados conhecidos para $\mathbb{Q}_p$ para extensões totalmente ramificadas e outras extensões.

C. Ação da Álgebra de Hecke (Seção 5.1)
O artigo calcula explicitamente a ação dos geradores da álgebra de Hecke pro-p-Iwahori ($T_\beta, T_{ns}, e_\chi$) sobre a base de invariantes encontrada.

• A tabela de ação (página 21) mostra como os operadores trocam os elementos da base (ex: $T_\beta$ inverte $[id, 1]$e$[\beta, 1]$;$T_{ns}$ anula certos vetores e mapeia outros).
• Este cálculo é essencial para entender a estrutura do módulo de Hecke associado.

D. Recuperação Functorial (Teorema 2.3 / 5.5)

• Os autores aplicam o "functor reverso" estudado por Vigneras e Ollivier: $M \mapsto M \otimes_H \text{ind}_{I(1)Z}^G 1$.
• Eles demonstram que a representação $\pi_0$ pode ser recuperada functorialmente a partir de seus invariantes. Especificamente, existe uma representação $M$ tal que:
  $$\pi_0^{I(1)} \otimes_H \text{ind}_{I(1)Z}^G 1 \cong \pi_0 \oplus M$$
• Isso confirma que $\pi_0$ é um somando direto do resultado da aplicação do functor reverso, estendendo um teorema de Ollivier (que era válido apenas para $F=\mathbb{Q}_p$) para qualquer extensão totalmente ramificada $F \neq \mathbb{Q}_p$.

4. Significância

• Generalização: O trabalho supera a barreira da não-comutatividade da álgebra de Hecke, permitindo o tratamento de casos ($r=0, q-1$) que eram anteriormente intratáveis com as técnicas de álgebra comutativa.
• Estrutura das Representações: Ao fornecer uma base explícita para as invariantes, o artigo permite o estudo detalhado da estrutura interna das representações supersingulares em corpos locais gerais, não apenas em $\mathbb{Q}_p$.
• Conexão com Representações Galois: A descrição explícita das invariantes é um passo crucial para a correspondência de Langlands modular (mod $p$), conectando representações de $GL_2(F)$ a representações de Galois. O artigo menciona que modelos de Iwahori-Hecke foram usados recentemente para reduzir representações de Galois $p$-ádicas.
• Validação de Conjecturas: A prova de que $\text{End}_G(\pi_0) = \mathbb{F}_p$ e a recuperação functorial validam e estendem conjecturas e teoremas anteriores para uma classe mais ampla de corpos locais, consolidando a teoria das representações modulares de $GL_2$.

Em suma, o artigo fornece as ferramentas computacionais e teóricas necessárias para manipular as representações supersingulares mais complexas em extensões de $\mathbb{Q}_p$, fechando lacunas importantes na teoria de representações modulares de grupos redutivos sobre corpos locais.