Type A algebraic coherence conjecture of Pappas and Rapoport

1. Il Problema e il Contesto

Il lavoro si inserisce nel campo della teoria delle rappresentazioni dei gruppi di Lie e delle algebre di Kac-Moody affini, specificamente nel tipo A ($\mathfrak{sl}_n$).

• Congettura di Coerenza di Pappas-Rapoport: Dimostrata geometricamente da Xinwen Zhu, questa congettura stabilisce un'uguaglianza tra le dimensioni degli spazi di sezioni di certi fasci lineari su due varietà geometriche distinte ma correlate:
  1. Le varietà di Schubert sferiche nelle grassmanniane affini (lato destro).
  2. L'unione di varietà di Schubert nelle bandiere affini (lato sinistro).
     Geometricamente, questo corrisponde a una degenerazione della fibra generale (grassmanniana) alla fibra speciale (bandiera) in una famiglia globale definita su $\mathbb{A}^1$.
• Traduzione Algebrica: L'uguaglianza delle dimensioni può essere riformulata algebricamente come un'uguaglianza tra le dimensioni di certi moduli di Demazure (ciclici, per l'algebra delle correnti $\mathfrak{sl}_n[z]$) e somme di moduli di Demazure (per l'algebra di Iwahori $\mathcal{I}$).
• Obiettivo del Paper: Fornire una costruzione algebrica esplicita che colleghi direttamente questi moduli di Demazure, spiegando la degenerazione in termini puramente algebrici senza fare riferimento diretto alla geometria globale, e generalizzando il risultato a una classe più ampia di rappresentazioni rispetto a quelle coperte dalla congettura geometrica originale.

2. Metodologia e Costruzione Principale

L'autore introduce una costruzione algebrica basata sulla deformazione di moduli ciclici.

• Input: Una collezione di $n$ rappresentazioni cicliche $D_b$ dell'algebra delle correnti $\mathfrak{sl}_n[z]$ (o $\mathfrak{sl}_n(O)$), etichettate dalle radici semplici dell'algebra di Kac-Moody affine.
• Meccanismo di Deformazione:
  1. Si considera il prodotto tensoriale dei moduli $D_b$.
  2. Si introduce un parametro $\varepsilon$ e si definisce una famiglia di sottospazi $D(\varepsilon)$ generati dall'azione di un'algebra dipendente da $\varepsilon$, denotata come $\mathfrak{a}(\varepsilon)$.
  3. L'algebra $\mathfrak{a}(\varepsilon)$ è un sottogruppo dell'endomorfismo di un modulo su un quiver ciclico equiorientato. Per $\varepsilon \neq 0$, $\mathfrak{a}(\varepsilon)$ è isomorfo all'algebra delle correnti $\mathfrak{gl}_n(O)$.
  4. Si definisce il modulo limite $D(0) = \lim_{\varepsilon \to 0} D(\varepsilon)$.
• Risultato della Deformazione:
  • Per $\varepsilon = 0$, l'algebra $\mathfrak{a}(0)$ diventa isomorfa all'algebra di Iwahori $\mathcal{I}$ (o un suo quoziente specifico, legato alla contrazione di Inönü-Wigner).
  • Il modulo $D(0)$ è una rappresentazione (non più ciclica in generale) dell'algebra di Iwahori.
  • La costruzione utilizza una filtrazione decrescente basata sul grado di $\varepsilon$ per definire esplicitamente lo spazio limite.

3. Contributi Chiave e Risultati

A. Teorema A (Caso Speciale - Congettura di Coerenza)

Se tutti i pesi $\lambda^{(b)}$ delle rappresentazioni di input sono multipli di un singolo peso fondamentale $\omega_j$ (caso che corrisponde alla congettura geometrica originale), il modulo degenere $V^{\bar{\lambda}}$ (o $D(0)$) è isomorfo a una somma diretta di moduli di Demazure affini all'interno di una rappresentazione integrabile irriducibile $L(\sum k_b \Lambda_b)$.

• Questo conferma algebricamente la congettura di Pappas-Rapoport: la dimensione del modulo degenere coincide con la somma delle dimensioni dei moduli di Demazure corrispondenti alle varietà di Schubert nella bandiera affine.

B. Congettura B (Generalizzazione)

L'autore formula una congettura più generale: per qualsiasi collezione di pesi $\bar{\lambda}$, il modulo $V^{\bar{\lambda}}$ dell'algebra di Iwahori è generato dall'azione dell'algebra di Iwahori sui prodotti tensoriali dei vettori di peso estremale (non solo dal vettore ciclico).

• Se vera, questo implicherebbe che $V^{\bar{\lambda}}$ è isomorfo a una somma diretta di moduli di Kostant-Kumar affini.
• L'autore non fornisce una dimostrazione generale, ma supporta la congettura con numerosi controlli computazionali (vedi Appendice A).

C. Collegamento ai Moduli di Kostant-Kumar

Il lavoro stabilisce un ponte tra la degenerazione algebrica e i moduli di Kostant-Kumar. Mentre la congettura geometrica originale riguarda solo moduli di Demazure, la costruzione algebrica proposta genera moduli che, nel caso generale, corrispondono a moduli di Kostant-Kumar. Questo suggerisce che la degenerazione geometrica sottostante coinvolga non solo le varietà di Schubert, ma anche le loro generalizzazioni (varietà di Kostant-Kumar).

D. Esempi e Controesempi

• Casi Positivi: Vengono mostrati esempi espliciti (es. $n=2, 3$) dove la congettura B vale, e il modulo degenere è effettivamente generato dai vettori estremali.
• Casi Negativi: Viene presentato un esempio (Sezione 8.4) in cui la congettura B non vale: il modulo degenere ha la dimensione corretta, ma non è generato dall'azione dell'algebra di Iwahori sui soli vettori estremali. Questo evidenzia che la generalizzazione algebrica è più sottile della controparte geometrica.

4. Strumenti Computazionali

L'Appendice A descrive un programma in Python utilizzato per verificare la Congettura B.

• Algoritmo: Il codice genera lo spazio $S$ agendo con gli operatori dell'algebra di Iwahori $I_1$ sui vettori di peso estremale nel prodotto tensoriale.
• Verifica: Confronta la dimensione di $S$ con la dimensione del modulo di Cartan corrispondente $V_{\sum \lambda^{(b)}}$.
• Risultato: In tutti i casi testati (esclusi i controesempi costruiti ad hoc), le dimensioni coincidono, supportando la validità della congettura in un'ampia gamma di casi.

5. Significato e Impatto

• Ponte tra Geometria e Algebra: Il paper offre una descrizione puramente algebrica della degenerazione delle grassmanniane affini in bandiere affini, rendendo esplicito il meccanismo che collega le rappresentazioni dell'algebra delle correnti a quelle dell'algebra di Iwahori.
• Generalizzazione: Estende il contesto della congettura di Pappas-Rapoport oltre i moduli di Demazure "puri" (multipli di un peso fondamentale) a configurazioni miste di pesi, introducendo naturalmente i moduli di Kostant-Kumar.
• Nuovi Oggetti Algebrici: Introduce una famiglia di moduli $V^{\bar{\lambda}}$ per l'algebra di Iwahori che possono essere visti come sezioni di fasci lineari su varietà di flag di quiver (una generalizzazione delle varietà di Schubert).
• Limiti e Direzioni Future: La scoperta che la congettura B non vale in generale (esistono casi in cui il modulo non è generato dai vettori estremali) apre nuove domande sulla struttura esatta di questi moduli e sulla loro relazione con la geometria delle varietà di flag di quiver.

In sintesi, Feigin fornisce un quadro algerico robusto che non solo riproduce il risultato geometrico di Zhu, ma ne espande i confini, rivelando una struttura più ricca e complessa nella teoria delle rappresentazioni affine di tipo A.