Elliptic classes via the periodic Hecke module and its Langlands dual

Resumo Técnico de "Elliptic Classes via the Periodic Hecke Module and Its Langlands Dual"

Enunciado do Problema
O artigo aborda a construção e as propriedades estruturais das classes elípticas associadas à resolução de Springer $T^*G/B$. Estas classes, que surgem no estudo de resoluções simpléticas e cohomologia elíptica, são seções racionais de feixes vetoriais específicos sobre variedades abelianas. Embora abordagens anteriores de Aganagic-Okounkov (via envelopes estáveis) e Rimányi-Weber (via resoluções de Bott-Samelson e gêneros elípticos) tenham estabelecido fórmulas de iteração envolvendo operadores de Demazure-Lusztig (DL) elípticos com parâmetros dinâmicos, este trabalho busca um arcabouço puramente algébrico. O problema central é definir essas classes utilizando as estruturas de sistemas de raízes e o feixe de linha de Poincaré, e elucidar a relação entre as classes elípticas de um sistema de raízes e as de seu dual de Langlands.

Metodologia
Os autores empregam uma abordagem puramente algébrica fundamentada na teoria de dados de raízes, curvas elípticas e feixes coerentes. A metodologia procede através dos seguintes passos:

1. Configuração Geométrica: Seja $E$ uma curva elíptica sobre $\mathbb{C}$. Dado um dado de raiz com reticulados duais $X^*$ e $X_*$, os autores definem variedades abelianas $A = X^* \otimes E$ e $A^\vee = X_* \otimes E$. O grupo de Weyl $W$ atua em ambas, denotado como a ação espectral ($W$) e a ação dinâmica ($W^d$).
2. O Módulo de Hecke Periódico: Utilizando o feixe de linha de Poincaré $\mathcal{P}$ em $A \times A^\vee$ e um deslocamento $\rho$ específico, os autores definem um feixe de linha $L$. Eles constroem o módulo periódico $M = \bigoplus_{w \in W} w^*L$, que serve como um modelo para a cohomologia elíptica equivariante da resolução de Springer.
3. Álgebra de Grupo Elíptica Torcida: Uma estrutura de álgebra é definida sobre a soma direta de feixes de linha $S = \bigoplus_{v,w \in W} S_{v,w}$, onde $S_{v,w} = L \otimes (w^{-1})^*(v^{-1})^{d*}L^{-1}$. Esta álgebra, referida como a álgebra de grupo elíptica torcida, atua sobre o módulo periódico. A estrutura da álgebra corresponde ao produto torcido de Kostant-Kumar, aumentado por ações do grupo de Weyl dinâmico.
4. Operadores DL Elípticos: Os autores definem operadores de Demazure-Lusztig (DL) elípticos $T_\alpha^{z,\lambda}$ com parâmetros dinâmicos como seções racionais da álgebra de grupo torcida. Esses operadores satisfazem relações de braid e são construídos usando apenas a curva elíptica, o feixe de linha de Poincaré e o dado de raiz.
5. Dualidade de Langlands: Uma construção paralela é realizada para o dado de raiz dual de Langlands, gerando um módulo periódico dual $M^d$ e operadores duais. Os autores utilizam funtores de dualidade e emparelhamentos de Poincaré para relacionar o sistema original ao seu dual de Langlands.

Contribuições Principais e Resultados

• Definição Algébrica de Classes Elípticas: O artigo fornece uma definição algébrica rigorosa de classes elípticas como seções racionais do módulo periódico. Fórmulas explícitas para a restrição dessas classes aos pontos fixos são derivadas.
• O Teorema Principal (Isomorfismo de Dualidade de Langlands): O resultado primário estabelece uma montagem natural dos operadores DL, denotada por $T$, que define um isomorfismo racional entre o módulo periódico $M$ e o módulo periódico dual $M^d$. Especificamente:
  1. A aplicação $T: M \dashrightarrow M^d$ é um isomorfismo racional de feixes vetoriais.
  2. A aplicação $T$ envia a base de pontos fixos $\tilde{f}_v$ de $M$ para as classes elípticas $E^d_v$ do sistema dual de Langlands.
  3. Inversamente, $T$ envia as classes elípticas $E_v$ do sistema original para a base de pontos fixos $\tilde{f}^d_v$ do sistema dual.
  4. A aplicação inversa é dada pela montagem do operador dual $T^d$.
• Emparelhamentos de Poincaré e Adjunção: Os autores introduzem emparelhamentos de Poincaré nos módulos periódicos e provam propriedades de adjunção para os operadores DL elípticos. Essas propriedades são cruciais para provar o teorema principal e para estabelecer a dualidade entre as classes elípticas e suas "classes opostas" (definidas via feixes duais).
• Fórmulas de Restrição: O artigo deriva fórmulas explícitas para os coeficientes de restrição das classes elípticas aos pontos fixos. Esses coeficientes são expressos como somas sobre subconjuntos da palavra reduzida de um elemento do grupo de Weyl, envolvendo produtos de funções theta.
• Grau Logarítmico: Um novo invariante, o "grau logarítmico" $\Theta_w$, é definido para elementos do grupo de Weyl. Este elemento em $X^* \otimes X_*$ codifica a estrutura de zeros e polos dos coeficientes de restrição.

Significância e Alegações
O artigo alega que seu teorema principal fornece um isomorfismo canônico entre a cohomologia elíptica equivariante da resolução de Springer $T^*G/B$ e a de seu dual de Langlands $T^*G^\vee/B^\vee$. Este isomorfismo mapeia a base de pontos fixos de um espaço para as classes elípticas do outro, entrelaçando efetivamente as estruturas geométricas de dados de raízes duais.

Os autores posicionam este trabalho como uma perspectiva distinta da simetria de espelho 3d (dualidade simplética) no contexto da cohomologia elíptica. Enquanto trabalhos anteriores (ex: Rimányi-Weber) compararam fórmulas de restrição e as ligaram à simetria de espelho, este artigo oferece uma explicação estrutural via o módulo de Hecke periódico e a interação dos operadores DL.

O artigo também observa que os coeficientes de restrição podem ser vistos como "polinômios de Schubert elípticos duplos" no tipo A, traçando uma analogia com o trabalho de Allen Knutson sobre classes de Schubert cohomológicas. Os autores afirmam que uma "fórmula de polinômio de raiz" para os coeficientes de restrição (focando em coeficientes $b$ em vez de coeficientes $a$ discutidos aqui) será apresentada em um trabalho futuro, sugerindo que o presente trabalho estabelece a base para o desenvolvimento desse arcabouço algébrico.

A construção é notada por ser bem comportada em relação à dualidade de Langlands, fornecendo um arcabouço unificado para o estudo de classes elípticas sem depender de resoluções geométricas específicas como a de Bott-Samelson, embora recupere fórmulas de iteração conhecidas. O artigo conclui reconhecendo que a estrutura integral da álgebra de Hecke elíptica (sem localização) permanece um objeto interessante para a teoria de representação, referenciando trabalhos separados para sua definição e aplicações em transformações de Fourier-Mukai.