Truncated Grassmannians, blow-ups along Schubert varieties and collineations

1. Il Problema e il Contesto

Il lavoro si colloca nell'ambito della geometria algebrica complessa, specificamente nello studio delle varietà di flag generalizzate $G/P$ e delle loro sottovarietà di Schubert.
Il problema centrale è la comprensione della struttura geometrica degli schemi di esplosione (blow-up) di varietà di Grassmann (e più in generale di varietà di flag) lungo le sottovarietà di Schubert. Sebbene esistano risultati parziali, specialmente nel caso liscio, non è nota una descrizione generale e unificata per questi blow-up, né una chiara connessione con le strutture di rappresentazione dei gruppi di Lie.
L'obiettivo dell'autore è fornire un approccio basato sulle varietà di Grassmann troncate per descrivere esplicitamente questi blow-up e analizzare le loro fibre tramite spazi di collineazioni parziali.

2. Metodologia

L'autore adotta un approccio che combina:

• Teoria delle Rappresentazioni: Utilizza moduli di Demazure, pesi estremi e quozienti ciclici di moduli di peso massimo per definire le varietà troncate.
• Geometria delle Orbite: Sfrutta l'azione di gruppi unipoti abeliani ($\exp(\mathfrak{a}_d)$) e sottogruppi parabolici opposti ($P^-_d$) per definire le varietà come chiusure di orbite.
• Costruzioni di Blow-up: Analizza gli ideali sheaf delle varietà di Schubert $S_r$ e costruisce risoluzioni Koszul per descrivere gli schemi di esplosione.
• Geometria delle Fibre: Studia le fibre dei morfismi di proiezione dai blow-up alla varietà originale, identificandole con varietà di collineazioni parziali.

3. Costruzioni Chiave e Definizioni

Varietà di Grassmann Troncate ($X_r$)

Sia $V$ uno spazio vettoriale di dimensione $n$ e $Gr_d(V)$ la varietà di Grassmann delle sottomatrici di dimensione $d$.

• Si fissa una decomposizione $V = V_d \oplus V_{n-d}$.
• Si considera l'algebra di Lie $\mathfrak{sl}_n$ e il radicale unipoto abeliano opposto $\mathfrak{a}_d$.
• Si definisce il grado di un monomio di wedge $v_I$ come il numero di indici in $I$ maggiori di $d$.
• Si introduce lo spazio vettoriale troncato $(\Lambda^d V)_r$, ottenuto come quoziente di $\Lambda^d V$ rispetto allo spazio generato dai vettori di grado $> r$.
• La varietà di Grassmann troncata $X_r$ è definita come la chiusura dell'orbita del gruppo unipotente $\exp(\mathfrak{a}_d)$ che agisce sulla linea generata dal vettore ciclico $w_r$ (immagine del vettore di peso massimo) nello spazio proiettivo $\mathbb{P}((\Lambda^d V)_r)$.
  • Casi limite: $X_1 \cong \mathbb{P}^{d(n-d)}$ (spazio proiettivo) e $X_d = Gr_d(V)$.

Blow-up lungo le Varietà di Schubert ($Bl_{S_r} Gr_d(V)$)

Le varietà di Schubert $S_r \subset Gr_d(V)$ sono definite come l'insieme dei sottospazi $U$ tali che $\dim(U \cap V_{n-d}) \geq r$. Queste sono invarianti rispetto all'azione del parabolico opposto $P^-_d$.

4. Risultati Principali

Teorema A: Isomorfismo tra Blow-up e Chiusura di Grafo

Il risultato fondamentale per le Grassmanniane è che il blow-up di $Gr_d(V)$ lungo la varietà di Schubert $S_r$ è isomorfo alla chiusura del grafo della mappa birazionale tra le varietà troncate:
$$Bl_{S_r} Gr_d(V) \cong \overline{\text{Graph}(X_{r-1} \dashrightarrow Gr_d(V))}$$
In termini più concreti, $Bl_{S_r} Gr_d(V)$ ammette un'immersione chiusa in $Gr_d(V) \times X_{r-1}$, dove l'immagine è la chiusura dell'orbita di $\exp(\mathfrak{a}_d)$ passante per il punto $V_d \times [w_{r-1}]$.
Questo stabilisce un ponte diretto tra la geometria degli blow-up e le varietà troncate.

Teorema B: Fibre e Varietà di Collineazione

L'autore studia le fibre del morfismo di proiezione $\pi: Bl_r \to Gr_d(V)$.

• Per un punto $U \in Gr_d(V)$, la fibra $\pi^{-1}(U)$ è isomorfa a una varietà di collineazione parziale ($Cols$) che dipende da $m = \dim(U \cap V_{n-d})$.
• Nello specifico, la fibra è isomorfa a $Col_{m-r+1}(U \cap V_{n-d}, V_d / pr(U))$, dove $Col_k$ è la chiusura dell'immagine della mappa che invia una mappa lineare $\phi$ nel suo wedge $k$-esimo $\Lambda^k \phi$.
• Risultato di regolarità: Il "blow-up misto completo" $Bl_{(2, \dots, d)}$ (ottenuto espellendo lungo tutte le $S_r$ simultaneamente) è liscio e funge da desingularizzazione per tutti gli altri $Bl_r$.

Teorema C: Generalizzazione alle Varietà di Flag

L'autore generalizza la costruzione a una varietà di flag $G/B$ di un gruppo di Lie semplice semplicemente connesso $G$.

• Data una varietà di Schubert $S_\sigma$ associata a un elemento del gruppo di Weyl $\sigma$, si definisce il modulo di Demazure opposto $D(\sigma\lambda)$ e il modulo troncato $L_\sigma(\lambda) = L(\lambda) / D(\sigma\lambda)$.
• La varietà di flag troncata $X_{\sigma(\lambda)}$ è la chiusura dell'orbita di $B^-$ su $[v_{\sigma(\lambda)}] \in \mathbb{P}(L_\sigma(\lambda))$.
• Il blow-up $Bl_{S_\sigma}(G/B)$ si immerge chiusamente in $G/B \times X_{\sigma(\lambda)}$ come la chiusura dell'orbita di $B^-$ sul prodotto delle linee di peso massimo.

5. Contributi Tecnici e Significato

1. Unificazione Geometrica: Il lavoro fornisce un quadro unificato che collega blow-up, varietà di Schubert, moduli di Demazure e varietà di Grassmann troncate. Mostra che gli blow-up non sono entità isolate ma membri di una famiglia più ampia di varietà birazionalmente isomorfe.
2. Descrizione Esplicita delle Fibre: La caratterizzazione delle fibre degli blow-up come varietà di collineazione parziale è un risultato significativo. Le varietà di collineazione sono oggetti ben studiati (spesso lisci nel caso completo), il che permette di dedurre proprietà di regolarità per gli blow-up.
3. Strumenti di Risoluzione: L'autore costruisce esplicitamente risoluzioni Koszul per gli ideali sheaf delle varietà di Schubert $S_r$, permettendo il calcolo delle sezioni globali e la dimostrazione dell'immersione nei prodotti di spazi proiettivi.
4. Simmetria: L'approccio preserva la simmetria del gruppo unipotente abeliano $\exp(\mathfrak{a}_d)$ e del parabolico opposto $P^-_d$, offrendo una visione più ricca rispetto a costruzioni puramente combinatorie.

6. Conclusione

Il paper di Feigin risolve il problema della descrizione geometrica degli blow-up di Grassmanniane lungo le varietà di Schubert $S_r$ identificandoli come chiusure di orbite in prodotti di Grassmanniane e varietà troncate. Dimostra che il blow-up misto completo è una desingularizzazione liscia e collega la struttura delle fibre agli spazi di collineazione. Questo lavoro apre la strada a una comprensione più profonda della geometria delle varietà di flag e delle loro compactificazioni, suggerendo congetture sulla regolarità delle varietà ottenute da blow-up multipli su tutte le varietà di Schubert.