Haiman's Conjecture and Springer's Representations

Sintesi Tecnica: La Congettura di Haiman e le Rappresentazioni di Springer

Enunciato del Problema
Il lavoro affronta la generalizzazione di una congettura del 1993 di Mark Haiman dai gruppi simmetrici ($S_n$) ai gruppi di Weyl finiti arbitrari ($W$). La congettura originale di Haiman postula che, per ogni permutazione $z \in S_n$ e ogni partizione $\mu \vdash n$, il polinomio di Laurent $\alpha_z^\mu(v)$, che codifica la decomposizione della caratteristica di Frobenius di una specifica rappresentazione di $S_n$ in funzioni simmetriche monomiali, abbia coefficienti non negativi e formi una successione unimodale.

Mentre la congettura di Haiman è stata dimostrata per $S_n$ (ed è correlata alla congettura di Shareshian–Wachs sulle funzioni quasisimmetriche cromatiche), una generalizzazione significativa ad altri gruppi di Weyl è stata ostacolata dalla mancanza di un analogo naturale per i "caratteri monomiali" ($mon_\mu$) al di fuori del tipo A. Inoltre, i primi tentativi di generalizzare la congettura utilizzando caratteri indotti da sottogruppi parabolici fallirono, poiché tali caratteri sono insufficienti a catturare la struttura necessaria, e i polinomi risultanti spesso esibivano coefficienti negativi o comportamenti non unimodali.

Metodologia
L'autore impiega un approccio geometrico radicato nella teoria delle rappresentazioni dei gruppi riduttivi, utilizzando specificamente il lavoro di Lusztig e Abreu–Nigro. La metodologia procede attraverso i seguenti passaggi:

1. Modellazione Geometrica: Il lavoro sostituisce l'ambito del gruppo simmetrico con un gruppo riduttivo complesso connesso $G$ e il suo gruppo di Weyl $W$. Il lato sinistro dell'equazione definitoria di Haiman è sostituito dal carattere $W$ graduato della coomologia di intersezione ($IH^*$) di una varietà di Lusztig $\bar{Y}_{z,g}$. Questa varietà è la chiusura di Zariski dell'insieme dei sottogruppi di Borel $B$ tali che $(B, g^{-1}Bg)$ si trova in posizione relativa $z$, dove $g$ è un elemento semisemplice regolare.
2. Formulazione Algebrica: Utilizzando la trasformata di Fourier esotica $\{ \cdot, \cdot \}$ (un accoppiamento sui caratteri irriducibili di $W$ originatosi dal lavoro di Lusztig sui gruppi riduttivi finiti), l'autore deriva una formula puramente algebrica per il carattere graduato di $IH^*(\bar{Y}_{z,g})$. Tale formula esprime il carattere come una combinazione lineare che coinvolge gli elementi di base $c_z$ dell'algebra di Hecke.
3. Corrispondenza di Springer: Per generalizzare il lato destro dell'equazione di Haiman (la decomposizione in analoghi "monomiali"), il lavoro utilizza la corrispondenza di Springer. I caratteri irriducibili $\psi \in \text{Irr}(W)$ sono associati a rappresentazioni di Springer che derivano da elementi unipotenti $u \in G_{\text{uni}}$ e dai caratteri dei loro gruppi di componenti. L'autore definisce nuovi polinomi di Laurent $\alpha_z^{\psi, G}(v)$ decomponendo il carattere della varietà di Lusztig in questi caratteri di Springer.
4. Induzione e Teoria delle Celle: Il lavoro analizza le proprietà di $\alpha_z^{\psi, G}$ utilizzando teoremi di induzione per sottogruppi parabolici e la teoria delle celle a due lati nell'algebra di Hecke. Ciò permette di ridurre il problema ai gruppi di Weyl irriducibili e di identificare condizioni di annullamento basate sull'ordine delle celle.
5. Verifica Computazionale: Vengono eseguiti calcoli estesi utilizzando il pacchetto GAP3 CHEVIE per gruppi di Weyl irriducibili di rango fino a 6 (e dati parziali per il rango 7) per testare la positività e l'unimodalità dei coefficienti di $\alpha_z^{\psi, G}$.

Contributi e Risultati Chiave

• Teorema 1.1 (Locus Semisemplice Regolare): L'autore dimostra che il carattere $W$ graduato della coomologia di intersezione della varietà di Lusztig $\bar{Y}_{z,g}$ (per $g$ nel locus semisemplice regolare) è dato da $v^{\ell(z)} \tau_{z,v}(w)$, dove $\tau_{z,v}$ è definito tramite l'accoppiamento della trasformata di Fourier esotica. Ciò generalizza il risultato di Abreu–Nigro dal tipo A a tutti i gruppi riduttivi.
• Teorema 1.3 (Locus Unipotente): Viene stabilito un risultato parallelo per il locus unipotente. Per elementi $z$ razionalmente lisci, la coomologia equivariante a supporto compatto di una varietà correlata $\bar{Z}_z$ è legata a $\tau_{z,v}$ tramite i caratteri di Springer e il carattere graduato dell'algebra simmetrica sul reticolo delle radici. Ciò fornisce un nuovo modello geometrico per i polinomi LLT unicellulari.
• Proposizioni 1.9 e 1.10: Il lavoro stabilisce che se $z$ giace in un sottogruppo parabolico $W'$, i polinomi $\alpha_z^{\psi, G}$ sono somme intere non negative dei corrispondenti polinomi per $W'$. Inoltre, $\alpha_z^{\psi, G}$ si annulla se la cella a due lati di $z$ è strettamente più piccola della cella associata a $\psi nell'ordine di Kazhdan–Lusztig.
• Congettura B: Sulla base di evidenze computazionali, l'autore propone una nuova congettura che generalizza quella di Haiman. Essa afferma che se un carattere irriducibile $\psi$ è inflazionato da una mappa quoziente $\phi: W \to \Omega$ dove $\Omega$ è un prodotto di gruppi simmetrici, allora i coefficienti di $\alpha_z^{\psi, G}$ sono unimodali in valore assoluto e hanno segno uniforme. Inoltre, se $\phi$ non discende attraverso il quoziente specifico $G_2 \to A_2$, i coefficienti sono strettamente positivi.
• Controesempi e Sfumature: Il lavoro dimostra che la proprietà di "positività stretta" (tutti i coefficienti positivi) fallisce per molti caratteri anche in ranghi bassi (ad esempio, Tipo $B_7$, $C_7$) e per certi caratteri nel Tipo $G_2$ e $D_4$. Ciò suggerisce che la corretta generalizzazione della congettura di Haiman coinvolge "unimodalità in valore assoluto" e "segno uniforme" piuttosto che la positività stretta per tutti i caratteri.

Significato
Il lavoro afferma di offrire una risposta definitiva a una domanda del 1993 posta da Haiman riguardo alla generalizzazione della sua congettura ai gruppi di Weyl. Costruendo un modello geometrico tramite varietà di Lusztig e collegandolo alle rappresentazioni di Springer, l'autore fornisce un quadro che spiega perché la congettura originale fallisce nella sua forma stretta per gruppi di Weyl generali e propone una versione raffinata (Congettura B) che vale per una specifica classe di caratteri (quelli inflazionati da prodotti di gruppi simmetrici).

Il lavoro colma il divario tra combinatoria algebrica (polinomi LLT, algebre di Hecke) e geometria algebrica (coomologia di intersezione, fibre di Springer). Chiarisce il ruolo della trasformata di Fourier esotica nel collegare le varietà di Lusztig alla teoria di Springer e stabilisce che le proprietà di positività e unimodalità sono stabili rispetto alle inclusioni di sottogruppi di Levi. Il lavoro non afferma di dimostrare la Congettura B per tutti i casi, ma fornisce forti evidenze per essa nei ranghi bassi e identifica le precise condizioni strutturali (inflazione da gruppi simmetrici) sotto le quali vale la positività generalizzata.