Non-admissibility of some universal supersingular representations

Resumo Técnico: Não-Admissibilidade de Algumas Representações Supersingulares Universais

Declaração do Problema
O artigo aborda a estrutura das representações mod $p$ de grupos redutivos $p$-ádicos, especificamente $G = \mathrm{GL}_n(K)$ onde $K/\mathbb{Q}_p$ é uma extensão não ramificada de grau $f$. Enquanto a correspondência de Langlands local mod $p$ é bem compreendida para $\mathrm{GL}_2(\mathbb{Q}_p)$, o caso em que $n \ge 3$ ou $K \neq \mathbb{Q}_p$ exibe um comportamento significativamente mais complexo. O objeto central de estudo é a representação supersingular universal $SS(\sigma)$ associada a um peso de Serre irredutível $\sigma$ de $\mathrm{GL}_n(k)$ (onde $k$ é o corpo residual de $K$). Definida como o quociente da representação induzida com suporte compacto $c\text{-}\mathrm{Ind}_{KZ}^G \sigma$ pelo ideal gerado pelos operadores de Hecke $T_1, \dots, T_{n-1}$, espera-se que $SS(\sigma)$ classifique as representações supersingulares.

Trabalhos anteriores estabeleceram que, para $n=2$ e $K \neq \mathbb{Q}_p$, $SS(\sigma)$ é não-admissível e de comprimento infinito. No entanto, os métodos existentes para provar a não-admissibilidade (baseados na teoria de diagramas ou em cálculos explícitos de invariantes de Iwahori pro-$p$) restringiam-se a $n=2$. O problema em aberto era determinar a admissibilidade e o comprimento de $SS(\sigma)$ para $n \ge 3$.

Metodologia
Os autores desenvolvem um método distinto das abordagens anteriores baseadas em diagramas, combinando um argumento de ciclagem de pesos com técnicas de globalização e a geometria do facho de Emerton–Gee.

1. Ciclagem de Pesos: Os autores utilizam uma forma geral do argumento de ciclagem de pesos (originalmente devido a Buzzard e generalizado por Emerton–Gee–Herzig). Para um peso de Serre $\sigma$ e um co-caractere antidominante fundamental $\mu$, eles constroem uma representação suave $C_\mu(\sigma)$ de $KZ$ e um morfismo sobrejetor:
   $$\mathrm{cyc}_\mu: c\text{-}\mathrm{Ind}_{KZ}^G C_\mu(\sigma) \twoheadrightarrow c\text{-}\mathrm{Ind}_{KZ}^G \sigma / (T_\mu).$$
   Como $c\text{-}\mathrm{Ind}_{KZ}^G \sigma / (T_\mu)$ sobejeta sobre $SS(\sigma)$, provar que um subquociente específico de $c\text{-}\mathrm{Ind}_{KZ}^G C_\mu(\sigma)$ é não-admissível implica o mesmo para $SS(\sigma)$. O desafio reside em identificar os fatores de Jordan–Hölder de $C_\mu(\sigma)$ e compreender suas imagens sob o mapa de ciclagem de pesos.

2. Globalização e Representações de Galois: Para resolver a dificuldade de identificar subquocientes relevantes, os autores empregam um método global. Eles constroem uma representação de Galois contínua $\rho: G_K \to \mathrm{GL}_n(\mathbb{F}_p)$ e associam a ela uma representação suave admissível $\pi$ de $G$ via um candidato à correspondência de Langlands local mod $p$. Ao escolher cuidadosamente $\rho$ de modo que $\sigma$ seja um "peso modular", eles estabelecem um morfismo não nulo de $C_\mu(\sigma)$ para $\pi|_{KZ}$. Isso força um fator específico de Jordan–Hölder $\sigma' \in \mathrm{JH}(C_\mu(\sigma))$ a aparecer no socle de $\pi|_{KZ}$.

3. Teoria do Modelo Local e Fachos de Emerton–Gee: A existência de um $\rho$ adequado é garantida pelo estudo da geometria do facho reduzido de Emerton–Gee $X_{n, \mathrm{red}}$, que serve como espaço de módulos das representações de Galois mod $p$. Os autores analisam a interseção das componentes irredutíveis $C_\sigma$ e $C_{\sigma'}$ correspondentes a $\sigma$ e $\sigma'$.

   • Eles utilizam cartas locais explícitas para fachos potencialmente cristalinos desenvolvidas em [LLHM+24].
   • Eles definem uma condição "especial" na $p$-alcova que contém o peso mais alto de $\sigma$.
   • Eles provam que, para pesos "especiais", a interseção do lugar supersingular de $\sigma$, a componente $C_{\sigma'}$ e o lugar ordinário de $\sigma'$ é não vazia. Isso garante a existência de um $\rho$ que é supersingular em relação a $\sigma$, mas ordinário em relação a $\sigma'$.

4. Argumento de Não-Admissibilidade: Para tal $\rho$, a imagem de $c\text{-}\mathrm{Ind}_{KZ}^G \sigma'$ em $\pi$ fatora através de uma representação de série principal. Ao torcer os caracteres diagonais de $\rho$ com infinitos caracteres não ramificados, os autores geram infinitas representações de série principal não isomórficas como quocientes da imagem. Pelo Lema 2.11, uma representação que admite infinitos quocientes irredutíveis não isomórficos é não-admissível.

Contribuições e Resultados Principais

• Teorema 1.1 (Teorema 5.1): Seja $K/\mathbb{Q}_p$ uma extensão não ramificada de grau $f \ge 1$. Se $n \ge 3$ e $\sigma$ é um peso de Serre suficientemente profundo cujo peso mais alto $p$-restrito reside em uma $p$-alcova $p$-restrita "especial", então a representação supersingular universal $SS(\sigma)$ é não-admissível e de comprimento infinito.
• Generalização: Este resultado generaliza a não-admissibilidade conhecida para $n=2$ e $K \neq \mathbb{Q}_p$ para rangos superiores ($n \ge 3$).
• Insight Geométrico: O artigo estabelece que, para pesos especiais, o lugar supersingular na componente irredutível $C_\sigma$ do facho de Emerton–Gee tem codimensão um (Corolário 3.28). Isso contrasta com o caso da alcova mais baixa, onde o lugar supersingular é mais trivial.
• Mudança Metodológica: O artigo demonstra que as representações de Galois podem guiar a teoria das representações mod $p$ de grupos $p$-ádicos, especificamente ao utilizar a geometria do facho de Emerton–Gee para controlar a estrutura das representações universais.

Significância e Limitações
Os autores afirmam que seu método fornece um novo caminho para estudar representações mod $p$ de grupos $p$-ádicos, superando as limitações da teoria de diagramas, que atualmente não está disponível para $n \ge 3$. O resultado confirma que os "comportamentos surpreendentemente complicados" observados em $\mathrm{GL}_n(K)$ para $n \ge 3$ incluem a não-admissibilidade de representações supersingulares universais sob condições genéricas.

O artigo nota explicitamente limitações:

• O resultado exige que $\sigma$ seja "suficientemente profundo" e que seu peso mais alto esteja em uma $p$-alcova "especial". A proporção de tais alcovas é $1 - (\frac{n-2}{n-1})^f$.
• A prova para $n \ge 3$ depende da geometria específica da interseção de cartas locais; os autores observam que, para pesos não especiais (por exemplo, na alcova base $p$), a interseção necessária para o argumento de ciclagem de pesos pode estar vazia, tornando o problema significativamente mais difícil.
• Embora o argumento possa ser adaptado para mostrar não-admissibilidade para $n=2$ e $f \ge 2$, o foco principal está no caso $n \ge 3$, onde os métodos anteriores falharam.

O artigo não propõe novas aplicações experimentais ou conjecturas futuras além do escopo dos resultados de não-admissibilidade estabelecidos e das propriedades geométricas do facho de Emerton–Gee.