The projective coinvariant algebra, Young invariants and bigraded coordinate rings of Segre embeddings

1. Il Problema e il Contesto

Il paper si colloca nell'intersezione tra la teoria delle rappresentazioni dei gruppi simmetrici, la geometria algebrica (in particolare le varietà di flag e gli embedding di Segre) e la combinatoria algebrica.

Il punto di partenza è l'algebra dei coinvarianti classica $R_n$, definita come il quoziente dell'anello polinomiale $\mathbb{C}[u_1, \dots, u_n]$ rispetto all'ideale generato dai polinomi simmetrici elementari (o invariati) privi di termine costante. $R_n$ è un'algebra Artiniana graduata di dimensione $n!$, isomorfa come rappresentazione non graduata alla rappresentazione regolare del gruppo simmetrico $S_n$. La sua serie di Hilbert e il suo carattere di Frobenius sono ben noti e descritti dalla formula di Lusztig-Stanley, che coinvolge l'indice di major ($maj$) sulle permutazioni e sui tableaux di Young standard.

Il problema affrontato dall'autore è la costruzione e lo studio di una degenerazione piatta bigradata di questo setup, legata agli embedding di Segre di prodotti di spazi proiettivi. L'obiettivo è definire un nuovo oggetto, l'algebra dei coinvarianti proiettivi ($P_n$), che generalizzi $R_n$ e permetta di collegare le invarianti di Young a coordinate ring di prodotti di spazi proiettivi, fornendo nuove basi combinatorie e interpretazioni geometriche.

2. Metodologia

L'autore utilizza un approccio che combina:

• Geometria Algebrica: Studio delle coordinate proiettive delle immagini degli embedding di Segre di $(\mathbb{P}^1)^n$ e di prodotti generali $\mathbb{P}^{\alpha_1} \times \dots \times \mathbb{P}^{\alpha_k}$.
• Teoria degli Anelli e Degenerazioni: Costruzione di famiglie piane di algebre su $\mathbb{C}^2$ (piano affine) per collegare diverse strutture algebriche (coinvarianti classici, algebre di gruppo, algebre di coordinate proiettive).
• Combinatoria Algebrica: Utilizzo di statistiche su parole in multinsiem (indice di major $maj$ e numero di discese $des$), tableaux di Young standard, e identità di MacMahon.
• Teoria delle Rappresentazioni: Calcolo dei caratteri di Frobenius bigradati e analisi delle sottorappresentazioni invarianti rispetto ai sottogruppi di Young.

3. Contributi Chiave e Risultati Principali

A. Definizione dell'Algebra dei Coinvarianti Proiettivi ($P_n$)

L'autore definisce $P_n$ come una troncatura Artiniana bigradata dell'anello di coordinate dell'embedding di Segre di $(\mathbb{P}^1)^n$.

• Struttura: $P_n$ è un'algebra Gorenstein Artiniana bigradata di dimensione $n!$.
• Serie di Hilbert Bigradata: La serie di Hilbert è data da:
  $$\dim_{t,q} P_n = \sum_{\sigma \in S_n} t^{des(\sigma)} q^{maj(\sigma)}$$
  dove $des$ è il numero di discese e $maj$ l'indice di major sulla permutazione $\sigma$. Questa formula è un affinamento bigradato della classica serie di Hilbert di $R_n$.

B. Famiglie di Deformazioni e Degenerazioni

Il risultato centrale (Teorema 3.2) è la costruzione di una famiglia piana di algebre $\mathcal{P}_n$ su $\mathbb{C}^2$ (coordinate $s_0, s_1$) con azione del toro $(\mathbb{C}^*)^2$. Le fibre di questa famiglia rivelano le connessioni tra diverse algebre:

1. Fibra Centrale $(0,0)$: Isomorfa all'algebra dei coinvarianti proiettivi $P_n$ (bigradata).
2. Fibre su assi $(s_0, 0)$ o $(0, s_1)$ con $s \neq 0$: Isomorfe all'algebra dei coinvarianti classica $R_n$ (gradata).
3. Fibre generiche $(s_0, s_1)$ con $s_0, s_1 \neq 0$: Isomorfe all'algebra di gruppo $\mathbb{C}S_n$ come algebre non graduate.

Questo quadro spiega come le formule bigradate si specializzino nelle formule graduate classiche ponendo $t=1$ e successivamente $q=1$.

C. Carattere di Frobenius e Formula di Lusztig-Stanley Bigradata

Il Teorema 3.4 fornisce il carattere di Frobenius bigradato di $P_n$:
$$\text{char}_{t,q} P_n = \sum_{\lambda \vdash n} \left( \sum_{T \in SYT(\lambda)} t^{des(T)} q^{maj(T)} \right) s_\lambda$$
Questa è una raffinazione bigradata della formula di Lusztig-Stanley per $R_n$, dove la molteplicità della rappresentazione irriducibile $s_\lambda$ è data da una somma su tableaux di Young standard pesata sia da $des$ che da $maj$.

D. Invarianti di Young e Prodotti di Spazi Proiettivi

L'autore estende questi risultati ai sottogruppi di Young $S_\alpha \subset S_n$ (dove $\alpha$ è una composizione di $n$).

• L'algebra degli invarianti $P_\alpha = (P_n)^{S_\alpha}$ è identificata con una troncatura Artiniana dell'anello di coordinate di un embedding di Segre generale $\mathbb{P}^{\alpha_1} \times \dots \times \mathbb{P}^{\alpha_k}$.
• La serie di Hilbert bigradata di $P_\alpha$ è espressa in termini di funzioni generatrici di parole in un multinsiem associato a $\alpha$:
  $$\dim_{t,q} P_\alpha = \sum_{w \in W_\alpha} q^{maj(w)} t^{des(w)}$$
  Questo collega la geometria degli embedding di Segre generali a statistiche combinatorie su parole.

E. Basi di Garsia-Stanton

Il paper costruisce esplicitamente basi per le algebre $P_\alpha$ e $R_\alpha$ (coinvarianti parziali).

• Utilizzando una corrispondenza biunivoca tra parole in un multinsiem e percorsi reticolari crescenti, l'autore definisce elementi $a_w \in P_\alpha$ e $b_w \in R_\alpha$.
• Questi elementi formano basi bigradate (per $P_\alpha$) e graduate (per $R_\alpha$) che "testimoniano" le formule delle serie di Hilbert. Per $\alpha=(1^n)$, si recupera la classica base di Garsia-Stanton per $R_n$. Per composizioni generali, queste basi potrebbero essere nuove.

F. Connessioni con la Cohomologia e la Teoria Quantistica

• Viene discussa l'isomorfismo di Borel tra $R_n$ e la coomologia della varietà di flag $F_n$.
• La famiglia di deformazioni di $P_\alpha$ fornisce una "smoothing" (deformazione) della coomologia della varietà di flag parziale $F_\alpha$.
• Per le varietà di Grassmanniana ($k=2$), questa deformazione coincide con la coomologia quantistica (piccola) con parametro quantico $s$. Per varietà di flag più generali, la connessione con le deformazioni quantistiche note non è immediata e rimane un problema aperto.
• Viene notato che il collegamento naturale con l'algebra dei coinvarianti diagonali di Garsia-Haiman ($D_n$) è banale (l'omomorfismo è nullo), un fatto sorprendente e non ancora pienamente compreso.

4. Significato e Impatto

Il lavoro di Szendrői è significativo per diversi motivi:

1. Unificazione Geometrica: Fornisce un quadro unificato che collega l'algebra dei coinvarianti classica, le algebre di gruppo e le coordinate proiettive degli embedding di Segre attraverso una singola famiglia piana.
2. Raffinamento Combinatorio: Introduce una struttura bigradata che separa le statistiche di discesa ($des$) e major index ($maj$), offrendo una visione più fine della struttura delle rappresentazioni di $S_n$ rispetto alle formule graduate classiche.
3. Nuove Basi: Costruisce basi esplicithe per gli invarianti di Young in algebre di coinvarianti parziali, generalizzando il lavoro classico di Garsia-Stanton.
4. Ponte verso la Geometria Quantistica: Suggerisce nuove direzioni per interpretare le degenerazioni bigradate in termini di coomologia quantistica, specialmente per varietà di flag che non sono Grassmanniane.

In sintesi, il paper espande notevolmente la comprensione delle strutture algebriche associate ai gruppi simmetrici e alle varietà di flag, fornendo nuovi strumenti combinatori e geometrici per analizzare le loro proprietà di invarianza e degenerazione.