A Langlands duality of elliptic Hecke algebras

Sintesi Tecnica: Una Dualità di Langlands per le Algebre di Hecke Ellittiche

Enunciato del Problema
Il saggio affronta la teoria delle rappresentazioni dell'algebra di Hecke affine ellittica (nello specifico l'algebra GKV introdotta da Ginzburg, Kapranov e Vasserot), la quale è definita come un fascio coerente su una varietà abeliana associata a un dato di radice (root datum). Una questione centrale sorge dall'osservazione che le rappresentazioni di questa algebra possiedono una sottostante struttura di fascio coerente: è possibile estendere la trasformata di Fourier-Mukai della varietà abeliana sottostante per stabilire una dualità tra le categorie delle rappresentazioni dell'algebra GKV e l'algebra GKV associata al dato di radice duale di Langlands? Sebbene la trasformata di Fourier-Mukai sia ben compresa per i fasci coerenti sulle varietà abeliene, l'estensione di tale equivalenza alle specifiche categorie di moduli di queste algebre di Hecke ellittiche richiede una struttura intermedia adeguata.

Metodologia
Gli autori costruiscono un ponte tra le categorie delle rappresentazioni dell'originale algebra GKV e la sua duale di Langlands introducendo un'algebra intermedia: l'algebra di Hecke ellittica con parametri dinamici ($H^d$). La metodologia procede in tre fasi:

1. Costruzione dell'Algebra Dinamica: Gli autori definiscono $H^d$ come un fascio sul prodotto della varietà abeliana $A$ e la sua duale $A^\vee$. Questa algebra è costruita utilizzando una "definizione per residui" analoga alla costruzione GKV, ma adattata per i parametri dinamici. La definizione coinvolge sezioni razionali di un particolare fibrato lineare $L$ (un twist del fibrato di Poincaré) e impone specifiche condizioni di residuo (analoghe agli operatori di Demazure-Lusztig) per garantire che la struttura dell'algebra sia ben definita.
2. Connessioni Funzionali:
   • Fase 1 (GKV verso Dinamica): Utilizzando il fibrato di Poincaré, gli autori costruiscono un funtore dalla categoria dei moduli dell'originale algebra GKV ($Mod\text{-}H$) alla categoria dei moduli dell'algebra dinamica ($Mod\text{-}H^d$). Ciò è ottenuto stabilendo un omo-morfismo di algebra di tipo coprodotto $\Psi: H^d \to (H^d + S) \otimes p^*H$, dove $S$ è l'algebra di gruppo twisted. Questo permette all'algebra dinamica di agire sul pullback di un modulo GKV tensorizzato con il fibrato lineare $L$.
   • Fase 2 (Dinamica verso Duale di Langlands): Gli autori dimostrano che gli operatori di Demazure-Lusztig dinamici soddisfano le relazioni del gruppo di Weyl del dato di radice duale di Langlands. Utilizzando tali operatori, costruiscono un omo-morfismo di algebra dall'algebra GKV duale di Langlands ($H_L$) al pushforward dell'algebra dinamica. Ciò induce un funtore da $Mod\text{-}H^d$ a $Mod\text{-}H_L$.
3. Sintesi: Componendo questi funtori, gli autori realizzano la trasformata di Fourier-Mukai sul livello delle categorie di rappresentazione.

Contributi Chiave e Risultati

• Definizione dell'Algebra di Hecke Ellittica Dinamica: Il saggio fornisce una rigorosa struttura integrale per l'algebra di Hecke ellittica con parametri dinamici, definendola tramite condizioni di residuo sulle sezioni razionali. Questa algebra funge da cruciale intermediario per la dualità.
• Il Funtore di Fourier-Mukai: Il risultato primario (Corollario 5.1) è la costruzione di un funtore $FM: Mod\text{-}H \to Mod\text{-}H_L$. Questo funtore rende il diagramma commutativo con la standard trasformata di Fourier-Mukai sulle varietà abeliene sottostanti. Nello specifico, esso mappa la categoria dei moduli GKV nella categoria dei moduli dell'algebra GKV duale di Langlands.
• Funtore Inverso ed Equivalenza: Il saggio costruisce un funtore inverso (Corollario 5.2) utilizzando la trasformata di Fourier-Mukai inversa e l'algebra dinamica duale.
• Equivalenza di Sottocategorie: Gli autori dimostrano che, quando ristrette a specifiche sottocategorie — fasci vettoriali omogenei ($Mod\text{-}fl\text{-}H$) e fasci coerenti a supporto finito ($Mod\text{-}fin\text{-}H_L$) — i funtori inducono un'equivalenza di categorie assolute (Corollario 5.6).
• Classificazione delle Rappresentazioni Irriducibili: Come conseguenza della dualità stabilita e di risultati pregressi, il saggio afferma che, se il gruppo sottostante $G$ è di tipo adjoint, gli oggetti irriducibili in $Mod\text{-}fl\text{-}H$ sono in corrispondenza biunivoca con l'insieme delle triple $(P, x, \chi)$, dove $(P, x)$ è un legame di Higgs nilpotente $G$ e $\chi$ è una rappresentazione irriducibile del gruppo di componenti del suo gruppo di automorfismi (Corollario 5.7).

Significato e Rivendicazioni

Il saggio sostiene di fornire una risposta affermativa alla domanda se la trasformata di Fourier-Mukai si estenda alle categorie delle rappresentazioni delle algebre di Hecke affini ellittiche. La significatività risiede in:

1. Quadro Unificante: Esso connette la teoria delle rappresentazioni delle algebre di Hecke ellittiche con il programma di Langlands geometrico attraverso la trasformata di Fourier-Mukai, utilizzando i parametri dinamici come il necessario "collante".
2. Spiegazione delle Relazioni di Weyl: Il lavoro offre una spiegazione concettuale del perché gli operatori di Demazure-Lusztig dinamici (precedentemente studiati da Rimányi e Weber nel contesto del calcolo di Schubert ellittico) soddisfino le relazioni del gruppo di Weyl. Il saggio attribuisce ciò al loro embedding all'interno dell'algebra di Hecke del dato di radice duale di Langlands.
3. Intuizione Strutturale: Stabilisce che la trasformata di Fourier-Mukai non è meramente un'operazione geometrica sui fasci, ma una dualità strutturale tra le teorie delle rappresentazioni di duali algebre di Hecke ellittiche.

Gli autori notano esplicitamente che, sebbene i risultati siano attesi essere compatibili con la trasformata di Fourier dell'algebra di Hecke doppia affina (legata alla S-dualità), la specifica relazione con il caso doppio affino è lasciata a indagini future. Il saggio si concentra strettamente sull'ambito ellittico e sulla costruzione del funtore di dualità.