Category O for p-adic rational Cherednik algebras

Riassunto Tecnico: Categoria $\mathcal{O}$ per Algebre di Cherednik Razionali $p$-adiche

1. Il Problema (Problem)

Il lavoro affronta la sfida di estendere la teoria delle rappresentazioni delle algebre razionali di Cherednik dal contesto algebrico classico (su campi come $\mathbb{C}$) al contesto analitico $p$-adico.

Nello specifico, l'autore mira a definire una versione analitica della Categoria $\mathcal{O}$ (sviluppata originariamente da Ginzburg, Guay, Opdam e Rouquier) per le algebre di Cherednik definite su spazi rigidi analitici. Il problema centrale risiede nella natura delle algebre analitiche: a differenza delle algebre algebriche, quelle $p$-adiche sono algebre di Fréchet o di Banach, il che rende la decomposizione in spazi pesati (weight spaces) e la struttura di categoria di peso massimo (highest weight category) tecnicamente complesse a causa delle questioni di convergenza e della topologia.

2. Metodologia (Methodology)

L'autore adotta un approccio che combina l'algebra non commutativa con l'analisi funzionale $p$-adica. La metodologia si articola in tre fasi principali:

• Sviluppo di una teoria di decomposizione triangolare: Viene introdotto un concetto generalizzato di "decomposizione triangolare" applicabile non solo ad algebre graduate, ma anche ad algebre di Banach e di Fréchet-Stein. Questo permette di gestire l'operatore di gradazione (l'elemento di Euler deformato) in un contesto topologico.
• Analisi degli spazi pesati in spazi di Banach/Fréchet: Per superare i limiti dell'analisi classica, l'autore utilizza la teoria degli spazi pesati di tipo compatto e di tipo finito per spazi di Banach, garantendo che le decomposizioni siano ben comportate rispetto ai sottospazi chiusi e ai quozienti.
• Utilizzo della struttura Fréchet-Stein: Le algebre di Cherednik $p$-adiche vengono trattate come algebre di Fréchet-Stein, ovvero come limiti inversi di algebre di Banach noetheriane. Questo permette di traslare i risultati dalla teoria delle algebre di Banach (dove la teoria è più gestibile) alla categoria dei moduli co-ammissibili.

3. Contributi Chiave (Key Contributions)

• Definizione della Categoria $\mathcal{O}$ per algebre di Banach e Fréchet-Stein: L'autore dimostra che se un'algebra di Fréchet-Stein ammette una decomposizione triangolare, è possibile definire una categoria $\mathcal{O}$ (indicata come $\hat{\mathcal{O}}$) che è una sottocategoria abeliana piena della categoria dei moduli co-ammissibili $\mathcal{C}(R)$.
• Caratterizzazione tramite il Funttore GAGA: Il lavoro stabilisce un ponte tra l'algebra algebrica e quella analitica attraverso il funtore GAGA rigido-analitico, dimostrando che l'algebra di Cherednik $p$-adica è l'involucro di Arens-Michael dell'algebra di Cherednik algebrica.
• Costruzione esplicita per le algebre di Cherednik: Viene fornita una presentazione esplicita di Fréchet-Stein per le algebre di Cherednik razionali $p$-adiche, confermando che esse possiedono la struttura necessaria per sostenere una categoria $\mathcal{O}$.

4. Risultati Principali (Results)

I risultati sono condensati nei seguenti teoremi fondamentali:

• Teorema A e B: Stabiliscono che le categorie $\mathcal{O}$ (per Banach) e $\hat{\mathcal{O}}$ (per Fréchet-Stein) sono categorie di peso massimo (highest weight categories). Gli oggetti semplici sono in biiezione naturale con le rappresentazioni irriducibili dell'algebra di Hecke/H associata.
• Teorema C e D: Dimostrano che le algebre di Cherednik su spazi Stein lisci sono algebre di Fréchet-Stein nucleari e che la mappa canonica tra la versione algebrica e quella analitica è fede-piatta (faithfully flat) con immagine densa.
• Teorema E (Risultato Principale): Dimostra che l'estensione di scala lungo la mappa $H_c(\mathfrak{h}, G) \to H_c(\mathfrak{h}^{an}, G)$ induce un'equivalenza di categorie di peso massimo tra la categoria $\mathcal{O}$ algebrica e la categoria $\hat{\mathcal{O}}$ analitica.

5. Significato e Implicazioni (Significance)

Il lavoro ha un impatto profondo in due direzioni:

1. Teoria delle Rappresentazioni $p$-adiche: Fornisce gli strumenti per studiare le rappresentazioni di algebre di Cherednik su varietà rigide analitiche, aprendo la strada a una "geometrizzazione" analitica della teoria.
2. Teoria Modulare: L'autore suggerisce che questa teoria possa essere utilizzata per studiare le rappresentazioni in caratteristica $p$ (rappresentazioni modulari) attraverso il "lifting" (sollevamento) dalle rappresentiche di Witt vettori alle rappresentazioni $p$-adiche, unendo tecniche di teoria dei $D$-moduli e moduli di Weyl.
3. Connessione con i Gruppi di Lie $p$-adici: Il lavoro si collega alla teoria delle rappresentazioni localmente analitiche dei gruppi di Lie $p$-adici, suggerendo che le algebre di Cherednik possano offrire nuovi invarianti geometrici e algebrici per tali rappresentazioni.