On factorization of matrix of Kazhdan-Lusztig polynomials

1. Il Problema e il Contesto

Il lavoro si inserisce nello studio delle algebre di Hecke $H = H(W, S)$ associate a sistemi di Coxeter $(W, S)$, dove $W$ è il gruppo di Weyl di un'algebra di Kac-Moody simmetrizzabile. Il focus principale è sulla positività dei coefficienti nelle trasformazioni di base tra diverse basi dell'algebra di Hecke.

Storicamente, Kazhdan e Lusztig hanno dimostrato che i coefficienti dei polinomi di Kazhdan-Lusztig (che descrivono il passaggio dalla base standard $\{T_w\}$ alla base di Kazhdan-Lusztig $\{C_w\}$) sono non negativi per gruppi di Weyl finiti e affini. Successivamente, Elias e Williamson hanno esteso questo risultato a sistemi di Coxeter arbitrari.

Il problema affrontato in questo articolo nasce dall'introduzione delle basi ibride (hybrid basis) da parte di Grojnowski e Haiman. Queste basi, denotate come $TC^J$, interpolano tra la base standard (quando $J = \emptyset$) e la base di Kazhdan-Lusztig (quando $J = S$), dove $J \subseteq S$ è un sottoinsieme di riflessioni semplici. La domanda centrale è: i coefficienti del cambiamento di base tra due basi ibride distinte $TC^J$ e $TC^I$ (con $I \subseteq J$) sono polinomi in $q$ a coefficienti non negativi?

2. Metodologia

Gli autori adottano un approccio ibrido che combina tecniche algebriche combinatorie e metodi geometrici avanzati:

• Mappatura di Restrizione: Viene definita una mappa di restrizione $|_J: H \to H_J$, dove $H_J$ è l'algebra di Hecke parabolica associata al sottogruppo $W_J$. Questa mappa agisce sulla base standard mandando $T_w$ in $T_w$ se $w \in W_J$ e a 0 altrimenti.
• Basi Ibride: Si utilizza la definizione di Grojnowski-Haiman delle basi ibride $TC^J_w = T_{w_J} C_{w^J}$, basate sulla fattorizzazione parabolica degli elementi del gruppo.
• Strumenti Algebrici: Si sfruttano le proprietà di linearità della mappa di restrizione rispetto all'azione di $H_J$ e le relazioni ricorsive dei polinomi di Kazhdan-Lusztig (tramite le formule di Deodhar e Casper).
• Geometria (Per gruppi di Weyl): Per dimostrare la positività, gli autori ricorrono alla categorificazione tramite fasci perversi (perverse sheaves) e moduli di Hodge misti. Si utilizza il teorema di categorificazione che collega l'algebra di Hecke alla $K$-teoria dello spazio delle bandiere, mostrando che la positività dei coefficienti corrisponde all'esistenza di oggetti semisemplici nella categoria dei fasci perversi.

3. Contributi Chiave e Risultati Principali

Il paper stabilisce tre teoremi fondamentali che risolvono la questione della positività e della fattorizzazione:

Teorema A (Positività dei coefficienti di restrizione)

Per $u \in W^J$ (rappresentanti minimi delle classi laterali sinistre) e $w \in W$, i coefficienti dell'espansione di $(T_{u^{-1}}C_w)|_J$ nella base di Kazhdan-Lusztig di $H_J$ sono polinomi in $q$ a coefficienti non negativi.
Questo conferma che l'operazione di restrizione applicata a un elemento moltiplicato per una base di Kazhdan-Lusztig preserva la positività.

Teorema B (Positività del cambiamento di base tra basi ibride)

Per $I \subseteq J \subseteq S$, l'espansione della base ibrida $TC^J_w$ nella base ibrida $TC^I_x$ ha coefficienti $h^{I,J}_{x,w}(q)$ che sono polinomi in $q$ a coefficienti non negativi:
$$TC^J_w = \sum_{x \in W} h^{I,J}_{x,w}(q) TC^I_x$$
Questo generalizza i teoremi di positività noti (Springer, Lusztig, Dyer-Lehrer) a un contesto più ampio di basi intermedie.

Teorema C (Fattorizzazione della matrice dei polinomi)

Il risultato più significativo è la fattorizzazione della matrice dei polinomi di Kazhdan-Lusztig. Per qualsiasi catena di sottoinsiemi $\emptyset = J_0 \subset J_1 \subset \dots \subset J_k = S$, la matrice dei polinomi di Kazhdan-Lusztig di $H$ si fattorizza in un prodotto di $k$ matrici.
Ogni matrice in questo prodotto ha entrate che sono polinomi in $q$ a coefficienti non negativi.
In particolare, scegliendo una catena in cui ogni $J_i$ ha esattamente $i$ elementi, la matrice si fattorizza in $|S|$ matrici elementari positive.

4. Dettagli Tecnici e Dimostrazioni

• Dimostrazione Algebrica (Sezioni 5-7): Gli autori dimostrano che i coefficienti di restrizione sono un caso speciale dei coefficienti di cambiamento di base tra basi ibride. Utilizzando il Lemma 5.5 e 5.6, mostrano che la struttura delle basi ibride permette di ridurre il problema alla positività nota dei coefficienti di moltiplicazione $C_w \cdot TC^J_u$ (Teorema 4.3 di Grojnowski-Haiman). Vengono forniti esempi espliciti per gruppi di tipo $A_n$ e gruppi diedrali, calcolando formule chiuse per i coefficienti di restrizione.
• Dimostrazione Geometrica (Sezione 8): Per i gruppi di Weyl di algebre di Kac-Moody simmetrizzabili, viene fornita una prova geometrica della positività.
  • Si lavora nella categoria derivata di fasci costruibili $D^b_c(F)$ sullo spazio delle bandiere $F = G/B$.
  • Si utilizza il teorema di categorificazione: la base di Kazhdan-Lusztig corrisponde alla classe di isomorfismo dei complessi di coomologia intersezionale (IC).
  • La mappa di restrizione e la moltiplicazione per $T_{u^{-1}}$ vengono sollevate a funtori tra categorie derivate ($\phi^* \pi_! j_*$).
  • Utilizzando la localizzazione iperbolica (Bradén), si dimostra che questi funtori preservano la "purezza" degli oggetti nei moduli di Hodge misti, il che implica che gli oggetti risultanti sono semisemplici. La semisemplicità nella $K$-teoria corrisponde esattamente alla positività dei coefficienti nell'algebra di Hecke.

5. Significato e Implicazioni

• Generalizzazione: Il lavoro estende la comprensione della struttura positiva delle algebre di Hecke oltre i casi classici, fornendo un quadro unificato per le basi ibride.
• Struttura della Matrice: La fattorizzazione del Teorema C offre una nuova prospettiva strutturale sulla matrice dei polinomi di Kazhdan-Lusztig, decomponendola in componenti "elementari" positive. Questo potrebbe avere implicazioni per lo studio delle rappresentazioni e della geometria delle varietà di Schubert.
• Limiti e Futuro: Le dimostrazioni geometriche sono attualmente limitate ai gruppi di Weyl di algebre di Kac-Moody simmetrizzabili. Per gruppi di Coxeter generali, la positività rimane una questione aperta, sebbene gli autori indichino che l'uso dei bimoduli di Soergel (sviluppato da Elias e Williamson) potrebbe essere la strada per estendere i risultati a tutti i gruppi di Coxeter.
• Applicazioni: I coefficienti di restrizione calcolati includono come caso particolare i polinomi di Kazhdan-Lusztig parabolici associati alla rappresentazione del segno, collegando risultati apparentemente distinti in un'unica teoria coerente.

In sintesi, il paper fornisce una risposta affermativa alla congettura di positività per i coefficienti di cambiamento di base tra basi ibride, dimostrando che la complessa matrice dei polinomi di Kazhdan-Lusztig possiede una struttura di fattorizzazione intrinsecamente positiva.