A Langlands duality of elliptic Hecke algebras

Resumen Técnico: Una Dualidad de Langlands para Álgebras de Hecke Elípticas

Planteamiento del Problema
El artículo aborda la teoría de la representación del álgebra de Hecke afín elíptica (específicamente el álgebra GKV introducida por Ginzburg, Kapranov y Vasserot), la cual se define como un haz coherente sobre una variedad abeliana asociada a un dato de raíz. Surge una cuestión central a partir de la observación de que las representaciones de este álgebra poseen una estructura de haz coherente subyacente: ¿Puede la transformada de Fourier-Mukai de la variedad abeliana subyacente extenderse para establecer una dualidad entre las categorías de representación del álgebra GKV y la del álgebra GKV asociada al dato de raíz dual de Langlands? Si bien la transformada de Fourier-Mukai es bien comprendida para haces coherentes en variedades abelianas, extender esta equivalencia a las categorías de módulos específicas de estos álgebras de Hecke elípticas requiere una estructura intermedia adecuada.

Metodología
Los autores construyen un puente entre las categorías de representación del álgebra GKV original y su dual de Langlands mediante la introducción de un álgebra intermedia: el álgebra de Hecke elíptica con parámetros dinámicos ($H^d$). La metodología procede en tres etapas:

1. Construcción del Álgebra Dinámica: Los autores definen $H^d$ como un haz sobre el producto de la variedad abeliana $A$ y su dual $A^\vee$. Este álgebra se construye utilizando una "definición por residuos" análoga a la construcción GKV pero adaptada para parámetros dinámicos. La definición involucra secciones racionales de un haz de líneas específico $L$ (un giro del haz de línea de Poincaré) e impone condiciones de residuo específicas (análogas a los operadores de Demazure-Lusztig) para asegurar que la estructura del álgebra esté bien definida.
2. Conexiones Functoriales:
   • Paso 1 (GKV a Dinámica): Utilizando el haz de línea de Poincaré, los autores construyen un functor desde la categoría de módulos sobre el álgebra GKV original ($Mod\text{-}H$) hacia la categoría de módulos sobre el álgebra dinámica ($Mod\text{-}H^d$). Esto se logra estableciendo un homomorfismo de álgebra de tipo coproducto $\Psi: H^d \to (H^d + S) \otimes p^*H$, donde $S$ es el álgebra de grupo girada. Esto permite que el álgebra dinámica actúe sobre el producto tensorial del pullback de un módulo GKV con el haz de línea $L$.
   • Paso 2 (Dinámica a Dual de Langlands): Los autores demuestran que los operadores de Demazure-Lusztig dinámicos satisfacen las relaciones del grupo de Weyl del dato de raíz dual de Langlands. Utilizando estos operadores, construyen un homomorfismo de álgebra desde el álgebra GKV dual de Langlands ($H_L$) hacia el pushforward del álgebra dinámica. Esto induce un functor de $Mod\text{-}H^d$ a $Mod\text{-}H_L$.
3. Síntesis: Al componer estos functores, los autores materializan la transformada de Fourier-Mukai en el nivel de las categorías de representación.

Contribuciones Clave y Resultados

• Definición del Álgebra de Hecke Elíptica Dinámica: El artículo proporciona una estructura integral rigurosa para el álgebra de Hecke elíptica con parámetros dinámicos, definiéndola mediante condiciones de residuo sobre secciones racionales. Este álgebra sirve como el intermediario crucial para la dualidad.
• El Functor de Fourier-Mukai: El resultado principal (Corolario 5.1) es la construcción de un functor $FM: Mod\text{-}H \to Mod\text{-}H_L$. Este functor hace que el diagrama sea conmutativo con la transformada de Fourier-Mukai estándar en las variedades abelianas subyacentes. Específicamente, mapea la categoría de módulos GKV a la categoría de módulos sobre el álgebra GKV dual de Langlands.
• Functor Inverso y Equivalencia: El artículo construye un functor inverso (Corolario 5.2) utilizando la transformada de Fourier-Mukai inversa y el álgebra dinámica dual.
• Equivalencia de Subcategorías: Los autores prueban que, al restringirse a subcategorías específicas —fibrados vectoriales homogéneos ($Mod\text{-}fl\text{-}H$) y haces coherentes de soporte finito ($Mod\text{-}fin\text{-}H_L$) — los functores inducen una equivalencia de categorías abelianas (Corolario 5.6).
• Clasificación de Representaciones Irreducibles: Como consecuencia de la equivalencia establecida y resultados previos, el artículo establece que si el grupo subyacente $G$ es de tipo adjunto, los objetos irreducibles en $Mod\text{-}fl\text{-}H$ están en correspondencia biunívoca con el conjunto de triples $(P, x, \chi)$, donde $(P, x)$ es un fibrado de Higgs nilpotente de $G$ y $\chi$ es una representación irreducible del grupo de componentes de su grupo de automorfismos (Corolario 5.7).

Significancia y Reivindicaciones
El artículo afirma proporcionar una respuesta afirmativa a la pregunta de si la transformada de Fourier-Mukai se extiende a las categorías de representación de los álgebras de Hecke afines elípticas. La significancia radica en:

1. Marco Unificador: Conecta la teoría de la representación de los álgebras de Hecke elípticas con el programa de Langlands geométrico mediante la transformada de Fourier-Mukai, utilizando los parámetros dinámicos como el "pegamento" necesario.
2. Explicación de las Relaciones de Weyl: El trabajo ofrece una explicación conceptual de por qué los operadores de Demazure-Lusztig dinámicos (estudiados previamente por Rimányi y Weber en el contexto del cálculo de Schubert elíptico) satisfacen las relaciones del grupo de Weyl. El artículo atribuye esto a su inserción dentro del álgebra de Hecke del dato de raíz dual de Langlands.
3. Perspectiva Estructural: Establece que la transformada de Fourier-Mukai no es meramente una operación geométrica sobre haces, sino una dualidad estructural entre las teorías de representación de los álgebras de Hecke elípticas duales.

Los autores señalan explícitamente que, si bien se espera que los resultados sean compatibles con la transformada de Fourier del álgebra de Hecke doble afín (relacionada con la S-dualidad), la relación específica con el caso doble afín se deja para investigaciones futuras. El artículo se centra estrictamente en el entorno elíptico y en la construcción del functor de dualidad.