Pro-$p$ Iwahori-Hecke modules in semisimple rank one and singularity categories

Este artigo estabelece uma equivalência entre a categoria de homotopia de módulos sobre a álgebra de Hecke Iwahori-$p$-pro de grupos como $\mathrm{GL}_2(\mathfrak{F})$ e a categoria de singularidades de um esquema explícito, recuperando a correspondência de Langlands mod-$p$ de Grosse-Klönne e fornecendo descrições completas para os casos de $\mathrm{SL}_2(\mathfrak{F})$ e $\mathrm{PGL}_2(\mathfrak{F})$.

O essencial

Imagine que você está tentando entender a "alma" de um sistema matemático complexo, como se fosse desvendar os segredos de uma cidade gigante e labiríntica. O artigo que você leu, escrito por Nicolas Dupré, é como um mapa detalhado dessa cidade, focando em três tipos específicos de "bairros" (os grupos $GL_2$, $SL_2$ e $PGL_2$) dentro de um universo matemático chamado "corpos locais não-arquimedianos".

Vamos simplificar os conceitos usando analogias do dia a dia:

1. O Cenário: A Cidade dos Números e os "Mapas"

Pense no campo de números $F$ como uma cidade muito peculiar, onde as distâncias e a lógica são diferentes das nossas (não-arquimedianas). Dentro dessa cidade, existem grupos de simetria ($G$), que são como as regras de movimento ou os padrões de arquitetura da cidade.

Os matemáticos usam algo chamado Álgebra de Hecke ($H_G$) para estudar essas regras. Imagine que a Álgebra de Hecke é um "manual de instruções" ou um "dicionário" que descreve como os elementos da cidade interagem. O problema é que esse manual é enorme, cheio de ruídos e partes que se repetem, tornando difícil ver o padrão real.

2. O Problema: O "Ruído" e as "Falhas"

O autor foca em um tipo específico de módulo (peças do manual) chamado "supersingular". Pense neles como as peças mais raras e misteriosas da cidade.

• O Desafio: Muitas dessas peças parecem iguais quando olhamos de perto, mas são diferentes quando olhamos de longe. Além disso, algumas peças têm "falhas" (dimensão projetiva infinita) que as tornam difíceis de classificar.
• A Solução Proposta: O autor decide ignorar as peças "normais" (que são fáceis de consertar) e focar apenas nas peças com "falhas" estruturais. Ele cria uma nova lente, chamada Categoria de Homotopia ($Ho(H_G)$), que é como uma fotografia em preto e branco onde apenas as falhas estruturais permanecem visíveis. É nessa fotografia que a verdadeira estrutura da cidade se revela.

3. A Grande Descoberta: O Espelho Mágico (Categorias de Singularidade)

A parte mais brilhante do trabalho é a conexão que o autor faz entre esse "manual de instruções" (Álgebra de Hecke) e uma geometria (esquemas).

• A Analogia do Espelho: Imagine que a Álgebra de Hecke é um objeto físico estranho e complexo. O autor descobre que, se você olhar para esse objeto através de um espelho mágico (a Categoria de Singularidade), ele se transforma em uma paisagem geométrica clara e bonita.
• O Que é essa Paisagem? Para o grupo $GL_2$ (o mais comum), essa paisagem é uma cadeia de linhas retas (como uma estrada com vários trechos) que se encontram em pontos específicos. Cada ponto onde as linhas se encontram representa uma "falha" ou uma "singularidade".
• A Revelação: O autor prova que a "fotografia" das peças do manual (a categoria de homotopia) é idêntica à "fotografia" dessas falhas geométricas. É como se ele dissesse: "Não precisa estudar o manual complicado; basta olhar para o mapa das falhas da cidade, e você entenderá tudo."

4. O Resultado Prático: O Correspondente de Langlands

Existe uma teoria famosa chamada Correspondência de Langlands (na versão "mod-p"). Pense nela como uma tradução entre dois idiomas completamente diferentes:

1. Linguagem 1: As regras de simetria da cidade (Representações de Galois).
2. Linguagem 2: As peças do manual (Módulos de Hecke).

O autor mostra que, ao usar sua nova lente (a categoria de homotopia), ele consegue traduzir perfeitamente as peças mais misteriosas do manual para os pontos exatos no mapa geométrico.

• Para $GL_2$ e $PGL_2$, a tradução é perfeita: cada peça rara do manual corresponde a um ponto único no mapa.
• Para $SL_2$, há uma pequena complicação: algumas peças do manual parecem diferentes, mas no mapa geométrico elas caem no mesmo ponto. Isso é chamado de "pacote L" (L-packet). É como se duas pessoas diferentes tivessem a mesma impressão digital no mapa. O autor explica exatamente por que isso acontece e como mapeá-lo.

5. Resumo em uma Frase

Nicolas Dupré criou um "tradutor universal" que transforma um problema algébrico confuso e cheio de ruídos (sobre módulos de Hecke) em um problema geométrico visual e claro (sobre cadeias de linhas e seus pontos de encontro), permitindo que os matemáticos vejam a estrutura oculta das simetrias de números de forma muito mais simples.

Em suma: Ele pegou um quebra-cabeça matemático impossível de montar e descobriu que, se você olhar apenas para as peças defeituosas e as colocar em um espelho especial, elas formam automaticamente um desenho geométrico perfeito que revela a verdade sobre o sistema.

Resumo técnico

1. Problema e Contexto

O artigo situa-se no âmbito do Programa de Langlands Mod-p, que busca estabelecer correspondências entre representações de grupos redutivos sobre corpos locais não-arquimedianos e representações de Galois. Especificamente, o foco recai sobre a álgebra de Hecke pro-$p$ Iwahori, denotada por $H_G$, associada a grupos como $GL_2(F)$, $SL_2(F)$ e $PGL_2(F)$, onde $F$ é um corpo local não-arquimediano de característica residual $p$.

O problema central abordado é a compreensão da estrutura da categoria de homotopia $Ho(H_G)$, definida a partir da estrutura de modelo de Gorenstein projetivo sobre a categoria de módulos $Mod(H_G)$. Embora a correspondência de Langlands mod-$p$ para módulos simples supersingulares seja bem compreendida (devido ao trabalho de Große-Klönne), a estrutura global da categoria de homotopia, que "trivializa" módulos de dimensão projetiva finita, permanecia menos explícita.

O objetivo do autor é:

1. Descrever explicitamente a categoria $Ho(H_G)$ para grupos de posto semissimples igual a 1.
2. Relacionar essa categoria de homotopia com categorias de singularidade de esquemas geométricos que parametrizam representações de Galois semissimples.
3. Recuperar e generalizar a correspondência de Langlands mod-$p$ através de funtores entre essas categorias trianguladas.

2. Metodologia

O autor emprega uma combinação de técnicas de teoria de representações, geometria algébrica e teoria de modelos de homotopia:

• Teoria de Bruhat-Tits e Resoluções Canônicas: Utiliza a teoria do edifício de Bruhat-Tits para reduzir o estudo da álgebra de Hecke $H_G$ a álgebras de Hecke finitas associadas a subgrupos compactos máximos ($H_{x_0}$). A prova baseia-se na resolução de Ollivier-Schneider, permitindo transferir a estrutura de modelo de Gorenstein projetivo para produtos de categorias de módulos sobre álgebras menores.
• Decomposição por Idempotentes Centrais: A álgebra $H_G$ é decomposta em componentes associadas a órbitas de caracteres do toro finito $T(\mathbb{F}_q)$ sob a ação do grupo de Weyl. O autor analisa separadamente os componentes "regulares" e "não-regulares".
• Categorias de Singularidade (Singularity Categories): O autor utiliza a definição de Krause de categorias de singularidade $Sing(X)$, que são quocientes de categorias derivadas ou categorias de complexos acíclicos de feixes injetivos. Ele estabelece uma equivalência entre $Ho(H_G)$ e $Sing(X)$, onde $X$ é um esquema explícito.
• Álgebras DGA (Differential Graded Algebras): Para o caso $G=GL_2(F)$, onde a descrição via esquemas é mais complexa (singularidade de dimensão 1), o autor constrói um gerador explícito para a categoria de homotopia e demonstra que esta é equivalente à categoria derivada de uma álgebra DGA explícita.
• Funtores de Spherical Modules: A construção de funtores de equivalência baseia-se em módulos esféricos (ou afins, no caso de $SL_2$) que atuam como pontes entre a álgebra de Hecke e o centro da álgebra, permitindo a comparação com os esquemas de Galois.

3. Principais Contribuições e Resultados

A. Descrição Explícita da Categoria de Homotopia (Teorema A)

O autor fornece uma descrição completa de $Ho(H_G)$ para $G = SL_2, PGL_2, GL_2$:

• Para $SL_2(F)$ e $PGL_2(F)$ (com $p > 2$): A categoria de homotopia é equivalente a um produto de categorias de módulos sobre anéis simples.
  • Para $PGL_2$: $Ho(H_{PGL_2}) \simeq \prod_{\gamma \text{ regular}} Mod(k^2)$.
  • Para $SL_2$: Existe um fator extra $C$ (dependendo de $p$) devido ao caráter de sinal, resultando em $Ho(H_{SL_2}) \simeq C \times \prod_{\gamma \text{ regular}} (Mod(k^2) \times Mod(k^2))$.
  • Aqui, $Mod(k^2)$ representa a categoria de módulos sobre o anel $k \times k$, com uma estrutura triangulada não trivial onde o funtor de deslocamento troca os dois componentes.

B. Equivalência com Categorias de Singularidade (Teorema B)

O resultado central é a construção de um funtor $L_{G,*}: Ho(H_G) \to Sing(X_{q,G})$, onde $X_{q,G}$ é um esquema projetivo cujos pontos $F_p$-racionais correspondem a representações de Galois semissimples.

• Caso $G = GL_2$ e $PGL_2$: O funtor $L_{G,*}$ é uma equivalência de categorias trianguladas. Isso significa que a estrutura homotópica dos módulos de Hecke é isomórfica à estrutura geométrica das singularidades do esquema de Galois.
• Caso $G = SL_2$: O funtor não é uma equivalência, mas é um funtor bem-definido. A não-equivalência reflete o fato de que a álgebra $H_{SL_2}$ possui mais singularidades do que seu centro, exigindo um esquema "estendido" $\tilde{X}_{q,SL_2}$ para capturar toda a informação.
• Correspondência de Langlands: O autor demonstra que a aplicação $M \mapsto Supp(L_{G,*}(M))$ induz uma bijeção (ou sobrejeção com fibras L-pacotes) entre classes de isomorfismo de módulos supersingulares simples de dimensão projetiva infinita e pontos singulares do esquema $X_{q,G}$. Isso recupera geometricamente a correspondência de Große-Klönne.

C. Estrutura DGA para $GL_2$ (Seção 5)

Para $G=GL_2(F)$, onde o esquema $X_{q,GL_2}$ tem singularidades de dimensão 1, o autor mostra que $Ho(H_{GL_2})$ é equivalente à categoria derivada $D(\tilde{A})$ de uma álgebra DGA explícita $\tilde{A}$.

• Ele identifica um gerador compacto explícito (uma soma direta de módulos esféricos projetivos de Gorenstein).
• Calcula os anéis de endomorfismos dos módulos supersingulares simples dentro da categoria de homotopia, mostrando que são isomórficos à álgebra de Hecke finita associada ao vértice compacto ($e_\gamma H_{x_0}$).

4. Significado e Impacto

• Geometrização da Correspondência de Langlands: O trabalho fornece uma interpretação geométrica profunda da correspondência de Langlands mod-$p$. Em vez de apenas uma bijeção de conjuntos, ele estabelece uma equivalência de categorias entre o lado automorfo (módulos de Hecke) e o lado galoisiano (singularidades de esquemas).
• Unificação de Casos: O tratamento unificado de $GL_2, SL_2$ e $PGL_2$ revela como as diferenças na estrutura do grupo (como o centro e o grupo de Weyl) afetam a geometria das singularidades e a estrutura da categoria de homotopia.
• Novas Ferramentas Computacionais: A descrição explícita de $Ho(H_G)$ como produtos de categorias simples e a identificação com categorias de singularidade oferecem novas ferramentas para calcular invariantes homológicos e entender a estrutura de representações supersingulares.
• Conexão com Trabalhos Anteriores: O artigo valida e generaliza resultados de Dotto-Emerton-Gee, Pépin-Schmidt e Große-Klönne, integrando-os numa estrutura de teoria de modelos e categorias de singularidade mais robusta.

Em resumo, Nicolas Dupré demonstra que a complexa estrutura homotópica dos módulos de Hecke pro-$p$ em posto 1 é governada pela geometria das singularidades de esquemas que parametrizam representações de Galois, estabelecendo uma ponte rigorosa entre a teoria de representações mod-$p$ e a geometria algébrica das singularidades.