Elliptic classes via the periodic Hecke module and its Langlands dual

Resumen Técnico de "Clases Elípticas vía el Módulo de Hecke Periódico y su Dual de Langlands"

Planteamiento del Problema
El artículo aborda la construcción y las propiedades estructurales de las clases elípticas asociadas con la resolución de Springer $T^*G/B$. Estas clases, que surgen en el estudio de las resoluciones simplécticas y la cohomología elíptica, son secciones racionales de haces vectoriales específicos sobre variedades abelianas. Si bien enfoques previos de Aganagic-Okounkov (vía envolventes estables) y Rimányi-Weber (vía resoluciones de Bott-Samelson y géneros elípticos) han establecido fórmulas de iteración que involucran operadores de Demazure-Lusztig (DL) elípticos con parámetros dinámicos, este trabajo busca un marco puramente algebraico. El problema central es definir estas clases utilizando las estructuras de los sistemas de raíces y el haz de Poincaré, y dilucidar la relación entre las clases elípticas de un sistema de raíces y las de su dual de Langlands.

Metodología
Los autores emplean un enfoque puramente algebraico fundamentado en la teoría de datos de raíces, curvas elípticas y haces coherentes. La metodología procede a través de los siguientes pasos:

1. Configuración Geométrica: Sea $E$ una curva elíptica sobre $\mathbb{C}$. Dado un dato de raíz con redes duales $X^*$ y $X_*$, los autores definen variedades abelianas $A = X^* \otimes E$ y $A^\vee = X_* \otimes E$. El grupo de Weyl $W$ actúa en ambas, denotado como la acción espectral ($W$) y la acción dinámica ($W^d$).
2. El Módulo de Hecke Periódico: Utilizando el haz de Poincaré $\mathcal{P}$ sobre $A \times A^\vee$ y un desplazamiento $\rho$ específico, los autores definen un haz de líneas $L$. Construyen el módulo periódico $M = \bigoplus_{w \in W} w^*L$, el cual sirve como modelo para la cohomología elíptica equivariante de la resolución de Springer.
3. Álgebra de Grupo Elíptica Torcida: Se define una estructura de álgebra en la suma directa de haces de líneas $S = \bigoplus_{v,w \in W} S_{v,w}$, donde $S_{v,w} = L \otimes (w^{-1})^*(v^{-1})^{d*}L^{-1}$. Este álgebra, denominada álgebra de grupo elíptica torcida, actúa sobre el módulo periódico. La estructura del álgebra corresponde al producto torcido de Kostant-Kumar, aumentado por acciones del grupo de Weyl dinámico.
4. Operadores DL Elípticos: Los autores definen operadores de Demazure-Lusztig (DL) elípticos $T_\alpha^{z,\lambda}$ con parámetros dinámicos como secciones racionales del álgebra de grupo torcida. Estos operadores satisfacen relaciones de trenzado y están construidos utilizando únicamente la curva elíptica, el haz de Poincaré y el dato de raíz.
5. Dualidad de Langlands: Se realiza una construcción paralela para el dato de raíz dual de Langlands, obteniendo un módulo periódico dual $M^d$ y operadores duales. Los autores utilizan functores de dualidad y emparejamientos de Poincaré para relacionar el sistema original con su dual de Langlands.

Contribuciones Clave y Resultados

• Definición Algebraica de Clases Elípticas: El artículo proporciona una definición algebraica rigurosa de las clases elípticas como secciones racionales del módulo periódico. Se derivan fórmulas explícitas para la restricción de estas clases a los puntos fijos.
• El Teorema Principal (Isomorfismo de Dualidad de Langlands): El resultado primordial establece un ensamblaje natural de los operadores DL, denotado como $T$, que define un isomorfismo racional entre el módulo periódico $M$ y el módulo periódico dual $M^d$. Específicamente:
  1. La aplicación $T: M \dashrightarrow M^d$ es un isomorfismo racional de haces vectoriales.
  2. La aplicación $T$ envía la base de puntos fijos $\tilde{f}_v$ de $M$ a las clases elípticas $E^d_v$ del sistema dual de Langlands.
  3. Inversamente, $T$ envía las clases elípticas $E_v$ del sistema original a la base de puntos fijos $\tilde{f}^d_v$ del sistema dual.
  4. La aplicación inversa está dada por el ensamblaje del operador dual $T^d$.
• Emparejamientos de Poincaré y Adjunción: Los autores introducen emparejamientos de Poincaré en los módulos periódicos y prueban propiedades de adjunción para los operadores DL elípticos. Estas propiedades son cruciales para probar el teorema principal y para establecer la dualidad entre las clases elípticas y sus "clases opuestas" (definidas vía haces duales).
• Fórmulas de Restricción: El artículo deriva fórmulas explícitas para los coeficientes de restricción de las clases elípticas a los puntos fijos. Estos coeficientes se expresan como sumas sobre subconjuntos de la palabra reducida de un elemento del grupo de Weyl, involucrando productos de funciones theta.
• Grado Logarítmico: Se define un nuevo invariante, el "grado logarítmico" $\Theta_w$, para elementos del grupo de Weyl. Este elemento en $X^* \otimes X_*$ codifica la estructura de ceros y polos de los coeficientes de restricción.

Significancia y Reivindicaciones
El artículo sostiene que su teorema principal proporciona un isomorfismo canónico entre la cohomología elíptica equivariante de la resolución de Springer $T^*G/B$ y la de su dual de Langlands $T^*G^\vee/B^\vee$. Este isomorfismo mapea la base de puntos fijos de un espacio a las clases elípticas del otro, entrelazando efectivamente las estructuras geométricas de los datos de raíz duales.

Los autores posicionan este trabajo como una perspectiva distinta de la simetría de espejo 3d (dualidad simpléctica) dentro del contexto de la cohomología elíptica. Mientras que trabajos previos (por ejemplo, Rimányi-Weber) han comparado fórmulas de restricción y las han vinculado con la simetría de espejo, este artículo ofrece una explicación estructural vía el módulo de Hecke periódico y la interacción de los operadores DL.

El artículo también señala que los coeficientes de restricción pueden verse como "polinomios de Schubert elípticos dobles" en tipo A, trazando una analogía con el trabajo de Allen Knutson sobre clases de Schubert cohomológicas. Los autores afirman que una "fórmula de polinomio de raíz" para los coeficientes de restricción (centrándose en los coeficientes $b$ en lugar de los coeficientes $a$ discutidos aquí) será presentada en un trabajo futuro, sugiriendo que el presente trabajo sienta la base de la maquinaria algebraica para estos desarrollos futuros.

Se observa que la construcción es bien comportada con respecto a la dualidad de Langlands, proporcionando un marco unificado para estudiar las clases elípticas sin depender de resoluciones geométricas específicas como la de Bott-Samelson, aunque recupera las fórmulas de iteración conocidas. El artículo concluye reconociendo que la estructura integral del álgebra de Hecke elíptica (sin localización) sigue siendo un objeto interesante para la teoría de la representación, haciendo referencia a trabajos separados para su definición y aplicaciones en transformaciones de Fourier-Mukai.