A Langlands duality of elliptic Hecke algebras

Resumo Técnico: Uma Dualidade de Langlands para Álgebras de Hecke Elípticas

Enunciado do Problema
O artigo aborda a teoria de representação da álgebra de Hecke afim elíptica (especificamente a álgebra GKV introduzida por Ginzburg, Kapranov e Vasserot), que é definida como uma camada coerente em uma variedade abeliana associada a um dado de raiz. Uma questão central surge da observação de que as representações desta álgebra possuem uma estrutura de camada coerente subjacente: pode o transform de Fourier-Mukai da variedade abeliana subjacente ser estendido para estabelecer uma dualidade entre as categorias de representação da álgebra GKV e a álgebra GKV associada ao dado de raiz dual de Langlands? Embora o transform de Fourier-Mukai seja bem compreendido para camadas coerentes em variedades abelianas, estender essa equivalência para as categorias de módulos específicas dessas álgebras de Hecke elípticas requer uma estrutura intermediária adequada.

Metodologia
Os autores constroem uma ponte entre as categorias de representação da álgebra GKV original e sua dual de Langlands introduzindo uma álgebra intermediária: a álgebra de Hecke elíptica com parâmetros dinâmicos ($H^d$). A metodologia procede em três estágios:

1. Construção da Álgebra Dinâmica: Os autores definem $H^d$ como uma camada sobre o produto da variedade abeliana $A$ e sua dual $A^\vee$. Esta álgebra é construída usando uma "definição de resíduo" análoga à construção GKV, mas adaptada para parâmetros dinâmicos. A definição envolve seções racionais de uma linha específica $L$ (um twist do fibrado de Poincaré) e impõe condições de resíduo específicas (análogas aos operadores de Demazure-Lusztig) para garantir que a estrutura da álgebra seja bem definida.
2. Conexões Funoriais:
   • Passo 1 (GKV para Dinâmica): Usando o fibrado de Poincaré, os autores constroem um funtor da categoria de módulos sobre a álgebra GKV original ($Mod\text{-}H$) para a categoria de módulos sobre a álgebra dinâmica ($Mod\text{-}H^d$). Isso é alcançado estabelecendo um homomorfismo de álgebra do tipo coproduto $\Psi: H^d \to (H^d + S) \otimes p^*H$, onde $S$ é a álgebra de grupo torcida. Isso permite que a álgebra dinâmica atue no pullback do módulo GKV tensorado com a linha $L$.
   • Passo 2 (Dinâmica para Dual de Langlands): Os autores demonstram que os operadores de Demazure-Lusztig dinâmicos satisfazem as relações do grupo de Weyl do dado de raiz dual de Langlands. Utilizando esses operadores, eles constroem um homomorfismo de álgebra da álgebra GKV dual de Langlands ($H_L$) para o pushforward da álgebra dinâmica. Isso induz um funtor de $Mod\text{-}H^d$ para $Mod\text{-}H_L$.
3. Síntese: Ao compor esses funtores, os autores realizam o transform de Fourier-Mukai no nível das categorias de representação.

Principais Contribuições e Resultados

• Definição da Álgebra de Hecke Elíptica Dinâmica: O artigo fornece uma estrutura integral rigorosa para a álgebra de Hecke elíptica com parâmetros dinâmicos, definindo-a via condições de resíduo em seções racionais. Esta álgebra serve como o intermediário crucial para a dualidade.
• O Funtor de Fourier-Mukai: O resultado principal (Corolário 5.1) é a construção de um funtor $FM: Mod\text{-}H \to Mod\text{-}H_L$. Este funtor torna o diagrama comutativo com o transform de Fourier-Mukai padrão nas variedades abelianas subjacentes. Especificamente, ele mapeia a categoria de módulos GKV para a categoria de módulos sobre a álgebra GKV dual de Langlands.
• Funtor Inverso e Equivalência: O artigo constrói um funtor inverso (Corolário 5.2) utilizando o transform de Fourier-Mukai inverso e a álgebra dinâmica dual.
• Equivalência de Subcategorias: Os autores provam que, quando restritos a subcategorias específicas — fibrados vetoriais homogêneos ($Mod\text{-}fl\text{-}H$) e camadas coerentes de suporte finito ($Mod\text{-}fin\text{-}H_L$) — os funtores induzem uma equivalência de categorias abelianas (Corolário 5.6).
• Classificação de Representações Irredutíveis: Como consequência da equivalência estabelecida e de resultados prévios, o artigo afirma que, se o grupo subjacente $G$ é de tipo adjunto, os objetos irredutíveis em $Mod\text{-}fl\text{-}H$ estão em correspondência biunívoca com o conjunto de triplas $(P, x, \chi)$, onde $(P, x)$ é um fibrado de Higgs nilpotente de $G$ e $\chi$ é uma representação irredutível do grupo de componentes de seu grupo de automorfismos (Corolário 5.7).

Significância e Alegações
O artigo afirma fornecer uma resposta afirmativa à questão de se o transform de Fourier-Mukai se estende às categorias de representação das álgebras de Hecke afins elípticas. A significância reside em:

1. Estrutura Unificadora: Conecta a teoria de representação das álgebras de Hecke elípticas com o programa de Langlands geométrico via transform de Fourier-Mukai, utilizando os parâmetros dinâmicos como a "cola" necessária.
2. Explicação das Relações de Weyl: O trabalho oferece uma explicação conceitual para o porquê de os operadores de Demazure-Lusztig dinâmicos (previamente estudados por Rimányi e Weber no contexto de cálculo de Schubert elíptico) satisfazerem as relações do grupo de Weyl. O artigo atribui isso ao seu embedimento dentro da álgebra de Hecke do dado de raiz dual de Langlands.
3. Insight Estrutural: Estabelece que o transform de Fourier-Mukai não é meramente uma operação geométrica em camadas, mas uma dualidade estrutural entre as teorias de representação de álgebras de Hecke elípticas duais.

Os autores explicitamente observam que, embora os resultados sejam esperados como compatíveis com o transform de Fourier da álgebra de Hecke dupla afim (relacionada à S-dualidade), a relação específica com o caso duplo afim é deixada para investigação futura. O artigo foca estritamente no cenário elíptico e na construção do funtor de dualidade.